On the Hierarchy of Block Deterministic Languages

A regular language is $k$-lookahead deterministic (resp. $k$-block deterministic) if it is specified by a $k$-lookahead deterministic (resp. $k$-block deterministic) regular expression. These two subclasses of regular languages have been respectively introduced by Han and Wood ($k$-lookahead determinism) and by Giammarresi et al. ($k$-block determinism) as a possible extension of one-unambiguous languages defined and characterized by Br\"uggemann-Klein and Wood. In this paper, we study the hierarchy and the inclusion links of these families. We first show that each $k$-block deterministic language is the alphabetic image of some one-unambiguous language. Moreover, we show that the conversion from a minimal DFA of a $k$-block deterministic regular language to a $k$-block deterministic automaton not only requires state elimination, and that the proof given by Han and Wood of a proper hierarchy in $k$-block deterministic languages based on this result is erroneous. Despite these results, we show by giving a parameterized family that there is a proper hierarchy in $k$-block deterministic regular languages. We also prove that there is a proper hierarchy in $k$-lookahead deterministic regular languages by studying particular properties of unary regular expressions. Finally, using our valid results, we confirm that the family of $k$-block deterministic regular languages is strictly included into the one of $k$-lookahead deterministic regular languages by showing that any $k$-block deterministic unary language is one-unambiguous

Avoiding catastrophic failure in correlated networks of networks

Networks in nature do not act in isolation but instead exchange information, and depend on each other to function properly. An incipient theory of Networks of Networks have shown that connected random networks may very easily result in abrupt failures. This theoretical finding bares an intrinsic paradox: If natural systems organize in interconnected networks, how can they be so stable? Here we provide a solution to this conundrum, showing that the stability of a system of networks relies on the relation between the internal structure of a network and its pattern of connections to other networks. Specifically, we demonstrate that if network inter-connections are provided by hubs of the network and if there is a moderate degree of convergence of inter-network connection the systems of network are stable and robust to failure. We test this theoretical prediction in two independent experiments of functional brain networks (in task- and resting states) which show that brain networks are connected with a topology that maximizes stability according to the theory.Comment: 40 pages, 7 figure

Strain-induced partially flat band, helical snake states, and interface superconductivity in topological crystalline insulators

Topological crystalline insulators in IV-VI compounds host novel topological surface states consisting of multi-valley massless Dirac fermions at low energy. Here we show that strain generically acts as an effective gauge field on these Dirac fermions and creates pseudo-Landau orbitals without breaking time-reversal symmetry. We predict the realization of this phenomenon in IV-VI semiconductor heterostructures, due to a naturally occurring misfit dislocation array at the interface that produces a periodically varying strain field. Remarkably, the zero-energy Landau orbitals form a flat band in the vicinity of the Dirac point, and coexist with a network of snake states at higher energy. We propose that the high density of states of this flat band gives rise to interface superconductivity observed in IV-VI semiconductor multilayers at unusually high temperatures, with non-BCS behavior. Our work demonstrates a new route to altering macroscopic electronic properties to achieve a partially flat band, and paves the way for realizing novel correlated states of matter.Comment: Accepted by Nature Physic

Early and Middle Holocene Hunter-Gatherer Occupations in Western Amazonia: The Hidden Shell Middens

We report on previously unknown early archaeological sites in the Bolivian lowlands, demonstrating for the first time early and middle Holocene human presence in western Amazonia. Multidisciplinary research in forest islands situated in seasonally-inundated savannahs has revealed stratified shell middens produced by human foragers as early as 10,000 years ago, making them the oldest archaeological sites in the region. The absence of stone resources and partial burial by recent alluvial sediments has meant that these kinds of deposits have, until now, remained unidentified. We conducted core sampling, archaeological excavations and an interdisciplinary study of the stratigraphy and recovered materials from three shell midden mounds. Based on multiple lines of evidence, including radiocarbon dating, sedimentary proxies (elements, steroids and black carbon), micromorphology and faunal analysis, we demonstrate the anthropogenic origin and antiquity of these sites. In a tropical and geomorphologically active landscape often considered challenging both for early human occupation and for the preservation of hunter-gatherer sites, the newly discovered shell middens provide evidence for early to middle Holocene occupation and illustrate the potential for identifying and interpreting early open-air archaeological sites in western Amazonia. The existence of early hunter-gatherer sites in the Bolivian lowlands sheds new light on the region's past and offers a new context within which the late Holocene "Earthmovers" of the Llanos de Moxos could have emerged. © 2013 Lombardo et al

Steady-state modulation of voltage-gated K+ channels in rat arterial smooth muscle by cyclic AMP-dependent protein kinase and protein phosphatase 2B

Voltage-gated potassium channels (Kv) are important regulators of membrane potential in vascular smooth muscle cells, which is integral to controlling intracellular Ca2+ concentration and regulating vascular tone. Previous work indicates that Kv channels can be modulated by receptor-driven alterations of cyclic AMP-dependent protein kinase (PKA) activity. Here, we demonstrate that Kv channel activity is maintained by tonic activity of PKA. Whole-cell recording was used to assess the effect of manipulating PKA signalling on Kv and ATP-dependent K+ channels of rat mesenteric artery smooth muscle cells. Application of PKA inhibitors, KT5720 or H89, caused a significant inhibition of Kv currents. Tonic PKA-mediated activation of Kv appears maximal as application of isoprenaline (a β-adrenoceptor agonist) or dibutyryl-cAMP failed to enhance Kv currents. We also show that this modulation of Kv by PKA can be reversed by protein phosphatase 2B/calcineurin (PP2B). PKA-dependent inhibition of Kv by KT5720 can be abrogated by pre-treatment with the PP2B inhibitor cyclosporin A, or inclusion of a PP2B auto-inhibitory peptide in the pipette solution. Finally, we demonstrate that tonic PKA-mediated modulation of Kv requires intact caveolae. Pre-treatment of the cells with methyl-β-cyclodextrin to deplete cellular cholesterol, or adding caveolin-scaffolding domain peptide to the pipette solution to disrupt caveolae-dependent signalling each attenuated PKA-mediated modulation of the Kv current. These findings highlight a novel, caveolae-dependent, tonic modulatory role of PKA on Kv channels providing new insight into mechanisms and the potential for pharmacological manipulation of vascular tone

Absence of association between behavior problems in childhood and hypertension in midlife

Background It is known that behavior in childhood is associated with certain physical and mental health problems in midlife. However, there is limited evidence on the role of childhood behavior problems in the development of hypertension in adulthood. The present study aimed to examine whether behavior problems in childhood influenced the risk of hypertension in midlife in the United Kingdom 1958 birth cohort. Methods The 1958 British birth cohort comprised 17,638 individuals born in the first week of March 1958 in the United Kingdom. Behavior problems were assessed at 7, 11, and 16 years of age by parents and teachers. At age 45, blood pressure was measured and hypertension was recorded if blood pressure was ≥140/90 mm Hg or if the participants were informed by their health professionals that they had high blood pressure. Behavioral information was reported according to the Rutter Children's Behaviour Questionnaire (RCBQ) and the Bristol Social Adjustment Guide (BSAG). Odds ratios (ORs) and 95% confidence intervals (CIs) were calculated to examine behavior problems in childhood in relation to hypertension at 45 years of age according to logistic regression analysis, with adjustment for sex, social class in childhood and adulthood, childhood cognition, birth weight, gestational age at birth, body mass index (BMI), smoking, alcohol consumption, and physical activity. Results Behavior problems reported by parents at 7, 11, and 16 years were not associated with hypertension in midlife (OR, 0.93; 95% CI, 0.81, 1.07; OR, 0.95; 95% CI, 0.81, 1.11; OR, 0.98; 95% CI, 0.85, 1.12, respectively). Similarly, teacher-reported behavior problems at 7, 11, and 16 years were not associated with hypertension in midlife (OR, 0.92; 95% CI, 0.72, 1.18; OR, 0.92; 95% CI, 0.84, 1.02; OR, 1.03; 95% CI, 0.92, 1.15, respectively). Further separate analyses showed similar results for males and females. Conclusion There is no association between behavior problems in childhood and hypertension in midlife

Emergent Phenomena Induced by Spin-Orbit Coupling at Surfaces and Interfaces

Spin-orbit coupling (SOC) describes the relativistic interaction between the spin and momentum degrees of freedom of electrons, and is central to the rich phenomena observed in condensed matter systems. In recent years, new phases of matter have emerged from the interplay between SOC and low dimensionality, such as chiral spin textures and spin-polarized surface and interface states. These low-dimensional SOC-based realizations are typically robust and can be exploited at room temperature. Here we discuss SOC as a means of producing such fundamentally new physical phenomena in thin films and heterostructures. We put into context the technological promise of these material classes for developing spin-based device applications at room temperature

Excluding Electroweak Baryogenesis in the MSSM

In the context of the MSSM the Light Stop Scenario (LSS) is the only region of parameter space that allows for successful Electroweak Baryogenesis (EWBG). This possibility is very phenomenologically attractive, since it allows for the direct production of light stops and could be tested at the LHC. The ATLAS and CMS experiments have recently supplied tantalizing hints for a Higgs boson with a mass of ~ 125 GeV. This Higgs mass severely restricts the parameter space of the LSS, and we discuss the specific predictions made for EWBG in the MSSM. Combining data from all the available ATLAS and CMS Higgs searches reveals a tension with the predictions of EWBG even at this early stage. This allows us to exclude EWBG in the MSSM at greater than (90) 95% confidence level in the (non-)decoupling limit, by examining correlations between different Higgs decay channels. We also examine the exclusion without the assumption of a ~ 125 GeV Higgs. The Higgs searches are still highly constraining, excluding the entire EWBG parameter space at greater than 90% CL except for a small window of m_h ~ 117 - 119 GeV.Comment: 24 Pages, 4 Figures (v3: fixed typos, minor corrections, added references

Multidimensional chemical control of CRISPR–Cas9

Cas9-based technologies have transformed genome engineering and the interrogation of genomic functions, but methods to control such technologies across numerous dimensions-including dose, time, specificity, and mutually exclusive modulation of multiple genes-are still lacking. We conferred such multidimensional controls to diverse Cas9 systems by leveraging small-molecule-regulated protein degron domains. Application of our strategy to both Cas9-mediated genome editing and transcriptional activities opens new avenues for systematic genome interrogation

Pleosporales

One hundred and five generic types of Pleosporales are described and illustrated. A brief introduction and detailed history with short notes on morphology, molecular phylogeny as well as a general conclusion of each genus are provided. For those genera where the type or a representative specimen is unavailable, a brief note is given. Altogether 174 genera of Pleosporales are treated. Phaeotrichaceae as well as Kriegeriella, Zeuctomorpha and Muroia are excluded from Pleosporales. Based on the multigene phylogenetic analysis, the suborder Massarineae is emended to accommodate five families, viz. Lentitheciaceae, Massarinaceae, Montagnulaceae, Morosphaeriaceae and Trematosphaeriaceae