Lower bounds for on-line graph colorings

We propose two strategies for Presenter in on-line graph coloring games. The first one constructs bipartite graphs and forces any on-line coloring algorithm to use $2\log_2 n - 10$ colors, where $n$ is the number of vertices in the constructed graph. This is best possible up to an additive constant. The second strategy constructs graphs that contain neither $C_3$ nor $C_5$ as a subgraph and forces $\Omega(\frac{n}{\log n}^\frac{1}{3})$ colors. The best known on-line coloring algorithm for these graphs uses $O(n^{\frac{1}{2}})$ colors

Recent HIV prevalence trends among pregnant women and all women in sub-Saharan Africa: implications for HIV estimates

OBJECTIVES: National population-wide HIV prevalence and incidence trends in sub-Saharan Africa (SSA) are indirectly estimated using HIV prevalence measured among pregnant women attending antenatal clinics (ANC), among other data. We evaluated whether recent HIV prevalence trends among pregnant women are representative of general population trends. DESIGN: Serial population-based household surveys in 13 SSA countries. METHODS: We calculated HIV prevalence trends among all women aged 15–49 years and currently pregnant women between surveys conducted from 2003 to 2008 (period 1) and 2009 to 2012 (period 2). Log-binomial regression was used to test for a difference in prevalence trend between the two groups. Prevalence among pregnant women was age-standardized to represent the age distribution of all women. RESULTS: Pooling data for all countries, HIV prevalence declined among pregnant women from 6.5 [95% confidence interval (CI) 5.3–7.9%] to 5.3% (95% CI 4.2–6.6%) between periods 1 and 2, whereas it remained unchanged among all women at 8.4% (95% CI 8.0–8.9%) in period 1 and 8.3% (95% CI 7.9–8.8%) in period 2. Prevalence declined by 18% (95% CI −9–38%) more in pregnant women than nonpregnant women. Estimates were similar in Western, Eastern, and Southern regions of SSA; none were statistically significant (P > 0.05). HIV prevalence decreased significantly among women aged 15–24 years while increasing significantly among women 35–49 years, who represented 29% of women but only 15% of pregnant women. Age-standardization of prevalence in pregnant women did not reconcile the discrepant trends because at older ages prevalence was lower among pregnant women than nonpregnant women. CONCLUSION: As HIV prevalence in SSA has shifted toward older, less-fertile women, HIV prevalence among pregnant women has declined more rapidly than prevalence in women overall. Interpretation of ANC prevalence data to inform national HIV estimates should account for both age-specific fertility patterns and HIV-related sub-fertility

Resolution requirements for numerical simulations of transition

The resolution requirements for direct numerical simulations of transition to turbulence are investigated. A reliable resolution criterion is determined from the results of several detailed simulations of channel and boundary-layer transition

Even denominator fractional quantum Hall states in higher Landau levels of graphene

An important development in the field of the fractional quantum Hall effect has been the proposal that the 5/2 state observed in the Landau level with orbital index $n = 1$ of two dimensional electrons in a GaAs quantum well originates from a chiral $p$-wave paired state of composite fermions which are topological bound states of electrons and quantized vortices. This state is theoretically described by a "Pfaffian" wave function or its hole partner called the anti-Pfaffian, whose excitations are neither fermions nor bosons but Majorana quasiparticles obeying non-Abelian braid statistics. This has inspired ideas on fault-tolerant topological quantum computation and has also instigated a search for other states with exotic quasiparticles. Here we report experiments on monolayer graphene that show clear evidence for unexpected even-denominator fractional quantum Hall physics in the $n=3$ Landau level. We numerically investigate the known candidate states for the even-denominator fractional quantum Hall effect, including the Pfaffian, the particle-hole symmetric Pfaffian, and the 221-parton states, and conclude that, among these, the 221-parton appears a potentially suitable candidate to describe the experimentally observed state. Like the Pfaffian, this state is believed to harbour quasi-particles with non-Abelian braid statistic

Evolutionary Toggling of Vpx/Vpr Specificity Results in Divergent Recognition of the Restriction Factor SAMHD1

SAMHD1 is a host restriction factor that blocks the ability of lentiviruses such as HIV-1 to undergo reverse transcription in myeloid cells and resting T-cells. This restriction is alleviated by expression of the lentiviral accessory proteins Vpx and Vpr (Vpx/Vpr), which target SAMHD1 for proteasome-mediated degradation. However, the precise determinants within SAMHD1 for recognition by Vpx/Vpr remain unclear. Here we show that evolution of Vpx/Vpr in primate lentiviruses has caused the interface between SAMHD1 and Vpx/Vpr to alter during primate lentiviral evolution. Using multiple HIV-2 and SIV Vpx proteins, we show that Vpx from the HIV-2 and SIVmac lineage, but not Vpx from the SIVmnd2 and SIVrcm lineage, require the C-terminus of SAMHD1 for interaction, ubiquitylation, and degradation. On the other hand, the N-terminus of SAMHD1 governs interactions with Vpx from SIVmnd2 and SIVrcm, but has little effect on Vpx from HIV-2 and SIVmac. Furthermore, we show here that this difference in SAMHD1 recognition is evolutionarily dynamic, with the importance of the N- and C-terminus for interaction of SAMHD1 with Vpx and Vpr toggling during lentiviral evolution. We present a model to explain how the head-to-tail conformation of SAMHD1 proteins favors toggling of the interaction sites by Vpx/Vpr during this virus-host arms race. Such drastic functional divergence within a lentiviral protein highlights a novel plasticity in the evolutionary dynamics of viral antagonists for restriction factors during lentiviral adaptation to its hosts. © 2013 Fregoso et al

Approximate probabilistic verification of hybrid systems

Hybrid systems whose mode dynamics are governed by non-linear ordinary differential equations (ODEs) are often a natural model for biological processes. However such models are difficult to analyze. To address this, we develop a probabilistic analysis method by approximating the mode transitions as stochastic events. We assume that the probability of making a mode transition is proportional to the measure of the set of pairs of time points and value states at which the mode transition is enabled. To ensure a sound mathematical basis, we impose a natural continuity property on the non-linear ODEs. We also assume that the states of the system are observed at discrete time points but that the mode transitions may take place at any time between two successive discrete time points. This leads to a discrete time Markov chain as a probabilistic approximation of the hybrid system. We then show that for BLTL (bounded linear time temporal logic) specifications the hybrid system meets a specification iff its Markov chain approximation meets the same specification with probability $1$. Based on this, we formulate a sequential hypothesis testing procedure for verifying -approximately- that the Markov chain meets a BLTL specification with high probability. Our case studies on cardiac cell dynamics and the circadian rhythm indicate that our scheme can be applied in a number of realistic settings

Correlators of Vertex Operators for Circular Strings with Winding Numbers in AdS5xS5

We compute semiclassically the two-point correlator of the marginal vertex operators describing the rigid circular spinning string state with one large spin and one windining number in AdS_5 and three large spins and three winding numbers in S^5. The marginality condition and the conformal invariant expression for the two-point correlator obtained by using an appropriate vertex operator are shown to be associated with the diagonal and off-diagonal Virasoro constraints respectively. We evaluate semiclassically the three-point correlator of two heavy circular string vertex operators and one zero-momentum dilaton vertex operator and discuss its relation with the derivative of the dimension of the heavy circular string state with respect to the string tension.Comment: 16 pages, LaTeX, no figure

<i>C-elegans</i> model identifies genetic modifiers of alpha-synuclein inclusion formation during aging

Inclusions in the brain containing alpha-synuclein are the pathological hallmark of Parkinson's disease, but how these inclusions are formed and how this links to disease is poorly understood. We have developed a &lt;i&gt;C-elegans&lt;/i&gt; model that makes it possible to monitor, in living animals, the formation of alpha-synuclein inclusions. In worms of old age, inclusions contain aggregated alpha-synuclein, resembling a critical pathological feature. We used genome-wide RNA interference to identify processes involved in inclusion formation, and identified 80 genes that, when knocked down, resulted in a premature increase in the number of inclusions. Quality control and vesicle-trafficking genes expressed in the ER/Golgi complex and vesicular compartments were overrepresented, indicating a specific role for these processes in alpha-synuclein inclusion formation. Suppressors include aging-associated genes, such as sir-2.1/SIRT1 and lagr-1/LASS2. Altogether, our data suggest a link between alpha-synuclein inclusion formation and cellular aging, likely through an endomembrane-related mechanism. The processes and genes identified here present a framework for further study of the disease mechanism and provide candidate susceptibility genes and drug targets for Parkinson's disease and other alpha-synuclein related disorders

On Non-linear Action for Gauged M2-brane

We propose a non-linear extension of U(1) \times U(1) (abelian) ABJM model including T_{M2} (higher derivative) corrections. The action proposed here is expected to describe a single M2-brane proving C^4/Z_k target space. The model includes couplings with the 3-form background in the eleven-dimensional supergravity which is consistent with the orbifold projection. We show that the novel higgs mechanism proposed by Mukhi and Papageorgakis does work even in the presence of higher derivative corrections and couplings with the background field, giving the correct structure of the Dirac-Born-Infeld action with Wess-Zumino term for a D2-brane. We also find half BPS solutions in the full non-linear theory which is interpreted as an another M2-brane intersecting with the original M2-brane. A possible generalization to U(N) \times U(N) gauge group is briefly discussed.Comment: 19 pages, no figure, references added, typos correcte

Tailoring the atomic structure of graphene nanoribbons by STM lithography

The practical realization of nano-scale electronics faces two major challenges: the precise engineering of the building blocks and their assembly into functional circuits. In spite of the exceptional electronic properties of carbon nanotubes only basic demonstration-devices have been realized by time-consuming processes. This is mainly due to the lack of selective growth and reliable assembly processes for nanotubes. However, graphene offers an attractive alternative. Here we report the patterning of graphene nanoribbons (GNRs) and bent junctions with nanometer precision, well-defined widths and predetermined crystallographic orientations allowing us to fully engineer their electronic structure using scanning tunneling microscope (STM) lithography. The atomic structure and electronic properties of the ribbons have been investigated by STM and tunneling spectroscopy measurements. Opening of confinement gaps up to 0.5 eV, allowing room temperature operation of GNR-based devices, is reported. This method avoids the difficulties of assembling nano-scale components and allows the realization of complete integrated circuits, operating as room temperature ballistic electronic devices.Comment: 8 pages text, 5 figures, Nature Nanotechnology, in pres