arXiv subjects

Davide Lonigro

Publications and source records attributed to Davide Lonigro.

At least 19 recordsLinked to original sources

arXiv2026

Rotating-wave approximation for spin-boson models with structured fields

We derive state-dependent bounds on the difference between two quantum evolutions generated by unbounded Hamiltonians sharing a common form domain. The main technical tool is a second integration by parts, performed at the level of sesquilinear forms rather than at the operator level, which removes the need for a common invariant operator domain. The resulting estimate involves the norm of the time-integrated difference of the two generators, rather than the integral of its norm, and is therefore sensitive to the averaging effects produced by fast-oscillating terms. As an application we prove a quantitative bound on the rotating-wave approximation for spin-boson models with a structured boson field, described by an arbitrary massive dispersion relation on a general measure space and by a suitable class of form factors. The proof involves a careful analysis of the high-frequency scaling. The bound holds on a dense subspace of states, is fully explicit, and all the constants entering it depend only on the parameters of the model and not on the frequency scale, so that the approximation becomes exact in the limit of large frequency.

math-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\omega a^\ast a + \Sigma\otimes(a^\ast)^k + \Sigma^\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 $\Sigma$. When $\Sigma$ 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 $\Sigma$. The normality of $\Sigma$ 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 $\lambda\geq0$. Under suitable conditions, the operator is self-adjoint for every $\lambda>0$, while the formal limit at $\lambda=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-$\lambda$ regime, which combines discrete WKB methods with Airy-function asymptotics. Using these estimates, we analyze the limiting behavior $\lambda\to0$ in the strong resolvent sense, proving that for every sequence $\lambda_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↗

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 $\xi (a^\dag)^ka^l+\xi^\ast (a^\dag)^la^k+f(a^\dag 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^\dag 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

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

Renormalization of generalized spin-boson models with critical ultraviolet divergences

We provide a rigorous construction of generalized spin--boson models with commuting transition matrices and form factors exhibiting critical ultraviolet (UV) divergences. That is, we cover all divergences where a self-energy renormalization, but no non-Fock representation, is required. Our method is based on a direct definition of the renormalized Hamiltonian on a sufficiently large test domain, followed by a Friedrichs extension. We then prove that this Hamiltonian coincides with the one obtained by cut-off renormalization. Furthermore, we show that for specific supercritical cases, i.e., when a non-Fock representation is required, the renormalized Hamiltonian is trivial.

math-ph↗

arXiv2025

Phenomenological quantum mechanics: II. Deducing the formalism from experimental observations

We propose an exercise in which one attempts to deduce the formalism of quantum mechanics solely from phenomenological observations. The only assumed inputs are the multi-time probability distributions estimated from the results of sequential measurements of quantum observables; no presuppositions about the underlying mathematical structures are permitted. In the concluding Part II of the paper, we carry out the deduction of the formalism from the phenomenological inputs described in Part I. We show that the resulting formalism exhibits an affinity with Hilbert spaces, and we derive an explicit representation in terms of those mathematical structures. Analogues of the obtained elementary building blocks -- such as projection operators -- are readily identifiable within the standard formalism. However, once these building blocks are assembled according to the blueprint of the deduced bi-trajectory formalism, it becomes evident that the new and the standard formalisms differ substantially at the conceptual level. These differences do not negate the fact that both formalisms are in perfect agreement with respect to empirically testable predictions. Rather, the emergence of a novel, non-standard formulation should be seen as a relatively rare opportunity to reassess, from a fresh perspective, some of the long-standing foundational issues in the theory. The hope is that the new approach may prove more successful in addressing problems that have resisted resolution within the established theoretical framework.

quant-ph↗

arXiv2025

Robust quantification of spectral transitions in perturbed quantum systems

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.

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↗

arXiv2024

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\"odinger equations generated by the truncated Hamiltonians need not converge, in general, to the solution of the Schr\"odinger equation corresponding to the actual Hamiltonian. In this paper we demonstrate that, under mild assumptions, they converge to the solution of the Schr\"odinger 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↗

arXiv2024

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↗

arXiv2024

Phenomenological quantum mechanics: I. Phenomenology of quantum observables

We propose an exercise in which one attempts to deduce the formalism of quantum mechanics solely from phenomenological observations. The only assumed inputs are obtained through sequential probing of quantum systems; no presuppositions about the underlying mathematical structures are permitted. We demonstrate that it is indeed possible to derive, on this basis, a complete and fully functional formalism rooted in the structures of Hilbert spaces. However, the resulting formalism--the bi-trajectory formalism--differs significantly from the standard state-focused formulation. In Part I of the paper, we analyze the outcomes of various experiments involving sequential measurements of quantum observables. These outcomes are quantitatively described by phenomenological multi-time probability distributions, estimated from experimental data. Our first conclusion is that the theory describing these experiments must be non-classical: the measured sequences cannot be interpreted as sampling of a uni-trajectory representing the system's observable. The non-classical nature of the investigated systems manifests in a range of observed phenomena, including quantum interference, the quantum Zeno effect, and uncertainty relations between the measured observables.

quant-ph↗

arXiv2024

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↗

arXiv2024

Double or nothing: a Kolmogorov extension theorem for multitime (bi)probabilities in quantum mechanics

The multitime probability distributions obtained by repeatedly probing a quantum system via the measurement of an observable generally violate Kolmogorov's consistency property. Therefore, one cannot interpret such distributions as the result of the sampling of a single trajectory. We show that, nonetheless, they do result from the sampling of one pair of trajectories. In this sense, rather than give up on trajectories, quantum mechanics requires to double down on them. To this purpose, we prove a generalization of the Kolmogorov extension theorem that applies to families of complex-valued bi-probability distributions (that is, defined on pairs of elements of the original sample spaces), and we employ this result in the quantum mechanical scenario. We also discuss the relation of our results with the quantum comb formalism.

quant-ph↗

arXiv2024

On the Liouville-von Neumann equation for unbounded Hamiltonians

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\"odinger 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.

quant-ph↗

arXiv2024

On a sharper bound on the stability of non-autonomous Schrödinger equations and applications to quantum control

We study the stability of the Schrödinger equation generated by time-dependent Hamiltonians with constant form domain. That is, we bound the difference between solutions of the Schrödinger equation by the difference of their Hamiltonians. The stability theorem obtained in this article provides a sharper bound than those previously obtained in the literature. This makes it a potentially useful tool for time-dependent problems in Quantum Physics, in particular for Quantum Control. We apply this result to prove two theorems about global approximate controllability of infinite-dimensional quantum systems. These results improve and generalise existing results on infinite-dimensional quantum control.

math-ph↗

arXiv2024

Global approximate controllability of quantum systems by form perturbations and applications

We provide sufficient conditions for the approximate controllability of infinite-dimensional quantum control systems corresponding to form perturbations of the drift Hamiltonian modulated by a control function. We rely on previous results on controllability of quantum bilinear control systems and obtain a priori $L^1$-bounds of the controls for generic initial and target states. We apply a stability result for the non-autonomous Schr\"odinger equation to extend the results to systems defined by form perturbations, including singular perturbations. As an application of our results, we prove approximate controllability of a quantum particle in a one-dimensional box with a point-interaction with tuneable strength at the centre of the box.

math.OC↗