Finding Optimal Flows Efficiently

Among the models of quantum computation, the One-way Quantum Computer is one of the most promising proposals of physical realization, and opens new perspectives for parallelization by taking advantage of quantum entanglement. Since a one-way quantum computation is based on quantum measurement, which is a fundamentally nondeterministic evolution, a sufficient condition of global determinism has been introduced as the existence of a causal flow in a graph that underlies the computation. A O(n^3)-algorithm has been introduced for finding such a causal flow when the numbers of output and input vertices in the graph are equal, otherwise no polynomial time algorithm was known for deciding whether a graph has a causal flow or not. Our main contribution is to introduce a O(n^2)-algorithm for finding a causal flow, if any, whatever the numbers of input and output vertices are. This answers the open question stated by Danos and Kashefi and by de Beaudrap. Moreover, we prove that our algorithm produces an optimal flow (flow of minimal depth.) Whereas the existence of a causal flow is a sufficient condition for determinism, it is not a necessary condition. A weaker version of the causal flow, called gflow (generalized flow) has been introduced and has been proved to be a necessary and sufficient condition for a family of deterministic computations. Moreover the depth of the quantum computation is upper bounded by the depth of the gflow. However, the existence of a polynomial time algorithm that finds a gflow has been stated as an open question. In this paper we answer this positively with a polynomial time algorithm that outputs an optimal gflow of a given graph and thus finds an optimal correction strategy to the nondeterministic evolution due to measurements.Comment: 10 pages, 3 figure

Generalized Flow and Determinism in Measurement-based Quantum Computation

We extend the notion of quantum information flow defined by Danos and Kashefi for the one-way model and present a necessary and sufficient condition for the deterministic computation in this model. The generalized flow also applied in the extended model with measurements in the X-Y, X-Z and Y-Z planes. We apply both measurement calculus and the stabiliser formalism to derive our main theorem which for the first time gives a full characterization of the deterministic computation in the one-way model. We present several examples to show how our result improves over the traditional notion of flow, such as geometries (entanglement graph with input and output) with no flow but having generalized flow and we discuss how they lead to an optimal implementation of the unitaries. More importantly one can also obtain a better quantum computation depth with the generalized flow rather than with flow. We believe our characterization result is particularly essential for the study of the algorithms and complexity in the one-way model.Comment: 16 pages, 10 figure

Generalized Flow and Determinism in Measurement-based Quantum Computation

We extend the notion of quantum information flow defined by Danos and Kashefi for the one-way model and present a necessary and sufficient condition for the deterministic computation in this model. The generalized flow also applied in the extended model with measurements in the X-Y, X-Z and Y-Z planes. We apply both measurement calculus and the stabiliser formalism to derive our main theorem which for the first time gives a full characterization of the deterministic computation in the one-way model. We present several examples to show how our result improves over the traditional notion of flow, such as geometries (entanglement graph with input and output) with no flow but having generalized flow and we discuss how they lead to an optimal implementation of the unitaries. More importantly one can also obtain a better quantum computation depth with the generalized flow rather than with flow. We believe our characterization result is particularly essential for the study of the algorithms and complexity in the one-way model.Comment: 16 pages, 10 figure

Long term mortality and disability in Cryptococcal Meningitis: a systematic literature review.

Cryptococcal meningitis (CM) is the primary cause of meningitis in HIV-infected adults and an emerging disease in HIV-seronegative individuals. No literature review has studied the long-term outcome of CM. We performed a systematic review on the long-term (≥3 months) impact of CM (C. neoformans and C. gattii) on mortality and disability in HIV-infected and non-HIV-infected adults. Though the quality of current evidence is limited, the long-term impact of CM on survival and disability appears to be high. One-year mortality ranged from 13% in an Australian non-HIV C.gattii infected cohort to 78% in a Malawian HIV-infected cohort treated with fluconazole monotherapy. One-year impairment proportions among survivors ranged from 19% in an Australian C.gattii cohort to more than 70% in a Taiwanese non-HIV and HIV-infected cohorts. Ongoing early therapeutic interventions, early detection of impairments and access to rehabilitation services may significantly improve patients' survival and quality of life

Ground states of unfrustrated spin Hamiltonians satisfy an area law

We show that ground states of unfrustrated quantum spin-1/2 systems on general lattices satisfy an entanglement area law, provided that the Hamiltonian can be decomposed into nearest-neighbor interaction terms which have entangled excited states. The ground state manifold can be efficiently described as the image of a low-dimensional subspace of low Schmidt measure, under an efficiently contractible tree-tensor network. This structure gives rise to the possibility of efficiently simulating the complete ground space (which is in general degenerate). We briefly discuss "non-generic" cases, including highly degenerate interactions with product eigenbases, using a relationship to percolation theory. We finally assess the possibility of using such tree tensor networks to simulate almost frustration-free spin models.Comment: 14 pages, 4 figures, small corrections, added a referenc

Incidence and determinants of new AIDS-defining illnesses after HAART initiation in a Senegalese cohort

<p>Abstract</p> <p>Background</p> <p>Although a dramatic decrease in AIDS progression has been observed after Highly Active Anti Retroviral Therapy (HAART) in both low- and high-resource settings, few data support that fact in low-resource settings.</p> <p>This study describes the incidence of AIDS-defining illnesses (ADI) after HAART initiation and analyzes their risk factors in a low-resource setting. A focus was put on CD4 cell counts and viral load measurements.</p> <p>Methods</p> <p>404 HIV-1-infected Senegalese adult patients were enrolled in a prospective observational cohort and data censored as of April 2008. A Poisson regression was used to model the incidence of ADIs over two periods and to assess its association with baseline variables, current CD4, current viral load, CD4 response, and virological response.</p> <p>Results</p> <p>ADI incidence declined from 20.5 ADIs per 100 person-years, 95% CI = [16.3;25.8] during the first year to 4.3, 95% CI = [2.3;8.1] during the fourth year but increased afterwards. Before 42 months, the decrease was greater in patients with clinical stage CDC-C at baseline and with a viral load remaining below 1000 cp/mL but was uniform across CD4 strata (p = 0.1). After 42 months, 293 patients were still at risk. The current CD4 and viral load were associated with ADI incidence (decrease of 21% per 50 CD4/mm³and of 61% for patients with a viral load < 1000 cp/mL).</p> <p>Conclusions</p> <p>During the first four years, a uniform decline of ADI incidence was observed even in patients with low CD4-cell counts at HAART initiation as long as the viral load remained undetectable. An increase was noted later in patients with immunologic and virological failures but also in patients with only virological failure.</p

Edge centrality via the Holevo quantity

In the study of complex networks, vertex centrality measures are used to identify the most important vertices within a graph. A related problem is that of measuring the centrality of an edge. In this paper, we propose a novel edge centrality index rooted in quantum information. More specifically, we measure the importance of an edge in terms of the contribution that it gives to the Von Neumann entropy of the graph. We show that this can be computed in terms of the Holevo quantity, a well known quantum information theoretical measure. While computing the Von Neumann entropy and hence the Holevo quantity requires computing the spectrum of the graph Laplacian, we show how to obtain a simplified measure through a quadratic approximation of the Shannon entropy. This in turns shows that the proposed centrality measure is strongly correlated with the negative degree centrality on the line graph. We evaluate our centrality measure through an extensive set of experiments on real-world as well as synthetic networks, and we compare it against commonly used alternative measures

El federalismo cooperativo como factor catalizador de un Gobierno Abierto

Este artículo tiene como propósito articular un marco de análisis que justifica la importancia de la colaboración entre gobiernos, bajo el supuesto de que un sistema rígido de competencias tiende a fragmentar la solución de los asuntos públicos en las agendas de gobierno. Un federalismo cooperativo, en tanto variable productora de relaciones intergubernamentales, da forma a un contexto que favorece impulsar soluciones más integrales en torno a demandas inscritas en el plan de acción, elaborado como requisito de pertenencia a la Alianza Internacional por un Gobierno Abierto. La propuesta llevada a Brasilia por la representación de México en junio de 2012, con la idea de promover la apertura gubernamental en el plano subnacional y local, tendrá mayores posibilidades de éxito si previamente se establecen bases mínimas para un federalismo cooperativo que facilite la gestión de los asuntos públicos establecidos en el plan de acción

Early biting and insecticide resistance in the malaria vector Anopheles might compromise the effectiveness of vector control intervention in Southwestern Uganda.

BACKGROUND: Southwestern Uganda has high malaria heterogeneity despite moderate vector control and other interventions. Moreover, the early biting transmission and increased resistance to insecticides might compromise strategies relying on vector control. Consequently, monitoring of vector behaviour and insecticide efficacy is needed to assess the effectiveness of strategies aiming at malaria control. This eventually led to an entomological survey in two villages with high malaria prevalence in this region. METHODS: During rainy, 2011 and dry season 2012, mosquitoes were collected in Engari and Kigorogoro, Kazo subcounty, using human landing collection, morning indoor resting collection, pyrethrum spray collection and larval collection. Circumsporozoite protein of Plasmodium falciparum sporozoites in female Anopheles mosquitoes was detected using ELISA assay. Bioassays to monitor Anopheles resistance to insecticides were performed. RESULTS: Of the 1,021 female Anopheles species captured, 62% (632) were Anopheles funestus and 36% (371) were Anopheles gambiae s.l. The most common species were Anopheles gambiae s.l. in Engari (75%) and A. funestus in Kigorogoro (83%). Overall, P. falciparum prevalence was 2.9% by ELISA. The daily entomological inoculation rates were estimated at 0.17 and 0.58 infected bites/person/night during rainy and dry season respectively in Engari, and 0.81 infected bites/person/night in Kigorogoro during dry season. In both areas and seasons, an unusually early evening biting peak was observed between 6 - 8 p.m. In Engari, insecticide bioassays showed 85%, 34% and 12% resistance to DDT during the rainy season, dry season and to deltamethrin during the dry season, respectively. In Kigorogoro, 13% resistance to DDT and to deltamethrin was recorded. There was no resistance observed to bendiocarb and pirimiphos methyl. CONCLUSIONS: The heterogeneity of mosquito distribution, entomological indicators and resistance to insecticides in villages with high malaria prevalence highlight the need for a long-term vector control programme and monitoring of insecticide resistance in Uganda. The early evening biting habits of Anopheles combined with resistance to DDT and deltamethrin observed in this study suggest that use of impregnated bed nets alone is insufficient as a malaria control strategy, urging the need for additional interventions in this area of high transmission

Durability of Stavudine, Lamivudine and Nevirapine among Advanced HIV-1 Infected Patients with/without Prior Co-administration of Rifampicin: A 144-week Prospective Study

<p>Abstract</p> <p>Background</p> <p>To date, data on the durability of a regimen of stavudine, lamivudine and nevirapine are very limited, particularly from the resource-limited settings.</p> <p>Methods</p> <p>A prospective cohort study was conducted among 140 antiretroviral-naïve patients who were enrolled to initiate d4T, 3TC and NVP between November 2004 and March 2005. The objectives were to determine immunological and virological responses after 144 weeks of antiretroviral therapy. Seventy patients with tuberculosis also received rifampicin during the early period of antiviral treatment (TB group).</p> <p>Results</p> <p>Of all, median (IQR) baseline CD4 cell count was 31 (14–79) cells/mm³; median (IQR) baseline HIV-1 RNA was 433,500 (169,000–750,000) copies/mL. The average body weight was 55 kilograms. By intention-to-treat analysis at 144 weeks, the overall percentage of patients who achieved plasma HIV-1 RNA <50 copies/mL was 59.3% (83/140). In subgroup analysis, 61.4% (43/70) patients in TB group and 57.1% (40/70) patients in control group achieved plasma HIV-1 RNA <50 copies/mL (RR = 1.194, 95%CI = 0.608–2.346, <it>P </it>= 0.731). Eight (5.8%) patients discontinued d4T due to neuropathy and/or symptomatic lactic acidosis.</p> <p>Conclusion</p> <p>The overall durability and efficacy of antiviral response of d4T, 3TC and NVP are satisfied and they are not different between HIV-1 infected patients with and without co-administration of rifampicin due to tuberculosis. However, stavudine-related adverse effects are concerns.</p> <p>Trial registration</p> <p>ClinicalTrials.gov Identifier NCT00703898</p