Showing 1–50 of 107 results for author: Burgarth, D

Robust quantification of spectral transitions in perturbed quantum systems

Authors: Zsolt Szabó, Stefan Gehr, Paolo Facchi, Kazuya Yuasa, Daniel Burgarth, Davide Lonigro

Abstract: A quantum system subject to an external perturbation can experience leakage between uncoupled regions of its energy spectrum separated by a gap. To quantify this phenomenon, we present two complementary results. First, we establish time-independent bounds on the distances between the true dynamics and the dynamics generated by block-diagonal effective evolutions constructed via the Schrieffer-Wolf… ▽ More A quantum system subject to an external perturbation can experience leakage between uncoupled regions of its energy spectrum separated by a gap. To quantify this phenomenon, we present two complementary results. First, we establish time-independent bounds on the distances between the true dynamics and the dynamics generated by block-diagonal effective evolutions constructed via the Schrieffer-Wolff and Bloch methods. Second, we prove that, under the right conditions, this leakage remains small eternally. That is, we derive a time-independent bound on the leakage itself, expressed in terms of the spectral gap of the unperturbed Hamiltonian and the norm of the perturbation, ensuring its validity for arbitrarily large times. Our approach only requires a finite spectral gap, thus accommodating continuous and unbounded spectra. Finally, we apply our bounds to specific systems of practical interest. △ Less

Submitted 26 May, 2025; originally announced May 2025.

Comments: 19 pages, 1 figure

Characterizing errors in parameter estimation by local measurements

Authors: Riddhi Ghosh, Alexei Gilchrist, Daniel Burgarth

Abstract: The indirect estimation of couplings in quantum dynamics relies on the measurement of the spectrum and the overlap of eigenvectors with some reference states. This data can be obtained by local measurements on some sites and eliminates the need for full Hamiltonian tomography. For a 1D chain, access to only one edge site is sufficient to compute all the couplings between the adjacent sites, and co… ▽ More The indirect estimation of couplings in quantum dynamics relies on the measurement of the spectrum and the overlap of eigenvectors with some reference states. This data can be obtained by local measurements on some sites and eliminates the need for full Hamiltonian tomography. For a 1D chain, access to only one edge site is sufficient to compute all the couplings between the adjacent sites, and consequently to reconstruct the full Hamiltonian. However, its robustness in the presence of perturbations remains a critical question, particularly when sites interact with other lattice sites beyond nearest neighbors. Our work studies the applicability of schemes designed for 1D chains to topologies with interactions beyond nearest-neighbour. We treat interactions between the next-nearest sites as perturbation of strength $\varepsilon$ and show that the error in estimation of couplings scales linearly with $\varepsilon$ in the presence of such interactions. Further, we show that on average, the existence of couplings between sites beyond the next-nearest neighbour results in higher error. We also study the length of the chain that can be estimated (up to a fixed precision) as a function of $\varepsilon$, in the presence of next-nearest neighbour interactions. Typically, for weak interactions, chains of 40 sites can be estimated within reasonable error. Thus, we study the robustness of estimation scheme designed for a 1D chain when exposed to such multi-site perturbations, offering valuable insights into its applicability and limitations. △ Less

Submitted 20 May, 2025; originally announced May 2025.

Comments: 8 pages, 8 figures

Error bounds for the Floquet-Magnus expansion and their application to the semiclassical quantum Rabi model

Authors: Anirban Dey, Davide Lonigro, Kazuya Yuasa, Daniel Burgarth

Abstract: We present a general, nonperturbative method for deriving effective Hamiltonians of arbitrary order for periodically driven systems, based on an iterated integration by parts technique. The resulting family of effective Hamiltonians reproduces the well-known Floquet-Magnus expansion, now enhanced with explicit error bounds that quantify the distance between the exact and approximate dynamics at ea… ▽ More We present a general, nonperturbative method for deriving effective Hamiltonians of arbitrary order for periodically driven systems, based on an iterated integration by parts technique. The resulting family of effective Hamiltonians reproduces the well-known Floquet-Magnus expansion, now enhanced with explicit error bounds that quantify the distance between the exact and approximate dynamics at each order, even in cases where the Floquet-Magnus series fails to converge. We apply the method to the semiclassical Rabi model and provide explicit error bounds for both the Bloch-Siegert Hamiltonian and its third-order refinement. Our analysis shows that, while the rotating-wave approximation more accurately captures the true dynamics than the Bloch-Siegert Hamiltonian in most regimes, the third-order approximation ultimately outperforms both. △ Less

Submitted 14 May, 2025; v1 submitted 29 April, 2025; originally announced April 2025.

Comments: 13 pages, 4 figures, improved error bounds

Qualitative differences in the robust controllability of model two-qubit systems

Authors: Anirban Dey, Mattias T. Johnsson, Daniel Burgarth

Abstract: The precise implementation and manipulation of quantum gates is key to extracting advantages from future quantum technologies. Achieving this requires very accurate control over the quantum system. If one has complete knowledge about a Hamiltonian, accurate manipulation of the system is possible. However, in real scenarios, there will often be some uncertainty in the parameters of the Hamiltonian,… ▽ More The precise implementation and manipulation of quantum gates is key to extracting advantages from future quantum technologies. Achieving this requires very accurate control over the quantum system. If one has complete knowledge about a Hamiltonian, accurate manipulation of the system is possible. However, in real scenarios, there will often be some uncertainty in the parameters of the Hamiltonian, which makes full control of the system either difficult or impossible. In this paper we consider two model Hamiltonians with a continuous parameter that is partly unknown. We assess robust controllability against this parameter uncertainty using existing theoretical frameworks and take a numerical route by discretizing the unknown parameter in the cases where we cannot predict controllability. Furthermore, we introduce a penalty term into the fidelity function to optimize control pulses, enhancing robustness against the influence of parameter fluctuations. Within our framework, we analyze the qualitative differences in the robust controllability of the two systems. △ Less

Submitted 20 March, 2025; v1 submitted 6 February, 2025; originally announced February 2025.

Comments: 12 pages, 6 figures

Quantum particle in the wrong box (or: the perils of finite-dimensional approximations)

Authors: Felix Fischer, Daniel Burgarth, Davide Lonigro

Abstract: When numerically simulating the unitary time evolution of an infinite-dimensional quantum system, one is usually led to treat the Hamiltonian $H$ as an "infinite-dimensional matrix" by expressing it in some orthonormal basis of the Hilbert space, and then truncate it to some finite dimensions. However, the solutions of the Schrödinger equations generated by the truncated Hamiltonians need not conv… ▽ More When numerically simulating the unitary time evolution of an infinite-dimensional quantum system, one is usually led to treat the Hamiltonian $H$ as an "infinite-dimensional matrix" by expressing it in some orthonormal basis of the Hilbert space, and then truncate it to some finite dimensions. However, the solutions of the Schrödinger equations generated by the truncated Hamiltonians need not converge, in general, to the solution of the Schrödinger equation corresponding to the actual Hamiltonian. In this paper we demonstrate that, under mild assumptions, they converge to the solution of the Schrödinger equation generated by a specific Hamiltonian which crucially depends on the particular choice of basis: the Friedrichs extension of the restriction of $H$ to the space of finite linear combinations of elements of the basis. Importantly, this is generally different from $H$ itself; in all such cases, numerical simulations will unavoidably reproduce the wrong dynamics in the limit, and yet there is no numerical test that can reveal this failure, unless one has the analytical solution to compare with. As a practical demonstration of such results, we consider the quantum particle in the box, and we show that, for a wide class of bases (which include associated Legendre polynomials as a concrete example) the dynamics generated by the truncated Hamiltonians will always converge to the one corresponding to the particle with Dirichlet boundary conditions, regardless the initial choice of boundary conditions. Other such examples are discussed. △ Less

Submitted 16 January, 2025; v1 submitted 20 December, 2024; originally announced December 2024.

Comments: 51 pages, 4 figures

Loss tolerant cross-Kerr enhancement via modulated squeezing

Authors: Ankit Tiwari, Daniel Burgarth, Linran Fan, Saikat Guha, Christian Arenz

Abstract: We develop squeezing protocols to enhance cross-Kerr interactions. We show that through alternating between squeezing along different quadratures of a single photonic mode, the cross-Kerr interaction strength can be generically amplified. As an application of the squeezing protocols we discuss speeding up the deterministic implementation of controlled phase gates in photonic quantum computing arch… ▽ More We develop squeezing protocols to enhance cross-Kerr interactions. We show that through alternating between squeezing along different quadratures of a single photonic mode, the cross-Kerr interaction strength can be generically amplified. As an application of the squeezing protocols we discuss speeding up the deterministic implementation of controlled phase gates in photonic quantum computing architectures. We develop bounds that characterize how fast and strong single-mode squeezing has to be applied to achieve a desired gate error and show that the protocols can overcome photon losses. Finally, we discuss experimental realizations of the squeezing strategies in optical fibers and nanophotonic waveguides. △ Less

Submitted 3 December, 2024; originally announced December 2024.

Quantifying the rotating-wave approximation of the Dicke model

Authors: Leonhard Richter, Daniel Burgarth, Davide Lonigro

Abstract: We analytically find quantitative, non-perturbative bounds to the validity of the rotating-wave approximation (RWA) for the multi-atom generalization of the quantum Rabi model: the Dicke model. Precisely, we bound the norm of the difference between the evolutions of states generated by the Dicke model and its rotating-wave approximated counterpart, that is, the Tavis-Cummings model. The intricate… ▽ More We analytically find quantitative, non-perturbative bounds to the validity of the rotating-wave approximation (RWA) for the multi-atom generalization of the quantum Rabi model: the Dicke model. Precisely, we bound the norm of the difference between the evolutions of states generated by the Dicke model and its rotating-wave approximated counterpart, that is, the Tavis-Cummings model. The intricate role of the parameters of the model in determining the bounds is discussed and compared with numerical results. Our bounds are intrinsically state-dependent and, in particular, are significantly different in the cases of entangled and non-entangled states; this behaviour also seems to be confirmed by the numerics. △ Less

Submitted 24 October, 2024; originally announced October 2024.

Comments: 26 pages, 3 figures

Lower Bounds for the Trotter Error

Authors: Alexander Hahn, Paul Hartung, Daniel Burgarth, Paolo Facchi, Kazuya Yuasa

Abstract: In analog and digital simulations of practically relevant quantum systems, the target dynamics can only be implemented approximately. The Trotter product formula is the most common approximation scheme as it is a generic method which allows tuning accuracy. The Trotter simulation precision will always be inexact for non-commuting operators, but it is currently unknown what the minimum possible err… ▽ More In analog and digital simulations of practically relevant quantum systems, the target dynamics can only be implemented approximately. The Trotter product formula is the most common approximation scheme as it is a generic method which allows tuning accuracy. The Trotter simulation precision will always be inexact for non-commuting operators, but it is currently unknown what the minimum possible error is. This is an important quantity because upper bounds for the Trotter error are known to often be vast overestimates. Here, we present explicit lower bounds on the error, in norm and on states, allowing to derive minimum resource requirements. Numerical comparison with the true error shows that our bounds offer accurate and tight estimates. △ Less

Submitted 3 October, 2024; originally announced October 2024.

Comments: 18 pages, 3 figures

Journal ref: Physical Review A 111, 022417 (2025)

Bath Dynamical Decoupling with a Quantum Channel

Authors: Alexander Hahn, Kazuya Yuasa, Daniel Burgarth

Abstract: Bang-bang dynamical decoupling protects an open quantum system from decoherence due to its interaction with the surrounding bath/environment. In its standard form, this is achieved by strongly kicking the system with cycles of unitary operations, which average out the interaction Hamiltonian. In this paper, we generalize the notion of dynamical decoupling to repeated kicks with a quantum channel,… ▽ More Bang-bang dynamical decoupling protects an open quantum system from decoherence due to its interaction with the surrounding bath/environment. In its standard form, this is achieved by strongly kicking the system with cycles of unitary operations, which average out the interaction Hamiltonian. In this paper, we generalize the notion of dynamical decoupling to repeated kicks with a quantum channel, which is applied to the bath. We derive necessary and sufficient conditions on the employed quantum channel and find that bath dynamical decoupling works if and only if the kick is ergodic. Furthermore, we study in which circumstances CPTP kicks on a mono-partite quantum system induce quantum Zeno dynamics with its Hamiltonian cancelled out. This does not require the ergodicity of the kicks, and the absence of decoherence-free subsystems is both necessary and sufficient. While the standard unitary dynamical decoupling is essentially the same as the quantum Zeno dynamics, our investigation implies that this is not true any more in the case of CPTP kicks. To derive our results, we prove some spectral properties of ergodic quantum channels, that might be of independent interest. Our approach establishes an enhanced and unified mathematical understanding of several recent experimental demonstrations and might form the basis of new dynamical decoupling schemes that harness environmental noise degrees of freedom. △ Less

Submitted 17 December, 2024; v1 submitted 27 September, 2024; originally announced September 2024.

Comments: 26 pages, 3 figures, 1 table

Journal ref: J. Phys. A: Math. Theor. 58, 045305 (2025)

Efficiency of Dynamical Decoupling for (Almost) Any Spin-Boson Model

Authors: Alexander Hahn, Daniel Burgarth, Davide Lonigro

Abstract: Dynamical decoupling is a technique aimed at suppressing the interaction between a quantum system and its environment by applying frequent unitary operations on the system alone. In the present paper, we analytically study the dynamical decoupling of a two-level system coupled with a structured bosonic environment initially prepared in a thermal state. We find sufficient conditions under which dyn… ▽ More Dynamical decoupling is a technique aimed at suppressing the interaction between a quantum system and its environment by applying frequent unitary operations on the system alone. In the present paper, we analytically study the dynamical decoupling of a two-level system coupled with a structured bosonic environment initially prepared in a thermal state. We find sufficient conditions under which dynamical decoupling works for such systems, and, most importantly, we find bounds for the convergence speed of the procedure. Our analysis is based on a new Trotter theorem for multiple Hamiltonians and involves a rigorous treatment of the evolution of mixed quantum states via unbounded Hamiltonians. A comparison with numerical experiments shows that our bounds reproduce the correct scaling in various relevant system parameters. Furthermore, our analytical treatment allows for quantifying the decoupling efficiency for boson baths with infinitely many modes, in which case a numerical treatment is unavailable. △ Less

Submitted 24 September, 2024; originally announced September 2024.

Comments: 46 pages, 8 figures, 1 table

On the Liouville-von Neumann equation for unbounded Hamiltonians

Authors: Davide Lonigro, Alexander Hahn, Daniel Burgarth

Abstract: The evolution of mixed states of a closed quantum system is described by a group of evolution superoperators whose infinitesimal generator (the quantum Liouville superoperator, or Liouvillian) determines the mixed-state counterpart of the Schrödinger equation: the Liouville-von Neumann equation. When the state space of the system is infinite-dimensional, the Liouville superoperator is unbounded wh… ▽ More The evolution of mixed states of a closed quantum system is described by a group of evolution superoperators whose infinitesimal generator (the quantum Liouville superoperator, or Liouvillian) determines the mixed-state counterpart of the Schrödinger equation: the Liouville-von Neumann equation. When the state space of the system is infinite-dimensional, the Liouville superoperator is unbounded whenever the corresponding Hamiltonian is. In this paper, we provide a rigorous, pedagogically-oriented, and self-contained introduction to the quantum Liouville formalism in the presence of unbounded operators. We present and discuss a characterization of the domain of the Liouville superoperator originally due to M. Courbage; starting from that, we develop some simpler characterizations of the domain of the Liouvillian and its square. We also provide, with explicit proofs, some domains of essential self-adjointness (cores) of the Liouvillian. △ Less

Submitted 9 August, 2024; originally announced August 2024.

Comments: 22 pages

Journal ref: Open Sys. Inf. Dyn. 31 (2024), 2450018

Creation and manipulation of surface code defects with quantum optimal control

Authors: Omar Raii, Anirban Dey, Florian Mintert, Daniel Burgarth

Abstract: The surface code is a spin-1/2 lattice system that can exhibit non-trivial topological order when defects are punctured in the lattice and thus can be used as a stabiliser code. The protocols developed to create defects in the system have previously relied on adiabatic dynamics. In this work we use techniques of quantum optimal control to overcome the requirement for adiabaticity and achieve defec… ▽ More The surface code is a spin-1/2 lattice system that can exhibit non-trivial topological order when defects are punctured in the lattice and thus can be used as a stabiliser code. The protocols developed to create defects in the system have previously relied on adiabatic dynamics. In this work we use techniques of quantum optimal control to overcome the requirement for adiabaticity and achieve defect creation and implemention of other important operations required for quantum computation at much faster timescales. △ Less

Submitted 1 June, 2024; originally announced June 2024.

Comments: 8 pages, 6 figures

Report number: Vol. 111, No. 1

Journal ref: Phys. Rev. A (2025)

Bounding the rotating wave approximation for coupled harmonic oscillators

Authors: Tim Heib, Paul Lageyre, Alessandro Ferreri, Frank K. Wilhelm, G. S. Paraoanu, Daniel Burgarth, Andreas Wolfgang Schell, David Edward Bruschi

Abstract: In this work we study the validity of the rotating wave approximation of an ideal system composed of two harmonic oscillators evolving with a quadratic Hamiltonian and arbitrarily strong interaction. We prove its validity for arbitrary states by bounding the error introduced. We then restrict ourselves to the dynamics of Gaussian states and are able to fully quantify the deviation of arbitrary pur… ▽ More In this work we study the validity of the rotating wave approximation of an ideal system composed of two harmonic oscillators evolving with a quadratic Hamiltonian and arbitrarily strong interaction. We prove its validity for arbitrary states by bounding the error introduced. We then restrict ourselves to the dynamics of Gaussian states and are able to fully quantify the deviation of arbitrary pure Gaussian states that evolve through different dynamics from a common quantum state. We show that this distance is fully determined by the first and second moments of the statistical distribution of the number of excitations created from the vacuum during an appropriate effective time-evolution. We use these results to completely control the dynamics for this class of states, therefore providing a toolbox to be used in quantum optics and quantum information. Applications and potential physical implementations are also discussed. △ Less

Submitted 2 May, 2025; v1 submitted 22 March, 2024; originally announced March 2024.

Comments: 37 pages, 7 figures

Journal ref: J. Phys. A: Math. Theor. 58, 175304 (2025)

Central Charge in Quantum Optics

Authors: Daniel Burgarth, Paolo Facchi, Hiromichi Nakazato, Saverio Pascazio, Kazuya Yuasa

Abstract: The product of two unitaries can normally be expressed as a single exponential through the famous Baker-Campbell-Hausdorff formula. We present here a counterexample in quantum optics, by showing that an expression in terms of a single exponential is possible only at the expense of the introduction of a new element (a central extension of the algebra), implying that there will be unitaries, generat… ▽ More The product of two unitaries can normally be expressed as a single exponential through the famous Baker-Campbell-Hausdorff formula. We present here a counterexample in quantum optics, by showing that an expression in terms of a single exponential is possible only at the expense of the introduction of a new element (a central extension of the algebra), implying that there will be unitaries, generated by a sequence of gates, that cannot be generated by any time-independent quadratic Hamiltonian. A quantum-optical experiment is proposed that brings to light this phenomenon. △ Less

Submitted 17 October, 2024; v1 submitted 26 February, 2024; originally announced February 2024.

Comments: 13 pages, 7 figures

Journal ref: Phys. Rev. Research 6, L042011 (2024)

Strong Error Bounds for Trotter & Strang-Splittings and Their Implications for Quantum Chemistry

Authors: Daniel Burgarth, Paolo Facchi, Alexander Hahn, Mattias Johnsson, Kazuya Yuasa

Abstract: Efficient error estimates for the Trotter product formula are central in quantum computing, mathematical physics, and numerical simulations. However, the Trotter error's dependency on the input state and its application to unbounded operators remains unclear. Here, we present a general theory for error estimation, including higher-order product formulas, with explicit input state dependency. Our a… ▽ More Efficient error estimates for the Trotter product formula are central in quantum computing, mathematical physics, and numerical simulations. However, the Trotter error's dependency on the input state and its application to unbounded operators remains unclear. Here, we present a general theory for error estimation, including higher-order product formulas, with explicit input state dependency. Our approach overcomes two limitations of the existing operator-norm estimates in the literature. First, previous bounds are too pessimistic as they quantify the worst-case scenario. Second, previous bounds become trivial for unbounded operators and cannot be applied to a wide class of Trotter scenarios, including atomic and molecular Hamiltonians. Our method enables analytical treatment of Trotter errors in chemistry simulations, illustrated through a case study on the hydrogen atom. Our findings reveal: (i) for states with fat-tailed energy distribution, such as low-angular-momentum states of the hydrogen atom, the Trotter error scales worse than expected (sublinearly) in the number of Trotter steps; (ii) certain states do not admit an advantage in the scaling from higher-order Trotterization, and thus, the higher-order Trotter hierarchy breaks down for these states, including the hydrogen atom's ground state; (iii) the scaling of higher-order Trotter bounds might depend on the order of the Hamiltonians in the Trotter product for states with fat-tailed energy distribution. Physically, the enlarged Trotter error is caused by the atom's ionization due to the Trotter dynamics. Mathematically, we find that certain domain conditions are not satisfied by some states so higher moments of the potential and kinetic energies diverge. Our analytical error analysis agrees with numerical simulations, indicating that we can estimate the state-dependent Trotter error scaling genuinely. △ Less

Submitted 26 November, 2024; v1 submitted 13 December, 2023; originally announced December 2023.

Comments: 50 pages, 9 figures, 3 tables

Journal ref: Phys. Rev. Research 6, 043155 (2024)

Open loop linear control of quadratic Hamiltonians with applications

Authors: Mattias T. Johnsson, Daniel Burgarth

Abstract: The quantum harmonic oscillator is one of the most fundamental objects in physics. We consider the case where it is extended to an arbitrary number modes and includes all possible terms that are bilinear in the annihilation and creation operators, and assume we also have an arbitrary time-dependent drive term that is linear in those operators. Such a Hamiltonian is very general, covering a broad r… ▽ More The quantum harmonic oscillator is one of the most fundamental objects in physics. We consider the case where it is extended to an arbitrary number modes and includes all possible terms that are bilinear in the annihilation and creation operators, and assume we also have an arbitrary time-dependent drive term that is linear in those operators. Such a Hamiltonian is very general, covering a broad range of systems including quantum optics, superconducting circuit QED, quantum error correcting codes, Bose-Einstein condensates, atomic wave packet transport beyond the adiabatic limit and many others. We examine this situation from the point of view of quantum control, making use of optimal control theory to determine what can be accomplished, both when the controls are arbitrary and when they must minimize some cost function. In particular we develop a class of analytical pulses. We then apply our theory to a number of specific topical physical systems to illustrate its use and provide explicit control functions, including the case of the continuously driven conditional displacement gate. △ Less

Submitted 25 January, 2024; v1 submitted 23 April, 2023; originally announced April 2023.

Comments: 15 pages, 5 figures

Journal ref: Physical Review A 109, 012617 (2024)

Exact and lower bounds for the quantum speed limit in finite dimensional systems

Authors: Mattias T. Johnsson, Lauritz van Luijk, Daniel Burgarth

Abstract: A fundamental problem in quantum engineering is determining the lowest time required to ensure that all possible unitaries can be generated with the tools available, which is one of a number of possible quantum speed limits. We examine this problem from the perspective of quantum control, where the system of interest is described by a drift Hamiltonian and set of control Hamiltonians. Our approach… ▽ More A fundamental problem in quantum engineering is determining the lowest time required to ensure that all possible unitaries can be generated with the tools available, which is one of a number of possible quantum speed limits. We examine this problem from the perspective of quantum control, where the system of interest is described by a drift Hamiltonian and set of control Hamiltonians. Our approach uses a combination of Lie algebra theory, Lie groups and differential geometry, and formulates the problem in terms of geodesics on a differentiable manifold. We provide explicit lower bounds on the quantum speed limit for the case of an arbitrary drift, requiring only that the control Hamiltonians generate a topologically closed subgroup of the full unitary group, and formulate criteria as to when our expression for the speed limit is exact and not merely a lower bound. These analytic results are then tested and confirmed using a numerical optimization scheme. Finally we extend the analysis to find a lower bound on the quantum speed limit in the common case where the system is described by a drift Hamiltonian and a single control Hamiltonian. △ Less

Submitted 13 April, 2023; originally announced April 2023.

Comments: 13 pages

Journal ref: Phys. Rev. A 108, 052403 (2023)

Taming the Rotating Wave Approximation

Authors: Daniel Burgarth, Paolo Facchi, Robin Hillier, Marilena Ligabò

Abstract: The interaction between light and matter is one of the oldest research areas of quantum mechanics, and a field that just keeps on delivering new insights and applications. With the arrival of cavity and circuit quantum electrodynamics we can now achieve strong light-matter couplings which form the basis of most implementations of quantum technology. But quantum information processing also has high… ▽ More The interaction between light and matter is one of the oldest research areas of quantum mechanics, and a field that just keeps on delivering new insights and applications. With the arrival of cavity and circuit quantum electrodynamics we can now achieve strong light-matter couplings which form the basis of most implementations of quantum technology. But quantum information processing also has high demands requiring total error rates of fractions of percentage in order to be scalable (fault-tolerant) to useful applications. Since errors can also arise from modelling, this has brought into center stage one of the key approximations of quantum theory, the Rotating Wave Approximation (RWA) of the quantum Rabi model, leading to the Jaynes-Cummings Hamiltonian. While the RWA is often very good and incredibly useful to understand light-matter interactions, there is also growing experimental evidence of regimes where it is a bad approximation. Here, we ask and answer a harder question: for which experimental parameters is the RWA, although perhaps qualitatively adequate, already not good enough to match the demands of scalable quantum technology? For example, when is the error at least, and when at most, 1%? To answer this, we develop rigorous non-perturbative bounds taming the RWA. We find that these bounds not only depend, as expected, on the ratio of the coupling strength and the oscillator frequency, but also on the average number of photons in the initial state. This confirms recent experiments on photon-dressed Bloch-Siegert shifts. We argue that with experiments reporting controllable cavity states with hundreds of photons and with quantum error correcting codes exploring more and more of Fock space, this state-dependency of the RWA is increasingly relevant for the field of quantum computation, and our results pave the way towards a better understanding of those experiments. △ Less

Submitted 14 February, 2024; v1 submitted 5 January, 2023; originally announced January 2023.

Comments: 16 pages, 2 figures

Journal ref: Quantum 8, 1262 (2024)

Error bounds for Lie Group representations in quantum mechanics

Authors: Lauritz van Luijk, Niklas Galke, Alexander Hahn, Daniel Burgarth

Abstract: We provide state-dependent error bounds for strongly continuous unitary representations of connected Lie groups. That is, we bound the difference of two unitaries applied to a state in terms of the energy with respect to a reference Hamiltonian associated to the representation and a left-invariant metric distance on the group. Our method works for any connected Lie group and the metric is independ… ▽ More We provide state-dependent error bounds for strongly continuous unitary representations of connected Lie groups. That is, we bound the difference of two unitaries applied to a state in terms of the energy with respect to a reference Hamiltonian associated to the representation and a left-invariant metric distance on the group. Our method works for any connected Lie group and the metric is independent of the chosen representation. The approach also applies to projective representations and allows us to provide bounds on the energy constrained diamond norm distance of any suitably continuous channel representation of the group. △ Less

Submitted 26 February, 2024; v1 submitted 15 November, 2022; originally announced November 2022.

Comments: 31 pages, 2 figures

Journal ref: Journal of Physics A: Mathematical and Theoretical 57, 105301 (2024)

A Multi-Qubit Quantum Gate Using the Zeno Effect

Authors: Philippe Lewalle, Leigh S. Martin, Emmanuel Flurin, Song Zhang, Eliya Blumenthal, Shay Hacohen-Gourgy, Daniel Burgarth, K. Birgitta Whaley

Abstract: The Zeno effect, in which repeated observation freezes the dynamics of a quantum system, stands as an iconic oddity of quantum mechanics. When a measurement is unable to distinguish between states in a subspace, the dynamics within that subspace can be profoundly altered, leading to non-trivial behavior. Here we show that such a measurement can turn a non-interacting system with only single-qubit… ▽ More The Zeno effect, in which repeated observation freezes the dynamics of a quantum system, stands as an iconic oddity of quantum mechanics. When a measurement is unable to distinguish between states in a subspace, the dynamics within that subspace can be profoundly altered, leading to non-trivial behavior. Here we show that such a measurement can turn a non-interacting system with only single-qubit control into a two- or multi-qubit entangling gate, which we call a Zeno gate. The gate works by imparting a geometric phase on the system, conditioned on it lying within a particular nonlocal subspace. We derive simple closed-form expressions for the gate fidelity under a number of non-idealities and show that the gate is viable for implementation in circuit and cavity QED systems. More specifically, we illustrate the functioning of the gate via dispersive readout in both the Markovian and non-Markovian readout regimes, and derive conditions for longitudinal readout to ideally realize the gate. △ Less

Submitted 31 August, 2023; v1 submitted 10 November, 2022; originally announced November 2022.

Comments: 20+12 pages. 13 figures

Journal ref: Quantum 7, 1100 (2023)

Selection and improvement of product formulae for best performance of quantum simulation

Authors: Mauro E. S. Morales, Pedro C. S. Costa, Giacomo Pantaleoni, Daniel K. Burgarth, Yuval R. Sanders, Dominic W. Berry

Abstract: Quantum algorithms for simulation of Hamiltonian evolution are often based on product formulae. The fractal methods give a systematic way to find arbitrarily high-order product formulae, but result in a large number of exponentials. On the other hand, product formulae with fewer exponentials can be found by numerical solution of simultaneous nonlinear equations. It is also possible to reduce the c… ▽ More Quantum algorithms for simulation of Hamiltonian evolution are often based on product formulae. The fractal methods give a systematic way to find arbitrarily high-order product formulae, but result in a large number of exponentials. On the other hand, product formulae with fewer exponentials can be found by numerical solution of simultaneous nonlinear equations. It is also possible to reduce the cost of long-time simulations by processing, where a kernel is repeated and a processor need only be applied at the beginning and end of the simulation. In this work, we found thousands of new product formulae, and numerically tested these formulae, together with many formulae from prior literature. We provide methods to fairly compare product formulae of different lengths and different orders. For the case of 8th order, we have found new product formulae with exceptional performance, about two orders of magnitude better accuracy than prior work, both in the processed and non-processed cases. The processed product formula provides the best performance due to being shorter than the non-processed product formula. It outperforms all other tested product formulae over a range of many orders of magnitude in system parameters $T$ (time) and $ε$ (allowable error). That includes reasonable combinations of parameters to be used in quantum algorithms, where the size of the simulation is large enough to be classically intractable, but not so large it takes an impractically long time on a quantum computer. △ Less

Submitted 9 January, 2025; v1 submitted 27 October, 2022; originally announced October 2022.

Comments: Greatly expanded with new solutions and new comparisons to prior work. 31 pages, 2 figures

Journal ref: Quantum Information & Computation Volume 25. 1 (2025)

State-dependent Trotter Limits and their approximations

Authors: Daniel Burgarth, Niklas Galke, Alexander Hahn, Lauritz van Luijk

Abstract: The Trotter product formula is a key instrument in numerical simulations of quantum systems. However, computers cannot deal with continuous degrees of freedom, such as the position of particles in molecules, or the amplitude of electromagnetic fields. It is therefore necessary to discretize these variables to make them amenable to digital simulations. Here, we give sufficient conditions to conclud… ▽ More The Trotter product formula is a key instrument in numerical simulations of quantum systems. However, computers cannot deal with continuous degrees of freedom, such as the position of particles in molecules, or the amplitude of electromagnetic fields. It is therefore necessary to discretize these variables to make them amenable to digital simulations. Here, we give sufficient conditions to conclude the validity of this approximate discretized physics. Essentially, it depends on the state-dependent Trotter error, for which we establish explicit bounds that are also of independent interest. △ Less

Submitted 27 February, 2024; v1 submitted 29 September, 2022; originally announced September 2022.

Comments: 16 pages, 5 figures

Journal ref: Phys. Rev. A 107, L040201 (2023)

Scalable quantum control and non-abelian anyon creation in the Kitaev honeycomb model

Authors: Omar Raii, Florian Mintert, Daniel Burgarth

Abstract: The Kitaev honeycomb model is a system allowing for experimentally realisable quantum computation with topological protection of quantum information. Practical implementation of quantum information processing typically relies on adiabatic, i.e. slow dynamics. Here we show that the restriction to adiabatic dynamics can be overcome with optimal control theory, enabled by an extension of the fermioni… ▽ More The Kitaev honeycomb model is a system allowing for experimentally realisable quantum computation with topological protection of quantum information. Practical implementation of quantum information processing typically relies on adiabatic, i.e. slow dynamics. Here we show that the restriction to adiabatic dynamics can be overcome with optimal control theory, enabled by an extension of the fermionization of the Kitaev honeycomb model to the time-dependent case. Moreover we present a quantum control method that is applicable to large lattice models due to sub-exponential scaling. △ Less

Submitted 19 December, 2022; v1 submitted 20 May, 2022; originally announced May 2022.

Comments: 12 pages, 10 figures

Journal ref: Phys. Rev. A 106, 062401(2022)

Stability and convergence of dynamical decoupling with finite amplitude control

Authors: Daniel Burgarth, Paolo Facchi, Robin Hillier

Abstract: Dynamical decoupling is a key method to mitigate errors in a quantum mechanical system, and we studied it in a series of papers dealing in particular with the problems arising from unbounded Hamiltonians. The standard bangbang model of dynamical decoupling, which we also used in those papers, requires decoupling operations with infinite amplitude, which is strictly speaking unrealistic from a phys… ▽ More Dynamical decoupling is a key method to mitigate errors in a quantum mechanical system, and we studied it in a series of papers dealing in particular with the problems arising from unbounded Hamiltonians. The standard bangbang model of dynamical decoupling, which we also used in those papers, requires decoupling operations with infinite amplitude, which is strictly speaking unrealistic from a physical point of view. In this paper we look at decoupling operations of finite amplitude, discuss under what assumptions dynamical decoupling works with such finite amplitude operations, and show how the bangbang description arises as a limit, hence justifying it as a reasonable approximation. △ Less

Submitted 5 November, 2022; v1 submitted 2 May, 2022; originally announced May 2022.

Comments: 16 pages, 1 figure; v2: minor corrections made, Remark 4.3 and Example 5.1 added, to appear in J.Math.Phys

Journal ref: Journal of Mathematical Physics 63, 112206 (2022)

Unification of Random Dynamical Decoupling and the Quantum Zeno Effect

Authors: Alexander Hahn, Daniel Burgarth, Kazuya Yuasa

Abstract: Periodic deterministic bang-bang dynamical decoupling and the quantum Zeno effect are known to emerge from the same physical mechanism. Both concepts are based on cycles of strong and frequent kicks provoking a subdivision of the Hilbert space into independent subspaces. However, previous unification results do not capture the case of random bang-bang dynamical decoupling, which can be advantageou… ▽ More Periodic deterministic bang-bang dynamical decoupling and the quantum Zeno effect are known to emerge from the same physical mechanism. Both concepts are based on cycles of strong and frequent kicks provoking a subdivision of the Hilbert space into independent subspaces. However, previous unification results do not capture the case of random bang-bang dynamical decoupling, which can be advantageous to the deterministic case but has an inherently acyclic structure. Here, we establish a correspondence between random dynamical decoupling and the quantum Zeno effect by investigating the average over random decoupling evolutions. This protocol is a manifestation of the quantum Zeno dynamics and leads to a unitary bath evolution. By providing a framework that we call equitability of system and bath, we show that the system dynamics under random dynamical decoupling converges to a unitary with a decoupling error that characteristically depends on the convergence speed of the Zeno limit. This reveals a unification of the random dynamical decoupling and the quantum Zeno effect. △ Less

Submitted 3 August, 2022; v1 submitted 8 December, 2021; originally announced December 2021.

Comments: 31 pages, 4 figures

Journal ref: New J. Phys. 24, 063027 (2022)

One bound to rule them all: from Adiabatic to Zeno

Authors: Daniel Burgarth, Paolo Facchi, Giovanni Gramegna, Kazuya Yuasa

Abstract: We derive a universal nonperturbative bound on the distance between unitary evolutions generated by time-dependent Hamiltonians in terms of the difference of their integral actions. We apply our result to provide explicit error bounds for the rotating-wave approximation and generalize it beyond the qubit case. We discuss the error of the rotating-wave approximation over long time and in the presen… ▽ More We derive a universal nonperturbative bound on the distance between unitary evolutions generated by time-dependent Hamiltonians in terms of the difference of their integral actions. We apply our result to provide explicit error bounds for the rotating-wave approximation and generalize it beyond the qubit case. We discuss the error of the rotating-wave approximation over long time and in the presence of time-dependent amplitude modulation. We also show how our universal bound can be used to derive and to generalize other known theorems such as the strong-coupling limit, the adiabatic theorem, and product formulas, which are relevant to quantum-control strategies including the Zeno control and the dynamical decoupling. Finally, we prove generalized versions of the Trotter product formula, extending its validity beyond the standard scaling assumption. △ Less

Submitted 6 June, 2022; v1 submitted 17 November, 2021; originally announced November 2021.

Comments: 53 pages, 3 figures

Journal ref: Quantum 6, 737 (2022)

Demonstration of universal control between non-interacting qubits using the Quantum Zeno effect

Authors: Eliya Blumenthal, Chen Mor, Asaf A. Diringer, Leigh S. Martin, Philippe Lewalle, Daniel Burgarth, K. Birgitta Whaley, Shay Hacohen-Gourgy

Abstract: The Zeno effect occurs in quantum systems when a very strong measurement is applied, which can alter the dynamics in non-trivial ways. Despite being dissipative, the dynamics stay coherent within any degenerate subspaces of the measurement. Here we show that such a measurement can turn a single-qubit operation into a two- or multi-qubit entangling gate, even in a non-interacting system. We demonst… ▽ More The Zeno effect occurs in quantum systems when a very strong measurement is applied, which can alter the dynamics in non-trivial ways. Despite being dissipative, the dynamics stay coherent within any degenerate subspaces of the measurement. Here we show that such a measurement can turn a single-qubit operation into a two- or multi-qubit entangling gate, even in a non-interacting system. We demonstrate this gate between two effectively non-interacting transmon qubits. Our Zeno gate works by imparting a geometric phase on the system, conditioned on it lying within a particular non-local subspace. These results show how universality can be generated not only by coherent interactions as is typically employed in quantum information platforms, but also by Zeno measurements. △ Less

Submitted 16 December, 2021; v1 submitted 19 August, 2021; originally announced August 2021.

Journal ref: npj Quantum Information (2022)

Quantum non-Markovianity elusive to interventions

Authors: Daniel Burgarth, Paolo Facchi, Davide Lonigro, Kavan Modi

Abstract: The non-Markovian nature of open quantum dynamics lies in the structure of the multitime correlations, which are accessible by means of interventions. Here, by examining multitime correlations, we show that it is possible to engineer non-Markovian systems with only long-term memory but seemingly no short-term memory, so that their non-Markovianity is completely non-detectable by any interventions… ▽ More The non-Markovian nature of open quantum dynamics lies in the structure of the multitime correlations, which are accessible by means of interventions. Here, by examining multitime correlations, we show that it is possible to engineer non-Markovian systems with only long-term memory but seemingly no short-term memory, so that their non-Markovianity is completely non-detectable by any interventions up to an arbitrarily large time. Our results raise the question about the assessibility of non-Markovianity: in principle, non-Markovian effects that are perfectly elusive to interventions may emerge at much later times. △ Less

Submitted 12 August, 2021; originally announced August 2021.

Comments: 10 pages, 3 figures

Journal ref: Phys. Rev. A 104, L050404 (2021)

Eternal Adiabaticity

Authors: Daniel Burgarth, Paolo Facchi, Hiromichi Nakazato, Saverio Pascazio, Kazuya Yuasa

Abstract: We iteratively apply a recently formulated adiabatic theorem for the strong-coupling limit in finite-dimensional quantum systems. This allows us to improve approximations to a perturbed dynamics, beyond the standard approximation based on quantum Zeno dynamics and adiabatic elimination. The effective generators describing the approximate evolutions are endowed with the same block structure as the… ▽ More We iteratively apply a recently formulated adiabatic theorem for the strong-coupling limit in finite-dimensional quantum systems. This allows us to improve approximations to a perturbed dynamics, beyond the standard approximation based on quantum Zeno dynamics and adiabatic elimination. The effective generators describing the approximate evolutions are endowed with the same block structure as the unperturbed part of the generator, and exhibit adiabatic evolutions. This iterative adiabatic theorem reveals that adiabaticity holds eternally, that is, the system evolves within each eigenspace of the unperturbed part of the generator, with an error bounded by $O(1/γ)$ uniformly in time, where $γ$ characterizes the strength of the unperturbed part of the generator. We prove that the iterative adiabatic theorem reproduces Bloch's perturbation theory in the unitary case, and is therefore a full generalization to open systems. We furthermore prove the equivalence of the Schrieffer-Wolff and des Cloiseaux approaches in the unitary case and generalize both to arbitrary open systems, showing that they share the eternal adiabaticity, and providing explicit error bounds. Finally we discuss the physical structure of the effective adiabatic generators and show that ideal effective generators for open systems do not exist in general. △ Less

Submitted 9 November, 2020; originally announced November 2020.

Comments: 24 pages, 2 figures

Journal ref: Phys. Rev. A 103, 032214 (2021)

KAM-Stability for Conserved Quantities in Finite-Dimensional Quantum Systems

Authors: Daniel Burgarth, Paolo Facchi, Hiromichi Nakazato, Saverio Pascazio, Kazuya Yuasa

Abstract: We show that for any finite-dimensional quantum systems the conserved quantities can be characterized by their robustness to small perturbations: for fragile symmetries small perturbations can lead to large deviations over long times, while for robust symmetries their expectation values remain close to their initial values for all times. This is in analogy with the celebrated Kolmogorov-Arnold-Mos… ▽ More We show that for any finite-dimensional quantum systems the conserved quantities can be characterized by their robustness to small perturbations: for fragile symmetries small perturbations can lead to large deviations over long times, while for robust symmetries their expectation values remain close to their initial values for all times. This is in analogy with the celebrated Kolmogorov-Arnold-Moser (KAM) theorem in classical mechanics. To prove this remarkable result, we introduce a resummation of a perturbation series, which generalizes the Hamiltonian of the quantum Zeno dynamics. △ Less

Submitted 11 November, 2020; v1 submitted 9 November, 2020; originally announced November 2020.

Comments: 13 pages, 3 figures. Corrected typo in author name and added arXiv link to reference [16]

Journal ref: Phys. Rev. Lett. 126, 150401 (2021)

Quantum Distance to Uncontrollability and Quantum Speed Limits

Authors: Daniel Burgarth, Jeff Borggaard, Zoltán Zimborás

Abstract: Distance to Uncontrollability is a crucial concept in classical control theory. Here, we introduce Quantum Distance to Uncontrollability as a measure how close a universal quantum system is to a non-universal one. This allows us to provide a quantitative version of the Quantum Speed Limit, decomposing the bound into a geometric and dynamical component. We consider several physical examples includi… ▽ More Distance to Uncontrollability is a crucial concept in classical control theory. Here, we introduce Quantum Distance to Uncontrollability as a measure how close a universal quantum system is to a non-universal one. This allows us to provide a quantitative version of the Quantum Speed Limit, decomposing the bound into a geometric and dynamical component. We consider several physical examples including globally controlled solid state qubits and a cross-Kerr system, showing that the Quantum Distance to Uncontrollability provides a precise meaning to spectral crowding, weak interactions and other bottlenecks to universality. We suggest that this measure should be taken into consideration in the design of quantum technology. △ Less

Submitted 30 October, 2020; originally announced October 2020.

Comments: 6 pages

Journal ref: Phys. Rev. A 105, 042402 (2022)

QuTiP-BoFiN: A bosonic and fermionic numerical hierarchical-equations-of-motion library with applications in light-harvesting, quantum control, and single-molecule electronics

Authors: Neill Lambert, Tarun Raheja, Simon Cross, Paul Menczel, Shahnawaz Ahmed, Alexander Pitchford, Daniel Burgarth, Franco Nori

Abstract: The "hierarchical equations of motion" (HEOM) method is a powerful exact numerical approach to solve the dynamics and find the steady-state of a quantum system coupled to a non-Markovian and non-perturbative environment. Originally developed in the context of physical chemistry, it has also been extended and applied to problems in solid-state physics, optics, single-molecule electronics, and biolo… ▽ More The "hierarchical equations of motion" (HEOM) method is a powerful exact numerical approach to solve the dynamics and find the steady-state of a quantum system coupled to a non-Markovian and non-perturbative environment. Originally developed in the context of physical chemistry, it has also been extended and applied to problems in solid-state physics, optics, single-molecule electronics, and biological physics. Here we present a numerical library in Python, integrated with the powerful QuTiP platform, which implements the HEOM for both bosonic and fermionic environments. We demonstrate its utility with a series of examples. For the bosonic case, we include demonstrations of fitting arbitrary spectral densities, and an example of the dynamics of energy transfer in the Fenna-Matthews-Olson photosynthetic complex, showing how a suitable non-Markovian environment can protect against pure dephasing. We also demonstrate how the HEOM can be used to benchmark different strategies for dynamical decoupling of a spin from its environment, and show that the Uhrig pulse-spacing scheme is less optimal than equally spaced pulses when the environment's spectral density is very broad. For the fermionic case, we present an integrable single-impurity example, used as a benchmark of the code, and a more complex example of an impurity strongly coupled to a single vibronic mode, with applications to single-molecule electronics. △ Less

Submitted 25 January, 2023; v1 submitted 21 October, 2020; originally announced October 2020.

Comments: 20 pages, 15 figures. Updated to describe package inclusion in QuTiP v4.7 (www.qutip.org), new examples (optimal pulse spacing in dynamical decoupling, quantum heat transport), and inclusion of additional contributors in author list. Further updates to expand examples, clarify content and summarize existing packages

Journal ref: Phys. Rev. Research 5, 013181, (2023)

Control of quantum noise: on the role of dilations

Authors: Daniel Burgarth, Paolo Facchi, Robin Hillier

Abstract: We show that every finite-dimensional quantum system with Markovian (i.e., GKLS-generated) time evolution has an autonomous unitary dilation which can be dynamically decoupled. Since there is also always an autonomous unitary dilation which cannot be dynamically decoupled, this highlights the role of dilations in the control of quantum noise. We construct our dilation via a time-dependent version… ▽ More We show that every finite-dimensional quantum system with Markovian (i.e., GKLS-generated) time evolution has an autonomous unitary dilation which can be dynamically decoupled. Since there is also always an autonomous unitary dilation which cannot be dynamically decoupled, this highlights the role of dilations in the control of quantum noise. We construct our dilation via a time-dependent version of Stinespring in combination with Howland's clock Hamiltonian and certain point-localised states, which may be regarded as a C*-algebraic analogue of improper bra-ket position eigenstates and which are hence of independent mathematical and physical interest. △ Less

Submitted 25 July, 2022; v1 submitted 1 October, 2020; originally announced October 2020.

Comments: 18p, to appear in Ann. H. Poincaré

MSC Class: 81Q93 (primary) 46L60; 47A20; 81P16; 81P45 (secondary)

Journal ref: Annales Henri Poincaré 24, 325-347 (2023)

Hidden non-Markovianity in open quantum systems

Authors: Daniel Burgarth, Paolo Facchi, Marilena Ligabò, Davide Lonigro

Abstract: We show that non-Markovian open quantum systems can exhibit exact Markovian dynamics up to an arbitrarily long time; the non-Markovianity of such systems is thus perfectly "hidden", i.e. not experimentally detectable by looking at the reduced dynamics alone. This shows that non-Markovianity is physically undecidable and extremely counterintuitive, since its features can change at any time, without… ▽ More We show that non-Markovian open quantum systems can exhibit exact Markovian dynamics up to an arbitrarily long time; the non-Markovianity of such systems is thus perfectly "hidden", i.e. not experimentally detectable by looking at the reduced dynamics alone. This shows that non-Markovianity is physically undecidable and extremely counterintuitive, since its features can change at any time, without precursors. Some interesting examples are discussed. △ Less

Submitted 22 September, 2020; originally announced September 2020.

Comments: 9 pages, 4 figures

Journal ref: Phys. Rev. A 103, 012203 (2021)

Bayesian optimization of non-classical optomechanical correlations

Authors: Alexander Pitchford, Andrey A. Rakhubovsky, Rick Mukherjee, Darren W. Moore, Frédéric Sauvage, Daniel Burgarth, Radim Filip, Florian Mintert

Abstract: Nonclassical correlations provide a resource for many applications in quantum technology as well as providing strong evidence that a system is indeed operating in the quantum regime. Optomechanical systems can be arranged to generate nonclassical correlations (such as quantum entanglement) between the mechanical mode and a mode of travelling light. Here we propose automated optimization of the pro… ▽ More Nonclassical correlations provide a resource for many applications in quantum technology as well as providing strong evidence that a system is indeed operating in the quantum regime. Optomechanical systems can be arranged to generate nonclassical correlations (such as quantum entanglement) between the mechanical mode and a mode of travelling light. Here we propose automated optimization of the production of quantum correlations in such a system, beyond what can be achieved through analytical methods, by applying Bayesian optimization to the control parameters. A two-mode optomechanical squeezing experiment is simulated using a detailed theoretical model of the system and the measurable outputs fed to the Bayesian optimization process. This then modifies the controllable parameters in order to maximize the non-classical two-mode squeezing and its detection, independently of the inner workings of the model. We focus on a levitated nano-sphere system, but the techniques described are broadly applicable in optomechanical experiments, and also more widely, especially where no detailed theoretical treatment is available. We find that in the experimentally relevant thermal regimes, the ability to vary and optimize a broad array of control parameters provides access to large values of two-mode squeezing that would otherwise be difficult or intractable to discover via analytical or trial and error methods. In particular we observe that modulation of the driving frequency around the resonant sideband allows for stronger nonclassical correlations. We also observe that our optimization approach finds parameters that allow significant squeezing in the high temperature regime. This extends the range of experimental setups in which non-classical correlations could be generated beyond the region of high quantum cooperativity. △ Less

Submitted 4 September, 2024; v1 submitted 26 June, 2020; originally announced June 2020.

Comments: 24 pages, 11 figures, including the 3 appendices and bibliography

Journal ref: Quantum Science and Technology 9 (2024) 045044

Geometric pathway to scalable quantum sensing

Authors: Mattias T. Johnsson, Nabomita Roy Mukty, Daniel Burgarth, Thomas Volz, Gavin K. Brennen

Abstract: Entangled resources enable quantum sensing that achieves Heisenberg scaling, a quadratic improvement on the standard quantum limit, but preparing large scale entangled states is challenging in the presence of decoherence. We present a quantum control strategy using highly nonlinear geometric phase gates for preparing entangled states on spin ensembles which can be used for practical precision metr… ▽ More Entangled resources enable quantum sensing that achieves Heisenberg scaling, a quadratic improvement on the standard quantum limit, but preparing large scale entangled states is challenging in the presence of decoherence. We present a quantum control strategy using highly nonlinear geometric phase gates for preparing entangled states on spin ensembles which can be used for practical precision metrology. The method uses a dispersive coupling of $N$ spins to a common bosonic mode and does not require addressability, special detunings, or interactions between the spins. Using a control sequence that executes Grover's algorithm on a subspace of permutationally symmetric states, a target entangled resource state can be prepared using $O(N^{5/4})$ geometric phase gates. The geometrically closed path of the control operations ensures the gates are insensitive to the initial state of the mode and the sequence has built-in dynamical decoupling providing resilience to dephasing errors. △ Less

Submitted 9 November, 2020; v1 submitted 3 August, 2019; originally announced August 2019.

Comments: 5 pages + 6 pages supplementary, 3 + 1 figures

Journal ref: Phys. Rev. Lett. 125, 190403 (2020)

Generalized Product Formulas and Quantum Control

Authors: Daniel Burgarth, Paolo Facchi, Giovanni Gramegna, Saverio Pascazio

Abstract: We study the quantum evolution under the combined action of the exponentials of two not necessarily commuting operators. We consider the limit in which the two evolutions alternate at infinite frequency. This case appears in a plethora of situations, both in physics (Feynman integral) and mathematics (product formulas). We focus on the case in which the two evolution times are scaled differently i… ▽ More We study the quantum evolution under the combined action of the exponentials of two not necessarily commuting operators. We consider the limit in which the two evolutions alternate at infinite frequency. This case appears in a plethora of situations, both in physics (Feynman integral) and mathematics (product formulas). We focus on the case in which the two evolution times are scaled differently in the limit and generalize standard techniques and results. △ Less

Submitted 11 June, 2019; originally announced June 2019.

Comments: 23 pages, 6 figures

Journal ref: Journal of Physics A: Mathematical and Theoretical 52 (2019) 435301

An upper bound on the time required to implement unitary operations

Authors: Juneseo Lee, Christian Arenz, Daniel Burgarth, Herschel Rabitz

Abstract: We derive an upper bound for the time needed to implement a generic unitary transformation in a $d$ dimensional quantum system using $d$ control fields. We show that given the ability to control the diagonal elements of the Hamiltonian, which allows for implementing any unitary transformation under the premise of controllability, the time $T$ needed is upper bounded by… ▽ More We derive an upper bound for the time needed to implement a generic unitary transformation in a $d$ dimensional quantum system using $d$ control fields. We show that given the ability to control the diagonal elements of the Hamiltonian, which allows for implementing any unitary transformation under the premise of controllability, the time $T$ needed is upper bounded by $T\leq \frac{πd^{2}(d-1)}{2g_{\text{min}}}$ where $g_{\text{min}}$ is the smallest coupling constant present in the system. We study the tightness of the bound by numerically investigating randomly generated systems, with specific focus on a system consisting of $d$ energy levels that interact in a tight-binding like manner. △ Less

Submitted 6 March, 2020; v1 submitted 27 May, 2019; originally announced May 2019.

Journal ref: J. Phys. A: Mathematical and Theoretical 53, 125304 (2020)

Non-Markovian noise that cannot be dynamically decoupled by periodic spin echo pulses

Authors: Daniel Burgarth, Paolo Facchi, Martin Fraas, Robin Hillier

Abstract: Dynamical decoupling is the leading technique to remove unwanted interactions in a vast range of quantum systems through fast rotations. But what determines the time-scale of such rotations in order to achieve good decoupling? By providing an explicit counterexample of a qubit coupled to a charged particle and magnetic monopole, we show that such time-scales cannot be decided by the decay profile… ▽ More Dynamical decoupling is the leading technique to remove unwanted interactions in a vast range of quantum systems through fast rotations. But what determines the time-scale of such rotations in order to achieve good decoupling? By providing an explicit counterexample of a qubit coupled to a charged particle and magnetic monopole, we show that such time-scales cannot be decided by the decay profile induced by the noise: even though the system shows a quadratic decay (a Zeno region revealing non-Markovian noise), it cannot be decoupled by periodic spin echo pulses, no matter how fast the rotations. △ Less

Submitted 8 July, 2021; v1 submitted 7 April, 2019; originally announced April 2019.

Comments: minor revision

Journal ref: SciPost Phys. 11, 027 (2021)

Robust controllability of two-qubit Hamiltonian dynamics

Authors: Ryosuke Sakai, Akihito Soeda, Mio Murao, Daniel Burgarth

Abstract: Quantum gates (unitary gates) on physical systems are usually implemented by controlling the Hamiltonian dynamics. When full descriptions of the Hamiltonians parameters is available, the set of implementable quantum gates is easily characterised by quantum control theory. In many real systems, however, the Hamiltonians may include unknown parameters due to the difficulty of precise measurements or… ▽ More Quantum gates (unitary gates) on physical systems are usually implemented by controlling the Hamiltonian dynamics. When full descriptions of the Hamiltonians parameters is available, the set of implementable quantum gates is easily characterised by quantum control theory. In many real systems, however, the Hamiltonians may include unknown parameters due to the difficulty of precise measurements or instability of the system. In this paper, we consider the situation that some parameters of the Hamiltonian are unknown, but we still want to perform a robust control of a quantum gate irrespectively to the unknown parameters. The existence of such control was previously shown in single-qubit systems, and a constructive method was developed for two-qubit systems provided full single-qubit controls are available. We analytically investigate the robust controllability of two-qubit systems, and apply Lie algebraic approaches to handle the cases where only controlling one of the two qubits is allowed. We also use numerical approaches for these problems since our analytical approaches does not work in some systems. △ Less

Submitted 14 August, 2019; v1 submitted 22 March, 2019; originally announced March 2019.

Comments: 8 pages, 5 figures

Journal ref: Phys. Rev. A 100, 042305 (2019)

Quantum Zeno Dynamics from General Quantum Operations

Authors: Daniel Burgarth, Paolo Facchi, Hiromichi Nakazato, Saverio Pascazio, Kazuya Yuasa

Abstract: We consider the evolution of an arbitrary quantum dynamical semigroup of a finite-dimensional quantum system under frequent kicks, where each kick is a generic quantum operation. We develop a generalization of the Baker-Campbell-Hausdorff formula allowing to reformulate such pulsed dynamics as a continuous one. This reveals an adiabatic evolution. We obtain a general type of quantum Zeno dynamics,… ▽ More We consider the evolution of an arbitrary quantum dynamical semigroup of a finite-dimensional quantum system under frequent kicks, where each kick is a generic quantum operation. We develop a generalization of the Baker-Campbell-Hausdorff formula allowing to reformulate such pulsed dynamics as a continuous one. This reveals an adiabatic evolution. We obtain a general type of quantum Zeno dynamics, which unifies all known manifestations in the literature as well as describing new types. △ Less

Submitted 1 July, 2020; v1 submitted 25 September, 2018; originally announced September 2018.

Comments: 43 pages, 10 figures

Journal ref: Quantum 4, 289 (2020)

Generalized Adiabatic Theorem and Strong-Coupling Limits

Authors: Daniel Burgarth, Paolo Facchi, Hiromichi Nakazato, Saverio Pascazio, Kazuya Yuasa

Abstract: We generalize Kato's adiabatic theorem to nonunitary dynamics with an isospectral generator. This enables us to unify two strong-coupling limits: one driven by fast oscillations under a Hamiltonian, and the other driven by strong damping under a Lindbladian. We discuss the case where both mechanisms are present and provide nonperturbative error bounds. We also analyze the links with the quantum Ze… ▽ More We generalize Kato's adiabatic theorem to nonunitary dynamics with an isospectral generator. This enables us to unify two strong-coupling limits: one driven by fast oscillations under a Hamiltonian, and the other driven by strong damping under a Lindbladian. We discuss the case where both mechanisms are present and provide nonperturbative error bounds. We also analyze the links with the quantum Zeno effect and dynamics. △ Less

Submitted 3 June, 2019; v1 submitted 5 July, 2018; originally announced July 2018.

Journal ref: Quantum 3, 152 (2019)

Amplification of quadratic Hamiltonians

Authors: Christian Arenz, Denys I. Bondar, Daniel Burgarth, Cecilia Cormick, Herschel Rabitz

Abstract: Speeding up the dynamics of a quantum system is of paramount importance for quantum technologies. However, in finite dimensions and without full knowledge of the details of the system, it is easily shown to be impossible. In contrast we show that continuous variable systems described by a certain class of quadratic Hamiltonians can be sped up without such detailed knowledge. We call the resultant… ▽ More Speeding up the dynamics of a quantum system is of paramount importance for quantum technologies. However, in finite dimensions and without full knowledge of the details of the system, it is easily shown to be impossible. In contrast we show that continuous variable systems described by a certain class of quadratic Hamiltonians can be sped up without such detailed knowledge. We call the resultant procedure Hamiltonian amplification (HA). The HA method relies on the application of local squeezing operations allowing for amplifying even unknown or noisy couplings and frequencies by acting on individual modes. Furthermore, we show how to combine HA with dynamical decoupling to achieve amplified Hamiltonians that are free from environmental noise. Finally, we illustrate a significant reduction in gate times of cavity resonator qubits as one potential use of HA. △ Less

Submitted 20 May, 2020; v1 submitted 1 June, 2018; originally announced June 2018.

Journal ref: Quantum 4, 271 (2020)

Identifying combinatorially symmetric Hidden Markov Models

Authors: Daniel Klaus Burgarth

Abstract: We provide a sufficient criterion for the unique parameter identification of combinatorially symmetric Hidden Markov Models based on the structure of their transition matrix. If the observed states of the chain form a zero forcing set of the graph of the Markov model then it is uniquely identifiable and an explicit reconstruction method is given. We provide a sufficient criterion for the unique parameter identification of combinatorially symmetric Hidden Markov Models based on the structure of their transition matrix. If the observed states of the chain form a zero forcing set of the graph of the Markov model then it is uniquely identifiable and an explicit reconstruction method is given. △ Less

Submitted 9 September, 2017; originally announced September 2017.

Comments: Although the result is very simple, I could not find much (closely) related work. If I missed out something I'd be grateful if you could let me know via email to [email protected]

Journal ref: Electronic Journal of Linear Algebra, Volume 34, pp. 393-398 (2018)

Evolution-free Hamiltonian parameter estimation through Zeeman markers

Authors: Daniel Burgarth, Ashok Ajoy

Abstract: We provide a protocol for Hamiltonian parameter estimation which relies only on the Zeeman effect. No time-dependent quantities need to be measured, it fully suffices to observe spectral shifts induced by fields applied to local `markers'. We demonstrate the idea with a simple tight-binding Hamiltonian and numerically show stability with respect to Gaussian noise on the spectral measurements. Then… ▽ More We provide a protocol for Hamiltonian parameter estimation which relies only on the Zeeman effect. No time-dependent quantities need to be measured, it fully suffices to observe spectral shifts induced by fields applied to local `markers'. We demonstrate the idea with a simple tight-binding Hamiltonian and numerically show stability with respect to Gaussian noise on the spectral measurements. Then we generalize the result to show applicability to a wide range of systems, including quantum spin chains, networks of qubits, and coupled harmonic oscillators, and suggest potential experimental implementations. △ Less

Submitted 22 May, 2017; originally announced May 2017.

Comments: 5 pages, 2 figures

Journal ref: Phys. Rev. Lett. 119, 030402 (2017)

Positive Hamiltonians can give purely exponential decay

Authors: Daniel Burgarth, Paolo Facchi

Abstract: It is commonly claimed that only Hamiltonians with a spectrum unbounded both above and below can give purely exponential decay. Because such Hamiltonians have no ground state, they are considered unphysical. Here we show that Hamiltonians which are bounded below can give purely exponential decay. This is possible when, instead of looking at the global survival probability, one considers a subsyste… ▽ More It is commonly claimed that only Hamiltonians with a spectrum unbounded both above and below can give purely exponential decay. Because such Hamiltonians have no ground state, they are considered unphysical. Here we show that Hamiltonians which are bounded below can give purely exponential decay. This is possible when, instead of looking at the global survival probability, one considers a subsystem only. We conclude that purely exponential decay might not be as unphysical as previously thought. △ Less

Submitted 18 September, 2017; v1 submitted 4 May, 2017; originally announced May 2017.

Comments: 4 pages

Journal ref: Phys. Rev. A 96, 010103 (2017)

The roles of drift and control field constraints upon quantum control speed limits

Authors: Christian Arenz, Benjamin Russell, Daniel Burgarth, Herschel Rabitz

Abstract: In this work we derive a lower bound for the minimum time required to implement a target unitary transformation through a classical time-dependent field in a closed quantum system. The bound depends on the target gate, the strength of the internal Hamiltonian and the highest permitted control field amplitude. These findings reveal some properties of the reachable set of operations, explicitly anal… ▽ More In this work we derive a lower bound for the minimum time required to implement a target unitary transformation through a classical time-dependent field in a closed quantum system. The bound depends on the target gate, the strength of the internal Hamiltonian and the highest permitted control field amplitude. These findings reveal some properties of the reachable set of operations, explicitly analyzed for a single qubit. Moreover, for fully controllable systems, we identify a lower bound for the time at which all unitary gates become reachable. We use numerical gate optimization in order to study the tightness of the obtained bounds. It is shown that in the single qubit case our analytical findings describe the relationship between the highest control field amplitude and the minimum evolution time remarkably well. Finally, we discuss both challenges and ways forward for obtaining tighter bounds for higher dimensional systems, offering a discussion about the mathematical form and the physical meaning of the bound. △ Less

Submitted 23 October, 2017; v1 submitted 20 April, 2017; originally announced April 2017.

Comments: Published version, NJP 19 103015

Dynamical Decoupling of Unbounded Hamiltonians

Authors: Christian Arenz, Daniel Burgarth, Paolo Facchi, Robin Hillier

Abstract: We investigate the possibility to suppress interactions between a finite dimensional system and an infinite dimensional environment through a fast sequence of unitary kicks on the finite dimensional system. This method, called dynamical decoupling, is known to work for bounded interactions, but physical environments such as bosonic heat baths are usually modelled with unbounded interactions, whenc… ▽ More We investigate the possibility to suppress interactions between a finite dimensional system and an infinite dimensional environment through a fast sequence of unitary kicks on the finite dimensional system. This method, called dynamical decoupling, is known to work for bounded interactions, but physical environments such as bosonic heat baths are usually modelled with unbounded interactions, whence here we initiate a systematic study of dynamical decoupling for unbounded operators. We develop a sufficient decoupling criterion for arbitrary Hamiltonians and a necessary decoupling criterion for semibounded Hamiltonians. We give examples for unbounded Hamiltonians where decoupling works and the limiting evolution as well as the convergence speed can be explicitly computed. We show that decoupling does not always work for unbounded interactions and provide both physically and mathematically motivated examples. △ Less

Submitted 20 April, 2017; originally announced April 2017.

Comments: 18 pages, 3 figures

Journal ref: Journal of Mathematical Physics 59 (2018) 032203

Driven quantum dynamics: will it blend?

Authors: Leonardo Banchi, Daniel Burgarth, Michael J. Kastoryano

Abstract: Randomness is an essential tool in many disciplines of modern sciences, such as cryptography, black hole physics, random matrix theory and Monte Carlo sampling. In quantum systems, random operations can be obtained via random circuits thanks to so-called q-designs, and play a central role in the fast scrambling conjecture for black holes. Here we consider a more physically motivated way of generat… ▽ More Randomness is an essential tool in many disciplines of modern sciences, such as cryptography, black hole physics, random matrix theory and Monte Carlo sampling. In quantum systems, random operations can be obtained via random circuits thanks to so-called q-designs, and play a central role in the fast scrambling conjecture for black holes. Here we consider a more physically motivated way of generating random evolutions by exploiting the many-body dynamics of a quantum system driven with stochastic external pulses. We combine techniques from quantum control, open quantum systems and exactly solvable models (via the Bethe-Ansatz) to generate Haar-uniform random operations in driven many-body systems. We show that any fully controllable system converges to a unitary q-design in the long-time limit. Moreover, we study the convergence time of a driven spin chain by mapping its random evolution into a semigroup with an integrable Liouvillean and finding its gap. Remarkably, we find via Bethe-Ansatz techniques that the gap is independent of q. We use mean-field techniques to argue that this property may be typical for other controllable systems, although we explicitly construct counter-examples via symmetry breaking arguments to show that this is not always the case. Our findings open up new physical methods to transform classical randomness into quantum randomness, via a combination of quantum many-body dynamics and random driving. △ Less

Submitted 3 October, 2017; v1 submitted 10 April, 2017; originally announced April 2017.

Comments: 22 pages, 7 figures, accepted version in Phys. Rev. X

Journal ref: Phys. Rev. X 7, 041015 (2017)

Remote Parameter Estimation in a Quantum Spin Chain Enhanced by Local Control

Authors: Jukka Kiukas, Kazuya Yuasa, Daniel Burgarth

Abstract: We study the interplay of control and parameter estimation on a quantum spin chain. A single qubit probe is attached to one end of the chain, while we wish to estimate a parameter on the other end. We find that control on the probe qubit can substantially improve the estimation performance and discover some interesting connections to quantum state transfer. We study the interplay of control and parameter estimation on a quantum spin chain. A single qubit probe is attached to one end of the chain, while we wish to estimate a parameter on the other end. We find that control on the probe qubit can substantially improve the estimation performance and discover some interesting connections to quantum state transfer. △ Less

Submitted 25 January, 2017; originally announced January 2017.

Comments: 7 pages, 3 figures

Journal ref: Phys. Rev. A 95, 052132 (2017)