-
Double-bracket algorithm for quantum signal processing without post-selection
Authors:
Yudai Suzuki,
Bi Hong Tiang,
Jeongrak Son,
Nelly H. Y. Ng,
Zoë Holmes,
Marek Gluza
Abstract:
Quantum signal processing (QSP), a framework for implementing matrix-valued polynomials, is a fundamental primitive in various quantum algorithms. Despite its versatility, a potentially underappreciated challenge is that all systematic protocols for implementing QSP rely on post-selection. This can impose prohibitive costs for tasks when amplitude amplification cannot sufficiently improve the succ…
▽ More
Quantum signal processing (QSP), a framework for implementing matrix-valued polynomials, is a fundamental primitive in various quantum algorithms. Despite its versatility, a potentially underappreciated challenge is that all systematic protocols for implementing QSP rely on post-selection. This can impose prohibitive costs for tasks when amplitude amplification cannot sufficiently improve the success probability. For example, in the context of ground-state preparation, this occurs when using a too poor initial state. In this work, we introduce a new formula for implementing QSP transformations of Hermitian matrices, which requires neither auxiliary qubits nor post-selection. Rather, using approximation to the exact unitary synthesis, we leverage the theory of the double-bracket quantum algorithms to provide a new quantum algorithm for QSP, termed Double-Bracket QSP (DB-QSP). The algorithm requires the energy and energetic variance of the state to be measured at each step and has a recursive structure, which leads to circuit depths that can grow super exponentially with the degree of the polynomial. With these strengths and caveats in mind, DB-QSP should be viewed as complementing the established QSP toolkit. In particular, DB-QSP can deterministically implement low-degree polynomials to "warm start" QSP methods involving post-selection.
△ Less
Submitted 16 April, 2025; v1 submitted 1 April, 2025;
originally announced April 2025.
-
Role of Riemannian geometry in double-bracket quantum imaginary-time evolution
Authors:
René Zander,
Raphael Seidel,
Li Xiaoyue,
Marek Gluza
Abstract:
Double-bracket quantum imaginary-time evolution (DB-QITE) is a quantum algorithm which coherently implements steps in the Riemannian steepest-descent direction for the energy cost function. DB-QITE is derived from Brockett's double-bracket flow which exhibits saddle points where gradients vanish. In this work, we perform numerical simulations of DB-QITE and describe signatures of transitioning thr…
▽ More
Double-bracket quantum imaginary-time evolution (DB-QITE) is a quantum algorithm which coherently implements steps in the Riemannian steepest-descent direction for the energy cost function. DB-QITE is derived from Brockett's double-bracket flow which exhibits saddle points where gradients vanish. In this work, we perform numerical simulations of DB-QITE and describe signatures of transitioning through the vicinity of such saddle points. We provide an explicit gate count analysis using quantum compilation programmed in Qrisp.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
Double-bracket quantum algorithms for quantum imaginary-time evolution
Authors:
Marek Gluza,
Jeongrak Son,
Bi Hong Tiang,
Yudai Suzuki,
Zoë Holmes,
Nelly H. Y. Ng
Abstract:
Efficiently preparing approximate ground-states of large, strongly correlated systems on quantum hardware is challenging and yet nature is innately adept at this. This has motivated the study of thermodynamically inspired approaches to ground-state preparation that aim to replicate cooling processes via imaginary-time evolution. However, synthesizing quantum circuits that efficiently implement ima…
▽ More
Efficiently preparing approximate ground-states of large, strongly correlated systems on quantum hardware is challenging and yet nature is innately adept at this. This has motivated the study of thermodynamically inspired approaches to ground-state preparation that aim to replicate cooling processes via imaginary-time evolution. However, synthesizing quantum circuits that efficiently implement imaginary-time evolution is itself difficult, with prior proposals generally adopting heuristic variational approaches or using deep block encodings. Here, we use the insight that quantum imaginary-time evolution is a solution of Brockett's double-bracket flow and synthesize circuits that implement double-bracket flows coherently on the quantum computer. We prove that our Double-Bracket Quantum Imaginary-Time Evolution (DB-QITE) algorithm inherits the cooling guarantees of imaginary-time evolution. Concretely, each step is guaranteed to i) decrease the energy of an initial approximate ground-state by an amount proportion to the energy fluctuations of the initial state and ii) increase the fidelity with the ground-state. Thus DB-QITE provides a means to systematically improve the approximation of a ground-state using shallow circuits.
△ Less
Submitted 5 December, 2024;
originally announced December 2024.
-
Strategies for optimizing double-bracket quantum algorithms
Authors:
Li Xiaoyue,
Matteo Robbiati,
Andrea Pasquale,
Edoardo Pedicillo,
Andrew Wright,
Stefano Carrazza,
Marek Gluza
Abstract:
Recently double-bracket quantum algorithms have been proposed as a way to compile circuits for approximating eigenstates. Physically, they consist of appropriately composing evolutions under an input Hamiltonian together with diagonal evolutions. Here, we present strategies to optimize the choice of the double-bracket evolutions to enhance the diagonalization efficiency. This can be done by findin…
▽ More
Recently double-bracket quantum algorithms have been proposed as a way to compile circuits for approximating eigenstates. Physically, they consist of appropriately composing evolutions under an input Hamiltonian together with diagonal evolutions. Here, we present strategies to optimize the choice of the double-bracket evolutions to enhance the diagonalization efficiency. This can be done by finding optimal generators and durations of the evolutions. We present numerical results regarding the preparation of double-bracket iterations, both in ideal cases where the algorithm's setup provides analytical convergence guarantees and in more heuristic cases, where we use an adaptive and variational approach to optimize the generators of the evolutions. As an example, we discuss the efficacy of these optimization strategies when considering a spin-chain Hamiltonian as the target. To propose algorithms that can be executed starting today, fully aware of the limitations of the quantum technologies at our disposal, we finally present a selection of diagonal evolution parametrizations that can be directly compiled into CNOTs and single-qubit rotation gates. We discuss the advantages and limitations of this compilation and propose a way to take advantage of this approach when used in synergy with other existing methods.
△ Less
Submitted 14 August, 2024;
originally announced August 2024.
-
Double-bracket quantum algorithms for high-fidelity ground state preparation
Authors:
Matteo Robbiati,
Edoardo Pedicillo,
Andrea Pasquale,
Xiaoyue Li,
Andrew Wright,
Renato M. S. Farias,
Khanh Uyen Giang,
Jeongrak Son,
Johannes Knörzer,
Siong Thye Goh,
Jun Yong Khoo,
Nelly H. Y. Ng,
Zoë Holmes,
Stefano Carrazza,
Marek Gluza
Abstract:
Ground state preparation is a key area where quantum computers are expected to prove advantageous. Double-bracket quantum algorithms (DBQAs) have been recently proposed to diagonalize Hamiltonians and in this work we show how to use them to prepare ground states. We propose to improve an initial state preparation by adding a few steps of DBQAs. The interfaced method systematically achieves a bette…
▽ More
Ground state preparation is a key area where quantum computers are expected to prove advantageous. Double-bracket quantum algorithms (DBQAs) have been recently proposed to diagonalize Hamiltonians and in this work we show how to use them to prepare ground states. We propose to improve an initial state preparation by adding a few steps of DBQAs. The interfaced method systematically achieves a better fidelity while significantly reducing the computational cost of the procedure. For a Heisenberg model, we compile our algorithm using CZ and single-qubit gates into circuits that match capabilities of near-term quantum devices. Moreover, we show that DBQAs can benefit from the experimental availability of increasing circuit depths. Whenever an approximate ground state can be prepared without exhausting the available circuit depth, then DBQAs can be enlisted to algorithmically seek a higher fidelity preparation.
△ Less
Submitted 7 August, 2024;
originally announced August 2024.
-
Measurement of total phase fluctuation in cold-atomic quantum simulators
Authors:
Taufiq Murtadho,
Federica Cataldini,
Sebastian Erne,
Marek Gluza,
Mohammadamin Tajik,
Jörg Schmiedmayer,
Nelly H. Y. Ng
Abstract:
Studying the dynamics of quantum many-body systems is often constrained by the limitations in probing relevant observables, especially in continuous systems. A powerful method to gain information about such systems is the reconstruction of local currents from the continuity equation. We show that this approach can be used to extract the total phase fluctuation of adjacent Bose gases. We validate o…
▽ More
Studying the dynamics of quantum many-body systems is often constrained by the limitations in probing relevant observables, especially in continuous systems. A powerful method to gain information about such systems is the reconstruction of local currents from the continuity equation. We show that this approach can be used to extract the total phase fluctuation of adjacent Bose gases. We validate our technique numerically and demonstrate its effectiveness by analyzing data from selected experiments simulating 1D quantum field theories through the phase difference of two parallel 1D Bose gases. This analysis reveals the previously hidden sector of the sum mode of the phase, which is important for studying long-time thermalization and out-of-equilibrium dynamics of the system. Our method is general and can be applied to other cold atom systems with spatial phase gradients, thereby expanding the scope and capabilities of cold-atomic quantum simulators.
△ Less
Submitted 21 February, 2025; v1 submitted 7 August, 2024;
originally announced August 2024.
-
High-Fidelity CZ Gates in Double Quantum Dot -- Circuit QED Systems Beyond the Rotating-Wave Approximation
Authors:
Guangzhao Yang,
Marek Gluza,
Si Yan Koh,
Calvin Pei Yu Wong,
Kuan Eng Johnson Goh,
Bent Weber,
Hui Khoon Ng,
Teck Seng Koh
Abstract:
Semiconductor double quantum dot (DQD) qubits coupled via superconducting microwave resonators provide a powerful means of long-range manipulation of the qubits' spin and charge degrees of freedom. Quantum gates can be implemented by parametrically driving the qubits while their transition frequencies are detuned from the resonator frequency. Long-range two-qubit CZ gates have been proposed for th…
▽ More
Semiconductor double quantum dot (DQD) qubits coupled via superconducting microwave resonators provide a powerful means of long-range manipulation of the qubits' spin and charge degrees of freedom. Quantum gates can be implemented by parametrically driving the qubits while their transition frequencies are detuned from the resonator frequency. Long-range two-qubit CZ gates have been proposed for the DQD spin qubit within the rotating-wave approximation (RWA). Rapid gates demand strong coupling, but RWA breaks down when coupling strengths become significant relative to system frequencies. Therefore, understanding the detrimental impact of time-dependent terms ignored by RWA is critical for high-fidelity operation. Here, we go beyond RWA to study CZ gate fidelity for both DQD spin and charge qubits. We propose a novel parametric drive on the charge qubit that produces fewer time-dependent terms and show that it outperforms its spin counterpart. We find that drive amplitude - a parameter dropped in RWA - is critical for optimizing fidelity and map out high-fidelity regimes. Our results demonstrate the necessity of going beyond RWA in understanding how long-range gates can be realized in DQD qubits, with charge qubits offering considerable advantages in high-fidelity operation.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Quantum Dynamic Programming
Authors:
Jeongrak Son,
Marek Gluza,
Ryuji Takagi,
Nelly H. Y. Ng
Abstract:
We introduce a quantum extension of dynamic programming, a fundamental computational method that efficiently solves recursive problems using memory. Our innovation lies in showing how to coherently generate recursion step unitaries by using memorized intermediate quantum states. Quantum dynamic programming achieves an exponential reduction in circuit depth for a broad class of fixed-point quantum…
▽ More
We introduce a quantum extension of dynamic programming, a fundamental computational method that efficiently solves recursive problems using memory. Our innovation lies in showing how to coherently generate recursion step unitaries by using memorized intermediate quantum states. Quantum dynamic programming achieves an exponential reduction in circuit depth for a broad class of fixed-point quantum recursions, though this comes at the cost of increased circuit width. Interestingly, the trade-off becomes more favourable when the initial state is pure. By hybridizing our approach with a conventional memoryless one, we can flexibly balance circuit depth and width to optimize performance on quantum devices with fixed hardware constraints. Finally, we showcase applications of quantum dynamic programming to several quantum recursions, including a variant of Grover's search, quantum imaginary-time evolution, and a new protocol for obliviously preparing a quantum state in its Schmidt basis.
△ Less
Submitted 14 February, 2025; v1 submitted 14 March, 2024;
originally announced March 2024.
-
Systematic analysis of relative phase extraction in one-dimensional Bose gases interferometry
Authors:
Taufiq Murtadho,
Marek Gluza,
Khatee Zathul Arifa,
Sebastian Erne,
Jörg Schmiedmayer,
Nelly H. Y. Ng
Abstract:
Spatially resolved relative phase measurement of two adjacent 1D Bose gases is enabled by matter-wave interference upon free expansion. However, longitudinal dynamics is typically ignored in the analysis of experimental data. We provide an analytical formula showing a correction to the readout of the relative phase due to longitudinal expansion and mixing with the common phase. We numerically asse…
▽ More
Spatially resolved relative phase measurement of two adjacent 1D Bose gases is enabled by matter-wave interference upon free expansion. However, longitudinal dynamics is typically ignored in the analysis of experimental data. We provide an analytical formula showing a correction to the readout of the relative phase due to longitudinal expansion and mixing with the common phase. We numerically assess the error propagation to the estimation of the gases' physical quantities such as correlation functions and temperature. Our work characterizes the reliability and robustness of interferometric measurements, directing us to the improvement of existing phase extraction methods necessary to observe new physical phenomena in cold-atomic quantum simulators.
△ Less
Submitted 26 February, 2025; v1 submitted 8 March, 2024;
originally announced March 2024.
-
Experimental Observation of Curved Light-Cones in a Quantum Field Simulator
Authors:
Mohammadamin Tajik,
Marek Gluza,
Nicolas Sebe,
Philipp Schüttelkopf,
Federica Cataldini,
João Sabino,
Frederik Møller,
Si-Cong Ji,
Sebastian Erne,
Giacomo Guarnieri,
Spyros Sotiriadis,
Jens Eisert,
Jörg Schmiedmayer
Abstract:
We investigate signal propagation in a quantum field simulator of the Klein-Gordon model realized by two strongly coupled parallel one-dimensional quasi-condensates. By measuring local phononic fields after a quench, we observe the propagation of correlations along sharp light-cone fronts. If the local atomic density is inhomogeneous, these propagation fronts are curved. For sharp edges, the propa…
▽ More
We investigate signal propagation in a quantum field simulator of the Klein-Gordon model realized by two strongly coupled parallel one-dimensional quasi-condensates. By measuring local phononic fields after a quench, we observe the propagation of correlations along sharp light-cone fronts. If the local atomic density is inhomogeneous, these propagation fronts are curved. For sharp edges, the propagation fronts are reflected at the system's boundaries. By extracting the space-dependent variation of the front velocity from the data, we find agreement with theoretical predictions based on curved geodesics of an inhomogeneous metric. This work extends the range of quantum simulations of non-equilibrium field dynamics in general spacetime metrics.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
Double-bracket quantum algorithms for diagonalization
Authors:
Marek Gluza
Abstract:
This work proposes double-bracket iterations as a framework for obtaining diagonalizing quantum circuits. Their implementation on a quantum computer consists of interlacing evolutions generated by the input Hamiltonian with diagonal evolutions which can be chosen variationally. No qubit overheads or controlled-unitary operations are needed but the method is recursive which makes the circuit depth…
▽ More
This work proposes double-bracket iterations as a framework for obtaining diagonalizing quantum circuits. Their implementation on a quantum computer consists of interlacing evolutions generated by the input Hamiltonian with diagonal evolutions which can be chosen variationally. No qubit overheads or controlled-unitary operations are needed but the method is recursive which makes the circuit depth grow exponentially with the number of recursion steps. To make near-term implementations viable, the proposal includes optimization of diagonal evolution generators and of recursion step durations. Indeed, thanks to this numerical examples show that the expressive power of double-bracket iterations suffices to approximate eigenstates of relevant quantum models with few recursion steps. Compared to brute-force optimization of unstructured circuits double-bracket iterations do not suffer from the same trainability limitations. Moreover, with an implementation cost lower than required for quantum phase estimation they are more suitable for near-term quantum computing experiments. More broadly, this work opens a pathway for constructing purposeful quantum algorithms based on so-called double-bracket flows also for tasks different from diagonalization and thus enlarges the quantum computing toolkit geared towards practical physics problems.
△ Less
Submitted 8 April, 2024; v1 submitted 23 June, 2022;
originally announced June 2022.
-
Boundary theories of critical matchgate tensor networks
Authors:
Alexander Jahn,
Marek Gluza,
Charlotte Verhoeven,
Sukhbinder Singh,
Jens Eisert
Abstract:
Key aspects of the AdS/CFT correspondence can be captured in terms of tensor network models on hyperbolic lattices. For tensors fulfilling the matchgate constraint, these have previously been shown to produce disordered boundary states whose site-averaged ground state properties match the translation-invariant critical Ising model. In this work, we substantially sharpen this relationship by derivi…
▽ More
Key aspects of the AdS/CFT correspondence can be captured in terms of tensor network models on hyperbolic lattices. For tensors fulfilling the matchgate constraint, these have previously been shown to produce disordered boundary states whose site-averaged ground state properties match the translation-invariant critical Ising model. In this work, we substantially sharpen this relationship by deriving disordered local Hamiltonians generalizing the critical Ising model whose ground and low-energy excited states are accurately represented by the matchgate ansatz without any averaging. We show that these Hamiltonians exhibit multi-scale quasiperiodic symmetries captured by an analytical toy model based on layers of the hyperbolic lattice, breaking the conformal symmetries of the critical Ising model in a controlled manner. We provide a direct identification of correlation functions of ground and low-energy excited states between the disordered and translation-invariant models and give numerical evidence that the former approaches the latter in the large bond dimension limit. This establishes tensor networks on regular hyperbolic tilings as an effective tool for the study of conformal field theories. Furthermore, our numerical probes of the bulk parameters corresponding to boundary excited states constitute a first step towards a tensor network bulk-boundary dictionary between regular hyperbolic geometries and critical boundary states.
△ Less
Submitted 21 April, 2022; v1 submitted 6 October, 2021;
originally announced October 2021.
-
Mechanisms for the emergence of Gaussian correlations
Authors:
Marek Gluza,
Thomas Schweigler,
Mohammadamin Tajik,
João Sabino,
Federica Cataldini,
Frederik S. Møller,
Si-Cong Ji,
Bernhard Rauer,
Jörg Schmiedmayer,
Jens Eisert,
Spyros Sotiriadis
Abstract:
We comprehensively investigate two distinct mechanisms leading to memory loss of non-Gaussian correlations after switching off the interactions in an isolated quantum system undergoing out-of-equilibrium dynamics. The first mechanism is based on spatial scrambling and results in the emergence of locally Gaussian steady states in large systems evolving over long times. The second mechanism, charact…
▽ More
We comprehensively investigate two distinct mechanisms leading to memory loss of non-Gaussian correlations after switching off the interactions in an isolated quantum system undergoing out-of-equilibrium dynamics. The first mechanism is based on spatial scrambling and results in the emergence of locally Gaussian steady states in large systems evolving over long times. The second mechanism, characterized as `canonical transmutation', is based on the mixing of a pair of canonically conjugate fields, one of which initially exhibits non-Gaussian fluctuations while the other is Gaussian and dominates the dynamics, resulting in the emergence of relative Gaussianity even at finite system sizes and times. We evaluate signatures of the occurrence of the two candidate mechanisms in a recent experiment that has observed Gaussification in an atom-chip controlled ultracold gas and elucidate evidence that it is canonical transmutation rather than spatial scrambling that is responsible for Gaussification in the experiment. Both mechanisms are shown to share the common feature that the Gaussian correlations revealed dynamically by the quench are already present though practically inaccessible at the initial time. On the way, we present novel observations based on the experimental data, demonstrating clustering of equilibrium correlations, analyzing the dynamics of full counting statistics, and utilizing tomographic reconstructions of quantum field states. Our work aims at providing an accessible presentation of the potential of atom-chip experiments to explore fundamental aspects of quantum field theories in quantum simulations.
△ Less
Submitted 8 March, 2022; v1 submitted 17 August, 2021;
originally announced August 2021.
-
Breaking of Huygens-Fresnel principle in inhomogeneous Tomonaga-Luttinger liquids
Authors:
Marek Gluza,
Per Moosavi,
Spyros Sotiriadis
Abstract:
Tomonaga-Luttinger liquids (TLLs) can be used to effectively describe one-dimensional quantum many-body systems such as ultracold atoms, charges in nanowires, superconducting circuits, and gapless spin chains. Their properties are given by two parameters, the propagation velocity and the Luttinger parameter. Here we study inhomogeneous TLLs where these are promoted to functions of position and dem…
▽ More
Tomonaga-Luttinger liquids (TLLs) can be used to effectively describe one-dimensional quantum many-body systems such as ultracold atoms, charges in nanowires, superconducting circuits, and gapless spin chains. Their properties are given by two parameters, the propagation velocity and the Luttinger parameter. Here we study inhomogeneous TLLs where these are promoted to functions of position and demonstrate that they profoundly affect the dynamics: In general, besides curving the light cone, we show that propagation is no longer ballistically localized to the light-cone trajectories, different from standard homogeneous TLLs. Specifically, if the Luttinger parameter depends on position, the dynamics features pronounced spreading into the light cone, which cannot be understood via a simple superposition of waves as in the Huygens-Fresnel principle. This is the case for ultracold atoms in a parabolic trap, which serves as our main motivation, and we discuss possible experimental observations in such systems.
△ Less
Submitted 20 January, 2022; v1 submitted 15 April, 2021;
originally announced April 2021.
-
Quantum field thermal machines
Authors:
M. Gluza,
J. Sabino,
N. H. Y. Ng,
G. Vitagliano,
M. Pezzutto,
Y. Omar,
I. Mazets,
M. Huber,
J. Schmiedmayer,
J. Eisert
Abstract:
Recent years have enjoyed an overwhelming interest in quantum thermodynamics, a field of research aimed at understanding thermodynamic tasks performed in the quantum regime. Further progress, however, seems to be obstructed by the lack of experimental implementations of thermal machines in which quantum effects play a decisive role. In this work, we introduce a blueprint of quantum field machines,…
▽ More
Recent years have enjoyed an overwhelming interest in quantum thermodynamics, a field of research aimed at understanding thermodynamic tasks performed in the quantum regime. Further progress, however, seems to be obstructed by the lack of experimental implementations of thermal machines in which quantum effects play a decisive role. In this work, we introduce a blueprint of quantum field machines, which - once experimentally realized - would fill this gap. Even though the concept of the QFM presented here is very general and can be implemented in any many body quantum system that can be described by a quantum field theory. We provide here a detailed proposal how to realize a quantum machine in one-dimensional ultra-cold atomic gases, which consists of a set of modular operations giving rise to a piston. These can then be coupled sequentially to thermal baths, with the innovation that a quantum field takes up the role of the working fluid. In particular, we propose models for compression on the system to use it as a piston, and coupling to a bath that gives rise to a valve controlling heat flow. These models are derived within Bogoliubov theory, which allows us to study the operational primitives numerically in an efficient way. By composing the numerically modelled operational primitives we design complete quantum thermodynamic cycles that are shown to enable cooling and hence giving rise to a quantum field refrigerator. The active cooling achieved in this way can operate in regimes where existing cooling methods become ineffective. We describe the consequences of operating the machine at the quantum level and give an outlook of how this work serves as a road map to explore open questions in quantum information, quantum thermodynamic and the study of non-Markovian quantum dynamics.
△ Less
Submitted 19 July, 2021; v1 submitted 1 June, 2020;
originally announced June 2020.
-
Recovering quantum correlations in optical lattices from interaction quenches
Authors:
M. Gluza,
J. Eisert
Abstract:
Quantum simulations with ultra-cold atoms in optical lattices open up an exciting path towards understanding strongly interacting quantum systems. Atom gas microscopes are crucial for this as they offer single-site density resolution, unparalleled in other quantum many-body systems. However, currently a direct measurement of local coherent currents is out of reach. In this work, we show how to ach…
▽ More
Quantum simulations with ultra-cold atoms in optical lattices open up an exciting path towards understanding strongly interacting quantum systems. Atom gas microscopes are crucial for this as they offer single-site density resolution, unparalleled in other quantum many-body systems. However, currently a direct measurement of local coherent currents is out of reach. In this work, we show how to achieve that by measuring densities that are altered in response to quenches to non-interacting dynamics, e.g., after tilting the optical lattice. For this, we establish a data analysis method solving the closed set of equations relating tunnelling currents and atom number dynamics, allowing to reliably recover the full covariance matrix, including off-diagonal terms representing coherent currents. The signal processing builds upon semi-definite optimization, providing bona fide covariance matrices optimally matching the observed data. We demonstrate how the obtained information about non-commuting observables allows to lower bound entanglement at finite temperature which opens up the possibility to study quantum correlations in quantum simulations going beyond classical capabilities.
△ Less
Submitted 28 March, 2021; v1 submitted 18 May, 2020;
originally announced May 2020.
-
Decay and recurrence of non-Gaussian correlations in a quantum many-body system
Authors:
Thomas Schweigler,
Marek Gluza,
Mohammadamin Tajik,
Spyros Sotiriadis,
Federica Cataldini,
Si-Cong Ji,
Frederik S. Møller,
João Sabino,
Bernhard Rauer,
Jens Eisert,
Jörg Schmiedmayer
Abstract:
Gaussian models provide an excellent effective description of many quantum many-body systems ranging from condensed matter systems all the way to neutron stars. Gaussian states are common at equilibrium when the interactions are weak. Recently it was proposed that they can also emerge dynamically from a non-Gaussian initial state evolving under non-interacting dynamics. In this work, we present th…
▽ More
Gaussian models provide an excellent effective description of many quantum many-body systems ranging from condensed matter systems all the way to neutron stars. Gaussian states are common at equilibrium when the interactions are weak. Recently it was proposed that they can also emerge dynamically from a non-Gaussian initial state evolving under non-interacting dynamics. In this work, we present the experimental observation of such a dynamical emergence of Gaussian correlations in a quantum many-body system. This non-equilibrium evolution is triggered by abruptly switching off the effective interaction between the observed collective degrees of freedom, while leaving the interactions between the microscopic constituents unchanged. Starting from highly non-Gaussian correlations, consistent with the sine-Gordon model, we observe a Gaussian state to emerge over time as revealed by the decay of the fourth and sixth order connected correlations in the quantum field. A description of this dynamics requires a novel mechanism for the emergence of Gaussian correlations, which is relevant for a wide class of quantum many-body systems. In our closed system with non-interacting effective degrees of freedom, we do not expect full thermalization. This memory of the initial state is confirmed by observing recurrences of non-Gaussian correlations.
△ Less
Submitted 2 September, 2021; v1 submitted 3 March, 2020;
originally announced March 2020.
-
Dynamical structure factors of dynamical quantum simulators
Authors:
Maria Laura Baez,
Marcel Goihl,
Jonas Haferkamp,
Juani Bermejo-Vega,
Marek Gluza,
Jens Eisert
Abstract:
The dynamical structure factor is one of the experimental quantities crucial in scrutinizing the validity of the microscopic description of strongly correlated systems. However, despite its long-standing importance, it is exceedingly difficult in generic cases to numerically calculate it, ensuring that the necessary approximations involved yield a correct result. Acknowledging this practical diffi…
▽ More
The dynamical structure factor is one of the experimental quantities crucial in scrutinizing the validity of the microscopic description of strongly correlated systems. However, despite its long-standing importance, it is exceedingly difficult in generic cases to numerically calculate it, ensuring that the necessary approximations involved yield a correct result. Acknowledging this practical difficulty, we discuss in what way results on the hardness of classically tracking time evolution under local Hamiltonians are precisely inherited by dynamical structure factors; and hence offer in the same way the potential computational capabilities that dynamical quantum simulators do: We argue that practically accessible variants of the dynamical structure factors are BQP-hard for general local Hamiltonians. Complementing these conceptual insights, we improve upon a novel, readily available, measurement setup allowing for the determination of the dynamical structure factor in different architectures, including arrays of ultra-cold atoms, trapped ions, Rydberg atoms, and superconducting qubits. Our results suggest that quantum simulations employing near-term noisy intermediate scale quantum devices should allow for the observation of features of dynamical structure factors of correlated quantum matter in the presence of experimental imperfections, for larger system sizes than what is achievable by classical simulation.
△ Less
Submitted 7 April, 2020; v1 submitted 12 December, 2019;
originally announced December 2019.
-
Majorana dimers and holographic quantum error-correcting codes
Authors:
Alexander Jahn,
Marek Gluza,
Fernando Pastawski,
Jens Eisert
Abstract:
Holographic quantum error-correcting codes have been proposed as toy models that describe key aspects of the AdS/CFT correspondence. In this work, we introduce a versatile framework of Majorana dimers capturing the intersection of stabilizer and Gaussian Majorana states. This picture allows for an efficient contraction with a simple diagrammatic interpretation and is amenable to analytical study o…
▽ More
Holographic quantum error-correcting codes have been proposed as toy models that describe key aspects of the AdS/CFT correspondence. In this work, we introduce a versatile framework of Majorana dimers capturing the intersection of stabilizer and Gaussian Majorana states. This picture allows for an efficient contraction with a simple diagrammatic interpretation and is amenable to analytical study of holographic quantum error-correcting codes. Equipped with this framework, we revisit the recently proposed hyperbolic pentagon code (HyPeC). Relating its logical code basis to Majorana dimers, we efficiently compute boundary state properties even for the non-Gaussian case of generic logical input. The dimers characterizing these boundary states coincide with discrete bulk geodesics, leading to a geometric picture from which properties of entanglement, quantum error correction, and bulk/boundary operator mapping immediately follow. We also elaborate upon the emergence of the Ryu-Takayanagi formula from our model, which realizes many of the properties of the recent bit thread proposal. Our work thus elucidates the connection between bulk geometry, entanglement, and quantum error correction in AdS/CFT, and lays the foundation for new models of holography.
△ Less
Submitted 23 October, 2019; v1 submitted 8 May, 2019;
originally announced May 2019.
-
Edge mode locality in perturbed symmetry protected topological order
Authors:
Marcel Goihl,
Christian Krumnow,
Marek Gluza,
Jens Eisert,
Nicolas Tarantino
Abstract:
Spin chains with symmetry-protected edge zero modes can be seen as prototypical systems for exploring topological signatures in quantum systems. These are useful for robustly encoding quantum information. However in an experimental realization of such a system, spurious interactions may cause the edge zero modes to delocalize. To stabilize against this influence beyond simply increasing the bulk g…
▽ More
Spin chains with symmetry-protected edge zero modes can be seen as prototypical systems for exploring topological signatures in quantum systems. These are useful for robustly encoding quantum information. However in an experimental realization of such a system, spurious interactions may cause the edge zero modes to delocalize. To stabilize against this influence beyond simply increasing the bulk gap, it has been proposed to harness suitable notions of disorder. Equipped with numerical tools for constructing locally conserved operators that we introduce, we comprehensively explore the interplay of local interactions and disorder on localized edge modes in the XZX cluster Hamiltonian. This puts us in a position to challenge the narrative that disorder necessarily stabilizes topological order. Contrary to heuristic reasoning, we find that disorder has no effect on the edge modes in the Anderson localized regime. Moreover, disorder helps localize only a subset of edge modes in the many-body interacting regime. We identify one edge mode operator that behaves as if subjected to a non-interacting perturbation, i.e., shows no disorder dependence. This implies that in finite systems, edge mode operators effectively delocalize at distinct interaction strengths. In essence, our findings suggest that the ability to identify and control the best localized edge mode trumps any gains from introducing disorder.
△ Less
Submitted 9 May, 2019; v1 submitted 9 January, 2019;
originally announced January 2019.
-
Contracting projected entangled pair states is average-case hard
Authors:
Jonas Haferkamp,
Dominik Hangleiter,
Jens Eisert,
Marek Gluza
Abstract:
An accurate calculation of the properties of quantum many-body systems is one of the most important yet intricate challenges of modern physics and computer science. In recent years, the tensor network ansatz has established itself as one of the most promising approaches enabling striking efficiency of simulating static properties of one-dimensional systems and abounding numerical applications in c…
▽ More
An accurate calculation of the properties of quantum many-body systems is one of the most important yet intricate challenges of modern physics and computer science. In recent years, the tensor network ansatz has established itself as one of the most promising approaches enabling striking efficiency of simulating static properties of one-dimensional systems and abounding numerical applications in condensed matter theory. In higher dimensions, however, a connection to the field of computational complexity theory has shown that the accurate normalization of the two-dimensional tensor networks called projected entangled pair states (PEPS) is #P-complete. Therefore, an efficient algorithm for PEPS contraction would allow to solve exceedingly difficult combinatorial counting problems, which is considered highly unlikely. Due to the importance of understanding two- and three-dimensional systems the question currently remains: Are the known constructions typical of states relevant for quantum many-body systems? In this work, we show that an accurate evaluation of normalization or expectation values of PEPS is as hard to compute for typical instances as for special configurations of highest computational hardness. We discuss the structural property of average-case hardness in relation to the current research on efficient algorithms attempting tensor network contraction, hinting at a wealth of possible further insights into the average-case hardness of important problems in quantum many-body theory.
△ Less
Submitted 1 October, 2018;
originally announced October 2018.
-
Equilibration towards generalized Gibbs ensembles in non-interacting theories
Authors:
Marek Gluza,
Jens Eisert,
Terry Farrelly
Abstract:
Even after almost a century, the foundations of quantum statistical mechanics are still not completely understood. In this work, we provide a precise account on these foundations for a class of systems of paradigmatic importance that appear frequently as mean-field models in condensed matter physics, namely non-interacting lattice models of fermions (with straightforward extension to bosons). We d…
▽ More
Even after almost a century, the foundations of quantum statistical mechanics are still not completely understood. In this work, we provide a precise account on these foundations for a class of systems of paradigmatic importance that appear frequently as mean-field models in condensed matter physics, namely non-interacting lattice models of fermions (with straightforward extension to bosons). We demonstrate that already the translation invariance of the Hamiltonian governing the dynamics and a finite correlation length of the possibly non-Gaussian initial state provide sufficient structure to make mathematically precise statements about the equilibration of the system towards a generalized Gibbs ensemble, even for highly non-translation invariant initial states far from ground states of non-interacting models. Whenever these are given, the system will equilibrate rapidly according to a power-law in time as long as there are no long-wavelength dislocations in the initial second moments that would render the system resilient to relaxation. Our proof technique is rooted in the machinery of Kusmin-Landau bounds. Subsequently, we numerically illustrate our analytical findings by discussing quench scenarios with an initial state corresponding to an Anderson insulator observing power-law equilibration. We discuss the implications of the results for the understanding of current quantum simulators, both in how one can understand the behaviour of equilibration in time, as well as concerning perspectives for realizing distinct instances of generalized Gibbs ensembles in optical lattice-based architectures.
△ Less
Submitted 15 July, 2019; v1 submitted 21 September, 2018;
originally announced September 2018.
-
Quantum read-out for cold atomic quantum simulators
Authors:
M. Gluza,
T. Schweigler,
B. Rauer,
C. Krumnow,
J. Schmiedmayer,
J. Eisert
Abstract:
Quantum simulators allow to explore static and dynamical properties of otherwise intractable quantum many-body systems. In many instances, however, it is the read-out that limits such quantum simulations. In this work, we introduce a new paradigm of experimental read-out exploiting coherent non-interacting dynamics in order to extract otherwise inaccessible observables. Specifically, we present a…
▽ More
Quantum simulators allow to explore static and dynamical properties of otherwise intractable quantum many-body systems. In many instances, however, it is the read-out that limits such quantum simulations. In this work, we introduce a new paradigm of experimental read-out exploiting coherent non-interacting dynamics in order to extract otherwise inaccessible observables. Specifically, we present a novel tomographic recovery method allowing to indirectly measure second moments of relative density fluctuations in one-dimensional superfluids which until now eluded direct measurements. We achieve this by relating second moments of relative phase fluctuations which are measured at different evolution times through known dynamical equations arising from unitary non-interacting multi-mode dynamics. Applying methods from signal processing we reconstruct the full matrix of second moments, including the relative density fluctuations. We employ the method to investigate equilibrium states, the dynamics of phonon occupation numbers and even to predict recurrences. The method opens a new window for quantum simulations with one-dimensional superfluids, enabling a deeper analysis of their equilibration and thermalization dynamics.
△ Less
Submitted 28 May, 2019; v1 submitted 12 July, 2018;
originally announced July 2018.
-
Holography and criticality in matchgate tensor networks
Authors:
Alexander Jahn,
Marek Gluza,
Fernando Pastawski,
Jens Eisert
Abstract:
The AdS/CFT correspondence conjectures a holographic duality between gravity in a bulk space and a critical quantum field theory on its boundary. Tensor networks have come to provide toy models to understand such bulk-boundary correspondences, shedding light on connections between geometry and entanglement. We introduce a versatile and efficient framework for studying tensor networks, extending pr…
▽ More
The AdS/CFT correspondence conjectures a holographic duality between gravity in a bulk space and a critical quantum field theory on its boundary. Tensor networks have come to provide toy models to understand such bulk-boundary correspondences, shedding light on connections between geometry and entanglement. We introduce a versatile and efficient framework for studying tensor networks, extending previous tools for Gaussian matchgate tensors in 1+1 dimensions. Using regular bulk tilings, we show that the critical Ising theory can be realized on the boundary of both flat and hyperbolic bulk lattices, obtaining highly accurate critical data. Within our framework, we also produce translation-invariant critical states by an efficiently contractible tensor network with the geometry of the multi-scale entanglement renormalization ansatz. Furthermore, we establish a link between holographic quantum error correcting codes and tensor networks. This work is expected to stimulate a more comprehensive study of tensor-network models capturing bulk-boundary correspondences.
△ Less
Submitted 10 December, 2018; v1 submitted 8 November, 2017;
originally announced November 2017.
-
Neutrino mixing, interval matrices and singular values
Authors:
K. Bielas,
W. Flieger,
J. Gluza,
M. Gluza
Abstract:
We study the properties of singular values of mixing matrices embedded within an experimentally determined interval matrix. We argue that any physically admissible mixing matrix needs to have the property of being a contraction. This condition constrains the interval matrix, by imposing correlations on its elements and leaving behind only physical mixings that may unveil signs of new physics in te…
▽ More
We study the properties of singular values of mixing matrices embedded within an experimentally determined interval matrix. We argue that any physically admissible mixing matrix needs to have the property of being a contraction. This condition constrains the interval matrix, by imposing correlations on its elements and leaving behind only physical mixings that may unveil signs of new physics in terms of extra neutrino species. We propose a description of the admissible three-dimensional mixing space as a convex hull over experimentally determined unitary mixing matrices parametrized by Euler angles which allows us to select either unitary or nonunitary mixing matrices. The unitarity-breaking cases are found through singular values and we construct unitary extensions yielding a complete theory of minimal dimensionality larger than three through the theory of unitary matrix dilations. We discuss further applications to the quark sector.
△ Less
Submitted 20 September, 2018; v1 submitted 30 August, 2017;
originally announced August 2017.
-
Construction of exact constants of motion and effective models for many-body localized systems
Authors:
M. Goihl,
M. Gluza,
C. Krumnow,
J. Eisert
Abstract:
One of the defining features of many-body localization is the presence of extensively many quasi-local conserved quantities. These constants of motion constitute a corner-stone to an intuitive understanding of much of the phenomenology of many-body localized systems arising from effective Hamiltonians. They may be seen as local magnetization operators smeared out by a quasi-local unitary. However,…
▽ More
One of the defining features of many-body localization is the presence of extensively many quasi-local conserved quantities. These constants of motion constitute a corner-stone to an intuitive understanding of much of the phenomenology of many-body localized systems arising from effective Hamiltonians. They may be seen as local magnetization operators smeared out by a quasi-local unitary. However, accurately identifying such constants of motion remains a challenging problem. Current numerical constructions often capture the conserved operators only approximately restricting a conclusive understanding of many-body localization. In this work, we use methods from the theory of quantum many-body systems out of equilibrium to establish a new approach for finding a complete set of exact constants of motion which are in addition guaranteed to represent Pauli-$z$ operators. By this we are able to construct and investigate the proposed effective Hamiltonian using exact diagonalization. Hence, our work provides an important tool expected to further boost inquiries into the breakdown of transport due to quenched disorder.
△ Less
Submitted 2 May, 2018; v1 submitted 17 July, 2017;
originally announced July 2017.
-
Fidelity witnesses for fermionic quantum simulations
Authors:
M. Gluza,
M. Kliesch,
J. Eisert,
L. Aolita
Abstract:
The experimental interest and developments in quantum spin-1/2-chains has increased uninterruptedly over the last decade. In many instances, the target quantum simulation belongs to the broader class of non-interacting fermionic models, constituting an important benchmark. In spite of this class being analytically efficiently tractable, no direct certification tool has yet been reported for it. In…
▽ More
The experimental interest and developments in quantum spin-1/2-chains has increased uninterruptedly over the last decade. In many instances, the target quantum simulation belongs to the broader class of non-interacting fermionic models, constituting an important benchmark. In spite of this class being analytically efficiently tractable, no direct certification tool has yet been reported for it. In fact, in experiments, certification has almost exclusively relied on notions of quantum state tomography scaling very unfavorably with the system size. Here, we develop experimentally-friendly fidelity witnesses for all pure fermionic Gaussian target states. Their expectation value yields a tight lower bound to the fidelity and can be measured efficiently. We derive witnesses in full generality in the Majorana-fermion representation and apply them to experimentally relevant spin-1/2 chains. Among others, we show how to efficiently certify strongly out-of-equilibrium dynamics in critical Ising chains. At the heart of the measurement scheme is a variant of importance sampling specially tailored to overlaps between covariance matrices. The method is shown to be robust against finite experimental-state infidelities.
△ Less
Submitted 24 May, 2018; v1 submitted 9 March, 2017;
originally announced March 2017.
-
Equilibration via Gaussification in fermionic lattice systems
Authors:
M. Gluza,
C. Krumnow,
M. Friesdorf,
C. Gogolin,
J. Eisert
Abstract:
In this work, we present a result on the non-equilibrium dynamics causing equilibration and Gaussification of quadratic non-interacting fermionic Hamiltonians. Specifically, based on two basic assumptions - clustering of correlations in the initial state and the Hamiltonian exhibiting delocalizing transport - we prove that non-Gaussian initial states become locally indistinguishable from fermionic…
▽ More
In this work, we present a result on the non-equilibrium dynamics causing equilibration and Gaussification of quadratic non-interacting fermionic Hamiltonians. Specifically, based on two basic assumptions - clustering of correlations in the initial state and the Hamiltonian exhibiting delocalizing transport - we prove that non-Gaussian initial states become locally indistinguishable from fermionic Gaussian states after a short and well controlled time. This relaxation dynamics is governed by a power-law independent of the system size. Our argument is general enough to allow for pure and mixed initial states, including thermal and ground states of interacting Hamiltonians on and large classes of lattices as well as certain spin systems. The argument gives rise to rigorously proven instances of a convergence to a generalized Gibbs ensemble. Our results allow to develop an intuition of equilibration that is expected to be more generally valid and relates to current experiments of cold atoms in optical lattices.
△ Less
Submitted 23 June, 2016; v1 submitted 4 January, 2016;
originally announced January 2016.
-
Efficient contraction of 1-loop N-point tensor integrals
Authors:
Jochem Fleischer,
Janusz Gluza,
Marek Gluza,
Tord Riemann,
Radomir Sevillano
Abstract:
A new approach for the reduction of tensor integrals is described. The standard decomposition à la Davydychev is applied. Integrals with higher indices are then expressed in terms of scalar higher-dimensional integrals with generic indices. The approach allows to perform contractions with external momenta in a particularly efficient manner. This is due to the possibility to perform analytically th…
▽ More
A new approach for the reduction of tensor integrals is described. The standard decomposition à la Davydychev is applied. Integrals with higher indices are then expressed in terms of scalar higher-dimensional integrals with generic indices. The approach allows to perform contractions with external momenta in a particularly efficient manner. This is due to the possibility to perform analytically the resulting sums over the indices of products of signed minors and scalar products of chords. Advantages of this approach for the calculation of cross sections are described. We are preparing the numerical package OLEC (\texttt{O}ne \texttt{L}oop \texttt{E}xternal \texttt{C}ontractions) with interfaces in Mathematica for algebraic and in C++ for numerical calculations. First numerical results are discussed.
△ Less
Submitted 16 November, 2012;
originally announced November 2012.