Maximal-Rank Squeezing from Rank-One Quenches: An Exact Spectral-Reachability Theorem for Gaussian Bosonic Systems
- URL: http://arxiv.org/abs/2608.21434v1
- Date: Mon, 17 Aug 2026 17:12:19 GMT
- Title: Maximal-Rank Squeezing from Rank-One Quenches: An Exact Spectral-Reachability Theorem for Gaussian Bosonic Systems
- Abstract summary: We prove an exact spectral-reachability theorem for multimode squeezing generated by finite-rank quadratic quenches in Gaussian bosonic systems.<n>A single rank-one element with nonzero overlap with every mode produces a full-rank anomalous Bogoliubov response at every nonzero stable coupling.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We prove an exact spectral-reachability theorem for multimode squeezing generated by finite-rank quadratic quenches in Gaussian bosonic systems. For a stable sign-definite stiffness quench $Ω^2 \to Ω^2+\varepsilon U U^T$, the kernel, range, and rank of the anomalous Bogoliubov block are determined exactly by the block-Krylov subspace generated by $Ω$ and $U$. In particular, $\operatorname{rank}(β_\varepsilon)=\sum_a \operatorname{rank}(P_a U)$, where $P_a$ projects onto each distinct free-frequency eigenspace. Consequently, the microscopic rank of a perturbation does not bound the number of squeezing channels it can activate: for a simple spectrum, a single rank-one element with nonzero overlap with every mode produces a full-rank anomalous Bogoliubov response at every nonzero stable coupling. A signed Lyapunov-Gramian path shows that spectrally reachable directions cannot disappear through finite-coupling cancellation. The theorem also gives exact dark sectors, degeneracy bottlenecks, and actuator-position rules without computing the full Bogoliubov transformation. These results provide a direct hardware-screening principle for multimode Gaussian systems: one or a few physical elements can provide simultaneous support across many canonical squeezing channels, although algebraic rank alone does not imply strong squeezing or independent tunability.
Related papers
- Full Inseparability and Genuine Multipartite Entanglement Coincide for Finite-Mode Gaussian States [39.7867986252164]
We prove that a biseparable decomposition may switch the separable cut from term to term in general mixed states.<n>For any finite family of partitions, a Gaussian density operator in the trace-norm-closed convex class generated by states separable across those partitions is already separable across one fixed partition in the family.
arXiv Detail & Related papers (2026-09-10T02:02:56Z) - Discretization and Statistical Consistency of Functional Flow Matching [0.0]
We prove strong $L2$ convergence of finite conditional velocity targets for every strongly consistent sequence of finite-rank reconstructions.<n>For learned flows, coupling directly to a population superposition path yields an end-to-end Wasserstein bound.
arXiv Detail & Related papers (2026-08-05T07:05:47Z) - Maximal Classicalization of Finite-Group Quantum Reference-Frame Noise [0.0]
A finite quantum reference token with group-valued misalignment induces a random-unitary channel.<n>We prove that the following conditions are equivalent for a unitary representation U of a finite group G.
arXiv Detail & Related papers (2026-07-14T17:07:57Z) - Near-Optimal Mode Scaling for Finite-Dimensional Boson Sampling via Lie-Algebraic Leakage Bounds [0.8594140167290097]
Boson sampling on matter-based platforms requires encoding the bosonic modes in finite-dimensional local Hilbert spaces.<n>We develop a unified framework for non-interacting sampling on the irreducible representations of compact Lie groups.<n>We prove, in a Gaussian model of the transition matrix, that its spectral norm concentrates at $tildeO(stn)$ rather than the $O(n)$ worst-case of prior spin-based emulations.
arXiv Detail & Related papers (2026-07-13T15:36:29Z) - Unitary discretization of the Koopman-von Neumann equation for quantum simulation of fluid and plasma dynamics [45.88028371034407]
KvN framework embeds the Liouville equation into a Hilbert space with norm-preserving, unitary evolution.<n>Weyl-ordered KvN generator is derived as the unique anti-Hermitian operator symmetrization for real velocity fields.
arXiv Detail & Related papers (2026-05-18T23:27:02Z) - Sharper Guarantees for Misspecified Kernelized Bandit Optimization [34.863425530383545]
We show that for a large class of kernels, the misspecification amplification can be reduced to logarithmic or polylogarithmic growth.<n>In the offline setting, we first prove high-probability simple-regret bounds whose misspecification term is governed by a spectral Lebesgue constant.<n>In the online setting, we modify a domain-splitting algorithm and prove a cumulative regret bound of $widetildemathcal O(sqrt_n n+nvarepsilon)$ under mild localized eigendecay assumptions.
arXiv Detail & Related papers (2026-05-07T10:12:56Z) - Transmutation based Quantum Simulation for Non-unitary Dynamics [35.35971148847751]
We present a quantum algorithm for simulating dissipative diffusion dynamics generated by positive semidefinite operators of the form $A=Ldagger L$.<n>Our main tool is the Kannai transform, which represents the diffusion semigroup $e-TA$ as a Gaussian-weighted superposition of unitary wave propagators.
arXiv Detail & Related papers (2026-01-07T05:47:22Z) - A No-Go Theorem for Shaping Quantum Resources [0.0]
We prove a general no-go theorem for such resource shaping.<n>Every non-quadratic term necessarily couples the Gaussian and non-Gaussian sectors.<n>It defines the analytic boundary between classically simulable Gaussian dynamics and the fully universal non-Gaussian regime.
arXiv Detail & Related papers (2025-10-28T16:07:48Z) - The symplectic rank of non-Gaussian quantum states [0.0]
Non-Gaussianity is a key resource for achieving quantum advantages in bosonic platforms.<n>Here, we investigate the symplectic rank: a novel non-Gaussianity monotone that satisfies remarkable operational and resource-theoretic properties.<n>We show that the symplectic rank is a robust non-Gaussian measure, explaining how to witness it in experiments and how to exploit it to meaningfully benchmark different bosonic platforms.
arXiv Detail & Related papers (2025-04-27T18:00:31Z) - Provable Benefit of Annealed Langevin Monte Carlo for Non-log-concave Sampling [28.931489333515618]
We establish an oracle complexity of $widetildeOleft(fracdbeta2cal A2varepsilon6right)$ for the simple annealed Langevin Monte Carlo algorithm.<n>We show that $cal A$ represents the action of a curve of probability measures interpolating the target distribution $pi$ and a readily sampleable distribution.
arXiv Detail & Related papers (2024-07-24T02:15:48Z) - Tackling Combinatorial Distribution Shift: A Matrix Completion
Perspective [42.85196869759168]
We study a setting we call distribution shift, where (a) under the test- and training-random data, the labels $z$ are determined by pairs of features $(x,y)$, (b) the training distribution has coverage of certain marginal distributions over $x$ and $y$ separately, but (c) the test distribution involves examples from a product distribution over $(x,y)$ that is not covered by the training distribution.
arXiv Detail & Related papers (2023-07-12T21:17:47Z) - Random quantum circuits transform local noise into global white noise [118.18170052022323]
We study the distribution over measurement outcomes of noisy random quantum circuits in the low-fidelity regime.
For local noise that is sufficiently weak and unital, correlations (measured by the linear cross-entropy benchmark) between the output distribution $p_textnoisy$ of a generic noisy circuit instance shrink exponentially.
If the noise is incoherent, the output distribution approaches the uniform distribution $p_textunif$ at precisely the same rate.
arXiv Detail & Related papers (2021-11-29T19:26:28Z) - Optimal policy evaluation using kernel-based temporal difference methods [78.83926562536791]
We use kernel Hilbert spaces for estimating the value function of an infinite-horizon discounted Markov reward process.
We derive a non-asymptotic upper bound on the error with explicit dependence on the eigenvalues of the associated kernel operator.
We prove minimax lower bounds over sub-classes of MRPs.
arXiv Detail & Related papers (2021-09-24T14:48:20Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.