Pure Product States Research Articles

Geometry of entanglement and separability in Hilbert subspaces of dimension up to three

We present a complete classification of the geometry of the mutually complementary sets of entangled and separable states in three-dimensional Hilbert subspaces of bipartite and multipartite quantum systems. Our analysis begins by finding the geometric structure of the pure product states in a given three-dimensional Hilbert subspace, which determines all the possible separable and entangled mixed states over the same subspace. In bipartite systems, we characterise the 14 possible qualitatively different geometric shapes for the set of separable states in any three-dimensional Hilbert subspace (5 classes which also appear in two-dimensional subspaces and were found and analysed by Boyer et al. (Phys Rev A 95:032308, 2017. https://doi.org/10.1103/PhysRevA.95.032308), and 9 novel classes which appear only in three-dimensional subspaces), describe their geometries, and provide figures illustrating them. We also generalise these results to characterise the sets of fully separable states (and hence the complementary sets of somewhat entangled states) in three-dimensional subspaces of multipartite systems. Our results show which geometrical forms quantum entanglement can and cannot take in low-dimensional subspaces.

Schrödinger as a Quantum Programmer: Estimating Entanglement via Steering

Quantifying entanglement is an important task by which the resourcefulness of a quantum state can be measured. Here, we develop a quantum algorithm that tests for and quantifies the separability of a general bipartite state by using the quantum steering effect, the latter initially discovered by Schrödinger. Our separability test consists of a distributed quantum computation involving two parties: a computationally limited client, who prepares a purification of the state of interest, and a computationally unbounded server, who tries to steer the reduced systems to a probabilistic ensemble of pure product states. To design a practical algorithm, we replace the role of the server with a combination of parameterized unitary circuits and classical optimization techniques to perform the necessary computation. The result is a variational quantum steering algorithm (VQSA), a modified separability test that is implementable on quantum computers that are available today. We then simulate our VQSA on noisy quantum simulators and find favorable convergence properties on the examples tested. We also develop semidefinite programs, executable on classical computers, that benchmark the results obtained from our VQSA. Thus, our findings provide a meaningful connection between steering, entanglement, quantum algorithms, and quantum computational complexity theory. They also demonstrate the value of a parameterized mid-circuit measurement in a VQSA.

Thermal pure matrix product state in two dimensions: Tracking thermal equilibrium from paramagnet down to the Kitaev honeycomb spin liquid state

We present the first successful application of the matrix product state (MPS) representing a thermal quantum pure state (TPQ) in equilibrium in two spatial dimensions over almost the entire temperature range. We use the Kitaev honeycomb model as a prominent example hosting a quantum spin liquid (QSL) ground state to target the two specific-heat peaks previously solved nearly exactly using the free Majorana fermionic description. Starting from the high-temperature random state, our TPQ-MPS framework on a cylinder precisely reproduces these peaks, showing that the quantum many-body description based on spins can still capture the emergent itinerant Majorana fermions in a {\mathbb Z}_2ℤ2 gauge field. The truncation process efficiently discards the high-energy states, eventually reaching the long-range entangled topological state approaching the exact ground state for a given finite size cluster. An advantage of TPQ-MPS over exact diagonalization or purification-based methods is its lowered numerical cost coming from a reduced effective Hilbert space even at finite temperature.

Thermal pure quantum matrix product states: a simple numerical protocol for finite temperature

We present several features of a thermal pure quantum matrix product state (TPQ-MPS). TPQ-MPS can simulate finite temperature quantum many-body systems with a numerical cost comparable to the matrix product algorithm for the ground state in one-dimensional systems. Starting from a random matrix product state with auxiliary sites attached to the edges of the system, we successively operate the Hamiltonian with a shift-constant and obtain a series of TPQ-MPS that represents the microcanonical pure state at the highest temperature to the one at the lowest available temperature. How the parameters of the TPQ-MPS protocol influence the effective bond dimension χ of the matrix and the temperature distribution of these microcanonical states is examined.

Quantifying multipartite quantum entanglement in a semi-device-independent manner

We propose two semi-device-independent approaches that are able to quantify unknown multipartite quantum entanglement experimentally, where the only information that has to be known beforehand is quantum dimension, and the concept that plays a key role is nondegenerate Bell inequalities. Specifically, using the nondegeneracy of multipartite Bell inequalities, we obtain useful information on the purity of target quantum state. Combined with an estimate of the maximal overlap between the target state and pure product states, and a continuous property of the geometric measure of entanglement, we shall prove the information on purity allows us to give a lower bound for this entanglement measure. In addition, we show that a different combination of the above results also converts to a lower bound for the relative entropy of entanglement. As a demonstration, we apply our approach on 5-partite qubit systems with the Mermin-Ardehali-Belinskii-Klyshko (MABK) inequality, and show that useful lower bounds for the geometric measure of entanglement can be obtained if the Bell expression value is larger than 3.60, and those for the relative entropy of entanglement can be given if the Bell expression value is larger than 3.80, where the Tsirelson bound is 4.

Process Tomography in General Physical Theories

Process tomography, the experimental characterization of physical processes, is a central task in science and engineering. Here, we investigate the axiomatic requirements that guarantee the in-principle feasibility of process tomography in general physical theories. Specifically, we explore the requirement that process tomography should be achievable with a finite number of auxiliary systems and with a finite number of input states. We show that this requirement is satisfied in every theory equipped with universal extensions, that is, correlated states from which all other correlations can be generated locally with non-zero probability. We show that universal extensions are guaranteed to exist in two cases: (1) theories permitting conclusive state teleportation, and (2) theories satisfying three properties of Causality, Pure Product States, and Purification. In case (2), the existence of universal extensions follows from a symmetry property of Purification, whereby all pure bipartite states with the same marginal on one system are locally interconvertible. Crucially, our results hold even in theories that do not satisfy Local Tomography, the property that the state of any composite system can be identified from the correlations of local measurements. Summarizing, the existence of universal extensions, without any additional requirement of Local Tomography, is a sufficient guarantee for the characterizability of physical processes using a finite number of auxiliary systems and with a finite number of input systems.

Entanglement distribution in the quantum symmetric simple exclusion process.

We study the probability distribution of entanglement in the quantum symmetric simple exclusion process, a model of fermions hopping with random Brownian amplitudes between neighboring sites. We consider a protocol where the system is initialized in a pure product state of M particles, and we focus on the late-time distribution of Rényi-q entropies for a subsystem of size ℓ. By means of a Coulomb gas approach from random matrix theory, we compute analytically the large-deviation function of the entropy in the thermodynamic limit. For q>1, we show that, depending on the value of the ratio ℓ/M, the entropy distribution displays either two or three distinct regimes, ranging from low to high entanglement. These are connected by points where the probability density features singularities in its third derivative, which can be understood in terms of a transition in the corresponding charge density of the Coulomb gas. Our analytic results are supported by numerical Monte Carlo simulations.

Comment on “Separability of completely symmetric states in a multipartite system”

In their interesting paper [Phys. Rev. A 99, 032312 (2019)], Chen et al. consider the completely symmetric (CS) states, which are invariant under any index permutation. They proved that the CS states are separable if and only if they are a convex combination of real symmetric pure product states in Theorem 14, and claimed that any CS state in a two-qutrit system is separable in Theorem 20. We point out that their proof of Theorem 20 is flawed because of invalid assumptions. Furthermore, we present a sufficient and necessary condition for the separability of the CS states in two-qutrit systems.

Reducing the detection of genuine entanglement of n qubits to two qubits

We propose a criterion for the detection of genuine entanglement of pure multiqubit states. To this aim, we define an operator called the losing one qubit operator, which is different from the reduced density operator. The states obtained from a multiqubit state by applying the losing one qubit operator are referred to as its projected states. We show that all of the projected states of a pure product n-qubit state are pure product states provided that it cannot be written as a product of a single qubit state and a genuinely entangled (\(n-1\))-qubit state. We also show that a pure n-qubit state is genuinely entangled provided that the state has at least two genuinely entangled (\(n-1\))-qubit projected states. By repeating the losing process, we reduce the detection of entanglement of pure n-qubit states to the one of pure two-qubit states. Also we write a LISP program for the reduction process.

Thermal pure quantum matrix product states recovering a volume law entanglement

We propose a way to construct a thermal pure quantum matrix product state (TPQ-MPS) that can simulate finite temperature quantum many-body systems with a minimal numerical cost comparable to the matrix product algorithm for the ground state. The MPS was originally designed for the wave function with area-law entanglement. However, by attaching the auxiliary sites to the edges of the random matrix product state, we find that the degree of entanglement is automatically tuned so as to recover the volume law of the entanglement entropy that characterizes the TPQ state. The finite temperature physical quantities of the transverse Ising and the spin-1/2 Heisenberg chains evaluated by a TPQ-MPS show excellent agreement even for bond dimension $\sim 10$-$20$ with those of the exact results.

Gaussian state entanglement witnessing through lossy compression

We propose a method to witness entanglement between two continuous-variable systems in a Gaussian state. Its key ingredient is a local lossy state transfer from the original spatially separated systems onto two spatially separated qubits. The qubits are initially in a pure product state, therefore by detecting entanglement between the qubits we witness entanglement between the two original systems. This method greatly simplifies entanglement witnessing in complex systems.

Maps preserving transition probability from pure product states to pure states

ABSTRACT Let n>1 be a positive integer, {H 1, …, H n } be a finite collection of complex Hilbert spaces with , and P 1(H k ) be the set of all rank-1 self-adjoint projections on H k , k = 1, …, n. Set We characterize the maps ϕ from to preserving transition probability, i.e. A particular case corresponding to n = 1 is well known as (non-surjective version) Wigner's theorem. Our result may be considered as a generalization of Wigner's theorem.

Continuous-variable gate teleportation and bosonic-code error correction

We examine continuous-variable gate teleportation using entangled states made from pure product states sent through a beamsplitter. We show that such states are Choi states for a (typically) non-unitary gate, and we derive the associated Kraus operator for teleportation, which can be used to realize non-Gaussian, non-unitary quantum operations on an input state. With this result, we show how gate teleportation is used to perform error correction on bosonic qubits encoded using the Gottesman-Kitaev-Preskill code. This result is presented in the context of deterministically produced macronode cluster states, generated by constant-depth linear optical networks, supplemented with a probabilistic supply of GKP states. The upshot of our technique is that state injection for both gate teleportation and error correction can be achieved without active squeezing operations -- an experimental bottleneck for quantum optical implementations.

Exact dynamics in dual-unitary quantum circuits

We consider the class of dual-unitary quantum circuits in $1+1$ dimensions and introduce a notion of ``solvable'' matrix product states (MPSs), defined by a specific condition which allows us to tackle their time evolution analytically. We provide a classification of the latter, showing that they include certain MPSs of arbitrary bond dimension, and study analytically different aspects of their dynamics. For these initial states, we show that while any subsystem of size $\ell$ reaches infinite temperature after a time $t\propto \ell$, irrespective of the presence of conserved quantities, the light-cone of two-point correlation functions displays qualitatively different features depending on the ergodicity of the quantum circuit, defined by the behavior of infinite-temperature dynamical correlation functions. Furthermore, we study the entanglement spreading from such solvable initial states, providing a closed formula for the time evolution of the entanglement entropy of a connected block. This generalizes recent results obtained in the context of the self-dual kicked Ising model. By comparison, we also consider a family of non-solvable initial mixed states depending on one real parameter $\beta$, which, as $\beta$ is varied from zero to infinity, interpolate between the infinite temperature density matrix and arbitrary initial pure product states. We study analytically their dynamics for small values of $\beta$, and highlight the differences from the case of solvable MPSs.

Efficient Classical Simulation of Clifford Circuits with Nonstabilizer Input States.

We investigate the problem of evaluating the output probabilities of Clifford circuits with nonstabilizer product input states. First, we consider the case when the input state is mixed, and give an efficient classical algorithm to approximate the output probabilities, with respect to the l_{1} norm, of a large fraction of Clifford circuits. The running time of our algorithm decreases as the inputs become more mixed. Second, we consider the case when the input state is a pure nonstabilizer product state, and show that a similar efficient algorithm exists to approximate the output probabilities, when a suitable restriction is placed on the number of qubits measured. This restriction depends on a magic monotone that we call the Pauli rank. We apply our results to give an efficient output probability approximation algorithm for some restricted quantum computation models, such as Clifford circuits with solely magic state inputs, Pauli-based computation, and instantaneous quantum polynomial time circuits. Finally, we discuss the relationship between Pauli rank and stabilizer rank.

Decomposition of completely symmetric states

Symmetry is a fundamental milestone of quantum physics, and the relation between entanglement is one of the central mysteries of quantum mechanics. In this paper, we consider a subclass of symmetric quantum states in the bipartite system, namely the completely symmetric states, which is invariant under the index permutation. We investigate the separability of these states. After studying some examples, we conjecture that the completely symmetric state is separable if and only if it is S-separable, i.e., each term in this decomposition is a symmetric pure product state $${|x,x\rangle }{\langle x,x|}$$ . It was proved to be true when the rank does not exceed $$\max \{4,N+1\}$$ . After studying the properties of these state, we propose a numerical algorithm which is able to detect S-separability. This algorithm is based on the best separable approximation, which furthermore turns out to be applicable to test the separability of quantum states in bosonic system. Besides, we analyse the convergence behaviour of this algorithm. Some numerical examples are tested to show the effectiveness of the algorithm.

Detection of genuine n-qubit entanglement via the proportionality of two vectors

In [Science 340, 1205, 7 June (2013)], via polytopes Michael Walter et al. proposed a sufficient condition detecting the genuinely entangled pure states. In this paper, we indicate that generally, the coefficient vector of a pure product state of $n$ qubits cannot be decomposed into a tensor product of two vectors, and show that a pure state of $n$ qubits is a product state if and only if there exists a permutation of qubits such that under the permutation, its coefficient vector arranged in ascending lexicographical order can be decomposed into a tensor product of two vectors. The contrapositive of this result reads that a pure state of $n$ qubits is genuinely entangled if and only if its coefficient vector cannot be decomposed into a tensor product of two vectors under any permutation of qubits. Further, by dividing a coefficient vector into $2^{i}$ equal-size block vectors, we show that the coefficient vector can be decomposed into a tensor product of two vectors if and only if any two non-zero block vectors of the coefficient vector are proportional. In terms of \textquotedblleft proportionality\textquotedblright , we can rephrase that a pure state of $n$ qubits is genuinely entangled if and only if there are two non-zero block vectors of the coefficient vector which are not proportional under any permutation of qubits. Thus, we avoid decomposing a coefficient vector into a tensor product of two vectors to detect the genuine entanglement. We also present the full decomposition theorem for product states of n qubits.

Separability of completely symmetric states in a multipartite system

Symmetry plays an important role in the field of quantum mechanics. In this paper, we consider a subclass of symmetric quantum states in the multipartite system $N^{\otimes d}$, namely, the completely symmetric states, which are invariant under any index permutation. It was conjectured by L. Qian and D. Chu [arXiv:1810.03125 [quant-ph]] that the completely symmetric states are separable if and only if it is a convex combination of symmetric pure product states. In this paper, we proved that this conjecture is true for both bipartite and multipartite cases. And we proved the completely symmetric state $\rho$ is separable if its rank is at most $5$ or $N+1$. For the states of rank $6$ or $N+2$, they are separable if and only if their range contains a product vector. We apply our results to a few widely useful states in quantum information, such as symmetric states, edge states, extreme states, and nonnegative states. We also study the relation of CS states to Hankel and Toeplitz matrices.

Three-qubit separable states of length ten with unique decompositions

We construct one-parameter families of three-qubit separable states with length ten, which is strictly greater than the whole dimension eight. These states are located on the boundary of the convex set of all separable states, but they are in the interior of the convex set of all states with positive partial transposes. They are also decomposed into the convex sum of ten pure product states in a unique way.

Expanding the black hole interior: partially entangled thermal states in SYK

We introduce a family of partially entangled thermal states in the SYK model that interpolates between the thermo-field double state and a pure (product) state. The states are prepared by a euclidean path integral describing the evolution over two euclidean time segments separated by a local scaling operator mathcal{O} . We argue that the holographic dual of this class of states consists of two black holes with their interior regions connected via a domain wall, described by the worldline of a massive particle. We compute the size of the interior region and the entanglement entropy as a function of the scale dimension of mathcal{O} and the temperature of each black hole. We argue that the one-sided bulk reconstruction can access the interior region of the black hole.