The Mercer-Young Theorem for Matrix-Valued Kernels on Separable Metric Spaces

2025-04-15T22:21:15Z

We generalize the characterization theorem going back to Mercer and Young, which states that a symmetric and continuous kernel is positive definite if and only if it is integrally positive definite, to matrix-valued kernels on separable metric spaces. We also demonstrate the applications of the generalized theorem to the field of convex optimization and other areas.

The unitary group in the strong topology and a construction of Dixmier-Douady

2025-04-15T22:17:29Z

By a theorem of Dixmier-Douady the unitary group of an infinite-dimensional separable Hilbert space $H$ in the strong operator topology is contractible. The Dixmier-Douady proof is based on an explicit construction of families of subspaces and operators in $H$ with rather special properties. Unfortunately, this proof leaves hidden the geometric meaning of the theorem. The first goal of this note is to give a direct geometric proof of this theorem. The second goal is to provide a geometic analogue of Dixmier-Douady construction.

Dynamics on weighted solid Banach function spaces

2025-04-15T20:33:00Z

The dynamics of weighted translation operators on Lebesgue spaces, Orlicz spaces, and in general on solid Banach function spaces have been studied in numerous papers. Recently, the dynamics of weighted translations on weighted Orlicz spaces have also been studied by Chen and others, extending thus the previous results concerning the dynamics of weighted translations on classical Orlicz spaces. The main idea of this paper is to obtain a generalization of these results to the case of general weighted solid Banach function spaces. More precisely, in this paper, we characterize topologically transitive weighted composition operators on weighted solid Banach function spaces. This approach has applications in the dynamics of weighted translations on weighted Morrey spaces.

Reflections in $L^2(\mathbb{T})$

2025-04-15T20:28:14Z

Let $\mathbb{D}=\{z\in\mathbb{C}: |z|<1\}$ and $\mathbb{T}=\{z\in\mathbb{C}: |z|=1\}$. For $a\in\mathbb{D}$, consider $\varphi_a(z)=\frac{a-z}{1-\bar{a}z}$ and $C_a$ the composition operator in $L^2(\mathbb{T})$ induced by $\varphi_a$: $$ C_a f=f\circ\varphi_a. $$ Clearly $C_a$ satisties $C_a^2=I$, i.e., is a non-selfadjoint reflection. We also consider the following symmetries (selfadjoint reflections) related to $C_a$: $$ R_a=M_{\frac{|k_a|}{\|k_a\|_2}}C_a \ \hbox{ and } \ W_a=M_{\frac{k_a}{\|k_a\|_2}}C_a, $$ where $k_a(z)=\frac{1}{1-\bar{a}z}$ is the Szego kernel. The symmetry $R_a$ is the unitary part in the polar decomposition of $C_a$. We characterize the eigenspaces $N(T_a\pm I)$ for $T_a=C_a, R_a$ or $W_a$, and study their relative positions when one changes the parameter $a$, e.g., $N(T_a\pm I)\cap N(T_b\pm I)$, $N(T_a\pm I)\cap N(T_b\pm I)^\perp$, $N(T_a\pm I)^\perp\cap N(T_b\pm I)$, etc., for $a\ne b\in\mathbb{D}$.

Gaussian Differentially Private Human Faces Under a Face Radial Curve Representation

2025-04-15T17:26:49Z

In this paper we consider the problem of releasing a Gaussian Differentially Private (GDP) 3D human face. The human face is a complex structure with many features and inherently tied to one's identity. Protecting this data, in a formally private way, is important yet challenging given the dimensionality of the problem. We extend approximate DP techniques for functional data to the GDP framework. We further propose a novel representation, face radial curves, of a 3D face as a set of functions and then utilize our proposed GDP functional data mechanism. To preserve the shape of the face while injecting noise we rely on tools from shape analysis for our novel representation of the face. We show that our method preserves the shape of the average face and injects less noise than traditional methods for the same privacy budget. Our mechanism consists of two primary components, the first is generally applicable to function value summaries (as are commonly found in nonparametric statistics or functional data analysis) while the second is general to disk-like surfaces and hence more applicable than just to human faces.

The frequent hypercyclicity of unbounded operator

2025-04-15T17:06:03Z

We establish two Frequent Hypercyclicity Criteria for unbounded operators, inspired by the frameworks of Bayart Grivaux and deLaubenfels Emamirad Grosse Erdmann. These criteria simplify the verification and construction of frequently hypercyclic operators.

Compactness and related properties of weighted composition operators on weighted BMOA spaces

2025-04-15T14:31:24Z

It is shown that a large class of properties coincide for weighted composition operators on a large class of weighted VMOA spaces, including the ones with logarithmic weights and the ones with standard weights $(1-|z|)^{-c}, \ 0\leq c< 1/2$. Some of these properties are compactness, weak compactness, complete continuity and strict singularity. A function-theoretic characterization for these properties is also given. Similar results are also proved for many weighted composition operators on similarly weighted BMOA spaces. The main results extend the theorems given in [Proc. Amer. Math. Soc. 151 (2023), 1195--1207], and new test functions that are suitable for the weighted setting are developed.

Standard bubbles (and other Möbius-flat partitions) on model spaces are stable

2025-04-15T13:41:57Z

We verify that for all $n \geq 3$ and $2 \leq k \leq n+1$, the standard $k$-bubble clusters, conjectured to be minimizing total perimeter in $\mathbb{R}^n$, $\mathbb{S}^n$ and $\mathbb{H}^n$, are stable -- an infinitesimal regular perturbation preserving volume to first order yields a non-negative second variation of area modulo the volume constraint. In fact, stability holds for all standard $\textit{partitions}$, in which several cells are allowed to have infinite volume. In the Gaussian setting, any partition in $\mathbb{G}^n$ ($n\geq 2$) obeying Plateau's laws and whose interfaces are all $\textit{flat}$, is stable. Our results apply to non-standard partitions as well - starting with any (regular) flat Voronoi partition in $\mathbb{S}^n$ and applying M\"obius transformations and stereographic projections, the resulting partitions in $\mathbb{R}^n$, $\mathbb{S}^n$ and $\mathbb{H}^n$ are stable. Our proof relies on a new conjugated Brascamp-Lieb inequality on partitions with conformally flat umbilical boundary, and the construction of a good conformally flattening boundary potential.

Refinements of the Blanco-Koldobsky-Turnšek Theorem

2025-04-15T13:10:43Z

We refine the well-known Blanco-Koldobsky-Turn\v{s}ek Theorem which states that a norm one linear operator defined on a Banach space is an isometry if and only if it preserves orthogonality at every element of the space. We improve the result for Banach spaces in which the set of all smooth points forms a dense $G_{\delta}$-set by proving that a norm one linear operator that preserves orthogonality on a dense subset of the space is an isometry. We further demonstrate that if such an operator preserves orthogonality on a hyperplane not passing through the origin then it is an isometry. In the context of finite-dimensional Banach spaces, we prove that preserving orthogonality on the set all extreme points of the unit ball forces the operator to be an isometry, which substantially refines Blanco-Koldobsky-Turn\v{s}ek theorem. Finally, for finite-dimensional polyhedral spaces, we establish the significance of the set of all $k$-smooth points for any possible $k,$ in the study of isometric theory.

Well-Posedness and Stability of Infinite-Dimensional Systems Under Monotone Feedback

2025-04-15T12:54:33Z

We study the well-posedness and stability of an impedance passive infinite-dimensional linear system under nonlinear feedback of the form $u(t)=\phi(v(t)-y(t))$, where $\phi$ is a monotone function. Our first main result introduces conditions guaranteeing the existence of classical and generalised solutions in a situation where the original linear system is well-posed. In the absence of the external input $v$ we establish the existence of strong and generalised solutions under strictly weaker conditions. Finally, we introduce conditions guaranteeing that the origin is a globally asymptotically stable equilibrium point of the closed-loop system. Motivated by the analysis of partial differential equations with nonlinear boundary conditions, we use our results to investigate the well-posedness and stablility of abstract boundary control systems, port-Hamiltonian systems, a Timoshenko beam model, and a two-dimensional boundary controlled heat equation.

A theoretical analysis on the resolution of parametric PDEs via Neural Networks designed with Strassen algorithm

2025-04-15T12:53:22Z

We construct a Neural Network that approximates the matrix multiplication operator for any activation function such that there exists a Neural Network which can approximate the scalar multiplication function. In particular, we use the Strassen algorithm to reduce the number of weights and layers needed for such Neural Networks. This allows us to define another Neural Network for approximating the inverse matrix operator. Also, by relying on the Galerkin method, we apply those Neural Networks to solve parametric elliptic PDEs for a whole set of parameters. Finally, we discuss improvements with respect to the prior results.

Hyperlinearity via amenable near representations

2025-04-15T09:00:41Z

We characterize the amenability of unitary representations (in the sense of Bekka) via the existence of an orthonormal basis supporting an invariant probability charge. Based on this, we explore several natural notions of amenable near representations on Hilbert spaces. Establishing an analogue of a theorem about sofic groups by Elek and Szab\'o, we prove that a group is hyperlinear if and only if it admits an essentially free amenable near representation. This answers a question raised by Pestov and Kwiatkowska. For comparison, we also provide characterizations of Kirchberg's factorization property, as well as Haagerup's property, along similar lines.

On exponential frames near the critical density

2025-04-15T07:26:55Z

Given a relatively compact set $\Omega \subseteq \mathbb{R}$ of Lebesgue measure $|\Omega|$ and $\varepsilon > 0$, we show the existence of a set $\Lambda \subseteq \mathbb{R}$ of uniform density $D (\Lambda) \leq (1+\varepsilon) |\Omega|$ such that the exponential system $\{ \exp(2\pi i \lambda \cdot) \mathbf{1}_{\Omega}: \lambda \in \Lambda \}$ is a frame for $L^2 (\Omega)$ with frame bounds $A |\Omega|, B |\Omega|$ for constants $A,B$ only depending on $\varepsilon$. This solves a problem on the frame bounds of an exponential frame near the critical density posed by Nitzan, Olevskii and Ulanovskii. We also prove an extension to locally compact abelian groups, which improves a result by Agora, Antezana and Cabrelli by providing frame bounds involving the spectrum.

Lipschitz Estimates and an application to trace formulae

2025-04-15T06:30:36Z

In this note, we provide an elementary proof for the expression of $f(U)-f(V)$ in the form of a double operator integral for every Lipschitz function $f$ on the unit circle $\cir$ and for a pair of unitary operators $(U,V)$ with $U-V\in\mathcal{S}_{2}(\hilh)$ (the Hilbert-Schmidt class). As a consequence, we obtain the Schatten $2$-Lipschitz estimate $\|f(U)-f(V)\|_2\leq \|f\|_{\lip(\cir)}\|U-V\|_2$ for all Lipschitz functions $f:\cir\to\C$. Moreover, we develop an approach to the operator Lipschitz estimate for a pair of contractions with the assumption that one of them is a strict contraction, which significantly extends the class of functions from results known earlier. More specifically, for each $p\in(1,\infty)$ and for every pair of contractions $(T_0,T_1)$ with $\|T_0\|<1$, there exists a constant $d_{f, p,T_0}>0$ such that $\|f(T_1)-f(T_0)\|_p\leq d_{f,p, T_0}\|T_1-T_0\|_p$ for all Lipschitz functions on $\cir$. Using our Lipschitz estimates, we establish a modified Krein trace formula applicable to a specific category of pairs of contractions featuring Hilbert-Schmidt perturbations.

Integral Varadhan formula for non-linear heat flow

2025-04-14T23:52:23Z

We prove the integral Varadhan short-time formula for non-linear heat flow on measured Finsler manifolds. To the best of the authors' knowledge, this is the first result establishing a Varadhan-type formula for non-linear semigroups. We do not assume the reversibility of the metric, and the distance function can be asymmetric. In this generality, we reveal that the probabilistic interpretation is well-suited for our formula; the probability that a particle starting from a set $A$ can be found in another set $B$ describes the distance from $A$ to $B$. One side of the estimates (the upper bound of the probability) is also established in the nonsmooth setting of infinitesimally strictly convex metric measure spaces satisfying the local Sobolev-to-Lipschitz property.