Dilation theorem for continuum quantum stochastic processes

AI summary

Overview

Research area: Quantum information and open quantum systems — specifically the mathematical structure of non-Markovian quantum stochastic processes in continuous time, sitting at the interface of operator algebras, bosonic Fock-space analysis, and continuous matrix product states (cMPS).

Technical level: Advanced. The paper assumes familiarity with Liouville-space superoperators, Stinespring dilations, process tensors, bosonic Fock spaces, and cMPS. The proofs are functional-analytic, and the results are stated as density theorems in a Fock norm.

Scope (one sentence): The paper proves that every continuous process tensor (cPT) can be approximated arbitrarily well in Fock norm by an explicit, physically transparent dilation generated by a bounded system–environment Hamiltonian, and uses this density result to construct a continuum version of Choi duality and a Gelfand triple that makes instantaneous continuous instruments rigorous.

What This Paper Is About

Process tensors capture all multi-time statistics of a quantum system subjected to sequences of interventions, but the standard framework applies only to discretised dynamics. In an accompanying work the authors introduced continuous process tensors, vectors in a multi-species bosonic Fock space that encode all multi-time statistics on a continuous interval [0, T]. This paper asks whether a single explicit time-dependent system–environment Hamiltonian can reproduce an entire cPT at once (a "strong" dilation), and what mathematical structure follows from the answer.

Key Contributions

1. A precise definition of the process-canonical representation (PCR). A cPT is in PCR if it is a cMPS with drift matrix equal to a system–environment Liouvillian generated by a bounded measurable self-adjoint Hamiltonian H(t), jump matrices ℙ_ν ⊗ 𝟙_E, boundary matrix |ρ_SE⟩⟩⟨⟨𝟙_SE| with ρ_SE pure, and bond dimension χ = d_S² d_E².

2. A strict separation result (Proposition 1). Every PCR is a cPT, but PCR ⊊ cPT: there exist continuous process tensors with no exact process-canonical representative, proven with a Brownian-motion construction that produces approach-dependent discontinuities.

3. The main theorem (Theorem 1, PCR density). For any physical cPT |Ψ⟩ and any ε > 0 there exists a PCR |Φ[ℍ_ε, {ℙ_ν}, |ψ_ε⟩⟩⟨⟨𝟙|]⟩ within Fock-norm distance ε of |Ψ⟩, generated by a bounded Hamiltonian satisfying sup_{t∈[0,T]} ‖H_ε(t)‖_∞ < ∞, with a finite-dimensional environment and a pure initial state.

4. Two structural consequences enabled by the density theorem. A process Gelfand triple (Corollary 1) that makes instantaneous idealised instruments rigorous on the dense set of regular processes, and a continuum Choi duality (Theorem 2) with an explicit reconstruction map ℛ satisfying ℛ Û_T = |Υ_T⟩.

Main Findings

• Exact dilation fails in general. Proposition 1 shows PCR is a strict subset of cPT. The counterexample drives a qubit with a path-dependent unitary V_t(ω) = X^{σ_t(ω) ⊕ σ_0(ω)}, where σ_t(ω) is 1 if B(t, ω) > B(τ, ω) and 0 otherwise, built from Brownian motion B and a fixed time τ ∈ (0, T). Self-similarity of Brownian motion at τ makes the limit of the coefficients as t_i, t_j → τ depend on whether the times approach from the cone {t_i < t_j < τ} or {t_i < τ < t_j}, both of positive measure, so no continuous function agrees with the coefficients almost everywhere.

• Approximate dilation always succeeds. Theorem 1 gives, for every ε > 0, a PCR with bounded Hamiltonian, finite environment, and pure initial state within ε in the Fock norm. The conditions of the cPT definition (positivity and causality of all smoothed marginals) are therefore complete: they guarantee generation by a single system–environment Hamiltonian to arbitrary accuracy.

• The Fock norm is operationally meaningful. For two cPTs with difference Δ = |Υ_1⟩ − |Υ_2⟩, twice the total variation distance of outcome distributions under any statistic (𝒳, ℐ_𝒳) satisfies ‖ℐ_𝒳(Δ)‖1 ≤ ‖ℐ_𝒳‖{Γ→L¹} ‖Δ‖_Γ. The approximation error in Theorem 1 therefore directly bounds how distinguishable the approximating PCR is from the original process.

• Instrument norms connect to energy cost. The instrument norm is defined as the operator norm of ℐ_𝒳 : Γ → L¹(𝒳). The authors report that the diffusive measurement, which requires an infinite-energy local oscillator, has a diverging instrument norm, motivating a link between instrument norms and the energetic cost of implementation.

• Instantaneous measurements are only defined on a dense subset. Corollary 1 establishes the Gelfand triple Λ_reg (PCRs) ↪ Λ (all cPTs) ↪ Λ_reg* (idealised instruments). An instantaneous measurement at time t yields well-defined statistics on every regular process, but for generic cPTs instantaneous-instrument statistics are undefined.

• Choi duality survives in the continuum, with a caveat. The Choi map 𝒫 retains only wavefunctions without cross species, giving the integral kernel (Û_T)^{(k;k′)}{μ;μ′}(t; t′) = Υ^{(k+k′)}{(μ,0),(0,μ′)}(t, t′), a Hilbert–Schmidt operator by construction. The dual instrument object ℐ̌ generally is not an operator on the single-contour Fock space γ = Γ_T^{(d_S²−1)} but a sesquilinear form defined via an integral kernel; when ℐ̌ is a bounded operator, the pairing reduces exactly to Tr[ℐ̌† Û_T].

Methodology in Plain English

The proof strategy is approximation by discretisation followed by smoothing.

1. Discretise the cPT. Project |Ψ⟩ onto vectors whose wavefunctions are piecewise constant on the grid Λ_{N_ε} = {0, T/N_ε, …, T} for a sufficiently large N_ε. This projection is a smoothed N_ε-step marginal of |Ψ⟩ with respect to a product of indicator functions on the intervals I_k = ((k−1)T/N_ε, kT/N_ε), using the test function f_{N_ε}(t) = (N_ε/T)^{N_ε} 𝟙_{I_1}(t_1) ⋯ 𝟙_{I_{N_ε}}(t_{N_ε}).

2. Apply the discrete dilation theorem. Because |Ψ⟩ is physical, each smoothed marginal admits a discrete Stinespring dilation with a finite environment, giving unitaries 𝒰_k = e^{ℍ_k}.

3. Write the projection as a cMPS. The distribution-valued Liouvillian ℍ̃_{N_ε}(t) = Σ_{k=0}^{N_ε−1} ℍ_k δ(t − Tk/N_ε) reproduces the piecewise-constant projection exactly as a formal cMPS.

4. Smooth. Replace the delta functions by a bounded Hamiltonian H_ε at controlled L² cost, so that sup_t ‖H_ε(t)‖_∞ < ∞.

For the Choi duality, the key observation is that on the PCR subspace the forward and backward Stinespring curves make the cross-species amplitudes factorise, so they can be reconstructed from the Choi operator. Theorem 1 plus the bounded linear transformation theorem extend the identity ℛ ∘ 𝒫(|Υ⟩) = |Υ⟩ from PCRs to all cPTs. Positive semidefiniteness follows from positivity of |Υ_T⟩, and the trace bound for Û_T follows from computing the trace for a PCR and applying Fatou's lemma.

Why This Matters

The paper closes a conceptual gap between an operational, intervention-based description of non-Markovian dynamics and the underlying Schrödinger picture. It shows that the abstract Fock-space axioms for cPTs are not merely necessary but sufficient, up to arbitrary accuracy, for a concrete physical realisation with a bounded Hamiltonian. It also turns idealised instantaneous controls — previously ill-defined for generic processes — into rigorous objects on a dense subspace, and it supplies the continuum analogue of Choi duality that the framework needs to speak about process observables and distinguishability.

Potential applications:

• Noise characterisation on quantum hardware. cPTs describe temporally correlated noise across an interval; a PCR gives an explicit Hamiltonian model that could be fitted to multi-time experimental data.
• Continuous-time quantum control. The Gelfand triple supplies rigorous semantics for control operations applied at sharp instants, which is how many experiments are actually modelled.
• Simulation of open quantum dynamics. A cMPS representation with finite bond dimension is directly amenable to tensor-network simulation of non-Markovian evolution.
• Energy-aware information theory. The bound linking instrument norms to implementation energy, and the diverging norm of diffusive measurement, point toward resource theories in which measurement cost is constrained by finite energy.

Industry relevance: Quantum computing and sensing platforms that must characterise and mitigate non-Markovian noise over continuous time, and developers of tensor-network or cMPS-based simulation toolchains for open systems.

Future Directions

• Metrics beyond the Fock norm. The authors identify as a natural next step formalising the connection between the Γ-norm and operational distinguishability, and understanding whether other norms are meaningful in some scenarios.
• A structural theorem for instruments. The paper treats processes; an analogous dilation or representation theorem for the dual objects (instruments) would solidify the mathematical picture of the process dual.
• Linking instrument norms to energy rigorously. The observation that instrument norms track implementation energy is presented as motivation and explicitly flagged as a subject for future work.
• Connection to the classical and quantum stochastic processes literature. Formalising how the cPT framework sits relative to established theories of quantum stochastic processes is named as an open direction.

Target Audience

Mathematical physicists and quantum information theorists working on open quantum systems, non-Markovian dynamics, process tensors, or continuous matrix product states. It is also relevant to mathematically inclined researchers interested in rigorous foundations for continuous-time quantum control and measurement, and to graduate students with a background in functional analysis and quantum channels who want to understand how operational process theories connect to Hamiltonian physics. The companion paper introducing the cPT framework is essential prerequisite reading, since the present work builds directly on its definitions and defers many details to the Supplemental Material.

Authors’ abstract

Connecting mathematical formalism in open quantum systems to its underlying physics necessitates the notion of a dilation, a way to bridge stochastic dynamics with deterministic Schrödinger evolution on a larger space. Although dilations are well known in the literature for states, channels, and quantum combs, there is a substantial gap when it comes to the fully general setting of non-Markovian dynamics on a continuous interval. In an accompanying work, we introduce a continuous process tensor (cPT) framework wherein these processes are represented by vectors in multi-species bosonic Fock spaces of $L^2$ functions. This accommodates all multi-time statistics of a quantum system on an interval. Here, we present a corresponding dilation theorem and show that all cPTs can be approximated arbitrarily well by an explicit closed description with system and environment coupled by a bounded Hamiltonian. As well as its physical appeal and demonstrating completeness of the framework, we show that such regular representations actually underpin the formalism, defining a dense subspace of all cPTs that is easy to handle. This leads to a continuum-suitable version of Choi duality, and permits the rigorous treatment of continuum controls.