arXiv ScienceSearch

arXiv · 2512.23414

On the existence of the KMS spectral gap in Gaussian quantum Markov semigroups

Abstract

In arXiv:2405.04947, it was shown that a Gaussian quantum Markov semigroup on the $d$-mode bosonic Fock space with a unique faithful normal invariant state has a positive GNS spectral gap if and only if the matrix $[U \overline{V}]$, formed from the coefficients of the Kraus operators, has $2d$ linearly independent columns. In this paper, we establish the corresponding criterion for the KMS spectral gap. After standardizing the invariant Gaussian state and grouping the modes according to their inverse temperatures, let $U_n$ and $V_n$ denote the submatrices of $U$ and $V$, respectively, corresponding to the $n$-th equal-temperature block. We prove that $\ker U_n=\ker V_n$ for every $n$, and that the KMS spectral gap is positive if and only if this common kernel is trivial for every equal-temperature block. Thus, whereas the GNS spectral gap requires a global maximal-rank condition on the Kraus coefficients, the KMS spectral gap requires maximal column rank only within each equal-temperature block.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zheng Li. 2026-08-20. On the existence of the KMS spectral gap in Gaussian quantum Markov semigroups. https://arxiv.org/abs/2512.23414

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Recursive approach to the matrix moment problem

In this paper, we study the truncated matrix moment problem in one variable through recursive matrix extensions. We give necessary and sufficient conditions for a recursive matrix extension of finite data to be a matrix moment sequence in the classical cases of Hamburger, Stieltjes, and Hausdorff moment problems. We also discuss matricial subnormal completion and matricial $k$--hyponormal completion problems and provide an analog of Stampfli's Theorem on flat propagation for $2$--hyponormal matricial weighted shifts.

math.FA

Embedding complexity into the universal Banach space and the strong Novikov conjecture

Brown-Guentner and Haagerup-Przybyszewska showed that every discrete group admits a proper affine isometric action on the universal Banach space $\bigoplus_{p=1}^{\infty} \ell^{2p}(\mathbb{N}),$ taken as the $\ell^{2}$-direct sum, and hence admits a coarse embedding into this space [7, 28]. They further asked whether such embeddings could be used to study the Novikov conjecture. In this paper, we address this question by proving that the strong Novikov conjecture holds for any discrete group that admits a coarse embedding with finite complexity into this universal Banach space. Finally, we show that the recently discovered non-sofic groups constructed by Kun and Thom have Property A and therefore satisfy the Novikov conjecture.

math.FA

Fixed point results for mappings of asymptotically Hölder nonexpansive type

We introduce asymptotically Hölder nonexpansive mappings and mappings of asymptotically Hölder nonexpansive type, in which the Hölder exponents converge to one along the iterates. We prove that if \(K\) is a nonempty closed bounded convex subset of a Banach space \(X\) with characteristic of convexity \(ε_0(X)<1\), then every self-mapping of \(K\) of asymptotically Hölder nonexpansive type admits a point \(x\in K\) such that \(T^n x\to x\). Consequently, a fixed point exists whenever some positive iterate of \(T\) is continuous; in particular, this applies to asymptotically Hölder nonexpansive mappings. We also obtain fixed-point-free constructions in spaces containing copies of \(c_0\), and a related construction on a bounded convex, not necessarily closed, subset of every Banach space containing an isomorphic copy of \(\ell_1\). Further examples show that the new classes properly extend their classical counterparts and may contain mappings with no continuous positive iterate. Finally, we examine Lin's renorming of \(\ell_1\), identify an obstruction related to shift-type constructions, and establish a shrinking-diagonal criterion that reduces the remaining closed-set problem to the construction of a suitably controlled uniformly Lipschitzian mapping.

math.FA