arXiv:quant-ph/0412199

The internal logic of Bell's states

Giulia Battilotti, Paola Zizzi

Published Dec 26, 2004• 6 citations

Abstract

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.

DOI: 10.48550/arxiv.quant-ph/0412199

Related papers

Bell's Theorem without Inequalities and without Probabilities for Two Observers

Adán Cabello

A proof of Bell's theorem using two maximally entangled states of two qubits is presented. It exhibits a similar logical structure to Hardy's argument of "nonlocality without inequalities." However, it works for 100% of the runs of a certain experiment. Therefore, it can also be viewed as a Greenberger-Horne-Zeilinger-like proof involving only two spacelike separated regions.

arXiv:quant-ph/0008085Physical Review LettersMar 5, 2001140 citations

Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic

Alexandru Baltag, Sonja Smets

This paper provides an overview of quantum dynamic logics, showing how they have been designed and illustrating how these logics can be applied to verify the correctness of quantum protocols. Similar to the advantages of using dynamic logics to reason about the flow of classical information, the quantum analogues of these logics are tailored to the task of reasoning about the flow of quantum information. We present our logical systems in a modular way, starting with the qualitative logic of quantum measurements and unitary evolutions in single quantum systems, which can already express non-classical effects, e.g., the state-changing interference induced by quantum tests, their non-commutativity, etc. We then move on to logics for compound quantum systems that can capture the non-local features of quantum information: separability, entanglement, correlated measurements, Bell states, etc. We then briefly summarize the logic of quantum probabilities and sketch some applications to quantum protocols.

Applied SciencesApr 28, 20225 citations

Entanglement as Internal Constraint

Diederik Aerts, Ellie D’Hondt, Bart D’Hooghe

Our investigation aims to study the specific role played by entanglement in the quantum computation process, by elaborating an entangled spin model developed within the 'hidden measurement approach' to quantum mechanics. We show that an arbitrary tensor product state for the entity consisting of two entangled qubits can be described in a complete way by a specific internal constraint between the ray and density states of the two qubits. For the individual qubits we use a sphere model representation, which is a generalization of the Bloch or Pauli representation, where also the collapse and noncollapse measurements are represented. We identify a parameter r in [0,1], arising from the Schmidt diagonal decomposition, that is a measure of the amount of entanglement, such that for r = 0 the system is in the singlet state with 'maximal' entanglement, and for r = 1 the system is in a pure product state.

arXiv:quant-ph/0210035Oct 4, 20020 citations

Probability Distributions Describing Qubit-State Superpositions

Margarita A. Man’ko, Vladimir I. Man’ko

We discuss qubit-state superpositions in the probability representation of quantum mechanics. We study probability distributions describing separable qubit states. We consider entangled states on the example of a system of two qubits (Bell states) using the corresponding superpositions of the wave functions associated with these states. We establish the connection with the properties and structure of entangled probability distributions.

EntropySep 22, 20236 citations

BASIC LOGIC AND QUANTUM COMPUTING: LOGICAL JUDGEMENTS BY AN INSIDER OBSERVER

Giulia Battilotti

We consider the logical assertions of a hypothetical observer who is inside a quantum computer and performs a reversible quantum measurement, obtaining a symmetric couple of new axioms, valid only inside the quantum computer. The result is that, in this logical framework, symmetry and paraconsistency hold.

arXiv:quant-ph/0407057International Journal of Quantum InformationDec 17, 20048 citations

Perfect Single Qubit Mirroring Effects on Two and Three Maximally Entangled Qubits

Manuél Ávila

Perfect quantum state mirroring in a chain of N spins is defined as the condition in which the state |i〉 of the chain is swapped into the state |N — i〉 within a time evolution interval τ. Such a phenomenon is an interesting way of transfering entanglement. An expressions for the perfect mirroring of a single qubit contained in a spin chain were proposed in the past. We exploit such an expressions for calculating the evolution times in chains of both two and three spins. In the case of a chain of two qubits, we derive conditions under which the associated four Bell states diagonalize the Hamiltonian. It is found that for the two Bell states |Φ + 〉 and |Φ − 〉, perfect mirroring does not occur (i.e. entanglement is not preserved under swapping). On the other hand, perfect single qubit mirror effect (entanglement preservation) indeed occurs for the other two Bell states |Ψ + 〉 and |Ψ − 〉 which are mapped into |Φ + 〉 and |Φ − 〉 respectively. For the case of a chain of three qubits, the effects of a perfect single qubit mirroring on a set of four maximally entangled three qubit states ψ 1 , ψ 2 , χ 1 , and χ 2 are studied. Due to the fact that quantum mirroring preserves maximal entanglement, the states ψ 1 and ψ 2 are not altered. However, quantum mirroring changes the states χ 1 and χ 2 only if we apply perfect quantum state mirroring in the site a = 1 of the three qubits spin chain. The above constrains the preservation of maximal entanglement under qubit mirroring of such a state. Due to the fact that swapping has already been experimentally tested, a posible experimental implementations of single qubit mirroring is possible.

Communications in Theoretical PhysicsJan 1, 20130 citations