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.CA Classical Analysis and ODEs

57 papers in math.CA from 6 November to 12 November 2026.

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

More fields

Whole archives

showing 1–25 of 57, newest first RSS

Three-ends Furstenberg estimates and approximate rectangles

Ciprian Demeter, William O'Regan

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

We prove a three-ends incidence estimate whose multiplicity exponent is sharp for one-dimensional Katz-Tao point sets.} At the heart of the argument lies rectangular non-concentration and its incidence theory introduced earlier by the authors. As an application, we obtain a strong quantitative bound on the number of approximate rectangles with the vertices belonging to four separated camps, each retaining a non-concentration condition.

Patterns, Distances, and Structure in Sparse Sets

Paige Bright

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

A central theme in modern harmonic analysis, with strong connections to Ramsey theory, is the tension between randomness and structure: to what extent can a "large" set avoid prescribed configurations, and when must such patterns inevitably appear? The answer depends delicately on how size is measured, with notions such as Hausdorff dimension, Fourier dimension, and density leading to strikingly different phenomena. In this mini-course, we explore this theme through two complementary perspectives. On one hand, we study translation-invariant linear patterns, a natural class of Euclidean Ramsey-type configurations. On the other hand, we investigate distance sets of sparse subsets of Euclidean space, which encode metric configurations of pairs of points. Together, these results illustrate a unifying principle: while sparse sets may avoid individual configurations, sufficiently strong…

On transformations in the Second Painlevé family

Christine Eagles, Joel Nagloo

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

We complete the classification of algebraic relations among solutions of equations in the second Painlevé family $P_{II}(α): y''=2y^3+ty+α$, where $α\in\mathbb{C}$. More precisely, we prove that if $y_1,\ldots,y_n$ are generic solutions of $P_{II}(α_1),\ldots,P_{II}(α_n)$, respectively, and $tr.deg_{\mathbb{C}(t)}\mathbb{C}(t)(y_1,y_1',\ldots,y_n,y_n')<2n$, then for some $i<j$, we have that $α_i\pmα_j\in\mathbb{Z}$, and $y_i=T(y_j)$ for a classical Bäcklund transformation $T$. In particular, the classical Bäcklund transformations are the only Bäcklund transformations in the second Painlevé family.

On the multidimensional polynomial Szemerédi theorem

Danqing He, Xuancheng Shao

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

We study the multidimensional polynomial Szemerédi theorem over prime fields. Let $P_1,\dots,P_m\in\F_p[t]^k$ be block independent vector polynomials of degree at most $d$, with $P_i(0)=0$ for every $i$. We prove that there is a constant $c=c(k,m,d)>0$ such that, for every sufficiently large prime $p$, every set $A\subset\F_p^k$ with $|A|\ge p^{k-c}$ contains a configuration $x,x+P_1(t),\dots,x+P_m(t)$ with $t\in\F_p\setminus\{0\}$.

Hausdorff measures of planar Brownian level sets

Yingyu Zhao, Yunhao Zhao

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

For any Hausdorff gauge \(h\), we prove that all level sets of planar Brownian motion have zero \(h\)-measure almost surely if and only if \(\liminf_{r\to0^+}h(r)\log(1/r)=0\). This resolves Taylor's question for arbitrary Hausdorff gauges. The proof yields \(0<\HH^{h_0}(L_x)<\infty\) for some \(x\) almost surely, where \(h_0(r)=1/\log(1/r)\). The Hausdorff dimensions of the spatial mass superlevel sets form a deterministic, strictly decreasing bi-Lipschitz spectrum. For each fixed positive mass below the supremum, the exact-mass set almost surely has the same dimension as the corresponding superlevel set.

How to arrange four points in the plane

Senping Luo

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

Arranging points in the plane appears to be an elementary geometric problem, yet it is deeply rooted in statistical physics. As a toy model, we consider the configuration of four points. We completely classify the minimal configurations of four points interaction energy in $\R^2$ under the general Lennard-Jones potentials $V(r)=r^{-p}-br^{-q}$, where $p>q>0$ and $b\in\R$. We find that there is a threshold curve \[ D_{p,q}=2^{-(p-q)/2}\Bigl(1+\frac{p-q}{q+2}\bigl(1+2^{-(q+2)/2}\bigr)\Bigr) \] to determine the minimal shapes. The main results can be stated concisely as follows: consider $\min\sum_{1\le i<j\le4}\bigl(|x_i-x_j|^{-p}-b|x_i-x_j|^{-q}\bigr)$. For $b\le0$, the minimizer does not exist. For $b>0$, the minimizer is unique up to rotation and translation. Furthermore, the minimizer is \[ \begin{cases} \text{a square},&\hbox{if}\;\; D_{p,q}\ge1, \text{a rhombus with angle…

On the packing-dimension analogue of Bourgain's constant

Ignasi Guillén-Mola

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

For every $n\geq 2$, we construct a domain in $\mathbb{R}^n$ whose harmonic measure has packing dimension $n$. That is, the packing analogue of Bourgain's constant is zero, in contrast with Bourgain's constant, which is positive. Moreover, the elliptic measure of the same domain also has packing dimension $n$ for every uniformly elliptic matrix.

On the size of the defect set of an analytic matrix field

Hugo Aubertin

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

In this note, we study the defect set of a symmetric analytic matrix field $M$ defined on an open set $Ω\subset \mathbb{R}^d$ with $d\ge2$. A defect point $x \in Ω$ of $M$ is defined as a point for which no eigenframe can be chosen continuously in any neighborhood of $x$. We show that the defect set $S(M)$ is contained in a locally finite union of analytic submanifolds of codimension at least $2$. The proof follows fairly directly from results by Parusinski and Rond (Trans. Am. Math. Soc., 2020) and by Kurdyka and Paunescu (Duke Math. J., 2008). This result can be applied in the context of the Landau-de Gennes Theory to estimate the physical defects of a nematic liquid crystal.

Scaling limits of Chebyshev polynomials at a hard edge

Benedikt Buchecker, Benjamin Eichinger

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

Let $\mathsf{E}\subset\mathbb{R}$ be compact. We derive local scaling limits of the Chebyshev polynomials associated to $\mathsf{E}$ at a gap edge. We describe the scaling limits by a one parameter family of functions explicitly given by elliptic integrals. We show that for the union of two generic intervals all functions in this family are in fact attained as limits. As a consequence, we describe the local scaling behavior of the zeros of the Chebyshev polynomials at the gap edge.

Polynomial eigenfunctions and recurrences of fixed length

K. Castillo

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

This paper solves the fixed-length recurrence problem posed by Horozov, Shapiro and Tater. For the rational Darboux transformations specified here, it also resolves the order and classification questions raised by their two conjectures. It classifies monic polynomial sequences whose members are eigenpolynomials of one fixed nonscalar differential operator of arbitrary finite order with polynomial coefficients and for which multiplication by the variable involves a fixed number of consecutive polynomials. Orthogonality is not assumed, and only sufficiently large degrees need be prescribed. If the lowest recurrence index is $n-m+1$, with $m\ge3$, the differential order equals $m$ times the degree of the eigenvalue as a polynomial in $n$. After translating the variable, every such sequence is a finite rational Darboux transform of an explicit family with differential order $m$ and…

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…

Pointwise Convergence and Approximation of Matrix-Transform Means of Vilenkin--Fourier Series

Nino Anakidze, Máté Szilveszter, George Tephnadze +1 more

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

We study convergence, divergence, and approximation of matrix-transform means of Vilenkin--Fourier series. For bounded groups, we prove convergence along ${M_n}$ at Vilenkin--Lebesgue points without additional diagonal conditions. For arbitrary bounded or unbounded groups, every regular matrix-transform method admits divergence on any prescribed null set along any increasing sequence. We also obtain $L_p(G_m)$ approximation estimates in terms of the modulus of continuity.

$L^p$ Integrability and Spectral Complexity of Manifolds with Higher Codimension

Shantanu Deodhar

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

We investigate the relationship between the $L^p$ integrability of functions and the curvature geometry of their Fourier support. We prove that if $M\subset\mathbb{R}^n$ is a $C^n$ manifold of dimension $d$ and $n>2d$, then every $u\in L^p(\mathbb{R}^n)$ with $\operatorname{supp}\widehat u\subseteq M$ vanishes whenever \[ 2\le p\le\frac{6n-4}{3d-1}. \] This strictly improves the classical threshold $2n/d$ throughout the range $n>2d$. More generally, we obtain a family of dimension-dependent improvements in higher codimension. As a consequence, we obtain a strict quantitative improvement in the necessary conditions for Fourier restriction when $n>2d$, resolving a conjecture of Mockenhaupt \cite{Mockenhaupt96}. This further establishes the nonexistence of quadratic manifolds satisfying the Christ--Mockenhaupt condition when $n>2d$. For quadratic manifolds, we obtain spectral synthesis…

A short route to Diening's averaging criterion in spaces of homogeneous type

Alina Shalukhina

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

We present a short, self-contained proof of the averaging-operator criterion for the boundedness of the Hardy-Littlewood maximal operator on variable Lebesgue spaces over unbounded spaces of homogeneous type. Building on techniques of Diening and Lerner, we establish a Jensen-type inequality with uniformly summable error, from which the criterion follows directly via a Calderón-Zygmund argument.

Exceptional parameters in the Erdős similarity problem

Neeraja Kulkarni, Natalia Mora Cuéllar

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

The Erd\H os similarity conjecture says that for every infinite set $A \subset \mathbb{R}$, there exists a set $E$ of positive Lebesgue measure which does not contain any affine copy of $x + tA$ of $A$ (with $t \neq 0$). Kolountzakis proved that for every infinite $A$, there exists $E$ of positive Lebesgue measure so that the exceptional sets $D_E(A)$ of scales $t$, and $\mathcal E_E(A)$ of affine maps $(x,t)$, for which $x+tA\subseteq E$, are both Lebesgue null. We show that these exceptional parameter sets are small in two finer senses. First, given any countable family of Fourier decay rates, a single $E$ can be constructed so that $D_E(A)$ is null with respect to every measure whose Fourier transform decays at one of these rates. Consequently, there are compact sets $K$ of measure arbitrarily close to $1$ for which $D_K(A)$ and $\mathcal E_K(A)$ have modified Fourier dimension zero.…

Artin-style characterizations of the multiple gamma and sine functions

Genki Shibukawa

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

We extend Artin's characterizations of the gamma function to the multiple setting by means of the Kubert identity. We obtain uniqueness theorems for positive continuous solutions of a difference equation $G(z + 1) = α(z)G(z)$ that also satisfy an Artin-type multiplication formula, remaining within the class of continuous functions under a modest initial condition. The results apply in particular to the Barnes multiple gamma functions and the Kurokawa multiple sine functions.

Directional maximal functions along algebraic curves

Francesco Di Plinio, Ioannis Parissis

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

We prove that the maximal operator over line segments in $N$ arbitrary directions on a real algebraic curve of degree $D$ in $\mathbb R^n$ has $L^2$ operator norm at most $C_{n,\varepsilon}D^{C_n}N^\varepsilon$ for every $\varepsilon>0$, with $C_n$ independent of $\varepsilon$. Combined with polynomial partitioning, this gives the sharp bound $N^{\frac14}$, up to a polylogarithmic factor, for $N$ arbitrary directions in $\mathbb R^3$. The first main ingredient is a new quantitative strengthening of the property that the curve crosses each affine hyperplane at most $D$ times. This condition controls the overlap of variable-width neighborhoods of hyperplanes. The width attached to each direction is a small multiple of its distance to the osculating hyperplane at an endpoint of its arc. The problem is projectively invariant, and a projective almost orthogonality principle turns the overlap…

An exact certificate-based enumeration of Rolle words of degree six

Andrej A. Novikov

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

For a real polynomial of degree $n$ with $n$ distinct real roots, assume that no two different nonconstant derivatives, including the polynomial itself, share a root. Recording the derivative orders of all roots from left to right gives a Rolle word. We present an exact, computer-assisted classification in degree six: $2706$ words are realizable, with a word and its reversal counted separately. Starting from $33592$ formal interlacing words, published necessary restrictions leave $13404$ candidates. Integer realization certificates and $53$ exact exclusion stages classify every candidate. The surviving set agrees exactly with the set of certified realizations. All verification uses integer and rational arithmetic. The accompanying code, certificates, proof notes, and per-word exclusion ledger make the computation reproducible. The result concerns degree six; it does not resolve the…

Packing sets by rigid motions and similarities

Daewoong Cheong, Thang Pham, Chun-Yen Shen

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

For nonempty Borel sets $E\subset\mathbb R^d$ and $Θ\subset O(d)\times\mathbb R^d$, where $d\ge2$, let $Θ(E)$ be the union of the rigid copies $gE+z$, where $(g,z)\inΘ$. We prove that $Θ(E)$ has positive Lebesgue measure whenever $\dim_{\mathrm{SF}} E+\dim_HΘ>\frac{d(d+1)}2$, where $\dim_{\mathrm{SF}} E$ is the spherical Fourier dimension of $E$. This resolves a conjecture on packing by arbitrary Borel families of rigid motions. Our proof develops a discrete-to-continuous framework by adapting a finite-field averaging argument to $\mathbb R^d$ using Sobolev estimates on the group of rigid motions. We also obtain analogous packing results for similarities. The same framework can be used to show that if $τ$ is a compactly supported probability measure on the similarity group with finite $\bigl(\frac{d(d-1)}{2}+1\bigr)$-energy, then every compactly supported $τ$-stationary probability…

Sharp L^p and variation inequalities for maximal operators on finite connected graphs

Feng Liu, Yongzhi Lian, Yanzhen Wang

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

Let $G=(V_G,E_G)$ be a finite connected graph (here $V_G$ and $E_G$ denote the set of vertices and edges of $G$ respectively). The primary aim of this paper is to study the sharp variation and $L^p$ inequalities of the centered Hardy--Littlewood maximal operator $M_G$ defined on $G$ and its fractional variant $M_{α,G}\,(0<α<1)$). Set $${\bf C}_{α,G}^{p,q}=\sup\limits_{{\rm Var}_{p,G}(f)>0}\frac{{\rm Var}_{q,G}(M_{α,G}f)}{{\rm Var}_{p,G}(f)},$$ where ${\rm Var}_{p,G}(f)$ denotes the $p$-variation of $f$ on $G$. We denote by $K_n$ (resp., $S^n$) the complete (resp., star) graph with $n\geq4$ vertices. When $α=0$, we prove ${\bf C}_{α,S_n}^{p,p} =1-\frac{1}{n}$ for $0<p<1$. This solve a question originally posed by Liu and Xue in 2021. In the fractional case $0<α<1$, we prove ${\bf C}_{α,S_n}^{1,q}=1-n^{-α}$ and ${\bf C}_{α,K_n}^{1,q} =(1-n^{α-1})(n-1)^{-α}$ for $q=\frac{1}{1-α}$, which…

Sharp weighted bounds for reverse fractional integral operators

Liang Huang, Hanli Tang

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

In this paper, we prove the one-weight reverse fractional integral operators \[ \|I_s f\|_{L^q(w^q)}\geq C_w\|f\|_{L^p(w^p)} \] holds for all nonnegative measurable functions $f$, with $\frac ns<p<1$ and $\frac1q=\frac1p-\frac sn$, if and only if $w^{p/(1-p)}\in A_{\frac{p(s-n)}{n(1-p)}}$. Furthermore, we show the lower bound \[ C_w\gtrsim_{n,s,p}[w]_{p,q}^{\min\left\{\frac{p(n-s)}{n(1-p)},\frac{p(n-s)}{sp-n}\right\}}, \] and the exponent is sharp. We also investigate when the reverse weak-type estimate \[ \|I_s f\|_{L^{\frac{n}{n-s},\infty}(w^{\frac{n}{n-s}})}\geq \frac{n}{s}\,v_n^{(n-s)/n}[w^{\frac{n}{n-s}}]^{(n-s)/n}_{A_1}\|f\|_{L^1(w)} \] holds if and only if $w^{\frac{n}{n-s}}\in A_1$.

Falconer's conjecture through descent and chaining

Will Burstein, Alex Iosevich, Alexia Yavicoli

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

OpenAI proved that a compact set $E\subset{\mathbb R}^d$ of Hausdorff dimension greater than $\frac{d}{2}$ determines a set of Euclidean distances of positive length. We give a complete proof of this theorem which follows the overall architecture of the OpenAI argument, from the construction of the initial pair measures to the final Fourier estimate, but which modifies that argument substantially at the points where the geometric costs are paid and where the estimates are reassembled. The reductions are organized by the descent and chaining viewpoint of Burstein, Iosevich, and Krause: one potential, built from two separated depths together with a penalty for insufficient separation, pays for every reduction on every interval of scales, the terminal intervals included, and a finite-record chaining lemma keeps the fixed power losses attached to the few reductions which incur them. In odd…

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.

Rectifiable measures in Ahlfors regular spaces: endpoint constructions

Matthew Badger

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

A theorem of Balka and Keleti implies that on any complete separable metric space $\mathbb{X}$, every locally finite Borel measure $μ$ of packing dimension strictly less than $m$ is "Euclidean-like" insofar as there exist Lipschitz maps $f_i:E_i\subset\mathbb{R}^m\rightarrow\mathbb{X}$ such that $μ(\mathbb{X}\setminus\bigcup_1^\infty f_i(E_i))=0$. An ongoing challenge in geometric measure theory is to understand when this property, called $m$-rectifiability, holds for measures of packing dimension $m$. Towards this goal, we prove that every complete Ahlfors $q$-regular metric space with $q\geq m$ supports $m$-rectifiable doubling measures of packing dimension $m$. The proof of existence of such measures is new even when $\mathbb{X}=\mathbb{R}^n$ and $n>m$. More generally, on every complete Ahlfors $q$-regular metric space with $q>m-1$, we construct $m$-rectifiable, purely…

Average and probabilistic linear widths of sequence spaces with a Gaussian measure

Yun Ling, Heping Wang

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

Let $γ$ be a Gaussian measure on the sequence space $\ell_2$ whose mean is zero and whose correlation operator $C_γ$ is a diagonal operator on $\ell_2$. Exact values of the $q$-average linear $n$-widths in $\ell_q$ for $1\le q<\infty$ are obtained. We also obtain asymptotic orders of the average linear $n$-width in $\ell_\infty$ under some condition on $C_γ$, and of the probabilistic linear $(n,δ)$-widths in $\ell_q$ for $1\le q\le 2$, and for $2<q\le \infty$ under some condition on $C_γ$.