Searcharxiv⌕ Search

arXiv · 2609.26802

Generators of stability-preserving semigroups, spectral gaps, and classical ground-state computation

Abstract

We classify the generators of stability-preserving semigroups on polynomial spaces with bounded coordinate degrees. The generators have differential order at most two, with principal coefficients characterized by low-degree nonnegativity conditions. In disk coordinates, positive degree damping gives strict zero-freeness and a sharp spectral gap, extending the Hermitian gap of Bravyi, Gosset, Liu, and Wong to complex generators. The resulting analytic domain yields deterministic classical algorithms for ground energies and stable product-state queries for bounded-degree Suzuki-Fisher Hamiltonians with bounded local strength and fixed positive fields. Field perturbation gives zero-field energy-value approximation schemes for bounded-degree unweighted EPR and bipartite Quantum MaxCut. We also prove that, up to scalars, the Hermitian qubit Hamiltonians whose full Gibbs tensors are Lee-Yang at every temperature in a fixed basis are precisely the edgewise phase-rotated Suzuki-Fisher family. With strictly positive longitudinal fields, these tensors are zero-free on a polydisk of radius greater than one at each positive inverse temperature. These two statements answer questions of Wong, Bravyi, Gosset, and Liu. Degree-preserving, coefficient-positive stability semigroups have concave sector growth rates, yielding token-graph concavity. We also give a counterexample to a proposed explicit ground-state radius.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Dongsheng Wei. 2026-09-24. Generators of stability-preserving semigroups, spectral gaps, and classical ground-state computation. https://arxiv.org/abs/2609.26802

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

KEEP EXPLORING

Related papers

The Reciprocal Problem on Weighted Bergman Spaces

We study the reciprocal problem for weighted Bergman spaces: if $f\in A_α^p(\Bn)$ and $\inf_{\Bn}|f|>0$, does it follow that $1/f\in A_α^p(\Bn)$? We determine the range of parameters for which the answer is affirmative. In particular, we prove that functions in $A_α^p(\D)$ have the reciprocal property for all $α\in \R$ and $p\geq 1,$ where $\D$ denotes the unit disk in $\C.$ Moreover, functions in $A_α^p(\Bn)$ have the reciprocal property for all $α\in \R$ when $n=2$ and $p=2.$ In addition, we resolve the reciprocal problem in the three-dimensional Drury--Arveson space $H_3^2$ and obtain an equivalent condition in the four-dimensional space $H_4^2$. We also settle the reciprocal problem for general $A_α^p(\Bn)$ under some additional conditions.

math.CV↗

Wiman-Valiron inequalities in the unit disk outside sets of finite logarithmic measure

We give affirmative answers to both parts of Question 2.6 posed by Grosse-Erdmann (2025) concerning Wiman--Valiron inequalities in the unit disk. For every unbounded analytic function in the disk, we establish the proposed iterated-logarithm inequalities outside exceptional sets of finite logarithmic measure. The corresponding power estimate is a corollary. Both conclusions follow from a variance bound for Khinchin families and a classical estimate for their largest atom. The multiplicative constants in the main inequalities can be chosen absolute. We also obtain a disk analogue of Rosenbloom's composition estimate, with an explicit boundary prefactor. The key step combines a boundary change of variable with a monotone auxiliary function whose derivative is exactly the variance of a rescaled member of the Khinchin family. A classical example shows that the leading logarithmic exponent $1/2$ cannot be decreased.

math.CV↗

Minimal m-subharmonic functions with nonmaximal Hessian measures

For every $2\le m\le n$, we construct Hölder continuous functions on the closed unit ball that are minimal in the Cegrell class $\F_m$, although their Hessian measures are not maximal in the $m$-subharmonic ordering. This answers a question posed by the second author. We also obtain a minimality criterion based on partial pluricomplex energy and an explicit family of Monge--Ampère examples on a product domain. For $m=1$, minimality and maximality are equivalent on a ball.

math.CV↗