Loading…
Loading…
math-ph
AG-2026.09-049
math-ph
Christian Hainzl, Riccardo Panza
We consider a grand-canonical reduced BCS Hamiltonian on the full fermionic Fock space with an attractive pairing interaction supported in an energy shell around the Fermi surface. For fixed chemical potential, we prove that the exact finite-volume ground-state energy differs from the minimum of the corresponding finite-volume BCS functional by a volume-independent error. As a consequence, the BCS variational principle is exact for the ground-state energy density in the thermodynamic limit.
3 Sept 2026
1w ago
AG-2026.09-050
math-ph
Fabio Deelan Cunden, Jakub Czartowski, Giovanni Gramegna, Marilena Ligabò
We investigate limits of semigroups of stochastic matrices defined by their invariant distribution. Given probability vectors $γ(β)$ depending on a parameter $β$, we introduce a notion of convergence as $β\to\infty$ for the corresponding semigroups of $γ(β)$-preserving stochastic matrices and investigate the structure of the resulting limit. In general, the limiting semigroup differs from the semigroup preserving the limiting distribution, showing that these two operations do not commute. We develop a general framework for such limiting semigroups and study in detail the case in which the invariant distributions are Gibbs vectors at the inverse temperature $β$. We show that the limiting semigroup consists of block-upper-triangular stochastic matrices subject to additional substochasticity constraints. We characterise and enumerate their extremal elements and determine the preorder on probability vectors induced by the action of the semigroup. The resulting notion of Block-Triangular majorisation interpolates between ordinary majorisation and upper triangular (aka unordered) majorisation. We show that it is completely characterised by a finite family of monotones and analyse the corresponding behaviour of Rényi $α$-entropies as $β\to\infty$.
3 Sept 2026
1w ago
AG-2026.09-056
math-ph
Yasumichi Matsuzawa
We classify a class of abstract Bose field models in quantum field theory up to unitary equivalence. The class includes abstract free Bose field models, abstract van Hove--Miyatake models, and infrared-renormalized van Hove--Miyatake models. Moreover, as an application of our classification, we classify quadratic interaction models. In particular, our results answer a question of A. Arai concerning the classification of infrared-renormalized van Hove--Miyatake models.
3 Sept 2026
1w ago
AG-2026.09-058
math-ph
Simone Fabbri, Giovanna Marcelli, Alessandro Giuliani
For a general class of two-dimensional non-interacting semi-metallic electron systems on a lattice, we derive an explicit formula for the whole conductivity matrix, by using Euclidean many-body formalism. The semi-metallic phase takes place whenever two Bloch bands touch at the Fermi energy with conical intersections and generally occurs at the transition between distinct integer quantum Hall phases. Unlike the longitudinal conductivity (which depends solely on the shape of the cones at the Fermi level), the transverse conductivity is remarkably determined both by the conical structures of the bands and by the nature of the two nearby topological phases. Generically, in the semi-metallic state, neither the longitudinal nor the transverse conductivities are quantized in integer multiples of a universal conductivity quantum; however, universality of the conductivity matrix is restored under the assumption of emergent rotational symmetry of the linearized Hamiltonian at the Fermi points. Using our formula, we compute the conductivity matrix for several physically relevant models of quantum Hall fluids at the topological phase transition, exhibiting cases where the transverse conductivity is quantized in half-integer multiples of $e^2/h$ and cases where it depends continuously on an external strain parameter, thus shedding light on its universality or non-universality features.
3 Sept 2026
1w ago
AG-2026.09-065
math-ph
Mikhail I. Belishev, Aleksei F. Vakulenko
The dynamic acoustic scattering system is governed by the wave equation $u_{tt}-Δu+qu=0$ in $\Bbb R^3,\,\,\,-\infty<t<\infty$, with a compactly supported potential $q$ and infinitely distant sources (controls) $f$, which initiate incoming spherical waves $u=u^f(x,t)$ provided $u^f\big|_{|x|<-t,\,\,\,t<0}=0$. These waves are focused at $x=0$ and fill up the whole space at the moment $t=0$. The system is {\it controllable} if the set of waves $u^f(\cdot,0)$ produced by all finite energy controls $f$, covers the space $L_2(\Bbb R^3)$. As we show, if the Hamiltonian $H=-Δ+q$ has the bound states, then in the space the points $a$ appear such that the system, being refocused at $x=a$, loses controllability. The latter leads to a physical effect: the waves $u^f$ of finite energy appear, which vanish simultaneously in the past and future cones $|x|<\pm\, t$ and leave the region of inhomogeneity of $q$ without reverberation. This effect has some similarities with the wavefront reversal (Time Reversing Mirror), but is more meaningful from a mathematical point of view.
3 Sept 2026
1w ago
AG-2026.09-072
math-ph
Jifeng Chu, Wencai Liu, Kang Lyu
In this paper, we consider one-dimensional discrete Schrödinger operators \begin{align} Hu(n)=(Δ+V)u(n)\nonumber \end{align} on $\ell^2(\mathbb{N})$ with a self-adjoint boundary condition at $n=0$, where $Δ$ denotes the discrete Laplacian and $V(n)$ is a real-valued perturbation satisfying $$V(n)=\frac{O(1)}{1+n}.$$ We determine the sharp transition for the asymptotic coefficient of \(V\) governing the existence and nonexistence of embedded eigenvalues.
2 Sept 2026
1w ago
AG-2026.09-073
math-ph
Kostya Druzhkov, Alexey Shevyakov
Symmetry reductions of partial differential equations (PDEs) inherit more geometric structures than other types of reductions: invariant conservation laws, variational structures, and, under suitable conditions, Hamiltonian-type structures of the original model descend to the reduced model through the mechanism of invariant reduction. This paper develops computational algorithms that carry out such reductions explicitly. We use the interpretation of variational $p$-forms as conservation laws of an enlarged system --- the (degree-shifted) tangent system --- consisting of the original equations together with their linearizations, in which the perturbation variables are treated as anticommuting. This allows us to formulate the algorithms using well-known concepts from the theory of conservation laws, naturally adapted to the graded-commutative setting. The reduction of conservation laws, variational $1$-forms, and presymplectic structures thereby becomes a single algorithmic procedure. We present (i) a homotopy-based reduction algorithm for systems of evolution equations, implemented in Maple; (ii) a descent reduction algorithm applicable to general $\ell$-normal systems for $p>0$; and (iii) a simple reduction algorithm available for point symmetries under suitable conditions, including the description of reductions in terms of systems involving fewer independent variables. Examples include nonlinear evolution equations in one and two spatial dimensions, the Laplace equation, the incompressible Euler equations, and the cotangent system of Pavlov's equation.
2 Sept 2026
1w ago
AG-2026.09-077
math-ph
Avinandan Mondal
It was recently shown by Yeliussizov \cite{Yeliussizov} that integer partitions in dimensions $d \geq 7$ asymptotically grow strictly faster than MacMahon numbers. As MacMahon numbers match with integer partitions in dimensions $d = 1,2$, the comparison of asymptotics of integer partitions with MacMahon numbers in intermediate dimensions ($d = 3,4,5,6$) is an open question. In this work, we perform Markov chain Monte Carlo (MCMC) simulations till $N=15000$ by using adaptive weight learning followed by conventional MCMC steps to numerically estimate the asymptotics of integer partitions in these intermediate dimensions. We numerically establish that in these intermediate dimensions, partitions asymptotically grow faster than MacMahon numbers. More specifically, assuming that the limits exist, we show: $\lim_{n\to\infty}n^{-3/4}\log p_3(n) = 1.8196 \pm 0.0019$, $\lim_{n\to\infty}n^{-4/5}\log p_4(n) = 1.7215 \pm 0.0045$, $\lim_{n\to\infty}n^{-5/6}\log p_5(n) = 1.6521 \pm 0.0059$, and $\lim_{n\to\infty}\log n^{-6/7}p_6(n) = 1.652 \pm 0.021$ for partitions in dimensions $d=3,4,5,$ and $6$ respectively. These numbers are all larger than MacMahon leading order asymptotic coefficients of $1.7898, 1.6614, 1.5737,$ and $1.509$ respectively. Additionally, we also find estimates for some of the sub-leading asymptotic terms in $\log p_d(n)$ in each of the dimensions.
2 Sept 2026
1w ago
AG-2026.09-086
math-ph
Margherita Disertori, Max Mihailescu
We study the classical $XY$-model on random geometric graphs $\mathcal{G}_{n, \varepsilon}$, which are obtained by sampling $n \in \mathbb{N}$ independent points in a finite domain $Ω\subset \mathbb{R}^d$, $d \geq 2$, and connecting two points by and edge if their distance is of order $\varepsilon > 0$. We refer to $\mathcal{G}_{n, \varepsilon}$ as the random environment. Letting $\varepsilon \to 0$ as $n \to \infty$ at a sufficiently slow rate, these graphs capture the geometry of $Ω$. Denoting the inverse temperature by $β$, we show that in the limit $β\to \infty$ at a rate depending on $n$ and $\varepsilon$, the $XY$-model on $\mathcal{G}_{n, \varepsilon}$ exhibits long range order in the sense that we prove a lower bound away from zero on the two-point function. Our result is quenched in the random environment: long-range order holds with large probability, converging to one as $n \to \infty$. To prove the statement, we show that with high probability the environment is sufficiently regular to apply a convexity argument and the Brascamp--Lieb inequality.
2 Sept 2026
1w ago
AG-2026.09-087
math-ph
Mickaël D. Chekroun, Valerio Lucarini
Tipping points---abrupt, potentially irreversible reorganizations of a system's statistical state---are commonly anticipated through critical slowing down: recovery slows, autocorrelation and variance rise, and spectra redden. This paradigm is powerful near simple equilibrium bifurcations but is not a general theory for stochastic, multistable, or metastable systems. We develop such a theory from the Ruelle--Pollicott (RP) spectrum of Kolmogorov generators of hypoelliptic Itô diffusions. Resolving the sensitivity of invariant statistics on RP spectral blocks shows that each contribution factorizes into a spectral denominator and a residue coupling the block to both the observable and perturbation direction. Small denominators permit large responses; residues produce them. Thus a closing RP gap is not sufficient for an early warning, while growing residues can generate the classical signature with no gap closure. An early-warning signal is therefore a property of a triple: RP block, observable, and perturbation direction. We demonstrate this on a stochastic non-normal system whose RP spectrum is exactly frozen, yet classical indicators become more alarming than during genuine gap closure. The RP decomposition attributes this to residue growth and yields an index $\mathcal{N}(f)$ satisfying $\mathcal{N}(f)\leq 1$ for reversible dynamics; hence $\mathcal{N}(f)>1$ certifies residue-driven amplification. For metastable systems, one killed problem yields two complementary spectral objects: the Doob $Q$-process isolates in-well recovery, while escape clocks and committor-weighted destination probabilities govern interwell transitions. In a one-dimensional fold, these scale as $(ε_c-ε)^{1/2}$ and $(ε_c-ε)^{3/2}$, separating bifurcation-induced from noise-induced tipping. Doob drift also connects to optimal Girsanov sampling.
2 Sept 2026
1w ago
AG-2026.09-088
math-ph
Chunlin Wu, Huiming Yin
This paper presents the closed-form Eshelby's tensor for an arbitrarily oriented polyhedral inclusion in a bimaterial domain under general uniform eigenstrain. Existing bimaterial solutions are mainly restricted to special inclusion shapes or dilatational eigenstrains, because the bimaterial Green's function contains two Boussinesq's displacement potentials in addition to the harmonic and biharmonic potentials in Kelvin's solution. This paper derives the missing domain integrals of the two Boussinesq's potentials by reducing the volume integrals to surface and elementary line integrals. The formulae provide the complete elastic and thermoelastic bimaterial Eshelby's tensors, which are verified against analytical solutions for spherical and cuboidal inclusions parallel to the bimaterial interface, and finite element results of an inclined cuboid. Singularity analysis demonstrates that the interface-related contribution remains regular when the inclusion is separated from the bimaterial interface, while additional logarithmic singularities arise when an edge or vertex touches the interface without increasing the dominant singularity order.
2 Sept 2026
1w ago
AG-2026.09-090
math-ph
Abdikhurayra Toshturdiev, Abdumalik Eshniyozov, Janikul Abdullaev, Mikhail Dolgopolov
We study the three-boson Schrodinger operator on the two-dimensional integer lattice with pairwise contact interactions. First, we obtain precise asymptotics of the two bound states below the essential spectrum at zero total quasimomentum in the strong-coupling limit mu to infinity: the ground state energy is -3 mu + 6 + O(1/mu), and the first excited state energy is - mu + C + O(1/mu), where C = 4 - delta approximately 3.96458, with delta determined by the transcendental equation b0(delta) = 1/(1+delta) involving the lattice Green's function. The associated spectral gap is 2 mu + O(1). Second, using the discrete Agmon comparison method and the Paley-Wiener theorem, we establish exponential localization of the ground-state wavefunction with a logarithmic upper bound on the decay rate alpha(mu) at most ln(3 mu) + O(1/mu), reflecting the bounded nature of the lattice dispersion; the sharp asymptotic rate is conjectured. Third, at quasimomentum pi, the parity symmetry is preserved, but the odd quadratic form becomes positive definite with a unique eigenvalue of order 1/mu that never reaches the Birman-Schwinger threshold, so the odd subspace yields only a virtual level. The even subspace supports exactly one bound state with energy -2 mu + 6 + 8/mu + O(1/mu^2), and the spectral gap to the essential spectrum is mu - 2 - 8/mu + O(1/mu^2). The reduction from two bound states at zero to one at pi preserves the total spectral flow and is a lattice-specific phenomenon. Our approach uses an invariant subspace decomposition of the Birman-Schwinger operator and the Krein-Rutman theorem to guarantee uniqueness and strict positivity of the ground state. These results have direct implications for quantum simulation of few-boson systems in optical lattices.
2 Sept 2026
1w ago
AG-2026.09-096
math-ph
Shigeru Takata, Soma Sakata, Masanari Hattori
Heat transfer in a dense gas between two parallel plates is studied for assessing the quantitative difference of two variants of the Enskog equation, i.e., the original Enskog equation and the Enskog equation with a modified Enskog factor recently proposed in Phys. Rev. E \textbf{111}, 065108 (2025). The main advantage of the latter is that the H theorem, which is lacking in the former, has been established. The influence of the modification is assessed by comparing the macroscopic quantities in details. It is found that the influence of this modification is quite limited in the density, temperature, and heat flow vector. However, the influence on the stress tensor is visible in some severe setting of parameters.
2 Sept 2026
1w ago
AG-2026.08-3190
math-ph
Aitor Balmaseda, Davide Lonigro, Juan Manuel Pérez-Pardo
We derive state-dependent bounds on the difference between two quantum evolutions generated by unbounded Hamiltonians sharing a common form domain. The main technical tool is a second integration by parts, performed at the level of sesquilinear forms rather than at the operator level, which removes the need for a common invariant operator domain. The resulting estimate involves the norm of the time-integrated difference of the two generators, rather than the integral of its norm, and is therefore sensitive to the averaging effects produced by fast-oscillating terms. As an application we prove a quantitative bound on the rotating-wave approximation for spin-boson models with a structured boson field, described by an arbitrary massive dispersion relation on a general measure space and by a suitable class of form factors. The proof involves a careful analysis of the high-frequency scaling. The bound holds on a dense subspace of states, is fully explicit, and all the constants entering it depend only on the parameters of the model and not on the frequency scale, so that the approximation becomes exact in the limit of large frequency.
31 Aug 2026
2w ago
AG-2026.08-3133
math-ph
Parameshwar R. Pasnoori
The generalized Bethe ansatz framework formulated in [P. R. Pasnoori, Phys. Rev. B 112, L060409 (2025)] provides a unified framework to find exact solutions to quantum many-body systems with time-dependent coupling strengths with periodic boundary conditions. In this work we extend this framework to the case of open boundary conditions where in addition to the time-dependent interactions in the bulk, the boundary conditions are explicitly time-dependent. We show that for integrable time-dependent bulk coupling strengths, the generalized Bethe ansatz framework provides the time-dependent boundary conditions compatible with integrability and reduces the time-dependent Schrodinger equation to a set of matrix difference equations called the boundary quantum Knizhnik-Zamolodchikov (BqKZ) equations. The solution to the BqKZ equations provides the explicit form of the exact wavefunction. We further show that the RG invariants of the corresponding static model identify with the dynamical invariants in the time-dependent model.
31 Aug 2026
2w ago
AG-2026.08-3142
math-ph
M. Y. Avetisyan, R. L. Mkrtchyan
We prove, under some assumptions, the uniqueness of universal quantum dimension formulae. We first show that the quantum dimensions of classical algebras have a specific form that can be represented universally, in Vogel's sense, as the product/ratio of q-dimension factors with arguments $aα+bβ+cγ$ where $c=0, 1, 2$ and $a, b$ are integers. On this basis, we derive simple uniqueness criteria, according to which all known universal quantum dimensions are unique.
30 Aug 2026
2w ago
AG-2026.08-3016
math-ph
Rongge Xu, Holiverse Yang
Building on our previous work on 2-Morita equivalence for $E_2$-algebras using topological pictures, we develop a systematic framework for Morita equivalence of topological orders in different dimensions in terms of $n$-Morita categories $\mathrm{Mrt}_{E_n}(\mathcal{C})$. In this framework, various notions of $n$-Morita equivalence are unified as equivalences of objects in $\mathrm{Mrt}_{E_n}(\mathcal{C})$. We also compare the constructions of higher Morita categories due to Haugseng and to Gwilliam--Scheimbauer. For $n=1,2$, we prove that the functor $\mathrm{Mod}_n:\mathrm{Mrt}_{E_n}(\mathcal{C})\to \mathrm{Mrt}_{E_{n-1}}(\mathrm{LMod}^{\mathrm{rep}}(\mathcal{C}))$ is an equivalence, relating the algebraic description of higher Morita theory to its realization in terms of module categories. In this formulation, the notion of a bi-bimodule arises naturally and provides a common framework for local and confined modules. Its explicit orientation data, together with the corresponding fusion rules, clarifies the relations among defects arising from condensation in topological orders.
27 Aug 2026
2w ago
AG-2026.08-3017
math-ph
Vincent Rivasseau
We consider the $φ^4_2$ model. It has been called the simplest non- trivial super-renormalisable model. The method we use is the multiscale loop vertex expansion, an improvement of constructive field theory. We prove analyticity and Borel summability of the cumulants up to a finite order.
27 Aug 2026
2w ago
AG-2026.08-3018
math-ph
Chongyu Wang, Chenglang Yang
In this paper, we study the structures of single connected $k$-leaky $(r+1)$-completed Hurwitz numbers. We first prove that, for fixed genus, after extracting an explicit product of Pochhammer type factors, the stable connected leaky Hurwitz numbers for partition $μ$ are polynomials in the quotients $[μ_i]$ modulo $k+r$. We then give a closed formula for the generating function of single connected leaky Hurwitz numbers, which can be used to study the genus dependence of leaky Hurwitz numbers.
27 Aug 2026
2w ago
AG-2026.08-3020
math-ph
Etienne Mémin, Arnaud Debussche
This paper develops a comprehensive stochastic variational framework for surface gravity waves. Starting from Luke's variational principle for irrotational, incompressible free-surface flow, we introduce a decomposition of the velocity potential into a large-scale deterministic component and a regularized stochastic noise term representing unresolved scales. A path-wise variational principle yields the stochastic counterparts of the Laplace, Bernoulli, and kinematic boundary conditions. To close the system, a second variational principle in expectation is formulated, providing evolution equations for the noise correlation functions. The resulting coupled system preserves the Hamiltonian structure of the Zakharov--Craig--Sulem formulation. We further analyze explicit solutions via WKB approximation and show that the noise correlation functions satisfy a Hamilton-Jacobi equation with ray-tracing dynamics. This framework provides a rigorous foundation for reduced stochastic models of ocean waves and for the kinetic theory developed in the companion paper.
27 Aug 2026
2w ago
AG-2026.08-3026
math-ph
Jiawei He, Xueyin Wang
We prove that for any given frequency resonance exponent and phase resonance exponent, there exist a frequency and a phase exactly realizing these values such that the Almost Mathieu operator exhibits Anderson localization for $\ln|λ|>\max\{β(α),δ(α,θ)\}$. This resolves the conjecture in \cite{MR4686650}.
27 Aug 2026
2w ago
AG-2026.08-3027
math-ph
Phan Thành Nam, Rongchan Zhu, Xiangchan Zhu
In this paper we derive the time-dependent correlation functions of the renormalized Hartree NLS equation on the torus $\mathbb T^d$, $d=2,3$, from the corresponding bosonic many-body Gibbs dynamics. In contrast with the 1D problem studied earlier by Fröhlich, Knowles, Schlein and Sohinger, in higher dimensions the scaled quantum particle number is not uniformly bounded and the relevant classical fields require Wick renormalization. Our proof combines convergence of the quantum generators in weighted Hilbert spaces with uniqueness for positive solutions of the limiting Liouville equation that are dominated by the Gibbs measure.
27 Aug 2026
2w ago
AG-2026.08-2873
math-ph
Corey Jones, Nikita Sopenko, Ryan Thorngren
We introduce and study (fermionic and bosonic) invertible quasi-local algebras over uniformly locally finite metric spaces $X$ with infinite-dimensional local von Neumann algebras. We show that the group of Brauer equivalence classes of such algebras is isomorphic to both the group of phases of invertible states and the group of stable equivalence classes of quantum cellular automata over $X\times \mathbb{Z}$. Using K-theory of the symmetric monoidal category of invertible quasi-local algebras and bounded spread isomorphisms, we propose a definition of an $Ω$-spectrum of invertible phases as conjectured by Kitaev. We then show that the $c=\frac{1}{2}$ chiral Majorana fermion net and the $(E_{8})_{1}$ conformal net provide Brauer non-trivial invertible quasi-local algebras, thus providing explicit constructions of non-trivial invertible states and quantum cellular automata on $\mathbb{Z}^{2}$. In addition, we show that the time-slice nets of rational diagonal conformal field theories admit lattice degrees of freedom, which implies the discretization of any holomorphic conformal net is invertible.
26 Aug 2026
2w ago
AG-2026.08-3029
math-ph
C S López-Monsalvo
We consider the motion of a charged test particle confined to the round unit sphere in a uniform ambient magnetic field. We use an extension of Noether's theorem for systems with magnetic forces to reduce the problem to a quadrature. The rotation number of a trajectory, the azimuth it gains over one oscillation in latitude, is a complete elliptic integral of the third kind in Legendre form. A trajectory closes if and only if that advance is a rational multiple of a full turn. The criterion holds on every level set of the two first integrals. Then, we differentiate the rotation number with respect to the half-cyclotron frequency and sign that derivative on each of the two branches into which a level set divides. The rotation number sees the charge, the mass, the field and the speed through a single dimensionless ratio, that of the half-cyclotron frequency to the speed. A closed trajectory therefore fixes a value of that ratio. We say how many values carry a given rational winding. The poles are attainable on a single level set, where the motion reduces to a pendulum. The field has no flux through the sphere, so it is globally exact. We compute the Mañé strict critical value of the resulting exact magnetic flow. Above that value the closed trajectories are closed Reeb orbits of an explicit contact form.
26 Aug 2026
2w ago
AG-2026.08-2957
math-ph
Andreas Deuchert, Xuanyu Li
We consider a non-interacting Bose gas governed by a general one-particle Hamiltonian in the canonical ensemble. Our main results are large-deviation estimates for the number of particles in the Bose--Einstein condensate. We show that the left- and right-tail probabilities decay at different exponential rates as the number of particles tends to infinity.
26 Aug 2026
2w ago
AG-2026.08-2761
math-ph
Huilong Ren
Traditional plasticity theory is commonly organized through an elastic law, a yield condition, a flow rule, hardening relations, and loading--unloading conditions. This paper formulates these relations through directional stationarity of one scalar functional evaluated over one-sided admissible plastic paths. The first variation determines stress, internal-variable forces, and activity resistance. Restriction to an admissible plastic tangent defines a reduced directional force for each mechanism; its sign and one-sided stationarity give the elastic inequality, complementarity, loading--unloading conditions, and active consistency. Associated response corresponds to alignment between the admissible tangent and the normal to the resulting yield boundary, whereas a nonparallel tangent represents non-associated flow. A self-similarity analysis identifies positively homogeneous stress gauges as a broad associated family and separates the roles of yield-surface shape, isotropic expansion, and kinematic translation. The storage and resistance terms cover isotropic, kinematic, coupled, and gradient hardening, while multiple activity variables describe independently activated mechanisms. A viscous potential extends the construction to rate-dependent evolution. Four closed-form solutions illustrate multi-activity regions, kinematic-hardening fields, pressure-sensitive limit states, and the distinct displacement fields associated with normal and non-normal flow. Time-discrete constitutive integration and dimensional checks are collected in the appendices.
26 Aug 2026
2w ago
AG-2026.08-2764
math-ph
Fumio Hiroshima, Yuki Tsujimoto
Lower bounds on the pointwise spatial decay of the ground state of the Pauli-Fierz model in non-relativistic quantum electrodynamics are studied.Two models are considered: the full Pauli-Fierz model and the Pauli-Fierz model under the dipole approximation. For the full model, a lower bound is derived by means of a probabilistic approach based on the Feynman-Kac formula. The application of the Agmon distance method to the full model encounters a serious difficulty arising from the path dependence of a double stochastic integral. In contrast, under the dipole approximation, the corresponding integrand becomes deterministic, which allows a lower bound to be obtained in terms of the Agmon distance.
26 Aug 2026
2w ago
AG-2026.08-2766
math-ph
Sobir S. Ulashov, Shakhobiddin I. Khamidov
We study a two-particle lattice Schrödinger operator describing a fermion-boson pair on the one-dimensional lattice $\mathbb Z$ with zero-range on-site interaction of strength $μ\in\mathbb R$ and mass ratio $γ>0$. Using relative coordinates and fiber decomposition with respect to the total quasi-momentum $k\in\mathbb T:=(-π,π]$, we obtain a real symmetric fiber Hamiltonian $H_{μ,γ}(k)$ in $\ell^2(\mathbb Z)$ with essential spectrum $$ [\,2(1+γ)-2a_γ(k),\,2(1+γ)+2a_γ(k)\,], \qquad a_γ(k)=\sqrt{1+2γ\cos k+γ^2}. $$ For $a_γ(k)>0$ and $μ\ne0$, the operator has a unique simple discrete eigenvalue $$ E_γ(k,μ)=2(1+γ)+\operatorname{sgn}(μ)\sqrt{μ^2+4a_γ(k)^2}, $$ lying below the band for $μ<0$ and above it for $μ>0$, with an exponentially decaying eigenfunction. At the exceptional fiber $(γ,k)=(1,π)$, the band collapses to ${4}$ and the unique simple eigenvalue is $E_1(π,μ)=4+μ$. At the critical coupling $μ=0$ and $a_γ(k)>0$, both spectral edges are threshold resonances with bounded non-square-integrable solutions. As $μ\to0^\pm$, the discrete eigenvalue approaches the corresponding threshold with $$ |E_γ(k,μ)-E_{\mathrm{thr}}^\pm(k)| =\frac{μ^2}{4a_γ(k)}+O(μ^4), $$ and the normalized eigenfunction converges to the resonant solution. For strong coupling, $E_γ(k,μ)=μ+2(1+γ)+O(|μ|^{-1})$, while the eigenfunction localizes at the interaction site. We also classify the joint limit $μ\to0^\pm$, $(γ,k)\to(1,π)$ according to the relative scale of $|μ|$ and $a_γ(k)$, revealing the nonuniformity of the weak-coupling threshold asymptotics.
26 Aug 2026
2w ago
AG-2026.08-2767
math-ph
Andreas Klippel
We prove the leading low-temperature free-energy asymptotics of the nearest-neighbour quantum Heisenberg ferromagnet on $\mathbb Z^2$. For every fixed $S\in\{\frac12,1,\frac32,\ldots\}$, the free energy per site satisfies \[ \lim_{β\to\infty}β^2S f_2(β,S)=-\fracπ{24}. \] This formula was predicted by Takahashi's modified spin-wave theory [15]. Napiórkowski and Seiringer proved the corresponding upper bound but left the matching lower bound in two dimensions open [13], a gap later highlighted again by Seiringer [14]. We prove this missing bound through a new comparison between the magnon exclusion dynamics and free bosons, based on extending wave functions to collision configurations with controlled kinetic cost.
26 Aug 2026
2w ago
AG-2026.08-2433
math-ph
Hilal Demirdöğen, Fatih Erman, Merve Nur Sayar
We study rank-one delta interactions supported by small normal deformations of an \(n\)-dimensional hypersphere \(S_R^n\subset\mathbb{R}^{n+1}\). The interaction is defined by the normalized surface measure on the support and therefore corresponds to the rotationally invariant sector of the hyperspherical shell problem. For the undeformed hypersphere, we derive the bound-state equation for \(E=-ν^2\) in terms of the modified Bessel product \[ I_{\frac{n-1}{2}}(νR)K_{\frac{n-1}{2}}(νR). \] We then consider an inward normal deformation \[ X_\varepsilon(ω)=(R-\varepsilon h(ω))ω, \qquad ω\in S^n, \qquad 0<\varepsilon\ll1. \] Our main result is that, to first order in \(\varepsilon\), the bound-state energy depends only on the average normal displacement \[ \langle h\rangle = \frac1{|S^n|}\int_{S^n}h(ω)\,dΩ_n(ω). \] Equivalently, the deformed hypersphere is spectrally equivalent, up to \(O(\varepsilon^2)\), to a round hypersphere with effective radius \(R-\varepsilon\langle h\rangle\). In particular, mean-zero deformations do not change the rank-one bound-state energy at first order.
25 Aug 2026
3w ago
AG-2026.08-2526
math-ph
Thomas Bothner, Fei Wei
In this paper, we establish a connection between joint moments of characteristic polynomials and their derivatives in the Circular Jacobi Ensemble, a generalisation of the Circular Unitary Ensemble, and solutions of nonlinear Painlevé equations. For finite $N$, we show that these joint moments are characterised by a solution of the $σ$-Painlevé V equation for all real moment exponents in their admissible range. Under an appropriate large-$N$ scaling limit, we further prove that the limiting joint moments admit a representation in terms of a solution of the $σ$-Painlevé III$'$ equation for a certain range of moment exponents. As applications, we answer a question posed by Assiotis et al. in [Math. Physics. Anal. Geom. 25 (2022), no.2, Paper No. 15, 24pp, Remark 1.7] by showing that the characteristic function of a distinguished random variable is connected with the $σ$-Painlevé III$'$ equation for complex parameters. Furthermore, we investigate joint moments involving higher-order derivatives of characteristic polynomials in the Circular Jacobi Ensemble. As a consequence, we extend a result of Assiotis et al. in [Comm. Pure Appl. Math. 79 (2026), no. 7, 1771-1827, Theorem 1.11] concerning the joint moments of a sequence of random variables arising from the ergodic decomposition of Hua-Pickrell measures, from real parameters to complex parameters.
25 Aug 2026
3w ago
AG-2026.08-2528
math-ph
Mauris Chueng, Hexiang Wang, Keheng Zhu
We study boundary free energies and half-space responses in nearest-neighbor disordered Ising models. First, we prove the existence of fixed-depth tangential pressure and identify its derivative almost everywhere with the limiting boundary response. Second, under quenched exponential boundary-response mixing, we prove Gibbs-state selection independence and exponential convergence of finite-depth pressures. We further show that uniform one-spin mixing yields DLR uniqueness and Gaussian normal localization, and verify the required mixing conditions whenever $(2d-1)\mathbb E\tanh(β\vert{}J\vert{})<1$. Finally, we establish an all-face surface limit in the bounded Dobrushin regime and provide counterexamples that delimit general surface and stiffness claims.
25 Aug 2026
3w ago
AG-2026.08-2530
math-ph
Masrakain Ahmad, Anil Kumar, Anirudh Singh Rana
In this study, we present a thermodynamically consistent framework for modelling polyatomic gases by integrating the \textit{general equation for non-equilibrium reversible-irreversible coupling} (GENERIC) with an 11-moment description. Our formulation unifies \textit{rational irreversible thermodynamics} (RIT) and \textit{extended irreversible thermodynamics} (EIT) into a single GENERIC-compatible structure that guarantees compliance with the second law of thermodynamics through the explicit construction of Poisson and friction matrices. By including translational and internal temperatures, as well as a temperature tensor, the model offers a well-structured and physically meaningful representation of non-equilibrium behavior in polyatomic gases. The entropy production is inherently non-negative, and all closure relations emerge naturally from thermodynamic principles. As a test of applicability, we compute the shock wave structure in nitrogen gas, validating the framework against Direct Simulation Monte Carlo (DSMC) simulations and experiments up to moderate Mach numbers.
25 Aug 2026
3w ago
AG-2026.08-2532
math-ph
Alexey Kokotov, Dmitrii Korikov, Marina Nenasheva
Using an analogue of Mandelstam-Giddings-Wolpert diagrams, we introduce a new canonical representative of the conformal class of a bounded domain of arbitrary connectivity in $\mathbb{C}$ as a flat conical surface with geodesic boundary (a "truncated light-cone diagram", simply LC-diagram in the sequel). The space of these diagrams can be provided with natural coordinates. We derive variational formulas for the determinant of the Dirichlet boundary problem on a LC-diagram with respect to these coordinates. Then passing to the Schottky double of the LC-diagram, making use of the Burghelea-Friedlander-Kappeler formula and the known variational formulas for determinants of Laplacians on the moduli space of holomorphic differentials lead to an explicit computation of the Dirichlet-to-Neumann (DN) conformal invariant $\frac{{\rm det}Λ}{|Γ|}$ (here $Λ$ is the DN operator on the boundary, $Γ$, of a multi-connected domain and $|Γ|$ is the length of the boundary). The resulting formula (which uses the periods of the Schottky double of the domain only) presents a conspicuously elementary counterpart to the formulas of Guillarmou and Guillopé who had expressed the DN invariant through the Ruelle and Selberg zeta-functions. Our formula agrees with the recent result of Wentworth on the asymptotics of the DN invariant as all the boundary components except one shrink, we have used this result to fix the undetermined constant of integration in our formula.
24 Aug 2026
3w ago
AG-2026.08-2533
math-ph
Kevin D. Stubbs, Maciej Zworski
We study the minimisers of the Hartree--Fock functional for flat bands in the chiral model of twisted bilayer graphene introduced by Tarnopolsky, Kruchkov, and Vishwanath. Our model is a continuous version of the discrete model considered by Becker, Lin and Stubbs in previous works and the first result is a direct analogue of main theorems of those papers: at half filling of the flat band of multiplicity two, there are exactly two minimisers, obtained by occupying either one of the two sub-bands. (A more general version of this result, stressing its topological origins, was presented in Appendix A.8 of the Lecture Notes by Tao-Zworski.) The new contribution is the strict coercivity of the Hessian of the Hartree--Fock functional at the two minimisers. It is a consequence of the difference between the Chern numbers of the component bands and can be optimistically considered as a soft version of a ``spectral gap''.
24 Aug 2026
3w ago
AG-2026.08-2183
math-ph
Sam Johar, Ryogo Katahira, Joseph Kraisler
We study a one-dimensional scalar model for an effective-mass quasiparticle field coupled to a continuum of two-level atoms with at most one excitation present. We prove a general theorem on the existence of bound states under sign-definite spatially localized perturbations of constant atomic density and analyze the bound states for several exactly solvable examples.
24 Aug 2026
3w ago
AG-2026.08-2400
math-ph
Keyou Zhuo, Tian-Shun Chen, Kilar Zhang
This comment gives dimension-independent analytic proofs of the local inequalities arising in the odd- and even-dimensional constructions of higher-dimensional partition charge functions. The prior works established these inequalities by exhaustive computation in low dimensions and tested them numerically in selected higher dimensions.
24 Aug 2026
3w ago
AG-2026.08-2194
math-ph
Jacob Shapiro
We give a rigorous realization of the dilute instanton picture for a semiclassical Schrödinger operator with a symmetric double-well potential on $\mathbb{R}^n$. Using a localized Feynman--Kac representation, we decompose the heat-kernel trace according to the number of passages made by a Brownian bridge between shrinking neighborhoods of the two wells. We identify the weight of one passage with a hopping coefficient $ρ_λ$, $\displaystyle ρ_λ= \int_{\partialΩ} \left( \nabla\overline{\varphi_{λ,0}^Ω}\, \varphi_{λ,0}^{-Ω} - \overline{\varphi_{λ,0}^Ω}\, \nabla\varphi_{λ,0}^{-Ω} \right)\cdotν. $ On the exponentially long time scale $β=N/\lvertρ_λ\rvert$, the number of passages converges, for every fixed $N>0$, to a Poisson random variable of mean $N$. We identify $-\frac{1}λ\log\lvertρ_λ\rvert\to S(d,-d)$ and obtain $\displaystyle E_1(λ)-E_0(λ) = 2\lvertρ_λ\rvert\left(1+o(1)\right). $ Thus the familiar instanton expansion of the double-well eigenvalue splitting emerges directly from a factorization of the heat-kernel trace.
24 Aug 2026
3w ago
AG-2026.08-2270
math-ph
Balasubramanian Ananthanarayan, Souvik Bera, Subhasish Chakrabarty, Souradeep Das, Amitabha Lahiri, Suhas Sheikh, Sarthak Talukdar
This book is a self-contained, tutorial introduction to topology, differential geometry, and general relativity for students and researchers in physics. Its distinguishing feature is a Mathematica-based approach that makes abstract constructions concrete through explicit, runnable notebooks and worked examples. A key contribution is a large collection of original Mathematica notebooks, written by the authors themselves, that let readers run, verify, and extend every demonstration. The first part covers point-set topology, topological spaces, continuity of maps, homotopy, and the fundamental group with applications that highlight the role of topology in modern physics. The second and largest part develops differential geometry from the ground up: manifolds, tangent and dual spaces, vector fields, pullbacks and pushforwards, Lie brackets and Lie algebras, local flows, and the Lie derivative. It then treats tensors, differential forms, the exterior derivative, volume forms, the metric tensor, and Hodge duality, emphasizing coordinate-free formulations and their computational realization. These tools are applied to Maxwell's equations in the language of forms and the generalized Stokes theorem, while Lie groups, fiber bundles, connections, and curvature bridge geometry and gauge-theoretic physics. The final part uses this framework to present general relativity, computing curvature tensors and field equations for standard spacetimes with dedicated Mathematica packages. Throughout, the book balances mathematical rigor with hands-on computation, enabling readers both to understand the theory and to reproduce every result themselves.
24 Aug 2026
3w ago
AG-2026.08-2271
math-ph
Sid Maibach, Eveliina Peltola
We prove a universal property of local real one-dimensional modular functors, which may be thought of as central extensions of the sewing operation on the (infinite-dimensional) Segal moduli spaces. Such modular functors are characterized by one real parameter: their central charge: Our result is an analogue of ``Mumford's theorem,'' that appeared in Segal's monograph [Seg88, Seg04] in the complex case. Algebraically, the modular functors are characterized by real-valued cocycles on pairs of surfaces under sewing. We identify the disk-disk cocycle as the universal Liouville action, also known as loop Loewner energy. The guiding example is the real determinant line bundle encoding the trace anomaly of conformal field theories (CFT) and the restriction function of Schramm-Loewner evolution (SLE) loop measures. Our result thus gives a mathematical explanation for the appearance of the central charge in CFT and SLE, and proves the conjectured uniqueness of Brownian loop measureas the canonical restriction function for SLE.
24 Aug 2026
3w ago
AG-2026.08-2272
math-ph
Chokri Manai, Simone Warzel
We study the class of transversal field models with pair interactions, including the quantum Curie-Weiss and the transversal field Ising model, as well as quantum spin glasses based on the Sherrington-Kirkpatrick (SK) and Edwards-Anderson models. Our main result is a general correlation inequality based on a Gaussian convolution estimate, which is derived from an extension of the Ding-Song-Sun inequality and an application of Brascamp-Lieb convexity techniques. The results apply for sufficiently strong transversal fields and, for quantum spin glasses, yield a high-field regime without replica order. Combined with the previously established low-field replica-symmetry-breaking regime, this gives distinct low- and high-field overlap phases. As a corollary of the logarithmic Sobolev inequalities for the underlying functional integrals derived here, we show the concentration of the self- and replica-overlap, and determine the high-field asymptotics of the pressure in the quantum SK model.
24 Aug 2026
3w ago
AG-2026.08-2228
math-ph
Masoud Ataei
The observable of the Talbot effect is the intensity behind the grating: the density of the evolving field, not the field itself. Its fractality was previously known only for step data with rational jumps. We prove the general case. For arbitrary real data of bounded variation with at least one jump, the density of the free Schrödinger evolution on the torus is fractal at almost every time, with graph of upper box dimension exactly three halves. Its critical Sobolev mass diverges logarithmically, at a rate given in closed form by Wiener's jump statistic of the datum and independent of the positions and phases of the jumps. The same rate is halved along time traces and doubled for the Airy flow, so the critical mass probes the dispersion relation. Transported by the rank calculus of derangetropy operators, the theory equips every probability law with a quantum carpet: Gauss-sum revivals on quantile cells at rational times, a universal fractal at almost every other. The spectral growth rate of a single measured intensity profile returns the jump content of the grating, a prediction open to test in optical and matter-wave interferometry.
23 Aug 2026
3w ago
AG-2026.08-2277
math-ph
Reuben Drogin
We consider the $2W\times 2W$ transfer matrices associated to the block Anderson model with GOE potential blocks. We make the classical Lyapunov exponent theory quantitative in two ways. First, we prove a quantitative limit theorem for the top Lyapunov exponent. Second, we prove every gap between Lyapunov exponents is at least $c/W$. As a corollary, this implies the localization length of this $1$d block Anderson model is at most $CW^2$. The proof uses Furstenberg type formulas for the Lyapunov exponents, and Malliavin calculus style arguments in the symplectic group to show the product of sufficiently many transfer matrices has a sufficiently smooth density. The main technical input for the latter is a least singular value estimate for a structured random matrix.
23 Aug 2026
3w ago
AG-2026.08-2152
math-ph
G. Niccoli, V. Terras
We consider the open XXZ spin chain with unparallel boundary fields, in the special case in which the Vertex-IRF transform of the K-matrix labelling the boundary field at site 1 is diagonal and invariant under the value of the gauge parameters, the other K-matrix being arbitrary. We discuss here several properties related to this special gauge invariant boundary condition. Such a model can be solved in the Vertex-IRF framework with arbitrary gauge parameters: we can diagonalise the transfer matrix by means of generalised Sklyanin's Separation of Variable (SoV) approach in a family of SoV bases that depend on two arbitrary gauge parameters $α$ and $β$, $β$ being the so-called dynamical parameter and $α$ an arbitrary shift of the spectral parameter. We show here that such SoV bases depend actually on $α$ and $β$ through the difference $α-β$ only. Considering the ungauged limit in which $α-β$ tends to infinity, we show how to compute all elementary building blocks for the correlation functions of this model. We finally show how to compute overlaps between eigenstates of this model and eigenstates of a spin chain sharing the same boundary condition at site $N$ and in which the gauge invariant boundary condition at site 1 has been changed to a more general one.
23 Aug 2026
3w ago
AG-2026.08-2279
math-ph
Yoshitsugu Sekine
Interacting Bose--Hubbard dynamics is formulated on the concrete Buchholz algebra in Fock space. Under repulsive finite-range interactions and a low-activity gap, a discrete functional integral gives volume-uniform exponential local-number bounds at all temperatures. These bounds remove the local-moment hypothesis and yield finite-volume approximation and KMS accumulation states in arXiv:2505.13170.
23 Aug 2026
3w ago
AG-2026.08-1885
math-ph
Kiyoon Eum
We revisit the Moore--Read construction of the $ν=1/k$ Laughlin states on compact Riemann surfaces, deriving their conformal blocks from $U(1)_k$ Chern--Simons theory through the CS/WZW correspondence. We compute their explicit monodromies under quasi-hole transport and Aharonov--Bohm flux insertion, and conjecture that these coincide with the corresponding adiabatic holonomies. Under this identification, we recover classical results on Laughlin states including the flux-averaged Hall conductance $1/k$ via a vector bundle of Laughlin states over $Jac(Σ)$. We also relate our construction to the recently developed algebro-geometric approach to higher genus Laughlin states.
20 Aug 2026
3w ago
AG-2026.08-1777
math-ph
Plamen Iliev
Representations of the Kohno-Drinfeld Lie algebra associated with several classical multivariate distributions have played an important role in recent developments in the theory of quantum superintegrable systems. In this work, we analyze the corresponding Gaudin models for the multivariate Hahn, Dirichlet, multinomial, and negative multinomial distributions. More precisely, using tools from representation theory, we construct multivariate orthogonal polynomials with respect to these distributions as common eigenfunctions of Gaudin operators. The polynomials are parametrized by solutions to the Bethe ansatz equations or, equivalently, by the roots of Heine-Stieltjes polynomials.
19 Aug 2026
3w ago
AG-2026.08-1778
math-ph
Fabio Arz
Many rigorous results in the modern era of statistical mechanics have been obtained through geometrical representations. A much studied tool in this setting is the random cluster representation of lattice spin models. Another area of statistical mechanics that is of great interest but lacking rigorous results is the theory of the renormalization group. This paper investigates the idea to find a common ground between these two concepts in order to obtain rigorous results on the renormalization group flow. A need for negative cluster-weights weakens the success of this approach. Nevertheless, we managed to establish a relation between the scaling limit of the renormalization group flow of the nearest-neighbour Ising model away from criticality with a simple one-dimensional dynamical system that follows the cluster connectivity of the renormalization group transformation. This allows for a rigorous proof of the convergence of this flow to the zero- and infinite-temperature fixed point respectively for a large family of renormalization group transformations. Explicit results will be established on $\mathbb{Z}^2$ followed by a discussion of the available generalizations to higher dimensions.
19 Aug 2026
3w ago
AG-2026.08-1782
math-ph
O. Cruz-Limón, C. Ramírez-Romero, R. Cartas-Fuentevilla
We develop a finite-temperature formulation for a hypercomplex dissipative quantum field theory [1], using the imaginary-time path-integral approach and the idempotent structure of the hypercomplex algebra. The resulting partition function naturally separates into two conjugate complex sectors whose recombination preserves the hypercomplex Hermitian structure while generating a nontrivial thermal phase. From this construction, the standard thermodynamic observables are obtained consistently, and the conventional relativistic charged Bose gas is recovered in the vanishing-dissipation limit. Beyond this equilibrium correspondence, the hypercomplex formulation reveals a distinctive perturbative hierarchy: dissipative effects first appear in the complementary phase sector, while corrections to ordinary real thermodynamic quantities arise only at higher order. These results show that dissipation can be encoded through an enlarged algebraic thermal structure without abandoning the familiar framework of relativistic finite-temperature field theory, opening a path toward broader applications of hypercomplex methods in dissipative, open, and effectively non-Hermitian quantum systems.
19 Aug 2026
3w ago
AG-2026.08-1733
math-ph
Milen V. Velev, Ivo D. Dinov
Let $L_u$ be a symmetric Levy process representing an unobserved phase lift, coupling to a quantum system via charge $Q$. Averaging $e^{iL_uQ}$ gives a completely positive dephasing semigroup. If the characteristic exponent lacks an intrinsic charge scale, the Levy-Khintchine theorem forces $η(ξ)=D | ξ|^α$ ($0<α\le2$), so coherences decay at $Γ_{ab}=D | q_a-q_b |^α$. For integer charge differences, the process descends to the wrapped variable $Θ_u=L_u\bmod 2π$; for real charges, the lift is the relevant phase. Schoenberg's theorem ensures complete positivity for any finite real spectrum when $0<α\le2$, while $α>2$ yields an analytic obstruction. This boundary is exact, verified numerically here. A Gaussian integrated phase gives quadratic charge dependence, though colored Gaussian noise need not yield a Markov semigroup. Two idealized non-Gaussian mechanisms are analyzed: inverse-power Poisson shot noise ($α=d/p$) and Bochner subordination of Brownian phase by an $α/2$-stable clock. For a bounded reduction walk, we prove Born probabilities for every symmetric bounded proposal law. Simulations of truncated stable laws ($α=0.5,1,1.5,2$) confirm this law-independence. In continuous time, $α$-stable drivers fail to reduce: the exact-flow (Marcus) equation oscillates, and the naive Ito jump equation fails to preserve state. For Gaussian white noise, the Itô model collapses to Born probabilities, whereas the exact-flow (Stratonovich) model does not collapse without a threshold and yields non-Born exit probabilities. The quadratic case recovers Milburn's small-step limit, not his exact Poisson dynamics. Finally, a bi-temporal geometry is examined as a possible compact phase source, but closed timelike curves, nonunitary evolution, and an unstable mode tower prevent a consistent field-theoretic realization.
18 Aug 2026
3w ago
AG-2026.08-1563
math-ph
Serban Matei Mihalache, Tomoro Mochida
Polygon equations form a family of equations generalizing the pentagon equation. In this paper, we construct semi-simplicial sets of permitted colorings associated with set-theoretic solutions of polygon equations and use them to define the corresponding (co)homology groups. We investigate several properties of these groups and establish an equivalence of categories between set-theoretic solutions of polygon equations and higher Segal semi-simplicial sets satisfying certain conditions. As a special case, our result recovers the correspondence between bijective set-theoretic solutions of the pentagon equation and $2$-Segal semi-simplicial sets proved by Dyckerhoff--Kapranov.
18 Aug 2026
4w ago
AG-2026.08-1565
math-ph
José A. Vallejo, Mariana Kirchbach
We study the monic Romanovski (pseudo-Jacobi) polynomials corresponding to the degree dependent parameters $β_K=-K$, $α_K=c/(K+1)$, with $K=n+\ell$. We write down, in explicit form, the parameter preserving first order lowering and raising relations at fixed $(α,β)$, with real proportionality constants. Combining them one recovers the standard three-term recurrence existing in any hypergeometric-type family, and iterating them one gets an ordered first order construction of $R_n^{α,β}$ starting from the unit constant polynomial. We also solve the connection problem with the $α=0$ family in a finite triangular form, identifying this last family with the Gegenbauer polynomials, and transferring the ladder relations to the $(n,\ell)$ lattice. After the substitution $x=\cotχ$, the in-level operators depend on $\ell$, but not on $K$. The resulting dressed functions support intrinsic lowest weight $\mathrm{su}(1,1)$ modules along the columns with $\ell$ fixed, while the circular row ($n=0$) requires an explicit boundary prescription and a rescaling.
18 Aug 2026
4w ago
AG-2026.08-1566
math-ph
Lorena Loera-Galeana, Santiago Mejía, Espartaco Alvarado, Héctor Medel-Cobaxin
Contact Hamiltonian dynamics gives dissipative mechanics an intrinsic action variable, but explicit contact splittings reach only kinetic energies whose terms are exactly integrable: frozen-coordinate diagonal metrics (the spherical pendulum, a torus particle) are included, while dense metrics with momentum cross terms, with the double pendulum as flagship, are not. We introduce a projected Pihajoki-contact integrator for this non-separable setting, combining phase-space duplication, symmetric projection onto the physical diagonal, and constant-friction damping half-steps, with the action factor carried by an exact Herglotz update. As in the projected extended-phase-space framework it builds on, the construction needs no binding parameter, returns the copies to the diagonal at every step, and confines the nonlinear solve to the $2n$ projection variables. For constant friction the step rescales $ω=dη$ by the exact factor $e^{-γτ}$ when the projection is solved exactly (a classical conformally symplectic identity, realized here for this class), while time-symmetry, consistency, and smoothness yield an $O(τ^3)$ one-step contact-form residual, a bound not specific to the contact form. On the damped double pendulum, spherical pendulum, and torus particle the method is second-order accurate, reproduces the contact decay law, and controls long-time energy and contact drift in coarse or stiff regimes where the Tao baseline and the unprojected average lose the solution. A head-to-head with exact-contactomorphism splittings delimits the niche: where a frozen-coordinate splitting exists it preserves the contact form exactly and wins at matched cost; for the dense double-pendulum metric the realizable alternative is first-order with a prohibitive constant and the projected method prevails. The contact-form estimate is local, one-step, and constant-friction.
17 Aug 2026
4w ago
AG-2026.08-1145
math-ph
Frank Göhmann, Karol K. Kozlowski, Mikhail D. Minin
We perform a large-$x$ asymptotic analysis of the Fredholm determinant of an integrable integral operator with generalized sine kernel, where $x$ controls the strength of the oscillations along the integration contour of the operator and will play the role of the distance variable in applications to the correlation functions of integrable quantum systems. Our generalized sine kernel involves a number of functional parameters that will allow us to adapt it to the analysis of the dynamical correlation functions of the Lieb--Liniger model at finite temperature and for all positive values of the coupling constant. It will also allow us to consider a class of equilibrium correlation functions that are governed by generalized Gibbs ensembles. Our work is based on the analysis of a matrix Riemann--Hilbert problem that is canonically connected with our integrable integral operator.
17 Aug 2026
4w ago
AG-2026.08-1302
math-ph
Michel Planat
A system with two periodic directions carries two commuting holonomies \(a=(u,v)\in\R^2/\Z^2\). We determine their distinguished values while separating lattice, arithmetic, and observable effects. Maximizing the lowest twisted eigenvalue places \(a\) at a deep hole of the momentum lattice. For every rectangular torus the maximizer is antiperiodic, so complex multiplication is sufficient for torsion optima but not necessary. Let \(G_τ^{-1}\) be the dual metric and \(D_τ(a)\) the normalized zeta determinant of the twisted Laplacian. At the rotation-fixed deep holes of the square and hexagonal lattices, symmetry gives the exact determinant response \(-\operatorname{Hess}_a\log D_τ=2π(\Imτ)G_τ^{-1}\). With spectral wavenumber \(κ=2π\), the lowest manifolds are fourfold and threefold, with gaps \(2κ^2\) and \(4κ^2/3\); phase errors split them linearly while their centroids remain stationary. We then give a finite-device realization: an \(8\times8\) microring lattice closed by two phase-controlled seams. At a reported coupling scale of \(16\) GHz, its exact square-lattice spectrum has a \(17.32\) GHz shell gap and a \(1.92\) GHz doublet separation for a \(0.1\) holonomy error; a triangular-link configuration gives a threefold qutrit manifold with an \(18.11\) GHz gap. This is a quantitative spectroscopy proposal, not a claim of topological protection or a completed device.
17 Aug 2026
4w ago
AG-2026.08-1307
math-ph
Agnieszka Martens
Discussed are Bertrand systems on two-dimensional spaces of constant curvature, i.e. sphere and pseudosphere (Lobachevsky space). These models often involve applying quantization techniques, such as those based on the Laplace-Beltrami operator, to the classical models and analyzing the resulting quantum behavior.
16 Aug 2026
1mo ago
AG-2026.08-1019
math-ph
Ernesto Lupercio, Mikhail Shkolnikov
We describe a mechanism of affine symmetry emergence in the maximal density regime of the prototypical model of self-organized criticality when the inverse square of the mesh of the underlying lattice is much larger than the number of random perturbation points distributed according to a prescribed probability measure supported in the interior of the ambient convex domain. Moreover, an appropriate scaling limit of the toppling function (aka odometer), which counts the number of operations per site, is a solution to a non-linear partial differential equation well known in the context of optimal transport and differential geometry, making it possible to accurately estimate the deviation of the density from its maximal value in any macroscopic window. The mechanism for the affine symmetry emergence is due to the novel empirical fact, supported in addition by inductive arguments that have recently being upgraded to a rigorous proof, that the scaling limit of the toppling function is the unique concave solution of the Monge-Ampère equation with Dirichlet boundary condition on the convex domain with the potential given by the probability measure used above as the infinite-perturbation profile.
13 Aug 2026
1mo ago
AG-2026.08-942
math-ph
Momo Hayashi, Kazumitsu Sakai
Dyson universality typically manifests itself in local eigenvalue statistics. Here we show that its signature survives a nonlinear inverse-spectral reconstruction and reappears in the matrix geometry of the reconstructed operator. Using a dressing transformation, we map each unfolded spectrum to a deformation $f(x)$ of a fixed harmonic oscillator and represent it in the common oscillator basis by $F_{mn}=\bra m|f|n\ket$. We resolve the matrix-element weight into shells of fixed distance $d=|m-n|$, corresponding to the energy-transfer channels of the reference oscillator, and characterize the resulting distribution by distance-shell moments. Independently calibrated on Gaussian $β$-ensembles, these moments vary smoothly with $β$ and distinguish the GOE, GUE, and GSE. With this calibration fixed, applying the same diagnostic to the nontrivial zeros of the Riemann zeta function places the reconstructed operators in the GUE sector. Thus, the GUE character of the zeros is recovered not through direct statistics of the input levels, but from the distance-resolved geometry of the reconstructed operator.
13 Aug 2026
1mo ago
AG-2026.08-1021
math-ph
Detlev Buchholz
This article contrasts the concepts of a proper condensate and the Onsager-Penrose criterion for Bose-Einstein condensation in the form of a debate between two proponents of the respective concepts. The prologue briefly introduces the two criteria. The epilogue contains remarks on properties of the underlying resolvent algebra that are physically relevant in this context.
13 Aug 2026
1mo ago
AG-2026.08-1026
math-ph
Nedialko Bradinoff, Maurice Duits
We study Toeplitz determinants $\det T_n(e^f)$ for $f$ whose Fourier coefficients satisfy $f_k=O(|k|^{-1})$. This regime extends beyond $H^{1/2}$ and includes symbols with Fisher-Hartwig singularities. We develop an operator-theoretic approach based on the Baker-Campbell-Hausdorff formula that separates the quadratic term \[ \sum_{k=1}^{\infty}\min(k,n)f_kf_{-k} \] from the higher-order terms in the expansion of $\log\det T_n(e^{tf})$. We show that this quadratic term accounts for the possible growth with $n$, while every fixed higher-order coefficient remains bounded. For symbols with bounded positive and negative Fourier parts, our estimates yield two-sided bounds for the determinant after removal of the quadratic contribution. For a broader admissible class, including Fisher-Hartwig-type symbols, we obtain uniform higher-order coefficient bounds and a central limit theorem for the associated CUE linear statistics. We also obtain bounds on mixed exponential moments for CUE-derived random fields beyond the characteristic polynomial.
13 Aug 2026
1mo ago
AG-2026.08-1027
math-ph
Mátyás Szücs, Tamás Fülöp
The most well-known beyond-Fourier heat conduction model, the Maxwell--Cattaneo--Vernotte equation is solved analytically in the presence of heat transfer boundary condition. In contrast to the corresponding Fourier problem, this boundary condition renders the underlying differential operator non-selfadjoint. With a suitable scalar product, the adjoint eigenvalue problem is established. The resulting left and right eigenfunctions constitute a biorthogonal system, allowing the expansion coefficients to be determined from arbitrary square-integrable initial conditions. This enables a convenient infinite-sum analytical solution, which is presented and thoroughly investigated for various values of the model parameters (including near-Fourier and highly hyperbolic regimes) and for two practically important initial conditions (equilibrium and flash pulse initiated). The spectral structure is analyzed in detail, including the occurrence of real, imaginary, and complex-conjugate eigenvalue roots, their asymptotic distribution, and their dependence on the dimensionless relaxation time and Biot number. We find good agreement with corresponding finite-difference numerical solutions. The comparison also illustrates the effects of spectral truncation (i.e., the Gibbs phenomenon) and numerical dissipation near propagating thermal-wave fronts. Completeness of the eigenfunction set is numerically demonstrated. The initial condition induced by the flash pulse is derived analytically. The results provide an analytical benchmark for non-selfadjoint hyperbolic heat conduction, unveil how boundary heat transfer and relaxation time influence the transition between Fourier-like diffusion and thermal-wave propagation, and open the possibility to find and investigate beyond-Fourier heat conduction via heat transfer in experiments and practical applications.
13 Aug 2026
1mo ago
AG-2026.08-1030
math-ph
Jasur Matrasulov, Jambul Yusupov, Matthias Ehrhardt
We study transparent boundary conditions (TBCs) for the time-dependent heat equation in a branching, quasi-one-dimensional domain modeled as a metric star graph. By combining the classical concept of TBCs with the theory of partial differential equations (PDEs) on networks, we derive an exact vertex condition that ensures unobstructed thermal flow across junctions. Specifically,we derive a sum rule for the diffusion coefficients that eliminates thermal backflow at the vertex.We demonstrate the validity of this analytical model numerically using a Crank-Nicolson finite-difference method, which confirms smooth, unobstructed heat propagation through the network.These results provide a practical mathematical framework for tunable control and optimization of thermal diffusion in low-dimensional structures. In particular, combining the well-known concept of the TBCs and theory for PDE on metric graphs, we propose a mathematical model providing a control tool for thermal diffusion in networks.
13 Aug 2026
1mo ago
AG-2026.08-1032
math-ph
Pierre-Antoine Bernard, Vutha Vichhea Chea, Luc Vinet
We construct a discrete Smorodinsky--Winternitz II superintegrable system on a triangular region of the two-dimensional square lattice. The model is built from a pair of commuting finite-difference number operators with finite spectrum together with an associated ladder-operator structure. We show that it is maximally superintegrable and that its symmetry algebra admits a Hahn-algebra presentation. The spectral problem is solved exactly in terms of bivariate orthogonal polynomials of mixed Krawtchouk and dual Hahn type associated with the factorized $A_2$-Leonard pair. Finally, we show that the continuum limit recovers the continuous Smorodinsky--Winternitz II system together with its Hermite--Laguerre eigenfunctions. We further explain how the Hahn presentation of the discrete symmetry algebra becomes singular in this limit, while the limiting algebraic structure is naturally described by the Laguerre--Heun algebra associated with Cartesian and parabolic separation of variables.
13 Aug 2026
1mo ago
AG-2026.08-1033
math-ph
Vladimir Gol'dshtein, Wolfgang H. Müller, Reuven Segev
A compact formulation of electrostatics is presented. Without using constitutive relations, including the aether relations, an expression for the potential energy of a charged region under a potential function is proposed, where the charge distribution is specified by the charge potential field. Assuming that during a virtual motion of the charge, the virtual work expended by the field is equal to minus the time derivative of the potential energy, an expression for the mechanical force functional is derived. The force functional contains the action of an asymmetric active stress field D_{i}E_{j}, the skew-symmetric part of which is the mechanical couple density.
13 Aug 2026
1mo ago
AG-2026.08-1034
math-ph
Vutha Vichhea Chea, Luc Vinet
We construct a finite discrete realization of the Smorodinsky--Winternitz I superintegrable system on a triangular region of the two-dimensional square lattice. The construction is based on a pair of commuting number operators with finite spectrum together with an associated ladder-operator structure. We show that the resulting model is maximally superintegrable and that its symmetry algebra admits a Hahn-algebra presentation. Its spectral problem is solved exactly in terms of the bivariate dual Hahn polynomials of Tratnik type. Finally, we show that the continuum limit recovers the continuous Smorodinsky--Winternitz I system together with its ladder operators, eigenfunctions and symmetry algebra, thereby establishing the present construction as a genuine finite discrete realization of the continuous model.
13 Aug 2026
1mo ago
AG-2026.08-1035
math-ph
Yufeng Pei, Yunhe Sheng
For every Lie--Rinehart algebra, we construct an $F$-manifold algebra on the direct sum of its base algebra and module. Contrary to the assertion in \cite[Proposition 13.3.26]{LodayVallette}, the resulting structure is generally not Poisson. We determine when powers of the positive-degree ideal in the associated symmetric Poisson algebra are Poisson ideals, and relate the Leibnizator to the Lie--Rinehart differential. For a finite projective module of constant rank, the trace of the Leibnizator recovers the anchor and yields a rigidity result for injective anchors. We conclude with algebraic and geometric examples.
13 Aug 2026
1mo ago
AG-2026.08-1039
math-ph
Hajime Nagoya
We construct rank-zero irregular vertex operators for the Neveu--Schwarz algebra as linear maps between irregular Verma modules of the same rank satisfying the usual superconformal commutation relations and an irregular asymptotic condition. Under the nondegeneracy assumption $Λ_{2p}\neq0$, we prove their existence and uniqueness. We then extend the decomposition theorem for the Neveu--Schwarz algebra to the irregular setting: the tensor product of the free-fermion Fock module with a rank-$p$ Neveu--Schwarz irregular Verma module decomposes into an infinite direct sum of tensor products of two Virasoro irregular Verma modules. We also prove a compatible decomposition of the irregular vertex operators into tensor products of Virasoro irregular vertex operators. Using suitable pairings and mode insertions, we derive bilinear differential equations for weighted sums of products of Virasoro irregular conformal blocks of types $(0,0,1)$ and $(0,2)$. After explicit parameter identifications and a gauge transformation in the Painlevé V case, the resulting bilinear differential operators agree with those appearing in the quantum Painlevé V and IV tau-function equations.
13 Aug 2026
1mo ago
AG-2026.08-1041
math-ph
Giacomo Tommei
Uncertainty in nonlinear dynamical systems is often organized by transport structures that are not apparent from posterior geometry alone. We introduce Dynamical Uncertainty Geometry (DUG), a framework that separates three ingredients that are frequently conflated: posterior uncertainty, future observations, and model-induced transport. DUG indexes posterior credible sets and transport-conditioned subsets by a common enclosed-probability coordinate, allowing physically meaningful classes to be tracked across credibility levels rather than examined at a single threshold. The framework combines a mass-ranked credible filtration, a description of future experiments through their induced probability laws and Fisher geometry, and a labelled transport skeleton representing dynamically distinct outcomes. We establish stability results for the resulting mass-indexed persistence modules under simultaneous perturbations of posterior density and probability measure, including continuum, refinement, and finite atomic formulations. These results provide quantitative control of persistence computed from numerical approximations and weighted grids. Two benchmark problems illustrate the framework. In a short-arc orbit-determination setting, DUG identifies dynamically distinct return classes within a connected uncertainty region and highlights a difference between information-based and local Fisher-based observation-design criteria. In the Earth-Moon planar circular restricted three-body problem, DUG reveals multiple first-hit transport outcomes coexisting within a connected credible region and provides diagnostics for assessing their numerical resolution. Together, these examples show how topological summaries of posterior geometry, when coupled to transport labels and future experiments, yield a richer description of uncertainty than either posterior probabilities or dynamical classifications alone.
12 Aug 2026
1mo ago
AG-2026.08-812
math-ph
Ernesto Mordecki, Anas A. Rahman, Manuel Sáenz
We develop a probabilistic cavity-contiguity framework for proving replica-symmetric convergence of local marginals in mean-field Gibbs systems. The approach is based on cavity decompositions of the Hamiltonian together with direct comparison of probability measures through Radon-Nikodym derivatives and Hellinger-type estimates. At a conceptual level, the method separates the concentration of the relevant order parameters from the identification of the asymptotic cavity model and the comparison of the associated Gibbs measures. In contrast with interpolation-based approaches, the argument relies only weakly on the Gaussianity of the disorder and naturally accommodates concentration tools such as Poincaré and log-Sobolev inequalities. Rather than pursuing maximal generality, with the aim of making the method transparent, we implement the framework in a canonical example: the high-temperature Sherrington-Kirkpatrick model. In this setting, we prove that the marginal law of a fixed spin converges in total variation toward the effective one-dimensional cavity measure predicted by the replica method. Beyond the specific result for the Sherrington-Kirkpatrick model, the paper illustrates a broader cavity-contiguity methodology which is expected to extend naturally to other mean-field Gibbs systems, particularly Bayesian inference models with or without mismatch.
12 Aug 2026
1mo ago
AG-2026.08-814
math-ph
Zhipeng Chang, Wenpeng Yin, Wenrui Hao
Many nonlinear models across physics, chemistry, and biology exhibit multiple solutions for the same parameters, and capturing this entire solution set is essential for understanding pattern-forming systems. Yet existing learned surrogates are fundamentally single-valued: neural operators map each parameter to a single output, and physics-informed neural networks converge to one branch. We develop \textbf{PatternFormer} (PF), a large language model-based framework for learning the multiple solutions of nonlinear partial differential equations. By transforming unordered coexisting solutions into canonical sequences, PF produces structured solution sets in a single autoregressive pass, terminating automatically for finite families and enforcing physical residual constraints for unbounded ones. On nonlinear elliptic problems it recovers all solution branches in one inference step; on Gray--Scott it generates coexisting Turing patterns, including physically valid states absent from the reference data and beyond training. PF can also be sequentially fine-tuned across multistable systems, toward general foundation models for solution landscapes.
12 Aug 2026
1mo ago
AG-2026.08-822
math-ph
Shujaat Khan, Abdul Wahab
Reconstruction of 3D electromagnetic currents from sparse, multi-frequency, far-field radiation data is severely ill-posed because sparse sampling masks specific current Fourier modes and the missing spectrum enlarges the null space of the forward operator. Although structured-Hankel completion can recover missing spectrum by exploiting the finite rate of innovations structure of a compactly supported geometrically sparse source, it treats current components independently without guaranteeing compatibility with the model. This often renders non-physical solutions that violate model consistency. To resolve this, we propose a training-free Maxwell-model-consistent 3D structured-Hankel framework (MC-Hankel) that alternates joint low-rank Hankel completion with an exact, closed-form projection onto the true Maxwell synthesis subspace while enforcing conjugate symmetry and noise-aware data fidelity. Across tests on two source models, three sparse sampling rates (30\%, 40\%, and 50\% of a Nyquist-sampled grid), and clean versus noisy (10 dB SNR additive white Gaussian noise) conditions, MC-Hankel consistently outperforms sub-sampled Fourier inversion, scale-normalized $\ell_1$-compressed sensing baseline, and the standard joint 3D annihilating filter-based low-rank Hankel matrix completion approach (ALOHA). Across all considered source-noise-sampling configurations, MC-Hankel improves mean peak SNR (PSNR) by 0.65-4.22 dB and tri-planer structural similarity (3D SSIM) by $0.0266$-$0.0703$, reduces relative full-volume $\ell_2$ reconstruction error by $7.4\%$-$38.9\%$, and brings non-physical model residuals down to machine precision over standard joint 3D ALOHA with merely 17\% computational overhead. Exact signed-rank tests are underpowered for five paired trials, so statistical conclusions are reported together with paired bootstrap intervals, effect sizes, and small-sample limitations.
12 Aug 2026
1mo ago
AG-2026.08-742
math-ph
Mikhail Dolgopolov
We study the strong-coupling Birman-Schwinger analysis of the three-boson lattice Schroedinger operator at the exceptional quasimomentum K = pi. First, we provide an exact closed-form benchmark for the fiber Fredholm determinant at a distinguished flat momentum, valid for every quasimomentum K, obtained via a uniform elliptic reduction of the two-dimensional lattice integral. Second, we formulate and prove a general order-matching criterion. This criterion decides whether a leading-order Fredholm determinant asymptotic, with relative accuracy of order 1/mu, suffices to determine the constant-order additive correction in the strong-coupling energy, or if the next-order refinement is required. Applying the criterion at K = pi, we derive the complete strong-coupling ground-state asymptotics, including the coefficient of the order 1/mu term. The results are cross-validated against the exact closed-form benchmark and two independent high-precision numerical schemes. Furthermore, we determine the corresponding spectral gap and prove an exact Fredholm-determinant underestimation factor equal to 2. Additionally, we independently confirm that the previously established K = 0 constant is correctly derived and requires no analogous refinement. Finally, we compare the orders of asymptotic precision controlled across recent lattice few-body models and draw a structural parallel with the parity classification of topological band structures.
12 Aug 2026
1mo ago
AG-2026.08-826
math-ph
Sung-Soo Byun, Yong-Woo Lee, Eui Yoo
We study a Riesz gas with interaction parameter $s \in (d-3,d)$ in an arbitrary spatial dimension $d$, confined to a half-space by a hard wall. We prove that the equilibrium measure exhibits a dichotomy according to the interaction range. For $s \in (d-2,d)$, corresponding to the weakly long-ranged regime, the equilibrium measure always retains a non-trivial bulk component and thus is never completely confined to the wall. In contrast, for $s \in (d-3,d-2]$, corresponding to the strongly long-ranged regime, a confinement transition occurs: there exists a critical wall position beyond which the equilibrium measure is supported entirely on the wall. Our theorem generalises recent results established for the Coulomb gas, corresponding to the case $s=d-2$.
12 Aug 2026
1mo ago
AG-2026.08-829
math-ph
Baojun Wu, Shengjing Xu
The work of Baverez, Guillarmou, Kupiainen, and Rhodes [BGKR24] is the starting point of this paper. It shows that analytic changes of boundary parametrizations act differentiably on Liouville amplitudes, with derivative given by Virasoro operators and a scalar anomaly term. We compute this scalar term. Its holomorphic part is a Schwarzian boundary integral, which gives a geometric explanation of the Virasoro central term. We then derive local Ward identities on disks, annuli, and pairs of pants. They give finite recursions for descendant matrix coefficients. From these recursions we recover the polynomial factorization of normalized pair-of-pants coefficients. In the annular zero-weight limit, we recover the Shapovalov form. For a pair of pants with two incoming boundaries, we recover the formal chiral vertex-operator coefficients. We also give a geometric proof of smoothness in the bulk insertion points and derive the genus-zero arbitrary level BPZ equations for degenerate bulk insertions.
12 Aug 2026
1mo ago
AG-2026.08-831
math-ph
Ignacio S. Gomez
The configurational partition function is a central object in classical equilibrium statistical mechanics, yet its inverse characterization remains largely unexplored. In this letter, we study the inverse problem of identifying smooth one-dimensional potentials that produce the Gaussian configurational partition function of the harmonic oscillator. Under suitable admissibility conditions, we prove that the partition function uniquely determines the pushforward measure generated by the potential and derive an equivalent characterization through a simple relation between its inverse branches. We establish a rigidity result showing that the harmonic oscillator is the only smooth symmetric single-well potential compatible with the Gaussian configurational partition function. We also demonstrate that this uniqueness is lost for multi-well potentials due to the possible rearrangement of inverse branches producing identical measures. Our results reveal a geometric structure underlying configurational statistics and provide a new perspective on inverse problems in statistical mechanics.
11 Aug 2026
1mo ago
AG-2026.08-833
math-ph
Ignacio S. Gomez
The Tsallis $q$-sum is one of the fundamental nonlinear composition laws of nonextensive statistical mechanics. Although it has been extensively investigated in continuous settings, its implications for finite mathematical structures remain less explored. Here we investigate this question by replacing ordinary additive laws with the Tsallis $q$-sum. We first introduce an axiomatic $q$-cardinality of finite sets satisfying a nonlinear additivity principle. Existence and uniqueness are established, leading to an explicit expression that continuously recovers the classical cardinality as $q\to1$. We then propose a nonlinear matrix composition induced by the same deformation and establish its principal algebraic properties, including associativity, the neutral element, and a characterization of its noncommutativity in terms of the ordinary matrix commutator. An illustrative example over $M_2(\mathbb Z_6)$ shows how the deformation can modify the center of a finite matrix algebra when $1-q$ is a zero divisor. These results indicate that the Tsallis $q$-sum provides a natural mechanism for constructing nonlinear finite mathematical structures and connects nonextensive statistical mechanics with finite algebra and nonlinear mathematical physics.
11 Aug 2026
1mo ago
AG-2026.08-837
math-ph
Roman Cherniha, John R. King
The work is a natural continuation of that published in Stud Appl Math. 2024; 153:e12737. All possible two-components evolutions systems of (1+2)-dimensional second-order PDEs admitting an infinite-dimensional Lie algebra are constructed. It is shown that a natural generalisation of this Lie algebra to the higher-dimensional case does not lead to a more general result because the infinite-dimensional symmetry is broken. The recently derived system, which is related to Ricci flows, is identified as a very particular case among the evolution systems obtained. All possible stationary solutions of this system in the radially symmetric case are constructed using the surprisingly rich Lie algebra of the reduced system of ODEs. Moreover, it is proved that this Lie algebra is reducible to the fifteen-dimensional algebra of the simplest system of two second-order ODEs. Several time-dependent exact solutions in the radially symmetric case are constructed as well. It is shown that the solutions obtained are bounded and smooth provided arbitrary parameters are correctly specified.
11 Aug 2026
1mo ago
AG-2026.08-469
math-ph
Denis Bernard
The Renormalization Group (RG) is a powerful and versatile framework for analyzing complex physical systems. Here, we reinterpret it as a stochastic process that explores physical phase spaces, scale by scale, progressively revealing finer details of small-scale structures. This perspective establishes a natural connection to other random exploration processes, such as the Schramm-Loewner evolution, and is more suited for a probabilist audience. It links RG concepts such as RG transformations, effective actions, etc, to usual probabilistic tools such as conditional expectation values, martingales, etc, but also makes contact with stochastic quantization.
11 Aug 2026
1mo ago
AG-2026.08-839
math-ph
Snehalata Nasipuri, Prasanta Chatterjee, Saugata Dutta
Fractal structures generated through nonlinear breather interactions are investigated for the $(2+1)$-dimensional Konopelchenko--Dubrovsky (KD) equation by means of the Hirota bilinear method. The bilinear form of the system is first derived, after which breather interaction solutions are constructed analytically through suitable auxiliary functions. It is shown that the interaction of breather waves in the coupled nonlinear environment gives rise to highly intricate multiscale patterns exhibiting self-similar behaviour under successive magnification. To characterize the geometric complexity of the obtained structures, a three-dimensional voxel-based box-counting method is employed. The computed dimensions are found to be non-integer, confirming the fractal nature of the generated patterns. In addition, relative error analysis, standard error estimation, bootstrap standard deviation and convergence analysis are performed to examine the robustness and reproducibility of the estimated dimensions. The present work suggests that nonlinear breather interactions in coupled dispersive systems may provide a natural mechanism for the emergence of fractal geometries and complex multiscale structures. The combined analytical and quantitative framework developed here may provide further insight into nonlinear energy localization and scale-dependent structures arising in fluid dynamics, plasma physics and nonlinear wave propagation.
11 Aug 2026
1mo ago
AG-2026.08-841
math-ph
Carl Handrack, Manfred Salmhofer
Reflection positivity is one of the Osterwalder--Schrader axioms for Euclidean quantum field theory, ensuring that the reconstructed relativistic Hilbert space carries a positive-definite inner product. For free fermionic theories whose covariance is a real rational function of the Dirac operator, we prove that reflection positivity holds if and only if all poles are real, simple, and carry non-negative residues. We also explicitly show the failure of reflection positivity for covariances with exponential regulators.
11 Aug 2026
1mo ago
AG-2026.08-355
math-ph
Dmitrii Korikov, Alexey Kokotov
Let $(M,g)$ be a smooth orientable $2d$ Riemannian manifold of genus $\mathfrak{g}$ with Riemannian metric $g$ and connected boundary $Γ$. Let $Λ$ be the Dirichlet-to-Neumann map on $Γ$ and let ${\rm det}_ζ(Λ)$ be its (modified, i. e. with zero mode excluded) $ζ$-regularized determinant. It is well-known that the quantity ${\rm det}_ζ(Λ)/|Γ|$ (where $|Γ|$ is the length of $Γ$) is a conformal invariant. It was shown by Edward and Wu (\cite{EV}) that this invariant equals one for $\mathfrak{g}=0$; in the case $\mathfrak{g}>0$ Guillarmou and Guillopé \cite{Guillarmou} found two explicit expressions for this invariant through the Rouelle and (respectively) the Selberg zeta-functions of the two surfaces of negative constant curvature from the conformal class of $(M,g)$: one is of infinite volume and complete whereas another has geodesic boundary. We present an elementary counterpart of the formulae of Guillarmou and Guillopé using the periods of holomorphic differentials on the double $2M$ of $M$ only. Our approach is based on the properties of the Hilbert transform of $M$ \cite{B,HilbKor} and the Kontsevich-Vishik-Friedlander-Guillemin regularization of the determinants of pseudodifferenial operators \cite{KV,Ww,F}. In particular, a connection between the length spectra of (uniformized) $M$, $2M$ and the periods of holomorphic differentials on $2M$ is established.
10 Aug 2026
1mo ago
AG-2026.08-356
math-ph
Søren Fournais, Alexander V. Sobolev
Let $ψ({\mathbf x})$, ${\mathbf x} \in{\mathbb R}^{3N}$, be an eigenfunction of the $N$-particle atomic Schrödinger operator. We consider the one-particle density matrix $γ(x, y)$ and one-particle kinetic energy density $\varkappa(x, y)$, $x, y\in {\mathbb R}^3$, associated with the eigenfunction $ψ$. Both functions play a central role in quantum chemistry computations of atomic and molecular bound states: the knowledge of the eigenvalue behaviour of the integral operators ${\sfΓ}$ and ${\sf{K}}$ with kernels $γ(x, y)$ and $\varkappa(x, y)$ serves to estimate the errors due to finite-dimensional approximations. We find the following asymptotic formulas for their eigenvalues $λ_k({\sfΓ})>0$ and $λ_k({\sf{K}})>0$: \[ \lim_{k\to \infty} k^{\frac{8}{3}} \,λ_k({\sfΓ}) = A^{\frac{8}{3}},\quad \lim_{k\to \infty} k^2\,λ_k({\sf{K}}) = B^2, \] where $A$ and $B$ are non-negative constants given explicitly in terms of the eigenfunction $ψ$. These asymptotics are determined by the singularities of the function $ψ$ at pair coalescence points of the particles. To identify and isolate these singularities we use some recent regularity results for $ψ$. At the last step we apply Birman-Solomyak spectral asymptotics results for pseudodifferential operators with homogeneous symbols. In the special case where the eigenfunction $ψ$ is totally antisymmetric, it exhibits enhanced regularity, which leads to a faster decay of the eigenvalues $λ_k(\sfΓ)$ and $λ_k(\sf{K})$. The asymptotic formulas take the form \[ \lim_{k\to \infty} k^{\frac{10}{3}} \,λ_k({\sfΓ}) = \big(A_{asym}\big)^{\frac{10}{3}},\quad \lim_{k\to \infty} k^{\frac{8}{3}} \,λ_k({\sf K}) = \big(B_{asym}\big)^{\frac{8}{3}}, \] where $A_{asym}$ and $B_{asym}$ are non-negative constants given explicitly in terms of the gradient of $ψ$.
10 Aug 2026
1mo ago
AG-2026.08-358
math-ph
Ken Yamamoto
The motion of a projectile released from a simple pendulum is analyzed, with particular emphasis on investigating the optimal release angle that maximizes the horizontal range and the corresponding maximum range. This system serves as a simplified model of the Tarzan jump problem. Using simple analytical methods, the optimal release angle is shown to be characterized by a cubic equation and to increase with the initial velocity. In addition, asymptotic expressions for both the optimal angle and maximum range are derived in the limits of low and high initial velocity.
10 Aug 2026
1mo ago
AG-2026.08-364
math-ph
Felix Finster, Niky Kamran, Frank van der Top
A differential calculus for causal variational principles is developed, which generalizes the exterior calculus of differential forms and some of the associated differential topological structures to non-smooth spaces. Our calculus includes the exterior derivative, de Rham cohomology, glueing constructions (restrictions and extensions of differential forms, Mayer-Vietoris sequence), a Künneth formula and Poincar{é}'s lemma. Moreover, we prove versions of Stokes' theorem and the Gauß divergence theorem. The constructions and results are illustrated by several examples.
9 Aug 2026
1mo ago
AG-2026.08-128
math-ph
John C. Baez
Starting from the Standard Model Lie algebra $\mathfrak{g}_{\mathrm{SM}} = \mathfrak{sl}_3 \oplus \mathfrak{sl}_2 \oplus \mathbb{C}$ sitting inside the complex Lie algebra $\mathfrak{e}_7$, we show how to decompose $\mathfrak{e}_7$ into the direct sum of a Lie subalgebra containing $\mathfrak{g}_{\mathrm{SM}}$ and three 32-dimensional subspaces, each of which forms the same representation of $\mathfrak{g}_{\mathrm{SM}}$ as one generation of fermions and their antiparticles. The setting is due to Nasmith, and much of the mathematics is that underlying the $\mathrm{E}_7$ generation unification of Kugo and Yanagida. New features include the derivation, in which as many results as possible rely only on the embedding $\mathfrak{g}_{\mathrm{SM}} \subset \mathfrak{e}_7$, and also the description of each 32-dimensional subspace as a copy of the exterior algebra $Λ\mathbb{C}^5$.
6 Aug 2026
1mo ago
AG-2026.08-051
math-ph
Majdouline Borji
We introduce a second-order mean-field description of the four-dimensional Euclidean $φ^4$ model within the Wilson--Polchinski renormalization-group framework. The construction is based on the connected amputated Schwinger functions evaluated at the symmetric momentum configurations $ (p,-p,\ldots,p,-p)$, which are decomposed into a momentum-independent component, a component quadratic in $p$, and a higher-order remainder. The first two components are chosen to satisfy a closed nonlinear hierarchy. We prove the existence of solutions to this hierarchy for arbitrary positive bare coupling and establish their convergence to the Gaussian fixed point as the ultraviolet cutoff is removed. In particular, both the momentum-independent and the quadratic momentum sectors are asymptotically trivial.
6 Aug 2026
1mo ago
AG-2026.07-2603
math-ph
Carlos I. Perez-Sanchez
We prove the redundancy of a family (the so-called melonic family) of large-$N$ moments in arbitrary tensor models. This reduces the number of independent entries in the positive semidefinite matrices that build the core of the tensor bootstrap (for tensor models there are already several generalizations of the positive semidefinite Toeplitz and Hankel matrices of lattice gauge theory and random matrix bootstrap, respectively). More concretely, we prove that any melonic operator $C$ at large-$N$ has an expectation value that depends on $C$ exclusively through its degree. A similar statement is shown here to hold for the Schwinger-Dyson equations of melonic moments. The strength of our result is also its scope, which is not limited to melonic tensor models.
30 Jul 2026
1mo ago
AG-2026.07-2621
math-ph
L. Aceto, P. A. Grassi, H. Malonek
We investigate the stationary Dirac equation associated with a generalized Kronig-Penney model in (N+1)-dimensional Clifford analysis. Away from the interaction sites, the free Dirac system is reformulated by introducing suitable generalized Cauchy-Riemann operators, leading to a coupled first-order system for two Clifford-valued fields. By means of characteristic hypercomplex variables, this system is reduced to a pair of decoupled generalized Helmholtz equations. To construct explicit solutions, we introduce a bivariate Clifford-Appell polynomial basis adapted to the generalized Cauchy-Riemann operators. The Appell expansions transform the differential problem into an algebraic recurrence for the expansion coefficients, yielding explicit series representations of the solutions. The proposed framework provides a unified Clifford-analytic formulation of the free propagation problem and establishes an explicit connection between generalized Helmholtz equations, and Appell polynomial systems in hypercomplex function theory.
30 Jul 2026
1mo ago
AG-2026.07-2527
math-ph
Mohamed El Hedi Bahri, Ian Jauslin, Joel L. Lebowitz
We consider classical particles in the continuum in the grand canonical ensemble, with a stable, tempered and lower-regular pair potential and boundary conditions of uniformly bounded density. We prove that if the Lee--Yang zeros of the grand canonical partition function in the complex fugacity plane $z = e^{βμ}$ remain bounded away from a real point $z_0 > 0$ for all sufficiently large volumes, then along cubes the thermodynamic limit and differentiation commute at $z_0$: every derivative of the finite-volume pressure in the chemical potential converges, uniformly in a neighborhood of $z_0$, to the corresponding derivative of the limiting pressure. The limiting values of all derivatives are independent of the boundary condition; in particular, the density and the particle-number variance per unit volume converge to $β^{-1}\partial_μp$ and $β^{-2}\partial^{2}_μ p$, respectively. The result extends to the unbounded boundary conditions of Procacci and Yuhjtman for super-stable potentials in addition to Ruelle's tempered boundary conditions.
29 Jul 2026
1mo ago
AG-2026.07-2533
math-ph
Joaquim Duran, Konstantin Pankrashkin
We highlight a simple congruence transform that shifts coupling parameters for Dirac operators with shell interactions. As one of the consequences, this leads to new observations concerning the self-adjointness and the infinite mass interpretation of generalized MIT bag models.
29 Jul 2026
1mo ago
AG-2026.07-2535
math-ph
Xiaomei Yang, Zhiliang Deng
Formal $q$-Hamiltonian mechanics on the quantum plane is expressed through noncommuting coordinates and covariant $q$-derivatives, whereas its computable realization is usually written as an ordinary differential system involving Jackson finite differences. In this paper, we formulate the passage between these two levels through a representation--symbol correspondence. The quantum-plane coordinate algebra and its covariant differential calculus are realized by multiplication, dilation, and Jackson operators on a smooth commutative function space. Normal ordering then identifies the coordinate algebra with a polynomial symbol space endowed with an explicit associative star product. Within this framework, the formal $q$-derivatives intertwine exactly with the corresponding Jackson operators, and the formal $q$-Hamiltonian action descends to an exact star-Jackson action on symbols. For the coordinate observables, the star-product corrections vanish, so the computable Jackson coordinate equations are recovered exactly. For general observables, replacing the star product by ordinary multiplication produces a controlled first-order error. We also show that multiplication by the Hamiltonian symbol is the leading commutative approximation of the represented operator Hamiltonian. Finally, we study the resulting Euclidean Jackson vector field and establish first-order convergence of the operator, symbol, vector-field, and finite-time trajectory formulations to classical Hamiltonian dynamics as $q\to1$. These results provide a rigorous bridge between formal quantum-plane Hamiltonian mechanics and the dynamics used in $q$-deformed Hamiltonian Monte Carlo.
29 Jul 2026
1mo ago
AG-2026.07-2381
math-ph
Leon Menger, Pavel Mnev
\noindent Given an AKSZ theory $\mathbb{T}$ on a manifold $M$, with target a graded vector space $Y$, we formulate a 1-dimensional theory $\mathbb{t}$ on graphs (the ``first quantisation picture for $\mathbb{T}$''), whose partition functions reproduce the Feynman graphs of $\mathbb{T}$. More precisely, the theory $\mathbb{t}$ is itself a 1d AKSZ theory with the target built out of $M$, and involving a coupling to 1d supergravity. It yields a form on the space of metric graphs (with length $T$ of an edge and its de Rham differential $\mathrm{d} T$ interpreted as the zero-modes of the graviton and gravitino, respectively); its integral yields the sum of Feynman graphs of $\mathbb{T}$. We study the theory $\mathbb{t}$ in the BV-BFV formalism; a gauge-fixing of $\mathbb{T}$ corresponds to a gauge-fixing of $\mathbb{t}$. At the classical level, $\mathbb{t}$ assigns to vertices certain Lagrangian submanifolds $L_k$ in Cartesian powers $Φ^{\times k}$ of the phase space $Φ$ of $\mathbb{t}$. These submanifolds can be thought of as defining a cyclic $\mathrm{L}_\infty$-algebra in Weinstein's symplectic category (``dequantising'' the cohomological vector field on the target %target AKSZ dg structure of $\mathbb{T}$). In the path integral construction of $\mathbb{t}$, Lagrangians $L_k$ determine sewing conditions for fields on the incident edges at a $k$-valent vertex. We give examples of this paradigm, such as when $\mathbb{t}$ on edges is the Witten-Morse supersymmetric quantum mechanics (which corresponds to a particular type of gauge-fixing for $\mathbb{T}$ and $\mathbb{t}$). In the example where $\mathbb{T}$ is the non-abelian Chern--Simons theory with structure Lie algebra $\mathfrak{su}(2)$, we describe the vertex Lagrangian $L_{\mathrm{W}}$ (the ``Wigner Lagrangian'' ).
29 Jul 2026
1mo ago
AG-2026.07-2463
math-ph
Kazuki Ikeda
We construct quantum Turing patterns in Lindblad lattice dynamics and establish a rigorous theory of their nonlinear order and quantum fluctuations. For an explicit completely positive family with finite-range couplings, the first-moment equations undergo a supercritical instability at a nonzero wave number and admit analytic site- and bond-centered commensurate stripe branches. These branches are locally asymptotically stable in their reflection-fixed period-cell spaces, and projected coherent states exhibit extensive Bragg order on every bounded time interval in the semiclassical limit. We prove $O(N^{-1/2})$ convergence of microscopic covariances to a nonautonomous Gaussian Lyapunov flow, transferring strict partial-transpose uncertainty violations to sufficiently large $N$. In the homogeneous Gaussian sector, a single dimensionless ratio controls both the Turing stability determinant and the logarithmic negativity of opposite momenta, relating wavelength selection directly to quantum entanglement. Differential transport shifts the strongest opposite-momentum correlations from the infrared to the selected Turing scale. Numerical continuation and two-dimensional simulations display stripe, spot, and labyrinth morphologies whose Fourier modes and fluctuation spectra concentrate at the same selected wave numbers.
28 Jul 2026
1mo ago
AG-2026.07-2537
math-ph
Francesco Casini, Rouven Frassek, Cristian Giardinà
We introduce the multispecies version of the harmonic process on a one-dimensional chain in contact with boundary reservoirs. This process is a continuous-time Markov chain where each site can host an unbounded number of colored particles. The symmetric bulk dynamics is put in contact with reservoirs, which inject and remove particles driving the system out-of-equilibrium. The Markov generator of the process is identified with the integrable Hamiltonian of an open rational Heisenberg spin chain of higher rank. We derive the underlying R- and K-matrices in operator form and construct the double-row transfer matrix following Sklyanin. Similar to the monospecies case the R-matrix factorises into two R-operators, each factor corresponding to left and right moving particles. We further define three dual models: an absorbing particle model, a hidden parameter model and a heat conduction model.
28 Jul 2026
1mo ago
AG-2026.07-2203
math-ph
Hongyun Wang, Parthiv Seetharaman, Shannon E. Foley, Hong Zhou
In electromagnetic heating and other applications, we need to compute the volume enclosed by an isosurface of the 3D temperature distribution that is numerically represented on a rectangular grid. This situation arises naturally when the temperature distribution is obtained by solving a partial differential equation numerically using a finite difference method. Given the temperature distribution on the 3D grid, the isosurface of a prescribed value is represented approximately by a triangulation, a collection of triangles with vertices on the grid lines. The vertices are determined by a linear interpolation to approximate the locations where the temperature is at the prescribed level. The region enclosed by the isosurface is approximated by that enclosed by the triangulation, which is a set of tetrahedrons. The enclosed volume is approximated by summing those of tetrahedrons. This volume approximation is analogous to approximating a curve using line segments and is limited in accuracy. In this study, we combine extrapolation with the triangulation approximation to develop a more accurate method for computing the volume enclosed by an isosurface of the 3D temperature distribution on a rectangular grid.
28 Jul 2026
1mo ago
AG-2026.07-2204
math-ph
Christoph Widder
In classical statistical physics, the Mori-Zwanzig projection operator technique is used to derive generalized Langevin equations for a random variable (observable). Standard derivations implicitly assume the existence of solutions to the so-called orthogonal dynamics equation as well as the validity of the variation of constants formula (Dyson identity). It was pointed out by Givon, Hald and Kupferman that the existence is a subtle issue for infinite-rank projections such as Zwanzig's projection [D. Givon, O. H. Hald, R. Kupferman, Israel Journal of Mathematics, 145 (221-241), 2005]. The authors proved the existence of weak solutions for Zwanzig's projection in the context of stationary Hamiltonian systems. To this date, this is the only existence proof that allows for an infinite-rank projection, whereas the uniqueness and regularity remain open problems. In this article, we generalize the existence proof by Givon et al. to nonstationary non-Hamiltonian systems whose time evolution is given by a quasicontraction semigroup. We establish growth bounds as well as the uniqueness for sufficiently regular solutions (if existent). Finally, we apply our results to Zwanzig's projection using the damped harmonic oscillator as an example.
28 Jul 2026
1mo ago
AG-2026.07-2030
math-ph
Oleg Evnin
The problem of finding lower and upper bounds on multivariate homogeneous polynomials is both difficult and important given its applications to questions ranging from dynamical stability in complex potential landscapes to data analysis. From the standpoint of tensor eigenvalue theory, the question is equivalent to finding the smallest and the largest eigenvalues of the coefficient tensor corresponding to the given polynomial. Standard approaches outlined in the literature amount to running nonlinear iterations in search for the optimal rays along which the growth of the polynomial is fastest or slowest. Unlike the case of matrices (or their corresponding multivariate quadratic forms) convergence of such algorithms for higher-rank tensors is capricious due to the complex topography of polynomial objective functions. In this essay, a very different strategy, inspired by quantum-mechanical variational methods, is introduced for finding bounds on polynomials. The original polynomial is replaced by an operator acting in a suitably chosen (large) space of states, such that in an appropriate "classical" limit this operator approaches the original polynomial expression made of commutative variables. As a result, approximating the smallest and largest eigenvalues of the coefficient tensor, and thus finding bounds on polynomials, amounts to diagonalizing the resulting quantum operator, represented as a large matrix, and then inspecting the smallest and largest eigenvalues of this matrix. This approach is then successfully applied to standard test examples from tensor eigenvalue literature and other problems of interest in mathematical physics including Strichartz-type inequalities.
28 Jul 2026
1mo ago
AG-2026.07-2210
math-ph
Stefano Pasquero
We reconsider the analysis of the Classical Painlevé Problem developed by F. Génot and B. Brogliato ([1] New results on Painlevé paradoxes. - European Journal of Mechanics-A/Solids, 18(4):653{677, 1999), focusing on the consistency of their results with Galilean invariance. We show that certain conclusions concerning the dynamical evolution of the mechanical system are not invariant under changes of Galilean observer and therefore cannot, in their present form, be interpreted as intrinsic properties of the system. In particular, we show that the classi?cation of motion states depends on the observer through the velocity{dependent characterization of the frictional constraint, and we trace the origin of this dependence to the Galilean velocity-addition theorem. We present and discuss possible reformulations of the model aimed at restoring observer-invariant descriptions of the problem.
28 Jul 2026
1mo ago
AG-2026.07-2211
math-ph
Zhenhua Shi, Mingyue Guo
This paper studies finite-time blow-up of pseudospherical metrics induced by solutions of the Cauchy problem for the Degasperis--Procesi equation. For initial momentum profiles satisfying suitable left--right sign conditions, we use the method of characteristics, the momentum-transport formula, the Green's-function representation, and Riccati-type differential inequalities to analyze the metric along a distinguished characteristic. We prove that the associated coframe remains non-degenerate before the critical time, so that the induced pseudospherical metric is well defined in the precritical region. Moreover, as wave breaking is approached, the metric component \(g_{22}\) diverges to \(+\infty\); when \(μ\neq0\), the mixed component \(g_{12}\) also blows up in absolute value. Thus, finite-time wave breaking for the Degasperis--Procesi equation is shown to induce blow-up of certain components of the corresponding pseudospherical metric.
28 Jul 2026
1mo ago
AG-2026.07-2221
math-ph
King Ming Lam
Upon fixing the adiabatic index, the spherically symmetric liquid Lane-Emden stars governed by the Euler-Poisson system with a "stiffened gas" equation of state $p=ρ^γ-1$ form a one-parameter family, naturally parametrised by the central density $κ=\barρ_κ(0)\in(1,\infty)$. In contrast to the gaseous case, the liquid free boundary breaks the self-similarity of the family and bends the mass-radius curve, creating extrema of the mass when $γ<2(d-1)/d$. We formulate a turning point principle in the spirit of Zel'dovich, Wheeler and Thorne, and of its rigorous relativistic counterpart from the works of Hadžić, Lin and Rein: the number of radial growing modes equals the negative Morse index of the linearised operator, is locally constant along the family, and can change only at the turning points of the mass-radius curve, the bending orientation there dictating whether a growing mode is gained or lost. We describe the large central density limit in which the gaseous tail (read off from a planar dynamical system) determines whether the mass-radius curve spirals, and hence whether the number of growing modes remains bounded or tends to infinity. As corollaries we recover and sharpen the known radial (in)stability results for liquid Lane-Emden stars and, in combination with existing non-radial analysis, obtain a turning point criterion for non-radial stability.
27 Jul 2026
1mo ago