David Pérez-García

Classifying quantum phases using matrix product states and projected entangled pair states

We give a classification of gapped quantum phases of one-dimensional systems in the framework of Matrix Product States (MPS) and their associated parent Hamiltonians, for systems with unique as well as degenerate ground states, and both in the absence and presence of symmetries. We find that without symmetries, all systems are in the same phase, up to accidental ground state degeneracies. If symmetries are imposed, phases without symmetry breaking (i.e., with unique ground states) are classified by the cohomology classes of the symmetry group, this is, the equivalence classes of its projective representations, a result first derived in [X. Chen, Z.-C. Gu, and X.-G. Wen, Phys. Rev. B 83, 035107 (2011); arXiv:1008.3745]. For phases with symmetry breaking (i.e., degenerate ground states), we find that the symmetry consists of two parts, one of which acts by permuting the ground states, while the other acts on individual ground states, and phases are labelled by both the permutation action of the former and the cohomology class of the latter. Using Projected Entangled Pair States (PEPS), we subsequently extend our framework to the classification of twodimensional phases in the neighborhood of a number of important cases, in particular systems with unique ground states, degenerate ground states with a local order parameter, and topological order. We also show that in two dimensions, imposing symmetries does not constrain the phase diagram in the same way it does in one dimension. As a central tool, we introduce the isometric form, a normal form for MPS and PEPS which is a renormalization fixed point. Transforming a state to its isometric form does not change the phase, and thus, we can focus on to the classification of isometric forms.

Criticality, the area Law, and the Computational Power of Projected Entangled Pair States

The projected entangled pair state (PEPS) representation of quantum states on two-dimensional lattices induces an entanglement based hierarchy in state space. We show that the lowest levels of this hierarchy exhibit an enormously rich structure including states with critical and topological properties as well as resonating valence bond states. We prove, in particular, that coherent versions of thermal states of any local 2D classical spin model correspond to such PEPS, which are in turn ground states of local 2D quantum Hamiltonians. This correspondence maps thermal onto quantum fluctuations, and it allows us to analytically construct critical quantum models exhibiting a strict area law scaling of the entanglement entropy in the face of power law decaying correlations. Moreover, it enables us to show that there exist PEPS within the same class as the cluster state, which can serve as computational resources for the solution of NP-hard problems.

Unbounded Violation of Tripartite Bell Inequalities

We prove that there are tripartite quantum states (constructed from random unitaries) that can lead to arbitrarily large violations of Bell inequalities for dichotomic observables. As a consequence these states can withstand an arbitrary amount of white noise before they admit a description within a local hidden variable model. This is in sharp contrast with the bipartite case, where all violations are bounded by Grothendieck’s constant. We will discuss the possibility of determining the Hilbert space dimension from the obtained violation and comment on implications for communication complexity theory. Moreover, we show that the violation obtained from generalized Greenberger-Horne-Zeilinger (GHZ) states is always bounded so that, in contrast to many other contexts, GHZ states do not lead to extremal quantum correlations in this case. In order to derive all these physical consequences, we will have to obtain new mathematical results in the theories of operator spaces and tensor norms. In particular, we will prove the existence of bounded but not completely bounded trilinear forms from commutative C*-algebras. Finally, we will relate the existence of diagonal states leading to unbounded violations with a long-standing open problem in the context of Banach algebras.

PEPS as ground states: Degeneracy and topology

We introduce a framework for characterizing Matrix Product States (MPS) and Projected Entangled Pair States (PEPS) in terms of symmetries. This allows us to understand how PEPS appear as ground states of local Hamiltonians with finitely degenerate ground states and to characterize the ground state subspace. Subsequently, we apply our framework to show how the topological properties of these ground states can be explained solely from the symmetry: We prove that ground states are locally indistinguishable and can be transformed into each other by acting on a restricted region, we explain the origin of the topological entropy, and we discuss how to renormalize these states based on their symmetries. Finally, we show how the anyonic character of excitations can be understood as a consequence of the underlying symmetries.

Undecidability of the spectral gap

The spectral gap—the energy difference between the ground state and first excited state of a system—is central to quantum many-body physics. Many challenging open problems, such as the Haldane conjecture, the question of the existence of gapped topological spin liquid phases, and the Yang–Mills gap conjecture, concern spectral gaps. These and other problems are particular cases of the general spectral gap problem: given the Hamiltonian of a quantum many-body system, is it gapped or gapless? Here we prove that this is an undecidable problem. Specifically, we construct families of quantum spin systems on a two-dimensional lattice with translationally invariant, nearest-neighbour interactions, for which the spectral gap problem is undecidable. This result extends to undecidability of other low-energy properties, such as the existence of algebraically decaying ground-state correlations. The proof combines Hamiltonian complexity techniques with aperiodic tilings, to construct a Hamiltonian whose ground state encodes the evolution of a quantum phase-estimation algorithm followed by a universal Turing machine. The spectral gap depends on the outcome of the corresponding ‘halting problem’. Our result implies that there exists no algorithm to determine whether an arbitrary model is gapped or gapless, and that there exist models for which the presence or absence of a spectral gap is independent of the axioms of mathematics.

Multiple summing operators on Banach spaces

Abstract In this paper, we improve some previous results about multiple p-summing multilinear operators by showing that every multilinear form from L 1 spaces is multiple p-summing for 1⩽p⩽2. The proof is based on the existence of a predual for the Banach space of multiple p-summing multilinear forms. We also show the failure of the inclusion theorem in this class of operators and improve some results of Y. Melendez and A. Tonge about dominated multilinear operators.

Quantum capacities of bosonic channels.

We investigate the capacity of bosonic quantum channels for the transmission of quantum information. We calculate the quantum capacity for a class of Gaussian channels, including channels describing optical fibers with photon losses, by proving that Gaussian encodings are optimal. For arbitrary channels we show that achievable rates can be determined from few measurable parameters by proving that every channel can asymptotically simulate a Gaussian channel which is characterized by second moments of the initial channel. Along the way we provide a complete characterization of degradable Gaussian channels and those arising from teleportation protocols.

Unbounded Violations of Bipartite Bell Inequalities via Operator Space Theory

In this work we show that bipartite quantum states with local Hilbert space dimension n can violate a Bell inequality by a factor of order

String order and symmetries in quantum spin lattices.

{{\rm \Omega} \left(\frac{\sqrt{n}}{\log^2n} \right)}