Related papers: Entanglement in Interactive Proof Systems with Bin…
We compare effects of decoherence and detection inefficiency on entangled coherent states (ECSs) and entangled photon pairs (EPPs), both of which are known to be particularly useful for quantum information processing (QIP). When decoherence…
It is shown that with the use of entanglement a specific two party communication task can be done with a systematically smaller expected error than any possible classical protocol could do. The example utilises the very tight correlation…
Achieving quantum computational advantage requires solving a classically intractable problem on a quantum device. Natural proposals rely upon the intrinsic hardness of classically simulating quantum mechanics; however, verifying the output…
In two-prover one-round interactive proof systems, no-signaling provers are those who are allowed to use arbitrary strategies, not limited to local operations, as long as their strategies cannot be used for communication between them. Study…
We show that interactive protocols between a prover and a verifier, a well-known tool of complexity theory, can be used in practice to certify the correctness of automated reasoning tools. Theoretically, interactive protocols exist for all…
The recent MIP*=RE theorem of Ji, Natarajan, Vidick, Wright, and Yuen shows that the complexity class MIP* of multiprover proof systems with entangled provers contains all recursively enumerable languages. Prior work of Grilo, Slofstra, and…
In this paper, we propose a method of enciphering quantum states of two-state systems (qubits) for sending them in secrecy without entangled qubits shared by two legitimate users (Alice and Bob). This method has the following two…
In the last years, a relationship has been established between the quantum Fisher information (QFI) and quantum entanglement. In the case of two-qubit systems, all pure entangled states can be made useful for sub-shot-noise interferometry…
The class of languages having polynomial-time classical or quantum interactive proof systems ($\mathsf{IP}$ or $\mathsf{QIP}$, respectively) is identical to $\mathsf{PSPACE}$. We show that $\mathsf{PSPACE}$ (and so $\mathsf{QIP}$) is subset…
We characterize a pair of Cooper-pair boxes coupled with a fixed capacitor using spectroscopy and measurements of the ground-state quantum capacitance. We use the extracted parameters to estimate the concurrence, or degree of entanglement…
Quantum entanglement is an essential resource for quantum technologies, and the controlled swap test provides a versatile tool for its detection and quantification. Here, we propose a SWAP-based entanglement witness that applies to…
We propose a synthesis of the two proof styles of interactive theorem proving: the procedural style (where proofs are scripts of commands, like in Coq) and the declarative style (where proofs are texts in a controlled natural language, like…
Evolution of entanglement with the processing of quantum algorithms affects the outcome of the algorithm. Particularly, the performance of Grover's search algorithm gets worsened if the initial state of the algorithm is an entangled one.…
The controlled generation of entangled states and their subsequent detection are integral aspects of quantum information science. In this work, we analyse the application of nonlinear witnesses to the verification of entanglement, and we…
Many applications of quantum information processing (QIP) require distribution of quantum states in networks, both within and between distant nodes. Optical quantum states are uniquely suited for this purpose, as they propagate with…
We prove that QIP(2), the class of problems having two-message quantum interactive proof systems, is a subset of PSPACE. This relationship is obtained by means of an efficient parallel algorithm, based on the multiplicative weights update…
We propose a monotonic logic of internalised non-monotonic or instant interactive proofs (LiiP) and reconstruct an existing monotonic logic of internalised monotonic or persistent interactive proofs (LiP) as a minimal conservative extension…
The experimental verification of multipartite entangled states is essential for advancing quantum information processing. Entanglement witnesses (EWs) provide a widely used and experimentally accessible approach for detecting genuinely…
We consider the problem of testing and learning from data in the presence of resource constraints, such as limited memory or weak data access, which place limitations on the efficiency and feasibility of testing or learning. In particular,…
It was shown in [Augusiak et al.,\;Phys. Rev. A \textbf{77}, 030301(R) (2008)] that discrimination between entanglement and separability in a two qubit state can be achieved by a measurement of a single observable on four copies of it.…