Preparation and Measurement of Three-Qubit Entanglement in a Superconducting Circuit

Traditionally, quantum entanglement has played a central role in foundational discussions of quantum mechanics. The measurement of correlations between entangled particles can exhibit results at odds with classical behavior. These discrepancies increase exponentially with the number of entangled particles. When entanglement is extended from just two quantum bits (qubits) to three, the incompatibilities between classical and quantum correlation properties can change from a violation of inequalities involving statistical averages to sign differences in deterministic observations. With the ample confirmation of quantum mechanical predictions by experiments, entanglement has evolved from a philosophical conundrum to a key resource for quantum-based technologies, like quantum cryptography and computation. In particular, maximal entanglement of more than two qubits is crucial to the implementation of quantum error correction protocols. While entanglement of up to 3, 5, and 8 qubits has been demonstrated among spins, photons, and ions, respectively, entanglement in engineered solid-state systems has been limited to two qubits. Here, we demonstrate three-qubit entanglement in a superconducting circuit, creating Greenberger-Horne-Zeilinger (GHZ) states with fidelity of 88%, measured with quantum state tomography. Several entanglement witnesses show violation of bi-separable bounds by 830\pm80%. Our entangling sequence realizes the first step of basic quantum error correction, namely the encoding of a logical qubit into a manifold of GHZ-like states using a repetition code. The integration of encoding, decoding and error-correcting steps in a feedback loop will be the next milestone for quantum computing with integrated circuits.Comment: 7 pages, 4 figures, and Supplementary Information (4 figures)

Specialist role coaching and skill training periodisation: A football goalkeeping case study

© The Author(s) 2020. In sports like association football, professional teams are increasingly devoting resources to the role-based development of individual athletes and sub-groups. By employing ‘specialist coaches’ into athlete-support structures, clubs aim to facilitate individualised athlete training programs to enhance performance preparation as well as skill learning and talent development. Here, we discuss how contemporary pedagogical training approaches, like Nonlinear Pedagogy and the Constraints-Led approach, can enhance effectiveness of specialist role-based athlete development programs to facilitate performance functionality. We argue the need for a model of specialist role-based coaching practice in high performance sports organisations, based on a unified theoretical rationale, such as ecological dynamics. To exemplify the nature of specialist role-based coaching, a case study addresses how Nonlinear Pedagogy and Constraints-Led approach are being used for training professional football goalkeepers in an U23 years age group. Integrating key concepts from ecological dynamics, allied to principles of Nonlinear Pedagogy and the Constraints-Led approach, common skill training principles for specialist role coaches are highlighted. These illustrate the use of the recently introduced ‘Periodization of Skill Training’ framework for specialist role coaching, practically exemplifying a way to harness opportunities for performance enhancement and individualised talent development in the football goalkeeping context

Learning automata with side-effects

Automata learning has been successfully applied in the verification of hardware and software. The size of the automaton model learned is a bottleneck for scalability, and hence optimizations that enable learning of compact representations are important. This paper exploits monads, both as a mathematical structure and a programming construct, to design and prove correct a wide class of such optimizations. Monads enable the development of a new learning algorithm and correctness proofs, building upon a general framework for automata learning based on category theory. The new algorithm is parametric on a monad, which provides a rich algebraic structure to capture non-determinism and other side-effects. We show that this allows us to uniformly capture existing algorithms, develop new ones, and add optimizations

Stable Isotope Analysis Can Potentially Identify Completely-Digested Bloodmeals in Mosquitoes

Background: Vertebrate bloodfeeding is a critical component of a mosquito’s ability to transmit pathogens that cause diseases such as malaria, dengue fever and viral encephalitis. Due to degradation by the digestive process, current methods to identify mosquito bloodmeal sources are only useful for approximately 36 hours post-feeding. A critical need exists for technologies to extend this window and gain a more complete picture of mosquito feeding behavior for epidemiological studies. Stable isotopes are useful for investigating organism feeding behavior because the isotopic ratio of an organism’s tissues reflects that of the material it ingests. Methodology/Principal Findings: Proof-of-principle data indicates that after bloodfeeding, Aedes albopictus mosquitoes acquire diagnostic Carbon and Nitrogen stable isotope profiles from their vertebrate hosts that can be accurately identified one week post-feeding, approximately 4 days after the entire bloodmeal has been digested. Total C/N ratio served as a biomarker marker for bloodfeeding (P,0.02), while dN was the most informative variable which could distinguish between unfed, chicken-fed and human-fed mosquitoes (P,0.01). By plotting C/N vs. dN, all feeding treatments could be identified in a double-blind analysis. Conclusions/Significance: These proof-of-principle experiments indicate that analysis of stable isotopes can be used to distinguish bloodfed from unfed mosquitoes, and also distinguish between different vertebrate bloodmeal sources eve

Tail probabilities of St. Petersburg sums, trimmed sums, and their limit

We provide exact asymptotics for the tail probabilities $\mathbb{P} \{S_{n,r} > x\}$ as $x \to \infty$, for fix $n$, where $S_{n,r}$ is the $r$-trimmed partial sum of i.i.d. St. Petersburg random variables. In particular, we prove that although the St. Petersburg distribution is only O-subexponential, the subexponential property almost holds. We also determine the exact tail behavior of the $r$-trimmed limits.Comment: 24 pages, 2 figure

Demonstration of Two-Qubit Algorithms with a Superconducting Quantum Processor

By harnessing the superposition and entanglement of physical states, quantum computers could outperform their classical counterparts in solving problems of technological impact, such as factoring large numbers and searching databases. A quantum processor executes algorithms by applying a programmable sequence of gates to an initialized register of qubits, which coherently evolves into a final state containing the result of the computation. Simultaneously meeting the conflicting requirements of long coherence, state preparation, universal gate operations, and qubit readout makes building quantum processors challenging. Few-qubit processors have already been shown in nuclear magnetic resonance, cold ion trap and optical systems, but a solid-state realization has remained an outstanding challenge. Here we demonstrate a two-qubit superconducting processor and the implementation of the Grover search and Deutsch-Jozsa quantum algorithms. We employ a novel two-qubit interaction, tunable in strength by two orders of magnitude on nanosecond time scales, which is mediated by a cavity bus in a circuit quantum electrodynamics (cQED) architecture. This interaction allows generation of highly-entangled states with concurrence up to 94%. Although this processor constitutes an important step in quantum computing with integrated circuits, continuing efforts to increase qubit coherence times, gate performance and register size will be required to fulfill the promise of a scalable technology.Comment: 6 pages, 1 table, 4 figures, and Supplementary Information (3 pages, 3 figures); Expanded author list, updated references, and minor improvements to text and figure

Behavior and Impact of Zirconium in the Soil–Plant System: Plant Uptake and Phytotoxicity

Because of the large number of sites they pollute, toxic metals that contaminate terrestrial ecosystems are increasingly of environmental and sanitary concern (Uzu et al. 2010, 2011; Shahid et al. 2011a, b, 2012a). Among such metals is zirconium (Zr), which has the atomic number 40 and is a transition metal that resembles titanium in physical and chemical properties (Zaccone et al. 2008). Zr is widely used in many chemical industry processes and in nuclear reactors (Sandoval et al. 2011; Kamal et al. 2011), owing to its useful properties like hardness, corrosion-resistance and permeable to neutrons (Mushtaq 2012). Hence, the recent increased use of Zr by industry, and the occurrence of the Chernobyl and Fukashima catastrophe have enhanced environmental levels in soil and waters (Yirchenko and Agapkina 1993; Mosulishvili et al. 1994 ; Kruglov et al. 1996)

Swarming populations of Salmonella represent a unique physiological state coupled to multiple mechanisms of antibiotic resistance

Salmonella enterica serovar Typhimurium is capable of swarming over semi-solid surfaces. Although its swarming behavior shares many readily observable similarities with other swarming bacteria, the phenomenon remains somewhat of an enigma in this bacterium since some attributes skew away from the better characterized systems. Swarming is quite distinct from the classic swimming motility, as there is a prerequisite for cells to first undergo a morphological transformation into swarmer cells. In some organisms, swarming is controlled by quorum sensing, and in others, swarming has been shown to be coupled to increased expression of important virulence factors. Swarming in serovar Typhimurium is coupled to elevated resistance to a wide variety of structurally and functionally distinct classes of antimicrobial compounds. As serovar Typhimurium differentiates into swarm cells, the pmrHFIJKLM operon is up-regulated, resulting in a more positively charged LPS core. Furthermore, as swarm cells begin to de-differentiate, the pmr operon expression is down-regulated, rapidly reaching the levels observed in swim cells. This is one potential mechanism which confers swarm cells increased resistance to antibiotics such as the cationic antimicrobial peptides. However, additional mechanisms are likely associated with the cells in the swarm state that confer elevated resistance to such a broad spectrum of antimicrobial agents

Unc45b Forms a Cytosolic Complex with Hsp90 and Targets the Unfolded Myosin Motor Domain

Myosin folding and assembly in striated muscle is mediated by the general chaperones Hsc70 and Hsp90 and a myosin specific co-chaperone, UNC45. Two UNC45 genes are found in vertebrates, including a striated muscle specific form, Unc45b. We have investigated the role of Unc45b in myosin folding. Epitope tagged murine Unc45b (Unc45bFlag) was expressed in muscle and non-muscle cells and bacteria, isolated and characterized. The protein is a soluble monomer in solution with a compact folded rod-shaped structure of ∼19 nm length by electron microscopy. When over-expressed in striated muscle cells, Unc45bFlag fractionates as a cytosolic protein and isolates as a stable complex with Hsp90. Purified Unc45bFlag re-binds Hsp90 and forms a stable complex in solution. The endogenous Unc45b in muscle cell lysates is also found associated with Hsp90. The Unc45bFlag/Hsp90 complex binds the partially folded myosin motor domain when incubated with myosin subfragments synthesized in a reticulocyte lysate. This binding is independent of the myosin rod or light chains. Unc45bFlag does not bind native myosin subfragments consistent with a chaperone function. More importantly, Unc45bFlag enhances myosin motor domain folding during de novo motor domain synthesis indicating that it has a direct role in myosin maturation. Thus, mammalian Unc45b is a cytosolic protein that forms a stable complex with Hsp90, selectively binds the unfolded conformation of the myosin motor domain, and promotes motor domain folding

f(R) theories

Over the past decade, f(R) theories have been extensively studied as one of the simplest modifications to General Relativity. In this article we review various applications of f(R) theories to cosmology and gravity - such as inflation, dark energy, local gravity constraints, cosmological perturbations, and spherically symmetric solutions in weak and strong gravitational backgrounds. We present a number of ways to distinguish those theories from General Relativity observationally and experimentally. We also discuss the extension to other modified gravity theories such as Brans-Dicke theory and Gauss-Bonnet gravity, and address models that can satisfy both cosmological and local gravity constraints.Comment: 156 pages, 14 figures, Invited review article in Living Reviews in Relativity, Published version, Comments are welcom