Modified Kantorovich-type Sampling Series in Orlicz Space Frameworks

2025-04-21T17:15:44Z

This study examines a modified Kantorovich approach applied to generalized sampling series. The paper establishes that the approximation order to a function using these modified operators is atleast as good as that achieved by classical methods by using some graphs. The analysis focuses on these series within the context of Orlicz space $ L^{\eta}(\mathbb{R}) $, specifically looking at irregularly spaced samples. This is crucial for real-world applications, especially in fields like signal processing and computational mathematics, where samples are often not uniformly spaced. The paper also establishes a result on modular convergence for functions $ g \in L^{\eta}(\mathbb{R}) $, which includes specific cases like convergence in $ L^{p}(\mathbb{R}) $-spaces, $ L \log L $-spaces, and exponential spaces. The study then explores practical applications of the modified sampling series, notably for discontinuous functions and provides graphs to illustrate the results.

Toeplitz operators on large vector-valued Fock spaces

2025-04-21T17:13:50Z

We characterize boundedness and compactness of Toeplitz operators on large vector-valued Fock spaces with Dall'Ara's weights [Adv.\ Math., 285 (2015) 1706--1740] in terms of generalized Berezin transforms, averaging functions, and Carleson measures. To determine Schatten class Toeplitz operators, we introduce the operator-valued Berezin transform and averaging functions.

Jointly cyclic polynomials and maximal domains

2025-04-21T17:12:57Z

For a (not necessarily locally convex) topological vector space $\mathcal{X}$ of holomorphic functions in one complex variable, we show that the shift invariant subspace generated by a set of polynomials is $\mathcal{X}$ if and only if their common vanishing set contains no point at which the evaluation functional is continuous. For two variables, we show that this problem can be reduced to determining the cyclicity of a single polynomial and obtain partial results for more than two variables. We proceed to examine the maximal domain, i.e., the set of all points for which the evaluation functional is continuous. When $\mathcal{X}$ is metrizable, we show that the maximal domain must be an $F_\sigma$ set, and then construct Hilbert function spaces on the unit disk whose maximal domain is the disk plus an arbitrary subset of the boundary that is both $F_\sigma$ and $G_\delta$.

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-04-21T12:41:19Z

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.