A monogamy-of-entanglement game for subspace coset states
- URL: http://arxiv.org/abs/2107.13324v5
- Date: Tue, 2 Aug 2022 20:42:23 GMT
- Title: A monogamy-of-entanglement game for subspace coset states
- Authors: Eric Culf and Thomas Vidick
- Abstract summary: This property was conjectured recently by [Coladangelo, Liu, Liu, and Zhandry, Crypto'21] and shown to have applications to unclocrypt decryption and copy-protection of pseudorandom functions.
We present two proofs, one which directly follows the method of the original paper and the other which uses an observation from [Vidick and Zhang, Euro'20] to reduce the analysis to a simpler monogamy game based on BB'84 states.
- Score: 7.716156977428555
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: We establish a strong monogamy-of-entanglement property for subspace coset
states, which are uniform superpositions of vectors in a linear subspace of
$\mathbb{F}_2^n$ to which has been applied a quantum one-time pad. This
property was conjectured recently by [Coladangelo, Liu, Liu, and Zhandry,
Crypto'21] and shown to have applications to unclonable decryption and
copy-protection of pseudorandom functions. We present two proofs, one which
directly follows the method of the original paper and the other which uses an
observation from [Vidick and Zhang, Eurocrypt'20] to reduce the analysis to a
simpler monogamy game based on BB'84 states. Both proofs ultimately rely on the
same proof technique, introduced in [Tomamichel, Fehr, Kaniewski and Wehner,
New Journal of Physics '13].
Related papers
- The Aldous--Lyons Conjecture II: Undecidability [3.8370118222043694]
We show that given a tailored non-local game $G$, it is undecidable to distinguish between the case where $G$ has a special kind of perfect strategy, and the case where every strategy for $G$ is far from being perfect.
Using a reduction introduced in the companion paper [BCLV24], this undecidability result implies a negative answer to the Aldous--Lyons conjecture.
arXiv Detail & Related papers (2024-12-30T22:59:56Z) - Geometry of degenerate quantum states, configurations of $m$-planes and invariants on complex Grassmannians [55.2480439325792]
We show how to reduce the geometry of degenerate states to the non-abelian connection $A$.
We find independent invariants associated with each triple of subspaces.
Some of them generalize the Berry-Pancharatnam phase, and some do not have analogues for 1-dimensional subspaces.
arXiv Detail & Related papers (2024-04-04T06:39:28Z) - Rigorous derivation of the Efimov effect in a simple model [68.8204255655161]
We consider a system of three identical bosons in $mathbbR3$ with two-body zero-range interactions and a three-body hard-core repulsion of a given radius $a>0$.
arXiv Detail & Related papers (2023-06-21T10:11:28Z) - The quantum commuting model (Ia): The CHSH game and other examples:
Uniqueness of optimal states [91.3755431537592]
We use the universal description of quantum commuting correlations as state space on the universal algebra for two player games.
We find that the CHSH game leaves a single optimal state on this common algebra.
arXiv Detail & Related papers (2022-10-07T17:38:31Z) - Connes implies Tsirelson: a simple proof [91.3755431537592]
We show that the Connes embedding problem implies the synchronous Tsirelson conjecture.
We also give a different construction of Connes' algebra $mathcalRomega$ appearing in the Connes embedding problem.
arXiv Detail & Related papers (2022-09-16T13:59:42Z) - Gleason's theorem for composite systems [0.0]
Gleason's theorem is an important result in the foundations of quantum mechanics.
We prove a generalisation of Gleason's theorem to composite systems.
arXiv Detail & Related papers (2022-05-01T15:26:00Z) - Dimension-free entanglement detection in multipartite Werner states [1.5771347525430772]
Werner states are multipartite quantum states that are invariant under the diagonal conjugate action of the unitary group.
This paper gives a complete characterization of their entanglement that is independent of the underlying local space.
For every entangled Werner state there exists a dimension-free entanglement witness.
arXiv Detail & Related papers (2021-08-19T14:41:09Z) - Hidden Cosets and Applications to Unclonable Cryptography [15.248351992500078]
We study a generalization of hidden subspace states to hidden coset states (first introduced by Aaronson and Christiano [STOC '12]).
We explore unclonable properties of coset states and several applications.
arXiv Detail & Related papers (2021-07-12T19:04:01Z) - Geometry of Banach spaces: a new route towards Position Based
Cryptography [65.51757376525798]
We study Position Based Quantum Cryptography (PBQC) from the perspective of geometric functional analysis and its connections with quantum games.
The main question we are interested in asks for the optimal amount of entanglement that a coalition of attackers have to share in order to compromise the security of any PBQC protocol.
We show that the understanding of the type properties of some more involved Banach spaces would allow to drop out the assumptions and lead to unconditional lower bounds on the resources used to attack our protocol.
arXiv Detail & Related papers (2021-03-30T13:55:11Z) - Entanglement of truncated quantum states [0.0]
We investigate the impact of Hilbert-space truncation upon the entanglement of an initially maximally entangled $mtimes m$ bipartite quantum state.
For a random local unitary evolution, we obtain a simple analytical formula that expresses the truncation-induced entanglement loss as a function of $n$, $m$ and $s$.
arXiv Detail & Related papers (2020-03-16T11:40:18Z) - A refinement of Reznick's Positivstellensatz with applications to
quantum information theory [72.8349503901712]
In Hilbert's 17th problem Artin showed that any positive definite in several variables can be written as the quotient of two sums of squares.
Reznick showed that the denominator in Artin's result can always be chosen as an $N$-th power of the squared norm of the variables.
arXiv Detail & Related papers (2019-09-04T11:46:26Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.