SEARCH · arXiv Science

Search arXiv Science

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

6 recordsLinked to original sources

arXiv2026

Beyond Cut Balance: Spectral Sparsification of the Nonlinear Directed Laplacian

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\Theta(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.

cs.DS↗

arXiv2026

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

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.

math.AP↗

arXiv2026

Riccati Stability Without Auxiliary Matrices

In the 2004 collection \emph{Unsolved Problems in Mathematical Systems and Control Theory}, Erik Verriest posed the problem of characterizing Riccati stability ``without invoking additional matrices.'' We give such a characterization through a scalar invariant of the resolvent family. The invariant is defined by covariance balances using at most $n^2+1$ frequency--direction pairs. A finite-dimensional separation argument shows that this covariance radius equals the optimal common ellipsoidal norm of the resolvent family. Combined with the strict bounded real lemma, this yields a necessary and sufficient condition for Riccati stability involving only the Hurwitz property of the first matrix and a single scalar inequality. The invariant reduces to the ordinary spectral radius for one matrix, lies between the pointwise spectral-radius and unscaled small-gain levels of the resolvent family, and coincides with the operator-space spectral radius of Shalit and Shamovich for the natural resolvent function space.

math.OC↗

arXiv2026

Spectra of Non-Self-Adjoint Almost Mathieu Matrices and the Scottish Flag Operator

For $N\geq 3$ and a potential phase $\vartheta\in\mathbb{R}$, we study the non-self-adjoint almost Mathieu matrix obtained by multiplying the discrete Laplacian by a complex phase with angle $\varphi\in\mathbb{R}$, $A_N(\varphi,\vartheta)=e^{i\varphi}(S+S^{-1})/2+\operatorname{diag}(\cos(2\pi j/N+\vartheta))_{j\in\mathbb{Z}/N\mathbb{Z}}$, where $S e_j=e_{j+1}$ is the periodic shift on $\mathbb{C}^N$. We derive a Chambers formula and isolate the part $Q_{N,\varphi}$ of the characteristic polynomial that depends only on $N$ and $\varphi$, but not on $\vartheta$ or on a change of boundary conditions for the shift operator. We then show, for every $N$, that the zeros of $Q_{N,\varphi}$ lie on the two perpendicular lines $e^{i\varphi/2}\mathbb{R}\cup e^{i(\varphi/2+\pi/2)}\mathbb{R}$. For even $N$, the same property holds for the matrices $A_N(\varphi,\vartheta)$ with $\vartheta\in 2\pi\mathbb{Z}/N$, and we compute their limiting eigenvalue measure explicitly. For $\varphi\in[-\pi,\pi]$, the eigenvalue distribution approximates elliptic-integral densities with masses $1-|\varphi|/\pi$ and $|\varphi|/\pi$, and maximal radii $2|\cos(\varphi/2)|$ and $2|\sin(\varphi/2)|$, respectively. At $\varphi=\pi/2$, the central polynomial $Q_{N,\varphi}$ factors into positive quartic factors. This proves that the Scottish flag matrix, after Trefethen and Chapman, has its spectrum on the two diagonal lines of the saltire.

math.SP↗

arXiv2026

Eigenvalues and eigenfunctions of the fractional Laplacian on the interval

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\'snicki--Ma{\l}ecki--St\'os and Kwa\'snicki, and confirms the conjectural $O_\alpha(n^{-2})$ remainder suggested by the numerical simulations of Kaleta--Kwa\'snicki--Ma{\l}ecki. Moreover, we prove that the normalized eigenfunctions are bounded uniformly in the eigenvalue index $n$ and the fractional order $\alpha$. This settles the conjecture proposed by Kwa\'snicki 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.

math.CA↗

arXiv2026

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

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.

math-ph↗