-
A quantum search method for quadratic and multidimensional knapsack problems
Authors:
Sören Wilkening,
Andreea-Iulia Lefterovici,
Lennart Binkowski,
Marlene Funck,
Michael Perk,
Robert Karimov,
Sándor Fekete,
Tobias J. Osborne
Abstract:
Solving combinatorial optimization problems is a promising application area for quantum algorithms in real-world scenarios. In this work, we extend the "Quantum Tree Generator" (QTG), previously proposed for the 0-1 Knapsack Problem, to the 0-1 Quadratic Knapsack Problem (QKP) and the Multidimensional Knapsack Problem (MDKP). The QTG constructs a superposition of all feasible solutions for a given…
▽ More
Solving combinatorial optimization problems is a promising application area for quantum algorithms in real-world scenarios. In this work, we extend the "Quantum Tree Generator" (QTG), previously proposed for the 0-1 Knapsack Problem, to the 0-1 Quadratic Knapsack Problem (QKP) and the Multidimensional Knapsack Problem (MDKP). The QTG constructs a superposition of all feasible solutions for a given instance and can therefore be utilized as a promising state preparation routine within amplitude amplification to produce high-quality solutions. Previously, QTG-based search was tested on the 0-1 Knapsack Problem, where it demonstrated the potential for practical quantum advantage, once quantum computers with a few hundred logical and fully connected qubits are available. Here, we evaluate the algorithm's performance on QKP and MDKP against the classical solver Gurobi. To facilitate large-scale evaluations, we employ an advanced benchmarking technique that enables runtime predictions for instances with up to 2000 variables for QKP and up to 1500 variables and 100 constraints for MDKP. Our results indicate that QTG-based search can produce high-quality solutions with competitive runtimes for QKP. However, its performance declines for MDKP, highlighting the challenges quantum algorithms face when tackling highly constrained optimization problems.
△ Less
Submitted 28 March, 2025;
originally announced March 2025.
-
Optimization Driven Quantum Circuit Reduction
Authors:
Bodo Rosenhahn,
Tobias J. Osborne,
Christoph Hirche
Abstract:
Implementing a quantum circuit on specific hardware with a reduced available gate set is often associated with a substantial increase in the length of the equivalent circuit. This process is also known as transpilation and due to decoherence, it is mandatory to keep quantum circuits as short as possible, without affecting functionality. In this work we propose three different transpilation approac…
▽ More
Implementing a quantum circuit on specific hardware with a reduced available gate set is often associated with a substantial increase in the length of the equivalent circuit. This process is also known as transpilation and due to decoherence, it is mandatory to keep quantum circuits as short as possible, without affecting functionality. In this work we propose three different transpilation approaches, based on a localized term-replacement scheme, to substantially reduce circuit lengths while preserving the unitary operation implemented by the circuit. The first variant is based on a stochastic search scheme, and the other variants are driven by a database retrieval scheme and a machine learning based decision support. We show that our proposed methods generate short quantum circuits for restricted gate sets, superior to the typical results obtained by using different qiskit optimization levels. Our method can be applied to different gate sets and scales well with an arbitrary number of qubits.
△ Less
Submitted 20 February, 2025;
originally announced February 2025.
-
One for All: Universal Quantum Conic Programming Framework for Hard-Constrained Combinatorial Optimization Problems
Authors:
Lennart Binkowski,
Tobias J. Osborne,
Marvin Schwiering,
René Schwonnek,
Timo Ziegler
Abstract:
We present a unified quantum-classical framework for addressing NP-complete constrained combinatorial optimization problems, generalizing the recently proposed Quantum Conic Programming (QCP) approach. Accordingly, it inherits many favorable properties of the original proposal such as mitigation of the effects of barren plateaus and avoidance of NP-hard parameter optimization. By collecting the en…
▽ More
We present a unified quantum-classical framework for addressing NP-complete constrained combinatorial optimization problems, generalizing the recently proposed Quantum Conic Programming (QCP) approach. Accordingly, it inherits many favorable properties of the original proposal such as mitigation of the effects of barren plateaus and avoidance of NP-hard parameter optimization. By collecting the entire classical feasibility structure in a single constraint, we enlarge QCP's scope to arbitrary hard-constrained problems. Yet, we prove that the additional restriction is mild enough to still allow for an efficient parameter optimization via the formulation of a generalized eigenvalue problem (GEP) of adaptable dimension. Our rigorous proof further fills some apparent gaps in prior derivations of GEPs from parameter optimization problems. We further detail a measurement protocol for formulating the classical parameter optimization that does not require us to implement any (time evolution with a) problem-specific objective Hamiltonian or a quantum feasibility oracle. Lastly, we prove that, even under the influence of noise, QCP's parameterized ansatz class always captures the optimum attainable within its generated subcone. All of our results hold true for arbitrarily-constrained combinatorial optimization problems.
△ Less
Submitted 1 November, 2024;
originally announced November 2024.
-
Valley separation of photoexcited carriers in bilayer graphene
Authors:
T. J. Osborne,
M. E. Portnoi,
E. Mariani
Abstract:
We derive the angular generation density of photoexcited carriers in gapless and gapped Bernal bilayer graphene. Exploiting the strong anisotropy of the band structure of bilayer graphene at low energies due to trigonal warping, we show that charge carriers belonging to different valleys propagate to different sides of the light spot upon photoexcitation. Importantly, in this low-energy regime, in…
▽ More
We derive the angular generation density of photoexcited carriers in gapless and gapped Bernal bilayer graphene. Exploiting the strong anisotropy of the band structure of bilayer graphene at low energies due to trigonal warping, we show that charge carriers belonging to different valleys propagate to different sides of the light spot upon photoexcitation. Importantly, in this low-energy regime, inter-valley electron-phonon scattering is suppressed, thereby protecting the valley index. This optically induced valley polarisation can be further enhanced via momentum alignment associated with linearly-polarised light. We then consider gapped bilayer graphene (for example with the gap induced by external top- and back-gates) and show that it exhibits valley-dependent optical selection rules with circularly-polarised light analogous to other gapped Dirac materials, such as transition metal dichalcogenides. Consequently, gapped bilayer graphene can be exploited to optically detect valley polarisation. Thus, we predict an optical valley Hall effect - the emission of two different circular polarisations from different sides of the light spot, upon linearly-polarised excitation. We also propose two realistic experimental setups in gapless and gapped bilayer graphene as a basis for novel optovalleytronic devices operating in the elusive terahertz regime.
△ Less
Submitted 13 September, 2024;
originally announced September 2024.
-
Model-free reinforcement learning with noisy actions for automated experimental control in optics
Authors:
Lea Richtmann,
Viktoria-S. Schmiesing,
Dennis Wilken,
Jan Heine,
Aaron Tranter,
Avishek Anand,
Tobias J. Osborne,
Michèle Heurs
Abstract:
Setting up and controlling optical systems is often a challenging and tedious task. The high number of degrees of freedom to control mirrors, lenses, or phases of light makes automatic control challenging, especially when the complexity of the system cannot be adequately modeled due to noise or non-linearities. Here, we show that reinforcement learning (RL) can overcome these challenges when coupl…
▽ More
Setting up and controlling optical systems is often a challenging and tedious task. The high number of degrees of freedom to control mirrors, lenses, or phases of light makes automatic control challenging, especially when the complexity of the system cannot be adequately modeled due to noise or non-linearities. Here, we show that reinforcement learning (RL) can overcome these challenges when coupling laser light into an optical fiber, using a model-free RL approach that trains directly on the experiment without pre-training. By utilizing the sample-efficient algorithms Soft Actor-Critic (SAC) or Truncated Quantile Critics (TQC), our agent learns to couple with 90% efficiency, comparable to the human expert. We demonstrate that direct training on an experiment can replace extensive system modeling. Our result exemplifies RL's potential to tackle problems in optics, paving the way for more complex applications where full noise modeling is not feasible.
△ Less
Submitted 13 February, 2025; v1 submitted 24 May, 2024;
originally announced May 2024.
-
The evolution of expanding spacetime realizes approximate quantum cloning
Authors:
Laura Niermann,
Tobias J. Osborne
Abstract:
We investigate how quantum information, encoded in a quantum field, evolves during the expansion of spacetime. Due to information loss across the horizon, a local observer experiences this evolution as a nonunitary quantum channel. We obtain this channel in the case of de Sitter spacetime by assuming the initial global state encodes a signal state via fluctuations of the Bunch-Davies vacuum. Notab…
▽ More
We investigate how quantum information, encoded in a quantum field, evolves during the expansion of spacetime. Due to information loss across the horizon, a local observer experiences this evolution as a nonunitary quantum channel. We obtain this channel in the case of de Sitter spacetime by assuming the initial global state encodes a signal state via fluctuations of the Bunch-Davies vacuum. Notably, de Sitter evolution exhibits intriguing cloning properties, establishing a connection between the curvature of spacetime and the propagation of quantum information.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Simulation of a Rohksar-Kivelson ladder on a NISQ device
Authors:
Sabhyata Gupta,
Younes Javanmard,
Tobias J. Osborne,
Luis Santos
Abstract:
We present a quantum-classical algorithm to study the dynamics of the Rohksar-Kivelson plaquette ladder on NISQ devices. We show that complexity is largely reduced using gauge invariance, additional symmetries, and a crucial property associated to how plaquettes are blocked against ring-exchange in the ladder geometry. This allows for an efficient simulation of sizable plaquette ladders with a sma…
▽ More
We present a quantum-classical algorithm to study the dynamics of the Rohksar-Kivelson plaquette ladder on NISQ devices. We show that complexity is largely reduced using gauge invariance, additional symmetries, and a crucial property associated to how plaquettes are blocked against ring-exchange in the ladder geometry. This allows for an efficient simulation of sizable plaquette ladders with a small number of qubits, well suited for the capabilities of present NISQ devices. We illustrate the procedure for ladders with simulation of up to $8$ plaquettes in an IBM-Q machine, employing scaled quantum gates.
△ Less
Submitted 30 January, 2024; v1 submitted 29 January, 2024;
originally announced January 2024.
-
Matrix product state ansatz for the variational quantum solution of the Heisenberg model on Kagome geometries
Authors:
Younes Javanmard,
Ugne Liaubaite,
Tobias J. Osborne,
Xusheng Xu,
Man-Hong Yung
Abstract:
The Variational Quantum Eigensolver (VQE) algorithm, as applied to finding the ground state of a Hamiltonian, is particularly well-suited for deployment on noisy intermediate-scale quantum (NISQ) devices. Here we utilize the VQE algorithm with a quantum circuit ansatz inspired by the Density Matrix Renormalization Group (DMRG) algorithm. To ameliorate the impact of realistic noise on the performan…
▽ More
The Variational Quantum Eigensolver (VQE) algorithm, as applied to finding the ground state of a Hamiltonian, is particularly well-suited for deployment on noisy intermediate-scale quantum (NISQ) devices. Here we utilize the VQE algorithm with a quantum circuit ansatz inspired by the Density Matrix Renormalization Group (DMRG) algorithm. To ameliorate the impact of realistic noise on the performance of the method we employ zero-noise extrapolation. We find that, with realistic error rates, our DMRG-VQE hybrid algorithm delivers good results for strongly correlated systems. We illustrate our approach with the Heisenberg model on a Kagome lattice patch and demonstrate that DMRG-VQE hybrid methods can locate, and faithfully represent the physics of, the ground state of such systems. Moreover, the parameterized ansatz circuit used in this work is low-depth and requires a reasonably small number of parameters, so is efficient for NISQ devices.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
Realistic Runtime Analysis for Quantum Simplex Computation
Authors:
Sabrina Ammann,
Maximilian Hess,
Debora Ramacciotti,
Sándor P. Fekete,
Paulina L. A. Goedicke,
David Gross,
Andreea Lefterovici,
Tobias J. Osborne,
Michael Perk,
Antonio Rotundo,
S. E. Skelton,
Sebastian Stiller,
Timo de Wolff
Abstract:
In recent years, strong expectations have been raised for the possible power of quantum computing for solving difficult optimization problems, based on theoretical, asymptotic worst-case bounds. Can we expect this to have consequences for Linear and Integer Programming when solving instances of practically relevant size, a fundamental goal of Mathematical Programming, Operations Research and Algor…
▽ More
In recent years, strong expectations have been raised for the possible power of quantum computing for solving difficult optimization problems, based on theoretical, asymptotic worst-case bounds. Can we expect this to have consequences for Linear and Integer Programming when solving instances of practically relevant size, a fundamental goal of Mathematical Programming, Operations Research and Algorithm Engineering? Answering this question faces a crucial impediment: The lack of sufficiently large quantum platforms prevents performing real-world tests for comparison with classical methods.
In this paper, we present a quantum analog for classical runtime analysis when solving real-world instances of important optimization problems. To this end, we measure the expected practical performance of quantum computers by analyzing the expected gate complexity of a quantum algorithm. The lack of practical quantum platforms for experimental comparison is addressed by hybrid benchmarking, in which the algorithm is performed on a classical system, logging the expected cost of the various subroutines that are employed by the quantum versions. In particular, we provide an analysis of quantum methods for Linear Programming, for which recent work has provided asymptotic speedup through quantum subroutines for the Simplex method. We show that a practical quantum advantage for realistic problem sizes would require quantum gate operation times that are considerably below current physical limitations.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
A quantum algorithm for solving 0-1 Knapsack problems
Authors:
Sören Wilkening,
Andreea-Iulia Lefterovici,
Lennart Binkowski,
Michael Perk,
Sándor Fekete,
Tobias J. Osborne
Abstract:
Here we present two novel contributions for achieving quantum advantage in solving difficult optimisation problems, both in theory and foreseeable practice. (1) We introduce the "Quantum Tree Generator", an approach to generate in superposition all feasible solutions of a given instance, yielding together with amplitude amplification the optimal solutions for 0-1 knapsack problems. The QTG offers…
▽ More
Here we present two novel contributions for achieving quantum advantage in solving difficult optimisation problems, both in theory and foreseeable practice. (1) We introduce the "Quantum Tree Generator", an approach to generate in superposition all feasible solutions of a given instance, yielding together with amplitude amplification the optimal solutions for 0-1 knapsack problems. The QTG offers massive memory savings and enables competitive runtimes compared to the classical state-of-the-art knapsack solvers (such as COMBO, Gurobi, CP-SAT, Greedy) already for instances involving as few as 100 variables. (2) By introducing a new runtime calculation technique that exploits logging data from the classical solver COMBO, we can predict the runtime of our method way beyond the range of existing quantum platforms and simulators, for various benchmark instances with up to 600 variables. Combining both of these innovations, we demonstrate the QTG's potential practical quantum advantage for large-scale problems, indicating an effective approach for combinatorial optimisation problems.
△ Less
Submitted 19 November, 2024; v1 submitted 10 October, 2023;
originally announced October 2023.
-
From barren plateaus through fertile valleys: Conic extensions of parameterised quantum circuits
Authors:
Lennart Binkowski,
Gereon Koßmann,
Tobias J. Osborne,
René Schwonnek,
Timo Ziegler
Abstract:
Optimisation via parameterised quantum circuits is the prevalent technique of near-term quantum algorithms. However, the omnipresent phenomenon of barren plateaus - parameter regions with vanishing gradients - sets a persistent hurdle that drastically diminishes its success in practice. In this work, we introduce an approach - based on non-unitary operations - that favours jumps out of a barren pl…
▽ More
Optimisation via parameterised quantum circuits is the prevalent technique of near-term quantum algorithms. However, the omnipresent phenomenon of barren plateaus - parameter regions with vanishing gradients - sets a persistent hurdle that drastically diminishes its success in practice. In this work, we introduce an approach - based on non-unitary operations - that favours jumps out of a barren plateau into a fertile valley. These operations are constructed from conic extensions of parameterised unitary quantum circuits, relying on mid-circuit measurements and a small ancilla system. We further reduce the problem of finding optimal jump directions to a low-dimensional generalised eigenvalue problem. As a proof of concept we incorporate jumps within state-of-the-art implementations of the Quantum Approximate Optimisation Algorithm (QAOA). We demonstrate the extensions' effectiveness on QAOA through extensive simulations, showcasing robustness against barren plateaus and highly improved sampling probabilities of optimal solutions.
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
Monte Carlo Graph Search for Quantum Circuit Optimization
Authors:
Bodo Rosenhahn,
Tobias J. Osborne
Abstract:
The building blocks of quantum algorithms and software are quantum gates, with the appropriate combination of quantum gates leading to a desired quantum circuit. Deep expert knowledge is necessary to discover effective combinations of quantum gates to achieve a desired quantum algorithm for solving a specific task. This is especially challenging for quantum machine learning and signal processing.…
▽ More
The building blocks of quantum algorithms and software are quantum gates, with the appropriate combination of quantum gates leading to a desired quantum circuit. Deep expert knowledge is necessary to discover effective combinations of quantum gates to achieve a desired quantum algorithm for solving a specific task. This is especially challenging for quantum machine learning and signal processing. For example, it is not trivial to design a quantum Fourier transform from scratch. This work proposes a quantum architecture search algorithm which is based on a Monte Carlo graph search and measures of importance sampling. It is applicable to the optimization of gate order, both for discrete gates, as well as gates containing continuous variables. Several numerical experiments demonstrate the applicability of the proposed method for the automatic discovery of quantum circuits.
△ Less
Submitted 14 July, 2023;
originally announced July 2023.
-
On the renormalization group fixed point of the two-dimensional Ising model at criticality
Authors:
Tobias J. Osborne,
Alexander Stottmeister
Abstract:
We analyze the renormalization group fixed point of the two-dimensional Ising model at criticality. In contrast with expectations from tensor network renormalization (TNR), we show that a simple, explicit analytic description of this fixed point using operator-algebraic renormalization (OAR) is possible. Specifically, the fixed point is characterized in terms of spin-spin correlation functions. Ex…
▽ More
We analyze the renormalization group fixed point of the two-dimensional Ising model at criticality. In contrast with expectations from tensor network renormalization (TNR), we show that a simple, explicit analytic description of this fixed point using operator-algebraic renormalization (OAR) is possible. Specifically, the fixed point is characterized in terms of spin-spin correlation functions. Explicit error bounds for the approximation of continuum correlation functions are given.
△ Less
Submitted 6 April, 2023;
originally announced April 2023.
-
Quantum simulation of dynamical phase transitions in noisy quantum devices
Authors:
Younes Javanmard,
Ugne Liaubaite,
Tobias J. Osborne,
Luis Santos
Abstract:
Zero-noise extrapolation provides an especially useful error mitigation method for noisy intermediate-scale quantum devices. Our analysis, based on matrix product density operators, of the transverse-field Ising model with depolarizing noise, reveals both advantages and inherent problems associated with zero-noise extrapolation when simulating non-equilibrium many-body dynamics. On the one hand, i…
▽ More
Zero-noise extrapolation provides an especially useful error mitigation method for noisy intermediate-scale quantum devices. Our analysis, based on matrix product density operators, of the transverse-field Ising model with depolarizing noise, reveals both advantages and inherent problems associated with zero-noise extrapolation when simulating non-equilibrium many-body dynamics. On the one hand, interestingly, noise alters systematically the behavior of the Loschmidt echo at the dynamical phase transition times, doubling the number of non-analytic points, and hence inducing an error that, inherently, cannot be mitigated. On the other, zero-noise extrapolation may be employed to recover quantum revivals of the Loschmidt echo, which would be completely missed in the absence of mitigation, and to retrieve faithfully noise-free inter-site correlations. Our results, which are in good agreement with those obtained using quantum simulators, reveal the potential of matrix product density operators for the investigation of the performance of quantum devices with a large number of qubits and deep noisy quantum circuits.
△ Less
Submitted 15 November, 2022;
originally announced November 2022.
-
Reviving product states in the disordered Heisenberg chain
Authors:
Henrik Wilming,
Tobias J. Osborne,
Kevin S. C. Decker,
Christoph Karrasch
Abstract:
When a generic quantum system is prepared in a simple initial condition, it typically equilibrates toward a state that can be described by a thermal ensemble. A known exception are localized systems which are non-ergodic and do not thermalize, however local observables are still believed to become stationary. Here we demonstrate that this general picture is incomplete by constructing product state…
▽ More
When a generic quantum system is prepared in a simple initial condition, it typically equilibrates toward a state that can be described by a thermal ensemble. A known exception are localized systems which are non-ergodic and do not thermalize, however local observables are still believed to become stationary. Here we demonstrate that this general picture is incomplete by constructing product states which feature periodic high-fidelity revivals of the full wavefunction and local observables that oscillate indefinitely. The system neither equilibrates nor thermalizes. This is analogous to the phenomenon of weak ergodicity breaking due to many-body scars and challenges aspects of the current MBL phenomenology, such as the logarithmic growth of the entanglement entropy. To support our claim, we combine analytic arguments with large-scale tensor network numerics for the disordered Heisenberg chain. Our results hold for arbitrarily long times in chains of 160 sites up to machine precision.
△ Less
Submitted 16 November, 2023; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Quantized and maximum entanglement from sublattice symmetry
Authors:
Henrik Wilming,
Tobias J. Osborne
Abstract:
We observe that the many-body eigenstates of any quadratic, fermionic Hamiltonian with sublattice symmetry have quantized entanglement entropies between the sublattices: the entanglement comes in multiple singlets. Moreover, such systems always have a ground state that is maximally entangled between the two sublattices. In fact we also show that under the same assumptions there always exists a (po…
▽ More
We observe that the many-body eigenstates of any quadratic, fermionic Hamiltonian with sublattice symmetry have quantized entanglement entropies between the sublattices: the entanglement comes in multiple singlets. Moreover, such systems always have a ground state that is maximally entangled between the two sublattices. In fact we also show that under the same assumptions there always exists a (potentially distinct) basis of energy eigenstates that do not conserve the particle number in which each energy eigenstate is maximally entangled between the sublattices. No additional properties, such as translation invariance, are required. We also show that the quantization of ground state entanglement may persist when interactions are introduced.
△ Less
Submitted 24 February, 2023; v1 submitted 30 December, 2021;
originally announced December 2021.
-
Quantum Simulation of Conformal Field Theory
Authors:
Tobias J. Osborne,
Alexander Stottmeister
Abstract:
Conformal field theory, describing systems with scaling symmetry, plays a crucial role throughout physics. We describe a quantum algorithm to simulate the dynamics of conformal field theories, including the action of local conformal transformations. A full analysis of the approximation errors suggests near-term applicability of our algorithm: promising results for conformal field theories with cen…
▽ More
Conformal field theory, describing systems with scaling symmetry, plays a crucial role throughout physics. We describe a quantum algorithm to simulate the dynamics of conformal field theories, including the action of local conformal transformations. A full analysis of the approximation errors suggests near-term applicability of our algorithm: promising results for conformal field theories with central charge c=1/2 are obtained already with 128 logical qubits.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
Conformal field theory from lattice fermions
Authors:
Tobias J. Osborne,
Alexander Stottmeister
Abstract:
We provide a rigorous lattice approximation of conformal field theories given in terms of lattice fermions in 1+1-dimensions, focussing on free fermion models and Wess-Zumino-Witten models. To this end, we utilize a recently introduced operator-algebraic framework for Wilson-Kadanoff renormalization. In this setting, we prove the convergence of the approximation of the Virasoro generators by the K…
▽ More
We provide a rigorous lattice approximation of conformal field theories given in terms of lattice fermions in 1+1-dimensions, focussing on free fermion models and Wess-Zumino-Witten models. To this end, we utilize a recently introduced operator-algebraic framework for Wilson-Kadanoff renormalization. In this setting, we prove the convergence of the approximation of the Virasoro generators by the Koo-Saleur formula. From this, we deduce the convergence of lattice approximations of conformal correlation functions to their continuum limit. In addition, we show how these results lead to explicit error estimates pertaining to the quantum simulation of conformal field theories.
△ Less
Submitted 24 November, 2022; v1 submitted 29 July, 2021;
originally announced July 2021.
-
Extremal Steering Assemblages
Authors:
Thomas Cope,
Tobias J. Osborne
Abstract:
Non-local correlations between a fully characterised quantum system and an untrusted black box device are described by an assemblage of conditional quantum states. These assemblages form a convex set, whose extremal points are relevant in many operational contexts. We give necessary and sufficient conditions for an assemblage to be extremal using linear independence conditions, and an algorithm to…
▽ More
Non-local correlations between a fully characterised quantum system and an untrusted black box device are described by an assemblage of conditional quantum states. These assemblages form a convex set, whose extremal points are relevant in many operational contexts. We give necessary and sufficient conditions for an assemblage to be extremal using linear independence conditions, and an algorithm to decompose a generic assemblage into extremal points. A Matlab implementation of this algorithm is provided in the supplementary material.
△ Less
Submitted 15 July, 2021;
originally announced July 2021.
-
Training Quantum Neural Networks on NISQ Devices
Authors:
Kerstin Beer,
Daniel List,
Gabriel Müller,
Tobias J. Osborne,
Christian Struckmann
Abstract:
The advent of noisy intermediate-scale quantum (NISQ) devices offers crucial opportunities for the development of quantum algorithms. Here we evaluate the noise tolerance of two quantum neural network (QNN) architectures on IBM's NISQ devices, namely, dissipative QNN (DQNN) whose building-block perceptron is a completely positive map, and the quantum approximate optimization algorithm (QAOA). We c…
▽ More
The advent of noisy intermediate-scale quantum (NISQ) devices offers crucial opportunities for the development of quantum algorithms. Here we evaluate the noise tolerance of two quantum neural network (QNN) architectures on IBM's NISQ devices, namely, dissipative QNN (DQNN) whose building-block perceptron is a completely positive map, and the quantum approximate optimization algorithm (QAOA). We compare these two approaches to learning an unknown unitary. While both networks succeed in this learning task, we find that a DQNN learns an unknown unitary more reliably than QAOA and is less susceptible to gate noise.
△ Less
Submitted 13 April, 2021;
originally announced April 2021.
-
Quantum machine learning of graph-structured data
Authors:
Kerstin Beer,
Megha Khosla,
Julius Köhler,
Tobias J. Osborne
Abstract:
Graph structures are ubiquitous throughout the natural sciences. Here we consider graph-structured quantum data and describe how to carry out its quantum machine learning via quantum neural networks. In particular, we consider training data in the form of pairs of input and output quantum states associated with the vertices of a graph, together with edges encoding correlations between the vertices…
▽ More
Graph structures are ubiquitous throughout the natural sciences. Here we consider graph-structured quantum data and describe how to carry out its quantum machine learning via quantum neural networks. In particular, we consider training data in the form of pairs of input and output quantum states associated with the vertices of a graph, together with edges encoding correlations between the vertices. We explain how to systematically exploit this additional graph structure to improve quantum learning algorithms. These algorithms are numerically simulated and exhibit excellent learning behavior. Scalable quantum implementations of the learning procedures are likely feasible on the next generation of quantum computing devices.
△ Less
Submitted 19 March, 2021;
originally announced March 2021.
-
Holographic networks for (1+1)-dimensional de Sitter spacetime
Authors:
Laura Niermann,
Tobias J. Osborne
Abstract:
Holographic tensor networks associated to tilings of (1+1)-dimensional de Sitter spacetime are introduced. Basic features of these networks are discussed, compared, and contrasted with conjectured properties of quantum gravity in de Sitter spacetime. Notably, we highlight a correspondence between the quantum information capacity of the network and the cosmological constant.
Holographic tensor networks associated to tilings of (1+1)-dimensional de Sitter spacetime are introduced. Basic features of these networks are discussed, compared, and contrasted with conjectured properties of quantum gravity in de Sitter spacetime. Notably, we highlight a correspondence between the quantum information capacity of the network and the cosmological constant.
△ Less
Submitted 18 February, 2021;
originally announced February 2021.
-
No Free Lunch for Quantum Machine Learning
Authors:
Kyle Poland,
Kerstin Beer,
Tobias J. Osborne
Abstract:
The ultimate limits for the quantum machine learning of quantum data are investigated by obtaining a generalisation of the celebrated No Free Lunch (NFL) theorem. We find a lower bound on the quantum risk (the probability that a trained hypothesis is incorrect when presented with a random input) of a quantum learning algorithm trained via pairs of input and output states when averaged over trainin…
▽ More
The ultimate limits for the quantum machine learning of quantum data are investigated by obtaining a generalisation of the celebrated No Free Lunch (NFL) theorem. We find a lower bound on the quantum risk (the probability that a trained hypothesis is incorrect when presented with a random input) of a quantum learning algorithm trained via pairs of input and output states when averaged over training pairs and unitaries. The bound is illustrated using a recently introduced QNN architecture.
△ Less
Submitted 31 March, 2020;
originally announced March 2020.
-
Gauging Defects in Quantum Spin Systems
Authors:
Jacob C. Bridgeman,
Alexander Hahn,
Tobias J. Osborne,
Ramona Wolf
Abstract:
The goal of this work is to build a dynamical theory of defects for quantum spin systems. A kinematic theory for an indefinite number of defects is first introduced exploiting distinguishable Fock space. Dynamics are then incorporated by allowing the defects to become mobile via a microscopic Hamiltonian. This construction is extended to topologically ordered systems by restricting to the ground s…
▽ More
The goal of this work is to build a dynamical theory of defects for quantum spin systems. A kinematic theory for an indefinite number of defects is first introduced exploiting distinguishable Fock space. Dynamics are then incorporated by allowing the defects to become mobile via a microscopic Hamiltonian. This construction is extended to topologically ordered systems by restricting to the ground state eigenspace of Hamiltonians generalizing the golden chain. We illustrate the construction with the example of a spin chain with $\mathbf{Vec}(\mathbb{Z}/2\mathbb{Z})$ fusion rules, employing generalized tube algebra techniques to model the defects in the chain. The resulting dynamical defect model is equivalent to the critical transverse Ising model.
△ Less
Submitted 23 October, 2019;
originally announced October 2019.
-
Tensor-Network Approach for Quantum Metrology in Many-Body Quantum Systems
Authors:
Krzysztof Chabuda,
Jacek Dziarmaga,
Tobias J. Osborne,
Rafal Demkowicz-Dobrzanski
Abstract:
Identification of the optimal quantum metrological protocols in realistic many particle quantum models is in general a challenge that cannot be efficiently addressed by the state-of-the-art numerical and analytical methods. Here we provide a comprehensive framework exploiting matrix product operators (MPO) type tensor networks for quantum metrological problems. Thanks to the fact that the MPO form…
▽ More
Identification of the optimal quantum metrological protocols in realistic many particle quantum models is in general a challenge that cannot be efficiently addressed by the state-of-the-art numerical and analytical methods. Here we provide a comprehensive framework exploiting matrix product operators (MPO) type tensor networks for quantum metrological problems. Thanks to the fact that the MPO formalism allows for an efficient description of short-range spatial and temporal noise correlations, the maximal achievable estimation precision in such models, as well as the optimal probe states in previously inaccessible regimes can be identified. Moreover, the application of infinite MPO (iMPO) techniques allows for a direct and efficient determination of the asymptotic precision of optimal protocols in the limit of infinite particle numbers. We illustrate the potential of our framework in terms of an atomic clock stabilization (temporal noise correlation) example as well as for magnetic field sensing in the presence of locally correlated magnetic field fluctuations (spatial noise correlations). As a byproduct, the developed methods for calculating the quantum Fisher information via MPOs may be used to calculate the fidelity susceptibility - a parameter widely used in many-body physics to study phase transitions.
△ Less
Submitted 16 January, 2020; v1 submitted 6 June, 2019;
originally announced June 2019.
-
The F-Symbols for the H3 Fusion Category
Authors:
Tobias J. Osborne,
Deniz E. Stiegemann,
Ramona Wolf
Abstract:
We present a solution for the F-symbols of the H3 fusion category, which is Morita equivalent to the even parts of the Haagerup subfactor. This solution has been computed by solving the pentagon equations and using several properties of trivalent categories.
We present a solution for the F-symbols of the H3 fusion category, which is Morita equivalent to the even parts of the Haagerup subfactor. This solution has been computed by solving the pentagon equations and using several properties of trivalent categories.
△ Less
Submitted 4 June, 2019;
originally announced June 2019.
-
Quantum fields for unitary representations of Thompson's groups F and T
Authors:
Tobias J. Osborne,
Deniz E. Stiegemann
Abstract:
We describe how to define observables analogous to quantum fields for the semicontinuous limit recently introduced by Jones in the study of unitary representations of Thompson's groups $F$ and $T$. We find that, in terms of correlation functions of these fields, one can deduce quantities resembling the conformal data, i.e., primary fields, scaling dimensions, and the operator product expansion. Ex…
▽ More
We describe how to define observables analogous to quantum fields for the semicontinuous limit recently introduced by Jones in the study of unitary representations of Thompson's groups $F$ and $T$. We find that, in terms of correlation functions of these fields, one can deduce quantities resembling the conformal data, i.e., primary fields, scaling dimensions, and the operator product expansion. Examples coming from quantum spin systems and anyon chains built on the trivalent category $\mathit{SO}(3)_q$ are studied.
△ Less
Submitted 24 November, 2020; v1 submitted 1 March, 2019;
originally announced March 2019.
-
Efficient Learning for Deep Quantum Neural Networks
Authors:
Kerstin Beer,
Dmytro Bondarenko,
Terry Farrelly,
Tobias J. Osborne,
Robert Salzmann,
Ramona Wolf
Abstract:
Neural networks enjoy widespread success in both research and industry and, with the imminent advent of quantum technology, it is now a crucial challenge to design quantum neural networks for fully quantum learning tasks. Here we propose the use of quantum neurons as a building block for quantum feed-forward neural networks capable of universal quantum computation. We describe the efficient traini…
▽ More
Neural networks enjoy widespread success in both research and industry and, with the imminent advent of quantum technology, it is now a crucial challenge to design quantum neural networks for fully quantum learning tasks. Here we propose the use of quantum neurons as a building block for quantum feed-forward neural networks capable of universal quantum computation. We describe the efficient training of these networks using the fidelity as a cost function and provide both classical and efficient quantum implementations. Our method allows for fast optimisation with reduced memory requirements: the number of qudits required scales with only the width, allowing the optimisation of deep networks. We benchmark our proposal for the quantum task of learning an unknown unitary and find remarkable generalisation behaviour and a striking robustness to noisy training data.
△ Less
Submitted 27 February, 2019;
originally announced February 2019.
-
Continuum Limits of Quantum Lattice Systems
Authors:
Tobias J. Osborne
Abstract:
We describe a general procedure to give effective continuous descriptions of quantum lattice systems in terms of quantum fields. There are two key novelties of our method: firstly, it is framed in the hamiltonian setting and applies equally to distinguishable quantum spins, bosons, and fermions and, secondly, it works for arbitrary variational tensor network states and can easily produce computabl…
▽ More
We describe a general procedure to give effective continuous descriptions of quantum lattice systems in terms of quantum fields. There are two key novelties of our method: firstly, it is framed in the hamiltonian setting and applies equally to distinguishable quantum spins, bosons, and fermions and, secondly, it works for arbitrary variational tensor network states and can easily produce computable non-gaussian quantum field states. Our construction extends the mean-field fluctuation formalism of Hepp and Lieb (developed later by Verbeure and coworkers) to identify emergent continuous large-scale degrees of freedom - the continuous degrees of freedom are not identified beforehand. We apply the construction to to tensor network states, including, matrix product states and projected entangled-pair states, where we recover their recently introduced continuous counterparts, and also for tree tensor networks and the multi-scale entanglement renormalisation ansatz. Finally, extending the continuum limit to include dynamics we obtain a strict light cone for the propagation of information.
△ Less
Submitted 18 January, 2019;
originally announced January 2019.
-
From categories to anyons: a travelogue
Authors:
Kerstin Beer,
Dmytro Bondarenko,
Alexander Hahn,
Maria Kalabakov,
Nicole Knust,
Laura Niermann,
Tobias J. Osborne,
Christin Schridde,
Stefan Seckmeyer,
Deniz E. Stiegemann,
Ramona Wolf
Abstract:
In this paper we provide an overview of category theory, focussing on applications in physics. The route we follow is motivated by the final goal of understanding anyons and topological QFTs using category theory. This entails introducing modular tensor categories and fusion rings. Rather than providing an in-depth mathematical development we concentrate instead on presenting the "highlights for a…
▽ More
In this paper we provide an overview of category theory, focussing on applications in physics. The route we follow is motivated by the final goal of understanding anyons and topological QFTs using category theory. This entails introducing modular tensor categories and fusion rings. Rather than providing an in-depth mathematical development we concentrate instead on presenting the "highlights for a physicist".
△ Less
Submitted 11 December, 2018; v1 submitted 14 November, 2018;
originally announced November 2018.
-
Stochastic Integral Representation for the Dynamics of Disordered Systems
Authors:
Ivana Kurecic,
Tobias J. Osborne
Abstract:
The dynamics of interacting quantum systems in the presence of disorder is studied and an exact representation for disorder-averaged quantities via Ito stochastic calculus is obtained. The stochastic integral representation affords many advantages, including amenability to analytic approximation, applicability to interacting systems, and compatibility with existing tensor network methods. The inte…
▽ More
The dynamics of interacting quantum systems in the presence of disorder is studied and an exact representation for disorder-averaged quantities via Ito stochastic calculus is obtained. The stochastic integral representation affords many advantages, including amenability to analytic approximation, applicability to interacting systems, and compatibility with existing tensor network methods. The integral may be expanded to produce a series of approximations, the first of which already includes all diffusive corrections and, further, is manifestly completely positive. The addition of fluctuations leads to a convergent series of systematic corrections. As examples, expressions for the density of states, spectral form factor, and out-of-time-order correlators for the Anderson model are obtained.
△ Less
Submitted 12 September, 2018;
originally announced September 2018.
-
Perfect tangles
Authors:
Johannes Berger,
Tobias J. Osborne
Abstract:
We introduce perfect tangles for modular tensor categories. These are intended to generalise the perfect tensors first introduced in the context of a toy model for the AdS/CFT correspondence. We construct perfect tangles for several categories of relevance for topological quantum computation, including the Temperley-Lieb, Fibonacci, Kuperberg spider, and Haagerup planar algebras. A general inducti…
▽ More
We introduce perfect tangles for modular tensor categories. These are intended to generalise the perfect tensors first introduced in the context of a toy model for the AdS/CFT correspondence. We construct perfect tangles for several categories of relevance for topological quantum computation, including the Temperley-Lieb, Fibonacci, Kuperberg spider, and Haagerup planar algebras. A general inductive construction proposed by Vaughan Jones for perfect tangles is also described.
△ Less
Submitted 9 April, 2018;
originally announced April 2018.
-
Contextuality and bundle diagrams
Authors:
Kerstin Beer,
Tobias J. Osborne
Abstract:
Contextuality describes the nontrivial dependence of measurement outcomes on particular choices of jointly measurable observables. In this work we review and generalize the bundle diagram representation introduced in [S. Abramsky et al., 24th EACSL Annual Conference on Computer Science Logic, 41, 211-228, (2015)] in order to graphically demonstrate the contextuality of diverse empirical models.
Contextuality describes the nontrivial dependence of measurement outcomes on particular choices of jointly measurable observables. In this work we review and generalize the bundle diagram representation introduced in [S. Abramsky et al., 24th EACSL Annual Conference on Computer Science Logic, 41, 211-228, (2015)] in order to graphically demonstrate the contextuality of diverse empirical models.
△ Less
Submitted 23 February, 2018;
originally announced February 2018.
-
Energy cost of entanglement extraction in complex quantum systems
Authors:
Cedric Beny,
Christopher T. Chubb,
Terry Farrelly,
Tobias J. Osborne
Abstract:
What is the energy cost of extracting entanglement from complex quantum systems? In other words, given a state of a quantum system, how much energy does it cost to extract m EPR pairs? This is an important question, particularly for quantum field theories where the vacuum is generally highly entangled. Here we build a theory to understand the energy cost of entanglement extraction. First, we apply…
▽ More
What is the energy cost of extracting entanglement from complex quantum systems? In other words, given a state of a quantum system, how much energy does it cost to extract m EPR pairs? This is an important question, particularly for quantum field theories where the vacuum is generally highly entangled. Here we build a theory to understand the energy cost of entanglement extraction. First, we apply it to a toy model, and then we define the entanglement temperature, which relates the energy cost to the amount of extracted entanglement. Next, we give a physical argument to find the energy cost of entanglement extraction in some condensed matter and quantum field systems. The energy cost for those quantum field theories depends on the spatial dimension, and in one dimension, for example, it grows exponentially with the number of EPR pairs extracted. Next, we outline some approaches for bounding the energy cost of extracting entanglement in general quantum systems. Finally, we look at the antiferromagnetic Heisenberg and transverse field Ising models numerically to calculate the entanglement temperature using matrix product states.
△ Less
Submitted 17 November, 2017;
originally announced November 2017.
-
Dynamics for holographic codes
Authors:
Tobias J. Osborne,
Deniz E. Stiegemann
Abstract:
We describe how to introduce dynamics for the holographic states and codes introduced by Pastawski, Yoshida, Harlow and Preskill. This task requires the definition of a continuous limit of the kinematical Hilbert space which we argue may be achieved via the semicontinuous limit of Jones. Dynamics is then introduced by building a unitary representation of a group known as Thompson's group T, which…
▽ More
We describe how to introduce dynamics for the holographic states and codes introduced by Pastawski, Yoshida, Harlow and Preskill. This task requires the definition of a continuous limit of the kinematical Hilbert space which we argue may be achieved via the semicontinuous limit of Jones. Dynamics is then introduced by building a unitary representation of a group known as Thompson's group T, which is closely related to the conformal group in 1+1 dimensions. The bulk Hilbert space is realised as a special subspace of the semicontinuous limit Hilbert space spanned by a class of distinguished states which can be assigned a discrete bulk geometry. The analogue of the group of large bulk diffeomorphisms is given by a unitary representation of the Ptolemy group Pt, on the bulk Hilbert space thus realising a toy model of the AdS/CFT correspondence which we call the Pt/T correspondence.
△ Less
Submitted 16 March, 2020; v1 submitted 27 June, 2017;
originally announced June 2017.
-
Relational time in anyonic systems
Authors:
Aleksandrina Nikolova,
Gavin Brennen,
Tobias J. Osborne,
Gerard Milburn,
Thomas M. Stace
Abstract:
In a seminal paper (Page and Wootters 1983) Page and Wootters suggest time evolution could be described solely in terms of correlations between systems and clocks, as a means of dealing with the "problem of time" stemming from vanishing Hamiltonian dynamics in many theories of quantum gravity. Their approach to relational time centres around the existence of a Hamiltonian and the subsequent constr…
▽ More
In a seminal paper (Page and Wootters 1983) Page and Wootters suggest time evolution could be described solely in terms of correlations between systems and clocks, as a means of dealing with the "problem of time" stemming from vanishing Hamiltonian dynamics in many theories of quantum gravity. Their approach to relational time centres around the existence of a Hamiltonian and the subsequent constraint on physical states. In this paper we present a "state-centric" reformulation of the Page and Wootters model better suited to theories which intrinsically lack Hamiltonian dynamics, such as Chern--Simons theories. We describe relational time by encoding logical "clock" qubits into anyons---the topologically protected degrees of freedom in Chern--Simons theories. The timing resolution of such anyonic clocks is determined by the universality of the anyonic braid group, with non-universal models naturally exhibiting discrete time. We exemplify this approach using SU(2)$_2$ anyons and discuss generalizations to other states and models.
△ Less
Submitted 11 May, 2017;
originally announced May 2017.
-
Jones index, secret sharing and total quantum dimension
Authors:
Leander Fiedler,
Pieter Naaijkens,
Tobias J. Osborne
Abstract:
We study the total quantum dimension in the thermodynamic limit of topologically ordered systems. In particular, using the anyons (or superselection sectors) of such models, we define a secret sharing scheme, storing information invisible to a malicious party, and argue that the total quantum dimension quantifies how well we can perform this task. We then argue that this can be made mathematically…
▽ More
We study the total quantum dimension in the thermodynamic limit of topologically ordered systems. In particular, using the anyons (or superselection sectors) of such models, we define a secret sharing scheme, storing information invisible to a malicious party, and argue that the total quantum dimension quantifies how well we can perform this task. We then argue that this can be made mathematically rigorous using the index theory of subfactors, originally due to Jones and later extended by Kosaki and Longo. This theory provides us with a "relative entropy" of two von Neumann algebras and a quantum channel, and we argue how these can be used to quantify how much classical information two parties can hide form an adversary.
We also review the total quantum dimension in finite systems, in particular how it relates to topological entanglement entropy. It is known that the latter also has an interpretation in terms of secret sharing schemes, although this is shown by completely different methods from ours. Our work provides a different and independent take on this, which at the same time is completely mathematically rigorous. This complementary point of view might be beneficial, for example, when studying the stability of the total quantum dimension when the system is perturbed.
△ Less
Submitted 20 December, 2016; v1 submitted 8 August, 2016;
originally announced August 2016.
-
Holographic fluctuations and the principle of minimal complexity
Authors:
Wissam Chemissany,
Tobias J. Osborne
Abstract:
We discuss, from a quantum information perspective, recent proposals of Maldacena, Ryu, Takayanagi, van Raamsdonk, Swingle, and Susskind that spacetime is an emergent property of the quantum entanglement of an associated boundary quantum system. We review the idea that the informational principle of minimal complexity determines a dual holographic bulk spacetime from a minimal quantum circuit U pr…
▽ More
We discuss, from a quantum information perspective, recent proposals of Maldacena, Ryu, Takayanagi, van Raamsdonk, Swingle, and Susskind that spacetime is an emergent property of the quantum entanglement of an associated boundary quantum system. We review the idea that the informational principle of minimal complexity determines a dual holographic bulk spacetime from a minimal quantum circuit U preparing a given boundary state from a trivial reference state. We describe how this idea may be extended to determine the relationship between the fluctuations of the bulk holographic geometry and the fluctuations of the boundary low-energy subspace. In this way we obtain, for every quantum system, an Einstein-like equation of motion for what might be interpreted as a bulk gravity theory dual to the boundary system.
△ Less
Submitted 25 May, 2016;
originally announced May 2016.
-
Quantum Yang-Mills theory: an overview of a programme
Authors:
Ashley Milsted,
Tobias J. Osborne
Abstract:
We present an overview of a programme to understand the low-energy physics of quantum Yang-Mills theory from a quantum-information perspective. Our setting is that of the hamiltonian formulation of pure Yang-Mills theory in the temporal gauge on the lattice. Firstly, inspired by recent constructions for $\mathbb{Z}/2\mathbb{Z}$ lattice gauge theory, in particular, Kitaev's toric code, we describe…
▽ More
We present an overview of a programme to understand the low-energy physics of quantum Yang-Mills theory from a quantum-information perspective. Our setting is that of the hamiltonian formulation of pure Yang-Mills theory in the temporal gauge on the lattice. Firstly, inspired by recent constructions for $\mathbb{Z}/2\mathbb{Z}$ lattice gauge theory, in particular, Kitaev's toric code, we describe the gauge-invariant sector of hilbert space by introducing a primitive quantum gate: the quantum parallel transporter. We then develop a nonabelian generalisation of laplace interpolation to present an ansatz for the ground state of pure Yang-Mills theory which interpolates between the weak- and strong-coupling RG fixed points. The resulting state acquires the structure of a tensor network, namely, a multiscale entanglement renormalisation ansatz, and allows for the efficient computation of local observables and Wilson loops. Various refinements of the tensor network are discussed leading to several generalisations. Finally, the continuum limit of our ansatz as the lattice regulator is removed is then described. This paper is intended as an abstract for an ongoing programme: there are still many open problems.
△ Less
Submitted 9 June, 2020; v1 submitted 7 April, 2016;
originally announced April 2016.
-
Exploring Interacting Quantum Many-Body Systems by Experimentally Creating Continuous Matrix Product States in Superconducting Circuits
Authors:
C. Eichler,
J. Mlynek,
J. Butscher,
P. Kurpiers,
K. Hammerer,
T. J. Osborne,
A. Wallraff
Abstract:
Improving the understanding of strongly correlated quantum many body systems such as gases of interacting atoms or electrons is one of the most important challenges in modern condensed matter physics, materials research and chemistry. Enormous progress has been made in the past decades in developing both classical and quantum approaches to calculate, simulate and experimentally probe the propertie…
▽ More
Improving the understanding of strongly correlated quantum many body systems such as gases of interacting atoms or electrons is one of the most important challenges in modern condensed matter physics, materials research and chemistry. Enormous progress has been made in the past decades in developing both classical and quantum approaches to calculate, simulate and experimentally probe the properties of such systems. In this work we use a combination of classical and quantum methods to experimentally explore the properties of an interacting quantum gas by creating experimental realizations of continuous matrix product states - a class of states which has proven extremely powerful as a variational ansatz for numerical simulations. By systematically preparing and probing these states using a circuit quantum electrodynamics (cQED) system we experimentally determine a good approximation to the ground-state wave function of the Lieb-Liniger Hamiltonian, which describes an interacting Bose gas in one dimension. Since the simulated Hamiltonian is encoded in the measurement observable rather than the controlled quantum system, this approach has the potential to apply to exotic models involving multicomponent interacting fields. Our findings also hint at the possibility of experimentally exploring general properties of matrix product states and entanglement theory. The scheme presented here is applicable to a broad range of systems exploiting strong and tunable light-matter interactions.
△ Less
Submitted 26 August, 2015;
originally announced August 2015.
-
Quantum Gross-Pitaevskii Equation
Authors:
Jutho Haegeman,
Damian Draxler,
Vid Stojevic,
J. Ignacio Cirac,
Tobias J. Osborne,
Frank Verstraete
Abstract:
We introduce a non-commutative generalization of the Gross-Pitaevskii equation for one-dimensional quantum gasses and quantum liquids. This generalization is obtained by applying the time-dependent variational principle to the variational manifold of continuous matrix product states. This allows for a full quantum description of many body system ---including entanglement and correlations--- and th…
▽ More
We introduce a non-commutative generalization of the Gross-Pitaevskii equation for one-dimensional quantum gasses and quantum liquids. This generalization is obtained by applying the time-dependent variational principle to the variational manifold of continuous matrix product states. This allows for a full quantum description of many body system ---including entanglement and correlations--- and thus extends significantly beyond the usual mean-field description of the Gross-Pitaevskii equation, which is known to fail for (quasi) one-dimensional systems. By linearizing around a stationary solution, we furthermore derive an associated generalization of the Bogoliubov -- de Gennes equations. This framework is applied to compute the steady state response amplitude to a periodic perturbation of the potential.
△ Less
Submitted 15 May, 2017; v1 submitted 26 January, 2015;
originally announced January 2015.
-
A Monte Carlo Time-Dependent Variational Principle
Authors:
F. W. G. Transchel,
A. Milsted,
Tobias J. Osborne
Abstract:
We generalize the Time-Dependent Variational Principle (TDVP) to dissipative systems using Monte Carlo methods, allowing the application of existing variational classes for pure states, such as Matrix Product States (MPS), to the simulation of Lindblad master equation dynamics. The key step is to use sampling to approximately solve the Fokker-Planck equation derived from the Lindblad generators. A…
▽ More
We generalize the Time-Dependent Variational Principle (TDVP) to dissipative systems using Monte Carlo methods, allowing the application of existing variational classes for pure states, such as Matrix Product States (MPS), to the simulation of Lindblad master equation dynamics. The key step is to use sampling to approximately solve the Fokker-Planck equation derived from the Lindblad generators. An important computational advantage of this method, compared to other variational approaches to mixed state dynamics, is that it is "embarrassingly parallel".
△ Less
Submitted 20 November, 2014;
originally announced November 2014.
-
Thermal states of random quantum many-body systems
Authors:
Yoshifumi Nakata,
Tobias J. Osborne
Abstract:
We study a distribution of thermal states given by random Hamiltonians with a local structure. We show that the ensemble of thermal states monotonically approaches the unitarily invariant ensemble with decreasing temperature if all particles interact according to a single random interaction and achieves a state $t$-design at temperature $O(1/\log(t))$. For the system where the random interactions…
▽ More
We study a distribution of thermal states given by random Hamiltonians with a local structure. We show that the ensemble of thermal states monotonically approaches the unitarily invariant ensemble with decreasing temperature if all particles interact according to a single random interaction and achieves a state $t$-design at temperature $O(1/\log(t))$. For the system where the random interactions are local, we show that the ensemble achieves a state $1$-design. We then provide numerical evidence indicating that the ensemble undergoes a phase transition at finite temperature.
△ Less
Submitted 26 November, 2014; v1 submitted 23 July, 2014;
originally announced July 2014.
-
Ultracold Chemistry and its Reaction Kinetics
Authors:
Florian Richter,
Daniel Becker,
Cédric Bény,
Torben A. Schulze,
Silke Ospelkaus,
Tobias J. Osborne
Abstract:
We study the reaction kinetics of chemical processes occurring in the ultracold regime and systematically investigate their dynamics. Quantum entanglement is found to play a key role in driving an ultracold reaction towards a dynamical equilibrium. In case of multiple concurrent reactions Hamiltonian chaos dominates the phase space dynamics in the mean field approximation.
We study the reaction kinetics of chemical processes occurring in the ultracold regime and systematically investigate their dynamics. Quantum entanglement is found to play a key role in driving an ultracold reaction towards a dynamical equilibrium. In case of multiple concurrent reactions Hamiltonian chaos dominates the phase space dynamics in the mean field approximation.
△ Less
Submitted 8 January, 2015; v1 submitted 27 May, 2014;
originally announced May 2014.
-
Quantum phases of a chain of strongly interacting anyons
Authors:
Peter E. Finch,
Holger Frahm,
Marius Lewerenz,
Ashley Milsted,
Tobias J. Osborne
Abstract:
We study a strongly interacting chain of anyons with fusion rules determined by SO(5)2. The phase portrait is identified with a combination of numerical and analytical techniques. Several critical phases with different central charges and their corresponding transitions identified.
We study a strongly interacting chain of anyons with fusion rules determined by SO(5)2. The phase portrait is identified with a combination of numerical and analytical techniques. Several critical phases with different central charges and their corresponding transitions identified.
△ Less
Submitted 15 August, 2014; v1 submitted 9 April, 2014;
originally announced April 2014.
-
The renormalisation group via statistical inference
Authors:
Cédric Bény,
Tobias J. Osborne
Abstract:
In physics one attempts to infer the rules governing a system given only the results of imperfect measurements. Hence, microscopic theories may be effectively indistinguishable experimentally. We develop an operationally motivated procedure to identify the corresponding equivalence classes of states, and argue that the renormalisation group arises from the inherent ambiguities associated with the…
▽ More
In physics one attempts to infer the rules governing a system given only the results of imperfect measurements. Hence, microscopic theories may be effectively indistinguishable experimentally. We develop an operationally motivated procedure to identify the corresponding equivalence classes of states, and argue that the renormalisation group arises from the inherent ambiguities associated with the classes: one encounters flow parameters as, e.g., a regulator, a scale, or a measure of precision, which specify representatives in a given equivalence class. This provides a unifying framework and identifies the role played by information in renormalisation. We validate this idea by showing that it justifies the use of low-momenta n-point functions as statistically relevant observables around a gaussian hypothesis. These results enable the calculation of distinguishability in quantum field theory. Our methods also provide a way to extend renormalisation techniques to effective models which are not based on the usual quantum-field formalism, and elucidates the relationships between various type of RG.
△ Less
Submitted 28 July, 2015; v1 submitted 20 February, 2014;
originally announced February 2014.
-
S matrix from matrix product states
Authors:
Laurens Vanderstraeten,
Jutho Haegeman,
Tobias J. Osborne,
Frank Verstraete
Abstract:
We use the matrix product state formalism to construct stationary scattering states of elementary excitations in generic one-dimensional quantum lattice systems. Our method is applied to the spin-1 Heisenberg antiferromagnet, for which we calculate the full magnon-magnon S matrix for arbitrary momenta and spin, the two-particle contribution to the spectral function and the magnetization curve. As…
▽ More
We use the matrix product state formalism to construct stationary scattering states of elementary excitations in generic one-dimensional quantum lattice systems. Our method is applied to the spin-1 Heisenberg antiferromagnet, for which we calculate the full magnon-magnon S matrix for arbitrary momenta and spin, the two-particle contribution to the spectral function and the magnetization curve. As our method provides an accurate microscopic representation of the interaction between elementary excitations, we envisage the description of low-energy dynamics of one-dimensional spin chains in terms of these particlelike excitations.
△ Less
Submitted 8 July, 2014; v1 submitted 24 December, 2013;
originally announced December 2013.
-
Renormalisation as an inference problem
Authors:
Cédric Bény,
Tobias J. Osborne
Abstract:
In physics we attempt to infer the rules governing a system given only the results of imprecise measurements. This is an ill-posed problem because certain features of the system's state cannot be resolved by the measurements. However, by ignoring the irrelevant features, an effective theory can be made for the remaining observable relevant features. We explain how these relevant and irrelevant deg…
▽ More
In physics we attempt to infer the rules governing a system given only the results of imprecise measurements. This is an ill-posed problem because certain features of the system's state cannot be resolved by the measurements. However, by ignoring the irrelevant features, an effective theory can be made for the remaining observable relevant features. We explain how these relevant and irrelevant degrees of freedom can be concretely characterised using quantum distinguishability metrics, thus solving the ill-posed inference problem. This framework then allows us to provide an information-theoretic formulation of the renormalisation group, applicable to both statistical physics and quantum field theory. Using this formulation we show that, given a natural model for an experimentalist's spatial and field-strength measurement uncertainties, the n-point correlation functions of bounded momenta emerge as relevant observables. Our methods also provide a way to extend renormalisation techniques to effective models which are not based on the usual quantum field formalism. In particular, we can explain in elementary terms, using the example of a simple classical system, some of the problems occurring in quantum field theory and their solution.
△ Less
Submitted 1 April, 2014; v1 submitted 11 October, 2013;
originally announced October 2013.
-
Elementary excitations in gapped quantum spin systems
Authors:
Jutho Haegeman,
Spyridon Michalakis,
Bruno Nachtergaele,
Tobias J. Osborne,
Norbert Schuch,
Frank Verstraete
Abstract:
For quantum lattice systems with local interactions, the Lieb-Robinson bound acts as an alternative for the strict causality of relativistic systems and allows to prove many interesting results, in particular when the energy spectrum exhibits an energy gap. In this Letter, we show that for translation invariant systems, simultaneous eigenstates of energy and momentum with an eigenvalue that is sep…
▽ More
For quantum lattice systems with local interactions, the Lieb-Robinson bound acts as an alternative for the strict causality of relativistic systems and allows to prove many interesting results, in particular when the energy spectrum exhibits an energy gap. In this Letter, we show that for translation invariant systems, simultaneous eigenstates of energy and momentum with an eigenvalue that is separated from the rest of the spectrum in that momentum sector, can be arbitrarily well approximated by building a momentum superposition of a local operator acting on the ground state. The error decreases in the size of the support of the local operator, with a rate that is set by the gap below and above the targeted eigenvalue. We show this explicitly for the AKLT model and discuss generalizations and applications of our result.
△ Less
Submitted 13 June, 2013; v1 submitted 9 May, 2013;
originally announced May 2013.
-
Post-Matrix Product State Methods: To tangent space and beyond
Authors:
Jutho Haegeman,
Tobias J. Osborne,
Frank Verstraete
Abstract:
We develop in full detail the formalism of tangent states to the manifold of matrix product states, and show how they naturally appear in studying time-evolution, excitations and spectral functions. We focus on the case of systems with translation invariance in the thermodynamic limit, where momentum is a well defined quantum number. We present some new illustrative results and discuss analogous c…
▽ More
We develop in full detail the formalism of tangent states to the manifold of matrix product states, and show how they naturally appear in studying time-evolution, excitations and spectral functions. We focus on the case of systems with translation invariance in the thermodynamic limit, where momentum is a well defined quantum number. We present some new illustrative results and discuss analogous constructions for other variational classes. We also discuss generalizations and extensions beyond the tangent space, and give a general outlook towards post matrix product methods.
△ Less
Submitted 8 May, 2013;
originally announced May 2013.