The maximal operator on variable Lebesgue spaces: an ${\mathcal A}_{\infty}$-characterization

2026-03-10T08:59:27Z

In this paper we obtain a new boundedness criterion for the maximal operator $M$ on variable exponent spaces $L^{p(\cdot)}$. It is formulated in terms of the variable exponent analogue of the well known weighted $A_{\infty}$ condition.

Algebraicity of the Brascamp-Lieb constants

2026-03-10T01:00:53Z

We show that the Brascamp-Lieb (BL) constant BL(-,p) is a semi-algebraic function on the set of feasible data. Consequently, it is algebraic in the sense that it satisfies a polynomial relation of the form P(V, BL(V,p))=0 for a non-zero polynomial P. In fact, we establish an analogous statement in the more general setting of quiver BL constants associated to representations of bipartite quivers.

Cumulative Riemann sums, distribution functions, and a universal inequality

2026-03-09T21:46:03Z

We study discrete expressions of the form $$ T_n(g)=\sum_{i=1}^n a_i g(S_i), \qquad S_i=\sum_{j=1}^i a_j, $$ where $a_i>0$ and $\sum_{i=1}^n a_i=1$. If $g:[0,1]\to\mathbb{R}$ is a decreasing integrable function, we have $$ \sum_{i=1}^n a_i g(S_i) \le \int_0^1 g(x)\,dx, $$ from which classical inequalities can be obtained, for instance for the choice $g(x)=1-x^k$. Although elementary, this inequality admits a natural interpretation in terms of Riemann sums, Abel summation, and the probability integral transform. The aim of this paper is to present a unified perspective emphasizing that the discrete inequality is a consequence of a distribution-free continuous identity. Beyond the specific example, we establish a general discrete theorem for monotone functions and discuss connections with majorization theory and Karamata's inequality.

The $p$-Hardy-Rellich-Birman inequalities on the half-line

2026-03-09T19:26:25Z

The classical discrete $p$-Hardy inequality establishes a sharp relationship between the $\ell^{p}$-norms of a sequence and its discrete derivative. In this paper, we generalize this inequality to discrete derivatives of arbitrary integer order $\ell \geq 1$, yielding discrete $p$-Rellich ($\ell=2$) and general $p$-Birman ($\ell \geq 3$) inequalities. As a key step in the proof, we deduce a variant of the Copson inequality with a negative exponent, which may be of independent interest. Furthermore, we demonstrate how the continuous $p$-Birman inequality can be recovered from our discrete version, providing an alternative proof of this classical result. All constants in the obtained inequalities are shown to be optimal.

Spectrality of Prime Size Tiles

2026-03-09T16:11:41Z

We prove that if a tile in $\mathbb Z^d$ has prime size $p$, then it must be spectral. The proof is by contradiction, it is simply shown that the tiling complement of such a tile can not annihilate all $p$-subgroups. In addition, with a simple transformation we prove that any $p$ points in general linear positions in $\mathbb Z^d (d\ge p-1)$ must be both tiling and spectral.

Yet Another Characterisation of Classical Orthogonal Polynomials?

2026-03-09T16:10:38Z

The NIST Handbook of Mathematical Functions (2010) and the NIST Digital Library of Mathematical Functions (2025) classify classical orthogonal polynomials through Bochner's 1929 algebraic-differential characterisation and its discretisation. Yet this classification rests on a narrow reading of Bochner's work and on a restricted notion of orthogonality that becomes inadequate once polynomials are characterised by their algebraic properties. As a result, algebraically equivalent families are treated as distinct, parameter domains are restricted, and families already implicit in Bochner's scheme are excluded. In the mid-1980s, Maroni challenged this view by extending the notion of classical orthogonal polynomials through duality theory on locally convex spaces, thereby reaching the algebraic limits latent in Bochner's framework. Yet when the notion was later enlarged to include further families, Maroni's criteria and rationale were largely set aside. To clarify this history, we revisit a less familiar line of development and use it to obtain a classification of classical orthogonal polynomials on linear lattices within Maroni's functional-analytic setting, beyond the positive-definite case. This classification recovers all known families as special cases, preserves orthogonality and the defining algebraic properties, places supposedly new families in their proper structural context, and shows that algebraically identical polynomials are often treated as distinct. Moreover, through a limit process in the weak topology of the continuous dual, we recover families implicit in Bochner's work and unify the continuous and discrete cases within a dual-topological framework. Thus, neither Bochner's classical characterisation nor its discrete analogue is modified to produce ad hoc families; both are recovered at the level of their intrinsic algebraic structure.

Asymmetric uniqueness sets in $\ell^q$

2026-03-09T15:18:30Z

We exhibit an asymmetry phenomenon for uniqueness sets in $\ell^q$. Specifically, we construct sets that do not support measures with $\ell^q$-summable Fourier coefficients, yet simultaneously support measures whose positive frequencies decay faster than polynomials. In the language of Fourier uniqueness, this highlights a striking divergence between the unilateral and bilateral $\ell^q$ uniqueness problems.

Spectrum of Hausdorff operators on weighted Bergman and Hardy spaces of the upper half-plane

2026-03-09T14:45:13Z

We characterize the spectrum of Hausdorff operators on weighted Bergman and power weighted Hardy spaces of the upper half-plane.

Cancellative sparse domination

2026-03-09T14:43:19Z

We present a general sparse domination principle which respects the cancellative structure of the functions under study. We obtain sparse domination results in general measure spaces, including general martingale settings in one and two parameters, and in the Euclidean setting. In the one-parameter martingale setting, we obtain a sparse characterization of the $H^1$ norm. The proofs make critical use of precise level-set estimates for generalized versions of medians. Our results imply new, quantitatively sharp, weighted results for martingales and Calderón-Zygmund operators acting on $H^p$ spaces.

Quantitative Convergence for Sparse Ergodic Averages in $L^1$

2026-03-09T14:39:47Z

We provide a unified framework to proving pointwise convergence of sparse sequences, deterministic and random, at the $L^1(X)$ endpoint. Specifically, suppose that \[ a_n \in \{ \lfloor n^c \rfloor, \min\{ k : \sum_{j \leq k} X_j = n\} \} \] where $X_j$ are Bernoulli random variables with expectations $\mathbb{E} X_j = n^{-α}$, and we restrict to $1 < c < 7/6, \ 0 < α< 1/2$. Then (almost surely) for any measure-preserving system, $(X,μ,T)$, and any $f \in L^1(X)$, the ergodic averages \[ \frac{1}{N} \sum_{n \leq N} T^{a_n} f \] converge $μ$-a.e. Moreover, our proof gives new quantitative estimates on the rate of convergence, using jump-counting/variation/oscillation technology, pioneered by Bourgain. This improves on previous work of Urban-Zienkiewicz, and Mirek, who established the above with $c = \frac{1001}{1000}, \ \frac{30}{29}$, respectively, and LaVictoire, who established the random result, all in a non-quantitative setting.

The Fourier extension conjecture for the paraboloid

2026-03-09T11:36:24Z

We give a proof of Fourier extension conjecture on the paraboloid in all dimensions bigger than 2 that begins with a decomposition suggested in Sawyer [Saw8] of writing a smooth Alpert projection as a sum of pieces whose Fourier extensions are localized. This is then used to establish a local inequality that is well known to be equivalent to the Fourier extension conjecture, and is accomplished by using a variant of the bilinear equivalence of the Fourier extension conjecture given by Tao, Vargas and Vega in [TaVaVe]. A key aspect of our proof is that the bilinear inequality, when taken over smooth Alpert projections, only requires an averaging over grids of functions mollified by discrete multipliers, which converts a difficult exponential sum into an oscillatory integral with periodic amplitude. This is then controlled using a stationary phase estimate with periodic amplitude, and altogether we then obtain the desired localization on the Fourier side.

On Cone Restriction Estimates in Higher Dimensions

2026-03-09T07:56:24Z

We revisit the Ou-Wang's approach to the cone restriction problem via polynomial partitioning. By recasting their inductive scheme as a recursive algorithm and incorporating the nested polynomial Wolff axioms, we obtain improved bounds for cone restriction estimates in higher dimensions.

Estimates for maximal Fourier multiplier operators on $\Bbb R^2$ via square functions

2026-03-09T04:32:47Z

We consider certain Littlewood-Paley square functions on $\Bbb R^2$ and prove sharp estimates for them, from which we can deduce $L^p$ boundedness of maximal functions defined by Fourier multipliers of Bochner-Riesz type on $\Bbb R^2$. This is a generalization of a result due to A. Carbery 1983.

A note on small cap square function and decoupling estimates for the parabola

2026-03-09T03:57:27Z

In this paper, we prove small cap square function and decoupling estimates for the parabola, where the small caps are essentially axis-parallel rectangles of dimensions $δ\times δ^β$ for $0\leq β\leq 1$. Our estimates complement the known results for $1 \leq β\leq 2$ and are sharp up to polylogarithmic factors.

PDE propagation, sampling, and the Fourier ratio

2026-03-08T23:59:41Z

We study recovery from incomplete random spatial samples for discretized fields arising as fixed-time snapshots of partial differential equations. The organizing parameter is the Fourier ratio $$ FR(g)=\frac{\|\widehat g\|_1}{\|\widehat g\|_2}, $$ which quantifies effective spectral dimension and governs stable $\ell^1$ recovery in bounded orthonormal sampling models. Our main observation is that fixed-time PDE propagation can strictly improve Fourier ratio bounds relative to the discretized initial data. In dimension three, the wave snapshot operator introduces additional high-frequency decay, leading after discretization to Fourier ratio bounds that are uniformly controlled in the grid size (up to discretization errors), whereas the corresponding bounds for the initial discretization are typically polynomial in $N$. For the heat equation in any dimension, Gaussian frequency damping yields Fourier ratio bounds that are essentially independent of grid resolution for fixed positive time. Combining these deterministic Fourier ratio improvements with standard $\ell^1$ recovery guarantees yields explicit sampling-rate bounds for stable reconstruction from missing spatial samples. Numerical experiments confirm that PDE propagation acts as a spectral preconditioner that lowers effective sampling complexity in practice.