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.

Equidistribution of points in the Harmonic ensemble for the Wasserstein distance

2026-04-17T09:02:15Z

We study the asymptotics of the expected Wasserstein distance between the empirical measure of a Point Process and the background volume form. The main DPP studied is the harmonic ensemble, where we get the optimal rate of convergence for homogeneous manifolds of dimension $d\geq 3$, and for two-point homogeneous manifolds. We also discuss some variations of this process on the torus. Regarding other point processes, we find the optimal rate for the spherical ensemble and the zeros of Gaussian Analytic Functions.

Uniform estimates for Delannoy numbers and dimension-free estimates for discrete maximal functions over cross-polytopes

2026-04-17T08:45:03Z

We prove a uniform upper and lower bound for Delannoy numbers. This is achieved by using the representation of Delannoy numbers as the number of lattice points in high-dimensional cross-polytopes (also known as hyper-octahedrons or $\ell^1$ balls) and proving a uniform (dimension-free) count for these lattice points. Using this count, we establish dimension-free estimates for discrete maximal functions over cross-polytopes. By proving a comparison principle with the continuous setting, we obtain a dimension-free estimate on all $\ell^p(\mathbb{Z}^d)$ spaces for radii $R>C d^{3/2}.$ We also treat the full maximal function on $\ell^2(\mathbb{Z}^d)$ for small radii $R\le d^{1-\varepsilon}$ and the dyadic maximal function for any radii.

Kovalevskaya exponents of the Riccati hierarchy

2026-04-17T06:42:03Z

We carry out a Kovalevskaya analysis of the Riccati hierarchy. We determine all indicial loci and Kovalevskaya exponents and identify a rigid recursive structure governing how free parameters enter Laurent solutions. We further identify a nontrivial quasi--homogeneous vector field commuting with the hierarchy and use it to obtain an explicit parametrization of all solutions in terms of a single polynomial. Notably, in the two-dimensional case, the same general solution is recovered by the blow-up resolution. Within this parametrization, collisions of poles correspond to degeneration limits of the principal Laurent family, through which lower indicial loci appear. Finally, negative Kovalevskaya exponents are interpreted analytically through annular Laurent expansions, which describe how different collections of poles dominate in different complex regions.

Restricted Projections to Hyperplanes in $\mathbb{R}^n$

2026-04-17T06:17:40Z

We study dimensions of sets projected to an $(n-2)$-dimensional family of hyperplanes in $\mathbb{R}^n$ under curvature conditions. Let $n\ge 3$ and $Σ\subset S^{n-1}$ be an $(n-2)$-dimensional $C^2$ manifold such that $Σ$ has non-vanishing geodesic curvature ($n=3$)/sectional curvature $>1$ ($n \ge 4)$. Let $Z \subset \mathbb{R}^{n}$ be analytic with $\dim Z \le n-2$ and $0 < s < \dim Z$. Then \begin{equation*} \dim \{x \in Σ: \dim π_{T_xS^{n-1}}(Z) < s\} \le s \end{equation*} where $π_{T_xS^{n-1}}$ is the orthogonal projection from $\mathbb{R}^n$ to the tangent space $T_xS^{n-1}$. In particular, for $\mathcal{H}^{n-2}$-a.e. $x \in Σ$, $\dim π_{T_xS^{n-1}}(Z) = \dim Z$. When $n=3$ and $\dim Z < 1$, the quantitative estimate improves the one obtained by Gan-Guo-Guth-Harris-Maldague-Wang. For the case $\dim Z > n-2$, if in addition $π_{T_yS^{n-1}}(Z) \le n-2$ for some $y \in S^{n-1}$, we show that $\dim π_{T_xS^{n-1}}(Z) = \min\{\dim Z, n-1\}$ for $\mathcal{H}^{n-2}$-a.e. $x \in Σ$.

Equivalence of Sobolev norms in Lebesgue spaces for Hardy operators in a half-space

2026-04-17T05:46:04Z

We consider Hardy operators, i.e., homogeneous Schrödinger operators consisting of the ordinary or fractional Laplacian in a half-space plus a potential, which only depends on the appropriate power of the distance to the boundary of the half-space. We compare the scales of homogeneous $L^p$-Sobolev spaces generated by these Hardy operators with and without potential with each other. To that end, we prove and use new square function estimates for operators with slowly decaying heat kernels. Our results hold for all admissible coupling constants in the local case and for repulsive potentials in the fractional case, and extend those obtained recently in $L^2$. They also cover attractive potentials in the fractional case, once expected heat kernel estimates are available.

Uncertainty principles and singular potentials

2026-04-16T18:02:22Z

We establish uncertainty principles on compact Riemannian manifolds without boundary in the setting of Laplace-Beltrami operators, including the case of real-valued singular potentials. We replace the classical homogeneity assumption by a quantitative spectral condition and obtain corresponding stability versions of uncertainty inequalities. In particular, we prove that \[ (1-ε-ε')^2 \leq \frac{|E|}{|M|}\cdot \# X_S \cdot \sup_{x\in E} \frac{A_S(x)}{\frac{\# X_S}{|M|}}, \] which recovers the classical bound in the homogeneous case, quantifies its deterioration in the presence of spectral inhomogeneity, and is shown to be sharp in general. In {\it dimension one}, we show that the homogeneity condition holds automatically, and we complement this rigidity by incorporating Fourier-ratio complexity bounds, yielding a quantitative relationship between spectral complexity and spatial support. In higher dimensions, we derive analogous results using pointwise Weyl laws and the eigenfunction restriction estimates on submanifolds.

Linear Response for Bernoulli Convolutions

2026-04-16T12:35:30Z

Let $μ_λ$ be the Bernoulli convolution measure with parameter $λ\in(0,1)$. We study the regularity of the function %We prove that $h=h_φ:λ\mapsto \int_{\mathbb{R}}φ(x)\,dμ_λ(x)$ for Hölder observables $φ$. We describe sufficient conditions for both smoothness and non smoothness of this function. In particular, we show that for almost every function with respect to certain Wiener like measures on $C[0,1]$, $h_φ$ exhibits a phase transition: it is almost nowhere differentiable for small $λ$ and it is almost everywhere differentiable for large $λ.$

Bourgain-Brezis-Mironescu formula for Riesz Potentials

2026-04-16T11:57:55Z

We identify the Bourgain-Brezis-Mironescu pointwise limit of the nonlocal potential operator $(1-α)\, I_α(\mathcal D^αf)$, $0<α<1$, where $I_α$ denotes the Riesz potential and $\mathcal D^α$ a nonlinear fractional differential operator. Specifically, for every $f\in C_c^\infty(\mathbb R^n)$ and every $x\in \mathbb R^n$, we show that \begin{equation*} \lim_{α\to 1^-} (1-α)\, I_α(\mathcal D^αf)(x) = K_n\, I_1(|\nabla f|)(x), \end{equation*} where $K_n$ is the geometric constant appearing in the well-known Bourgain-Brezis-Mironescu formula [BBM02]. By a density argument, we further extend this result to every $f\in W^{1,1}(\mathbb R^n)$, obtaining almost everywhere convergence along subsequences.

On Certain Pfaffians Connected with the Inverse Problem for Collinear Central Configurations

2026-04-16T09:59:27Z

A. Albouy and R. Moeckel in 2000 found some interesting inequalities related to the inverse problem for collinear (Moulton) central configurations: the Pfaffian of a certain matrix is positive since all coefficients of some polynomials are positive, for the Newtonian (interaction potential $1/r$ and $n\leq 6$). They conjectured that for all $n$ such Pfaffians, for the Newtonian case, are positive. In this article we analyze further the problem, and we prove that such inequalities hold true in more general cases (potentials with log-convex derivative, such as those with homogeneity parameters $α>0$, for all even $n\leq 14$).