We construct the covariance-sector Bures geometry of centered bosonic Gaussian states from the Gaussian symmetric-logarithmic-derivative equation and determine its quantum-admissible domain. At the Williamson uncertainty floor, the boundary geometry is anisotropic: spectrum-changing radial coefficients diverge, whereas squeezing and rotation directions along the pure Gaussian orbit remain finite. Dually, the covariance cometric acquires an exact \(m^2\)-dimensional kernel when \(m\) modes become pure, yet the boundary remains at finite radial Bures distance. We derive the potential \[ Φ=-\tfrac12\sum_k\log(ν_k^2-\tfrac14), \] which generates fixed-frame covariance dilation and equals \(βF\) on fixed-Hamiltonian thermal families. At large symplectic eigenvalue, the relative quantum correction is \(O(\hbar^2/ν^2)\), recovering covariance Fisher--Rao geometry. This intrinsic classical regime differs from the pure-state boundary, where classical statistics require a specified measurement channel. As a secondary comparison, the normalized Bures, Fisher--Rao, and action-matched Bures--Wasserstein determinant densities possess an exact one-mode junction at \[ (x,η)=(\sqrt{\varphi},\sqrt{\varphi}),\qquad x=2ν/\hbar. \] This junction is kinematic, and its branch interpretation is conditional. At a prescribed finite nonzero compression rate, the Bures action diverges while the Bures--Wasserstein cost remains finite; a bounded Bures budget instead enforces radial deceleration.
We construct the covariance-sector Bures geometry of centered bosonic Gaussian states from the Gaussian symmetric-logarithmic-derivative equation and determine its quantum-admissible domain. At the Williamson uncertainty floor, the boundary geometry is anisotropic: spectrum-changing radial coefficients diverge, whereas squeezing and rotation directions along the pure Gaussian orbit remain finite. Dually, the covariance cometric acquires an exact (m^2)-dimensional kernel when (m) modes become pure, yet the boundary remains at finite radial Bures distance. We derive the potential [ Φ=-\tfrac12\sum_k\log(ν_k^2-\tfrac14), ] which generates fixed-frame covariance dilation and equals (βF) on fixed-Hamiltonian thermal families. At large symplectic eigenvalue, the relative quantum correction is (O(\hbar^2/ν^2)), recovering covariance Fisher--Rao geometry. This intrinsic classical regime differs from the pure-state boundary, where classical statistics require a specified measurement channel. As a secondary comparison, the normalized Bures, Fisher--Rao, and action-matched Bures--Wasserstein determinant densities possess an exact one-mode junction at [ (x,η)=(\sqrt{\varphi},\sqrt{\varphi}),\qquad x=2ν/\hbar. ] This junction is kinematic, and its branch interpretation is conditional. At a prescribed finite nonzero compression rate, the Bures action diverges while the Bures--Wasserstein cost remains finite; a bounded Bures budget instead enforces radial deceleration.
We construct the covariance-sector Bures geometry of centered bosonic Gaussianstates directly from the Gaussian symmetric-logarithmic-derivative equationand determine its global quantum domain. The Robertson--Schr\"odingercondition bounds this domain below by the Williamson uncertainty floor. Itsboundary geometry is anisotropic: spectrum-changing radial coefficientsdiverge, whereas squeezing and rotation coefficients remain finite along thepure Gaussian orbit. Dually, the covariance cometric develops an exactm2-dimensional kernel when m Williamson modes are pure, although thefloor remains at finite radial Bures distance. We derive the radial potentialΦ=−21∑klog(νk2−41), which generates covariancedilation on fixed-Williamson-frame radial submanifolds and satisfiesΦ=βF on fixed-Hamiltonian thermal families. At large symplecticeigenvalue the relative symplectic correction is suppressed asO(ℏ2/ν2), yielding an intrinsic high-noise recovery of covarianceFisher--Rao geometry. This limit is distinct from the Williamson floor, whichis a quantum pure-state boundary rather than a classical limit. A classicalmodel at the floor instead requires an explicitly supplied measurement channelor commutative restriction; the boundary geometry constrains the structure onwhich that operational map acts but does not select the map itself. As asecondary comparison, we place the Gaussian Bures geometry alongside theFisher--Rao and Bures--Wasserstein covariance geometries. After introducing aconstant action-matching parameter η, their normalized determinantdensities possess an exact one-mode junction at(x,η)=(φ,φ). The equality is kinematic: it isneither an additional boundary nor a dynamical transition, and branch selectionrequires an explicitly stated minimum-log-determinant hypothesis. For the sameprescribed finite-rate radial compression toward the floor, the Bures kineticdensity and action diverge while the Bures--Wasserstein cost remains finite;under a bounded Bures kinetic budget, the intrinsic consequence is radialdeceleration rather than a forced change of geometry.
For centered bosonic Gaussian states, the covariance pullback of the Bures cometric differs from the lift-normalized classical covariance Fisher--Rao cometric by a state-independent bilinear form. Under the canonical identification of symmetric covariance covectors with sp(2N,R), this form is the trace form and hence a fixed multiple of the Killing form. We prove that, within the normalized symmetric Petz family, Bures is uniquely selected by requiring such an additive state-independent symplectic correction. We determine the full Williamson-frame spectrum and show that a boundary stratum with m pure modes has an m2-dimensional cometric kernel isomorphic to u(m), while the pure Gaussian orbit remains nondegenerate. For radial one-mode estimation, ideal heterodyne detection accesses the exact fraction (ν−ℏ/2)/(ν+ℏ/2) of the SLD quantum Fisher information. Its vanishing boundary limit reflects finite heterodyne information relative to a divergent radial quantum Fisher information, not zero measurement information. Finally, a minimal Schur realization fixes the auxiliary inertia and identifies the second Schur complement as the true covariant vertical block.
We compare four local geometries of centered one-mode bosonic Gaussiancovariances while keeping their operational meanings distinct. In a commontrace-orthonormal normalization, the Bures and covariance Fisher--Raocometric determinants cross intrinsically at x2=φ. Afterintroducing a constant action-matching parameter η, theBures--Wasserstein determinant joins them only at(x,η)=(φ,φ). Equal determinant density doesnot mean tensor equality: relative to Fisher--Rao, the Bures cometric at thejunction isQgold=φ−2Π0+φΠ2,detQgold=1,so its inverse has the exact scalar-to-weight-two quadratic penalty ratioφ3. The normalized Bogoliubov--Kubo--Mori metric supplies anindependent relative-entropy diagnostic. It agrees radially with Bures buthas shape cometric eigenvalue4ℏ2x/log[(x+1)/(x−1)]; it therefore does not form a fourthdeterminant junction and becomes tangentially stiff at the pure-stateboundary. Operationally, weight-two motion is generated by a system-onlyGaussian unitary, whereas radial motion requires a Gaussian channel orancillary dilation. The known Uhlmann--Ruan purification quotient realizesthe local Bures state metric, but an explicitsp(4,R) test shows that an unweighted right-invariantFrobenius gate norm does not reproduce the golden penalty. Conditionalbranch selection and finite-rate Bures--Wasserstein cost separation arepresented as secondary statements, not as dynamical phase transitions.
Information distance and circuit complexity are both obtained by minimizing lengths, but they minimize over different objects. We make this distinction explicit for faithful one-mode Gaussian states. First, invariant-form uniqueness implies that no positive-definite quadratic gate cost can be invariant under the full adjoint action of the noncompact symplectic group; a positive Cartan majorant necessarily introduces additional reference data. The Uhlmann purification quotient realizes the Bures metric, and the radial covariance direction requires a system-ancilla coupling because system-only Gaussian unitaries preserve the Williamson eigenvalue. We then minimize fixed right-invariant quadratic norms on the minimal two-mode Gaussian gate algebra sp(4,R). For the unweighted Frobenius norm, the quotient coefficients for radial and traceless covariance tangents are G0=[ℏ2(u−1)]−1 and G2=[ℏ2(3u−1)]−1, where u=(2ν/ℏ)2. Their ratio does not equal the Bures ratio. The radial coefficient, however, reproduces the Bures value exactly at every u; the mismatch is confined to the traceless sector. More generally, a constant block-diagonal two-weight schedule gives G0/G2=1+2(β/α)u/(u−1); matching Bures throughout the isotropic family would require the state-dependent relation β/α=1/u. At the Bures-Fisher determinant crossing u=φ, pointwise matching is possible only by inserting β/α=φ−1. Thus the Bures purification quotient is an exact state-geometric cost, but it is neither an unweighted symplectic gate cost nor a member of this fixed two-weight Nielsen family. The existence of a more general fixed positive gate norm realizing the quotient remains open.
Building on the recently established decomposition of the Gaussian Bures cometric into a calibrated Fisher term and a state-independent Killing-form correction, we investigate the material realization and thermodynamic stabilization of constitutive Bures geometry. The associated Schur realization permits an independently specified action scale, whose material calibration remains a separate physical requirement. First, we show that passive static elimination of a positive symmetric auxiliary block cannot produce the required mixed-sign correction to the fixed Fisher baseline.A successful realization must therefore depart from at least one assumption of this construction. We then formulate identification of the Bures cometric as an explicit control-matching problem demanding an exact tensor match. For an active neural--flow candidate combining a cardiac pressure command, flow feedback and vascular stiffness modulation, a specified quadratic-probe diagnostic reveals limited local reachability and persistent response asymmetry in the tested parameter range. This motivates a search for independently effective controls, consistent with Ashby's principle of requisite variety.Separately, on the prescribed constitutive covariance domain, we construct an explicit GENERIC stabilization framework. Combining Hamiltonian Bures-Wasserstein kinetics, reservoir friction and a separate positive regulatory mobility, we prove local exponential stability of a prescribed interior covariance under explicit positivity and coupling conditions.While a matching physiological realization remains to be established, the framework provides a thermodynamically admissible architecture for regulating covariance dynamics on a prescribed constitutive Bures domain, opening a concrete route to investigate biological information processing without assuming a microscopic quantum substrate. Compact rotation is retained separately from covariance motion, distinguishing reversible circulation from driven dissipative circulation. Finally, a golden operating window is motivated by determinant equality and conditional gate-cost matching; a computational advantage remains a task-dependent hypothesis.
Covariance dynamics on the positive-definite cone are commonly described by gradient flows, which encode dissipative relaxation but obscure the underlying phase-space structure. We construct a finite-dimensional Hamiltonian lift of covariance dynamics on Symn+ equipped with the Bures--Wasserstein metric. The natural mechanical Lagrangian yields canonical momentum Π=21LΣ[Σ˙], where LΣ is the Lyapunov operator, and explicit Hamiltonian H(Σ,Π)=2tr(ΠΣΠ)+V(Σ). Adding Rayleigh dissipation recovers the Bures--Wasserstein gradient flow in the overdamped limit. For a spectral-floor and trace-control potential, the quadratic fluctuation Hamiltonian around the isotropic equilibrium separates trace and traceless modes; the baseline stiffness diverges as (s−ν)−2 as the equilibrium covariance approaches the floor. The construction identifies a conservative parent system for constrained Bures--Wasserstein covariance relaxation and fixes the local stiffness scale induced by the spectral floor.