Hypergraph states are generalizations of graph states where controlled-Z gates on edges are replaced with generalized controlled-Z gates on hyperedges. Hypergraph states have several advantages over graph states. For example, certain hypergraph states, such as the Union Jack states, are universal resource states for measurement-based quantum computing with only Pauli measurements, while graph state measurement-based quantum computing needs non-Clifford basis measurements. Furthermore, it is impossible to classically efficiently sample measurement results on hypergraph states with a constant L1-norm error unless the polynomial hierarchy collapses to the third level. Although several protocols have been proposed to verify graph states with only sequential single-qubit Pauli measurements, there was no verification method for hypergraph states. In this paper, we propose a method for verifying hypergraph states with only sequential single-qubit Pauli measurements. As applications, we consider verified blind quantum computing with hypergraph states, and quantum supremacy demonstrations with hypergraph states. Many-point correlations in quantum many-body systems are one of the most essential ingredients in condensed-matter physics and statistical physics. Correlations of sequential single-qubit measurements on quantum states are also important drive forces for quantum information processing. For example, measurement-based quantum computing [1], which is nowadays one of the standard quantum computing models, enables universal quantum computing with only adaptive single-qubit measurements on certain quantum states, such as graph states [1] and other condensed-matter-physically motivated states including the AKLT state [2-17]. Furthermore , not only adaptive but also non-adaptive single-qubit measurements on graph states can demonstrate a quantumness which cannot be classically efficiently simulated: it is known that if probability distributions of non-adaptive sequential single-qubit measurements on graph states are classically efficiently sampled, then the polynomial hierarchy collapses to the third level [18-20] or the second level [21]. The polynomial hierarchy is a hierarchy of complexity classes generalizing P and NP, and it is not believed to collapse in computer science. It is an example of recently well studied "quantum suprema-cies" of sub-universal quantum computing models, which are expected to be easier to experimentally implement, but can outperform classical computing. (For details, see Refs. [18-24] and their supplementary materials.) For practical implementations of measurement-based quantum computing and experimental demonstrations of the quantum supremacy, verifying graph states is essential , since in reality a generated state cannot be the ideal graph state due to some experimental noises. The problem becomes more serious if we consider delegated secure quantum computing, so called blind quantum computing [25, 26]. It is known that the ability of sequentially measuring single qubits is enough to secre...

Host immune response to Leishmania parasites

Abstract. Hypergraph states are multi-qubit states that form a subset of the locally maximally entangleable states and a generalization of the well-established notion of graph states. Mathematically, they can conveniently be described by a hypergraph that indicates a possible generation procedure of these states; alternatively, they can also be phrased in terms of a non-local stabilizer formalism. In this paper, we explore the entanglement properties and nonclassical features of hypergraph states. First, we identify the equivalence classes under local unitary transformations for up to four qubits, as well as important classes of five-and six-qubit states, and determine various entanglement properties of these classes. Second, we present general conditions under which the local unitary equivalence of hypergraph states can simply be decided by considering a finite set of transformations with a clear graph-theoretical interpretation. Finally, we consider the question whether hypergraph states and their correlations can be used to reveal contradictions with classical hidden variable theories. We demonstrate that various noncontextuality inequalities and Bell inequalities can be derived for hypergraph states.

The presence of the endogenous Leishmania RNA virus 1 (LRV1) replicating stably within some parasite species has been associated with the development of more severe forms of leishmaniasis and relapses after drug treatment in humans. Here, we show that the disease-exacerbatory role of LRV1 relies on type I IFN (type I IFNs) production by macrophages and signaling in vivo. Moreover, infecting mice with the LRV1-cured Leishmania guyanensis (LgyLRV1 − ) strain of parasites followed by type I IFN treatment increased lesion size and parasite burden, quantitatively reproducing the LRV1-bearing (LgyLRV1 + ) infection phenotype. This finding suggested the possibility that exogenous viral infections could likewise increase pathogenicity, which was tested by coinfecting mice with L. guyanensis and lymphocytic choriomeningitis virus (LCMV), or the sand fly-transmitted arbovirus Toscana virus (TOSV). The type I IFN antiviral response increased the pathology of L. guyanensis infection, accompanied by down-regulation of the IFN-γ receptor normally required for antileishmanial control. Further, LCMV coinfection of IFN-γ-deficient mice promoted parasite dissemination to secondary sites, reproducing the LgyLRV1 + metastatic phenotype. Remarkably, LCMV coinfection of mice that had healed from L. guyanensis infection induced reactivation of disease pathology, overriding the protective adaptive immune response. Our findings establish that type I IFN-dependent responses, arising from endogenous viral elements (dsRNA/LRV1), or exogenous coinfection with IFN-inducing viruses, are able to synergize with New World Leishmania parasites in both primary and relapse infections. Thus, viral infections likely represent a significant risk factor along with parasite and host factors, thereby contributing to the pathological spectrum of human leishmaniasis.Leishmania RNA virus 1 | Totiviridae | arboviruses | trypanosomatid protozoan parasite | Leishmania subgenus Viannia

The advent of Noisy Intermediate-Scale Quantum (NISQ) technology is changing rapidly the landscape and modality of research in quantum physics. NISQ devices, such as the IBM Q Experience, have very recently proven their capability as experimental platforms accessible to everyone around the globe. Until now, IBM Q Experience processors have mostly been used for quantum computation and simulation of closed systems. Here we show that these devices are also able to implement a great variety of paradigmatic open quantum systems models, hence providing a robust and flexible testbed for open quantum systems theory. During the last decade an increasing number of experiments have successfully tackled the task of simulating open quantum systems in different platforms, from linear optics to trapped ions, from Nuclear Magnetic Resonance (NMR) to Cavity Quantum Electrodynamics. Generally, each individual experiment demonstrates a specific open quantum system model, or at most a specific class. Our main result is to prove the great versatility of the IBM Q Experience processors. Indeed, we experimentally implement one and two-qubit open quantum systems, both unital and non-unital dynamics, Markovian and non-Markovian evolutions. Moreover, we realise proof-of-principle reservoir engineering for entangled state generation, demonstrate collisional models, and verify revivals of quantum channel capacity and extractable work, caused by memory effects. All these results are obtained using IBM Q Experience processors publicly available and remotely accessible online. arXiv:1906.07099v1 [quant-ph]