pith. sign in

arxiv: 2601.12564 · v2 · submitted 2026-01-18 · 🪐 quant-ph · math-ph· math.MP

Quantum Filtering for Squeezed Noise Inputs

John Gough , Dylon Rees This is my paper

Pith reviewed 2026-05-16 12:47 UTC · model grok-4.3

classification 🪐 quant-ph math-phmath.MP
keywords quantum filteringsqueezed noisequasi-free statesBogoliubov transformationsAraki-Woods representationTomita-Takesaki theoryquadrature measurementsquantum stochastic models
0
0 comments X

The pith

A representation-independent quantum filter is derived for open systems driven by squeezed noise inputs.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper derives quantum filtering equations for a system undergoing quadrature measurements when the driving noise is in a general quasi-free state, including squeezed states. This extends earlier results limited to thermal noise by using a specific class of Bogoliubov transformations called balanced ones. The approach models the inputs via an Araki-Woods representation and applies Tomita-Takesaki theory to build the commutant algebra, ensuring the filter does not depend on representation choices. A reader would care because squeezed light is widely used in quantum optics to reduce measurement noise below standard quantum limits.

Core claim

We derive the quantum filter for a quantum open system undergoing quadrature measurements where the input field is in a general quasi-free state that admits a balanced Bogoliubov transformation. The model is formulated as an Araki-Woods type representation, and Tomita-Takesaki theory constructs the commutant of the input algebra. The filtering equations are obtained via the quantum reference probability technique, with independence from representation achieved by fixing an independent quadrature in the commutant algebra.

What carries the argument

The commutant algebra of the input field, constructed via Tomita-Takesaki theory in the Araki-Woods representation of the balanced Bogoliubov-transformed quasi-free state.

If this is right

  • The filtering equations apply directly to squeezed vacuum and other quasi-free inputs.
  • Quantum filters remain consistent across different representations of the same physical noise.
  • The method extends quantum stochastic calculus to cover squeezed light scenarios in open quantum systems.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • These filters could improve precision in quantum metrology experiments that use squeezed light.
  • Similar commutant-based techniques might extend to filtering with other non-classical input fields.
  • Numerical simulations with specific squeezing parameters would test the derived equations in practice.

Load-bearing premise

The input field must be in a quasi-free state that admits a balanced Bogoliubov transformation with a constructible Araki-Woods representation.

What would settle it

Deriving the filter equations using two different representations of the same squeezed input state and finding that they produce different prediction equations would falsify the claim.

Figures

Figures reproduced from arXiv: 2601.12564 by Dylon Rees, John Gough.

Figure 1
Figure 1. Figure 1: (color online) A plot of λ versus θ for values of τ = 0.5 (black), 0.6 (red), 0.7 (green), 0.8 (orange), 0.9 (purple), and 1.0 (blue). As a consequence, we find that  dB dB∗  Ψ =  α β γ δ   dZ dZ′  Ψ. (65) Proposition 7 In the case of a balanced representation, we have α + γ = 1 and β = −δ for arbitrary choice of the phase λ. We moreover have the identities (2n + 1 + Re m)|α| 2 + (2n + 1 + Re (e 2iλm… view at source ↗
read the original abstract

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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 1 minor

Summary. The manuscript derives the quantum filter for a quantum open system undergoing quadrature measurements (homodyning) when the input field is in a general quasi-free state, extending prior results for thermal noise to include squeezed inputs. It introduces a class of balanced Bogoliubov transformations to model the squeezed noise in an Araki-Woods representation, applies Tomita-Takesaki theory to construct the commutant of the input C*-algebra, and obtains the filtering equations via the quantum reference probability technique, with representation independence achieved by fixing an independent quadrature in the commutant.

Significance. If the derivation is rigorous, the result would extend quantum filtering theory to non-classical squeezed noise, which is relevant for quantum optics and continuous-variable quantum information. The operator-algebraic approach using Tomita-Takesaki for commutant construction and representation independence is a methodological strength that could enable more general models of squeezed-light measurements without ad-hoc parameter fitting.

major comments (3)
  1. Abstract and introduction: The claim is for a 'general quasi-free state,' yet the derivation restricts to a 'convenient class' of balanced Bogoliubov transformations; it is not demonstrated that every quasi-free state (including those with arbitrary cross-correlations) admits such a transformation while preserving the two-point functions and measurement statistics, which is load-bearing for the generality assertion.
  2. Araki-Woods representation and commutant construction (main derivation section): The Tomita-Takesaki application to obtain the commutant and fix an independent quadrature must be shown explicitly to yield filter equations independent of the particular balanced transformation chosen; without this verification, the representation-independence claim rests on an unproven invariance.
  3. Filtering equations via quantum reference probability: The extension beyond thermal inputs requires explicit comparison or reduction to the known thermal case (e.g., via a limiting choice of squeezing parameters) to confirm consistency; the current outline does not provide this check.
minor comments (1)
  1. Notation for the balanced Bogoliubov transformations and the fixed quadrature in the commutant should include an explicit low-dimensional example to clarify the construction.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their careful reading of our manuscript and for the constructive comments. We address each major point below and outline the revisions we will make to strengthen the presentation and rigor.

read point-by-point responses

  1. Referee: Abstract and introduction: The claim is for a 'general quasi-free state,' yet the derivation restricts to a 'convenient class' of balanced Bogoliubov transformations; it is not demonstrated that every quasi-free state (including those with arbitrary cross-correlations) admits such a transformation while preserving the two-point functions and measurement statistics, which is load-bearing for the generality assertion.

    Authors: We acknowledge the referee's observation regarding the scope of the generality claim. In the revised manuscript we will add a dedicated remark (or short appendix) explicitly constructing the balanced Bogoliubov parameters for an arbitrary quasi-free state so that the two-point functions, including cross-correlations, are exactly reproduced. This construction shows that the convenient class is in fact sufficient to realize any quasi-free input while preserving the measurement statistics, thereby justifying the generality assertion. revision: yes

  2. Referee: Araki-Woods representation and commutant construction (main derivation section): The Tomita-Takesaki application to obtain the commutant and fix an independent quadrature must be shown explicitly to yield filter equations independent of the particular balanced transformation chosen; without this verification, the representation-independence claim rests on an unproven invariance.

    Authors: We agree that an explicit verification of representation independence is required. In the revision we will insert a new subsection immediately following the commutant construction in which we compute the filter equations for two distinct balanced transformations and demonstrate that they coincide after the independent quadrature is fixed in the commutant. This calculation will confirm that the final filtering equations are invariant under the choice of balanced transformation. revision: yes

  3. Referee: Filtering equations via quantum reference probability: The extension beyond thermal inputs requires explicit comparison or reduction to the known thermal case (e.g., via a limiting choice of squeezing parameters) to confirm consistency; the current outline does not provide this check.

    Authors: We will add an explicit consistency check in the revised manuscript. A new paragraph (or short subsection) will consider the limit in which all squeezing parameters are set to zero; we will show that the derived filter equations reduce precisely to the known quantum filter for thermal noise inputs, recovering the results of the earlier literature. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies standard Tomita-Takesaki theory to a conveniently restricted balanced Bogoliubov class without reducing equations to inputs by construction

full rationale

The central derivation introduces a 'convenient class' of balanced Bogoliubov transformations, formulates the model in an Araki-Woods representation, and invokes Tomita-Takesaki theory (an external operator-algebra result) to construct the commutant and obtain representation-independent filtering equations. No parameter fitting occurs, no self-citation chain bears the uniqueness or ansatz, and the equations are not shown to equal their inputs tautologically. The restriction to balanced transformations is stated explicitly rather than hidden, and the paper positions the result as holding under that assumption for general quasi-free states. This yields a minor self-citation score at most, with the core content remaining independent.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The derivation relies on standard results from Tomita-Takesaki theory and Araki-Woods representations for quasi-free states; no free parameters or invented entities are introduced beyond the named balanced Bogoliubov class.

axioms (2)
  • domain assumption Quasi-free states admit Araki-Woods representations whose commutants can be constructed via Tomita-Takesaki modular theory.
    Invoked to obtain representation-independent filtering equations.
  • ad hoc to paper Balanced Bogoliubov transformations form a convenient class for modeling squeezed inputs.
    Introduced in the paper to formulate the stochastic model.
invented entities (1)
  • balanced Bogoliubov transformation no independent evidence
    purpose: To formulate the quantum stochastic model with squeezed noise.
    New class introduced to handle general quasi-free states.

pith-pipeline@v0.9.0 · 5413 in / 1430 out tokens · 36864 ms · 2026-05-16T12:47:48.193554+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    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...

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · 1 internal anchor

  1. [1]

    Belavkin, Nondemolition measurements, nonlinear filtering and dynamic programming of quantum stochastic processes

    V.P. Belavkin, Nondemolition measurements, nonlinear filtering and dynamic programming of quantum stochastic processes. In A. Blaquiere (ed.). Proc of Bellmann Continuum Workshop ’Modelling and Control of Systems’. Lecture notes in Control and Inform Sciences. Vol. 121. Sophia-Antipolis: Springer- Verlag. pp. 245–265, (1988)

    work page 1988

  2. [2]

    Belavkin, A new wave equation for a continuous nondemolition measure- ment

    V.P. Belavkin, A new wave equation for a continuous nondemolition measure- ment. Physics Letters A. 140 (7–8): 355–358, (1989)

    work page 1989

  3. [3]

    Bouten, R

    L. Bouten, R. van Handel, M.R. James, An introduction to quantum filtering, SIAM J. Control Optim.46, 2199-2241, (2007)

    work page 2007

  4. [4]

    Quantum filtering: a reference probability approach

    L. Bouten, R. van Handel, Quantum filtering: a reference probability approach, arXiv:math-ph/0508006v4

    work page internal anchor Pith review Pith/arXiv arXiv

  5. [5]

    Parthasarathy, Quantum Ito’s Formula and Stochastic Evolutions,Commun

    Hudson, R.L and K.R. Parthasarathy, Quantum Ito’s Formula and Stochastic Evolutions,Commun. Math. Phys.,93, 301-323 (1984)

    work page 1984

  6. [6]

    C. W. Gardiner and M. J. Collett, Input and Output in Quantum Systems: Quantum Stochastic Differential Equations and Applications,Phys. Rev. A, 31, 3761-3774 (1985)

    work page 1985

  7. [7]

    J. E. Gough and C. M. K¨ ostler, Quantum filtering in coherent states,Commun. Stochastic analysis,4, 4, 505-521 (2010)

    work page 2010

  8. [8]

    Gough, M.R

    J.E. Gough, M.R. James, H.I. Nurdin, Quantum Master Equation and Filter for Systems Driven by Fields in a Single Photon State, publication in the joint 50th IEEE Conference on Decision and Control (CDC) and European Control Conference (ECC), (2011); J.E. Gough, M.R. James, H.I. Nurdin and J. Combes, Quantum filtering for systems driven by fields in single...

    work page 2011

  9. [9]

    Gough, Quantum Filtering at Finite Temperature, arXiv 2510.04967

    J.E. Gough, Quantum Filtering at Finite Temperature, arXiv 2510.04967

    work page arXiv

  10. [10]

    R. L. Hudson and J. M. Lindsay, A non-commutative martingale representation theorem for non-Fock quantum Brownian motion,J. Funct. Anal.,61, 202-221, (1985)

    work page 1985

  11. [11]

    Takesaki, Tomita’s Theory of Modular Hilbert Algebras and its Applications, Lecture Notes in Mathematics 128, Springer (1970)

    M. Takesaki, Tomita’s Theory of Modular Hilbert Algebras and its Applications, Lecture Notes in Mathematics 128, Springer (1970)

    work page 1970

  12. [12]

    Araki and E

    H. Araki and E. J. Woods, Representations of the Canonical Commutation Relations Describing a Nonrelativistic Infinite Free Bose Gas,J. Math. Phys., 4, 637-662, (1963)

    work page 1963

  13. [13]

    Rieffel, A

    M.A. Rieffel, A. van Daele, A bounded operator approach to Tomita-Takesaki theory, Pacific J. Math. 69(1): 187-221 (1977)

    work page 1977

  14. [14]

    Belton, M

    A.C.R. Belton, M. Gnacik, J.M. Lindsay, P. Zhong, Quasifree Stochastic Co- cycles and Quantum Random Walks. J. Stat. Phys., 176(1), pp.1-39 (2019)

    work page 2019

  15. [15]

    Bhat, T.C

    B.V.R. Bhat, T.C. John, R. Srinivasan, Infinite mode quantum Gaussian states, Reviews in Math. Phys.,31, 9, (2019)

    work page 2019

  16. [16]

    Kupsch and S

    J. Kupsch and S. Banerjee, Ultracoherence and Canonical Transformations, IDAQP,09, 3, pp. 413-434 (2006)

    work page 2006

  17. [17]

    Petz, An Invitation to the Algebra of Canonical Commutation Relations, Leuven University Press, (1990)

    D. Petz, An Invitation to the Algebra of Canonical Commutation Relations, Leuven University Press, (1990)

    work page 1990

  18. [18]

    Bishop and A

    R.F. Bishop and A. Vourdas, General two-mode squeezed states Z. Phys. B - Condensed Matter 71, 527-529 (1988)

    work page 1988

  19. [19]

    Honegger and A

    R. Honegger and A. Rieckers, Squeezing Bogoliubov transformations on the infinite mode CCR algebra, J. Math. Phys. 37, no. 9, 4292–4304 (1996)

    work page 1996

  20. [20]

    Gough, M.R

    J.E. Gough, M.R. James, H.I. Nurdin, Squeezing Components in Linear Quan- tum Feedback Networks, Rev. A 81, 023804 (2010)

    work page 2010

  21. [21]

    Hellmich, R

    J. Hellmich, R. Honegger, C. K¨ ostler, B. K¨ ummerer, A. Rieckers Couplings to classical and non-classical squeezed white noise as stationary Markov processes, Publ. Res. Inst. Math. Sci. 38, no. 1, pp. 1–31 (2002)

    work page 2002

  22. [22]

    A.S. Holevo. Quantum stochastic calculus. J. Soviet Math., 56:2609–2624,

    work page

  23. [23]

    Translation of Itogi Nauki i Tekhniki, ser. sovr. prob. mat. 36, 3–28, (1990)

    work page 1990