Related papers: Entanglement in Interactive Proof Systems with Bin…
Nonclassical states are essential for optics-based quantum information processing, but their fragility limits their utility for practical scenarios in which loss and noise inevitably degrade, if not destroy, nonclassicality. Exploiting…
We describe a general method for verifying inequalities between real-valued expressions, especially the kinds of straightforward inferences that arise in interactive theorem proving. In contrast to approaches that aim to be complete with…
Quantum entanglement distillation protocols are LOCC protocols between Alice and Bob that convert imperfect EPR pairs, or, in general, partially entangled bipartite states into perfect or near-perfect EPR pairs. The classical communication…
We investigate entanglement for a composite closed system endowed with a scaling property allowing to keep the dynamics invariant while the effective Planck constant hbar_eff of the system is varied. Entanglement increases as hbar_eff goes…
This paper presents the integration of constraint propagation and dual proof analysis in an exact, roundoff-error-free MIP solver. The authors employ safe rounding methods to ensure that all results remain provably correct, while…
Entanglement purification protocols (EPP) and quantum error-correcting codes (QECC) provide two ways of protecting quantum states from interaction with the environment. In an EPP, perfectly entangled pure states are extracted, with some…
We derive an analytical expression for the lower bound of the concurrence of mixed quantum states of composite 2xK systems. In contrast to other, implicitly defined entanglement measures, the numerical evaluation of our bound is…
In this paper, we propose a method to probe entanglement in a theoretically inaccessible quantum system with either a discrete or continuous basis. Our approach leverages insights into the entanglement distribution within a four-partite…
The quantum entanglement $E$ of a bipartite quantum Ising chain is compared with the mutual information $I$ between the two parts after a local measurement of the classical spin configuration. As the model is conformally invariant, the…
Using an interactive theorem prover to reason about programs involves a sequence of interactions where the user challenges the theorem prover with conjectures. Invariably, many of the conjectures posed are in fact false, and users often…
Recently, Liu W et al. proposed a two-party quantum private comparison (QPC) protocol using entanglement swapping of Bell entangled state (Commun. Theor. Phys. 57(2012)583-588). Subsequently, Liu W J et al. pointed out that in Liu W et…
The act of measuring optical emissions from two remote qubits can entangle them. By demanding that a photon from each qubit reaches the detectors, one can ensure than no photon was lost. But the failure rate then rises quadratically with…
We present three contributions to the understanding of QMA with multiple provers: 1) We give a tight soundness analysis of the protocol of [Blier and Tapp, ICQNM '09], yielding a soundness gap Omega(1/N^2). Our improvement is achieved…
We present an experimental demonstration of a modified version of the entanglement-assisted "Guess my Number" protocol for the reduction of communication complexity among three separated parties. The results of experimental measurements…
We put forward two efficient entanglement concentration protocols (ECPs) for distilling the maximally entangled NOON state from arbitrary less-entangled NOON state with only an auxiliary single photon. With the help of the weak cross-Kerr…
Entanglement, the essential resource in quantum information processing, should be witnessed in many tasks such as quantum computing and quantum communication. The conventional entanglement witness method, relying on an idealized…
Two observers, who share a pair of particles in an entangled mixed state, can use it to perform some non-bilocal measurement over another bipartite system. In particular, one can construct a specific game played by the observers against a…
Operations on a pair of entangled qubits are conventionally presented as the application of the tensor product of operations. The tensor product is linearly extended to act synchronously across the entire entangled system. When simulating…
We derive a classification and a measure of classical- and quantum-correlation of multipartite qubit, qutrit, and in general, $n$-level systems, in terms of SU$(n)$ representations of density matrices. We compare the measure for the case of…
The problem of the relationship between entanglement and two-qubit systems in which it is embedded is central to the quantum information theory. This paper suggests that the concurrence hierarchy as an entanglement measure provides an…