arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

New this week

New in math.FA Functional Analysis

98 papers in math.FA from 6 November to 12 November 2026.

Includes papers cross-listed here; the counts on the field chips are by primary category.

showing 1–25 of 98, newest first RSS

Hardy Spaces and Toeplitz operators on the Hexablock

Sourav Pal, Guicong Su, Nitin Tomar

math.FA · · cited 0× · arXiv ↗ · more like this ·

The hexablock is a domain in $\mathbb{C}^4$ given by \[ \mathbb{H}=\left\{(a,x_1,x_2,x_3)\in \mathbb{C}\times\mathbb{E}: \sup_{z_1,z_2\in\mathbb{D}} \left| \frac{a\sqrt{(1-|z_1|^2)(1-|z_2|^2)}} {1-x_1z_1-x_2z_2+x_3z_1z_2} \right|<1 \right\}, \] where $\mathbb{E}=\left\{(x_1,x_2,x_3)\in\mathbb{C}^{3}: 1-x_1z_1-x_2z_2+x_3z_1z_2\neq 0 \ \text{for all}\ z_1,z_2\in\overline{\mathbb D}\right\}$ is the tetrablock. We introduce a Hardy space $H^2(\mathbb H)$ associated with a canonical measure $μ_{\mathbb H}$ on the distinguished boundary $b\mathbb H$ of the hexablock. We identify $H^2(\mathbb H)$ with a closed subspace of $L^2(b\mathbb H,μ_{\mathbb H})$ and show that it is a reproducing kernel Hilbert space. We prove that $\mathbb H$ is the interior of the polynomial convex hull of $Ψ_{\mathbb H}(\overline{\mathbb D}^4)$, where \[ Ψ_{\mathbb H}(ξ_1, ξ_2,λ_1,λ_2) = \left(\frac{λ_1(ξ_1-1)}{2}…

Augmented Dynamical Sampling under unmodeled Forcing

Juan Giribet, Serena Feldberg

math.FA · · cited 0× · arXiv ↗ · more like this ·

We study recovery of an initial state from dynamical samples of a trajectory driven by unknown additive forcing. Measurements against both the original sensors and their images under the adjoint nominal evolution yield one-step residuals that cancel the initial state exactly. These residuals separate forcing estimation from initial-state reconstruction. For a centered Gaussian forcing model with fixed covariance parameters, we combine Gaussian conditioning with canonical dual-frame reconstruction and derive an exact unconditional second-moment identity, including the correlation between the forcing-estimation error and the measurement noise. We also obtain high-probability bounds and identify the irreducible forcing uncertainty through a conditional covariance in the geometry induced by the prior. A hierarchy of augmented sensor systems separates the role of sampling depth in forcing…

Quantitative characterization of Gaussian small ball probabilities

Jaouad Mourtada

math.PR · · cited 0× · arXiv ↗ · more like this ·

The quantitative study of the Gaussian measure of symmetric convex sets is a central theme at the interface of probability theory and convex geometry. From a probabilistic perspective, it amounts to analyzing the tail behavior of suprema of Gaussian processes. The typical magnitude and upper tail of Gaussian processes are well-understood, thanks to Talagrand's celebrated Majorizing Measures theorem and to Gaussian concentration. In contrast, despite fundamental connections with metric entropy established by Kuelbs and Li, no general sharp characterization of the lower tail is available. In this work, we close this gap by establishing a sharp two-sided characterization of Gaussian small ball probabilities, involving both metric entropy and local widths of the underlying convex body. This yields an explicit chaining-type description of lower quantiles of Gaussian processes in terms of the…

The Brown--Shields Conjecture: Two Approximation Theorems and a Counterexample

Bonan Chen, Xiang Fang, Feng Guo

math.FA · · cited 0× · arXiv ↗ · more like this ·

We construct an outer function in the classical Dirichlet space whose radial zero set has logarithmic capacity zero, but whose polynomial multiples do not approximate the constant function $1$. This disproves the Brown--Shields conjecture. The proof rests on two approximation theorems for canonical generators of invariant subspaces. The first shows that every proper outer canonical generator can be approximated in the Dirichlet norm by canonical generators associated with singular inner functions determined by finite positive atomic measures. The second shows that each fixed finite-atomic canonical generator can be recovered as a strong Dirichlet limit of outer canonical generators whose radial zero sets have arbitrarily small logarithmic capacity. We then combine these approximations using two techniques: a complete metric that controls boundary logarithms and a nested-ball…

Kac lemma on noncommutative probability spaces

Tattwamasi Amrutam, Diptesh Saha, Xumin Wang

math.OA · · cited 0× · arXiv ↗ · more like this ·

We prove non-commutative Kac's formula for actions of countable groups. We replace the return time functions by suitable projections in von Neumann algebras. Moreover, we prove a generalised Kac's formula in the non-commutative setting which extends the allocation construction of Meyerovitch and Weiss and is motivated by the random Kac inequality of Aaronson.

Three Lipschitz functions on infinite-dimensional Hilbert spaces with no common point of Fréchet differentiability

Zhouzhe Wang

math.FA · · cited 0× · arXiv ↗ · more like this ·

We prove that on every infinite-dimensional real Hilbert space \(H\), there exist three real-valued Lipschitz functions with no common point of Fréchet differentiability. This gives a negative answer to a longstanding question of Lindenstrauss, Preiss, and Tišer. The proof is constructive and relies on elementary calculus and finite-dimensional linear algebra. Since every Lipschitz map from a Hilbert space into $\mathbb R^2$ has a point of Fréchet differentiability, the target dimension three is optimal.

Invariant subspaces for integration and differentiation on convex domains

Erik Avelin

math.CV · · cited 0× · arXiv ↗ · more like this ·

For a conformal map $g$ of the unit disc $U$ onto any bounded convex domain $Ω$ we determine the invariant subspaces for the integration operator $T_gf = \int_0^zfg'$ on the Hardy space $H^p$, by means of a Fock space model. Under some additional regularity assumptions on $\partialΩ$ we also treat integration from a boundary point of $U$, and we determine the residual subspaces (those invariant subspaces on which the operator has empty spectrum) for the left inverse $D_gf = f'/g'$ of $T_g$ on the smooth disc algebra $A^\infty$. The latter result is new even for $Ω= U$.

Analogs of crystalline measures in tube sets

Özkan Deǧer, Sergii Favorov

math.FA · · cited 0× · arXiv ↗ · more like this ·

Let $μ$ be a pure point complex measure on a tube set $R^d+i F$, where $F$ is a compact convex subset in $R^d$, such that this tube set is the minimal closed convex tube set containing support of $μ$. Furthermore, assume that the Fourier transform $\hatμ$ (in the sense of distributions) is a measure. We determine conditions on the measure $μ$ under which the variation of the measure $\hatμ$ grows at least as $\exp\{2πH_F(t)\}$, as well as conditions under which this variation grows at most as $\exp\{2πH_F(t)\}$; here $H_F(t)$ is the support function of $F$.

Weighted STSAFT-Modulation Spaces and Approximation by Phase-Adapted Neural Networks

Ming Hu, Bei Liu, Bolin Liu +1 more

math.FA · · cited 0× · arXiv ↗ · more like this ·

We develop a transform-adapted approximation framework for shallow neural networks based on the short-time special affine Fourier transform (STSAFT). Replacing the short-time Fourier transform (STFT) in the definition of classical modulation spaces, we work with weighted STSAFT-modulation spaces, building on the existing SAFT-associated modulation-space framework, and use their chirp correspondence with classical weighted modulation spaces through the chirp factorization of the SAFT kernel. We construct an associated neural dictionary and establish an $N$-term Sobolev approximation bound of order $N^{-1/2}$ on bounded one-dimensional domains. A global approximation theorem is also obtained when the spatial translation parameter ranges over the whole real line; a compact-support argument explains why an unrestricted global conclusion cannot in general be inferred from a bounded…

Convolution on quantum tori I: Sharp Young inequalities and endpoint Sobolev embeddings

Fedor Sukochev, Ramazan Tastankul, Kanat Tulenov +1 more

math.FA · · cited 0× · arXiv ↗ · more like this ·

We introduce a convolution of noncommutative tori. The construction is the preadjoint of a trace-preserving cocycle-addition homomorphism. Its zero-parameter case is the function--operator semi-convolution. We prove both mixed $L_{1}$--$L_\infty$ inequalities and various Young inequalities with the optimal constant one, including their limiting cases. The endpoint bounds also yield submajorization and convolution estimates in fully symmetric spaces. As applications, we establish, for every integer $k\geq1$ and $1\leq p\leq\infty$, $W_{p}^{k}(\mathbb{T}_θ^{d})\hookrightarrow B_{\infty,\infty}^{k-\frac{d}{p}}(\mathbb{T}_θ^{d})$, and prove the critical embedding $W_{1}^{d}(\mathbb{T}_θ^{d})\hookrightarrow L_\infty(\mathbb{T}_θ^{d})$. These results settle the two questions posed in Remark~6.8 of Xiong, Xu and Yin \cite{XiongXuYin}.

The Wasserstein cost of the Girsanov Theorem

Simon Coste

math.PR · · cited 0× · arXiv ↗ · more like this ·

This is an expository note on the asymptotics of the Wasserstein distance between the empirical measure of infinite-dimensional random paths and their common distribution. We present the classical proof for these asymptotics in the case of the Wiener measure, unifying quantization arguments from Dereich and coauthors or Boissard and Le Gouic, and we adapt it for Itô diffusions sampled through the Girsanov theorem. More precisely, let $\mathbb{Q}$ be the law of the solution of a stochastic differential equation with a bounded Lipschitz drift. Let $W_1,\ldots,W_n$ be independent Brownian paths, and let $Z_i$ be their Girsanov weights for $\mathbb{Q}$. The reweighted empirical measure $$\widehatμ_n=\frac{\sum_{i=1}^n Z_iδ_{W_i}}{\sum_{i=1}^n Z_i}$$ approximates $\mathbb{Q}$ when $n$ is large. We prove that the Wasserstein cost $W_p^p(\widehatμ_n,\mathbb{Q})$ is of order $(\log n)^{-p/2}$…

Sharp constants and martingale proofs for two-weight Hardy inequalities with general measures

Saikat Kanjilal

math.CA · · cited 0× · arXiv ↗ · more like this ·

We study the least constant $C_*$ in the two-weight Hardy inequality from $L^p(σ)$ to $L^q(ω)$ for the operator $H_σg(x)=\int_{(0,x]}g\,dσ$, where $σ$ is a Borel measure on the half-line that is finite on each interval $(0,x]$ and $ω$ is a $σ$-finite Borel measure there, atoms allowed. Let $\mathcal A$ be the Maz'ya--Rozin functional and let $1<p<\infty$. For $0<q<p$ we find the best factor $κ_{p,q}$ in $C_*\leκ_{p,q}\mathcal A$. For $1\le q<p$ we prove $C_*\ge\mathcal B\ge\mathcal A$, where $\mathcal B$ is a Lebesgue--Stieltjes form of $\mathcal A$. The factor $1$ is best possible. For $0<q<1$ we give a lower factor valid for all such measures and an upper bound for the best lower factor. This bound comes from atoms of $ω$. It is smaller than the lower factor proved by Sinnamon (1991) for weights. A two-atom example shows that the bound is not always sharp. The proofs use a reverse…

Path Components of Almost Doubly Commuting Fredholm Tuples

Chen Li, Guohao Li, Kai Wang

math.FA · · cited 0× · arXiv ↗ · more like this ·

In this article, we prove that the Fredholm index classifies the norm-path components of almost doubly commuting Fredholm n-tuples on a separable infinite dimensional Hilbert space. Using Kasparov's technical theorem, we join each tuple to an essentially normal one by a straight-line Fredholm path and applying the Douglas-Curto theorem.

The norm formula in a Banach space and in its complete theory

Pedro Poitevin

math.LO · · cited 0× · arXiv ↗ · more like this ·

We study how stability and the independence property of the norm formula $φ(x,y)=\lVert x+y\rVert$ on a real Banach space relate to the same properties in its complete theory. We construct separable Banach spaces $X$ and $Y$ and a separable elementary extension $W$ of $X$. The norm formula is stable on $X$ and has the independence property on $W$, and therefore in $\operatorname{Th}(X)$. It is unstable on $Y$ and has no independence property in any model of $\operatorname{Th}(Y)$. Together with $\ell_2$ and $X\oplus_2Y$, these spaces realize all five possible combinations of stability, instability without the independence property, and the independence property on a space with the presence or absence of the independence property in its complete theory. All five spaces are uniformly convex and $\sqrt3$-isomorphic to Hilbert space. Their norms satisfy the common midpoint estimate $\lVert…

Nagata dimension, separation modulus and stochastic embeddings into trees

Ramón Aliaga, Rubén Medina

math.MG · · cited 0× · arXiv ↗ · more like this ·

The separation modulus of a metric space, introduced by Bartal in 1996, is related to different notions of dimensionality. Most generally, Naor and Silberman gave in 2011 an upper bound on the separation modulus in terms of Nagata dimension. We prove that this bound cannot be reversed; that is, there are metric spaces with arbitrarily high Nagata dimension and stochastically embeddable into trees with uniform distortion, which therefore have uniformly bounded separation modulus. Similarly, we construct spaces with arbitrarily high Nagata dimension whose spaces of probability measures endowed with the Earth Mover's Distance (equivalently, their Lipschitz-free spaces) are embeddable into $L_1$ with uniformly bounded distortion. By gluing these spaces together, we obtain infinite Nagata dimensional metric spaces whose separation modulus is finite and whose Lipschitz-free space is…

Strongly reducible operators in factors

Minghui Ma, Rui Shi, Jianming Yang +1 more

math.FA · · cited 0× · arXiv ↗ · more like this ·

Let $\mathcal M$ be a factor acting on a separable complex Hilbert space. For every operator $T$ in $\mathcal M$ with dense generalized kernel and $T^2\ne 0$, we characterize the strong reducibility of $T$ relative to $\mathcal M$ based on a $3\times 3$ asymmetric matrix representation of $T$. As applications, we obtain criteria for the strong reducibility of algebraic operators in finite factors and type $\mathrm{III}$ factors. We also prove that every Hilbert space operator with an infinite-dimensional multicyclic direct summand is similar to an irreducible operator.

Sampled resolvents of $C_0$-semigroups: aliasing and sharp rates on the Crandall-Pazy scale

Nicholas Castillo

math.FA · · cited 0× · arXiv ↗ · more like this ·

For a $C_0$-semigroup $(S_t)$ with generator $B$, sampling the Laplace integral $(λ-B)^{-1}=\int_0^\infty e^{-λt}S_t\,dt$ on the grid $T\mathbb{N}$ gives $Q_T=T(I-e^{-λT}S_T)^{-1}$, the impulse-invariant discretization of the resolvent. The motivation is a dyadic series of Castillo, Costin and Costin for the resolvent of a self-adjoint operator: its partial sums are exactly $Q_{2^{-N}}$, so the series is a telescoped rectangle rule. By Poisson summation, on $D(B)$ the error of $Q_T$ is the scalar $T/2$ plus the symmetric limit of the resolvents at the alias points $λ-2πin/T$, $n\ne0$, and the dyadic levels remove these aliases according to the $2$-adic valuation of $n$. Our main result is a sharp scale of rates for the trapezoid correction $Q_T-\frac T2I$. If $(S_t)$ belongs to the Crandall--Pazy class with parameter $α\in(0,1]$, that is $\|BS_t\|=O(t^{-1/α})$ as $t\to0$, the error is…

Hypercyclic Algebras for Weighted Double Shifts

Xiang Chen, Wei Wang, Ze-hua Zhou

math.FA · · cited 0× · arXiv ↗ · more like this ·

Building on the approach of Bayart, Costa Júnior and Papathanasiou, we establish a Baire criterion for possibly noncommuting operator pairs to support hypercyclic algebras, with hypercyclicity defined through all finite compositions.We then study weighted double backward shifts under different multiplications and topologies.We characterize the existence of hypercyclic algebras for coordinatewise multiplication on sequence algebras admitting a continuous norm and, separately, on $ω^2=\mathbb C^{\mathbb N_0^2}$ with the product topology.For the noncommutative triangular product induced by upper triangular matrix multiplication, we obtain necessary and sufficient conditions for the existence of dense hypercyclic algebras on $ω^2$.In this setting, their existence is equivalent to that of one freely generated by countably infinitely many elements.Finally, we exhibit a pair on a fixed Fréchet…

A Rigorous Fredholm Framework and Stabilized Equal-Order Finite Element Methods for the Time-Harmonic Biot Model

Mingchao Cai, Yiming Fu, Jingzhi Li

math.NA · · cited 0× · arXiv ↗ · more like this ·

We investigate the well-posedness and finite element approximation of a three-field formulation of the time-harmonic Biot model, motivated by frequency-domain magnetic resonance elastography. The underlying complex-valued mixed variational problem is noncoercive because of the inertial elasticity term and the coupled three-field structure. Continuous well-posedness is established under a non-resonance condition by decomposing the variational operator into an invertible principal part and a compact perturbation and applying the Fredholm alternative. We then develop stabilized equal-order finite element methods based on momentum-residual stabilization and local projection stabilization of the pore pressure. For the discrete problem, we establish mesh-uniform stability and well-posedness on sufficiently fine meshes via an a priori stability estimate and a Schatz-type compactness argument…

Semigroups with periodic complex-time boundedness and holomorphy regions

M. A. Perelmuter

math.FA · · cited 0× · arXiv ↗ · more like this ·

We study the periodicity of complex-time boundedness and holomorphy domains of operator semigroups. We show that an imaginary-time covariance identity involving an isometry yields periodicity of these domains. The method is applied to the Ornstein--Uhlenbeck operator and the hypoelliptic Laplacian on the circle, providing a spectral explanation of periodicity independent of the explicit geometry of their boundedness regions. We also discuss the distinction between boundedness and contractivity, using the classical heat semigroup as an example.

Optimal approximation results for non-standard growth functionals in the super-dimensional case

Peter Hästö, Jihoon Ok

math.FA · · cited 0× · arXiv ↗ · more like this ·

In the super-dimensional case $p>n$ we show that $W^{1,p}$-functions can be uniformly approximated by Hölder continuous functions with improved exponent $\frac {p-n}{p-1}$. We use this to show density of smooth functions and absence of Lavrentiev's phenomenon for $(p, q)$-growth with optimal conditions. The special cases of double phase and Musielak--Orlicz growth are also included. Finally, we improve the conditions for maximal regularity of the double phase minimizers. In each case the optimality of our range of exponents is shown by known examples.

On the Equivalence of Linear and $C^*$ Extremality for Unital Completely Positive Maps on Commutative Real $C^*$-algebras

Sriram Balasubramanian, Karthikeyan Thangaraj

math.OA · · cited 0× · arXiv ↗ · more like this ·

Let $\mathcal A$ be a unital commutative real $C^*$-algebra and $\mathcal H$ be a finite dimensional real Hilbert space. In this article, an easily verifiable necessary and sufficient condition for a linear extreme unital completely positive (UCP) map $Φ:\mathcal A \rightarrow B(\mathcal H)$ to be C*-extreme, is obtained. As an application, the $C^*$-algebras $\mathcal A$ on which linear extreme UCP maps coincide with the $C^*$-extreme ones, are classified.

Diffusion phenomena for evolution equations

Sebastian Król, Yuri Latushkin, Yuri Tomilov

math.AP · · cited 0× · arXiv ↗ · more like this ·

We study the diffusion phenomenon for the abstract damped wave equation $u''+Bu'+Au=0$ on a Banach space and its possibly degenerate parabolic counterpart $Bv'+Av=0$. We assume that $B$ is bounded and the wave equation is well-posed, without requiring symmetry, injectivity, or commutativity of $A$ and $B$. Our aim is to identify initial data for which the parabolic solution is a genuine diffusive profile: $\|u(t)-v(t)\|=o(\|v(t)\|)$ as $t\to\infty$. Using Fourier analysis of resolvent expressions for the associated quadratic and linear operator pencils, we establish decay estimates for the difference of hyperbolic and parabolic solutions and their time derivatives. In particular, we characterize broad classes of initial data yielding the classical upper bounds of orders $t^{-1}$ and $t^{-2}$. We also prove lower bounds for both solutions, of the form $\|u(t)\|,\|v(t)\|\gtrsim r(t)$, for…

The bounded approximation property in Banach function lattices, interpolation of the essential norm, and applications

Juan José Marín

math.FA · · cited 0× · arXiv ↗ · more like this ·

We prove the bounded approximation property for Banach function lattices with order continuous norm on which the Hardy-Littlewood maximal operator is bounded. This allows us to develop a general framework for the quantitative interpolation of compact operators, understood in terms of the essential norm, encompassing a large class of function spaces including weighted Lebesgue spaces, rearrangement invariant Banach function spaces, and variable exponent Lebesgue spaces. Combined with extrapolation techniques, we show how to transfer compactness (or, more generally, control of the essential norm) from unweighted Lebesgue spaces to the three aforementioned classes of function spaces. Finally, we present several applications in analysis and partial differential equations.