Functional Analysis
See recent articles
Showing new listings for Monday, 1 December 2025
- [1] arXiv:2511.22126 [pdf, html, other]
-
Title: A Novel $J_M$-Based Method for Interpolation in Metric SpacesSubjects: Functional Analysis (math.FA); Analysis of PDEs (math.AP)
We present a new interpolation method for metric spaces, termed the \emph{$J_M^{\prime}$-interpolated metric space}. Building on previous work where two interpolation methods were developed in analogy with Peetre's classical $K$ and $J$ methods, this approach introduces a distinct construction based on approximating sequences in the intersection space $X_0 \cap X_1$ equipped with the metric $J_M(1)$. The method defines a relative completion within the union space $X_0 \cup X_1$, yielding a well-defined interpolated metric space with controllable relationships between the $J_M$ and $K_M$ metrics. While we do not compare this method to the previously developed approaches nor explore its correspondence with classical interpolation functors in normed spaces, the construction enriches the set of tools available for metric-space interpolation theory. Furthermore, as expected, these methods still preserve the Lipschitz property of an operator between two interpolated spaces.
Potential applications include general Nonlinear Analysis and Wasserstein-type spaces where the sequence-based nature of the method may provide practical advantages. - [2] arXiv:2511.22165 [pdf, html, other]
-
Title: Absolutely summing Hankel operators on Bergman spacesComments: 34 pagesSubjects: Functional Analysis (math.FA)
In this paper we initiate the study of absolute summability for big and little Hankel operators $ H_f^\beta,h_f^\beta:A_\alpha^p(\mathbb{B}_n)\to L^q(\mathbb{B}_n,dv_\beta), $ acting between weighted Bergman and weighted Lebesgue spaces on the unit ball, for possibly different integrability exponents $p$ and $q$. We characterize those symbols $f$ for which the big Hankel operator $H_f^\beta$ is $r$-summing, and those for which the little Hankel operator $h_f^\beta$ is $r$-summing. Our approach relies on a deep revisit of the absolute summability of the associated Carleson embedding operators from $A_\alpha^p(\mathbb{B}_n)$ to $L^q(\mathbb{B}_n,dv_\beta)$, from which we obtain characterizations of absolutely summing big and little Hankel operators that appear to be new even in the diagonal case $p=q$.
- [3] arXiv:2511.22339 [pdf, html, other]
-
Title: $C(K)$-spaces with few operators relative to posetsSubjects: Functional Analysis (math.FA)
Extending a method developed by Koszmider and Laustsen for constructing $C(K)$-spaces we produce families of $C(K)$-spaces with few operators relative to a partially ordered set $\mathcal{P}$. Using these spaces, we construct new $C(K)$-spaces whose closed operator ideals can be completely classified. Additionally, we use these spaces to resolve some questions regarding automatic continuity.
- [4] arXiv:2511.22360 [pdf, other]
-
Title: Sharp Spectral Zeta Asymptotics on Graphs of Quadratic GrowthSubjects: Functional Analysis (math.FA); Probability (math.PR)
We investigate the spectral properties of the Dirichlet Laplacian on large finite metric balls within irregular infinite graphs of quadratic volume growth. We consider an exhaustion $G_n = B_{R_n}(x_0)$ and the spectral zeta value $Z_n(1) = \operatorname{tr}(L_n^{-1})$ of the killed generator $L_n$.
We establish a sharp asymptotic law under the assumptions that the graph satisfies uniform quadratic volume growth (VG(2)) and a Poincare inequality (PI). These analytic-geometric hypotheses imply large-scale regularity. Additionally, we assume a standard quantitative homogenisation property: a uniform local central limit theorem with a polynomial convergence rate. This hypothesis holds for our main example classes and implies the existence of a global heat-kernel constant $\mathcal{G} > 0$ (independent of $x$). In particular, the lazy simple random walk (LSRW) satisfies $p_t(x,x) \sim \mathcal{G}/t$ as $t \to \infty$.
Our main theorem establishes the sharp asymptotic $Z_n(1) = \mathcal{G},N_n \log N_n + O(N_n)$, where $N_n := |V(G_n)| \to \infty$ as $n \to \infty$. This implies a relative error of $O(1/\log N_n)$, with constants depending only on the structural parameters of $G$. This result extends far beyond homogeneous lattices. For $\mathbb{Z}^2$, this yields the constant identification $\mathcal{G} = 2/\pi$, providing a new limit formula that recovers $\pi$ without $\pi$ appearing in the input (a "pi-free" limit). Our techniques highlight the robustness of spectral asymptotics under homogenisation in this critical, recurrent setting. - [5] arXiv:2511.22636 [pdf, html, other]
-
Title: Quantitative stability for the Brascamp-Lieb inequality and moment measuresSubjects: Functional Analysis (math.FA)
By employing the recently obtained sharp stability versions of the Prékopa--Leindler inequality, we are able to obtain a sharp quantitative stability version for the Brascamp--Lieb inequality, as well as several different results on the stability of moment measures. As main features of our results, we highlight the independence of the stability constant for the Brascamp--Lieb inequality on the convex function considered, a completely novel feature. In the realm of moment measures, we highlight in the same vein that the stability results obtained are uniform, which we expect to be particularly valuable not only from a purely mathematical point of view, but also for applications.
- [6] arXiv:2511.22960 [pdf, html, other]
-
Title: Maz'ya--Shaposhnikova Representation of Quasi-Norms of Ball Quasi-Banach Function Spaces on Spaces of Homogeneous Type with Weak Reverse Doubling PropertySubjects: Functional Analysis (math.FA); Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
Let $Y(\mathcal{X})$ be a ball quasi-Banach function space on the space of homogeneous type $(\mathcal{X},\rho,\mu)$ satisfying some mild additional assumptions, $q\in(0,\infty)$, and $\dot{W}^{s,q}_Y(\mathcal{X})$ with $s\in(0,1)$ be the homogeneous fractional Sobolev space associated with $Y(\mathcal{X})$. In this article, we show that, for any $f\in Y(\mathcal{X})\cap\bigcup_{s\in(0,1)} \dot{W}^{s,q}_Y(\mathcal{X})$, \begin{align*} \|f\|_{Y(\mathcal{X})} &\lesssim\varliminf_{s \to 0^+} s^{\frac{1}{q}}\left\| \left\{\int_{\mathcal{X}} \frac{|f(\cdot)-f(y)|^q}{U(\cdot,y)[\rho(\cdot,y)]^{sq}} \, d\mu(y) \right\}^{\frac{1}{q}}\right\|_{{Y(\mathcal{X})}}\\ &\leq \varlimsup_{s \to 0^+} s^{\frac{1}{q}}\left\|\left\{\int_{\mathcal{X}} \frac{|f(\cdot)-f(y)|^q}{U(\cdot,y)[\rho(\cdot,y)]^{sq}} \, d\mu(y) \right\}^{\frac{1}{q}}\right\|_{{Y(\mathcal{X})}} \lesssim\|f\|_{Y(\mathcal{X})}, \end{align*} where $U(x,y):=\min\{\mu(B(x,\rho(x,y))),\,\mu(B(y,\rho(x,y)))\}$ for any $x,y\in\mathcal{X}$ and the implicit positive constants are independent of $f$, which is applied to ten specific ball quasi-Banach function spaces and hence is of wide generality. In particular, when $Y(\mathcal{X})=L^q(\mathbb{R}^n)$ with $q\in[1,\infty)$, the above formula is closely related to the celebrated result of Maz'ya and Shaposhnikova in 2002. We also establish the above representation formula on domains of $\mathcal{X}$. The main novelty lies in proposing two new concepts, namely the weak reverse doubling condition (for $\mathcal{X}$) and the weak measure density condition (for domains of $\mathcal{X}$), which are proved to be necessary in some sense. In addition, we find an interesting fact that, when the underlying space under consideration is bounded, the above Maz'ya--Shaposhnikova-type limit always tends to zero.
- [7] arXiv:2511.23130 [pdf, html, other]
-
Title: A Pełczyński-Vogt decomposition result for (PLS)-spaces and sequence space representationsComments: 28 pagesSubjects: Functional Analysis (math.FA)
We establish a Pelczyński-Vogt decomposition result for (PLS)-type power series spaces of infinite type. By combining this result with the theory of Gabor frames, we obtain sequence space representations for multiplier spaces of Gelfand-Shilov spaces of Beurling type.
- [8] arXiv:2511.23179 [pdf, html, other]
-
Title: Bases of Lebesgue spaces formed by neural networksSubjects: Functional Analysis (math.FA)
The seminal work of Daubechies, DeVore, Foucart, Hanin, and Petrova introduced in 2022 a sequence of univariate piece-wise linear functions, which resemble the classical Fourier basis and which, at the same time, can be easily reproduced by artificial neural networks with ReLU activation function. We give an alternative way how to calculate the inner products of functions from this system and discuss the spectral properties of the Gram matrix generated by this system. The univariate system was later generalized to the multivariate setting by two of the authors of this work. Instead of the usual tensor product construction, this generalization relied on the inner products inside of the argument of the univariate sequence. It turned out that such a system forms a Riesz basis of $L_2(0,1)^n$ for every $n\ge 1$ with Riesz constants independent of $n$. In this work, we investigate the properties of these new sequences of functions in $L_q(0,1)^n$ for $q\not =2.$ First, we show that the univariate system is a Schauder basis in $L_q(0,1)$ for every $1<q<\infty$. By a general argument, it follows that the tensor products of this system also form a Schauder basis in $L_q(0,1)^n$ for every $n\ge 2$ and $1<q<\infty.$ The same fact can also be shown by measuring the distance of the tensor product system to the classical multivariate Fourier basis, but - surprisingly - this argument only works for $n\le 3$. If, on the other hand, we replace the outer tensor products by inner products directly in the argument of the univariate system, the same approach is applicable for an arbitrary dimension $n\in{\mathbb N}.$
New submissions (showing 8 of 8 entries)
- [9] arXiv:2511.22156 (cross-list from math.PR) [pdf, html, other]
-
Title: A non-canonical diffusion on the Sierpiński carpetComments: 29 pages, 4 figuresSubjects: Probability (math.PR); Functional Analysis (math.FA)
We constructed a diffusion process on the Sierpiński carpet that satisfies the sub-Gaussian heat kernel estimate with respect to the Euclidean metric and a non-standard self-similar measure.
- [10] arXiv:2511.22393 (cross-list from math.MG) [pdf, html, other]
-
Title: Centroids of sections of convex bodies and Lusternik-Schnirelmann categoryComments: 8 pages, 1 figureSubjects: Metric Geometry (math.MG); Functional Analysis (math.FA); Geometric Topology (math.GT)
Given two symmetric convex bodies $L \subseteq K \subseteq \R^n$ with $L$ strictly convex, we prove that there exist at least $n$ hyperplanes $H$ tangent to $L$, such that the center of mass of $H \cap K$ belongs to $\partial L$.
The theorem makes use of Lusternik-Schnirelmann category theory. - [11] arXiv:2511.22438 (cross-list from math.KT) [pdf, html, other]
-
Title: $K$-theory of ghostly ideals for $\ell^p$-coarsely embeddable spacesSubjects: K-Theory and Homology (math.KT); Functional Analysis (math.FA); Operator Algebras (math.OA)
Let $X$ be a metric space with bounded geometry. We show that if $X$ admits a coarse embedding into an $\ell^p$-space ($1 \le p < \infty$), then the canonical inclusion from any geometric ideal to the corresponding ghostly ideal induces an isomorphism in $K$-theory. Our approach relies on the construction of twisted Roe algebras, avoiding the use of groupoid techniques. As consequences, we deduce the relative (maximal) coarse Baum-Connes conjectures for such spaces, as well as the Operator Norm Localization property for finite rank projections ($ONL_{\mathcal{P}_{Fin}}$).
- [12] arXiv:2511.22755 (cross-list from math.NT) [pdf, html, other]
-
Title: Zeta Spectral TriplesComments: 34 pages, 4 Figures, to appear in EMS series Lectures Notes in Mathematics Title : Applications of Noncommutative Geometry to Gauge Theories, Field Theories, and Quantum Space-TimeSubjects: Number Theory (math.NT); Functional Analysis (math.FA); Operator Algebras (math.OA)
We propose and investigate a strategy toward a proof of the Riemann Hypothesis based on a spectral realization of its non-trivial zeros. Our approach constructs self-adjoint operators obtained as rank-one perturbations of the spectral triple associated with the scaling operator on the interval $[\lambda^{-1}, \lambda]$. The construction only involves the Euler products over the primes $p \leq x = \lambda^2$ and produces self-adjoint operators whose spectra coincide, with striking numerical accuracy, with the lowest non-trivial zeros of $\zeta(1/2 + i s)$, even for small values of $x$.
The theoretical foundation rests on the framework introduced in "Spectral triples and zeta-cycles" (Enseign. Math. 69 (2023), no. 1-2, 93-148), together with the extension in "Quadratic Forms, Real Zeros and Echoes of the Spectral Action" (Commun. Math. Phys. (2025)) of the classical Caratheodory-Fejer theorem for Toeplitz matrices, which guarantees the necessary self-adjointness.
Numerical experiments show that the spectra of the operators converge towards the zeros of $\zeta(1/2 + i s)$ as the parameters $N, \lambda \to \infty$. A rigorous proof of this convergence would establish the Riemann Hypothesis. We further compute the regularized determinants of these operators and discuss the analytic role they play in controlling and potentially proving the above result by showing that, suitably normalized, they converge towards the Riemann $\Xi$ function. - [13] arXiv:2511.23121 (cross-list from math.OA) [pdf, html, other]
-
Title: Quantum graphs in infinite-dimensions: Hilbert--Schmidts and Hilbert modulesComments: 63 pages; comments very welcomeSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA); Quantum Algebra (math.QA)
We develop two approaches to Quantum (or Non-commutative) Graphs based on arbitrary von Neumann algebras $M\subseteq\mathcal B(H)$: one looking at operator bimodules of Hilbert--Schmidt (instead of bounded) operators, and the second looking at Quantum Adjacency Operators. Hilbert--Schmidt Quantum Graphs relate to Weaver's picture of Quantum Graphs in a complex way: by defining certain hull operations, we find a bijection between certain subsets of both objects. Given a nfs weight $\varphi$ on $M$ the operator-valued weight $\varphi^{-1}$ can be defined, as considered by Wasilewski for direct sums of matrix algebras. We show how to build a natural self-dual Hilbert $C^*$-module from this, which mediates a bijection between HS Quantum Relations and projections $e\in M\bar\otimes M^{\text{op}}$. When $e$ is integrable for the slice-map $\operatorname{id}\otimes\varphi^{\text{op}}$ there is a related normal CP map $A\colon M\to M$: this is a Quantum Adjacency Operator, which has a Kraus operator representation built from the HS Quantum Relation. When $e$ and its tensor swap map are both integrable, we find certain symmetries of $A$. We illustrate our theory by a careful consideration of certain examples, including detailed links with the finite-dimensional setting.
- [14] arXiv:2511.23333 (cross-list from math.PR) [pdf, html, other]
-
Title: Convergence rates of self-repelling diffusions on Riemannian manifoldsComments: 18 pagesSubjects: Probability (math.PR); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
We study a class of self-repelling diffusions on compact Riemannian manifolds whose drift is the gradient of a potential accumulated along their trajectory. When the interaction potential admits a suitable spectral decomposition, the dynamics and its environment are equivalent to a finite-dimensional degenerate diffusion. We show that this diffusion is a second-order lift of an Ornstein-Uhlenbeck process whose invariant law corresponds to the Gaussian invariant measure of the environment, and immediately obtain a general upper bound on the rate of convergence to stationarity using the framework of second-order lifts. Furthermore, using a flow Poincaré inequality, we develop lower bounds on the convergence rate. We show that, in the periodic case, these lower bounds improve upon those of Benaïm and Gauthier (Probab. Theory Relat. Fields, 2016), and even match the order of the upper bound in some cases.
- [15] arXiv:2511.23336 (cross-list from math.OC) [pdf, html, other]
-
Title: Two energy methods for distributed port-Hamiltonian systems and their application to stability analysisSubjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
We develop two local energy methods for distributed parameter port-Hamiltonian (pH) systems on one-dimensional spatial domains. The methods are applied to derive a characterization of exponential stability directly in terms of the energy passing through the boundary over a given time horizon. The resulting condition is verified for a network of vibrating strings where existing sufficient conditions cannot be applied. Moreover, we use a local energy method to study the short-time behavior of pH systems with boundary damping which was recently studied in the context of hypocoercivity.
- [16] arXiv:2511.23362 (cross-list from math-ph) [pdf, html, other]
-
Title: On Fredholm Pfaffians and Riemann-Hilbert problemsComments: 36 pages, in honour of Percy DeiftSubjects: Mathematical Physics (math-ph); Functional Analysis (math.FA); Spectral Theory (math.SP); Exactly Solvable and Integrable Systems (nlin.SI)
It is shown how classes of Fredholm Pfaffians can be computed in terms of canonical, auxiliary Riemann-Hilbert problems as soon as the main kernel in the Pfaffian is either of additive Hankel composition or of truncated Wiener-Hopf type. Akhiezer-Kac asymptotic results for the Fredholm Pfaffians are then derived as natural consequences of the Riemann-Hilbert characterisation.
Cross submissions (showing 8 of 8 entries)
- [17] arXiv:2112.07883 (replaced) [pdf, html, other]
-
Title: Generalized Fock space and fractional derivatives with Applications to Uniqueness of Sampling and Interpolation SetsSubjects: Functional Analysis (math.FA)
In this paper we introduce a Fock space related to derivatives of Gelfond-Leontiev type, a class of derivatives which includes many classic examples like fractional derivatives or Dunkl operators. For this space we establish a modified Bargmann transform as well as density theorems for sampling and interpolation. These density theorems allow us to establish lattice conditions for the construction of frames arising from integral transforms which are linked by the modified Bargmann transform with the Fock space.
- [18] arXiv:2404.08337 (replaced) [pdf, html, other]
-
Title: On geometric properties of $\ell^{p}$-spaces on unitary duals of compact groupsSubjects: Functional Analysis (math.FA)
In this paper, we study geometric properties of $\ell^{p}$-spaces associated with the unitary dual of a compact group. More precisely, we prove uniform smoothness, uniform convexity, Clarkson type inequalities, Kadec-Klee property, as well as type and cotype properties of such spaces. We also present duality and complex interpolation results.
- [19] arXiv:2502.05149 (replaced) [pdf, other]
-
Title: Nonlocal perimeters and variations: Extremality and decomposability for finite and infinite horizonsComments: 39 pages, 4 figures. V2: Accepted version, minor changesSubjects: Functional Analysis (math.FA); Analysis of PDEs (math.AP); Optimization and Control (math.OC)
We analyze the extremality and decomposability properties with respect to two types of nonlocal perimeters available in the literature, the Gagliardo perimeter based on the eponymous seminorms and the nonlocal distributional Caccioppoli perimeter, both with finite and infinite interaction ranges. A nonlocal notion of indecomposability associated to these perimeters is introduced, and we prove that in both cases it can be characterized solely in terms of the interaction range or horizon $\varepsilon$. Utilizing this, we show that it is possible to uniquely decompose a set into its $\varepsilon$-connected components, establishing a nonlocal analogue of the decomposition theorem of Ambrosio, Caselles, Masnou and Morel. Moreover, the extreme points of the balls induced by the Gagliardo and nonlocal total variation seminorm are identified, which naturally correspond to the two nonlocal perimeters. Surprisingly, while the extreme points in the former case are normalized indicator functions of $\varepsilon$-simple sets, akin to the classical TV-ball, in the latter case they are instead obtained from a nonlocal transformation applied to the extreme points of the TV-ball. Finally, we explore the nonlocal-to-local transition via a $\Gamma$-limit as $\varepsilon \rightarrow 0$ for both perimeters, recovering the classical Caccioppoli perimeter.
- [20] arXiv:2505.06925 (replaced) [pdf, html, other]
-
Title: Subdifferential of the $\mathcal{B(H,K)}$ norm, and approximate orthogonalitySubjects: Functional Analysis (math.FA)
We present an expression for the right hand derivative of the $\mathcal{B(H,K)}$ norm generalizing the result for $\mathbf{K}=\mathbf{H}$ in [D. J. Ke$\check{\mathrm{c}}$ki$\grave{\mathrm{c}}$, {\it Gateaux derivative of $B(H)$ norm}, Proc. Amer. Math. Soc. {\bf 133} (2005): 2061--2067]. Using this, we obtain the subdifferential of the $\mathcal{B(H, K)}$ norm. For tuples of operators $\mathbf{A},\mathbf{X}\in$ $\mathcal{B(H, H}^d)$, we give a characterization for $\boldsymbol 0$ to be a best approximation to the subspace $\mathbb C^d \mathbf{X}$, generalizing a similar result for $\mathbb C^d \mathbf{I}$ in [P. Grover, S. Singla, {\it A distance formula for tuples of operators}, Linear Algebra Appl. {\bf 650} (2022): 267--285]. We define the concept of $\epsilon$-Birkhoff orthogonality to a subspace in a general normed space and derive a characterization in terms of the subdifferential set. Using this, we deduce interesting results for $A\in \mathcal{B(H,K)}$ to be $\epsilon$-Birkhoff orthogonal to a subspace of $\mathcal{B(H,K)}$, when $A$ is compact.
- [21] arXiv:2505.13885 (replaced) [pdf, html, other]
-
Title: Approximately Dual and Pseudo-Dual Probabilistic FramesComments: Revised version from a major revision. A stronger result about the redundancy of probabilistic frames is added at Theorem 3.6Subjects: Functional Analysis (math.FA)
This paper studies properties of dual probabilistic frames -- in particular in relation to redundancy -- and introduces both approximately dual probabilistic frames and pseudo-dual probabilistic frames. We show that the canonical dual probabilistic frame is the only dual frame of pushforward type of a probabilistic frame with zero redundancy. Furthermore, we show that probabilistic frames with finite redundancy are atomic and finite. Approximately dual probabilistic frames generalize duality, with pseudo-duality being a further generalization. We introduce these concepts and prove certain structural results. In particular, every probabilistic frame has a discrete finite frame as an approximate dual.
- [22] arXiv:2507.20376 (replaced) [pdf, html, other]
-
Title: Optimal decay of semi-uniformly stable operator semigroups with empty spectrumComments: 8 pagesSubjects: Functional Analysis (math.FA); Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA); Spectral Theory (math.SP)
We show that it is impossible to quantify the decay rate of a semi-uniformly stable operator semigroup based on sole knowledge of the spectrum of its infinitesimal generator. More precisely, given an arbitrary positive function $r$ vanishing at $\infty$, we construct a Banach space $X$ and a bounded semigroup $ (T(t))_{t \geq 0}$ of operators on it whose infinitesimal generator $A$ has empty spectrum $\sigma(A)=\varnothing$, but for which, for some $x \in X$, $$ \limsup_{t\to\infty} \frac{\|T(t)A^{-1}x\|_{X}}{r(t)}=\infty. $$
- [23] arXiv:2509.17451 (replaced) [pdf, html, other]
-
Title: Maximal Noncompactness of Wiener-Hopf OperatorsComments: 15 pages, accepted for publication in the Journal of Mathematical SciencesSubjects: Functional Analysis (math.FA)
Let $X(\mathbb{R})$ be a separable translation-invariant Banach function space and $a$ be a Fourier multiplier on $X(\mathbb{R})$. We prove that the Wiener-Hopf operator $W(a)$ with symbol $a$ is maximally noncompact on the space $X(\mathbb{R}_+)$, that is, its Hausdorff measure of noncompactness, its essential norm and its norm are all equal. This equality for the Hausdorff measure of noncompactness of $W(a)$ is new even in the case of $X(\mathbb{R})=L^p(\mathbb{R})$ with $1\le p<\infty$.
- [24] arXiv:2411.02226 (replaced) [pdf, html, other]
-
Title: Hörmander's Inequality and Point Evaluations in de Branges SpaceComments: Fixed some typosJournal-ref: Rev. Mat. Iberoam. 2025Subjects: Complex Variables (math.CV); Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA)
Let $f$ be an entire function of finite exponential type less than or equal to $\sigma$ which is bounded by $1$ on the real axis and satisfies $f(0) = 1$. Under these assumptions Hörmander showed that $f$ cannot decay faster than $\cos(\sigma x)$ on the interval $(-\pi/\sigma,\pi/\sigma)$. We extend this result to the setting of de Branges spaces with cosine replaced by the real part of the associated Hermite-Biehler function. We apply this result to study the point evaluation functional and associated extremal functions in de Branges spaces (equivalently in model spaces generated by meromorphic inner functions) generalizing some recent results of Brevig, Chirre, Ortega-Cerdà, and Seip.
- [25] arXiv:2411.15050 (replaced) [pdf, html, other]
-
Title: Anisotropic spaces for the bilateral shiftComments: 37 pages, 1 figureSubjects: Dynamical Systems (math.DS); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
Given two Hölder potentials $\phi_+$ and $\psi_-$ for the unilateral shift, we define anisotropic Banach spaces of distributions on the bilateral shift space with a finite alphabet. On these spaces, the transfer operator for the bilateral shift is quasicompact with a spectral gap, and the unique Gibbs state associated with $\phi_+$ spans its $1$-eigenspace. This result allows us to establish exponential decay of correlations for Hölder observables and a wide range of measures on the bilateral shift space.
- [26] arXiv:2509.21229 (replaced) [pdf, html, other]
-
Title: Inner approximations of doubling weights with applications to Beurling-Malliavin theory in Toeplitz kernelsComments: Fixed some typos and added a clarificationSubjects: Classical Analysis and ODEs (math.CA); Complex Variables (math.CV); Functional Analysis (math.FA)
Let $f$ be a strictly increasing smooth function, such that $f'$ is comparable to a weight $\alpha'$ which is locally doubling and satisfies a non-triviality condition to be explained in the paper. We construct a meromorphic inner function $J$, such that $f-\arg(J)$ is bounded and $\arg(J)'$ is comparable to $\alpha'$ up to polynomial loss. We give two applications of this result. The first is a sufficient density condition for a set $\Lambda$ to be a zero set for a Toeplitz kernel with real analytic and unimodular symbol. Our second application is to describe a class of admissible Beurling-Malliavin majorants in model spaces. The generality considered here lets us treat most cases of model spaces generated by one-component inner functions.
- [27] arXiv:2511.05386 (replaced) [pdf, other]
-
Title: CLT for $β$-ensembles with Freud weights, application to the KLS conjecture in Schatten ballsComments: v2: corrected some typosSubjects: Probability (math.PR); Functional Analysis (math.FA); Metric Geometry (math.MG)
In this paper, we are interested in the $\beta$-ensembles (or 1D log-gas) with Freud weights, namely with a potential of the form $|x|^{p}$ with $p \geq 2$. Since this potential is not of class $\mathcal{C}^{3}$ when $p \in (2,3]$, most of the literature does not apply. In this singular setting, we prove the central limit theorem for linear statistics with general test-functions and compute the subleading correction to the free energy. Our strategy relies on establishing an optimal local law in the spirit of [Bourgade, Mody, Pain 22'].
Our results allow us to give a large $N$ expansion up to $o(N)$ of the log-volume of the unit balls of $N\times N$ self-adjoint matrices for the $p$-Schatten norms and to give a consistency check of the KLS conjecture. For the latter, we consider the functions $f(X)=\mathrm{Tr}\left(X^r\right)^q$ and the uniform distributions on these same Schatten balls for $N$ large enough. While the case $p>3$, $q=1, r=2$, was proven in [Dadoun, Fradelizi, Guédon, Zitt 23'], we address in the present paper the case $p\geq2$, $q\geq1$ and $r\geq2$ an even integer. The proofs are based on a link between the moments of norms of uniform laws on $p$-Schatten balls and the $\beta$-ensembles with Freud weights. - [28] arXiv:2511.21110 (replaced) [pdf, html, other]
-
Title: Characterizing convex trace ranges in finite atomic von Neumann algebrasSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
The paper is devoted to characterizing convex trace ranges in finite atomic von Neumann algebras. The main result provides us with the necessary and sufficient condition for the range of a faithful normal trace on a finite atomic von Neumann algebra to be convex. In order to prove this result we will prove the following result, which has independent interest. Let ${\bf a}=(a_1, \ldots, a_n, \ldots)$ be a non-increasing positive sequence such that $\sum\limits_{n=1}^\infty a_n=1.$ Then each real number $0\le r \le 1$ can be represented in the form \( r=\sum\limits_{n=1}^\infty \varepsilon_n a_n, \,\,\, \varepsilon_n \in \{0,1\}, n\ge 1, \) if and only if the sequence ${\bf a}$ satisfies \(a_n \le 1-\sum\limits_{k=1}^n a_k \) for all $n\ge 1.$ A set $K$ of all sequences that satisfy the last property can be represented as a convex weak-compact subset of $\ell_1 = c_0^*$. We will describe the set of all extreme points of $K.$