On the polar of Schneider's difference body

2025-04-26T09:37:59Z

In 1970, Schneider introduced the $m$th-order extension of the difference body $DK$ of a convex body $K\subset\mathbb R^n$, the convex body $D^m(K)$ in $\mathbb R^{nm}$. He conjectured that its volume is minimized for ellipsoids when the volume of $K$ is fixed. In this work, we solve a dual version of this problem: we show that the volume of the polar body of $D^m(K)$ is maximized precisely by ellipsoids. For $m=1$ this recovers the symmetric case of the celebrated Blaschke-Santal\'o inequality. We also show that Schneider's conjecture cannot be tackled using standard symmetrization techniques, contrary to this new inequality. As an application for our results, we prove Schneider's conjecture asymptotically \'a la Bourgain-Milman. We also consider a functional version.

Integral representation of translation-invariant operators on reproducing kernel Hilbert spaces

2025-04-26T08:27:46Z

We suppose that $G$ is a locally compact abelian group, $Y$ is a measure space, and $H$ is a reproducing kernel Hilbert space on $G\times Y$ such that $H$ is naturally embedded into $L^2(G\times Y)$ and it is invariant under the translations associated with $G$. We consider the von Neumann algebra of all bounded linear operators acting on $H$ that commute with these translations. Assuming that this algebra is commutative, we represent its elements as integral operators and characterize the corresponding integral kernels. Furthermore, we give W*-algebra structure on the functions associated with the integral kernels. We apply this general scheme to a series of examples, including rotation- or translation-invariant operators in Bergman or Fock spaces.

Discrete analogues of second-order Riesz transforms

2025-04-25T23:29:31Z

Discrete analogues of many classical operators in harmonic analysis have been widely studied for many years with interesting connections to other areas in mathematics, including ergodic theory and analytic number theory. This paper concerns the problem of identifying the $\ell^p$-norms of discrete analogues of second-order Riesz transforms. Using probabilistic techniques, a class of second-order discrete Riesz transforms $\mathcal{R}^{(jk)}$ is constructed on the lattice $\mathbb{Z}^d$, $d\geq 2$. It is shown that their $\ell^p(\mathbb{Z}^d)$ norms, $1

Quantitative cyclicity, stability, and geometric analysis in weighted Besov spaces

2025-04-25T18:43:20Z

We introduce new quantitative measures for cyclicity in radially weighted Besov spaces, including the Drury-Arveson space, by defining cyclicity indices based on potential theory and capacity. Extensions to non-commutative settings are developed, yielding analogues of cyclicity in free function spaces. We also study the stability of cyclic functions under perturbations of both the functions and the underlying weight, and we establish geometric criteria linking the structure of zero sets on the boundary to the failure or persistence of cyclicity. These results provide novel invariants and conditions that characterize cyclicity and the structure of multiplier invariant subspaces in a variety of function spaces.

Expository article: "Bounded orthogonal systems and the $Λ(p)$-set problem'' by Jean Bourgain

2025-04-25T17:56:31Z

In this paper, we present an exposition of the work \cite{B} by Jean Bourgain, in which he resolved the well known conjecture posed by Rudin regarding the existence of $\Lambda(p)$-sets.

On the Excess Charge Problem of Atoms

2025-04-25T16:54:13Z

This paper establishes new bounds on the maximum number of electrons $ N_c(Z) $ that an atom with nuclear charge $Z$ can bind. Specifically, we show that \begin{equation*} N_c(Z) < 1.1185Z + O(Z^{1/3}) \end{equation*} with an explicit bound on the lower order term $O(Z^{1/3})$. This result improves long--standing bounds by Lieb and Nam obtained in 1984, respectively 2012. Our bounds show the fundamental difference between fermionic and bosonic atoms for finite $Z$ since for bosonic atoms it is known that $\lim N_c(Z)/Z = t_c \approx 1.21$ in the limit of large nuclear charges $Z$.

Filtering of second order generalized stochastic processes corrupted by additive noise

2025-04-25T16:08:20Z

We treat the optimal linear filtering problem for a sum of two second order uncorrelated generalized stochastic processes. This is an operator equation involving covariance operators. We study both the wide-sense stationary case and the non-stationary case. In the former case the equation simplifies into a convolution equation. The solution is the Radon--Nikodym derivative between non-negative tempered Radon measures, for signal and signal plus noise respectively, in the frequency domain. In the non-stationary case we work with pseudodifferential operators with symbols in Sj\"ostrand modulation spaces which admits the use of its spectral invariance properties.

Refined general weighted $L^{p}$-Hardy and Caffarelli-Kohn-Nirenberg type inequalities and identities related to the Baouendi-Grushin operator

2025-04-25T15:50:41Z

In this paper, we present refined general weighted $L^{p}$-Hardy type inequalities and identities with explicit remainder terms associated with Baouendi-Grushin vector fields, thereby improving previously known results. Furthermore, we obtain the corresponding general weighted Caffarelli-Kohn-Nirenberg type inequalities with remainder terms, which, as a result, imply Heisenberg-Pauli-Weyl type inequalities.

Metric Entropy of Ellipsoids in Banach Spaces: Techniques and Precise Asymptotics

2025-04-25T12:57:31Z

We develop new techniques for computing the metric entropy of ellipsoids -- with polynomially decaying semi-axes -- in Banach spaces. Besides leading to a unified and comprehensive framework, these tools deliver numerous novel results as well as substantial improvements and generalizations of classical results. Specifically, we characterize the constant in the leading term in the asymptotic expansion of the metric entropy of $p$-ellipsoids with respect to $q$-norm, for arbitrary $p,q \in [1, \infty]$, to date known only in the case $p=q=2$. Moreover, for $p=q=2$, we improve upon classical results by specifying the second-order term in the asymptotic expansion. In the case $p=q=\infty$, we obtain a complete, as opposed to asymptotic, characterization of metric entropy and explicitly construct optimal coverings. To the best of our knowledge, this is the first exact characterization of the metric entropy of an infinite-dimensional body. Application of our general results to function classes yields an improvement of the asymptotic expansion of the metric entropy of unit balls in Sobolev spaces and identifies the dependency of the metric entropy of unit balls in Besov spaces on the domain of the functions in the class. Sharp results on the metric entropy of function classes find application, e.g., in machine learning, where they allow to specify the minimum required size of deep neural networks for function approximation, nonparametric regression, and classification over these function classes.

Learning Operators by Regularized Stochastic Gradient Descent with Operator-valued Kernels

2025-04-25T08:57:38Z

This paper investigates regularized stochastic gradient descent (SGD) algorithms for estimating nonlinear operators from a Polish space to a separable Hilbert space. We assume that the regression operator lies in a vector-valued reproducing kernel Hilbert space induced by an operator-valued kernel. Two significant settings are considered: an online setting with polynomially decaying step sizes and regularization parameters, and a finite-horizon setting with constant step sizes and regularization parameters. We introduce regularity conditions on the structure and smoothness of the target operator and the input random variables. Under these conditions, we provide a dimension-free convergence analysis for the prediction and estimation errors, deriving both expectation and high-probability error bounds. Our analysis demonstrates that these convergence rates are nearly optimal. Furthermore, we present a new technique for deriving bounds with high probability for general SGD schemes, which also ensures almost-sure convergence. Finally, we discuss potential extensions to more general operator-valued kernels and the encoder-decoder framework.

Density of irreducible operators in the trace-class norm

2025-04-25T01:44:39Z

In 1968, Paul Halmos initiated the research on density of the set of irreducible operators on a separable Hilbert space. Through the research, a long-standing unsolved problem inquires: is the set of irreducible operators dense in $B(H)$ with respect to the trace-class norm topology? Precisely, for each operator $T $ in $B(H)$ and every $\varepsilon >0$, is there a trace-class operator $K$ such that $T+K$ is irreducible and $\Vert K \Vert_1 < \varepsilon$? For $p>1$, to prove the $\Vert \cdot \Vert_p$-norm density of irreducible operators in $B(H)$, a type of Weyl-von Neumann theorem effects as a key technique. But the traditional method fails for the case $p=1$, where by $\Vert \cdot \Vert_p$-norm we denote the Schatten $p$-norm. In the current paper, for a large family of operators in $B(H)$, we give the above long-term problem an affirmative answer. The result is derived from a combination of techniques in both operator theory and operator algebras. Moreover, we discover that there is a strong connection between the problem and another related operator-theoretical problem related to type $\mathrm{II}_1$ von Neumann algebras.

Heat kernels, intrinsic contractivity and ergodicity of discrete-time Markov chains killed by potentials

2025-04-24T18:39:25Z

We study discrete-time Markov chains on countably infinite state spaces, which are perturbed by rather general confining (i.e.\ growing at infinity) potentials. Using a discrete-time analogue of the classical Feynman--Kac formula, we obtain two-sided estimates for the $n$-step heat kernels $u_n(x,y)$ of the perturbed chain. These estimates are of the form $u_n(x,y)\asymp \lambda_0^n\phi_0(x)\widehat\phi_0(y)+F_n(x,y)$, where $\phi_0$ (and $\widehat\phi_0$) are the (dual) eigenfunctions for the lowest eigenvalue $\lambda_0$; the perturbation $F_n(x,y)$ is explicitly given, and it vanishes if either $x$ or $y$ is in a bounded set. The key assumptions are that the chain is uniformly lazy and that the \enquote{direct step property} (DSP) is satisfied. This means that the chain is more likely to move from state $x$ to state $y$ in a single step rather than in two or more steps. Starting from the form of the heat kernel estimate, we define the intrinsic (or ground-state transformed) chains and we introduce time-dependent ultracontractivity notions -- asymptotic and progressive intrinsic ultracontractivity -- which we can link to the growth behaviour of the confining potential; this allows us to consider arbitrarily slow growing potentials. These new notions of ultracontractivity also lead to a characterization of uniform (quasi-)ergodicity of the perturbed and the ground-state transformed Markov chains. At the end of the paper, we give various examples that illustrate how our findings relate to existing models, e.g.\ nearest-neighbour walks on infinite graphs, subordinate processes or non-reversible Markov chains.

The tempered disk and the tempered cohomology

2025-04-24T17:34:54Z

Consider a non-archimedean valuation ring V (K its fraction field, in mixed characteristic): inspired by some views presented by Scholze, we introduce a new point of view on the non-archimedean analytic setting in terms of derived analytic geometry (then associating a "spectrum" to each ind-Banach algebra). We want to look at the behaviour of this spectrum from a differential point of view. In such a spectrum, for example, there exist open subsets having functions with log-growth as sections for the structural sheaf. In this framework, a transfer theorem for the log-growth of solutions of p-adic differential equations can be interpreted as a continuity theorem (analogue to the transfer theorem for their radii of convergence in the Berkovich spaces). As a dividend of such a theory, we define a new cohomology theory in terms of the Hodge-completed derived de Rham cohomology of the ind-Banach derived analytic space associated to a smooth k-scheme, X_k (k residual field of V), via the use of "tempered tubes". We finally compare our tempered de Rham cohomology with crystalline cohomology.

Semigroups of self-similar actions and higher rank Baumslag-Solitar semigroups

2025-04-24T14:25:41Z

In this paper, we initiate the study of higher rank Baumslag-Solitar semigroups and their related C*-algebras. We focus on two extreme, but interesting, classes - one is related to products of odometers and the other is related to Furstenberg's $\times p,, \times q$ conjecture. For the former class, whose C*-algebras are studied by H. Li and the second author, we here characterize the factoriality of the associated von Neumann algebras and further determine their types; for the latter, we obtain their canonical Cartan subalgebras. In the rank 1 case, we study a more general setting which encompasses (single-vertex) generalized Baumslag-Solitar semigroups. One of our main tools is from self-similar higher rank graphs and their C*-algebras.

A note on Arveson's hyperrigidity and non-degenerate C*-correspondences

2025-04-24T13:58:10Z

We revisit the results of Kim, and of Katsoulis and Ramsey concerning hyperrigidity for non-degenerate C*-correspondences. We show that the tensor algebra is hyperrigid, if and only if Katsura's ideal acts non-degenerately, if and only if Katsura's ideal acts non-degenerately under any representation. This gives a positive answer to the question of Katsoulis and Ramsey, showing that their necessary condition and their sufficient condition for hyperrigidity of the tensor algebra are equivalent. Non-degeneracy of the left action of Katsura's ideal was also shown by Kim to be equivalent to hyperrigidity for the selfadjoint operator space associated with the C*-correspondence, and our approach provides a simplified proof of this result as well. In the process we revisit Arveson's criterion connecting maximality with the unique extension property and hyperrigidity, in conjunction with the work of Salomon on generating sets.