The study of the entanglement entropy and entanglement spectrum has proven to be very fruitful in identifying topological phases of matter. Typically, one performs numerical studies of finite-size systems. However, there are few rigorous results in this regard. We revisit the problem of determining the rank of the 'particle entanglement spectrum' (PES) of the Laughlin states. We reformulate the problem into a problem concerning the ideal of symmetric polynomials that vanish under the formation of several clusters of particles. We introduce an explicit generating set of this ideal, and we prove that polynomials in this ideal have a total degree that is bounded from below. We discuss the difficulty in proving the same bound on the degree of any of the variables, which is necessary to determine the rank of the PES.
The study of the entanglement entropy and entanglement spectrum has proven to be very fruitful in identifying topological phases of matter. Typically, one performs numerical studies of finite-size systems. However, there are few rigorous results in this regard. We revisit the problem of determining the rank of the 'particle entanglement spectrum' (PES) of the Laughlin states. We reformulate the problem into a problem concerning the ideal of symmetric polynomials that vanish under the formation of several clusters of particles. We introduce an explicit generating set of this ideal, and we prove that polynomials in this ideal have a total degree that is bounded from below. We discuss the difficulty in proving the same bound on the degree of any of the variables, which is necessary to determine the rank of the PES.
We devise a way to calculate the dimensions of symmetry sectors appearing in the particle entanglement spectrum (PES) and real space entanglement spectrum (RSES) of multiparticle systems from their real space wave functions. We first note that these ranks in the entanglement spectra equal the dimensions of spaces of wave functions with a number of particles fixed. This also yields equality of the multiplicities in the PES and the RSES. Our technique allows numerical calculations for much larger systems than were previously feasible. For somewhat smaller systems, we can find approximate entanglement energies as well as multiplicities. We illustrate the method with results on the RSES and PES multiplicities for integer quantum Hall states, Laughlin and Jain composite fermion states, and for the Moore-Read state at filling ν = 5/2 for system sizes up to 70 particles.
We present analytic and numerical calculations on the bipartite entanglement entropy in fractional quantum Hall states of the fermionic Laughlin sequence. The partitioning of the system is done both by dividing Landau-level orbitals and by grouping the fermions themselves. For the case of orbital partitioning, our results can be related to spatial partitioning, enabling us to extract a topological quantity (the "total quantum dimension") characterizing the Laughlin states. For particle partitioning we prove a very close upper bound for the entanglement entropy of a subset of the particles with the rest, and provide an interpretation in terms of exclusion statistics.
In recent years, the entanglement spectra of quantum states have been identified to be highly valuable for improving our understanding on many problems in quantum physics, such as classification of topological phases, symmetry-breaking phases, and eigenstate thermalization, etc. However, it remains a major challenge to fully characterize the entanglement spectrum of a given quantum state. An outstanding problem is whether the difficulty is intrinsically technical or fundamental? Here using the tools in computational complexity, we perform a rigorous analysis to pin down the counting complexity of entanglement spectra of (i) states generated by polynomial-time quantum circuits, (ii) ground states of gapped 5-local Hamiltonians, and (iii) projected entangled-pair states (PEPS). We prove that despite the state complexity, the problems of counting the number of sizable elements in the entanglement spectra all belong to the class #P-complete, which is as hard as calculating the partition functions of Ising models. Our result suggests that the absence of an efficient method for solving the problem is fundamental in nature, from the point of view of computational complexity theory.
In this work, we explore physical systems which support not only multipartite interparticle entanglement, but also intraparticle entanglement between different degrees of freedom of the constituent particles and entanglement between different degrees of freedom of different particles, i.e., algebraic entanglement. We derive a simple method for calculating the algebraic entanglement entropy between two of the particles' degrees of freedom from collective states of the whole ensemble. Our procedure makes use of underlying symmetries in these systems, in particular permutation symmetry of the particle indices, and shows a connection between the algebraic entanglement entropy in these systems and the irreducible representations of Lie groups which describe the particles' degrees of freedom. Namely, we use the direct sum over irreducible representations to diagonalize the reduced density matrices in a block-by-block manner, then utilize the multiplicity of these irreducible representations to reproduce the results from an exponentially-scaled Hilbert space in only polynomial complexity. We use this to explore a variety of systems where the constituent particles support two degrees of freedom each with two levels, such as atoms with two electronic states and two momentum states. Notably, these systems may be exactly simulated in a polynomial-scaled Hilbert space, yet they support an algebraic entanglement entropy that grows linearly with the particle number which typically requires an exponentially-scaled Hilbert space.
Although the quantum state of a many-body system (e.g, a system consisting of several atoms) is described in terms of its degrees of freedom, i.e., a large number of variables representing a point on the compact space of quantum states, there is usually a small number of parameters that can be actually measured experimentally. We show that the problem of deciding whether the underlying quantum state is entangled is equivalent to the problem of deciding whether the set of measured parameters are the moments of some measure defined over the compact space of states of the many-body system. By considering quantum entanglement of n identical atoms we arrive at the truncated moment problem defined for symmetric measures over a product of n copies of unit balls in R^d. We consider moments up to degree 2 since these are most readily available experimentally. We derive necessary and sufficient conditions for belonging to the moment cone, which can be expressed via a linear matrix inequality (LMI) of size at most 2d+2, which is independent of n. We can convert the LMIs into a set of explicit semialgebraic inequalities giving necessary and sufficient conditions for membership in the moment cone, and show that the two conditions approach each other in the limit of large n. The inequalities are derived via considering the dual cone of nonnegative polynomials, and its sum-of-squares (SOS) relaxation. We show that the SOS relaxation of the dual cone is asymptotically exact, and using symmetry reduction techniques (J. Pure Appl. Algebra 192, no. 1-3, 95, arXiv:1205.3102), it can be written as a small linear matrix inequality of size at most 2d+2, which is independent of n. For the cone of nonnegative polynomials we also prove an analogue of the half degree principle for globally nonnegative symmetric polynomials (J. Math. Anal. Appl. 284, no. 1, 174, J. Pure Appl. Algebra 216, no. 4, 850).
We investigate the entanglement spectra arising from sharp real-space partitions of the system for quantum Hall states. These partitions differ from the previously utilized orbital and particle partitions and reveal complementary aspects of the physics of these topologically ordered systems. We show, by constructing one to one maps to the particle partition entanglement spectra, that the counting of the real-space entanglement spectra levels for different particle number sectors versus their angular momentum along the spatial partition boundary is equal to the counting of states for the system with a number of (unpinned) bulk quasiholes excitations corresponding to the same particle and flux numbers. This proves that, for an ideal model state described by a conformal field theory, the real-space entanglement spectra level counting is bounded by the counting of the conformal field theory edge modes. This bound is known to be saturated in the thermodynamic limit (and at finite sizes for certain states). Numerically analyzing several ideal model states, we find that the real-space entanglement spectra indeed display the edge modes dispersion relations expected from their corresponding conformal field theories. We also numerically find that the real-space entanglement spectra of Coulomb interaction ground states exhibit a series of branches, which we relate to the model state and (above an entanglement gap) to its quasiparticle-quasihole excitations. We also numerically compute the entanglement entropy for the $\ensuremath{\nu}=1$ integer quantum Hall state with real-space partitions and compare against the analytic prediction. We find that the entanglement entropy indeed scales linearly with the boundary length for large enough systems, but that the attainable system sizes are still too small to provide a reliable extraction of the subleading topological entanglement entropy term.