Self-testing was originally introduced as a device-independent method of certification of entangled quantum states and local measurements performed on them. Recently, in [F. Baccari \textit{et al.}, arXiv:2003.02285] the notion of state self-testing has been generalized to entangled subspaces and the first self-testing strategies for exemplary genuinely entangled subspaces have been given. The main aim of our work is to pursue this line of research and to address the question how "large" (in terms of dimension) are genuinely entangled subspaces that can be self-tested, concentrating on the multiqubit stabilizer formalism. To this end, we first introduce a framework allowing to efficiently check whether a given stabilizer subspace is genuinely entangled. Building on it, we then determine the maximal dimension of genuinely entangled subspaces that can be constructed within the stabilizer subspaces and provide an exemplary construction of such maximally-dimensional subspaces for any number of qubits. Third, we construct Bell inequalities that are maximally violated by any entangled state from those subspaces and thus also any mixed states supported on them, and we show these inequalities to be useful for self-testing. Interestingly, our Bell inequalities allow for identification of higher-dimensional face structures in the boundaries of the sets of quantum correlations in the simplest multipartite Bell scenarios in which every observer performs two dichotomic measurements.
Genuinely entangled subspaces are a class of subspaces in the multipartite Hilbert spaces that are composed of only genuinely entangled states. They are thus an interesting object of study in the context of multipartite entanglement. Here we provide a construction of multipartite subspaces that are not only genuinely entangled but also fully non-positive-partial-transpose (NPT) in the sense that any mixed state supported on them has non-positive partial transpose across any bipartition. Our construction originates from the stabilizer formalism known for its use in quantum error correction. To …
We propose a new three-party quantum private comparison protocol using genuinely maximally entangled six-qubit states. In our protocol, three participants can determine whether their private information are equal or not without an external third party who helps compute the comparison result. At the same time the participants can preserve the privacy of their inputs, respectively. Our protocol does not need any unitary operations to encode information due to the excellent properties of genuinely maximally entangled six-qubit states. Additionally, the protocol uses one-step quantum transmission …
How entangled is a randomly chosen bipartite stabilizer state? We show that if the number of qubits each party holds is large the state will be close to maximally entangled with probability exponentially close to one. We provide a similar tight characterization of the entanglement present in the maximally mixed state of a randomly chosen stabilizer code. Finally, we show that typically very few GHZ states can be extracted from a random multipartite stabilizer state via local unitary operations. Our main tool is a new concentration inequality which bounds deviations from the mean of random vari…
A nonlocal subspace $\mathcal{H}_{NS}$ is a subspace within the Hilbert space $\mathcal{H}_n$ of a multi-particle system such that every state $ψ\in \mathcal{H}_{NS}$ violates a given Bell inequality $\mathcal{B}$. Subspace $\mathcal{H}_{NS}$ is maximally nonlocal if each such state $ψ$ violates $\mathcal{B}$ to its algebraic maximum. We propose ways by which states with a stabilizer structure of graph states can be used to construct maximally nonlocal subspaces, essentially as a degenerate eigenspace of Bell operators derived from the stabilizer generators. Two cryptographic applications-- to…
We extend the relation between absolutely maximally entangled (AME) states and quantum maximum distance separable (QMDS) codes by constructing whole families of QMDS codes from their parent AME states. We introduce a reduction-friendly form for the generator set of the stabilizer representation of an AME state, from which the stabilizer form for children codes, all QMDS, can be obtained. We then relate this to optimal codes for one-way quantum repeaters, by minimizing the short-term infrastructure cost as well as the long-term running cost of such quantum repeaters. We establish that AME state…
Quantum Circuits for High-Dimensional Absolutely Maximally Entangled States
Barcelona Supercomputing Center（巴塞罗那超级计算中心）；Universitat de Barcelona（巴塞罗那大学）；BEIT；Max Planck Institute for the Physics of Complex Systems（马克斯·普朗克复杂系统物理研究所）；ICFO-Institut de Ciencies Fotoniques, The Barcelona Institute of Science and Technology（ICFO-光子科学研究所，巴塞罗那科学技术研究院）；Center for Theoretical Physics, Polish Academy of Sciences（波兰科学院理论物理中心）；Institute of Theoretical Physics, Jagiellonian University（雅盖隆大学理论物理研究所）
We propose a framework to analyze linear optical circuits based on an analogy with stabilizer formalism in quantum circuits, which provides efficiently computable formulas related to state discriminations. Hence, we analyze a Bell-state discrimination scheme with linear optics and ancillary single photons. With an increasing number of ancilla photons, the success probability of Bell-state discrimination has a maximum of $\frac{403}{512} \simeq 0.787$ at $28$ ancilla photons. By contrast, the corresponding two-qubit measurement asymptotically approaches a maximally entangling measurement.
A pure quantum state of N subsystems with d levels each is called k-multipartite maximally entangled state, written k-uniform, if all its reductions to k qudits are maximally mixed. These states form a natural generalization of N-qudits GHZ states which belong to the class 1-uniform states. We establish a link between the combinatorial notion of orthogonal arrays and k-uniform states and prove the existence of several new classes of such states for N-qudit systems. In particular, known Hadamard matrices allow us to explicitly construct 2-uniform states for an arbitrary number of N>5 qubits. We…
Self-testing is a procedure for characterizing quantum resources with the minimal level of trust. Up to now it has been used as a device-independent certification tool for particular quantum measurements, channels, and pure entangled states. In this work we introduce the concept of self-testing more general entanglement structures. More precisely, we present the first self-tests of an entangled subspace - the five-qubit code and the toric code. We show that all quantum states maximally violating a suitably chosen Bell inequality must belong to the corresponding code subspace, which remarkably …
One way to construct a maximal set of mutually unbiased bases (MUBs) in a prime-power dimensional Hilbert space is by means of finite phase-space methods. MUBs obtained in this way are covariant with respect to some subgroup of the group of all affine symplectic phase-space transformations. However, this construction is not canonical: as a consequence, many different choices of covariance sugroups are possible. In particular, when the Hilbert space is $2^n$ dimensional, it is known that covariance with respect to the full group of affine symplectic phase-space transformations can never be achi…
I generalize the concept of balancedness to qudits with arbitrary dimension $d$. It is an extension of the concept of balancedness in New J. Phys. {\bf 12}, 075025 (2010) [1]. At first, I define maximally entangled states as being the stochastic states (with local reduced density matrices $\id/d$ for a $d$-dimensional local Hilbert space) that are not product states and show that every so-defined maximal genuinely multi-qudit entangled state is balanced. Furthermore, all irreducibly balanced states are genuinely multi-qudit entangled and are locally equivalent with respect to $SL(d)$ transform…
We find an interesting relationship between multipartite bound entangled states and the stabilizer formalism. We prove that if a set of commuting operators from the generalized Pauli group on $n$ qudits satisfy certain constraints, then the maximally mixed state over the subspace stabilized by them is an unlockable bound entangled state. Moreover, the properties of this state, such as symmetry under permutations of parties, undistillability and unlockability, can be easily explained from the stabilizer formalism without tedious calculation. In particular, the four-qubit Smolin state and its re…
We examine the existence and structure of particular sets of mutually unbiased bases (MUBs) in bipartite qudit systems. In contrast to well-known power-of-prime MUB constructions, we restrict ourselves to using maximally entangled stabilizer states as MUB vectors. Consequently, these bipartite entangled stabilizer MUBs (BES MUBs) provide no local information, but are sufficient and minimal for decomposing a wide variety of interesting operators including (mixtures of) Jamiolkowski states, entanglement witnesses and more. The problem of finding such BES MUBs can be mapped, in a natural way, to …
Absolutely maximally entangled (AME) states are pure multi-partite generalizations of the bipartite maximally entangled states with the property that all reduced states of at most half the system size are in the maximally mixed state. AME states are of interest for multipartite teleportation and quantum secret sharing and have recently found new applications in the context of high-energy physics in toy models realizing the AdS/CFT-correspondence. We work out in detail the connection between AME states of minimal support and classical maximum distance separable (MDS) error correcting codes and,…
We study the conditions when mixtures of entangled pure states with maximally mixed one-qudit reduced density matrices remain entangled. We found that the resulting mixed state remains entangled when the number of entangled pure states to be mixed is less than or equal to the dimension of the pure states. For the latter case of mixing a number of pure states equal to their dimension, we found that the mixed state is entangled provided that the entangled pure states to be mixed are not equally weighted. We also found that one can restrict the set of pure states that one can mix from in order to…
Bell inequality with self-testing property has played an important role in quantum information field with both fundamental and practical applications. However, it is generally challenging to find Bell inequalities with self-testing property for multipartite states and actually there are not many known candidates. In this work, we propose a systematical framework to construct Bell inequalities from stabilizers which are maximally violated by general stabilizer states, with two observables for each local party. We show that the constructed Bell inequalities can self-test any stabilizer state whi…
For a multipart quantum system, a locally maximally entangled (LME) state is one where each elementary subsystem is maximally entangled with its complement. This paper is a sequel to arXiv:1708.01645, which gives necessary and sufficient conditions for a system to admit LME states in terms of its subsystem dimensions $(d_1, d_2, \dots, d_n)$, and computes the dimension of the space ${\cal H}_{LME}/K$ of LME states up to local unitary transformations for all non-empty cases. In this paper, we provide a pedagogical overview and physical interpretation of the the underlying mathematics that leads…
There is a connection between classical codes, highly entangled pure states (called k-uniform or absolutely maximally entangled (AME) states), and quantum error correcting codes (QECCs). This leads to a systematic method to construct stabilizer QECCs by starting from a k-uniform state or the corresponding classical code and tracing out one party at each step. We provide explicit constructions for codewords, encoding procedure and stabilizer formalism of the QECCs by describing the changes that partial traces cause on the corresponding generator matrix of the classical codes. We then modify the…
Highly entangled multipartite states such as k-uniform (k-UNI) and absolutely maximally entangled (AME) states serve as critical resources in quantum networking and other quantum information applications. However, there does not yet exist a complete classification of such states, and much remains unknown about their entanglement structure. Here, we substantially broaden the class of known k-UNI and AME states by introducing a method for explicitly constructing such states that combines classical error correcting codes and qudit graph states. This method in fact constitutes a general recipe for…
In this letter we consider the problem of certification of quantum measurements with an arbitrary number of outcomes. We propose a simple scheme for certifying any set of $d$-outcome projective measurements which do not share any common invariant proper subspace, termed here genuinely incompatible, and the maximally entangled state of two qudits. For our purpose, we focus on a simpler scenario, termed as one-sided device-independent scenario where the resource employed for certification is quantum steering. We also study robustness of our self-testing statements for a certain class of genuinel…
Absolutely maximally entangled pure states of multipartite quantum systems
BEIT sp. z o.o.（BEIT有限责任公司）；Jagiellonian University（雅盖隆大学）；Universität Siegen（锡根大学）；Indian Institute of Technology Madras（马德拉斯印度理工学院）；Polish Academy of Sciences（波兰科学院）
Entanglement theory is formulated as a quantum resource theory in which the free operations are local operations and classical communication (LOCC). This defines a partial order among bipartite pure states that makes it possible to identify a maximally entangled state, which turns out to be the most relevant state in applications. However, the situation changes drastically in the multipartite regime. Not only do there exist inequivalent forms of entanglement forbidding the existence of a unique maximally entangled state, but recent results have shown that LOCC induces a trivial ordering: almos…
We propose a framework to describe and simulate a class of many-body quantum states. We do so by considering joint eigenspaces of sets of monomial unitary matrices, called here "M-spaces"; a unitary matrix is monomial if precisely one entry per row and column is nonzero. We show that M-spaces encompass various important state families, such as all Pauli stabilizer states and codes, the AKLT model, Kitaev's (abelian and non-abelian) anyon models, group coset states, W states and the locally maximally entanglable states. We furthermore show how basic properties of M-spaces can transparently be u…
Bell inequalities constitute a key tool in quantum information theory: they not only allow one to reveal nonlocality in composite quantum systems, but, more importantly, they can be used to certify relevant properties thereof. We provide a very simple and intuitive construction of Bell inequalities that are maximally violated by the multiqubit graph states and can be used for their robust self-testing. The main advantage of our inequalities over previous constructions for these states lies in the fact that the number of correlations they contain scales only linearly with the number of observer…
Binarisation-loophole-free observation of high-dimensional quantum nonlocality
University of Science and Technology of China（中国科学技术大学）；CAS Center For Excellence in Quantum Information and Quantum Physics（中国科学院量子信息与量子物理前沿卓越中心）；Hefei National Laboratory（合肥国家实验室）；Lund University（隆德大学）
We present new bounds on the existence of general quantum maximum distance separable codes (QMDS): the length $n$ of all QMDS codes with local dimension $D$ and distance $d \geq 3$ is bounded by $n \leq D^2 + d - 2$. We obtain their weight distribution and present additional bounds that arise from Rains' shadow inequalities. Our main result can be seen as a generalization of bounds that are known for the two special cases of stabilizer QMDS codes and absolutely maximally entangled states, and confirms the quantum MDS conjecture in the special case of distance-three codes. As the existence of Q…
