{"id":"07f3a58c-6d1b-48a4-9a7b-651f80938c89","arxiv_id":"2601.12564","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Derives quantum filter equations for squeezed quasi-free input noise in homodyne measurements via balanced Bogoliubov transformations and commutant construction in the Araki-Woods representation.","lead":"The paper derives quantum filtering equations for open quantum systems under quadrature measurements when the input field is in a general quasi-free state that includes squeezed noise. This extends prior filtering results limited to thermal noise by using balanced Bogoliubov transformations and Tomita-Takesaki theory to ensure the filter is representation-independent.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Generality claim rests on all quasi-free states admitting balanced Bogoliubov transformations for the Araki-Woods commutant construction","rationale":"The reader's weakest assumption correctly isolates the load-bearing technical step. The abstract asserts generality, but the method explicitly introduces balanced transformations; without a proof that this class is exhaustive for quasi-free states, the representation-independence result is conditional on that unverified coverage. This is an internal consistency issue rather than an external consensus disagreement.","tokens_in":1648,"tokens_out":342,"duration_ms":35381,"concrete_test":"Take the squeezed vacuum with squeezing parameter r=1 and phase θ=0; explicitly construct both a balanced and an unbalanced Bogoliubov transformation to the Araki-Woods representation. Derive the filtering QSDE in each case using the reference probability method and compare the resulting drift and diffusion coefficients for the system density operator; if they differ by more than numerical tolerance, the balanced restriction is not general.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim is a representation-independent quantum filter for general quasi-free (including squeezed) inputs. The derivation proceeds by restricting to a 'convenient class' of balanced Bogoliubov transformations, then using Tomita-Takesaki theory on the Araki-Woods representation to build the commutant and fix an independent quadrature. For the result to hold for arbitrary quasi-free states, every such state must admit a balanced transformation without altering the two-point correlation functions or the measurement statistics. If unbalanced transformations are required for some squeezing parameters or cross-correlations, the commutant construction may fail to produce equations independent of the chosen representation.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","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.","tokens_in":1795,"tokens_out":479,"duration_ms":25005,"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":[{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"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.","section":null}],"minor_comments":[{"comment":"Notation for the balanced Bogoliubov transformations and the fixed quadrature in the commutant should include an explicit low-dimensional example to clarify the construction.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"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.","responses":[{"response":"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_made":"yes","referee_comment":"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."},{"response":"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_made":"yes","referee_comment":"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."},{"response":"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_made":"yes","referee_comment":"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."}],"tokens_in":1335,"tokens_out":542,"duration_ms":31807,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core advance is a quantum filter for quadrature measurements on systems driven by general quasi-free noise, including squeezed states, rather than just thermal inputs. They define a balanced subclass of Bogoliubov transformations, cast the model in an Araki-Woods representation, and apply Tomita-Takesaki theory to build the commutant so the filter equations stay independent of representation choice. That step looks like the genuinely new technical piece beyond the thermal-noise literature they cite. The setup is clean on paper and the goal of representation independence is sensible for applications in metrology and networks. The abstract states the filter is obtained via the quantum reference probability method once the commutant is fixed by an independent quadrature. What is missing from the visible material is the explicit filter equations and the verification that the balanced transformations preserve the two-point functions for arbitrary squeezing parameters and cross-correlations. If some quasi-free states require unbalanced transformations, the commutant construction could tie the equations to a particular representation after all. The stress-test note flags exactly this point, and without the full derivation it is hard to tell how restrictive the balanced class actually is. The paper is aimed at specialists in quantum stochastic calculus and open-system control who already know the thermal case. It is technically grounded enough to warrant referee time even if the generality claim needs tightening in revision. I would send it out for review rather than desk-reject.","headline":"The paper extends quantum filtering to squeezed inputs via balanced Bogoliubov transformations and Tomita-Takesaki commutant construction, but the full derivation needs checking for generality.","tokens_in":2267,"tokens_out":355,"would_cite":false,"duration_ms":16711,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"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..."}],"headline":"Quantum filtering for squeezed inputs relies on Bogoliubov/Araki-Woods/Tomita-Takesaki commutant construction with no RS cost or forcing structure","alignment":"orthogonal","rationale":"Paper derives representation-independent filters via balanced Bogoliubov transformations and Tomita-Takesaki on Araki-Woods representations for quasi-free states; central machinery (Sections 2-5, Props 1-4, Thms 9-11) uses standard quantum stochastic calculus and CCR algebras. RS framework (reality_from_one_distinction, Jcost uniqueness, phi-ladder, 8-tick/D=3 forcing) has no theorems on filtering, squeezing, or commutants; domains disjoint.","tokens_in":52152,"confidence":"high","tokens_out":273,"duration_ms":6883,"cache_read_input_tokens":32896,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"A representation-independent quantum filter is derived for open systems driven by squeezed noise inputs.","keywords":["quantum filtering","squeezed noise","quasi-free states","Bogoliubov transformations","Araki-Woods representation","Tomita-Takesaki theory","quadrature measurements","quantum stochastic models"],"falsifier":"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.","tokens_in":2530,"feed_emoji":"⚛️","tokens_out":595,"duration_ms":25729,"temperature":0.7,"pith_summary":"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.","feed_headline":"Quantum filter derived for squeezed noise inputs","feed_subtitle":"Representation independence ensured by fixing an independent quadrature in the commutant algebra","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Deriving quantum filter for squeezed noise","Filter equations for squeezed noise inputs","Quantum filtering of squeezed quasi-free states","Squeezed noise quantum filter using Tomita-Takesaki","Araki-Woods rep for squeezed filtering"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The input field must be in a quasi-free state that admits a balanced Bogoliubov transformation with a constructible Araki-Woods representation.","fun_headline_variants_meta":{"raw":{"variants":["Deriving quantum filter for squeezed noise","Filter equations for squeezed noise inputs","Quantum filtering of squeezed quasi-free states","Squeezed noise quantum filter using Tomita-Takesaki","Araki-Woods rep for squeezed filtering"]},"model":"grok-4.3","cost_usd":0.007874,"raw_usage":{"total_tokens":3541,"prompt_tokens":568,"num_sources_used":0,"completion_tokens":57,"cost_in_usd_ticks":78737000,"prompt_tokens_details":{"text_tokens":568,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2916,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":568,"tokens_out":57,"duration_ms":27984,"temperature":1.0,"reasoning_tokens":2916,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-16T12:47:48.193554+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"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.","supporting_citations":[],"review_version":1}