A universal threshold for geometric embeddings of trees

2025-04-21T16:33:18Z

A graph $G=(V,E)$ is geometrically embeddable into a normed space $X$ when there is a mapping $\zeta: V\to X$ such that $\|\zeta(v)-\zeta(w)\|_X\leqslant 1$ if and only if $\{v,w\}\in E$, for all distinct $v,w\in V$. Our result is the following universal threshold for the embeddability of trees. Let $\Delta \geqslant 3$, and let $N$ be sufficiently large in terms of $\Delta$. Every $N$--vertex tree of maximal degree at most $\Delta$ is embeddable into any normed space of dimension at least $64\,\frac{\log N}{\log\log N}$, and complete trees are non-embeddable into any normed space of dimension less than $\frac{1}{2}\,\frac{\log N}{\log\log N}$. In striking contrast, spectral expanders and random graphs are known to be non-embeddable in sublogarithmic dimension. Our result is based on a randomized embedding whose analysis utilizes the recent breakthroughs on Bourgain's slicing problem.

Kolmogorov-Arnold Networks: Approximation and Learning Guarantees for Functions and their Derivatives

2025-04-21T14:02:59Z

Inspired by the Kolmogorov-Arnold superposition theorem, Kolmogorov-Arnold Networks (KANs) have recently emerged as an improved backbone for most deep learning frameworks, promising more adaptivity than their multilayer perception (MLP) predecessor by allowing for trainable spline-based activation functions. In this paper, we probe the theoretical foundations of the KAN architecture by showing that it can optimally approximate any Besov function in $B^{s}_{p,q}(\mathcal{X})$ on a bounded open, or even fractal, domain $\mathcal{X}$ in $\mathbb{R}^d$ at the optimal approximation rate with respect to any weaker Besov norm $B^{\alpha}_{p,q}(\mathcal{X})$; where $\alpha < s$. We complement our approximation guarantee with a dimension-free estimate on the sample complexity of a residual KAN model when learning a function of Besov regularity from $N$ i.i.d. noiseless samples. Our KAN architecture incorporates contemporary deep learning wisdom by leveraging residual/skip connections between layers.

Admissibility Conditions for Multi-window Super Gabor Systems on Discrete Periodic Sets

2025-05-05T23:14:41Z

In this paper, $\mathcal{G}(g,L,M,N,R)\subset \ell^2(\mathbb{S},\mathbb{C}^R)$ denotes a $L-$window super Gabor system on a periodic set $\mathbb{S}$, where $L,M,N,R\in \mathbb{N}$ and $g=\{g_l\}_{l\in \mathbb{N}_L}\subset \ell^2(\mathbb{S},\mathbb{C}^R)$. We characterize which $g$ generates a complete multi-window super Gabor system and a multi-window super Gabor frame $\mathcal{G}(g,L,M,N,R)$ on $\mathbb{S}$ using the vector-valued Zak transform. Admissibility conditions for a periodic set to admit a complete multi-window super Gabor system, multi-window super Gabor (Parseval) frame, and multi--window super Gabor (orthonormal) basis $\mathcal{G}(g,L,M,N,R)$ are given with respect to the parameters $L$, $M$, $N$ and $R$.

On $p$-fractional weakly-coupled system with critical nonlinearities

2025-04-21T10:26:16Z

This paper deals with the following nonlocal system of equations: \begin{align}\tag{$\mathcal S$}\label{MAT1} (-\Delta_p)^s u = \frac{\alpha}{p_s^*}|u|^{\alpha-2}u|v|^{\beta}+f(x) \text{ in } \mathbb{R}^{d}, \, (-\Delta_p)^s v = \frac{\beta}{p_s^*}|v|^{\beta-2}v|u|^{\alpha}+g(x) \text{ in } \mathbb{R}^{d},\; u,v >0 \mbox{ in } \mathbb{R}^{d}, \end{align} where $0sp$, $\alpha,\beta>1$, $\alpha+\beta=\frac{dp}{d-sp}$, and $f,g$ are nontrivial nonnegative functionals in the dual space of $\mathcal{D}^{s,p}(\mathbb{R}^{d})$. The primary objective of this paper is to present a global compactness result that offers a complete characterization of the Palais-Smale sequences of the energy functional associated with \eqref{MAT1}. Using this characterization, within a certain range of $s$, we establish the existence of a solution with negative energy for \eqref{MAT1} when $\ker(f)=\ker(g)$.

The Schouten-Nijenhuis bracket in infinite dimensions

2025-04-21T10:23:40Z

The Schouten-Nijenhuis bracket on smooth infinite-dimensional manifolds $M$ is developed in two steps: For summable multivector fields whose pointwise dual are all differential form, and in an extended form for multivector fields which are sections of $L^{\bullet}_{\text{skew}}(T^*M,\mathbb R)$. We need to either assume that $C^{\infty}(M)$ separates points on $TM$, or consider sheaves of local sections.

Spectral Properties of the Gramian of Finite Ultrametric Spaces

2025-04-21T03:43:05Z

The concept of $p$-negative type is such that a metric space $(X,d_{X})$ has $p$-negative type if and only if $(X,d_{X}^{p/2})$ embeds isometrically into a Hilbert space. If $X=\{x_{0},x_{1},\dots,x_{n}\}$ then the $p$-negative type of $X$ is intimately related to the Gramian matrix $G_{p}=(g_{ij})_{i,j=1}^{n}$ where $g_{ij}=\frac{1}{2}(d_{X}(x_{i},x_{0})^{p}+d_{X}(x_{j},x_{0})^{p}-d_{X}(x_{i},x_{j})^{p})$. In particular, $X$ has strict $p$-negative type if and only if $G_{p}$ is strictly positive semidefinite. As such, a natural measure of the degree of strictness of $p$-negative type that $X$ possesses is the minimum eigenvalue of the Gramian $\lambda_{min}(G_{p})$. In this article we compute the minimum eigenvalue of the Gramian of a finite ultrametric space. Namely, if $X$ is a finite ultrametric space with minimum nonzero distance $\alpha_{1}$ then we show that $\lambda_{min}(G_{p})=\alpha_{1}^{p}/2$. We also provide a description of the corresponding eigenspace.

The Structure of Isoperimetric Bubbles on $\mathbb{R}^n$ and $\mathbb{S}^n$

2025-04-20T15:27:27Z

The multi-bubble isoperimetric conjecture in $n$-dimensional Euclidean and spherical spaces from the 1990's asserts that standard bubbles uniquely minimize total perimeter among all $q-1$ bubbles enclosing prescribed volume, for any $q \leq n+2$. The double-bubble conjecture on $\mathbb{R}^3$ was confirmed in 2000 by Hutchings-Morgan-Ritor\'e-Ros, and is nowadays fully resolved for all $n \geq 2$. The double-bubble conjecture on $\mathbb{S}^2$ and triple-bubble conjecture on $\mathbb{R}^2$ have also been resolved, but all other cases are in general open. We confirm the conjecture on $\mathbb{R}^n$ and on $\mathbb{S}^n$ for all $q \leq \min(5,n+1)$, namely: the double-bubble conjectures for $n \geq 2$, the triple-bubble conjectures for $n \geq 3$ and the quadruple-bubble conjectures for $n \geq 4$. In fact, we show that for all $q \leq n+1$, a minimizing cluster necessarily has spherical interfaces, and after stereographic projection to $\mathbb{S}^n$, its cells are obtained as the Voronoi cells of $q$ affine-functions, or equivalently, as the intersection with $\mathbb{S}^n$ of convex polyhedra in $\mathbb{R}^{n+1}$. Moreover, the cells (including the unbounded one) are necessarily connected and intersect a common hyperplane of symmetry, resolving a conjecture of Heppes. We also show for all $q \leq n+1$ that a minimizer with non-empty interfaces between all pairs of cells is necessarily a standard bubble. The proof makes crucial use of considering $\mathbb{R}^n$ and $\mathbb{S}^n$ in tandem and of M\"obius geometry and conformal Killing fields; it does not rely on establishing a PDI for the isoperimetric profile as in the Gaussian setting, which seems out of reach in the present one.

On the principal minors of Fourier matrices

2025-04-20T13:48:39Z

For the $N$-dimensional Fourier matrix $\mathcal{F}_N$, we prove that if $N\geq 4$ is square-free, then every $2 \times 2$ and $3\times 3$ principal minor of $\mathcal{F}_N$ is nonzero. We also show that if $N\geq 4$ is not square-free, then $\mathcal{F}_N$ has zero principal minors of all sizes. Moreover, based on numerical experiments, we conjecture that if $N$ is square-free, then all principal minors of $\mathcal{F}_N$ are nonzero.

Fixed-point permanence under actions by finite quantum groups

2025-04-20T11:51:15Z

Given an action by a finite quantum group $\mathbb{G}$ on a von Neumann algebra $M$, we prove that a number of familiar $W^*$ properties are equivalent for $M$ and the fixed-point algebra $M^{\mathbb{G}}$ (i.e. hold or not simultaneously for the two algebras); these include being hyperfinite, atomic, diffuse and of type $I$, $II$ or $III$. Moreover, in all cases the canonical central projections of $M$ and $M^{\mathbb{G}}$ cutting out the summand with the respective property coincide. The result generalizes its classical-$\mathbb{G}$ analogue due to Jones-Takesaki.

Some density theorems in neural network with variable exponent

2025-04-20T03:52:31Z

In this paper, we extend several approximation theorems, originally formulated in the context of the standard $L^p$ norm, to the more general framework of variable exponent spaces. Our study is motivated by applications in neural networks, where function approximation plays a crucial role. In addition to these generalizations, we provide alternative proofs for certain well-known results concerning the universal approximation property. In particular, we highlight spaces with variable exponents as illustrative examples, demonstrating the broader applicability of our approach.

Optimal Scheduling of Dynamic Transport

2025-04-19T23:40:54Z

Flow-based methods for sampling and generative modeling use continuous-time dynamical systems to represent a {transport map} that pushes forward a source measure to a target measure. The introduction of a time axis provides considerable design freedom, and a central question is how to exploit this freedom. Though many popular methods seek straight line (i.e., zero acceleration) trajectories, we show here that a specific class of ``curved'' trajectories can significantly improve approximation and learning. In particular, we consider the unit-time interpolation of any given transport map $T$ and seek the schedule $\tau: [0,1] \to [0,1]$ that minimizes the spatial Lipschitz constant of the corresponding velocity field over all times $t \in [0,1]$. This quantity is crucial as it allows for control of the approximation error when the velocity field is learned from data. We show that, for a broad class of source/target measures and transport maps $T$, the \emph{optimal schedule} can be computed in closed form, and that the resulting optimal Lipschitz constant is \emph{exponentially smaller} than that induced by an identity schedule (corresponding to, for instance, the Wasserstein geodesic). Our proof technique relies on the calculus of variations and $\Gamma$-convergence, allowing us to approximate the aforementioned degenerate objective by a family of smooth, tractable problems.

Chain rule for pointwise Lipschitz mappings

2025-04-19T19:16:54Z

The classical Chain Rule formula $(f\circ g)'(x;u)=f'(g(x);g'(x;u))$ gives the (partial, or directional) derivative of the composition of mappings $f$ and $g$. We show how to get rid of the unnecessarily strong assumption of differentiability at all of the relevant points: the mappings do not need to be defined on the whole space and it is enough for them to be pointwise Lipschitz. The price to pay is that the Chain Rule holds almost everywhere. We extend this construction to infinite-dimensional spaces with good properties (Banach, separable, Radon-Nikod\'ym) with an appropriate notion of almost everywhere. Pointwise Lipschitzness is a local condition in contrast to the global Lipschitz property: we do not need the mappings to be defined on the whole space, or even locally in a neighbourhood, nor to know their behaviour far away from the points we consider. This distinguishes our results from recent research on the differentiation of the composition of Lipschitz mappings. The methods we develop for the purpose of proving the Chain Rule also allow us to strengthen the Rademacher-Stepanov type theorem on almost everywhere differentiability of a mapping.

Solution of the Ovals problem

2025-04-19T07:15:04Z

In this paper, we bring a complete solution to the Ovals problem, as formulated in [3] and [24].

Linear maps preserving product of involutions

2025-04-19T06:25:39Z

An element of the algebra $M_n(\mathbb{F})$ of $n \times n$ matrices over a field $\mathbb{F}$ is called an involution if its square equals the identity matrix. Gustafson, Halmos, and Radjavi proved that any product of involutions in $M_n(\mathbb{F})$ can be expressed as a product of at most four involutions. In this article, we investigate the bijective linear preservers of the sets of products of two, three, or four involutions in $M_n(\mathbb{F})$.

Interlacing Polynomial Method for Matrix Approximation via Generalized Column and Row Selection

2025-04-18T22:23:55Z

This paper delves into the spectral norm aspect of the Generalized Column and Row Subset Selection (GCRSS) problem. Given a target matrix $\mathbf{A}\in \mathbb{R}^{n\times d}$, the objective of GCRSS is to select a column submatrix $\mathbf{B}_{:,S}\in\mathbb{R}^{n\times k}$ from the source matrix $\mathbf{B}\in\mathbb{R}^{n\times d_B}$ and a row submatrix $\mathbf{C}_{R,:}\in\mathbb{R}^{r\times d}$ from the source matrix $\mathbf{C}\in\mathbb{R}^{n_C\times d}$, such that the residual matrix $(\mathbf{I}_n-\mathbf{B}_{:,S}\mathbf{B}_{:,S}^{\dagger})\mathbf{A}(\mathbf{I}_d-\mathbf{C}_{R,:}^{\dagger} \mathbf{C}_{R,:})$ has a small spectral norm. By employing the method of interlacing polynomials, we show that the smallest possible spectral norm of a residual matrix can be bounded by the largest root of a related expected characteristic polynomial. A deterministic polynomial time algorithm is provided for the spectral norm case of the GCRSS problem. We next focus on two specific GCRSS scenarios: the Generalized Column Subset Selection (GCSS) problem ($r=0$), and the submatrix selection problem ($\mathbf{B}=\mathbf{C}=\mathbf{I}_d$). In the GCSS scenario, we connect the expected characteristic polynomials to the convolution of multi-affine polynomials, leading to the derivation of the first provable reconstruction bound on the spectral norm of a residual matrix. In the submatrix selection scenario, we show that for any sufficiently small $\varepsilon>0$ and any square matrix $\mathbf{A}\in\mathbb{R}^{d\times d}$, there exist two subsets $S\subset [d]$ and $R\subset [d]$ of sizes $O(d\cdot \varepsilon^2)$ such that $\Vert\mathbf{A}_{S,R}\Vert_2\leq \varepsilon\cdot \Vert\mathbf{A}\Vert_2$.