The FIR-absorption of short period quantum wires and the transition from one to two dimensions

We investigate the FIR-absorption of short period parallel quantum wires in a perpendicular quantizing magnetic field. The external time-dependent electric field is linearly polarized along the wire modulation. The mutual Coulomb interaction of the electrons is treated self-consistently in the ground state and in the absorption calculation within the Hartree approximation. We consider the effects of a metal gate grating coupler, with the same or with a different period as the wire modulation, on the absorption. The evolution of the magnetoplasmon in the nonlocal region where it is split into several Bernstein modes is discussed in the transition from: narrow to broad wires, and isolated to overlapping wires. We show that in the case of narrow and not strongly modulated wires the absorption can be directly correlated with the underlying electronic bandstructure.Comment: 15 pages, 9 figures, Revtex, to appear in Phys. Rev.

From LTL and Limit-Deterministic B\"uchi Automata to Deterministic Parity Automata

Controller synthesis for general linear temporal logic (LTL) objectives is a challenging task. The standard approach involves translating the LTL objective into a deterministic parity automaton (DPA) by means of the Safra-Piterman construction. One of the challenges is the size of the DPA, which often grows very fast in practice, and can reach double exponential size in the length of the LTL formula. In this paper we describe a single exponential translation from limit-deterministic B\"uchi automata (LDBA) to DPA, and show that it can be concatenated with a recent efficient translation from LTL to LDBA to yield a double exponential, \enquote{Safraless} LTL-to-DPA construction. We also report on an implementation, a comparison with the SPOT library, and performance on several sets of formulas, including instances from the 2016 SyntComp competition

Pulse Propagation in Resonant Tunneling

We consider the analytically solvable model of a Gaussian pulse tunneling through a transmission resonance with a Breit-Wigner characteristic. The solution allows for the identification of two opposite pulse propagation regimes: if the resonance is broad compared to the energetic width of the incident Gaussian pulse a weakly deformed and slightly delayed transmitted Gaussian pulse is found. In the opposite limit of a narrow resonance the dying out of the transmitted pulse is dominated by the slow exponential decay characteristic of a quasi-bound state with a long life time (decaying state). We discuss the limitation of the achievable pulse transfer rate resulting from the slow decay. Finally, it is demonstrated that for narrow resonances a small second component is superimposed to the exponential decay which leads to characteristic interference oscillations.Comment: 6 pages, 4 figure

Manifestation of the Hofstadter butterfly in far-infrared absorption

The far-infrared absorption of a two-dimensional electron gas with a square-lattice modulation in a perpendicular constant magnetic field is calculated self-consistently within the Hartree approximation. For strong modulation and short period we obtain intra- and intersubband magnetoplasmon modes reflecting the subbands of the Hofstadter butterfly in two or more Landau bands. The character of the absorption and the correlation of the peaks to the number of flux quanta through each unit cell of the periodic potential depends strongly on the location of the chemical potential with respect to the subbands, or what is the same, on the density of electrons in the system.Comment: RevTeX file + 4 postscript figures, to be published Phys. Rev. B Rapid Com

Tonic 5nM DA Stabilizes Neuronal Output by Enabling Bidirectional Activity-Dependent Regulation of the Hyperpolarization Activated Current via PKA and Calcineurin

Volume transmission results in phasic and tonic modulatory signals. The actions of tonic dopamine (DA) at type 1 DA receptors (D1Rs) are largely undefined. Here we show that tonic 5nM DA acts at D1Rs to stabilize neuronal output over minutes by enabling activitydependent regulation of the hyperpolarization activated current (I h). In the presence but not absence of 5nM DA, I h maximal conductance (G max) was adjusted according to changes in slow wave activity in order to maintain spike timing. Our study on the lateral pyloric neuron (LP), which undergoes rhythmic oscillations in membrane potential with depolarized plateaus, demonstrated that incremental, bi-directional changes in plateau duration produced corresponding alterations in LP I hG max when preparations were superfused with saline containing 5nM DA. However, when preparations were superfused with saline alone there was no linear correlation between LP I hGmax and duty cycle. Thus, tonic nM DA modulated the capacity for activity to modulate LP I h G max; this exemplifies metamodulation (modulation of modulation). Pretreatment with the Ca2+-chelator, BAPTA, or the specific PKA inhibitor, PKI, prevented all changes in LP I h in 5nM DA. Calcineurin inhibitors blocked activity-dependent changes enabled by DA and revealed a PKA-mediated, activity-independent enhancement of LP I hG max. These data suggested that tonic 5nM DA produced two simultaneous, PKAdependent effects: a direct increase in LP I h G max and a priming event that permitted calcineurin regulation of LP I h. The latter produced graded reductions in LP I hG max with increasing duty cycles. We also demonstrated that this metamodulation preserved the timing of LP’s first spike when network output was perturbed with bath-applied 4AP. In sum, 5nM DA permits slow wave activity to provide feedback that maintains spike timing, suggesting that one function of low-level, tonic modulation is to stabilize specific features of a dynamic output

Qualitative Analysis of Partially-observable Markov Decision Processes

We study observation-based strategies for partially-observable Markov decision processes (POMDPs) with omega-regular objectives. An observation-based strategy relies on partial information about the history of a play, namely, on the past sequence of observations. We consider the qualitative analysis problem: given a POMDP with an omega-regular objective, whether there is an observation-based strategy to achieve the objective with probability~1 (almost-sure winning), or with positive probability (positive winning). Our main results are twofold. First, we present a complete picture of the computational complexity of the qualitative analysis of POMDP s with parity objectives (a canonical form to express omega-regular objectives) and its subclasses. Our contribution consists in establishing several upper and lower bounds that were not known in literature. Second, we present optimal bounds (matching upper and lower bounds) on the memory required by pure and randomized observation-based strategies for the qualitative analysis of POMDP s with parity objectives and its subclasses

Neighbours of arbuscular‐mycorrhiza associating trees are colonized more extensively by arbuscular mycorrhizal fungi than their conspecifics in ectomycorrhiza dominated stands

Arbuscular mycorrhiza represents a ubiquitous nutritional symbiosis between the roots of most terrestrial plant species and fungi of the subphylum Glomeromycotina (Spatafora et al., 2016). Terrestrial habitats are unlikely to be limited in propagules of arbuscular mycorrhizal fungi (AMF), because AMF propagule densities build up fast in vegetated soil (e.g. Gould et al., 1996). We start to appreciate, however, that shortages in AMF propagules are common in some habitats, such as agricultural fields subject to intensive farming (Schnoor et al., 2011; Manoharan et al., 2017). Forest habitats in the temperate region might also be occasionally AMF propagule limited (Veresoglou et al., 2017), but to the best of our understanding this has not been shown with empirical data