Dimension-free Markov--Bernstein inequalities for product measures

2026-06-11T17:01:24Z

We study dimension-free Markov--Bernstein inequalities for polynomials with respect to product probability measures. In the Gaussian case, for $p\ge4$, we prove that \[ \|\nabla f\|_{L^p(γ^n)} \le C(p)d^{\frac12+θ_p} \|f\|_{L^p(γ^n)} \] for every polynomial $f$ of degree at most $d$, where $θ_p\le \frac{2}{3p}$ and $θ_p=0$ whenever $p$ is an even integer. Thus, for even integer exponents, we establish the sharp dependence on the degree conjectured by Eskenazis--Ivanisvili. For general $p\ge4$, the estimate improves upon their dimension-free inequality. We also obtain dimension-free Markov--Bernstein inequalities with sharp dependence on the degree for even integer exponents beyond the Gaussian setting. We first prove such estimates for the uniform distribution on the unit cube and then extend them to products of absolutely continuous measures with unimodal densities. Finally, we treat products of one-dimensional Freud measures with densities proportional to $e^{-|t|^{2m}}$.

Pathwise integration beyond Young via Faber--Schauder energy spaces

2026-06-11T13:23:57Z

We develop a pathwise integration theory based on Faber--Schauder energy spaces. The approach replaces the classical Hölder--Young and finite-variation Young conditions by dyadic summability conditions expressed in terms of Faber--Schauder coefficients. On the normalized interval $[0,1]$, these conditions define Banach spaces $\mathcal{E}^p$, which we call Faber--Schauder energy spaces. For $p,q>1$ satisfying $1/p+1/q\ge1$, we prove that every pair $f\in\mathcal{E}^p$ and $g\in\mathcal {E}^q$ admits a continuous pathwise integral $I_{f,g}$, constructed from dyadic left Riemann sums. We call $I_{f,g}$ the Faber--Schauder integral, and show that it depends boundedly and bilinearly on $(f,g)$ in the corresponding energy norms. The integral satisfies additivity, integration by parts, and a dyadic Young--Loève estimate. It is also the uniform limit of classical Riemann--Stieltjes integrals of finite Faber--Schauder approximations. The Faber--Schauder integral agrees with the classical Young integral whenever the latter is available, but also applies to deterministic and Gaussian examples for which neither the Hölder--Young condition nor the finite-variation Young condition can be verified. In this sense, it provides a Faber--Schauder coefficient-based extension of Young's framework.

Quantitative flatness and obstructions in Fourier analysis

2026-06-11T10:42:23Z

Three important problems in Fourier analysis are the Fourier restriction problem, the $L^p$-improving problem, and the Fourier decay problem. Positive results for any of these problems require a quantitative understanding of various geometric properties of the given measure, including curvature and arithmetic resonance. In this paper we establish a unified framework for providing negative results for all three problems (that is, we provide explicit obstructions to a measure satisfying certain Fourier restriction, $L^p$-improving, or Fourier decay estimates) by quantifying flat parts of the measure in the spirit of the well-known Knapp examples from harmonic analysis. Our main interest is in the application of these abstract results in various concrete settings where we use analytic and fractal geometric concepts to force `flatness'. Our framework applies generally and this allows us to unify and extend various parts of the literature. Some representative applications include: (i) we bound the Fourier dimension of the surface measure on a compact $C^2$ surface of arbitrary dimension above by the smallest ambient rank of a point on the surface; (ii) we prove that the Fourier dimension of a smooth curve in $\mathbb{R}^d$ is at most $4/(d+1)$ and so such curves cannot be Salem for $d \geq 4$ with analogous results for higher dimensional submanifolds; (iii) we obtain explicit upper bounds for the Fourier dimension of the Patterson-Sullivan measure for parabolic Kleinian group actions, as well as ergodic measures on self-affine sets; (iv) we establish novel connections between Fourier restriction/decay and a priori unrelated concepts in fractal geometry including the Assouad spectrum of projections and slices, and a strong form of tube-nullity. We establish several auxiliary results along the way, including a precise characterisation of L^2-flattening in terms of the Fourier spectrum.

On Almgren's Multiple-valued Functions of Class 1

2026-06-11T07:39:00Z

We prove that all reasonable definitions of multiple-valued functions with continuous derivatives are equivalent, which eliminates inconsistencies in the literature. As an intermediate result we prove that affinely approximable functions defined on intervals admit a differentiable selection.

On the almost everywhere convergence of two-parameter ergodic averages along directional rectangles

2026-06-11T07:21:00Z

In this paper, we study the almost everywhere convergence of sequences of two-parameter ergodic averages over rectangles in the plane. On the one hand, we show that if the rectangles we consider have their sides with slopes in a finitely lacunary set, then the averages converge almost everywhere in all $L^p$ spaces, $1 < p < \infty$. On the other hand, given some non-lacunary sets of directions, we construct sequences of rectangles oriented along these directions for which the associated ergodic averages fail to converge almost everywhere in any $L^p$ space, $1 < p < \infty$.

The (local) geometry of oscillatory integrals on manifolds: Dimension three

2026-06-11T05:34:48Z

Sogge studied Kakeya problems on two extreme types of three dimensional Riemannian manifolds: Manifolds with the most symmetries (manifolds of constant sectional curvature) and manifolds with the least symmetries, which he called manifolds with chaotic curvature and variably curved manifolds. In the same paper, Sogge proposed studying manifolds with intermediate symmetry, such as (locally) symmetric spaces. In the current paper, we propose a classification of curvature conditions in the spirit of Sogge's program. In particular, these curvature conditions give a complete geometric characterization of the contact order conditions (for Riemannian distance functions), introduced when people were studying Hörmander-type oscillatory integral operators. One of these conditions generalizes Sogge's chaotic curvature condition to all finite orders: The chaotic curvature condition of order $\le k$ for every $k\ge 1,$ with the case $k=1$ corresponding to Sogge's original condition for variably curved manifolds. As byproducts of our main results, we show that there are no manifolds satisfying the chaotic curvature condition of order $\le 1$. We also show that both the chaotic curvature condition of order $\le 2$ and its failure can occur robustly under small smooth perturbations, and for every $k\ge 3$, a ``generic" manifold satisfies the chaotic curvature condition of order $\le k$. It turns out that the chaotic curvature condition of order $\le k$ is precisely the same as the notion of non-$(k+2)$-exceptional, where $k$-exceptional is introduced by Lytchak and Petrunin \cite{LP22} when studying convex sets and the non-existence of totally geodesic sub-manifolds. Thus our results imply, in particular, that every manifold is $3$-exceptional.

An Oskolkov--Zhizhiashvili Criterion for Rectangular Fourier Sums

2026-06-11T05:23:13Z

Let $S_{\mathbf n}f$ denote the symmetric rectangular partial sums of the trigonometric Fourier series of a function on the $d$-dimensional torus. We prove a summable endpoint criterion at the Zhizhiashvili critical scale for all $d\ge2$ and $1\le p\le2$. The criterion allows a general summable secondary weight at the iterated-logarithmic level and contains, as special cases, a double-logarithmic endpoint criterion and an $L^p$ Oskolkov-type corollary. In particular, it answers the Zhizhiashvili--Marcinkiewicz problem for $1

Remarks on the Ionescu-Wainger multiplier theorem

2026-06-10T20:45:53Z

In this paper, we extend the recent Ionescu--Wainger multiplier theorem for the set of canonical fractions by Kosz, Mirek, Peluse, Wan, and Wright in several directions. First, we prove its weighted version, which allows us to combine a multifrequency setting with appropriate arithmetic weights. Second, we establish useful seminorm variants of the theorem. Third, we improve the norm upper bounds and, surprisingly, show that these bounds cannot be uniform in the size of the family of canonical fractions. Finally, we demonstrate how these refinements (especially handling arithmetic weights) can be applied by giving a short proof of Bourgain's pointwise ergodic theorem for polynomial iterates.

Analytic approaches to perturbations of strongly coupled Yang-Mills plasma

2026-06-10T18:00:03Z

We study perturbations of Yang-Mills plasma, represented by scalar quasinormal modes of AdS black branes, as functions of the wave number $q$ in the entire range from zero to infinity. At finite $q$, these modes can be computed by classical spectral methods based on truncating the boundary value problem. We show that this truncation admits a natural analytic interpretation in terms of quantum Seiberg--Witten periods in the Nekrasov--Shatashvili limit, with the spectral condition organised as an instanton expansion around small values of the counting parameter. The physical black-brane problem corresponds to evaluating this series at a finite value of the counting parameter, and the Seiberg--Witten formulation provides a systematic way to analyse when the truncation is under control. In particular, it reveals that, as $q$ or the mode number $N$ increases, the physical point approaches the boundary of the domain of convergence of the instanton expansion, limiting the validity of the truncation approach. We overcome this limitation through an exact WKB analysis in which $q^{-1}$ acts as the expansion parameter. The resulting exact quantisation conditions, expressed in terms of period integrals and the associated Stokes geometry, incorporate both perturbative and non-perturbative corrections. The resummed quasinormal modes remain accurate far beyond the strict large-$q$ regime and can be analytically continued all the way to $q=0$, notably by using the Seiberg--Witten approach, providing a consistent description of the QNM spectrum.

Weighted inequalities in ergodic theory via transference

2026-06-10T07:48:22Z

We first extend Calderón's transfer principle to weighted spaces, and then we apply our results to obtain some new weighted inequalities in ergodic theory and ergodic $H^1$ spaces.

The general Brannan coefficient conjecture II: Meijer-function approximations

2026-06-10T03:33:22Z

The coefficients $A_n(α,β,ω)$ in the Maclaurin expansion $(1+ωz)^α(1-z)^{-β}=\sum_{n=0}^{\infty} A_n(α,β,ω)z^n$ are considered for $|ω|=1$ and $α,β\in(0,1]$. D. A. Brannan conjectured in a 1973 paper that $|A_n(α,β,ω)|\le A_n(α,β,1)$ for every positive odd integer $n$. The present author recently established the conjecture outside a small neighbourhood of $ω=-1$. The remaining range is treated here by combining compound Laplace integral representations with two types of local approximation: a Meijer $G$ function approximation for $n|\arg(-ω)|$ bounded, and a modified Watson approximation for the complementary range. The resulting lower bounds reduce the problem to numerical positivity checks for explicit functions on compact parameter sets. These computations verify the inequality for all $α,β\in(0,1]$ and all odd integers $n\ge5$, and hence, together with Brannan's result for $n=3$, complete the proof of his conjecture.

Sharpness characterizes Hill functions

2026-06-09T20:23:20Z

While long treated as empirical fits, Hill functions have been postulated to be the universal Hopfield barrier for sharpness of input-output responses by Martinez-Corral, Nam, DePace, and Gunawardena. A Hopfield barrier is a fundamental limit on how well biological systems can process information without expending energy. Their case rested on numerical findings for Hill coefficients $4$ and $6$. We give a precise formulation and proof of this: measuring sharpness by the supremum of the derivative in semi-log scale, any rational function $r(x)=(α_0+α_1 x+ \cdots +α_n x^n)/(β_0 + β_1 x+ \cdots + β_n x^n)$ with real coefficients $0\leq α_i\leq β_i$ has sharpness at most $n/4$, with equality if and only if $r$ is a Hill function with Hill coefficient $n$.

Sharp log-Sobolev inequalities on finite cyclic groups

2026-06-09T18:35:54Z

Let $\mathbb Z_n$ be the cyclic group equipped with the uniform probability measure $π$, and let $A_{ψ_n}$ be the Laplacian with word length \[ ψ_n(k) = \min(k,n-k). \] We prove the sharp log-Sobolev inequality \[ \text{Ent}_π(f^2) \le 2π(f A_{ψ_n} f), \qquad f:\mathbb Z_n \to [0,\infty), \] for every $n \ge 4$. The proof is inspired by the recent work of Frank and Ivanisvili~\cite{FrankIvanisvili2026} on a sharp log-Sobolev inequality for nearest-neighbor simple random walk. We use their cubic-majorant reduction, which turns the problem into a 3rd moment estimate; the new point is a blockwise 3rd moment estimate adapted to the word-length multiplier. The same 3rd moment argument also recovers the log-Sobolev inequality for Poisson-semigroup on the circle, first proved by Weissler~\cite{Weissler1980}. The same sharp inequalities were also obtained recently by Yao~\cite{Yao2026} by a different method.

A Resurgent Analytic Framework for Indicial Umbral Calculus via Mellin-Barnes and Borel-Laplace Theories

2026-06-09T17:26:07Z

Indicial umbral calculus offers an effective operational framework for manipulating transcendental functions, yet its analytic foundations have long remained only partially understood. In this work, we provide a rigorous analytic realisation of the theory grounded in Mellin-Barnes integrals, Borel-Laplace summation, and resurgent analysis. By elevating umbral operators from formal algebraic symbols to continuous linear functionals, we establish a topological duality akin to Gelfand-Shilov theory. Formal substitutions are thereby replaced by well-defined, continuous pairings between geometric kernels and suitably topologised admissible ground states. Within this framework, divergent umbral evaluations acquire a precise meaning: they emerge as sectorial asymptotic expansions of analytic functions reconstructed exactly by Mellin-Barnes integrals. The associated Stokes phenomena are natively encoded by jump functions in the spectral variable. This leads to a central spectral transmutation law relating entire and rational kernels directly through Gamma regularisation, proving that classical algebraic umbral identities are merely local expansions of a global analytic correspondence. The construction is systematically extended to general umbral functionals via the Pólya representation of entire functions of exponential type. Explicit examples - including Hankel contours, genuinely Barnes-type integrals, and Lerch transcendents - demonstrate the exact geometric resolution of formal algebraic obstructions. Ultimately, this approach embeds indicial umbral calculus within a unified functional-analytic and resurgent framework, where formal series, analytic continuation, and topological spectral data are intrinsically linked.

Limitations of Learning Tanh Neural Networks with Finite Precision

2026-06-09T17:02:27Z

We investigate limitations of learning $\tanh$ neural networks from point evaluations under finite-precision computations and $L^p$ accuracy guarantees, building on Berner, Grohs, and Voigtländer (2023). Our approach is based on a novel construction of sharply localized bump functions via iterated $\tanh$ activations. Using this mechanism, we show that, in a finite-precision setting, no adaptive randomized algorithm based on $m$ samples can achieve a convergence rate higher than the Monte Carlo rate $O(m^{-1/p})$ in the $L^p$ norm, unless the sampling budget grows exponentially with the size of the network parameters and architecture. The results reveal fundamental limitations imposed by finite precision on the learnability of classes containing localized bump functions, extending previous results for ReLU networks to the $\tanh$ setting.