A note on the Browder S-spectrum of a bounded quaternionic operator

2026-09-08T16:39:41Z

Let $A$ be a bounded operator on a separable right quaternionic Hilbert space and let $\CA$ be the set of compact operators commuting with $A$. We establish the formula \[ \sigb(A)=\bigcap_{K\in\CA} \sS(A+K), \] a quaternionic analogue of the classical characterization of the complex Browder spectrum. The proof rests on a factorization lemma (Lemma~\ref{lem:fact}), a consequence of the Riesz--Schauder theorem and an ascent/descent argument, and on the characterization $\sigb(A)=\sS(A)\setminus\sd(A)$ in terms of S-eigenvalues of finite type, due to Arzini and Jaatit \cite{AJ26}, for which we give here an independent proof (Lemma~\ref{lem:A}). We also record two consequences of independent interest: the intersection defining $\sigb(A)$ may be restricted, without loss, to \emph{finite-rank} operators commuting with $A$ (Corollary~\ref{cor:finite}); and, by a separate argument resting on the ascent/descent stability results of \cite{KD24}, the stronger pointwise statement $\sigb(A+K)=\sigb(A)$ holds for a fixed $K\in\CA$ and arbitrary $A\in\B(\V)$ (Theorem~\ref{thm:pointwise}), known in the complex case.

MIT bag model and infinite mass limit in non-smooth domains

2026-09-08T14:21:57Z

The work is devoted to the study of Dirac operators with MIT bag boundary conditions in Euclidean domains with compact Lipschitz boundaries in arbitrary dimensions. It is shown that such operators are self-adjoint on suitable definition domains and can be recovered as the norm-resolvent limits of Dirac operators in the whole space with a large mass term outside the domain, under the assumption that an associated Robin-Laplacian eigenvalue has a prescribed asymptotic behavior with respect to a parameter in the boundary condition. This assumption is shown to hold for a class of non-smooth domains, which includes convex domains and, more generally, domains that can be "locally convexified" by suitable diffeomorphisms. To the best of our knowledge, this represents the first infinite mass interpretation for the MIT bag model in the sense of resolvent convergence for non-smooth domains. Most results are extended to the generalized MIT bag boundary conditions with the help of the recently established congruence transform.

Monotonicity and the de Gennes bound for the magnetic Neumann Laplacian in the disk

2026-09-08T14:07:18Z

We consider the lowest eigenvalue $λ(b)$ of the magnetic Neumann Laplacian in the unit disk, for a constant magnetic field of strength $b>0$. We prove that $λ$ is strictly increasing on $(0,+\infty)$. This means that strong diamagnetism holds at every field strength, and not only at large ones. We also show that the normalized energies at the successive crossings of angular-momentum branches form a strictly increasing sequence; combined with the strong-field asymptotics, this gives the global bound $λ(b)<Θ_0 b$, where $Θ_0$ is the de Gennes constant. These results settle the three conjectures formulated by Helffer and Léna for the disk. As a consequence, the local, or spectral, critical field $H_{C_3}^{\mathrm{loc}}$ of Ginzburg--Landau theory is, in the disk, uniquely determined for every value of the Ginzburg--Landau parameter, and not only for large ones. We also give a second proof of the bound $λ(b)<Θ_0 b$, independent of the first and of the results of Helffer and Léna, by a direct variational method: trial states built from the de Gennes ground state for large fields, constant trial states for small fields, and, on the remaining bounded field interval, finite-dimensional spaces of polynomial trial states certified by finitely many exact computations in rational arithmetic. That proof uses no asymptotic input. It yields in addition an explicit upper bound for $λ(b)$, valid above an explicit field strength, whose two leading terms are those of the strong-field asymptotics.

Eigenvalues and eigenfunctions of the fractional Laplacian on the interval

2026-09-08T13:50:23Z

We prove a three-term asymptotic formula for the eigenvalues of the fractional Laplacian on the bounded interval $(-1,1)$. This improves the eigenvalue asymptotics of Kulczycki--Kwaśnicki--Małecki--Stós and Kwaśnicki, and confirms the conjectural $O_α(n^{-2})$ remainder suggested by the numerical simulations of Kaleta--Kwaśnicki--Małecki. Moreover, we prove that the normalized eigenfunctions are bounded uniformly in the eigenvalue index $n$ and the fractional order $α$. This settles the conjecture proposed by Kwaśnicki through numerical experiments. Furthermore, we prove that the $n$-th eigenfunction has exactly $n-1$ zeros in the interval $(-1,1)$ and every zero is simple, and hence there are exactly $n$ nodal domains. A key ingredient in the proof is an explicit representation of the eigenfunction.

Nonlinear spectral graph theory

2026-09-08T13:13:22Z

Nonlinear spectral graph theory is an extension of the traditional (linear) spectral graph theory and studies relationships between spectral properties of nonlinear operators defined on a graph and topological properties of the graph itself. Many of these relationships get tighter when going from the linear to the nonlinear case. In this manuscript, we discuss the spectral theory of the graph $p$-Laplacian operator. In particular we report links between the $p$-Laplacian spectrum and higher-order Cheeger (or isoperimetric) constants, sphere packing constants, independence and matching numbers of the graph. The main aim of this paper is to present a complete and self-contained introduction to the problem accompanied by a discussion of the main results and the proof of new results that fill some gaps in the theory. The majority of the new results are devoted to the study of the graph infinity Laplacian spectrum and the information that it yields about the packing radii, the independence numbers and the matching number of the graph. This is accompanied by a novel discussion about the nodal domains induced by the infinity eigenfunctions. There are also new results about the variational spectrum of the $p$-Laplacian, the regularity of the $p$-Laplacian spectrum varying $p$, and the relations between the $1$-Laplacian spectrum and new Cheeger constants.

Nearest structured matrix having an eigenvalue with prescribed lower bounds of algebraic and geometric multiplicities

2026-09-08T07:22:28Z

We study the problem of perturbing a given matrix X belonging to a subspace S of linearly structured real matrices of order n to its nearest counterpart Y=X+D, where D belongs to S and Y possesses an eigenvalue with prescribed lower bounds on its algebraic multiplicity and geometric multiplicity. The proposed framework takes care of both cases where the target eigenvalue is known and where it is treated as an unknown decision variable to be determined jointly with the structured perturbation. We establish necessary and sufficient conditions for the existence of such matrices by expressing the feasibility constraints through Jordan-chain relations in structural coordinates. This allows us to formulate the problem as a nonlinear constrained nested optimization that minimizes the Frobenius norm of the perturbation. To solve this, we implemented a two-level strategy, utilizing MATLAB's fmincon for continuous inner optimization via a multi-start Sequential Quadratic Programming approach, while the outer level solves a discrete optimization problem. Comprehensive numerical experiments on various classes of structured matrices, including comparisons with existing methods, demonstrate the effectiveness and accuracy of the proposed approach.

Quantitative Kröger inequalities for Neumann eigenvalues of convex domains

2026-09-08T07:08:02Z

Refining the sharp upper bounds $μ_{k,d}^* $ obtained by Kröger (1999) for the $k$-th Neumann eigenvalue of a convex domain $Ω\subset \mathbb{R}^d$, we prove the following inequalities: for any $k\in \mathbb{N}$ there exists a constant $C(k,d) >0$ such that $$D_Ω^2 μ_k(Ω) \leq μ_{k,d}^* - C(k,d) a_2(Ω)^2/D_Ω^2$$ where $D_Ω$ is the diameter of $Ω$ and $a_2(Ω)$ is the second largest semiaxis of the John ellipsoid of $Ω$. In the planar case, for $k=1$ we also give an explicit value of the constant $C(1,2)$.

Uniform Non-Localization under Robin Boundary Perturbations: Spectral Splitting and Bounded Eigenspace Complexity

2026-09-08T07:06:35Z

We study the high-energy spectral effect of Robin boundary perturbations on complete Laplace eigenspaces and its consequences for eigenfunction non-localization. Highly degenerate Neumann levels generally split under Robin perturbation, but this splitting need not produce a simple spectrum: distinct modal classes may still contribute to the same Robin eigenvalue. We prove that, for every fixed positive Robin parameter, the number of modal classes contributing to any one eigenvalue is uniformly bounded over the spectrum on the equilateral triangle and on every rectangle with rational squared aspect ratio. On the equilateral triangle, for all sufficiently small Robin parameters, the Neumann complete-eigenspace observation estimate persists with a constant uniform both in the eigenvalue and in the boundary parameter. For an arbitrary fixed positive Robin parameter, a high-frequency shell-splitting analysis gives a spectrum-wide bound on the number of modal classes contributing to any one Robin eigenvalue. In the nonsquare rectangular case, the corresponding splitting is governed by a strongly convex profile on weighted quadratic shells. Since each modal class has uniformly boundedplane-wave complexity, the spectral complexity bound implies observation on every measurable set of positive measure through a multidimensional Turán--Nazarov inequality, without a frequency-separation assumption. Thus, spectral simplicity is not required for complete-eigenspace non-localization: uniformly bounded spectral coincidence complexity is sufficient.

Spectral asymptotics of sub-Riemannian Laplacians on compact Heisenberg manifolds

2026-09-08T06:30:33Z

Let $N_M(λ)$ be the spectral counting function of the sub-Laplacian on the compact Heisenberg manifold $M=Γ\backslash\mathbb H_d$, where $Γ$ is a lattice subgroup of the Heisenberg group $\mathbb H_d$. In 2016, Strichartz \cite[\textit{J. Geom. Anal.}]{Str16} proved the Weyl law with remainder $R_M(λ)=N_M(λ)-A_d\operatorname{vol}(M)λ^{d+1} = O_M(λ^d\logλ)$, and conjectured the optimal remainder to be $O_M(λ^d)$. In this work, we establish a new upper bound and the first two-sided lower bounds $$ R_M(λ)=O_M\!\left(λ^d(\logλ)^{2/3}\right), \qquad R_M(λ)=Ω_{M,\pm}\!\left(λ^d\log\logλ\right). $$ As a result, this implies that the sharp polynomial order is $d$, and disproves Strichartz's conjecture.

A uniform elliptic reduction, an order-matching criterion, and precision benchmarks for the strong-coupling Birman-Schwinger analysis of the lattice three-boson trimer

2026-09-08T06:28:13Z

We present a rigorous strong-coupling Birman-Schwinger analysis of the three-boson lattice Schroedinger operator on Z^2 at the exceptional quasimomentum K = pi. First, we provide an exact closed-form benchmark for the fiber Fredholm determinant, valid for every quasimomentum K, obtained via a uniform elliptic reduction. Second, we formulate and prove a general order-matching criterion determining whether a leading-order Fredholm determinant asymptotic, with relative error O(1/mu), suffices to fix the constant-order additive energy correction, or if the next-order refinement is required. Applying the criterion to the formal branch z = -2mu + d, we identify an algebraic crossing -2mu + 6 + 8/mu + O(mu^{-2}), but demonstrate that this crossing does not correspond to a true eigenvalue of the full Hamiltonian. The actual ground state obeys the rigorous variational bounds -3mu <= z_1^{pi,s}(mu) <= -3mu + 6, so that z_1^{pi,s}(mu) = -3mu + O(1), the same leading branch as at K = 0; direct finite-volume diagonalisation confirms the refined asymptotic -3mu + 6 + O(mu^{-1}) and spectral gap 2mu - 2 + O(mu^{-1}). We independently confirm that the known K = 0 constant C approximately 3.96458 requires no analogous refinement. Finally, we compare the asymptotic precision levels achieved across recent lattice few-body models and draw a structural parallel with the parity-based classification of topological band insulators at time-reversal-invariant momenta.

Large-Scale Regularity Meets the Weyl Law on Ricci Shrinkers

2026-09-08T03:45:55Z

We establish a large-scale regularity property for complete gradient Ricci shrinkers and apply it to the spectral asymptotics of the weighted Laplacian. Although uniform bounded geometry is not known for general Ricci shrinkers, we prove that, inside large geodesic balls, the region where the curvature radius degenerates at the reciprocal scale occupies an asymptotically negligible proportion of the volume. The proof uses the Ricci flow induced by the shrinker, together with the compactness and regularity theories developed by Bamler and Li-Wang. As an application, we prove that the weighted Laplacian, or equivalently its conjugate Schrödinger operator, on every complete gradient Ricci shrinker satisfies the classical Weyl law.

Beyond Cut Balance: Spectral Sparsification of the Nonlinear Directed Laplacian

2026-09-08T03:05:06Z

Digraphs with constant cut balance admit nearly linear directed cut sparsifiers. This condition requires the total arc weights in the two directions of every cut to be within a constant factor of each other. We ask whether this condition also permits nearly linear spectral sparsification with respect to the energy of the nonlinear directed Laplacian. For a weighted digraph $G=(V,E,w)$, let \[ Q_G^+(x)=\sum_{(u,v)\in E}w_{uv}(x_u-x_v)_+^2, \qquad (t)_+:=\max\{t,0\}. \] This energy agrees with the outgoing-cut function on binary vectors. A spectral sparsifier is a nonnegatively reweighted subgraph that preserves $Q_G^+(x)$ within a factor of $1\pm\varepsilon$ simultaneously for all $x\in\mathbb R^V$. We show that cut balance alone does not yield nearly linear spectral sparsifiers: for constant error, the worst-case support size for simple unweighted Eulerian digraphs is $\widetildeΘ(n^{3/2})$, although Eulerian digraphs are perfectly cut-balanced and admit nearly linear directed cut sparsifiers. In contrast, we prove that every $n$-vertex tournament has a spectral sparsifier with $\widetilde O(n/\varepsilon^3)$ arcs, without any assumption on its cut balance. This includes the transitive tournament, whose cut balance is unbounded. Thus perfect balance does not guarantee nearly linear spectral sparsification, while unbounded imbalance does not preclude it. Finally, we use convex duality to show that preserving $Q_G^+$ also preserves, for every feasible demand vector, the optimum quadratic cost of a nonnegative flow. Hence the guarantee contains information beyond directed cut values.

A counterexample to Kenig's conjecture for the Laplace double-layer operator

2026-09-07T19:59:20Z

Layer potentials provide a classical approach to boundary value problems for Laplace's equation on Lipschitz domains. Kenig's 1994 spectral-radius conjecture for the double-layer operator would ensure operator-norm convergence of the associated Neumann series on mean-zero $L^2$ densities when the boundary is connected. We disprove this conjecture by constructing a bounded simply connected planar Lipschitz domain whose double-layer operator on arclength $L^2$ has essential spectral radius strictly greater than $1/2$. More precisely, for every $t>1/2$ sufficiently close to $1/2$, we obtain such a domain with $\pm i t$ in its Fredholm essential spectrum. The construction starts from smooth graphs whose shapes repeat under translation. In the limit of separated scales, refinement makes solutions of adjoint resolvent equations grow with fixed forcing. The graph slopes remain uniformly bounded. A computer-assisted certificate proves this growth through an inequality for Hermitian $2\times2$ matrices. Its strict margin at $- i/2$ persists at nearby spectral parameters. Normalisation and a Floquet transform then give compactly supported densities with small residuals on the full graphs. We insert rescaled segments of successive graphs into one bounded boundary, where these densities form a weakly null sequence of approximate eigenvectors. The same spectral conclusion holds on a single periodic Lipschitz graph. The certificate combines continuous estimates, exact rational arithmetic and rigorous interval enclosures.

Decay Rates and Domain Dependence of a Coupled Wave-Heat System with Spatially Dependent Heat Coefficients

2026-09-07T13:54:47Z

We study of the long-term behavior of a coupled wave-heat system. The system consists of a wave equation and a heat equation on two adjacent Lipschitz domains coupled by a common interface, with the heat equation being allowed to incorporate spatially dependent coefficients. We first establish strong asymptotic stability independent of the domains and coefficients. To this end, we employ the framework of closure relations, which reduces the spectral analysis of the coupled system to that of a wave equation. Secondly, we analyze non-uniform decay rates for classical solutions to the coupled system. Using methods from the theory of $C_0$-semigroups and a non-orthogonal decomposition of the state space, we reduce the problem to a residual estimate which is independent of the heat domain and heat coefficients, instead depending monotonically on the wave domain and the interface. With this, we are able to extend the known non-uniform decay rates to spatially dependent heat coefficients, yielding logarithmic decay under no assumptions, as well as polynomial decay in one dimensions or under the Geometric Control Condition.

$L^p$ bounds for wave operators with critical electromagnetic potentials

2026-09-07T13:16:13Z

We study the Møller wave operators for scaling critical electromagnetic Hamiltonians in the plane. For smooth transverse magnetic and angular electric potentials, with nonnegative angular operator and magnetic flux outside $\frac12\Z$, we prove that the wave operators relative to $-Δ$ exist, are unitary on $L^2$, and, together with their adjoints, are bounded on every $L^p$, $1