arXiv subjects

Daniel Burgarth

Publications and source records attributed to Daniel Burgarth.

At least 19 recordsLinked to original sources

arXiv2026

On the convergence of the variational quantum eigensolver and quantum optimal control

When do variational quantum algorithms converge to a globally optimal solution? Despite extensive work, this question remains largely open. We develop a convergence theory for the variational quantum eigensolver (VQE), using quantum control landscape terminology to prove a sufficient criterion guaranteeing convergence to a Hamiltonian's ground state for almost all initial parameters. Specifically, we show that if (i) the parameterized unitary transformation allows movement in all tangent-space directions in a bounded manner (local surjectivity), and (ii) the gradient descent terminates, then VQE converges almost surely to a ground state. Under similar assumptions, we also guarantee almost-sure convergence to a global optimum on a smaller, closed unitary Lie subgroup, with representation theory providing a criterion for when this optimum is a ground state. We construct examples satisfying condition (i) and analyze two common circuit ansatz families, then discuss regularization techniques that ensure gradient descent terminates and connect to the halting problem.

quant-ph↗

arXiv2026

Characterizing errors in parameter estimation by local measurements

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.

quant-ph↗

arXiv2026

Self-adjoint extensions of $k$-photon light-matter Hamiltonians

Multiphoton light-matter interactions, in which a bosonic mode exchanges $k$ excitations at a time with a quantum system, are a source of genuine nonlinearity in quantum optics and are increasingly accessible experimentally. Here we study the class of operators $H = H_{\rm mat}\otimes I + I\otimesωa^\ast a + Σ\otimes(a^\ast)^k + Σ^\ast\otimes a^k$ on $\mathcal{H}\otimes L^2(\mathbb{R})$, coupling a single bosonic mode to an arbitrary matter system through a bounded operator $Σ$. When $Σ$ is normal and nonzero, we prove that $H$ is self-adjoint if and only if $k\leq2$; for $k\geq3$ we compute the deficiency indices, parametrise all self-adjoint extensions, and show that every extension has purely discrete spectrum whenever the matter system is finite-dimensional. Our analysis rests on a block Jacobi decomposition paired with a suitable unitary transformation depending on the polar decomposition of $Σ$. The normality of $Σ$ is optimal: a $k$-photon Jaynes-Cummings model, with non-normal coupling, remains self-adjoint for every $k$. We illustrate our results on the $k$-photon Rabi and Dicke models.

math-ph↗

arXiv2026

The Floquet-Magnus expansion of unbounded operators

The Floquet-Magnus expansion is a widely used tool to derive effective descriptions of time-periodic quantum systems by approximating their dynamics with a time-independent Hamiltonian. However, its standard formulation is, strictly speaking, restricted to bounded Hamiltonians. In this work, we extend its definition and analysis to a broad class of time-periodic unbounded Hamiltonians. Our approach is based on an a priori distinct nonperturbative framework for the construction of effective Hamiltonians, which we show to reproduce the Floquet-Magnus expansion. A particular strength of our framework is that it allows us to prove that the resulting effective dynamics approximates the original time evolution propagators to arbitrary order in the high-frequency limit without requiring convergence of the Floquet-Magnus expansion, a condition that is already highly restrictive even in the bounded setting. We illustrate the scope of the method on representative models: the quantum Rabi Hamiltonian in the interaction picture, and the periodically driven quantum harmonic oscillator.

math-ph↗

arXiv2026

Essentially singular limits of Jacobi operators and applications to higher-order squeezing

We study a family of Jacobi operators in which the diagonal entries are multiplied by a coupling parameter $λ\geq0$. Under suitable conditions, the operator is self-adjoint for every $λ>0$, while the formal limit at $λ=0$ is a symmetric Jacobi operator admitting a one-parameter family of self-adjoint extensions. A central ingredient of our analysis is the derivation of uniform bounds for square-summable generalized eigenvectors in the small-$λ$ regime, which combines discrete WKB methods with Airy-function asymptotics. Using these estimates, we analyze the limiting behavior $λ\to0$ in the strong resolvent sense, proving that for every sequence $λ_j\to0$ one can extract a subsequence along which the corresponding Jacobi operators converge to some self-adjoint extension of the limiting operator; conversely, every such extension can be obtained in this way. We call this behavior an essentially singular limit, by analogy with essential singularities in complex analysis. As an application, we study higher-order squeezing operators arising in quantum optics. Using the connection with Jacobi operators, we show that when the relative strength of the free-field term tends to zero, different self-adjoint extensions of the squeezing operator are selected along different sequences. In particular, this limit does not single out a physically distinguished self-adjoint extension, but instead identifies a distinguished subclass of extensions compatible with the underlying symmetry.

math-ph↗

arXiv2026

Wandering range of robust quantum symmetries

This paper introduces the concept of the wandering range of a robust symmetry $S$ of a Hamiltonian $H$. This quantity measures how the perturbed time evolution $\mathrm{e}^{\mathrm{i}t(H+\varepsilon V)} S \mathrm{e}^{-\mathrm{i} t(H+\varepsilon V)}$ deviates from its unperturbed counterpart $\mathrm{e}^{\mathrm{i} tH} S\mathrm{e}^{-\mathrm{i} tH} = S$. Although the wandering range does not necessarily scale linearly with the perturbation strength $\varepsilon$, we identify conditions under which this linear behavior is recovered and we obtain explicit nonperturbative bounds.

quant-ph↗

arXiv2026

Rotating-Wave and Secular Approximations for Open Quantum Systems

We derive a nonperturbative bound on the distance between evolutions of open quantum systems described by time-dependent generators. We show how this result can be employed to provide an explicit upper bound on the error of the rotating-wave approximation in the presence of dissipation and decoherence. We apply the derived bound to the strong-coupling limit in open quantum systems and to the secular approximation used to obtain a master equation from the Redfield equation.

quant-ph↗

arXiv2026

The quantum harmonic oscillator on a circle -- fragmentation of the algebraic method

A quantum particle on a circle in a quadratic potential exhibits a spectrum that is not harmonic, despite having all algebraic properties of the quantum harmonic oscillator. This raises the question where the usual algebraic argument -- implying integer gaps -- fails. The answer is illuminating and covers a surprisingly rich range of physical phenomena for such a simple model.

quant-ph↗

arXiv2026

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

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.

quant-ph↗

arXiv2026

Finite-dimensional approximations of generalized squeezing

We show unexpected behaviour in simulations of generalized squeezing performed with finite-dimensional truncations of the Fock space: even for extremely large dimension of the state space, the results depend on whether the truncation dimension is even or odd. This situation raises the question whether the simulation results are physically meaningful. We demonstrate that, in fact, the two truncation schemes correspond to two well-defined, distinct unitary evolutions whose generators are defined on different subsets of the infinite-dimensional Fock space. This is a consequence of the fact that the generalized squeezing Hamiltonian is not self-adjoint on states with finite excitations, but possesses multiple self-adjoint extensions. Furthermore, we present results on the spectrum of the squeezing Hamiltonians corresponding to even and odd truncation size that elucidate the properties of the two different self-adjoint extensions corresponding to the even and odd truncation scheme. To make the squeezing operator applicable to a physical system, we must regularize it by other terms that depend on the specifics of the experimental implementation. We show that the addition of a Kerr interaction term in the Hamiltonian leads to uniquely converging simulations, with no dependence on the parity of the truncation size, and demonstrate that the Kerr term indeed renders the Hamiltonian self-adjoint and thus physically interpretable.

quant-ph↗

arXiv2025

Characterizing Fisher information of quantum measurement

Informationally complete measurements form the foundation of universal quantum state reconstruction, while quantum parameter estimation is based on the local structure of the manifold of quantum states. Here we establish a general link between these two aspects, in the context of a single informationally complete measurement, by employing a suitably adapted operator frame theory. In particular, we bound the ratio between the classical and quantum Fisher information in terms of the spectral decomposition of the associated frame operator, and connect these bounds to the optimal and least optimal directions for parameter encoding. The geometric and operational characterization of information extraction thus obtained reveals the fundamental tradeoff imposed by informational completeness on local quantum parameter estimation.

quant-ph↗

arXiv2025

Loss tolerant cross-Kerr enhancement via modulated squeezing

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.

quant-ph↗

arXiv2025

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

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.

quant-ph↗

arXiv2025

Long-term stability of driven quantum systems and the time-dependent Bloch equation

This study looks at the finite-dimensional adiabatic evolution influenced by weak perturbations, extending the analysis to the asymptotic time limit. Beginning with the fundamentals of adiabatic transformations and time-dependent effective Hamiltonians, we intuitively derive the Bloch equation. Our investigation of the solutions of the Bloch equation underscores the critical role of initial conditions and the assured existence of solutions, revealing the intricate link between leakage phenomena and the Bloch transformation. Numerical and analytical evaluations demonstrate that the leakage can remain small eternally. That is, a system that starts in a particular eigenspace of the strong generator remains in the same respective eigenspace for arbitrary long times with an error of $\mathcal{O}(γ^{-1})$, where $γ$ describes the ratio between the strength of the system's strong Hamiltonian and the perturbation.

quant-ph↗

arXiv2025

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

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.

quant-ph↗

arXiv2025

Self-adjoint realizations of higher-order squeezing operators

Higher-order squeezing captures non-Gaussian features of quantum light by probing moments of the field beyond the variance, and is associated with operators involving nonlinear combinations of creation and annihilation operators. Here we study a class of operators of the form $ξ(a^†)^ka^l+ξ^\ast (a^†)^la^k+f(a^†a)$, which arise naturally in the analysis of higher-order quantum fluctuations. The operators are defined on the linear span of Fock states. We show that the essential self-adjointness of these operators depends on the asymptotics of the real-valued function $f(n)$ at infinity. In particular, pure higher-order squeezing operators ($k\geq3$, $l=0$, and $f(n)=0$) are not essentially self-adjoint, but adding a properly chosen term $f(a^†a)$, like a Kerr term, can have a regularizing effect and restore essential self-adjointness. In the non-self-adjoint regime, we compute the deficiency indices and classify all self-adjoint extensions. Our results provide a rigorous operator-theoretic foundation for modeling and interpreting higher-order squeezing in quantum optics, and reveal interesting connections with the Birkhoff-Trjitzinsky theory of asymptotic expansions for recurrence relations.

math-ph↗

arXiv2025

Quantifying the rotating-wave approximation of the Dicke model

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, capture a nontrivial dependence on the total angular momentum of the initial state; this behaviour also seems to be confirmed by accompanying numerical results.

quant-ph↗

arXiv2025

Completeness Stability of Quantum Measurements

We introduce a resource monotone, the completeness stability, to quantify the quality of quantum measurements within a resource-theoretic framework. By viewing a quantum measurement as a frame, the minimum eigenvalue of a frame operator emerges as a significant monotone. It captures bounds on estimation errors and the numerical stability of inverting the frame operator to calculate the optimal dual for state reconstruction. Maximizing this monotone identifies a well-characterized class of quantum measurements forming weighted complex projective 2-designs, which includes well-known examples such as SIC-POVMs. Our results provide a principled framework for comparing and optimizing quantum measurements for practical applications.

quant-ph↗