-
Fermionic topological quantum states as tensor networks
Authors:
C. Wille,
O. Buerschaper,
J. Eisert
Abstract:
Tensor network states, and in particular projected entangled pair states, play an important role in the description of strongly correlated quantum lattice systems. They do not only serve as variational states in numerical simulation methods, but also provide a framework for classifying phases of quantum matter and capture notions of topological order in a stringent and rigorous language. The rapid…
▽ More
Tensor network states, and in particular projected entangled pair states, play an important role in the description of strongly correlated quantum lattice systems. They do not only serve as variational states in numerical simulation methods, but also provide a framework for classifying phases of quantum matter and capture notions of topological order in a stringent and rigorous language. The rapid development in this field for spin models and bosonic systems has not yet been mirrored by an analogous development for fermionic models. In this work, we introduce a framework of tensor networks having a fermionic component capable of capturing notions of topological order. At the heart of the formalism are axioms of fermionic matrix product operator injectivity, stable under concatenation. Building upon that, we formulate a Grassmann number tensor network ansatz for the ground state of fermionic twisted quantum double models. A specific focus is put on the paradigmatic example of the fermionic toric code. This work shows that the program of describing topologically ordered systems using tensor networks carries over to fermionic models.
△ Less
Submitted 8 September, 2016;
originally announced September 2016.
-
Approximating local observables on projected entangled pair states
Authors:
M. Schwarz,
O. Buerschaper,
J. Eisert
Abstract:
Tensor network states are for good reasons believed to capture ground states of gapped local Hamiltonians arising in the condensed matter context, states which are in turn expected to satisfy an entanglement area law. However, the computational hardness of contracting projected entangled pair states in two and higher dimensional systems is often seen as a significant obstacle when devising higher-…
▽ More
Tensor network states are for good reasons believed to capture ground states of gapped local Hamiltonians arising in the condensed matter context, states which are in turn expected to satisfy an entanglement area law. However, the computational hardness of contracting projected entangled pair states in two and higher dimensional systems is often seen as a significant obstacle when devising higher-dimensional variants of the density-matrix renormalisation group method. In this work, we show that for those projected entangled pair states that are expected to provide good approximations of such ground states of local Hamiltonians, one can compute local expectation values in quasi-polynomial time. We therefore provide a complexity-theoretic justification of why state-of-the-art numerical tools work so well in practice. We comment on how the transfer operators of such projected entangled pair states have a gap and discuss notions of local topological quantum order. We finally turn to the computation of local expectation values on quantum computers, providing a meaningful application for a small-scale quantum computer.
△ Less
Submitted 29 August, 2016; v1 submitted 20 June, 2016;
originally announced June 2016.
-
Mixing properties of stochastic quantum Hamiltonians
Authors:
E. Onorati,
O. Buerschaper,
M. Kliesch,
W. Brown,
A. H. Werner,
J. Eisert
Abstract:
Random quantum processes play a central role both in the study of fundamental mixing processes in quantum mechanics related to equilibration, thermalisation and fast scrambling by black holes, as well as in quantum process design and quantum information theory. In this work, we present a framework describing the mixing properties of continuous-time unitary evolutions originating from local Hamilto…
▽ More
Random quantum processes play a central role both in the study of fundamental mixing processes in quantum mechanics related to equilibration, thermalisation and fast scrambling by black holes, as well as in quantum process design and quantum information theory. In this work, we present a framework describing the mixing properties of continuous-time unitary evolutions originating from local Hamiltonians having time-fluctuating terms, reflecting a Brownian motion on the unitary group. The induced stochastic time evolution is shown to converge to a unitary design. As a first main result, we present bounds to the mixing time. By develo** tools in representation theory, we analytically derive an expression for a local k-th moment operator that is entirely independent of k, giving rise to approximate unitary k-designs and quantum tensor product expanders. As a second main result, we introduce tools for proving bounds on the rate of decoupling from an environment with random quantum processes. By tying the mathematical description closely with the more established one of random quantum circuits, we present a unified picture for analysing local random quantum and classes of Markovian dissipative processes, for which we also discuss applications.
△ Less
Submitted 21 February, 2017; v1 submitted 6 June, 2016;
originally announced June 2016.
-
Topological Minimally Entangled States via Geometric Measure
Authors:
Oliver Buerschaper,
Artur Garcia-Saez,
Roman Orus,
Tzu-Chieh Wei
Abstract:
Here we show how the Minimally Entangled States (MES) of a 2d system with topological order can be identified using the geometric measure of entanglement. We show this by minimizing this measure for the doubled semion, doubled Fibonacci and toric code models on a torus with non-trivial topological partitions. Our calculations are done either quasi-exactly for small system sizes, or using the tenso…
▽ More
Here we show how the Minimally Entangled States (MES) of a 2d system with topological order can be identified using the geometric measure of entanglement. We show this by minimizing this measure for the doubled semion, doubled Fibonacci and toric code models on a torus with non-trivial topological partitions. Our calculations are done either quasi-exactly for small system sizes, or using the tensor network approach in [R. Orus, T.-C. Wei, O. Buerschaper, A. Garcia-Saez, arXiv:1406.0585] for large sizes. As a byproduct of our methods, we see that the minimisation of the geometric entanglement can also determine the number of Abelian quasiparticle excitations in a given model. The results in this paper provide a very efficient and accurate way of extracting the full topological information of a 2d quantum lattice model from the multipartite entanglement structure of its ground states.
△ Less
Submitted 19 October, 2014; v1 submitted 2 October, 2014;
originally announced October 2014.
-
Protected gates for topological quantum field theories
Authors:
Michael E. Beverland,
Oliver Buerschaper,
Robert Koenig,
Fernando Pastawski,
John Preskill,
Sumit Sijher
Abstract:
We study restrictions on locality-preserving unitary logical gates for topological quantum codes in two spatial dimensions. A locality-preserving operation is one which maps local operators to local operators --- for example, a constant-depth quantum circuit of geometrically local gates, or evolution for a constant time governed by a geometrically-local bounded-strength Hamiltonian. Locality-prese…
▽ More
We study restrictions on locality-preserving unitary logical gates for topological quantum codes in two spatial dimensions. A locality-preserving operation is one which maps local operators to local operators --- for example, a constant-depth quantum circuit of geometrically local gates, or evolution for a constant time governed by a geometrically-local bounded-strength Hamiltonian. Locality-preserving logical gates of topological codes are intrinsically fault tolerant because spatially localized errors remain localized, and hence sufficiently dilute errors remain correctable. By invoking general properties of two-dimensional topological field theories, we find that the locality-preserving logical gates are severely limited for codes which admit non-abelian anyons; in particular, there are no locality-preserving logical gates on the torus or the sphere with M punctures if the braiding of anyons is computationally universal. Furthermore, for Ising anyons on the M-punctured sphere, locality-preserving gates must be elements of the logical Pauli group. We derive these results by relating logical gates of a topological code to automorphisms of the Verlinde algebra of the corresponding anyon model, and by requiring the logical gates to be compatible with basis changes in the logical Hilbert space arising from local F-moves and the map** class group.
△ Less
Submitted 25 January, 2016; v1 submitted 12 September, 2014;
originally announced September 2014.
-
Double Semion Phase in an Exactly Solvable Quantum Dimer Model on the Kagome Lattice
Authors:
Oliver Buerschaper,
Siddhardh C. Morampudi,
Frank Pollmann
Abstract:
Quantum dimer models typically arise in various low energy theories like those of frustrated antiferromagnets. We introduce a quantum dimer model on the kagome lattice which stabilizes an alternative $\mathbb{Z}_2$ topological order, namely the so-called "double semion" order. For a particular set of parameters, the model is exactly solvable, allowing us to access the ground state as well as the e…
▽ More
Quantum dimer models typically arise in various low energy theories like those of frustrated antiferromagnets. We introduce a quantum dimer model on the kagome lattice which stabilizes an alternative $\mathbb{Z}_2$ topological order, namely the so-called "double semion" order. For a particular set of parameters, the model is exactly solvable, allowing us to access the ground state as well as the excited states. We show that the double semion phase is stable over a wide range of parameters using numerical exact diagonalization. Furthermore, we propose a simple microscopic spin Hamiltonian for which the low-energy physics is described by the derived quantum dimer model.
△ Less
Submitted 31 July, 2014;
originally announced July 2014.
-
Topological transitions from multipartite entanglement with tensor networks: a procedure for sharper and faster characterization
Authors:
Roman Orus,
Tzu-Chieh Wei,
Oliver Buerschaper,
Artur Garcia-Saez
Abstract:
Topological order in a 2d quantum matter can be determined by the topological contribution to the entanglement Rényi entropies. However, when close to a quantum phase transition, its calculation becomes cumbersome. Here we show how topological phase transitions in 2d systems can be much better assessed by multipartite entanglement, as measured by the topological geometric entanglement of blocks. S…
▽ More
Topological order in a 2d quantum matter can be determined by the topological contribution to the entanglement Rényi entropies. However, when close to a quantum phase transition, its calculation becomes cumbersome. Here we show how topological phase transitions in 2d systems can be much better assessed by multipartite entanglement, as measured by the topological geometric entanglement of blocks. Specifically, we present an efficient tensor network algorithm based on Projected Entangled Pair States to compute this quantity for a torus partitioned into cylinders, and then use this method to find sharp evidence of topological phase transitions in 2d systems with a string-tension perturbation. When compared to tensor network methods for Rényi entropies, our approach produces almost perfect accuracies close to criticality and, on top, is orders of magnitude faster. The method can be adapted to deal with any topological state of the system, including minimally entangled ground states. It also allows to extract the critical exponent of the correlation length, and shows that there is no continuous entanglement-loss along renormalization group flows in topological phases.
△ Less
Submitted 21 November, 2014; v1 submitted 3 June, 2014;
originally announced June 2014.
-
A Non-Commuting Stabilizer Formalism
Authors:
Xiaotong Ni,
Oliver Buerschaper,
Maarten Van den Nest
Abstract:
We propose a non-commutative extension of the Pauli stabilizer formalism. The aim is to describe a class of many-body quantum states which is richer than the standard Pauli stabilizer states. In our framework, stabilizer operators are tensor products of single-qubit operators drawn from the group $\langle αI, X,S\rangle$, where $α=e^{iπ/4}$ and $S=\operatorname{diag}(1,i)$. We provide techniques t…
▽ More
We propose a non-commutative extension of the Pauli stabilizer formalism. The aim is to describe a class of many-body quantum states which is richer than the standard Pauli stabilizer states. In our framework, stabilizer operators are tensor products of single-qubit operators drawn from the group $\langle αI, X,S\rangle$, where $α=e^{iπ/4}$ and $S=\operatorname{diag}(1,i)$. We provide techniques to efficiently compute various properties related to bipartite entanglement, expectation values of local observables, preparation by means of quantum circuits, parent Hamiltonians etc. We also highlight significant differences compared to the Pauli stabilizer formalism. In particular, we give examples of states in our formalism which cannot arise in the Pauli stabilizer formalism, such as topological models that support non-Abelian anyons.
△ Less
Submitted 21 April, 2014;
originally announced April 2014.
-
Twisted Injectivity in PEPS and the Classification of Quantum Phases
Authors:
Oliver Buerschaper
Abstract:
We introduce a class of projected entangled pair states (PEPS) which is based on a group symmetry twisted by a 3-cocycle of the group. This twisted symmetry gives rise to a new standard form for PEPS from which we construct a family of local Hamiltonians which are gapped, frustration-free and include fixed points of the renormalization group flow. Moreover, we advance the classification of 2D gapp…
▽ More
We introduce a class of projected entangled pair states (PEPS) which is based on a group symmetry twisted by a 3-cocycle of the group. This twisted symmetry gives rise to a new standard form for PEPS from which we construct a family of local Hamiltonians which are gapped, frustration-free and include fixed points of the renormalization group flow. Moreover, we advance the classification of 2D gapped quantum spin systems by showing how this new standard form for PEPS determines the emergent topological order of these local Hamiltonians. Specifically, we identify their universality class as Dijkgraaf-Witten topological quantum field theory (TQFT).
△ Less
Submitted 29 July, 2013;
originally announced July 2013.
-
Geometric Entanglement in Topologically Ordered States
Authors:
Roman Orus,
Tzu-Chieh Wei,
Oliver Buerschaper,
Maarten Van den Nest
Abstract:
Here we investigate the connection between topological order and the geometric entanglement, as measured by the logarithm of the overlap between a given state and its closest product state of blocks. We do this for a variety of topologically-ordered systems such as the toric code, double semion, color code, and quantum double models. As happens for the entanglement entropy, we find that for suffic…
▽ More
Here we investigate the connection between topological order and the geometric entanglement, as measured by the logarithm of the overlap between a given state and its closest product state of blocks. We do this for a variety of topologically-ordered systems such as the toric code, double semion, color code, and quantum double models. As happens for the entanglement entropy, we find that for sufficiently large block sizes the geometric entanglement is, up to possible sub-leading corrections, the sum of two contributions: a bulk contribution obeying a boundary law times the number of blocks, and a contribution quantifying the underlying pattern of long-range entanglement of the topologically-ordered state. This topological contribution is also present in the case of single-spin blocks in most cases, and constitutes an alternative characterisation of topological order for these quantum states based on a multipartite entanglement measure. In particular, we see that the topological term for the 2D color code is twice as much as the one for the toric code, in accordance with recent renormalization group arguments. Motivated by this, we also derive a general formalism to obtain upper- and lower-bounds to the geometric entanglement of states with a non-Abelian symmetry, and which we use to analyse quantum double models. Furthermore, we also analyse the robustness of the topological contribution using renormalization and perturbation theory arguments, as well as a numerical estimation for small systems. Some of our results rely on the ability to disentangle single sites from the system, which is always possible in our framework. Aditionally, we relate our results to the relative entropy of entanglement in topological systems, and discuss some tensor network numerical approaches that could be used to extract the topological contribution for large systems beyond exactly-solvable models.
△ Less
Submitted 11 December, 2013; v1 submitted 4 April, 2013;
originally announced April 2013.
-
A hierarchy of topological tensor network states
Authors:
Oliver Buerschaper,
Juan Martín Mombelli,
Matthias Christandl,
Miguel Aguado
Abstract:
We present a hierarchy of quantum many-body states among which many examples of topological order can be identified by construction. We define these states in terms of a general, basis-independent framework of tensor networks based on the algebraic setting of finite-dimensional Hopf C*-algebras. At the top of the hierarchy we identify ground states of new topological lattice models extending Kitae…
▽ More
We present a hierarchy of quantum many-body states among which many examples of topological order can be identified by construction. We define these states in terms of a general, basis-independent framework of tensor networks based on the algebraic setting of finite-dimensional Hopf C*-algebras. At the top of the hierarchy we identify ground states of new topological lattice models extending Kitaev's quantum double models [26]. For these states we exhibit the mechanism responsible for their non-zero topological entanglement entropy by constructing a renormalization group flow. Furthermore it is shown that those states of the hierarchy associated with Kitaev's original quantum double models are related to each other by the condensation of topological charges. We conjecture that charge condensation is the physical mechanism underlying the hierarchy in general.
△ Less
Submitted 29 July, 2010;
originally announced July 2010.
-
Electric-magnetic duality of lattice systems with topological order
Authors:
Oliver Buerschaper,
Matthias Christandl,
Liang Kong,
Miguel Aguado
Abstract:
We investigate the duality structure of quantum lattice systems with topological order, a collective order also appearing in fractional quantum Hall systems. We define electromagnetic (EM) duality for all of Kitaev's quantum double models based on discrete gauge theories with Abelian and non-Abelian groups, and identify its natural habitat as a new class of topological models based on Hopf algebra…
▽ More
We investigate the duality structure of quantum lattice systems with topological order, a collective order also appearing in fractional quantum Hall systems. We define electromagnetic (EM) duality for all of Kitaev's quantum double models based on discrete gauge theories with Abelian and non-Abelian groups, and identify its natural habitat as a new class of topological models based on Hopf algebras. We interpret these as extended string-net models, whereupon Levin and Wen's string-nets, which describe all intrinsic topological orders on the lattice with parity and time-reversal invariance, arise as magnetic and electric projections of the extended models. We conjecture that all string-net models can be extended in an analogous way, using more general algebraic and tensor-categorical structures, such that EM duality continues to hold. We also identify this EM duality with an invertible domain wall. Physical applications include topology measurements in the form of pairs of dual tensor networks.
△ Less
Submitted 18 June, 2013; v1 submitted 30 June, 2010;
originally announced June 2010.
-
Simulation of anyons with tensor network algorithms
Authors:
Robert N. C. Pfeifer,
Philippe Corboz,
Oliver Buerschaper,
Miguel Aguado,
Matthias Troyer,
Guifre Vidal
Abstract:
Interacting systems of anyons pose a unique challenge to condensed matter simulations due to their non-trivial exchange statistics. These systems are of great interest as they have the potential for robust universal quantum computation, but numerical tools for studying them are as yet limited. We show how existing tensor network algorithms may be adapted for use with systems of anyons, and demonst…
▽ More
Interacting systems of anyons pose a unique challenge to condensed matter simulations due to their non-trivial exchange statistics. These systems are of great interest as they have the potential for robust universal quantum computation, but numerical tools for studying them are as yet limited. We show how existing tensor network algorithms may be adapted for use with systems of anyons, and demonstrate this process for the 1-D Multi-scale Entanglement Renormalisation Ansatz (MERA). We apply the MERA to infinite chains of interacting Fibonacci anyons, computing their scaling dimensions and local scaling operators. The scaling dimensions obtained are seen to be in agreement with conformal field theory. The techniques developed are applicable to any tensor network algorithm, and the ability to adapt these ansaetze for use on anyonic systems opens the door for numerical simulation of large systems of free and interacting anyons in one and two dimensions.
△ Less
Submitted 30 September, 2010; v1 submitted 17 June, 2010;
originally announced June 2010.
-
Translation invariance, topology, and protection of criticality in chains of interacting anyons
Authors:
Robert N. C. Pfeifer,
Oliver Buerschaper,
Simon Trebst,
Andreas W. W. Ludwig,
Matthias Troyer,
Guifre Vidal
Abstract:
Using finite size scaling arguments, the critical properties of a chain of interacting anyons can be extracted from the low energy spectrum of a finite system. In Phys. Rev. Lett. 98, 160409 (2007), Feiguin et al. showed that an antiferromagnetic (AFM) chain of Fibonacci anyons on a torus is in the same universality class as the tricritical Ising model, and that criticality is protected by a topol…
▽ More
Using finite size scaling arguments, the critical properties of a chain of interacting anyons can be extracted from the low energy spectrum of a finite system. In Phys. Rev. Lett. 98, 160409 (2007), Feiguin et al. showed that an antiferromagnetic (AFM) chain of Fibonacci anyons on a torus is in the same universality class as the tricritical Ising model, and that criticality is protected by a topological symmetry. In the present paper we first review the graphical formalism for the study of anyons on the disc and demonstrate how this formalism may be consistently extended to the study of systems on surfaces of higher genus. We then employ this graphical formalism to study finite rings of interacting anyons on both the disc and the torus, and show that analysis on the disc necessarily yields an energy spectrum which is a subset of that which is obtained on the torus. For a critical Hamiltonian, one may extract from this subset the scaling dimensions of the local scaling operators which respect the topological symmetry of the system. Related considerations are also shown to apply for open chains.
△ Less
Submitted 9 October, 2012; v1 submitted 29 May, 2010;
originally announced May 2010.
-
Map** Kitaev's quantum double lattice models to Levin and Wen's string-net models
Authors:
Oliver Buerschaper,
Miguel Aguado
Abstract:
We exhibit a map** identifying Kitaev's quantum double lattice models explicitly as a subclass of Levin and Wen's string net models via a completion of the local Hilbert spaces with auxiliary degrees of freedom. This identification allows to carry over to these string net models the representation-theoretic classification of the excitations in quantum double models, as well as define them in a…
▽ More
We exhibit a map** identifying Kitaev's quantum double lattice models explicitly as a subclass of Levin and Wen's string net models via a completion of the local Hilbert spaces with auxiliary degrees of freedom. This identification allows to carry over to these string net models the representation-theoretic classification of the excitations in quantum double models, as well as define them in arbitrary lattices, and provides an illustration of the abstract notion of Morita equivalence. The possibility of generalising the map to broader classes of string nets is considered.
△ Less
Submitted 29 October, 2009; v1 submitted 15 July, 2009;
originally announced July 2009.
-
Explicit tensor network representation for the ground states of string-net models
Authors:
O. Buerschaper,
M. Aguado,
G. Vidal
Abstract:
The structure of string-net lattice models, relevant as examples of topological phases, leads to a remarkably simple way of expressing their ground states as a tensor network constructed from the basic data of the underlying tensor categories. The construction highlights the importance of the fat lattice to understand these models.
The structure of string-net lattice models, relevant as examples of topological phases, leads to a remarkably simple way of expressing their ground states as a tensor network constructed from the basic data of the underlying tensor categories. The construction highlights the importance of the fat lattice to understand these models.
△ Less
Submitted 14 September, 2008;
originally announced September 2008.
-
Stroboscopic quantum walks
Authors:
O. Buerschaper,
K. Burnett
Abstract:
Discrete time (coined) quantum walks are produced by the repeated application of a constant unitary transformation to a quantum system. By recasting these walks into the setting of periodic perturbations to an otherwise freely evolving system we introduce the concept of a stroboscopic quantum walk. Through numerical simulation, we establish the link between families of stroboscopic walks and qua…
▽ More
Discrete time (coined) quantum walks are produced by the repeated application of a constant unitary transformation to a quantum system. By recasting these walks into the setting of periodic perturbations to an otherwise freely evolving system we introduce the concept of a stroboscopic quantum walk. Through numerical simulation, we establish the link between families of stroboscopic walks and quantum resonances. These are observed in the nonlinear systems of quantum chaos theory such as the delta-kicked rotator or the delta-kicked accelerator.
△ Less
Submitted 29 June, 2004; v1 submitted 7 June, 2004;
originally announced June 2004.