Source author record

David Pérez-García

David Pérez-García appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

quant-ph cond-mat.str-el math-ph math.MP cond-mat.mes-hall hep-th

Catalog footprint

What is connected

13works

6topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Geometry of Banach spaces: a new route towards Position Based Cryptography

In this work we initiate the study of Position Based Quantum Cryptography (PBQC) from the perspective of geometric functional analysis and its connections with quantum games. The main question we are interested in asks for the optimal amount of entanglement that a coalition of attackers have to share in order to compromise the security of any PBQC protocol. Known upper bounds for that quantity are exponential in the size of the quantum systems manipulated in the honest implementation of the protocol. However, known lower bounds are only linear. In order to deepen the understanding of this question, here we propose a Position Verification (PV) protocol and find lower bounds on the resources needed to break it. The main idea behind the proof of these bounds is the understanding of cheating strategies as vector valued assignments on the Boolean hypercube. Then, the bounds follow from the understanding of some geometric properties of particular Banach spaces, their type constants. Under some regularity assumptions on the former assignment, these bounds lead to exponential lower bounds on the quantum resources employed, clarifying the question in this restricted case. Known attacks indeed satisfy the assumption we make, although we do not know how universal this feature is. Furthermore, we show that the understanding of the type properties of some more involved Banach spaces would allow to drop out the assumptions and lead to unconditional lower bounds on the resources used to attack our protocol. Unfortunately, we were not able to estimate the relevant type constant. Despite that, we conjecture an upper bound for this quantity and show some evidence supporting it. A positive solution of the conjecture would lead to stronger security guarantees for the proposed PV protocol providing a better understanding of the question asked above.

preprint2022arXiv

Matrix product operator algebras I: representations of weak Hopf algebras and projected entangled pair states

Matrix Product Operators (MPOs) are tensor networks representing operators acting on 1D systems. They model a wide variety of situations, including communication channels with memory effects, quantum cellular automata, mixed states in 1D quantum systems, or holographic boundary models associated to 2D quantum systems. A scenario where MPOs have proven particularly useful is to represent algebras of non-trivial symmetries. Concretely, the boundary of both symmetry protected and topologically ordered phases in 2D quantum systems exhibit symmetries in the form of MPOs. In this paper, we develop a theory of MPOs as representations of algebraic structures. We establish a dictionary between algebra and MPO properties which allows to transfer results between both setups, covering the cases of pre-bialgebras, weak bialgebras, and weak Hopf algebras. We define the notion of pulling-through algebras, which abstracts the minimal requirements needed to define topologically ordered 2D tensor networks from MPO algebras. We show, as one of our main results, that any semisimple pivotal weak Hopf algebra is a pulling-trough algebra. We demonstrate the power of this framework by showing that they can be used to construct Kitaev's quantum double models for Hopf algebras solely from an MPO representation of the Hopf algebra, in the exact same way as MPO symmetries obtained from fusion categories can be used to construct Levin-Wen string-net models, and to explain all their topological features; it thus allows to describe both Kitaev and string-net models on the same formal footing.

preprint2020arXiv

Locality estimes for complex time evolution in 1D

It is a generalized belief that there are no thermal phase transitions in short range 1D quantum systems. However, the only known case for which this is rigorously proven is for the particular case of finite range translational invariant interactions. The proof was obtained by Araki in his seminal paper of 1969 as a consequence of pioneering locality estimates for the time-evolution operator that allowed him to prove its analiticity on the whole complex plane, when applied to a local observable. However, as for now there is no mathematical proof of the abscence of 1D thermal phase transitions if one allows exponential tails in the interactions. In this work we extend Araki's result to include exponential (or faster) tails. Our main result is the analyticity of the time-evolution operator applied on a local observable on a suitable strip around the real line. As a consequence we obtain that thermal states in 1D exhibit exponential decay of correlations above a threshold temperature that decays to zero with the exponent of the interaction decay, recovering Araki's result as a particular case. Our result however still leaves open the possibility of 1D thermal short range phase transitions. We conclude with an application of our result to the spectral gap problem for Projected Entangled Pair States (PEPS) on 2D lattices, via the holographic duality due to Cirac et al.

preprint2020arXiv

Mathematical open problems in Projected Entangled Pair States

Projected Entangled Pair States (PEPS) are used in practice as an efficient parametrization of the set of ground states of quantum many body systems. The aim of this paper is to present, for a broad mathematical audience, some mathematical questions about PEPS.

preprint2015arXiv

Chern-Simons theory encoded on a spin chain

We construct a 1d spin chain Hamiltonian with generic interactions and prove that the thermal correlation functions of the model admit an explicit random matrix representation. As an application of the result, we show how the observables of $U(N)$ Chern-Simons theory on $S^{3}$ can be reproduced with the thermal correlation functions of the 1d spin chain, which is of the XX type, with a suitable choice of exponentially decaying interactions between infinitely many neighbours. We show that for this model, the correlation functions of the spin chain at a finite temperature $β=1$ give the Chern-Simons partition function, quantum dimensions and the full topological $S$-matrix.

preprint2015arXiv

Rapid mixing and stability of quantum dissipative systems

The physics of many materials is modeled by quantum many-body systems with local interactions. If the model of the system is sensitive to noise from the environment, or small perturbations to the original interactions, it will not properly model the robustness of the real physical system it aims to describe, or be useful when engineering novel systems for quantum information processing. We show that local observables and correlation functions of local Liouvillians are stable to local perturbations if the dynamics is rapidly mixing and has a unique fixed point. No other condition is required.

preprint2014arXiv

Frustration free gapless Hamiltonians for Matrix Product States

For every Matrix Product State (MPS) one can always construct a so-called parent Hamiltonian. This is a local, frustration free, Hamiltonian which has the MPS as ground state and is gapped. Whenever that parent Hamiltonian has a degenerate ground state (the so-called non-injective case), we construct another 'uncle' Hamiltonian which is local and frustration free but gapless, and its spectrum is $\R^+$. The construction is obtained by linearly perturbing the matrices building up the state in a random direction, and then taking the limit where the perturbation goes to zero. For MPS where the parent Hamiltonian has a unique ground state (the so-called injective case) we also build such uncle Hamiltonian with the same properties in the thermodynamic limit.

preprint2014arXiv

The Heisenberg XX spin chain and low-energy QCD

By using random matrix models we uncover a connection between the low energy sector of four dimensional QCD at finite volume and the Heisenberg XX model in a 1d spin chain. This connection allows to relate crucial properties of QCD with physically meaningful properties of the spin chain, establishing a dictionary between both worlds. We predict for the spin chain a third-order phase transition and a Tracy-Widom law in the transition region. We postulate that this dictionary goes beyond the particular example analyzed here and can be applied to other QFT and spin chain models. We finally comment on possible numerical implications of the connection as well as on possible experimental implementations.

preprint2013arXiv

Purifications of multipartite states: limitations and constructive methods

We analyze the description of quantum many-body mixed states using matrix product states and operators. We consider two such descriptions: (i) as a matrix product density operator of bond dimension D, and (ii) as a purification that is written as a matrix product state of bond dimension D'. We show that these descriptions are inequivalent in the sense that D' cannot be upper bounded by D only. Then we provide two constructive methods to obtain (ii) out of (i). The sum of squares (sos) polynomial method scales exponentially in the number of different eigenvalues, and its approximate version is formulated as a Semidefinite Program, which gives efficient approximate purifications whose D' only depends on D. The eigenbasis method scales quadratically in the number of eigenvalues, and its approximate version is very efficient for rapidly decaying distributions of eigenvalues. Our results imply that a description of mixed states which is both efficient and locally positive semidefinite does not exist, but that good approximations do.

preprint2012arXiv

Topological and Entanglement Properties of Resonating Valence Bond wavefunctions

We examine in details the connections between topological and entanglement properties of short-range resonating valence bond (RVB) wave functions using Projected Entangled Pair States (PEPS) on kagome and square lattices on (quasi-)infinite cylinders with generalized boundary conditions (and perimeters with up to 20 lattice spacings). Making use of disconnected topological sectors in the space of dimer lattice coverings, we explicitly derive (orthogonal) "minimally entangled" PEPS RVB states. For the kagome lattice, we obtain, using the quantum Heisenberg antiferromagnet as a reference model, the finite size scaling of the energy separations between these states. In particular, we extract two separate (vanishing) energy scales corresponding (i) to insert a vison line between the two ends of the cylinder and (ii) to pull out and freeze a spin at either end. We also investigate the relations between bulk and boundary properties and show that, for a bipartition of the cylinder, the boundary Hamiltonian defined on the edge can be written as a product of a highly non-local projector with an emergent (local) su(2)-invariant one-dimensional (superfluid) t--J Hamiltonian, which arises due to the symmetry properties of the auxiliary spins at the edge. This multiplicative structure, a consequence of the disconnected topological sectors in the space of dimer lattice coverings, is characteristic of the topological nature of the states. For minimally entangled RVB states, it is shown that the entanglement spectrum, which reflects the properties of the edge modes, is a subset (half for kagome RVB) of the spectrum of the local Hamiltonian, providing e.g. a simple argument on the origin of the topological entanglement entropy S0=-ln 2 of Z2 spin liquids. We propose to use these features to probe topological phases in microscopic Hamiltonians and some results are compared to existing DMRG data.

preprint2011arXiv

Gapless Hamiltonians for the toric code using the PEPS formalism

We study Hamiltonians which have Kitaev's toric code as a ground state, and show how to construct a Hamiltonian which shares the ground space of the toric code, but which has gapless excitations with a continuous spectrum in the thermodynamic limit. Our construction is based on the framework of Projected Entangled Pair States (PEPS), and can be applied to a large class of two-dimensional systems to obtain gapless "uncle Hamiltonians".

preprint2010arXiv

Bell inequalities from multilinear contractions

We provide a framework for Bell inequalities which is based on multilinear contractions. The derivation of the inequalities allows for an intuitive geometric depiction and their violation within quantum mechanics can be seen as a direct consequence of non-vanishing commutators. The approach is motivated by generalizing recent work on non-linear inequalities which was based on the moduli of complex numbers, quaternions and octonions. We extend results on Peres conjecture about the validity of Bell inequalities for quantum states with positive partial transposes. Moreover, we show the possibility of obtaining unbounded quantum violations albeit we also prove that quantum mechanics can only violate the derived inequalities if three or more parties are involved.

preprint2009arXiv

Constrained optimization of sequentially generated entangled multiqubit states

We demonstrate how the matrix-product state formalism provides a flexible structure to solve the constrained optimization problem associated with the sequential generation of entangled multiqubit states under experimental restrictions. We consider a realistic scenario in which an ancillary system with a limited number of levels performs restricted sequential interactions with qubits in a row. The proposed method relies on a suitable local optimization procedure, yielding an efficient recipe for the realistic and approximate sequential generation of any entangled multiqubit state. We give paradigmatic examples that may be of interest for theoretical and experimental developments.