Searcharxiv⌕ Search

arXiv subjects

Cambyse Rouzé

Publications and source records attributed to Cambyse Rouzé.

At least 19 recordsLinked to original sources

Learning and certification of local time-dependent quantum dynamics and noise

Hamiltonian learning protocols are becoming valuable tools for benchmarking and verifying quantum computers and simulators, yet few rigorous protocols address explicitly time-dependent dynamics. We give a scalable protocol for learning the time-dependent coefficients of a locally interacting $n$-qubit system on a graph $\mathsf{G}$ of effective dimension $D$. The unknown generator contains geometrically local Hamiltonian terms and weak onsite Pauli-dephasing terms with time-dependent, nonnegative rates. Its coefficient functions and their derivatives admit a certified simultaneous $C^1$ approximation in a known finite-dimensional function class that supports stable interpolation. The only experimental primitives are preparation of product Pauli eigenstates, evolution for chosen times, and product-Pauli measurements. Under an explicit weak-dissipation condition, the Lieb--Robinson estimates proved here, and a certified effective approximation/interpolation degree $m_{\rm eff}$, the protocol reconstructs every coefficient uniformly on a constant interval with error $ε$ and success probability $1-δ$ using $\widetilde{\mathcal{O}}\!\left(ε^{-2}\operatorname{poly}(m_{\rm eff})\log(nδ^{-1})\right)$ samples and polynomial classical processing. The method estimates derivatives of finite-time channel overlaps by stable interpolation, uses process shadows to learn the required local transfer matrices, and constructs sparse diagonally dominant systems through localized semidefinite programs.

quant-ph↗

Quantum Gibbs Sampling in Infinite Dimensions: Generation, Mixing Times and Circuit Implementation

We develop a rigorous and implementable framework for Gibbs sampling of infinite-dimensional quantum systems governed by unbounded Hamiltonians. Extending dissipative Gibbs samplers beyond finite dimensions raises fundamental obstacles, including ill-defined generators, the absence of spectral gaps on natural Banach spaces, and tensions between implementability and convergence guarantees. We overcome these issues by constructing KMS-symmetric quantum Markov semigroups on separable Hilbert spaces that are both well-posed and efficiently implementable on qubit hardware. Our generation theory is based on the abstract framework of Dirichlet forms, adapted here to the case of algebras of bounded operators over separable Hilbert spaces. Leveraging the spectral properties of our self-adjoint generators, we establish quantitative convergence results in trace distance, including regimes of fast thermalization. In contrast, we also identify Hamiltonians for which a naive choice of generators guaranteeing implementability generally comes at the cost of losing uniform exponential convergence guarantees for the associated evolutions, thereby establishing a strong trade-off between implementability and convergence. Our framework applies to a wide class of models - including Schrödinger operators, Gaussian systems, and Bose-Hubbard Hamiltonians - and provides a unified approach linking rigorous infinite-dimensional analysis with algorithmic Gibbs state preparation.

quant-ph↗

Simulating Thermal Properties of Bose-Hubbard Models on a Quantum Computer

While recent advances have established efficient quantum algorithms for preparing Gibbs states of finite-dimensional systems, comparable complexity results for bosonic and other infinite-dimensional models remain unexplored. We introduce the first general rigorous Gibbs sampling framework for bosonic many-body systems, showing that physically relevant bosonic models admit gapped dissipative generators, enabling efficient preparation of thermal states, provided that the spectral gap scales favourably with the number of modes. Although our results hold for broad classes of models, we illustrate them using Bose-Hubbard Hamiltonians, both within and beyond the mean-field regime. In both cases, we show that the associated dissipative generators maintain a positive spectral gap, thereby implying exponential convergence to the thermal state. For the Gibbs sampler corresponding to the full Bose-Hubbard model, we obtain a spectral-gap lower bound $Ce^{-cn}$, where $n$ is the number of modes. We apply our results to provide a Gibbs-state preparation algorithm on qubit hardware, with runtime polynomial in the number of modes and the inverse spectral gap, and thereby obtain a quantum algorithm to compute thermal properties of the model. This provides the first mathematically controlled route to Gibbs sampling in infinite-dimensional systems, with implications for quantum simulation, thermalization, and many-body complexity, where quantum advantages may arise.

quant-ph↗

Computing the free energy of quantum Coulomb gases and molecules via quantum Gibbs sampling

We develop a quantum Gibbs-sampling approach to free-energy estimation for trapped systems of distinguishable particles with Coulomb interactions in dimensions $d\in\{2,3\}$. The singular infinite-dimensional problem is reduced to a finite-rank low-energy truncation of the interaction, the truncated Gibbs state is prepared by a quantum Markov semigroup, and thermodynamic integration gives the free energy. We obtain explicit truncation rates, quantitative spectral-gap estimates, and a finite-dimensional circuit implementation. In particular, every fixed interaction truncation has a positive gap, while weak truncated interactions admit a particle-number-independent lower bound. The circuit complexity is conditional on a certified gap lower bound at the accuracy-dependent interaction cutoff.

quant-ph↗

Robust Structure Learning of $k$-local Lindbladians

We present an efficient protocol for learning an unknown $k$-local Lindblad generator on $n$ qubits using only product-state preparations, short-time evolution, and single-qubit Pauli measurements, without prior knowledge of the interaction structure. For fixed $k$ and a supplied weighted interaction-strength bound $\barα$, the protocol estimates all Hamiltonian and dissipative Pauli--GKSL coefficients with total coefficient error at each site at most $\varepsilon$ with probability at least $1-δ$ using $\widetilde{\mathcal O}_k(\barα^2n^{2k-2}\varepsilon^{-2}\log(n/δ))$ samples and polylogarithmically many distinct evolution times. This guarantee requires no degree, sparsity, or tail promise. A convex optimization converts these estimates into a valid $k$-local Lindblad generator with diamond-norm error at most $\varepsilon$ using $\widetilde{\mathcal O}_k(\barα^2n^{2k}\varepsilon^{-2}\log(n/δ))$ samples and polynomial-time classical postprocessing. With a supplied local effective-sparsity bound $r$ and a sufficiently small sitewise subthreshold tail $\mathcal O_k(\varepsilon)$, coefficient recovery requires only $\widetilde{\mathcal O}_k(\barα^2r^2\varepsilon^{-2}\log(n/δ))$ samples, without a supplied threshold or coefficient locations and without a coefficient-gap assumption. In particular, exactly sparse bounded-degree models have logarithmic sample dependence on $n$. We also provide guard-band support recovery and complementary supplied-candidate guarantees, extend the guarantees to model misspecification, and prove complementary sample-complexity lower bounds.

quant-ph↗

Hypercontractivity and entropy decay for infinite-dimensional quantum Gibbs samplers

We derive rates of exponential relative-entropy decay for a broad class of infinite-dimensional quantum Gibbs samplers. A key technical ingredient is a perturbative stability theory for hypercontractive estimates and logarithmic Sobolev inequalities. For suitably chosen dissipative couplings, we obtain exponential entropy decay for full multimode Bose-Hubbard samplers with arbitrary hopping and repulsive density interactions. For harmonically confined quantum Coulomb gases and molecular systems, we prove exponential entropy decay for every fixed finite-rank low-energy truncation of the interaction. Finally, we exhibit a periodic charging model with a positive spectral gap but no finite-time $L^2$-to-$L^p$ bound for any $p>2$.

quant-ph↗

Fast convergence of propagation algorithms for open quantum systems

We establish general conditions for the rapid convergence of propagation algorithms for computing expectation values of local observables in quantum many-body systems, covering both spin and fermionic systems. Our results apply to evolutions that are sufficiently contractive, providing a general mechanism by which contractivity controls the growth generated by local interactions and enables efficient classical simulation. As a first application, we consider noisy time evolution generated by local Hamiltonians on arbitrary interaction graphs. We show that the dynamics can be efficiently simulated when the noise strength $λ$ is sufficiently large compared to the degree of the interaction graph. More generally, for systems with an interaction strength $u$, our bounds determine a time horizon $t_{\text{max}}$ as a function of the interaction strength $u$, the noise strength $λ$, and the interaction structure below which the algorithm is efficient. In the noiseless limit, $λ=0$, our analysis extends the efficiently simulable time scale from $\log(1/u)$ proved in Facelli, Fawzi, and Fawzi (2026) to $t_{\text{max}} \sim 1/u$ matching the recent improvement by Zhao, Marvian and Tong (2026). As a second application, we apply the same framework to the computation of local observables in Gibbs states of local Hamiltonians. We consider a pseudo-Lindbladian whose steady state is the Gibbs state and show that, at sufficiently high temperature, its propagation algorithm converges rapidly. In particular, for weakly-interacting systems with interaction strength $u$, our result applies up to inverse temperatures $β\sim\log(1/u)$.

quant-ph↗

Rapid mixing of Gibbs samplers via quantum Dobrushin--Shlosman conditions

Classical Dobrushin--Shlosman theory uses heat-bath block updates to identify sharp temperature thresholds for establishing the rapid mixing of Gibbs samplers. In particular, these mixing guarantees often hold even when stricter single-site conditions fail. We extend this approach to noncommuting quantum lattice systems through a quantum Dobrushin--Shlosman condition for finite-block dynamics, which we call smoothed heat-bath dynamics. We establish this condition in two regimes. For finite-range quantum spin chains at every fixed finite temperature, we prove logarithmic trace-norm mixing in system size, with normalized bounds uniform in on-site fields and single exponential in inverse temperature. We also prove stability under small local perturbations of interacting, possibly noncommuting reference Hamiltonians on graphs of polynomial volume growth. For classical references with bounded local interactions, uniform strong spatial mixing implies our quantum condition. With bounded local terms and fixed physical, geometric and block parameters, the resulting samplers prepare Gibbs states to trace-norm error $\varepsilon$ using $N\operatorname{polylog}(N/\varepsilon)$ gates and classical operations. Our block updates combine a local Gibbs reset with quantum belief propagation to incorporate interactions across the block boundary, yielding exactly Gibbs-preserving, KMS-reversible channels. Two independently tunable parameters control contraction: an internal evolution time suppresses the influence of sites inside a block, while the block size allows interior contraction to dominate boundary influence. This finite-time relaxation has no counterpart in a classical heat-bath block update.

quant-ph↗

Learning Local Fermionic Lindbladians under Parity Superselection

Parity superselection forbids direct measurement of odd Majorana observables. We learn time-independent, parity-covariant, $k$-mode-local Lindbladians on $m$ modes using even preparations and measurements with uninterrupted short-time evolution. Internal markers turn odd probes into even observables, and pair measurements among three separated markers calibrate their dynamical contributions. Signed Fierz inversion recovers canonical coefficients, while semidefinite fitting yields a valid generator. For finite-range models on known bounded-degree graphs with suitable marker access and a supplied weighted-strength bound $\barα$, entrywise error $\varepsilon$ is achieved using $\widetilde{\mathcal{O}}(\barα^2\varepsilon^{-2}\log(m/δ))$ samples, without external modes or known nonzero coefficient locations. Recovery to diamond-norm error $\varepsilon$ costs an additional factor $m^2$, matching lower bounds for short-time experiments on fresh systems up to logarithmic and fixed geometric factors. Without a supplied graph, one idle ancillary mode per system mode and potentially nonlocal pair operations give total absolute coefficient error at most $\varepsilon$ per mode using $\widetilde{\mathcal{O}}_k(\barα^2\mathsf d^2m^{\lfloor k/2\rfloor}\varepsilon^{-2}\log(m/δ))$ samples, under a supplied approximate coefficient-degree bound $\mathsf d$ and controlled weak-coefficient tails. All guarantees hold with probability at least $1-δ$. For geometric models, fixed-support even observables can be predicted with logarithmic system-size sample complexity at fixed time and accuracy. We also give finite-volume and exponential-tail extensions.

quant-ph↗

Convergence of the Cumulant Expansion and Polynomial-Time Algorithm for Weakly Interacting Fermions

We propose a randomized algorithm to compute the log-partition function of weakly interacting fermions with polynomial runtime in both the system size and precision. Although weakly interacting fermionic systems are considered tractable for many computational methods such as the diagrammatic quantum Monte Carlo, a mathematically rigorous proof of polynomial runtime has been lacking. In this work we first extend the proof techniques developed in previous works for proving the convergence of the cumulant expansion in periodic systems to the non-periodic case. A key equation used to analyze the sum of connected Feynman diagrams, which we call the tree-determinant expansion, reveals an underlying tree structure in the summation. This enables us to design a new randomized algorithm to compute the log-partition function through importance sampling augmented by belief propagation. This approach differs from the traditional method based on Markov chain Monte Carlo, whose efficiency is hard to guarantee, and enables us to obtain a algorithm with provable polynomial runtime.

quant-ph↗

Two-Indexed Schatten Quasi-Norms with Applications to Quantum Information Theory

We define 2-indexed $(q,p)$-Schatten quasi-norms for any $q,p > 0$ on operators on a tensor product of Hilbert spaces, naturally extending the norms defined by Pisier's theory of operator-valued Schatten spaces. We establish several desirable properties of these quasi-norms, such as relational consistency and the behavior on block diagonal operators, assuming that $|\frac{1}{q} - \frac{1}{p}| \leq 1$. In fact, we show that this condition is essentially necessary for natural properties to hold. Furthermore, for linear maps between spaces of such quasi-norms, we introduce completely bounded quasi-norms and co-quasi-norms. We prove that the $q \to p$ completely bounded co-quasi-norm is super-multiplicative for tensor products of quantum channels for $q \geq p>0$, extending an influential result of [Devetak, Junge, King, Ruskai, 2006]. Our proofs rely on elementary matrix analysis and operator convexity tools and do not require operator space theory. On the applications side, we demonstrate that these quasi-norms can be used to express relevant quantum information measures such as Rényi conditional entropies for $α\geq \frac{1}{2}$ or the Sandwiched Rényi Umlaut information for $α< 1$. Our multiplicativity results imply a tensorizing notion of reverse hypercontractivity, additivity of the completely bounded minimum output Rényi-$α$-entropy for $α\geq\frac{1}{2}$ extending another important result of [Devetak, Junge, King, Ruskai, 2006], and additivity of the maximum output Rényi-$α$ entropy for $α\geq \frac{1}{2}$.

quant-ph↗

Learning and simulating bosonic systems via finite-energy locality

Bosonic devices promise applications in simulation, sensing and quantum error correction, but infinite-dimensional local Hilbert spaces obstruct the locality tools that make qubit dynamics efficiently learnable and simulable. We establish a finite-energy locality principle for geometrically local bosonic open systems satisfying photon-number moment propagation. It compares unbounded generators with Galerkin cutoffs, transferring finite-dimensional Lieb--Robinson, product-formula and circuit techniques to bosons with explicit errors. For this moment-controlled class, we obtain, to our knowledge, the first model-independent weak Lieb--Robinson bounds beyond Bose--Hubbard-type dynamics, together with quantitative Trotter and simulation guarantees for polynomial bosonic GKSL generators. As a central application, coherent-state preparation and local heterodyne detection suffice to learn coefficients of a known bounded-degree polynomial Hamiltonian ansatz local on a bounded-growth interaction graph to accuracy $\varepsilon$ and failure probability $δ$, with sample complexity and total evolution time both $\widetilde{\mathcal{O}}(\varepsilon^{-2}\log(m/δ))$, where $m$ counts on-site and interaction terms. This matches the best known finite-dimensional locality-assisted scaling in accuracy and system size, up to polylogarithmic factors. The assumptions hold for Bose--Hubbard and quadratic dynamics without added dissipation; for more general local polynomial Hamiltonians they can be supplied natively or engineered by known multi-photon loss in stabilized bosonic architectures.

quant-ph↗

Additivity and chain rules for quantum entropies via multi-index Schatten norms

The primary entropic measures for quantum states are additive under the tensor product. In the analysis of quantum information processing tasks, the minimum entropy of a set of states, e.g., the minimum output entropy of a channel, often plays a crucial role. A fundamental question in quantum information and cryptography is whether the minimum output entropy remains additive under the tensor product of channels. Here, we establish a general additivity statement for the optimized sandwiched Rényi entropy of quantum channels. For that, we generalize the results of [Devetak, Junge, King, Ruskai, CMP 2006] to multi-index Schatten norms. As an application, we strengthen the additivity statement of [Van Himbeeck and Brown, 2025] thus allowing the analysis of time-adaptive quantum cryptographic protocols. In addition, we establish chain rules for Rényi conditional entropies that are similar to the ones used for the generalized entropy accumulation theorem of [Metger, Fawzi, Sutter, Renner, CMP 2024].

quant-ph↗

Convergence rates of Sum-of-Hermitian-Squares Hierarchies for the Pauli algebra

Moment/Sum-of-Hermitian-Squares relaxations for noncommutative polynomial optimization problems have become an important tool for analyzing problems within quantum theory. Despite their widespread success, little is known about their rate of convergence and, consequently, their accuracy. In this work, we develop explicit convergence rates for relaxations of noncommutative polynomial optimization problems generated from the Pauli algebra -- covering applications to the ground state energy problem for n-qubit systems. In particular, we show that the rate of convergence can be bounded in terms of the smallest roots of a family of orthogonal polynomials known as Krawtchouk polynomials. Our result represents the first quantitative analysis of the rate of convergence for relaxations of noncommutative polynomial optimization problems.

quant-ph↗

Efficient Hamiltonian, structure and trace distance learning of Gaussian states

In this work, we initiate the study of Hamiltonian learning for positive temperature bosonic Gaussian states, the quantum generalization of the widely studied problem of learning Gaussian graphical models. We obtain efficient protocols, both in sample and computational complexity, for the task of inferring the parameters of their underlying quadratic Hamiltonian under the assumption of bounded temperature, squeezing, displacement and maximal degree of the interaction graph. Our protocol only requires heterodyne measurements, which are often experimentally feasible, and has a sample complexity that scales logarithmically with the number of modes. Furthermore, we show that it is possible to learn the underlying interaction graph in a similar setting and sample complexity. In addition, we use our techniques to obtain the first results on learning Gaussian states in trace distance with a quadratic scaling in precision and polynomial in the number of modes, albeit imposing certain restrictions on the Gaussian states. Our main technical innovations are several continuity bounds for the covariance and Hamiltonian matrix of a Gaussian state, which are of independent interest, combined with what we call the local inversion technique. In essence, the local inversion technique allows us to reliably infer the Hamiltonian of a Gaussian state by only estimating in parallel submatrices of the covariance matrix whose size scales with the desired precision, but not the number of modes. This way we bypass the need to obtain precise global estimates of the covariance matrix, controlling the sample complexity.

quant-ph↗

Modified logarithmic Sobolev inequalities for Abelian quantum double models

We establish rapid mixing for Davies Markov semigroups associated with 2D Abelian quantum double models at any positive temperature. A condition of Dobrushin-Shlosman (DS) type holds at any temperature, and we show that the latter implies a modified logarithmic Sobolev inequality for the Davies Lindbladian. A key step in the argument is to verify a strong martingale condition for the local conditional expectations of the Davies semigroup in the regime of validity of the DS condition.

quant-ph↗

Efficient thermalization and universal quantum computing with quantum Gibbs samplers

The preparation of thermal states of matter is a crucial task in quantum simulation. In this work, we prove that a recently introduced, efficiently implementable dissipative evolution thermalizes to the Gibbs state in time scaling polynomially with system size at high enough temperatures for any Hamiltonian that satisfies a Lieb-Robinson bound, such as local Hamiltonians on a lattice. Furthermore, we show the efficient adiabatic preparation of the associated purifications or ``thermofield double'' states. These results establish the efficient preparation of high-temperature Gibbs states and their purifications. In the low-temperature regime, we show that implementing this family of dissipative evolutions for inverse temperatures polynomial in the system's size is computationally equivalent to polynomial time quantum computations. On a technical level, for high temperatures, our proof makes use of the mapping of the generator of the evolution into a Hamiltonian, and then connecting its convergence to that of the infinite temperature limit. For low temperature, we instead perform a perturbation at zero temperature and resort to circuit-to-Hamiltonian mappings akin to the proof of universality of quantum adiabatic computing. Taken together, our results show that a family of quasi-local dissipative evolutions efficiently prepares a large class of quantum many-body states of interest, and has the potential to mirror the success of classical Monte Carlo methods for quantum many-body systems.

quant-ph↗

Certifying and learning local quantum Hamiltonians

In this work, we study the problems of certifying and learning quantum $k$-local Hamiltonians, for a constant $k$. Our main contributions are as follows: - Certification of Hamiltonians. We show that certifying a local Hamiltonian in normalized Frobenius norm via access to its time-evolution operator can be achieved with only $O(1/\varepsilon)$ evolution time. This is optimal, as it matches the Heisenberg-scaling lower bound of $Ω(1/\varepsilon)$. To our knowledge, this is the first optimal algorithm for testing a Hamiltonian property. A key ingredient in our analysis is the Bonami Hypercontractivity Lemma from Fourier analysis. - Learning Gibbs states. We design an algorithm for learning Gibbs states of local Hamiltonians in trace norm that is sample-efficient in all relevant parameters. In contrast, previous approaches learned the underlying Hamiltonian (which implies learning the Gibbs state), and thus inevitably suffered from exponential sample complexity scaling in the inverse temperature. - Certification of Gibbs states. We give an algorithm for certifying Gibbs states of local Hamiltonians in trace norm that is both sample and time-efficient in all relevant parameters, thereby solving a question posed by Anshu (Harvard Data Science Review, 2022).

quant-ph↗