Spectral Characterizations of Schatten-class perturbations of Partial isometries

2026-07-16T17:27:23Z

We characterize bounded operators that are compact (respectively, Schatten-class) perturbations of scalar multiples of partial isometries with finite-dimensional kernel. Our characterizations are formulated in terms of the essential spectrum of $T^*T$, absolutely norm attaining operators, and the Moore-Penrose inverse. In particular, we show that an operator $T$ is a Schatten-class perturbation of a partial isometry with finite-dimensional kernel if and only if $σ_{\mathrm{ess}}(T^*T)$ is a singleton and the discrete spectrum of $T^*T$ satisfies a corresponding $\ell^p$-summability condition. We further obtain equivalent criteria involving the compactness (or Schatten-class membership) of $αI-T^*T$ and $αT^\dagger-T^*$. As applications, we establish characterizations of compact and Schatten-class perturbations of isometries, describe the corresponding behavior of Moore--Penrose inverses, and derive factorization results for closed-range operators. In particular, we provide a new Moore--Penrose inverse proof of a theorem of Şerban and Turcu and obtain an explicit formula for the factorizing operator.

Sharp asymptotics for higher-order Hardy constants on lattices

2026-07-16T16:34:52Z

We study the optimal constants in higher-order Hardy inequalities on the lattice $\mathbb{Z}^d$. For each fixed $\ell \in \mathbb{N}$, we prove that the optimal constant $\mathcal{C}_\text{opt}^\ell(d)$ in $$ \sum_{n \in \mathbb{Z}^d} |Δ^{\ell/2}u(n)|^2 \geq \mathcal{C}_\text{opt}^\ell(d)\sum_{n \in \mathbb{Z}^d} \frac{|u(n)|^2}{|n|^{2\ell}}. $$ satisfies $$ \lim_{d\rightarrow\infty}\frac{\mathcal{C}_\text{opt}^\ell(d)}{d^\ell} =2^\ell. $$ The proof is based on a Fourier reduction to a family of singular Hardy inequalities on the flat torus, involving the weight \[ ω(x)^{-2\ell}, \qquad ω(x)^2=\sum_{j=1}^d\sin^2\left(\frac{x_j}{2}\right), \] and zero average condition on admissible functions. We establish these torus inequalities by combining a ground state representation formula with a weighted integrated Bochner identity in an iterative scheme. The method yields explicit constants, defined recursively in the order $\ell$, and requires only the classical unweighted Poincaré inequality on the torus. The appearance of the limiting constant $2^\ell$ is particularly striking, as it suggests that, in the high dimensional regime, the optimizers are localized near the unit sphere $\{n\in\mathbb{Z}^d:|n|=1\}$ in $\mathbb{Z}^d$.

Sectional Curvature for Kantorovich-Wasserstein and Hellinger-Kantorovich Geometries

2026-07-16T16:26:35Z

We derive an explicit formula for the sectional curvature of the space ${\cal M}(M)$ of finite measures on a Riemannian manifold M. The space ${\cal M}(M)$ is equipped with the Hellinger-Kantorovich metric $HK$. Even in the case M=R^n, the curvature is comprised of two parts: the `lifted part' is negative, and the `twisted part' is positive. It will be analyzed in detail for the multidimensional torus. Our general approach to sectional curvature in geodesic spaces also leads to new insights into the curvature of the space $P_2(M)$ of probability measures on M equipped with the Kantorovich-Wasserstein metric $W_2$.

Strongly convergent matrix models for $q$-Gaussian algebras

2026-07-16T15:11:00Z

We construct strongly convergent finite-dimensional random matrix models for finite $q$-Gaussian family in the range $\vert q \vert < \sqrt{2}-1$. The construction has two stages. First, we show that normalized sums of graph-product semicirculars over an Erdos-Renyi graph satisfy the $q$-Toeplitz relations up to an operator norm error converging to zero in probability. Using ultraproduct methods, this yields complete strong convergence, uniformly over all matrix coefficient dimensions, for noncommutative polynomials with bounded degree. Second, we use a quantitative tensor-GUE for graph-product semicirculars to convert these operator models into finite-dimensional random matrices. For every fixed polynomial degree, the convergence is uniform over coefficient dimensions that may be larger than the dimension of the random matrices. As applications, in the above range of $q$, the C$^\ast$-algebra generated by a finite $q$-Gaussian family is MF, and the Brown-Douglas-Fillmore extension semigroup of the nontrivial C$^\ast$-algebra generated by a finite $q$-Gaussian family is not a group.

A Unital Banach Algebra Which Is Not a Calkin Algebra

2026-07-16T14:46:04Z

Let $\mathscr{A}(X)$ and $\mathscr{K}(X)$ denote the ideals of approximable and compact operators on a Banach space $X$, respectively. We construct a unital Banach algebra $A$ of density character $\mathfrak c=2^{\aleph_0}$, with exactly one non-zero proper closed two-sided ideal, such that, for every Banach space $X$, the algebra $A$ is isomorphic to neither $\mathscr{B}(X)/\mathscr{A}(X)$ nor $\mathscr{B}(X)/\mathscr{K}(X)$. Thus $A$ is not a Calkin algebra under either of the two customary conventions.

Umbrella theorems for time-frequency representations

2026-07-16T13:14:42Z

An uncertainty principle due to H.S. Shapiro, the so-called Umbrella Theorem, asserts that there is no square integrable function uniformly dominating all the elements of an orthonormal family in $L^2(\mathbb{R})$ and their Fourier transforms, unless the sequence is finite. In this paper we present some results on Umbrella Theorems in $L^2(\mathbb{R}^d)$ related to time-frequency representations. We further extend the analysis to the case of $L^2(\mathbb{R}^+)$, by means of the Mellin transform.

Ball Covering Property on Operators and Calkin Algebra

2026-07-16T11:52:47Z

A Banach space $X$ is said to have the ball covering property (BCP) if the unit sphere of $X$ can be covered by countably many open balls $B(x_i, r_i)$ with $r_i\leq \|x_i\|$ for each $i\in\mathbb{N}$. If there are $R, δ>0$ so that $r_i\leq R$ and $\|x_i\|-r_i>δ$ for all $i\in\mathbb{N}$, then we say that $X$ has the uniform ball covering property (UBCP). In this paper, we show that if $X$ has an $1$-unconditional basis or $X$ is an $1$-complemented subspace of a Banach space with a shrinking $1$-unconditional basis, then the Calkin algebra $\mathcal{B}(X)/\mathcal{K}(X)$ fails the BCP. It is also shown that if $X$ has a shrinking unconditional basis with unconditional constant less than 2, then $\mathcal{B}(X)$ has the UBCP.

Generalized Foguel-Hankel Operators

2026-07-16T10:48:04Z

In this paper we introduce a more general class of Foguel-Hankel operators, where the unilateral shift on $\ell^2(\mathbb{N}) $ is replaced by a general multiplication operator on the Hardy space $H^2$ . We prove that Peller's condition is sufficient for the operator to be power bounded, but in general it is not necessary. When the Hankel matrix is the Hilbert matrix, we prove that being similar to a contraction is equivalent to the (a priori) weaker Kreiss condition.

A construction of Kakeya Sets in Arbitrary Dimension

2026-07-16T10:40:18Z

We construct Kakeya sets in arbitrary dimension $d\geq 2$, generalizing the classical Perron tree construction beyond dimension $2$. The Kakeya sets we construct have $δ$-neighbourhood of volume at most $C|\logδ|^{-(d-1)}$, which improves on previously known constructions, and which is conjecturally optimal. We further derive consequences for the $L^p$-boundedness of radial Fourier multipliers in terms of Besov spaces with logarithmic smoothness.

On Nonlinear Idempotents and Metric Projections in Normed Spaces

2026-07-16T07:18:54Z

Let $X$ be a normed linear space. A map $P: X \rightarrow X$ is called idempotent if $P^2 = P$. In this paper, we introduce some new classes of idempotent maps (linearity is not assumed) on $X$ and study their properties. A well-known example of an idempotent map is the metric projection $P_K$ onto a Chebyshev subset $K$ of $X$. We provide some necessary conditions for the map $I- P_K$ to be idempotent, where $I$ denotes the identity operator on $X$.

Automorphic Nelson Dilations for Contractions and Invariant Subspace Tracking

2026-07-15T21:21:59Z

Given an $n \times n$ strictly contractive matrix $T$, an (automorphic) Nelson dilation $\widehat{T}$ of $T$ is a certain type of analytic matrix-valued function on the unit disk with $\widehat{T}(0) = T$. Its construction gives a method for lifting a matrix to a matrix-valued function with nice boundary behavior, a trick that has proved useful in recent operator theoretic developments. In this paper, we show that Nelson dilations give a quick way to obtain the minimal isometric and unitary dilations of $T$ and thus, connect naturally to the classical Sz.-Nagy dilation theory. We then initiate the study of the automorphic Nelson dilations as a fundamental object in their own right and prove that every $T$ has Nelson dilations $\widehat{T}$ with particularly useful/interesting properties; for example, they either have strongly entangled eigenvalue functions or have reducing subspaces that are independent of $z$. Along the way, we examine when the product of an invertible matrix and a diagonal matrix has distinct eigenvalues.

The role of expanders in the spectral geometry of metric graphs

2026-07-15T19:19:39Z

Expanders are families of graphs that are sparse in edges but dense in connectivity. After reviewing combinatorial and spectral definitions of expanders, we use precise lower bounds on Ramanujan graphs to investigate upper bounds -- and, specifically, the lack thereof -- on the eigenvalues of the Laplacian on \emph{metric} graphs in terms of volume, diameter, girth, mean distance, and torsional rigidity, among others.

A residual-iteration framework for alternating projections between affine subspaces

2026-07-15T18:03:25Z

We reformulate the problem of alternating projections between two affine subspaces of a Hilbert space as the minimization of a least-squares functional associated with a bounded linear operator. This viewpoint reveals that classical alternating projections coincide with the unit-step Landweber iteration and enables the introduction of a general residual-state iteration framework that encompasses Landweber, its steepest-descent variant, and the conjugate-gradient method. Within this framework, we establish abstract convergence principles based on residual extinction and translation equivariance, allowing convergence analyses to be carried out once at the level of least-squares optimization and then transferred directly to alternating projection algorithms. As applications, we obtain new variants of alternating projections accelerated by steepest descent and conjugate gradients, together with convergence guarantees in both the consistent and inconsistent settings. We also establish linear convergence results under closed-range assumptions and express the convergence rates explicitly in terms of the Friedrichs angle and the largest principal angle between the underlying subspaces.

Trace formulas for $\mathcal{S}^p$-perturbations and extension of Koplienko-Neidhardt trace formulas

2026-07-15T17:04:35Z

In this paper, we extend the class of admissible functions for the trace formula of the second order in the self-adjoint, unitary, and contraction cases for a perturbation in the Hilbert-Schmidt class $\mathcal{S}^2(\mathcal{H})$ by assuming a certain factorization of the divided difference $f^{[2]}$. This class is the natural one to ensure that the second order Taylor remainder is a trace class operator. It encompasses all the classes of functions for which the trace formula was previously known. Secondly, for a Schatten $\mathcal{S}^p$-perturbation, $1

Semialgebraic Dimension and Truncated Toeplitz Models for Complex Symmetric Matrices

2026-07-15T16:51:02Z

We answer negatively a model-theoretic question for complex symmetric operators. More precisely, we show that, for every $n\geq 10$, not every $n\times n$ symmetric matrix is unitarily equivalent to a direct sum of truncated Toeplitz operators. In order to do this, we first use semialgebraic dimension, a tool from real algebraic geometry, to prove a general theorem showing that, if $\mathcal X$ is a semialgebraic family of complex symmetric matrices, then the set of complex symmetric matrices which are unitarily equivalent to an element of $\mathcal X$ is semialgebraic and has dimension at most $\dim_{\mathbb R}\mathcal X+\frac{n(n-1)}2.$ We then apply this theorem to show that when $n\geq 10$ there exist irreducible symmetric $n \times n$ matrices which are not unitarily equivalent to a truncated Toeplitz operator. Finally, we prove a positive result for a related refined representation question, which asks whether, whenever a complex symmetric matrix is unitarily equivalent to a truncated Toeplitz operator, that equivalence can be realised by a matrix representation with respect to a conjugation-invariant orthonormal basis.