-
Quantum simulation of one-dimensional fermionic systems with Ising Hamiltonians
Authors:
Matthias Werner,
Artur García-Sáez,
Marta P. Estarellas
Abstract:
In recent years, analog quantum simulators have reached unprecedented quality, both in qubit numbers and coherence times. Most of these simulators natively implement Ising-type Hamiltonians, which limits the class of models that can be simulated efficiently. We propose a method to overcome this limitation and simulate the time-evolution of a large class of spinless fermionic systems in 1D using si…
▽ More
In recent years, analog quantum simulators have reached unprecedented quality, both in qubit numbers and coherence times. Most of these simulators natively implement Ising-type Hamiltonians, which limits the class of models that can be simulated efficiently. We propose a method to overcome this limitation and simulate the time-evolution of a large class of spinless fermionic systems in 1D using simple Ising-type Hamiltonians with local transverse fields. The time complexity of the simulation scales with the square root of the inverse error, and thus favorably compared to the worst-case error of first-order product formulas. Our method is based on domain wall encoding, which is implemented via strong (anti-)ferromagnetic couplings $|J|$. We show that in the limit of strong $|J|$, the domain walls behave like spinless fermions in 1D. The Ising Hamiltonians are one-dimensional chains with nearest-neighbor and, optionally, next-nearest-neighbor interactions. As a proof-of-concept, we perform numerical simulations of various 1D-fermionic systems using domain wall evolution and accurately reproduce the systems' properties, such as topological edge states, Anderson localization, quantum chaotic time evolution and time-reversal symmetry breaking via Floquet-engineering. Our approach makes the simulation of a large class of fermionic many-body systems feasible on analogue quantum hardware that natively implements Ising-type Hamiltonians with transverse fields.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
A scalable 2-local architecture for quantum annealing of all-to-all Ising models
Authors:
Ana Palacios,
Artur Garcia-Saez,
Marta P. Estarellas
Abstract:
Achieving dense connectivities is a challenge for most quantum computing platforms today, and a particularly crucial one for the case of quantum annealing applications. In this context, we present a scalable architecture for quantum annealers defined on a graph of degree $d=3$ and containing exclusively 2-local interactions to realize an all-to-all connected Ising model. This amounts to an efficie…
▽ More
Achieving dense connectivities is a challenge for most quantum computing platforms today, and a particularly crucial one for the case of quantum annealing applications. In this context, we present a scalable architecture for quantum annealers defined on a graph of degree $d=3$ and containing exclusively 2-local interactions to realize an all-to-all connected Ising model. This amounts to an efficient braiding of logical chains of qubits which can be derived from a description of the problem in terms of triangles. We also devise strategies to address the challenges of scalable architectures, such as the faster shrinking of the gap due to the larger physical Hilbert space, based on driver Hamiltonians more suited to the symmetries of the logical solution space. We thus show an alternative route to scale up devices dedicated to classical optimization tasks within the quantum annealing paradigm.
△ Less
Submitted 6 May, 2024; v1 submitted 10 April, 2024;
originally announced April 2024.
-
EinExprs: Contraction Paths of Tensor Networks as Symbolic Expressions
Authors:
Sergio Sanchez-Ramirez,
Jofre Vallès-Muns,
Artur Garcia-Saez
Abstract:
Tensor Networks are graph representations of summation expressions in which vertices represent tensors and edges represent tensor indices or vector spaces. In this work, we present EinExprs.jl, a Julia package for contraction path optimization that offers state-of-art optimizers. We propose a representation of the contraction path of a Tensor Network based on symbolic expressions. Using this packa…
▽ More
Tensor Networks are graph representations of summation expressions in which vertices represent tensors and edges represent tensor indices or vector spaces. In this work, we present EinExprs.jl, a Julia package for contraction path optimization that offers state-of-art optimizers. We propose a representation of the contraction path of a Tensor Network based on symbolic expressions. Using this package the user may choose among a collection of different methods such as Greedy algorithms, or an approach based on the hypergraph partitioning problem. We benchmark this library with examples obtained from the simulation of Random Quantum Circuits (RQC), a well known example where Tensor Networks provide state-of-the-art methods.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
Stabilizer Tensor Networks: universal quantum simulator on a basis of stabilizer states
Authors:
Sergi Masot-Llima,
Artur Garcia-Saez
Abstract:
Efficient simulation of quantum computers relies on understanding and exploiting the properties of quantum states. This is the case for methods such as tensor networks, based on entanglement, and the tableau formalism, which represents stabilizer states. In this work, we integrate these two approaches to present a generalization of the tableau formalism used for Clifford circuit simulation. We exp…
▽ More
Efficient simulation of quantum computers relies on understanding and exploiting the properties of quantum states. This is the case for methods such as tensor networks, based on entanglement, and the tableau formalism, which represents stabilizer states. In this work, we integrate these two approaches to present a generalization of the tableau formalism used for Clifford circuit simulation. We explicitly prove how to update our formalism with Clifford gates, non-Clifford gates, and measurements, enabling universal circuit simulation. We also discuss how the framework allows for efficient simulation of more states, raising some interesting questions on the representation power of tensor networks and the quantum properties of resources such as entanglement and magic, and support our claims with simulations.
△ Less
Submitted 9 April, 2024; v1 submitted 13 March, 2024;
originally announced March 2024.
-
Reinforcement Learning Based Quantum Circuit Optimization via ZX-Calculus
Authors:
Jordi Riu,
Jan Nogué,
Gerard Vilaplana,
Artur Garcia-Saez,
Marta P. Estarellas
Abstract:
We propose a novel Reinforcement Learning (RL) method for optimizing quantum circuits using graph-theoretic simplification rules of ZX-diagrams. The agent, trained using the Proximal Policy Optimization (PPO) algorithm, employs Graph Neural Networks to approximate the policy and value functions. We demonstrate the capacity of our approach by comparing it against the best performing ZX-Calculus-bas…
▽ More
We propose a novel Reinforcement Learning (RL) method for optimizing quantum circuits using graph-theoretic simplification rules of ZX-diagrams. The agent, trained using the Proximal Policy Optimization (PPO) algorithm, employs Graph Neural Networks to approximate the policy and value functions. We demonstrate the capacity of our approach by comparing it against the best performing ZX-Calculus-based algorithm for the problem in hand. After training on small Clifford+T circuits of 5-qubits and few tenths of gates, the agent consistently improves the state-of-the-art for this type of circuits, for at least up to 80-qubit and 2100 gates, whilst remaining competitive in terms of computational performance. Additionally, we illustrate its versatility by targeting both total and two-qubit gate count reduction, conveying the potential of tailoring its reward function to the specific characteristics of each hardware backend. Our approach is ready to be used as a valuable tool for the implementation of quantum algorithms in the near-term intermediate-scale range (NISQ).
△ Less
Submitted 4 June, 2024; v1 submitted 18 December, 2023;
originally announced December 2023.
-
Quantum entanglement patterns in the structure of atomic nuclei within the nuclear shell model
Authors:
A. Pérez-Obiol,
S. Masot-Llima,
A. M. Romero,
J. Menéndez,
A. Rios,
A. García-Sáez,
B. Juliá-Díaz
Abstract:
Quantum entanglement offers a unique perspective into the underlying structure of strongly-correlated systems such as atomic nuclei. In this paper, we use quantum information tools to analyze the structure of light and medium-mass berillyum, oxygen, neon and calcium isotopes within the nuclear shell model. We use different entanglement metrics, including single-orbital entanglement, mutual informa…
▽ More
Quantum entanglement offers a unique perspective into the underlying structure of strongly-correlated systems such as atomic nuclei. In this paper, we use quantum information tools to analyze the structure of light and medium-mass berillyum, oxygen, neon and calcium isotopes within the nuclear shell model. We use different entanglement metrics, including single-orbital entanglement, mutual information, and von Neumann entropies for different equipartitions of the shell-model valence space and identify mode-entanglement patterns related to the energy, angular momentum and isospin of the nuclear single-particle orbitals. We observe that the single-orbital entanglement is directly related to the number of valence nucleons and the energy structure of the shell, while the mutual information highlights signatures of proton-proton and neutron-neutron pairing, as well as nuclear deformation. Proton and neutron orbitals are weakly entangled by all measures, and in fact have the lowest von Neumann entropies among all possible equipartitions of the valence space. In contrast, orbitals with opposite angular momentum projection have relatively large entropies, especially in spherical nuclei. This analysis provides a guide for designing more efficient quantum algorithms for the noisy intermediate-scale quantum era.
△ Less
Submitted 18 September, 2023; v1 submitted 11 July, 2023;
originally announced July 2023.
-
Scalable multi-chip quantum architectures enabled by cryogenic hybrid wireless/quantum-coherent network-in-package
Authors:
Eduard Alarcón,
Sergi Abadal,
Fabio Sebastiano,
Masoud Babaie,
Edoardo Charbon,
Peter Haring Bolívar,
Maurizio Palesi,
Elena Blokhina,
Dirk Leipold,
Bogdan Staszewski,
Artur Garcia-Sáez,
Carmen G. Almudever
Abstract:
The grand challenge of scaling up quantum computers requires a full-stack architectural standpoint. In this position paper, we will present the vision of a new generation of scalable quantum computing architectures featuring distributed quantum cores (Qcores) interconnected via quantum-coherent qubit state transfer links and orchestrated via an integrated wireless interconnect.
The grand challenge of scaling up quantum computers requires a full-stack architectural standpoint. In this position paper, we will present the vision of a new generation of scalable quantum computing architectures featuring distributed quantum cores (Qcores) interconnected via quantum-coherent qubit state transfer links and orchestrated via an integrated wireless interconnect.
△ Less
Submitted 8 April, 2023; v1 submitted 24 March, 2023;
originally announced March 2023.
-
Nuclear shell-model simulation in digital quantum computers
Authors:
A. Pérez-Obiol,
A. M. Romero,
J. Menéndez,
A. Rios,
A. García-Sáez,
B. Juliá-Díaz
Abstract:
The nuclear shell model is one of the prime many-body methods to study the structure of atomic nuclei, but it is hampered by an exponential scaling on the basis size as the number of particles increases. We present a shell-model quantum circuit design strategy to find nuclear ground states by exploiting an adaptive variational quantum eigensolver algorithm. Our circuit implementation is in excelle…
▽ More
The nuclear shell model is one of the prime many-body methods to study the structure of atomic nuclei, but it is hampered by an exponential scaling on the basis size as the number of particles increases. We present a shell-model quantum circuit design strategy to find nuclear ground states by exploiting an adaptive variational quantum eigensolver algorithm. Our circuit implementation is in excellent agreement with classical shell-model simulations for a dozen of light and medium-mass nuclei, including neon and calcium isotopes. We quantify the circuit depth, width and number of gates to encode realistic shell-model wavefunctions. Our strategy also addresses explicitly energy measurements and the required number of circuits to perform them. Our simulated circuits approach the benchmark results exponentially with a polynomial scaling in quantum resources for each nucleus. This work paves the way for quantum computing shell-model studies across the nuclear chart and our quantum resource quantification may be used in configuration-interaction calculations of other fermionic systems.
△ Less
Submitted 15 September, 2023; v1 submitted 7 February, 2023;
originally announced February 2023.
-
Bounding first-order quantum phase transitions in adiabatic quantum computing
Authors:
Matthias Werner,
Artur García-Sáez,
Marta P. Estarellas
Abstract:
In the context of adiabatic quantum computation (AQC), it has been argued that first-order quantum phase transitions (QPTs) due to localisation phenomena cause AQC to fail by exponentially decreasing the minimal spectral gap of the Hamiltonian along the annealing path. The vanishing of the spectral gap is often linked to the localisation of the ground state in a local minimum, requiring the system…
▽ More
In the context of adiabatic quantum computation (AQC), it has been argued that first-order quantum phase transitions (QPTs) due to localisation phenomena cause AQC to fail by exponentially decreasing the minimal spectral gap of the Hamiltonian along the annealing path. The vanishing of the spectral gap is often linked to the localisation of the ground state in a local minimum, requiring the system to tunnel into the global minimum at a later stage of the annealing. Recent methods have been proposed to avoid this phenomena by carefully designing the involved Hamiltonians. However, it remains a challenge to formulate a comprehensive theory on the effect of the various parameters and the conditions under which QPTs make the AQC algorithm fail. Equipped with concepts from graph theory, in this work we link graph quantities associated to the Hamiltonians along the anneal path with the occurrence of QPTs. These links allow us to derive bounds on the location of the minimal spectral gap along the anneal path, augmenting the toolbox for the design of strategies to improve the runtime of AQC algorithms.
△ Less
Submitted 31 January, 2023;
originally announced January 2023.
-
Steered quantum annealing: improving time efficiency with partial information
Authors:
Ana Palacios de Luis,
Artur Garcia-Saez,
Marta P. Estarellas
Abstract:
In the computational model of quantum annealing, the size of the minimum gap between the ground state and the first excited state of the system is of particular importance, since it is inversely proportional to the running time of the algorithm. Thus, it is desirable to keep the gap as large as possible during the annealing process, since it allows the computation to remain under the protection of…
▽ More
In the computational model of quantum annealing, the size of the minimum gap between the ground state and the first excited state of the system is of particular importance, since it is inversely proportional to the running time of the algorithm. Thus, it is desirable to keep the gap as large as possible during the annealing process, since it allows the computation to remain under the protection of the adiabatic theorem while staying efficient. We propose steered quantum annealing as a new method to enlarge the gap throughout the process, in the case of diagonal final Hamiltonians, based on the exploitation of some assumptions we can make about the particular problem instance. In order to introduce this information, we propose beginning the anneal from a biased Hamiltonian that incorporates reliable assumptions about the final ground state. Our simulations show that this method yields a larger average gap throughout the whole computation, which results in an increased robustness of the overall annealing process.
△ Less
Submitted 15 June, 2022;
originally announced June 2022.
-
Adiabatic quantum algorithm for artificial graphene
Authors:
Axel Pérez-Obiol,
Adrián Pérez-Salinas,
Sergio Sánchez-Ramírez,
Bruna G. M. Araújo,
Artur Garcia-Saez
Abstract:
We devise a quantum-circuit algorithm to solve the ground state and ground energy of artificial graphene. The algorithm implements a Trotterized adiabatic evolution from a purely tight-binding Hamiltonian to one including kinetic, spin-orbit and Coulomb terms. The initial state is obtained efficiently using Gaussian-state preparation, while the readout of the ground energy is organized into sevent…
▽ More
We devise a quantum-circuit algorithm to solve the ground state and ground energy of artificial graphene. The algorithm implements a Trotterized adiabatic evolution from a purely tight-binding Hamiltonian to one including kinetic, spin-orbit and Coulomb terms. The initial state is obtained efficiently using Gaussian-state preparation, while the readout of the ground energy is organized into seventeen sets of measurements, irrespective of the size of the problem. The total depth of the corresponding quantum circuit scales polynomially with the size of the system. A full simulation of the algorithm is performed and ground energies are obtained for lattices with up to four hexagons. Our results are benchmarked with exact diagonalization for systems with one and two hexagons. For larger systems we use the exact statevector and approximate matrix product state simulation techniques. The latter allows to systematically trade off precision with memory and therefore to tackle larger systems. We analyze adiabatic and Trotterization errors, providing estimates for optimal periods and time discretizations given a finite accuracy. In the case of large systems we also study approximation errors.
△ Less
Submitted 6 April, 2022;
originally announced April 2022.
-
RosneT: A Block Tensor Algebra Library for Out-of-Core Quantum Computing Simulation
Authors:
Sergio Sánchez-Ramírez,
Javier Conejero,
Francesc Lordan,
Anna Queralt,
Toni Cortes,
Rosa M Badia,
Artur Garcia-Saez
Abstract:
With the advent of more powerful Quantum Computers, the need for larger Quantum Simulations has boosted. As the amount of resources grows exponentially with size of the target system Tensor Networks emerge as an optimal framework with which we represent Quantum States in tensor factorizations. As the extent of a tensor network increases, so does the size of intermediate tensors requiring HPC tools…
▽ More
With the advent of more powerful Quantum Computers, the need for larger Quantum Simulations has boosted. As the amount of resources grows exponentially with size of the target system Tensor Networks emerge as an optimal framework with which we represent Quantum States in tensor factorizations. As the extent of a tensor network increases, so does the size of intermediate tensors requiring HPC tools for their manipulation. Simulations of medium-sized circuits cannot fit on local memory, and solutions for distributed contraction of tensors are scarce. In this work we present RosneT, a library for distributed, out-of-core block tensor algebra. We use the PyCOMPSs programming model to transform tensor operations into a collection of tasks handled by the COMPSs runtime, targeting executions in existing and upcoming Exascale supercomputers. We report results validating our approach showing good scalability in simulations of Quantum circuits of up to 53 qubits.
△ Less
Submitted 17 January, 2022;
originally announced January 2022.
-
One qubit as a Universal Approximant
Authors:
Adrián Pérez-Salinas,
David López-Núñez,
Artur García-Sáez,
P. Forn-Díaz,
José I. Latorre
Abstract:
A single-qubit circuit can approximate any bounded complex function stored in the degrees of freedom defining its quantum gates. The single-qubit approximant presented in this work is operated through a series of gates that take as their parameterization the independent variable of the target function and an additional set of adjustable parameters. The independent variable is re-uploaded in every…
▽ More
A single-qubit circuit can approximate any bounded complex function stored in the degrees of freedom defining its quantum gates. The single-qubit approximant presented in this work is operated through a series of gates that take as their parameterization the independent variable of the target function and an additional set of adjustable parameters. The independent variable is re-uploaded in every gate while the parameters are optimized for each target function. The output state of this quantum circuit becomes more accurate as the number of re-uploadings of the independent variable increases, i. e., as more layers of gates parameterized with the independent variable are applied. In this work, we provide two different proofs of this claim related to both the Fourier series and the Universal Approximation Theorem for Neural Networks, and we benchmark both methods against their classical counterparts. We further implement a single-qubit approximant in a real superconducting qubit device, demonstrating how the ability to describe a set of functions improves with the depth of the quantum circuit. This work shows the robustness of the re-uploading technique on Quantum Machine Learning.
△ Less
Submitted 13 July, 2021; v1 submitted 8 February, 2021;
originally announced February 2021.
-
Qibo: a framework for quantum simulation with hardware acceleration
Authors:
Stavros Efthymiou,
Sergi Ramos-Calderer,
Carlos Bravo-Prieto,
Adrián Pérez-Salinas,
Diego García-Martín,
Artur Garcia-Saez,
José Ignacio Latorre,
Stefano Carrazza
Abstract:
We present Qibo, a new open-source software for fast evaluation of quantum circuits and adiabatic evolution which takes full advantage of hardware accelerators. The growing interest in quantum computing and the recent developments of quantum hardware devices motivates the development of new advanced computational tools focused on performance and usage simplicity. In this work we introduce a new qu…
▽ More
We present Qibo, a new open-source software for fast evaluation of quantum circuits and adiabatic evolution which takes full advantage of hardware accelerators. The growing interest in quantum computing and the recent developments of quantum hardware devices motivates the development of new advanced computational tools focused on performance and usage simplicity. In this work we introduce a new quantum simulation framework that enables developers to delegate all complicated aspects of hardware or platform implementation to the library so they can focus on the problem and quantum algorithms at hand. This software is designed from scratch with simulation performance, code simplicity and user friendly interface as target goals. It takes advantage of hardware acceleration such as multi-threading CPU, single GPU and multi-GPU devices.
△ Less
Submitted 9 December, 2021; v1 submitted 3 September, 2020;
originally announced September 2020.
-
Quantum Observables for continuous control of the Quantum Approximate Optimization Algorithm via Reinforcement Learning
Authors:
Artur Garcia-Saez,
Jordi Riu
Abstract:
We present a classical control mechanism for Quantum devices using Reinforcement Learning. Our strategy is applied to the Quantum Approximate Optimization Algorithm (QAOA) in order to optimize an objective function that encodes a solution to a hard combinatorial problem. This method provides optimal control of the Quantum device following a reformulation of QAOA as an environment where an autonomo…
▽ More
We present a classical control mechanism for Quantum devices using Reinforcement Learning. Our strategy is applied to the Quantum Approximate Optimization Algorithm (QAOA) in order to optimize an objective function that encodes a solution to a hard combinatorial problem. This method provides optimal control of the Quantum device following a reformulation of QAOA as an environment where an autonomous classical agent interacts and performs actions to achieve higher rewards. This formulation allows a hybrid classical-Quantum device to train itself from previous executions using a continuous formulation of deep Q-learning to control the continuous degrees of freedom of QAOA. Our approach makes a selective use of Quantum measurements to complete the observations of the Quantum state available to the agent. We run tests of this approach on MAXCUT instances of size up to N = 21 obtaining optimal results. We show how this formulation can be used to transfer the knowledge from shorter training episodes to reach a regime of longer executions where QAOA delivers higher results.
△ Less
Submitted 21 November, 2019;
originally announced November 2019.
-
Addressing hard classical problems with Adiabatically Assisted Variational Quantum Eigensolvers
Authors:
A. Garcia-Saez,
J. I. Latorre
Abstract:
We present a hybrid classical-quantum algorithm to solve optimization problems in current quantum computers, whose basic idea is to assist variational quantum eigensolvers (VQE) with adiabatic change of the Hamiltonian. The rational for this new algorithm is to circumvent the problem of facing very small gradients in the classical optimization piece of a VQE, while being able to run in current har…
▽ More
We present a hybrid classical-quantum algorithm to solve optimization problems in current quantum computers, whose basic idea is to assist variational quantum eigensolvers (VQE) with adiabatic change of the Hamiltonian. The rational for this new algorithm is to circumvent the problem of facing very small gradients in the classical optimization piece of a VQE, while being able to run in current hardware efficient devices. A discrete concatenation of VQEs adapted to interpolating Hamiltonians provides a method to keep the quantum state always close to a path faithfully directed to find the final solution. We benchmark this Adiabatically Assisted Variational Quantum Eigensolver (AAVQE) on quantum Hamiltonians and hard classical problems, for which our approach shows fast convergence.
△ Less
Submitted 6 June, 2018;
originally announced June 2018.
-
Density of Yang-Lee zeros in the thermodynamic limit from tensor network methods
Authors:
Artur Garcia-Saez,
Tzu-Chieh Wei
Abstract:
The distribution of Yang-Lee zeros in the ferromagnetic Ising model in both two and three dimensions is studied on the complex field plane directly in the thermodynamic limit via the tensor network methods. The partition function is represented as a contraction of a tensor network and is efficiently evaluated with an iterative tensor renormalization scheme. The free-energy density and the magnetiz…
▽ More
The distribution of Yang-Lee zeros in the ferromagnetic Ising model in both two and three dimensions is studied on the complex field plane directly in the thermodynamic limit via the tensor network methods. The partition function is represented as a contraction of a tensor network and is efficiently evaluated with an iterative tensor renormalization scheme. The free-energy density and the magnetization are computed on the complex field plane. Via the discontinuity of the magnetization, the density of the Yang-Lee zeros is obtained to lie on the unit circle, consistent with the Lee-Yang circle theorem. Distinct features are observed at different temperatures---below, above and at the critical temperature. Application of the tensor-network approach is also made to the $q$-state Potts models in both two and three dimensions and a previous debate on whether, in the thermodynamic limit, the Yang-Lee zeros lie on a unit circle for $q>2$ is resolved: they clearly do not lie on a unit circle except at the zero temperature. For the Potts models (q=3,4,5,6) investigated in two dimensions, as the temperature is lowered the radius of the zeros at a fixed angle from the real axis shrinks exponentially towards unity with the inverse temperature.
△ Less
Submitted 31 August, 2015;
originally announced August 2015.
-
Efficient evaluation of high-order moments and cumulants in tensor network states
Authors:
Colin West,
Artur Garcia-Saez,
Tzu-Chieh Wei
Abstract:
We present a numerical scheme for efficiently extracting the higher-order moments and cumulants of various operators on spin systems represented as tensor product states, for both finite and infinite systems, and present several applications for such quantities. For example, the second cumulant of the energy of a state, $\langle ΔH^2 \rangle$, gives a straightforward method to check the convergenc…
▽ More
We present a numerical scheme for efficiently extracting the higher-order moments and cumulants of various operators on spin systems represented as tensor product states, for both finite and infinite systems, and present several applications for such quantities. For example, the second cumulant of the energy of a state, $\langle ΔH^2 \rangle$, gives a straightforward method to check the convergence of numerical ground-state approximation algorithms. Additionally, we discuss the use of moments and cumulants in the study of phase transitions. Of particular interest is the application of our method to calculate the so-called Binder's cumulant, which we use to detect critical points and study the critical exponent of the correlation length with only small finite numerical calculations. We apply these methods to study the behavior of a family of one-dimensional models (the transverse Ising model, the spin-1 Ising model, and the spin-1 Ising model in a crystal field), as well as the two-dimensional Ising model on a square lattice. Our results show that in one dimension, cumulant-based methods can produce precise estimates of the critical points at a low computational cost, and show promise for two-dimensional systems as well.
△ Less
Submitted 1 April, 2015; v1 submitted 24 March, 2015;
originally announced March 2015.
-
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.
-
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.
-
Spectral gaps of AKLT Hamiltonians using Tensor Network methods
Authors:
Artur Garcia-Saez,
Valentin Murg,
Tzu-Chieh Wei
Abstract:
Using exact diagonalization and tensor network techniques we compute the gap for the AKLT Hamiltonian in 1D and 2D spatial dimensions. Tensor Network methods are used to extract physical properties directly in the thermodynamic limit, and we support these results using finite-size scalings from exact diagonalization. Studying the AKLT Hamiltonian perturbed by an external field, we show how to obta…
▽ More
Using exact diagonalization and tensor network techniques we compute the gap for the AKLT Hamiltonian in 1D and 2D spatial dimensions. Tensor Network methods are used to extract physical properties directly in the thermodynamic limit, and we support these results using finite-size scalings from exact diagonalization. Studying the AKLT Hamiltonian perturbed by an external field, we show how to obtain an accurate value of the gap of the original AKLT Hamiltonian from the field value at which the ground state verifies e_0<0, which is a quantum critical point. With the Tensor Network Renormalization Group methods we provide evidence of a finite gap in the thermodynamic limit for the AKLT models in the 1D chain and 2D hexagonal and square lattices. This method can be applied generally to Hamiltonians with rotational symmetry, and we also show results beyond the AKLT model.
△ Less
Submitted 27 August, 2013; v1 submitted 16 August, 2013;
originally announced August 2013.
-
A paradox in bosonic energy computations via semidefinite programming relaxations
Authors:
M. Navascues,
A. Garcia-Saez,
A. Acin,
S. Pironio,
M. B. Plenio
Abstract:
We show that the recent hierarchy of semidefinite programming relaxations based on non-commutative polynomial optimization and reduced density matrix variational methods exhibits an interesting paradox when applied to the bosonic case: even though it can be rigorously proven that the hierarchy collapses after the first step, numerical implementations of higher order steps generate a sequence of im…
▽ More
We show that the recent hierarchy of semidefinite programming relaxations based on non-commutative polynomial optimization and reduced density matrix variational methods exhibits an interesting paradox when applied to the bosonic case: even though it can be rigorously proven that the hierarchy collapses after the first step, numerical implementations of higher order steps generate a sequence of improving lower bounds that converges to the optimal solution. We analyze this effect and compare it with similar behavior observed in implementations of semidefinite programming relaxations for commutative polynomial minimization. We conclude that the method converges due to the rounding errors occurring during the execution of the numerical program, and show that convergence is lost as soon as computer precision is incremented. We support this conclusion by proving that for any element p of a Weyl algebra which is non-negative in the Schrodinger representation there exists another element p' arbitrarily close to p that admits a sum of squares decomposition.
△ Less
Submitted 9 August, 2012; v1 submitted 16 March, 2012;
originally announced March 2012.
-
Renormalization group contraction of tensor networks in three dimensions
Authors:
A. Garcia-Saez,
J. I. Latorre
Abstract:
We present a new strategy for contracting tensor networks in arbitrary geometries. This method is designed to follow as strictly as possible the renormalization group philosophy, by first contracting tensors in an exact way and, then, performing a controlled truncation of the resulting tensor. We benchmark this approximation procedure in two dimensions against an exact contraction. We then apply t…
▽ More
We present a new strategy for contracting tensor networks in arbitrary geometries. This method is designed to follow as strictly as possible the renormalization group philosophy, by first contracting tensors in an exact way and, then, performing a controlled truncation of the resulting tensor. We benchmark this approximation procedure in two dimensions against an exact contraction. We then apply the same idea to a three dimensional system. The underlying rational for emphasizing the exact coarse graining renormalization group step prior to truncation is related to monogamy of entanglement.
△ Less
Submitted 6 December, 2011;
originally announced December 2011.
-
An exact tensor network for the 3SAT problem
Authors:
A. Garcia-Saez,
J. I. Latorre
Abstract:
We construct a tensor network that delivers an unnormalized quantum state whose coefficients are the solutions to a given instance of 3SAT, an NP-complete problem. The tensor network contraction that corresponds to the norm of the state counts the number of solutions to the instance. It follows that exact contractions of this tensor network are in the #P-complete computational complexity class, th…
▽ More
We construct a tensor network that delivers an unnormalized quantum state whose coefficients are the solutions to a given instance of 3SAT, an NP-complete problem. The tensor network contraction that corresponds to the norm of the state counts the number of solutions to the instance. It follows that exact contractions of this tensor network are in the #P-complete computational complexity class, thus believed to be a hard task. Furthermore, we show that for a 3SAT instance with n bits, it is enough to perform a polynomial number of contractions of the tensor network structure associated to the computation of local observables to obtain one of the explicit solutions to the problem, if any. Physical realization of a state described by a generic tensor network is equivalent to finding the satisfying assignment of a 3SAT instance and, consequently, this experimental task is expected to be hard.
△ Less
Submitted 3 October, 2011; v1 submitted 16 May, 2011;
originally announced May 2011.
-
Intensive temperature and quantum correlations for refined quantum measurements
Authors:
Alessandro Ferraro,
Artur Garcia-Saez,
Antonio Acin
Abstract:
We consider the concept of temperature in a setting beyond the standard thermodynamics prescriptions. Namely, rather than restricting to standard coarse-grained measurements, we consider observers able to master any possible quantum measurement--a scenario that might be relevant at nanoscopic scales. In this setting, we focus on quantum systems of coupled harmonic oscillators and study the questio…
▽ More
We consider the concept of temperature in a setting beyond the standard thermodynamics prescriptions. Namely, rather than restricting to standard coarse-grained measurements, we consider observers able to master any possible quantum measurement--a scenario that might be relevant at nanoscopic scales. In this setting, we focus on quantum systems of coupled harmonic oscillators and study the question of whether the temperature is an intensive quantity, in the sense that a block of a thermal state can be approximated by an effective thermal state at the same temperature as the whole system. Using the quantum fidelity as figure of merit, we identify instances in which this approximation is not valid, as the block state and the reference thermal state are distinguishable for refined measurements. Actually, there are situation in which this distinguishability even increases with the block size. However, we also show that the two states do become less distinguishable with the block size for coarse-grained measurements--thus recovering the standard picture. We then go further and construct an effective thermal state which provides a good approximation of the block state for any observables and sizes. Finally, we point out the role entanglement plays in this scenario by showing that, in general, the thermodynamic paradigm of local intensive temperature applies whenever entanglement is not present in the system.
△ Less
Submitted 18 April, 2012; v1 submitted 28 February, 2011;
originally announced February 2011.
-
Macroscopic bound entanglement in thermal graph states
Authors:
D. Cavalcanti,
L. Aolita,
A. Ferraro,
A. Garcia-Saez,
A. Acin
Abstract:
We address the presence of bound entanglement in strongly-interacting spin systems at thermal equilibrium. In particular, we consider thermal graph states composed of an arbitrary number of particles. We show that for a certain range of temperatures no entanglement can be extracted by means of local operations and classical communication, even though the system is still entangled. This is found…
▽ More
We address the presence of bound entanglement in strongly-interacting spin systems at thermal equilibrium. In particular, we consider thermal graph states composed of an arbitrary number of particles. We show that for a certain range of temperatures no entanglement can be extracted by means of local operations and classical communication, even though the system is still entangled. This is found by harnessing the independence of the entanglement in some bipartitions of such states with the system's size. Specific examples for one- and two-dimensional systems are given. Our results thus prove the existence of thermal bound entanglement in an arbitrary large spin system with finite-range local interactions.
△ Less
Submitted 30 September, 2009;
originally announced September 2009.
-
Strong cooperativity and inhibitory effects in DNA multi-loo** processes
Authors:
Artur Garcia-Saez,
J. Miguel Rubi
Abstract:
We show the existence of a high interrelation between the different loops that may appear in a DNA segment. Conformational changes in a chain segment caused by the formation of a particular loop may either promote or prevent the appearance of another. The underlying loop selection mechanism is analyzed by means of a Hamiltonian model from which the loo** free energy and the corresponding repre…
▽ More
We show the existence of a high interrelation between the different loops that may appear in a DNA segment. Conformational changes in a chain segment caused by the formation of a particular loop may either promote or prevent the appearance of another. The underlying loop selection mechanism is analyzed by means of a Hamiltonian model from which the loo** free energy and the corresponding repression level can be computed. We show significant differences between the probability of single and multiple loop formation. The consequences that these collective effects might have on gene regulation processes are outlined.
△ Less
Submitted 23 March, 2009;
originally announced March 2009.
-
Area laws and entanglement distillability of thermal states
Authors:
Daniel Cavalcanti,
Alessandro Ferraro,
Artur Garcia-Saez,
Antonio Acin
Abstract:
We study the entanglement distillability properties of thermal states of many-body systems. Following the ideas presented in [D.Cavalcanti et al., arxiv:0705.3762], we first discuss the appearance of bound entanglement in those systems satisfying an entanglement area law. Then, we extend these results to other topologies, not necessarily satisfying an entanglement area law. We also study whether…
▽ More
We study the entanglement distillability properties of thermal states of many-body systems. Following the ideas presented in [D.Cavalcanti et al., arxiv:0705.3762], we first discuss the appearance of bound entanglement in those systems satisfying an entanglement area law. Then, we extend these results to other topologies, not necessarily satisfying an entanglement area law. We also study whether bound entanglement survives in the macroscopic limit of an infinite number of particles.
△ Less
Submitted 19 December, 2008;
originally announced December 2008.
-
Local temperature in quantum thermal states
Authors:
A. Garcia-Saez,
A. Ferraro,
A. Acin
Abstract:
We consider blocks of quantum spins in a chain at thermal equilibrium, focusing on their properties from a thermodynamical perspective. Whereas in classical systems the temperature behaves as an intensive magnitude, a deviation from this behavior is expected in quantum systems. In particular, we see that under some conditions the description of the blocks as thermal states with the same global t…
▽ More
We consider blocks of quantum spins in a chain at thermal equilibrium, focusing on their properties from a thermodynamical perspective. Whereas in classical systems the temperature behaves as an intensive magnitude, a deviation from this behavior is expected in quantum systems. In particular, we see that under some conditions the description of the blocks as thermal states with the same global temperature as the whole chain fails. We analyze this issue by employing the quantum fidelity as a figure of merit, singling out in detail the departure from the classical behavior. The influence in this sense of zero-temperature quantum phase transitions can be clearly observed within this approach. Then we show that the blocks can be considered indeed as thermal states with a high fidelity, provided an effective local temperature is properly identified. Such a result originates from typical properties of reduced sub-systems of energy-constrained Hilbert spaces. Finally, the relation between local and global temperature is analyzed as a function of the size of the blocks and the system parameters.
△ Less
Submitted 2 June, 2009; v1 submitted 1 August, 2008;
originally announced August 2008.
-
Thermal bound entanglement in macroscopic systems and area laws
Authors:
A. Ferraro,
D. Cavalcanti,
A. Garcia-Saez,
A. Acin
Abstract:
Does bound entanglement naturally appear in quantum many-body systems? We address this question by showing the existence of bound-entangled thermal states for harmonic oscillator systems consisting of an arbitrary number of particles. By explicit calculations of the negativity for different partitions, we find a range of temperatures for which no entanglement can be distilled by means of local o…
▽ More
Does bound entanglement naturally appear in quantum many-body systems? We address this question by showing the existence of bound-entangled thermal states for harmonic oscillator systems consisting of an arbitrary number of particles. By explicit calculations of the negativity for different partitions, we find a range of temperatures for which no entanglement can be distilled by means of local operations, despite the system being globally entangled. We offer an interpretation of this result in terms of entanglement-area laws, typical of these systems. Finally, we discuss generalizations of this result to other systems, including spin chains.
△ Less
Submitted 30 April, 2008;
originally announced April 2008.
-
Distillable entanglement and area laws in spin and harmonic-oscillator systems
Authors:
D. Cavalcanti,
A. Ferraro,
A. Garcia-Saez,
A. Acin
Abstract:
We address the presence of non-distillable (bound) entanglement in natural many-body systems. In particular, we consider standard harmonic and spin-1/2 chains, at thermal equilibrium and characterized by few interaction parameters. The existence of bound entanglement is addressed by calculating explicitly the negativity of entanglement for different partitions. This allows to individuate a range…
▽ More
We address the presence of non-distillable (bound) entanglement in natural many-body systems. In particular, we consider standard harmonic and spin-1/2 chains, at thermal equilibrium and characterized by few interaction parameters. The existence of bound entanglement is addressed by calculating explicitly the negativity of entanglement for different partitions. This allows to individuate a range of temperatures for which no entanglement can be distilled by means of local operations, despite the system being globally entangled. We discuss how the appearance of bound entanglement can be linked to entanglement-area laws, typical of these systems. Various types of interactions and topologies are explored, showing that the presence of bound entanglement is an intrinsic feature of these systems. In the harmonic case, we analytically prove that thermal bound entanglement persists for systems composed by an arbitrary number of particles. Our results strongly suggest the existence of bound entangled states in the macroscopic limit also for spin-1/2 systems.
△ Less
Submitted 30 April, 2008; v1 submitted 25 May, 2007;
originally announced May 2007.
-
Monogamy and ground-state entanglement in highly connected systems
Authors:
Alessandro Ferraro,
Artur Garcia-Saez,
Antonio Acin
Abstract:
We consider the ground-state entanglement in highly connected many-body systems, consisting of harmonic oscillators and spin-1/2 systems. Varying their degree of connectivity, we investigate the interplay between the enhancement of entanglement, due to connections, and its frustration, due to monogamy constraints. Remarkably, we see that in many situations the degree of entanglement in a highly…
▽ More
We consider the ground-state entanglement in highly connected many-body systems, consisting of harmonic oscillators and spin-1/2 systems. Varying their degree of connectivity, we investigate the interplay between the enhancement of entanglement, due to connections, and its frustration, due to monogamy constraints. Remarkably, we see that in many situations the degree of entanglement in a highly connected system is essentially of the same order as in a low connected one. We also identify instances in which the entanglement decreases as the degree of connectivity increases.
△ Less
Submitted 29 November, 2007; v1 submitted 2 January, 2007;
originally announced January 2007.