Cantor sets in higher dimensions II: Optimal dimension constraint for stable intersections

2026-04-20T10:11:18Z

It is well known that a pair of compact sets in $\mathbb{R}^d$ ($d \in \mathbb{N}$) can be separated by small deformations if the sum of their upper box dimensions is less than $d$. In this paper, we demonstrate that this dimension constraint is optimal for regular Cantor sets. Specifically, for any prescribed upper box dimensions whose sum is greater than $d$, we construct classes of pairs of regular Cantor sets that exhibit $C^{1+α}$-stable intersections. Our method is geometrically flexible, enabling the construction of examples with arbitrarily small thickness in both projectively hyperbolic and nearly conformal regimes. These results also extend to the complex setting for holomorphic Cantor sets in $\mathbb{C}^d$. The proof relies on the "covering criterion" for stable intersection introduced in the first part of this series [NZ25], which generalizes the "recurrent compact set criterion" of Moreira-Yoccoz to higher dimensions.

A varifold-type estimation for data sampled on a rectifiable set

2026-04-20T09:51:16Z

We investigate the inference of varifold structures in a statistical framework: assuming that we have access to i.i.d. samples in $\mathbb{R}^n$ obtained from an underlying $d$--dimensional shape $S$ endowed with a possibly non uniform density $θ$, we propose and analyse an estimator of the varifold structure associated to $S$. The shape $S$ is assumed to be piecewise $C^{1,a}$ in a sense that allows for a singular set whose small enlargements are of small $d$--dimensional measure. The estimators are kernel--based both for infering the density and the tangent spaces and the convergence result holds for the bounded Lipschitz distance between varifolds, in expectation and in a noiseless model. The mean convergence rate involves the dimension $d$ of $S$, its regularity through $a \in (0, 1]$ and the regularity of the density $θ$.

Completeness of sparse, almost integer and finite local complexity sequences of translates in $L^p(\mathbb{R})$

2026-04-20T07:23:09Z

A real sequence $Λ= \{λ_n\}_{n=1}^\infty$ is called $p$-generating if there exists a function $g$ whose translates $\{g(x-λ_n)\}_{n=1}^\infty$ span the space $L^p(\mathbb{R})$. While the $p$-generating sets were completely characterized for $p=1$ and $p>2$, the case $1 < p \le 2$ remains not well understood. In this case, both the size and the arithmetic structure of the set play an important role. In the present paper, (i) We show that a $p$-generating set $Λ$ of positive real numbers can be very sparse, namely, the ratios $λ_{n+1} / λ_n$ may tend to $1$ arbitrarily slowly; (ii) We prove that every "almost integer" sequence $Λ$, i.e. satisfying $λ_n = n + α_n$, $0 \neq α_n \to 0$, is $p$-generating; and (iii) We construct $p$-generating sets $Λ$ such that the successive differences $λ_{n+1} - λ_n$ attain only two different positive values. The constructions are, in a sense, sharp: it is well known that $Λ$ cannot be Hadamard lacunary and cannot be contained in any arithmetic progression.

Bilinear spherical maximal function with fractal dilations

2026-04-20T04:45:29Z

In this paper, we investigate $L^p-$boundedness of the bilinear spherical maximal function associated with a general set $E\subset\R_+$. We quantify the range of $L^p-$boundedness in terms of a dilation-invariant notion of upper Minkowski dimension of the set $E$. A particular case of this study, settles an open question of $L^p-$boundedness of the lacunary bilinear spherical maximal function at borderline cases $p_1=1$ or $p_2=1$ in dimension $d\geq3$.

Multilinear embedding theorem for fractional sparse operators

2026-04-20T04:14:05Z

We show some simple sufficient conditions for which the multilinear embedding theorem holds for fractional sparse operators. By verifying these conditions, we establish the theorem for power weights. We also provide Morrey-type sufficient conditions for which the $L^p \to L^q$, $1

The Kerman-Sawyer trace theorem for product Morrey spaces

2026-04-20T02:46:25Z

By using parallel corona decomposition, the Kerman-Sawyer trace inequality is extended from Lebesgue spaces to product Morrey spaces.

Riemann-Hilbert characterisation of Painlevé 5 asymptotics and nonlinear monodromy-Stokes structure

2026-04-20T02:23:05Z

For a generic Painlevé 5 equation we characterise all the asymptotics in a right half plane near the point at infinity, that is, we find classified explicit solutions that are, by the Riemann-Hilbert correspondence, labelled with monodromy data filling up the whole monodromy manifold. To do so, in addition to the asymptotics by Andreev and Kitaev along the positive real axis, we require elliptic asymptotics along generic directions and newly provided truncated solutions arising from a general solution along the imaginary axes. To know analytic continuations outside this region we formulate a nonlinear monodromy-Stokes structure, which is observed as changes of monodromy data contained in the explicit expressions of solutions.

Pointwise character bounds for $\mathrm{SU}(3)$

2026-04-19T19:44:01Z

We present a basic pointwise bound for the irreducible characters of $\mathrm{SU}(3)$ and, as an application, derive new $L^p$ bounds for these characters. Our approach is based on the descent of characters to singular sets and the cancellation in this formula.

The Adams trace theorem for product Morrey spaces

2026-04-19T13:25:30Z

By using a Hedberg-type inequality, the Adams trace inequality is extended from Lebesgue spaces to product Morrey spaces.

An integrality phenomenon

2026-04-19T12:42:04Z

We prove a general statement about the integrality of the sequences generated by a recursion of the following form: $nu_n$ equals a linear combination of $u_{n-1},u_{n-2},\dots,u_0$ with polynomial coefficients in $n$ of special form. This includes a conjectural integrality of the sequence related to the Hörmander-Bernhardsson extremal function, for which we further give a direct proof as well.

Generalised Cesaro Convergence, Root Identities and the Riemann Hypothesis

2026-04-19T09:16:29Z

We extend the notion of generalised Cesaro summation/convergence developed previously to the more natural setting of what we call "remainder" Cesaro summation/convergence and, after illustrating the utility of this approach in deriving certain classical results, use it to develop a notion of generalised root identities. These extend elementary root identities for polynomials both to more general functions and to a family of identities parametrised by a complex parameter μ. In so doing they equate one expression (the derivative side) which is defined via Fourier theory, with another (the root side) which is defined via remainder Cesaro summation. For μa non-positive integer these identities are naturally adapted to investigating the asymptotic behaviour of the given function and the geometric distribution of its roots. For the Gamma function we show that it satisfies the generalised root identities and use them to constructively deduce Stirling's theorem. For the Riemann zeta function the implications of the generalised root identities for μ=0,-1 and -2 are explored in detail; in the case of μ=-2 a symmetry of the non-trivial roots is broken and allows us to conclude, after detailed computation, that the Riemann hypothesis must be false. In light of this, some final direct discussion is given of areas where the arguments used throughout the paper are deficient in rigour and require more detailed justification. The conclusion of section 1 gives guidance on the most direct route through the paper to the claim regarding the Riemann hypothesis.

Remarks on the inverse Littlewood conjecture

2026-04-18T21:07:46Z

The Littlewood conjecture, proven by Konyagin and McGehee-Pigno-Smith in the 1980s, states that if $A\subset \mathbb{Z}$ is a finite set of integers with $\lvert A\rvert=N$ then $\| \widehat{1_A}\|_1\geq c\log N$ for some absolute constant $c > 0$. We explore what structure $A$ must have if $\| \widehat{1_A}\|_1\leq K\log N$ for some constant $K$. Under such an assumption we prove, for instance, that $A$ contains a subset $A'\subseteq A$ with $\lvert A\rvert \geq N^{0.99}$ such that $\lvert A'+A'\rvert \ll K^{O(1)}\lvert A'\rvert$. As a consequence, for any $k\geq 3$, if $N$ is sufficiently large depending on $k$ and $K$, then $A$ must contain an arithmetic progression of length $k$. A byproduct of our analysis is a (slightly) improved bound for the constant $c$.

Product formulas for basic hypergeometric series by evaluations of Askey--Wilson polynomials

2026-04-18T04:06:39Z

Ismail and Wilson derived a generating function for Askey--Wilson polynomials which is given by a product of $q$-Gauss (Heine) nonterminating basic hypergeometric functions. We provide a generalization of that generating function which contains an extra parameter. A special case gives a closed form summation formula for a quadruple basic hypergeometric sum. We further present new terminating balanced ${}_4φ_3$ summations that give rise to $q$-quadratic special values for Askey--Wilson polynomials. We also similarly present new terminating 2-balanced and 3-balanced ${}_4φ_3$ summations. Using the Ismail--Wilson generating function combined with explicit summations for terminating balanced basic hypergeometric $_4φ_3$ series, we compute new basic hypergeometric product transformations for nonterminating basic hypergeometric series and provide corresponding integral representations. Further new identities are obtained by applying Cayley--Orr type expansion formulas.

Bounded cohomology classes from differential forms

2026-04-17T17:51:42Z

Let $M$ be a complete hyperbolic $n$-manifold, $n\geq 2$. Via integration over geodesic simplices, any closed bounded differential 2-form on $M$ defines a bounded cohomology class in $H^2_b(M)$. It was proved by Barge and Ghys (for $n=2$) and by Battista et al. (for $n>2$) that, if $M$ is closed, then this procedure defines an injective embedding of the (infinite-dimensional) space of closed differential $2$-forms on $M$ into $H^2_b(M)$. We extend this result to the case when the fundamental group of $M$ is of the first kind, i.e. its limit set is equal to the whole boundary at infinity of hyperbolic space (this holds, for example, when $M$ has finite volume). Our argument is different from Barge and Ghys' original one, and relies on the following fact of independent interest: an $L^\infty$ function on the hyperbolic plane is determined by its integrals over all ideal triangles. We prove this fact by way of Fourier analysis on the hyperbolic plane.

Coarse and pointwise tangent fields

2026-04-17T16:30:22Z

Alberti, Csörnyei and Preiss introduced a notion of a "pointwise (weak) tangent field" for a subset of Euclidean space -- a field that contains almost every tangent line of every curve passing through the set -- and showed that all area-zero sets in the plane admit one-dimensional tangent fields. We extend their results in two distinct directions. First, a special case of our pointwise result shows that each doubling subset of Hilbert space admits a pointwise tangent field in this sense, with dimension bounded by the Nagata (or Assouad) dimension of the set. Second, inspired by the Analyst's Traveling Salesman Theorem of Jones, we introduce new, "coarse" notions of tangent field for subsets of Hilbert space, which take into account both large and small scale structure. We show that doubling subsets of Hilbert space admit such coarse tangent fields, again with dimension bounded by the Nagata (or Assouad) dimension of the set. For porous sets in the plane, this result can be viewed as a quantitative version of the Alberti--Csörnyei--Preiss result, though our results hold in all (even infinite) dimensions.