arXiv subjects

D. Perez-Garcia

Publications and source records attributed to D. Perez-Garcia.

At least 19 recordsLinked to original sources

arXiv2025

Matrix Product Density Operators: Renormalization Fixed Points and Boundary Theories

We consider the tensors generating matrix product states and density operators in a spin chain. For pure states, we revise the renormalization procedure introduced by F. Verstraete et al. in 2005 and characterize the tensors corresponding to the fixed points. We relate them to the states possessing zero correlation length, saturation of the area law, as well as to those which generate ground states of local and commuting Hamiltonians. For mixed states, we introduce the concept of renormalization fixed points and characterize the corresponding tensors. We also relate them to concepts like finite correlation length, saturation of the area law, as well as to those which generate Gibbs states of local and commuting Hamiltonians. One of the main result of this work is that the resulting fixed points can be associated to the boundary theories of two-dimensional topological states, through the bulk-boundary correspondence introduced by Cirac et al. in 2011.

quant-ph↗

arXiv2020

Projected Entangled Pair States: Fundamental analytical and numerical limitations

Matrix Product States (MPS) and Projected Entangled Pair States (PEPS) are powerful analytical and numerical tools to assess quantum many-body systems in one and higher dimensions, respectively. While MPS are comprehensively understood, in PEPS fundamental questions, relevant analytically as well as numerically, remain open, such as how to encode symmetries in full generality, or how to stabilize numerical methods using canonical forms. Here, we show that these key problems, as well as a number of related questions, are algorithmically undecidable, that is, they cannot be fully resolved in a systematic way. Our work thereby exposes fundamental limitations to a full and unbiased understanding of quantum many-body systems using PEPS.

quant-ph↗

arXiv2013

Lieb-Robinson bounds for spin-boson lattice models and trapped ions

We derive a Lieb-Robinson bound for the propagation of spin correlations in a model of spins interacting through a bosonic lattice field, which satisfies itself a Lieb-Robinson bound in the absence of spin-boson couplings. We apply these bounds to a system of trapped ions, and find that the propagation of spin correlations, as mediated by the phonons of the ion crystal, can be faster than the regimes currently explored in experiments. We propose a scheme to test the bounds by measuring retarded correlation functions via the crystal fluorescence.

quant-ph↗

arXiv2013

Robustness in Projected Entangled Pair States

We analyze a criterion which guarantees that the ground states of certain many body systems are stable under perturbations. Specifically, we consider PEPS, which are believed to provide an efficient description, based on local tensors, for the low energy physics arising from local interactions. In order to assess stability in the framework of PEPS, one thus needs to understand how physically allowed perturbations of the local tensor affect the properties of the global state. In this paper, we show that a restricted version of the Local Topological Quantum Order (LTQO) condition provides a checkable criterion which allows to assess the stability of local properties of PEPS under physical perturbations. We moreover show that LTQO itself is stable under perturbations which preserve the spectral gap, leading to nontrivial examples of PEPS which possess LTQO and are thus stable under arbitrary perturbations.

cond-mat.str-el↗

arXiv2010

Connes' embedding problem and Tsirelson's problem

We show that Tsirelson's problem concerning the set of quantum correlations and Connes' embedding problem on finite approximations in von Neumann algebras (known to be equivalent to Kirchberg's QWEP conjecture) are essentially equivalent. Specifically, Tsirelson's problem asks whether the set of bipartite quantum correlations generated between tensor product separated systems is the same as the set of correlations between commuting C*-algebras. Connes' embedding problem asks whether any separable II$_1$ factor is a subfactor of the ultrapower of the hyperfinite II$_1$ factor. We show that an affirmative answer to Connes' question implies a positive answer to Tsirelson's. Conversely, a positve answer to a matrix valued version of Tsirelson's problem implies a positive one to Connes' problem.

math-ph↗

arXiv2010

A quantum version of Wielandt's inequality

In this paper, Wielandt's inequality for classical channels is extended to quantum channels. That is, an upper bound to the number of times a channel must be applied, so that it maps any density operator to one with full rank, is found. Using this bound, dichotomy theorems for the zero--error capacity of quantum channels and for the Matrix Product State (MPS) dimension of ground states of frustration-free Hamiltonians are derived. The obtained inequalities also imply new bounds on the required interaction-range of Hamiltonians with unique MPS ground state.

quant-ph↗

arXiv2010

The communication complexity of XOR games via summing operators

The discrepancy method is widely used to find lower bounds for communication complexity of XOR games. It is well known that these bounds can be far from optimal. In this context Disjointness is usually mentioned as a case where the method fails to give good bounds, because the increment of the value of the game is linear (rather than exponential) in the number of communicated bits. We show in this paper the existence of XOR games where the discrepancy method yields bounds as poor as one desires. Indeed, we show the existence of such games with any previously prescribed value. To prove this result we apply the theory of p-summing operators, a central topic in Banach space theory. We show in the paper other applications of this theory to the study of the communication complexity of XOR games.

cs.CC↗

arXiv2009

Operator Space theory: a natural framework for Bell inequalities

In this letter we show that the field of Operator Space Theory provides a general and powerful mathematical framework for arbitrary Bell inequalities, in particular regarding the scaling of their violation within quantum mechanics. We illustrate the power of this connection by showing that bipartite quantum states with local Hilbert space dimension n can violate a Bell inequality by a factor of order $\frac{\sqrt{n}}{\log^2n}$ when observables with n possible outcomes are used. Applications to resistance to noise, Hilbert space dimension estimates and communication complexity are given.

quant-ph↗

arXiv2009

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 $\sqrt{n}$ (up to a logarithmic factor) when observables with n possible outcomes are used. A central tool in the analysis is a close relation between this problem and operator space theory and, in particular, the very recent noncommutative $L_p$ embedding theory. As a consequence of this result, we obtain better Hilbert space dimension witnesses and quantum violations of Bell inequalities with better resistance to noise.

quant-ph↗

arXiv2009

A canonical form for Projected Entangled Pair States and applications

We show that two different tensors defining the same translational invariant injective Projected Entangled Pair State (PEPS) in a square lattice must be the same up to a trivial gauge freedom. This allows us to characterize the existence of any local or spatial symmetry in the state. As an application of these results we prove that a SU(2) invariant PEPS with half-integer spin cannot be injective, which can be seen as a Lieb-Shultz-Mattis theorem in this context. We also give the natural generalization for U(1) symmetry in the spirit of Oshikawa-Yamanaka-Affleck, and show that a PEPS with Wilson loops cannot be injective.

quant-ph↗

arXiv2009

Matrix Product States: Symmetries and Two-Body Hamiltonians

We characterize the conditions under which a translationally invariant matrix product state (MPS) is invariant under local transformations. This allows us to relate the symmetry group of a given state to the symmetry group of a simple tensor. We exploit this result in order to prove and extend a version of the Lieb-Schultz-Mattis theorem, one of the basic results in many-body physics, in the context of MPS. We illustrate the results with an exhaustive search of SU(2)--invariant two-body Hamiltonians which have such MPS as exact ground states or excitations.

cond-mat.str-el↗

arXiv2008

Thermal States of Anyonic Systems

A study of the thermal properties of two-dimensional topological lattice models is presented. This work is relevant to assess the usefulness of these systems as a quantum memory. For our purposes, we use the topological mutual information $I_{\mathrm{topo}}$ as a "topological order parameter". For Abelian models, we show how $I_{\mathrm{topo}}$ depends on the thermal topological charge probability distribution. More generally, we present a conjecture that $I_{\mathrm{topo}}$ can (asymptotically) be written as a Kullback-Leitner distance between this probability distribution and that induced by the quantum dimensions of the model at hand. We also explain why $I_{\mathrm{topo}}$ is more suitable for our purposes than the more familiar entanglement entropy $S_{\mathrm{topo}}$. A scaling law, encoding the interplay of volume and temperature effects, as well as different limit procedures, are derived in detail. A non-Abelian model is next analysed and similar results are found. Finally, we also consider, in the case of a one-plaquette toric code, an environment model giving rise to a simulation of thermal effects in time.

cond-mat.mes-hall↗

arXiv2008

Sequential Implementation of Global Quantum Operations

We study the possibility for a global unitary applied on an arbitrary number of qubits to be decomposed in a sequential unitary procedure, where an ancillary system is allowed to interact only once with each qubit. We prove that sequential unitary decompositions are in general impossible for genuine entangling operations, even with an infinite-dimensional ancilla, being the controlled-NOT gate a paradigmatic example. Nevertheless, we find particular nontrivial operations in quantum information that can be performed in a sequential unitary manner, as is the case of quantum error correction and quantum cloning.

quant-ph↗

arXiv2008

Scaling law for topologically ordered systems at finite temperature

Understanding the behaviour of topologically ordered lattice systems at finite temperature is a way of assessing their potential as fault-tolerant quantum memories. We compute the natural extension of the topological entanglement entropy for T > 0, namely the subleading correction $I_{\textrm{topo}}$ to the area law for mutual information. Its dependence on T can be written, for Abelian Kitaev models, in terms of information-theoretic functions and readily identifiable scaling behaviour, from which the interplay between volume, temperature, and topological order, can be read. These arguments are extended to non-Abelian quantum double models, and numerical results are given for the $D(S_3)$ model, showing qualitative agreement with the Abelian case.

cond-mat.str-el↗

arXiv2008

String order and symmetries in quantum spin lattices

We show that the existence of string order in a given quantum state is intimately related to the presence of a local symmetry by proving that both concepts are equivalent within the framework of finitely correlated states. Once this connection is established, we provide a complete characterization of local symmetries in these states. The results allow to understand in a straightforward way many of the properties of string order parameters, like their robustness/fragility under perturbations and their typical disappearance beyond strictly one-dimensional lattices. We propose and discuss an alternative definition, ideally suited for detecting phase transitions, and generalizations to two and more spatial dimensions.

cond-mat.str-el↗

arXiv2007

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 GHZ states is always bounded so that, in contrast to many other contexts, GHZ states do in this case not lead to extremal quantum correlations. The results are based on tools from the theories of operator spaces and tensor norms which we exploit to prove the existence of bounded but not completely bounded trilinear forms from commutative C*-algebras.

quant-ph↗

arXiv2007

Measurement-based quantum computation beyond the one-way model

We introduce novel schemes for quantum computing based on local measurements on entangled resource states. This work elaborates on the framework established in [Phys. Rev. Lett. 98, 220503 (2007), quant-ph/0609149]. Our method makes use of tools from many-body physics - matrix product states, finitely correlated states or projected entangled pairs states - to show how measurements on entangled states can be viewed as processing quantum information. This work hence constitutes an instance where a quantum information problem - how to realize quantum computation - was approached using tools from many-body theory and not vice versa. We give a more detailed description of the setting, and present a large number of new examples. We find novel computational schemes, which differ from the original one-way computer for example in the way the randomness of measurement outcomes is handled. Also, schemes are presented where the logical qubits are no longer strictly localized on the resource state. Notably, we find a great flexibility in the properties of the universal resource states: They may for example exhibit non-vanishing long-range correlation functions or be locally arbitrarily close to a pure state. We discuss variants of Kitaev's toric code states as universal resources, and contrast this with situations where they can be efficiently classically simulated. This framework opens up a way of thinking of tailoring resource states to specific physical systems, such as cold atoms in optical lattices or linear optical systems.

quant-ph↗

arXiv2007

Matrix Product State Representations

This work gives a detailed investigation of matrix product state (MPS) representations for pure multipartite quantum states. We determine the freedom in representations with and without translation symmetry, derive respective canonical forms and provide efficient methods for obtaining them. Results on frustration free Hamiltonians and the generation of MPS are extended, and the use of the MPS-representation for classical simulations of quantum systems is discussed.

quant-ph↗