-
Symmetric vs. bosonic extension for bipartite states
Authors:
Youning Li,
Shilin Huang,
Dong Ruan,
Bei Zeng
Abstract:
A bipartite state $ρ^{AB}$ has a $k$-symmetric extension if there exists a $k+1$-partite state $ρ^{AB_1B_2\ldots B_k}$ with marginals $ρ^{AB_i}=ρ^{AB}, \forall i$. The $k$-symmetric extension is called bosonic if $ρ^{AB_1B_2\ldots B_k}$ is supported on the symmetric subspace of $B_1B_2\ldots B_k$. Understanding the structure of symmetric/bosonic extension has various applications in the theory of…
▽ More
A bipartite state $ρ^{AB}$ has a $k$-symmetric extension if there exists a $k+1$-partite state $ρ^{AB_1B_2\ldots B_k}$ with marginals $ρ^{AB_i}=ρ^{AB}, \forall i$. The $k$-symmetric extension is called bosonic if $ρ^{AB_1B_2\ldots B_k}$ is supported on the symmetric subspace of $B_1B_2\ldots B_k$. Understanding the structure of symmetric/bosonic extension has various applications in the theory of quantum entanglement, quantum key distribution and the quantum marginal problem. In particular, bosonic extension gives a tighter bound for the quantum marginal problem based on seperability. In general, it is known that a $ρ^{AB}$ admitting symmetric extension may not have bosonic extension. In this work, we show that when the dimension of the subsystem $B$ is $2$ (i.e. a qubit), $ρ^{AB}$ admits a $k$-symmetric extension if and only if it has a $k$-bosonic extension. Our result has an immediate application to the quantum marginal problem and indicates a special structure for qubit systems based on group representation theory.
△ Less
Submitted 14 September, 2018;
originally announced September 2018.
-
Random Invariant Tensors
Authors:
Youning Li,
Muxin Han,
Dong Ruan,
Bei Zeng
Abstract:
Invariant tensors are states in the (local) SU(2) tensor product representation but invariant under global SU(2) action. They are of importance in the study of loop quantum gravity. A random tensor is an ensemble of tensor states. An average over the ensemble is carried out when computing any physical quantities. The random tensor exhibits a phenomenon of `concentration of measure', saying that fo…
▽ More
Invariant tensors are states in the (local) SU(2) tensor product representation but invariant under global SU(2) action. They are of importance in the study of loop quantum gravity. A random tensor is an ensemble of tensor states. An average over the ensemble is carried out when computing any physical quantities. The random tensor exhibits a phenomenon of `concentration of measure', saying that for any bipartition, the expected value of entanglement entropy of its reduced density matrix is asymptotically the maximal possible as the local dimension goes to infinity. This is also true even when the average is over the invariant subspace instead of the whole space for $4-$valent tensors, although its entropy deficit is divergent. One might expect that for $n\geq 5$, $n-$valent random invariant tensor would behavior similarly. However, we show that, the expected entropy deficit of reduced density matrix of such $n-$valent random invariant tensor from maximum, is not divergent but a finite number. Under some special situation, the number could be even smaller than half a bit, which is the deficit of random pure state over the whole Hilbert space from maximum.
△ Less
Submitted 25 September, 2017;
originally announced September 2017.
-
Local density matrices of many-body states in the constant weight subspaces
Authors:
Jianxin Chen,
Muxin Han,
Youning Li,
Bei Zeng,
Jie Zhou
Abstract:
Let $V=\bigotimes_{k=1}^{N} V_{k}$ be the $N$ spin-$j$ Hilbert space with $d=2j+1$-dimensional single particle space. We fix an orthonormal basis $\{|m_i\rangle\}$ for each $V_{k}$, with weight $m_i\in \{-j,\ldots j\}$. Let $V_{(w)}$ be the subspace of $V$ with a constant weight $w$, with an orthonormal basis $\{|m_1,\ldots,m_N\rangle\}$ subject to $\sum_k m_k=w$. We show that the combinatorial pr…
▽ More
Let $V=\bigotimes_{k=1}^{N} V_{k}$ be the $N$ spin-$j$ Hilbert space with $d=2j+1$-dimensional single particle space. We fix an orthonormal basis $\{|m_i\rangle\}$ for each $V_{k}$, with weight $m_i\in \{-j,\ldots j\}$. Let $V_{(w)}$ be the subspace of $V$ with a constant weight $w$, with an orthonormal basis $\{|m_1,\ldots,m_N\rangle\}$ subject to $\sum_k m_k=w$. We show that the combinatorial properties of the constant weight condition imposes strong constraints on the reduced density matrices for any vector $|ψ\rangle$ in the constant weight subspace, which limits the possible entanglement structures of $|ψ\rangle$. Our results find applications in the overlapping quantum marginal problems, quantum error-correcting codes, and the spin-network structures in quantum gravity.
△ Less
Submitted 2 December, 2018; v1 submitted 27 April, 2017;
originally announced April 2017.
-
Invariant Perfect Tensors
Authors:
Youning Li,
Muxin Han,
Markus Grassl,
Bei Zeng
Abstract:
Invariant tensors are states in the SU(2) tensor product representation that are invariant under the SU(2) action. They play an important role in the study of loop quantum gravity. On the other hand, perfect tensors are highly entangled many-body quantum states with local density matrices maximally mixed. Recently, the notion of perfect tensors recently has attracted a lot of attention in the fiel…
▽ More
Invariant tensors are states in the SU(2) tensor product representation that are invariant under the SU(2) action. They play an important role in the study of loop quantum gravity. On the other hand, perfect tensors are highly entangled many-body quantum states with local density matrices maximally mixed. Recently, the notion of perfect tensors recently has attracted a lot of attention in the fields of quantum information theory, condensed matter theory, and quantum gravity. In this work, we introduce the concept of an invariant perfect tensor (IPT), which is a $n$-valent tensor that is both invariant and perfect. We discuss the existence and construction of IPT. For bivalent tensors, the invariant perfect tensor is the unique singlet state for each local dimension. The trivalent invariant perfect tensor also exists and is uniquely given by Wigner's $3j$ symbol. However, we show that, surprisingly, there does not exist four-valent invariant perfect tensors for any dimension. On the contrary, when the dimension is large, almost all invariant tensors are perfect asymptotically, which is a consequence of the phenomenon of concentration of measure for multipartite quantum states.
△ Less
Submitted 14 December, 2016;
originally announced December 2016.
-
Generalized Graph States Based on Hadamard Matrices
Authors:
Shawn X Cui,
Nengkun Yu,
Bei Zeng
Abstract:
Graph states are widely used in quantum information theory, including entanglement theory, quantum error correction, and one-way quantum computing. Graph states have a nice structure related to a certain graph, which is given by either a stabilizer group or an encoding circuit, both can be directly given by the graph. To generalize graph states, whose stabilizer groups are abelian subgroups of the…
▽ More
Graph states are widely used in quantum information theory, including entanglement theory, quantum error correction, and one-way quantum computing. Graph states have a nice structure related to a certain graph, which is given by either a stabilizer group or an encoding circuit, both can be directly given by the graph. To generalize graph states, whose stabilizer groups are abelian subgroups of the Pauli group, one approach taken is to study non-abelian stabilizers. In this work, we propose to generalize graph states based on the encoding circuit, which is completely determined by the graph and a Hadamard matrix. We study the entanglement structures of these generalized graph states, and show that they are all maximally mixed locally. We also explore the relationship between the equivalence of Hadamard matrices and local equivalence of the corresponding generalized graph states. This leads to a natural generalization of the Pauli $(X,Z)$ pairs, which characterizes the local symmetries of these generalized graph states. Our approach is also naturally generalized to construct graph quantum codes which are beyond stabilizer codes.
△ Less
Submitted 25 February, 2015;
originally announced February 2015.
-
Four-qubit pure states as fermionic states
Authors:
Lin Chen,
Dragomir Z. Djokovic,
Markus Grassl,
Bei Zeng
Abstract:
The embedding of the $n$-qubit space into the $n$-fermion space with $2n$ modes is a widely used method in studying various aspects of these systems. This simple mapping raises a crucial question: does the embedding preserve the entanglement structure? It is known that the answer is affirmative for $n=2$ and $n=3$. That is, under either local unitary (LU) operations or with respect to stochastic l…
▽ More
The embedding of the $n$-qubit space into the $n$-fermion space with $2n$ modes is a widely used method in studying various aspects of these systems. This simple mapping raises a crucial question: does the embedding preserve the entanglement structure? It is known that the answer is affirmative for $n=2$ and $n=3$. That is, under either local unitary (LU) operations or with respect to stochastic local operations and classical communication (SLOCC), there is a one-to-one correspondence between the 2- (or 3)-qubit orbits and the 2- (or 3)-fermion orbits with 4 (or 6) modes. However these results do not generalize as the mapping from the $n$-qubit orbits to the $n$-fermion orbits with $2n$ modes is no longer surjective for $n>3$. Here we consider the case of $n=4$. We show that surprisingly, the orbit mapping from qubits to fermions remains injective under SLOCC, and a similar result holds under LU for generic orbits. As a byproduct, we obtain a complete answer to the problem of SLOCC equivalence of pure 4-qubit states.
△ Less
Submitted 3 September, 2013;
originally announced September 2013.
-
Universal Subspaces for Local Unitary Groups of Fermionic Systems
Authors:
Lin Chen,
Jianxin Chen,
Dragomir Z. Djokovic,
Bei Zeng
Abstract:
Let $\mathcal{V}=\wedge^N V$ be the $N$-fermion Hilbert space with $M$-dimensional single particle space $V$ and $2N\le M$. We refer to the unitary group $G$ of $V$ as the local unitary (LU) group. We fix an orthonormal (o.n.) basis $\ket{v_1},...,\ket{v_M}$ of $V$. Then the Slater determinants $e_{i_1,...,i_N}:= \ket{v_{i_1}\we v_{i_2}\we...\we v_{i_N}}$ with $i_1<...<i_N$ form an o.n. basis of…
▽ More
Let $\mathcal{V}=\wedge^N V$ be the $N$-fermion Hilbert space with $M$-dimensional single particle space $V$ and $2N\le M$. We refer to the unitary group $G$ of $V$ as the local unitary (LU) group. We fix an orthonormal (o.n.) basis $\ket{v_1},...,\ket{v_M}$ of $V$. Then the Slater determinants $e_{i_1,...,i_N}:= \ket{v_{i_1}\we v_{i_2}\we...\we v_{i_N}}$ with $i_1<...<i_N$ form an o.n. basis of $\cV$. Let $\cS\subseteq\cV$ be the subspace spanned by all $e_{i_1,...,i_N}$ such that the set $\{i_1,...,i_N\}$ contains no pair $\{2k-1,2k\}$, $k$ an integer. We say that the $\ketψ\in\cS$ are single occupancy states (with respect to the basis $\ket{v_1},...,\ket{v_M}$). We prove that for N=3 the subspace $\cS$ is universal, i.e., each $G$-orbit in $\cV$ meets $\cS$, and that this is false for N>3. If $M$ is even, the well known BCS states are not LU-equivalent to any single occupancy state. Our main result is that for N=3 and $M$ even there is a universal subspace $\cW\subseteq\cS$ spanned by $M(M-1)(M-5)/6$ states $e_{i_1,...,i_N}$. Moreover the number $M(M-1)(M-5)/6$ is minimal.
△ Less
Submitted 2 March, 2013; v1 submitted 15 January, 2013;
originally announced January 2013.
