We investigate the internal logic of a quantum computer with two qubits, in the two particular cases of non-entanglement (separable states) and maximal entanglement (Bell's states). To this aim, we consider an internal (reversible) measurement which preserves the probabilities by mirroring the states. We then obtain logical judgements for both cases of separable and Bell's states.
We describe a feasible logic Bell-state analysis protocol by employing the logic entanglement to be the robust concatenated Greenberger-Horne-Zeilinger (C-GHZ) state. This protocol only uses polarization beam splitters and half-wave plates, which are available in current experimental technology. We can conveniently identify two of the logic Bell states. This protocol can be easily generalized to the arbitrary C-GHZ state analysis. We can also distinguish two $N$-logic-qubit C-GHZ states. As the previous theory and experiment both showed that the C-GHZ state has the robustness feature, this log…
Logic qubit entanglement, which is also called the concatenated Greenberger-Horne-Zeilinger (C-GHZ) state, is robust in practical noisy environment. In this paper, we will describe an efficient approach to realize the complete polarization Bell-state analysis which is encoded in the logic qubit. We showed that the logic Bell-state can be distinguished in two steps with the help of the parity-check measurement (PCM), which is constructed by the cross-Kerr nonlinearity. We also explain that this approach can be used to distinguish arbitrary C-GHZ state with $N$ logic qubits. This protocol is use…
Decoherence is one of the main obstacles in long-distance quantum communication. Recently, the theoretical work of Fröwis and W. Dür (Phys. Rev. Lett. \textbf{106}, 110402 (2011)) and the experiment of Lu \emph{et al.} (Nat. Photon. \textbf{8}, 364 (2014)) both showed that the logic qubits entanglement say the concatenated Greenberger-Horne-Zeilinger (C-GHZ) state is more robust under decoherence. In this paper, we describe a protocol for Bell-state analysis for this logic qubits entanglement. This protocol can also be extended to the multipartite C-GHZ state analysis. Also, we discuss its app…
Two fault tolerant authenticated quantum dialogue (AQD) protocols are proposed in this paper by employing logical Bell states as the quantum resource, which combat the collective-dephasing noise and the collective-rotation noise, respectively. The two proposed protocols each can accomplish the mutual identity authentication and the dialogue between two participants simultaneously and securely over one kind of collective noise channels. In each of two proposed protocols, the information transmitted through the classical channel is assumed to be eavesdroppable and modifiable. The key for choosin…
Logic-qubit entanglement is a promising resource in quantum information processing, especially in future large-scale quantum networks. In the paper, we put forward an efficient entanglement purification protocol (EPP) for nonlocal mixed logic entangled states with the bit-flip error in the logic qubits of the logic Bell state, resorting to the photon-atom interaction in low-quality (Q) cavity and atomic state measurement. Different from existing EPPs, this protocol can also purify the logic phase-flip error, and the bit-flip error and the phase-flip error in physic qubit. During the protocol, …
Entanglement boosting: Low-volume logical Bell pair preparation for distributed fault-tolerant quantum computation
Nanofiber Quantum Technologies, Inc. (NanoQT)（纳米纤维量子技术有限公司）；Clarendon Laboratory, University of Oxford（牛津大学克拉伦登实验室）；Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo（东京大学大学院信息理工学研究系计算机科学专业）
Several emerging quantum technologies, including quantum networks, modular and fusion-based quantum computing, rely crucially on the ability to perform photonic Bell state measurements. Therefore, photon losses and the 50\% success probablity upper bound of Bell state measurements pose a critical limitation to photonic quantum technologies. Here, we develop protocols that overcome these two key challenges through logical encoding of photonic qubits. Our approach uses a tree graph state logical encoding, which can be produced deterministically with a few quantum emitters, and achieves near-dete…
We show how the efficiency of a logical Bell measurement (BM) can be calculated for arbitrary CSS codes with the experimentally important constraint of using only transversal static linear-optical BMs on the physical single-photon qubit level. For this purpose, we utilize the codes' description in terms of stabilizers in order to calculate general efficiencies for the loss-free case, but also for specific cases including photon loss. These efficiencies can be, for instance, used for obtaining transmission rates of all-optical quantum repeaters. In the loss-free case, we demonstrate that the im…
Entanglement is one of the most fundamental properties of quantum mechanics, and is the key resource for quantum information processing. Bipartite entangled states of identical particles have been generated and studied in several experiments, and post-selected or heralded entangled states involving pairs of photons, single photons and single atoms, or different nuclei in the solid state, have also been produced. Here, we use a deterministic quantum logic gate to generate a "hybrid" entangled state of two trapped-ion qubits held in different isotopes of calcium, perform full tomography of the s…
We present a detailed analysis of the Bell measurement scheme proposed in [Phys. Rev. Lett. 114, 113603 (2015)] based on a logical qubit using Greenberger-Horne-Zeilinger (GHZ) entanglement of photons. The success probability of the proposed Bell measurement can be made arbitrarily high using only linear optics as the number of photons in a logical qubit increases. We compare our scheme with all the other proposals, using single-photon qubits, coherent-state qubits or hybrid qubits, suggested to enhance the efficiency of the Bell measurement. As a remarkable advantage, our scheme requires only…
The experimentally verified violation of Bell's inequalities apparently implies that at least one of two intuitive beliefs must be false: that effects propagating at infinite velocity do not exist, and that natural phenomena occur independently of being observed. Giving up any one of these two beliefs (usually known together as Local Realism) is controversial. Many theories have been proposed to reconcile the violation of Bell's inequalities with Local Realism, but none has been fully successful. In this paper, it is recalled that any theory aimed to violate Bell's inequalities must start by g…
We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems. We give a syntax and a relational semantics in which we abstract away from phases and probabilities. We present a sound proof system for this logic, and we show how to characterize by logical means various forms of entanglement (e.g. the Bell states) and various linear operators. As an example we sketch an analysis of the teleportation protocol.
We consider the entanglement between two internal states of a single atom and two photon number states describing either the vaccum or a single photon and thus containing, on average, less than one photon. We show that this intriguing entanglement can be characterized through substantial violations of a Bell inequality by performing homodyne detections on the optical mode. We present the experimental challenges that need to be overcome to pave the way towards a loophole-free Bell test in this setup.
We propose a Bell measurement scheme by employing a logical qubit in Greenberger-Horne-Zeilinger (GHZ) entanglement with an arbitrary number of photons. Remarkably, the success probability of the Bell measurement as well as teleportation of the GHZ entanglement can be made arbitrarily high using only linear optics elements and photon on-off measurements as the number of photons increases. Our scheme outperforms previous proposals using single photon qubits when comparing the success probabilities in terms of the average photon usages. It has another important advantage for experimental feasibi…
To Scale Up or To Scale Out: Evaluating Space-Time Costs of Compiled Logical Circuits on Modular Superconducting Quantum Processors
Dark Qore；QuantWare；ETH Zurich（苏黎世联邦理工学院）；Department of Physics, ETH Zurich（苏黎世联邦理工学院物理系）；Quantum Center, ETH Zurich（苏黎世联邦理工学院量子中心）；Delft University of Technology（代尔夫特理工大学）；QuTech, Delft University of Technology（代尔夫特理工大学QuTech）
Bell correlations between momentum-entangled pairs of $^4\text{He}^*$ atoms
Research School of Physics, Australian National University（澳大利亚国立大学物理研究学院）；Homer L. Dodge Department of Physics and Astronomy, The University of Oklahoma（俄克拉荷马大学霍默·L·道奇物理与天文学系）；Center for Quantum Research and Technology, The University of Oklahoma（俄克拉荷马大学量子研究与技术中心）；School of Mathematics and Physics, University of Queensland（昆士兰大学数学与物理学院）
We show that the general quantum state of synthetically spin-orbit coupled ultra cold bosonic atom whose condensate was experimentally created recently ( Y. J. Lin {\it et al.}, Nature, {\bf 471}, 83, (2011)), shows entanglement between motional degrees of freedom ( momentum) and internal degrees of freedom (hyperfine spin). We demonstrate the violation of Bell-like inequality (CHSH) for such states that provides a unique opportunity to verify fundamental principle like quantum non-contextuality for commutating observables which are not spatially separated. We analyze in detail the Rabi oscill…
"Bell's theorem" can refer to two different theorems that John Bell proved, the first in 1964 and the second in 1976. His 1964 theorem is the incompatibility of quantum phenomena with the joint assumptions of Locality and Predetermination. His 1976 theorem is their incompatibility with the single property of Local Causality. This is contrary to Bell's own later assertions, that his 1964 theorem began with the assumption of Local Causality, even if not by that name. Although the two Bell's theorems are logically equivalent, their assumptions are not. Hence, the earlier and later theorems sugges…
Many of the heated arguments about the meaning of "Bell's theorem" arise because this phrase can refer to two different theorems that John Bell proved, the first in 1964 and the second in 1976. His 1964 theorem is the incompatibility of quantum phenomena with the dual assumptions of locality and determinism. His 1976 theorem is the incompatibility of quantum phenomena with the unitary property of local causality. This is contrary to Bell's own later assertions, that his 1964 theorem began with that single, and indivisible, assumption of local causality (even if not by that name). While there a…
Control over physical systems at the quantum level is a goal shared by scientists in fields as diverse as metrology, information processing, simulation and chemistry. For trapped atomic ions, the quantized motional and internal degrees of freedom can be coherently manipulated with laser light. Similar control is difficult to achieve with radio frequency or microwave radiation because the essential coupling between internal degrees of freedom and motion requires significant field changes over the extent of the atoms' motion. The field gradients are negligible at these frequencies for freely pro…
Generalized quantum discord $(D_q)$, Einstein-Podolsky-Rosen steering $(S)$, entanglement $(E)$, and Bell nonlocality ($N$), are logically distinct quantifiers of quantum correlations. All these measures capture nonclassical aspects of quantum states and play some role as resources in quantum information processing. In this work, we look for the hierarchy satisfied by these quantum correlation witnesses for a class of two-qubit states. We show that $N \triangleright S\triangleright E\triangleright D_q$, meaning that nonlocality implies steering, which in turn implies entanglement, which then i…
