Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2607.26093

Exact Conditional Momentum Moments for Nonlinear Homodyne Trajectories

Jacob Emerson

quant-phSubmitted Jul 28, 2026• Announced Jul 29, 2026• 0 citations• Revised Aug 14, 2026 (v2)
v1 · Jul 28, 2026v2 · Aug 14, 2026
arXivHTMLPDF

Abstract

Simulation of nonlinear stochastic master equations generally requires trajectory-level evolution of large Hilbert-space density matrices, making strongly nonlinear continuously monitored systems computationally challenging. Here we identify an exactly solvable class centered on polynomial Hamiltonians of commuting quadratures with linear damping and homodyne measurement of those same quadratures. For initial states with a Gaussian measured-quadrature marginal and polynomial conditional-momentum sections, we derive an exact finite stochastic representation through any fixed momentum order. The result extends to interacting multimode systems, arbitrary measurement efficiency, and finite thermal occupation. Its computational cost is linear in trajectory length and independent of Hilbert-space dimension, requiring no Fock-space truncation, Gaussian approximation, or approximate moment closure. As an application, we derive an exact causal filter for monitored cubic-phase gates that uses the homodyne record to determine the variance-minimizing momentum displacement. Numerical simulations validate the representation against direct stochastic-master-equation evolution, demonstrate substantial speedups over converged Fock-space propagation, and show that this record-conditioned recentering can efficiently recover nonlinear squeezing otherwise lost through trajectory averaging.

Comments
15 pages, 5 figures

Related papers

Finite Realizations and Effective Memory in Nonlinear Quantum Filtering

Jacob Emerson

Nonlinear dynamics generate non-Gaussian states and operations, but they also make continuously monitored quantum systems difficult to track. A quantum filter performs this task by compressing a noisy measurement record into a set of evolving variables that predict future observables. For Gaussian dynamics, this compression is exact and finite. In nonlinear systems, conventional moment equations generally expand without bound, but the failure of one representation does not prove that every finite description is impossible. Here we formulate quantum filtering as a realization problem for general quantum input--output maps. We introduce the linearized observable Hankel operator $K_O$, which maps changes in the past measurement record to changes in a future conditional observable. Any finite-dimensional smooth filter forces $K_O$ to have finite rank, so infinite rank provides a coordinate-independent proof that no exact finite-dimensional filter exists. Applied to single-mode polynomial bosonic systems under continuous quadrature monitoring, this yields a sharp boundary: Gaussian dynamics and the measurement-aligned Conditional Momentum Moment class admit finite realizations, whereas dynamics outside these classes produce infinitely many response directions and admit no finite-dimensional smooth exact filter. Exact impossibility, however, need not imply large practical complexity. The singular values of $K_O$ quantify how many response directions matter at a chosen local accuracy, defining the effective memory of an observable. For the Kerr and Duffing oscillators, these singular values decay rapidly despite infinite exact rank, showing that infinite exact memory can coexist with low finite-accuracy complexity. The framework therefore separates exact realizability from effective complexity in nonlinear quantum filtering.

quant-pharXiv:2609.09663•Sep 10, 2026•0 citations

Homodyne Unravelling and Parameter Estimation in Squeezed Thermal Baths

Eoin O'Connor, Francesco Albarelli, Marco G. Genoni

We derive an alternative formulation of the stochastic master equation describing the evolution of quantum systems continuously measured via homodyne detection in a squeezed-thermal environment. This formulation allows us to identify two distinct collapse operators, corresponding respectively to the monitored and unmonitored channels, and to express the quantum state evolution directly in terms of Kraus-like operators. As a consequence, it facilitates the application of advanced numerical methods that account for higher-order corrections and discrete-time monitoring, and it also enables the efficient numerical evaluation of Cramér-Rao bounds in parameter estimation problems. To demonstrate the latter, we evaluate the Fisher information of the continuous homodyne monitoring for qubit frequency estimation in the presence of a squeezed-thermal bath. Our results show that exponential scaling of the steady-state Fisher information rate with squeezing is retained even at non-zero temperature.

quant-pharXiv:2610.37438•Oct 28, 2026•0 citations

A Constructive Unitary Model of Quantum Measurement: Born-Consistent Outcomes and Stable Records

fei ding, George S. Zhou

We construct a finite quantum measurement model using a quantum-nondemolition (QND) qubit coupled to a two-photon-driven Kerr parametric oscillator (KPO) with continuously monitored homodyne output. A unitary dilation of the qubit, pointer, and field accounts for decoherence, output noise, and conditioning; the stochastic master equation is a filter for the observed record, not an objective-collapse law. Exact QND commutation makes the conditioned source-sector weight a bounded martingale. Under asymptotic output identifiability, it becomes extremal almost surely, with terminal hitting probabilities equal to the initial Born sector weights. This establishes instrument-level Born consistency, not a derivation of the Hilbert-space probability rule from dynamics alone. The nonlinear KPO amplifies sector-dependent biases and registers information in metastable pointer basins. Pointer separation scales as $\sqrt{N}$ and the effective semiclassical noise scale as $N^{-1/2}$. Full quantum trajectories show synchronization of conditional extremalization and pointer locking. Over the simulated finite-size range, wrong registration and later record corruption decrease approximately exponentially with distinct rates. Reduced first-passage, Liouvillian-metastability, and Freidlin-Wentzell minimum-action calculations independently support the corruption exponent to within a few percent. Thus conditional extremalization, single-basin registration, and metastable storage coexist within standard unitary-background quantum mechanics, without deleting unconditioned global components or adding a fundamental stochastic selector. Classical actuality remains a separate record-level ontological claim. The stored KPO record is a local building block for the companion Framework, whose broader claims require persistent co-recordable records in one commutative record algebra.

•Sep 7, 2026•0 citations

Calculus of Robinet: completely positive reconstruction of time-averaged diffusive quantum trajectories

Hector Hutin, Antoine Tilloy

Truly continuous quantum trajectories, obtained from homodyne or heterodyne readouts, can only ever be reconstructed approximately. The continuous measurement signal, needed for exact reconstruction, is averaged over bins of finite time $Δt$ during any analog to digital conversion step. The best reconstruction possible, knowing only this discrete record, was introduced recently and dubbed the Robinet state. In this article, we show how the Robinet state can be computed with a numerical discretization scheme that is completely positive, accurate to arbitrarily high order in $Δt$, and that does not rely on any other external solver. Our derivation relies on a dilation of the stochastic master equation into a system + transmission line setup, constructed in such a way that measuring what we call the "zero mode" of the line yields the Robinet state. We test the method on a challenging example with random Hamiltonian and jump operator, and verify its accuracy up to order $10$. Apart from its numerical interest, our approach provides a wealth of physical insights, extending in particular recent results on purity obtained by Wonglakhon, Chantasri, and Wiseman, that would be difficult to obtain in any other way.

quant-pharXiv:2607.18392•Jul 22, 2026•0 citations

Lie-Algebraic Classical Simulation of Bosonic Systems Beyond Gaussian Dynamics

Adelina Bärligea, Timothy Heightman, Jakob S. Kottmann +1 more

Classical simulability is ultimately determined by both the dynamics of a quantum system and the observables being evaluated. Lie-algebraic simulation exploits the latter to make exact polynomial-time classical simulations by propagating observables through low-dimensional invariant operator spaces. However, its conventional formulation in terms of polynomial-dimensional dynamical Lie algebras does not directly accommodate bosonic systems as their algebras are neither compact nor semisimple. In this contribution, we overcome this limitation, making bosonic systems accessible to the Lie-algebraic programme of exact polynomial-time classical simulation. We prove that expectation values, fixed-order correlation functions, including multi-time correlators and out-of-time-ordered correlators, and gradients are efficiently computable whenever their operator modules have polynomial dimension. This recovers Gaussian quantum optics and extends it to non-Gaussian input states, while identifying exact polynomial regimes of interacting non-Gaussian dynamics including bounded-photon Kerr and pair-hopping Hamiltonians and nilpotent polynomial phase dynamics. We show that unlike in the finite-dimensional spin and fermionic setting treated previously, a finite-dimensional bosonic generator algebra alone does not guarantee finite observable dynamics. We further derive a controlled perturbative hierarchy for squeezing beyond exact sector confinement and confirm the predicted error orders numerically. We also evaluate operator spreading on interacting chains of up to $400$ modes and connect a topological doublon band with flux-reversed edge motion. These results provide a unified formalism for classifying, discovering, and systematically approximating tractable bosonic quantum dynamics with classical polynomial-time simulation.

quant-pharXiv:2608.17094•Aug 19, 2026•0 citations

Quantum Filtering for Squeezed Noise Inputs

John Gough, Dylon Rees

We derive the quantum filter for a quantum open system undergoing quadrature measurements (homodyning) where the input field is in a general quasi-free state. This extends previous work for thermal input noise and allows for squeezed inputs. We introduce a convenient class of Bogoliubov transformations which we refer to as balanced and formulate the quantum stochastic model with squeezed noise as an Araki-Woods type representation. We make an essential use of the Tomita-Takesaki theory to construct the commutant of the C*-algebra describing the inputs and obtain the filtering equations using the quantum reference probability technique. The derived quantum filter must be independent of the choice of representation and this is achieved by fixing an independent quadrature in the commutant algebra.

quant-pharXiv:2601.12564•Jan 20, 2026•0 citations
Simulation of nonlinear stochastic master equations generally requires trajectory-level evolution of large Hilbert-space density matrices, making strongly nonlinear continuously monitored systems computationally challenging. Here we identify an exactly solvable class centered on polynomial Hamiltonians of commuting quadratures with linear damping and homodyne measurement of those same quadratures. For initial states with a Gaussian measured-quadrature marginal and polynomial conditional-momentum sections, we derive an exact finite stochastic representation through any fixed momentum order. The result extends to interacting multimode systems, arbitrary measurement efficiency, and finite thermal occupation. Its computational cost is linear in trajectory length and independent of Hilbert-space dimension, requiring no Fock-space truncation, Gaussian approximation, or approximate moment closure. As an application, we derive an exact causal filter for monitored cubic-phase gates that uses the homodyne record to determine the variance-minimizing momentum displacement. Numerical simulations validate the representation against direct stochastic-master-equation evolution, demonstrate substantial speedups over converged Fock-space propagation, and show that this record-conditioned recentering can efficiently recover nonlinear squeezing otherwise lost through trajectory averaging.
Nonlinear dynamics generate non-Gaussian states and operations, but they also make continuously monitored quantum systems difficult to track. A quantum filter performs this task by compressing a noisy measurement record into a set of evolving variables that predict future observables. For Gaussian dynamics, this compression is exact and finite. In nonlinear systems, conventional moment equations generally expand without bound, but the failure of one representation does not prove that every finite description is impossible. Here we formulate quantum filtering as a realization problem for general quantum input--output maps. We introduce the linearized observable Hankel operator KOK_OKO​, which maps changes in the past measurement record to changes in a future conditional observable. Any finite-dimensional smooth filter forces KOK_OKO​ to have finite rank, so infinite rank provides a coordinate-independent proof that no exact finite-dimensional filter exists. Applied to single-mode polynomial bosonic systems under continuous quadrature monitoring, this yields a sharp boundary: Gaussian dynamics and the measurement-aligned Conditional Momentum Moment class admit finite realizations, whereas dynamics outside these classes produce infinitely many response directions and admit no finite-dimensional smooth exact filter. Exact impossibility, however, need not imply large practical complexity. The singular values of KOK_OKO​ quantify how many response directions matter at a chosen local accuracy, defining the effective memory of an observable. For the Kerr and Duffing oscillators, these singular values decay rapidly despite infinite exact rank, showing that infinite exact memory can coexist with low finite-accuracy complexity. The framework therefore separates exact realizability from effective complexity in nonlinear quantum filtering.
We derive an alternative formulation of the stochastic master equation describing the evolution of quantum systems continuously measured via homodyne detection in a squeezed-thermal environment. This formulation allows us to identify two distinct collapse operators, corresponding respectively to the monitored and unmonitored channels, and to express the quantum state evolution directly in terms of Kraus-like operators. As a consequence, it facilitates the application of advanced numerical methods that account for higher-order corrections and discrete-time monitoring, and it also enables the efficient numerical evaluation of Cramér-Rao bounds in parameter estimation problems. To demonstrate the latter, we evaluate the Fisher information of the continuous homodyne monitoring for qubit frequency estimation in the presence of a squeezed-thermal bath. Our results show that exponential scaling of the steady-state Fisher information rate with squeezing is retained even at non-zero temperature.
We construct a finite quantum measurement model using a quantum-nondemolition (QND) qubit coupled to a two-photon-driven Kerr parametric oscillator (KPO) with continuously monitored homodyne output. A unitary dilation of the qubit, pointer, and field accounts for decoherence, output noise, and conditioning; the stochastic master equation is a filter for the observed record, not an objective-collapse law. Exact QND commutation makes the conditioned source-sector weight a bounded martingale. Under asymptotic output identifiability, it becomes extremal almost surely, with terminal hitting probabilities equal to the initial Born sector weights. This establishes instrument-level Born consistency, not a derivation of the Hilbert-space probability rule from dynamics alone. The nonlinear KPO amplifies sector-dependent biases and registers information in metastable pointer basins. Pointer separation scales as N\sqrt{N}N​ and the effective semiclassical noise scale as N−1/2N^{-1/2}N−1/2. Full quantum trajectories show synchronization of conditional extremalization and pointer locking. Over the simulated finite-size range, wrong registration and later record corruption decrease approximately exponentially with distinct rates. Reduced first-passage, Liouvillian-metastability, and Freidlin-Wentzell minimum-action calculations independently support the corruption exponent to within a few percent. Thus conditional extremalization, single-basin registration, and metastable storage coexist within standard unitary-background quantum mechanics, without deleting unconditioned global components or adding a fundamental stochastic selector. Classical actuality remains a separate record-level ontological claim. The stored KPO record is a local building block for the companion Framework, whose broader claims require persistent co-recordable records in one commutative record algebra.
Truly continuous quantum trajectories, obtained from homodyne or heterodyne readouts, can only ever be reconstructed approximately. The continuous measurement signal, needed for exact reconstruction, is averaged over bins of finite time ΔtΔtΔt during any analog to digital conversion step. The best reconstruction possible, knowing only this discrete record, was introduced recently and dubbed the Robinet state. In this article, we show how the Robinet state can be computed with a numerical discretization scheme that is completely positive, accurate to arbitrarily high order in ΔtΔtΔt, and that does not rely on any other external solver. Our derivation relies on a dilation of the stochastic master equation into a system + transmission line setup, constructed in such a way that measuring what we call the "zero mode" of the line yields the Robinet state. We test the method on a challenging example with random Hamiltonian and jump operator, and verify its accuracy up to order 101010. Apart from its numerical interest, our approach provides a wealth of physical insights, extending in particular recent results on purity obtained by Wonglakhon, Chantasri, and Wiseman, that would be difficult to obtain in any other way.
Classical simulability is ultimately determined by both the dynamics of a quantum system and the observables being evaluated. Lie-algebraic simulation exploits the latter to make exact polynomial-time classical simulations by propagating observables through low-dimensional invariant operator spaces. However, its conventional formulation in terms of polynomial-dimensional dynamical Lie algebras does not directly accommodate bosonic systems as their algebras are neither compact nor semisimple. In this contribution, we overcome this limitation, making bosonic systems accessible to the Lie-algebraic programme of exact polynomial-time classical simulation. We prove that expectation values, fixed-order correlation functions, including multi-time correlators and out-of-time-ordered correlators, and gradients are efficiently computable whenever their operator modules have polynomial dimension. This recovers Gaussian quantum optics and extends it to non-Gaussian input states, while identifying exact polynomial regimes of interacting non-Gaussian dynamics including bounded-photon Kerr and pair-hopping Hamiltonians and nilpotent polynomial phase dynamics. We show that unlike in the finite-dimensional spin and fermionic setting treated previously, a finite-dimensional bosonic generator algebra alone does not guarantee finite observable dynamics. We further derive a controlled perturbative hierarchy for squeezing beyond exact sector confinement and confirm the predicted error orders numerically. We also evaluate operator spreading on interacting chains of up to 400400400 modes and connect a topological doublon band with flux-reversed edge motion. These results provide a unified formalism for classifying, discovering, and systematically approximating tractable bosonic quantum dynamics with classical polynomial-time simulation.
We derive the quantum filter for a quantum open system undergoing quadrature measurements (homodyning) where the input field is in a general quasi-free state. This extends previous work for thermal input noise and allows for squeezed inputs. We introduce a convenient class of Bogoliubov transformations which we refer to as balanced and formulate the quantum stochastic model with squeezed noise as an Araki-Woods type representation. We make an essential use of the Tomita-Takesaki theory to construct the commutant of the C*-algebra describing the inputs and obtain the filtering equations using the quantum reference probability technique. The derived quantum filter must be independent of the choice of representation and this is achieved by fixing an independent quadrature in the commutant algebra.