arXiv subjects

H. J. Briegel

Publications and source records attributed to H. J. Briegel.

At least 37 records · Page 2Linked to original sources

arXiv2009

Local renormalization method for random systems

In this paper, we introduce a real-space renormalization transformation for random spin systems on 2D lattices. The general method is formulated for random systems and results from merging two well known real space renormalization techniques, namely the strong disorder renormalization technique (SDRT) and the contractor renormalization (CORE). We analyze the performance of the method on the 2D random transverse field Ising model (RTFIM).

cond-mat.dis-nn↗

arXiv2009

Valence Bond States: Link models

An isotropic anti-ferromagnetic quantum state on a square lattice is characterized by symmetry arguments only. By construction, this quantum state is the result of an underlying valence bond structure without breaking any symmetry in the lattice or spin spaces. A detailed analysis of the correlations of the quantum state is given (using a mapping to a 2D classical statistical model and methods in field theory like mapping to the non-linear sigma model or bosonization techniques) as well as the results of numerical treatments (regarding exact diagonalization and variational methods). Finally, the physical relevance of the model is motivated. A comparison of the model to known anti-ferromagnetic Mott-Hubbard insulators is given by means of the two-point equal-time correlation function obtained i) numerically from the suggested state and ii) experimentally from neutron scattering on cuprates in the anti-ferromagnetic insulator phase.

cond-mat.str-el↗

arXiv2009

Quantum computation in correlation space and extremal entanglement

Recently, a framework was established to systematically construct novel universal resource states for measurement-based quantum computation using techniques involving finitely correlated states. With these methods, universal states were found which are in certain ways much less entangled than the original cluster state model, and it was hence believed that with this approach many of the extremal entanglement features of the cluster states could be relaxed. The new resources were constructed as "computationally universal" states--i.e. they allow one to efficiently reproduce the classical output of each quantum computation--whereas the cluster states are universal in a stronger sense since they are "universal state preparators". Here we show that the new resources are universal state preparators after all, and must therefore exhibit a whole class of extremal entanglement features, similar to the cluster states.

quant-ph↗

arXiv2009

Unifying all classical spin models in a Lattice Gauge Theory

We show that the partition function of all classical spin models, including all discrete Standard Statistical Models and all abelian discrete Lattice Gauge Theories (LGTs), can be expressed as a special instance of the partition function of the 4D Z_2 LGT. In this way, all classical spin models with apparently very different features are unified in a single complete model, and a physical relation between all models is established. As applications of this result, we present a new method to do mean field theory for abelian discrete LGTs with d>3, and we show that the computation of the partition function of the 4D Z_2 LGT is a computationally hard (#P-hard) problem. We also extend our results to abelian continuous models, where we show the approximate completeness of the 4D Z_2 LGT. All results are proven using quantum information techniques.

hep-lat↗

arXiv2008

2D Multipartite Valence Bond States in Quantum Antiferromagnets

A quantum anti-ferromagnetic spin-1 model is characterised on a 2D lattice with the following requirements: i) The Hamiltonian is made out of nearest neighbour interactions. ii) It is homogeneous, translational and rotational invariant. iii) The ground state is a real singlet state of SU(2) (non-chiral). iv) It has a local spin-1 representation. Along the way to characterise the system, connections with classical statistical mechanics and integrable models are explored. Finally, the relevance of the model in the physics of low dimensional anti-ferromagnetic Mott-Hubbard insulators is discussed.

cond-mat.str-el↗

arXiv2008

Quantum algorithms for spin models and simulable gate sets for quantum computation

We present elementary mappings between classical lattice models and quantum circuits. These mappings provide a general framework to obtain efficiently simulable quantum gate sets from exactly solvable classical models. For example, we recover and generalize the simulability of Valiant's match-gates by invoking the solvability of the free-fermion eight-vertex model. Our mappings furthermore provide a systematic formalism to obtain simple quantum algorithms to approximate partition functions of lattice models in certain complex-parameter regimes. For example, we present an efficient quantum algorithm for the six-vertex model as well as a 2D Ising-type model. We finally show that simulating our quantum algorithms on a classical computer is as hard as simulating universal quantum computation (i.e. BQP-complete).

quant-ph↗

arXiv2008

Measurement-based quantum computation and undecidable logic

We establish a connection between measurement-based quantum computation and the field of mathematical logic. We show that the computational power of an important class of quantum states called graph states, representing resources for measurement-based quantum computation, is reflected in the expressive power of (classical) formal logic languages defined on the underlying mathematical graphs. In particular, we show that for all graph state resources which can yield a computational speed-up with respect to classical computation, the underlying graphs--describing the quantum correlations of the states--are associated with undecidable logic theories. Here undecidability is to be interpreted in a sense similar to Goedel's incompleteness results, meaning that there exist propositions, expressible in the above classical formal logic, which cannot be proven or disproven.

quant-ph↗

arXiv2007

Completeness of the classical 2D Ising model and universal quantum computation

We prove that the 2D Ising model is complete in the sense that the partition function of any classical q-state spin model (on an arbitrary graph) can be expressed as a special instance of the partition function of a 2D Ising model with complex inhomogeneous couplings and external fields. In the case where the original model is an Ising or Potts-type model, we find that the corresponding 2D square lattice requires only polynomially more spins w.r.t the original one, and we give a constructive method to map such models to the 2D Ising model. For more general models the overhead in system size may be exponential. The results are established by connecting classical spin models with measurement-based quantum computation and invoking the universality of the 2D cluster states.

quant-ph↗

arXiv2007

Entanglement purification and quantum error correction

We give a review on entanglement purification for bipartite and multipartite quantum states, with the main focus on theoretical work carried out by our group in the last couple of years. We discuss entanglement purification in the context of quantum communication, where we emphasize its close relation to quantum error correction. Various bipartite and multipartite entanglement purification protocols are discussed, and their performance under idealized and realistic conditions is studied. Several applications of entanglement purification in quantum communication and computation are presented, which highlights the fact that entanglement purification is a fundamental tool in quantum information processing.

quant-ph↗

arXiv2007

Fundamentals of universality in one-way quantum computation

We build a framework allowing for a systematic investigation of the issue: "Which quantum states are universal resources for one-way quantum computation?" We start by re-examining what is exactly meant by "universality" in quantum computation, and what the implications are for universal one-way quantum computation. Given the framework of a measurement-based quantum computer, where quantum information is processed by local operations only, the most general universal one-way quantum computer is one which is capable of accepting arbitrary classical inputs and producing arbitrary quantum outputs--we refer to this property as CQ-universality. We then show that a systematic study of CQ-universality in one-way quantum computation is possible by identifying entanglement features that must be present in every universal resource. These insights are used to identify several states as being not universal, such as 1D cluster states, W states, and ground states of non-critical 1D spin systems. Our criteria are strengthened by considering the efficiency of a quantum computation, and we find that entanglement measures must obey a certain scaling law with the system size for all efficient universal resources. This again leads to examples of non-universal resources, such as, e.g., ground states of critical 1D spin systems. We also provide several examples of efficient universal resources, namely graph states corresponding to hexagonal, triangular and Kagome lattices. Finally, we consider the more general notion of encoded CQ-universality, where quantum outputs are allowed to be produced in an encoded form. Again we provide entanglement-based criteria for encoded universality. Moreover, we present a general procedure to construct encoded universal resources.

quant-ph↗

arXiv2006

Graph states as ground states of many-body spin-1/2 Hamiltonians

We consider the problem whether graph states can be ground states of local interaction Hamiltonians. For Hamiltonians acting on n qubits that involve at most two-body interactions, we show that no n-qubit graph state can be the exact, non-degenerate ground state. We determine for any graph state the minimal d such that it is the non-degenerate ground state of a d-body interaction Hamiltonian, while we show for d'-body Hamiltonians H with d' n spins.

quant-ph↗

arXiv2006

Classical spin models and the quantum stabilizer formalism

We relate a large class of classical spin models, including the inhomogeneous Ising, Potts, and clock models of q-state spins on arbitrary graphs, to problems in quantum physics. More precisely, we show how to express partition functions as inner products between certain quantum stabilizer states and product states. This connection allows us to use powerful techniques developed in quantum information theory, such as the stabilizer formalism and classical simulation techniques, to gain general insights into these models in a unified way. We recover and generalize several symmetries and high-low temperature dualities, and we provide an efficient classical evaluation of partition functions for all interaction graphs with a bounded tree-width.

quant-ph↗

arXiv2006

Classical simulation versus universality in measurement based quantum computation

We investigate for which resource states an efficient classical simulation of measurement based quantum computation is possible. We show that the Schmidt--rank width, a measure recently introduced to assess universality of resource states, plays a crucial role in also this context. We relate Schmidt--rank width to the optimal description of states in terms of tree tensor networks and show that an efficient classical simulation of measurement based quantum computation is possible for all states with logarithmically bounded Schmidt--rank width (with respect to the system size). For graph states where the Schmidt--rank width scales in this way, we efficiently construct the optimal tree tensor network descriptions, and provide several examples. We highlight parallels in the efficient description of complex systems in quantum information theory and graph theory.

quant-ph↗

arXiv2005

Multi-party entanglement in graph states

Graph states are multi-particle entangled states that correspond to mathematical graphs, where the vertices of the graph take the role of quantum spin systems and edges represent Ising interactions. They are many-body spin states of distributed quantum systems that play a significant role in quantum error correction, multi-party quantum communication, and quantum computation within the framework of the one-way quantum computer. We characterize and quantify the genuine multi-particle entanglement of such graph states in terms of the Schmidt measure, to which we provide upper and lower bounds in graph theoretical terms. Several examples and classes of graphs will be discussed, where these bounds coincide. These examples include trees, cluster states of different dimension, graphs that occur in quantum error correction, such as the concatenated [7,1,3]-CSS code, and a graph associated with the quantum Fourier transform in the one-way computer. We also present general transformation rules for graphs when local Pauli measurements are applied, and give criteria for the equivalence of two graphs up to local unitary transformations, employing the stabilizer formalism. For graphs of up to seven vertices we provide complete characterization modulo local unitary transformations and graph isomorphies.

quant-ph↗

arXiv2005

Spin gases as microscopic models for non-Markovian decoherence

We analyze a microscopic decoherence model in which the total system is described as a spin gas. A spin gas consists of N classically moving particles with additional, interacting quantum degrees of freedom (e.g. spins). For various multipartite entangled probe states, we analyze the decoherence induced by interactions between the probe- and environmental spins in such spin gases. We can treat mesoscopic environments (10^5 particles). We present results for a lattice gas, which could be realized by neutral atoms hopping in an optical lattice, and show the effects of non-Markovian and correlated noise, as well as finite size effects.

quant-ph↗

arXiv2005

Entanglement in spin chains and lattices with long-range Ising-type interactions

We consider N initially disentangled spins, embedded in a ring or d-dimensional lattice of arbitrary geometry, which interact via some long--range Ising--type interaction. We investigate relations between entanglement properties of the resulting states and the distance dependence of the interaction in the limit N to infinity. We provide a sufficient condition when bipartite entanglement between blocks of L neighboring spins and the remaining system saturates, and determine S_L analytically for special configurations. We find an unbounded increase of S_L as well as diverging correlation and entanglement length under certain circumstances. For arbitrarily large N, we can efficiently calculate all quantities associated with reduced density operators of up to ten particles.

quant-ph↗

arXiv2004

Algorithmic complexity of quantum states

In this paper we give a definition for the Kolmogorov complexity of a pure quantum state. In classical information theory the algorithmic complexity of a string is a measure of the information needed by a universal machine to reproduce the string itself. We define the complexity of a quantum state by means of the classical description complexity of an (abstract) experimental procedure that allows us to prepare the state with a given fidelity. We argue that our definition satisfies the intuitive idea of complexity as a measure of ``how difficult'' it is to prepare a state. We apply this definition to give an upper bound on the algorithmic complexity of a number of states.

quant-ph↗

arXiv2003

Measurement-based quantum computation with cluster states

We give a detailed account of the one-way quantum computer, a scheme of quantum computation that consists entirely of one-qubit measurements on a particular class of entangled states, the cluster states. We prove its universality, describe why its underlying computational model is different from the network model of quantum computation and relate quantum algorithms to mathematical graphs. Further we investigate the scaling of required resources and give a number of examples for circuits of practical interest such as the circuit for quantum Fourier transformation and for the quantum adder. Finally, we describe computation with clusters of finite size.

quant-ph↗