Projections, Furstenberg sets, and the $ABC$ sum-product problem

2026-03-21T19:38:16Z

We make progress on two interrelated problems at the intersection of geometric measure theory, additive combinatorics and harmonic analysis: the discretised sum-product problem, and the dimension of Furstenberg sets. Along the way, we obtain new information on the dimension of exceptional sets of orthogonal projections. First, we give a new proof of the following asymmetric sum-product theorem: Let $A,B,C \subset \mathbb{R}$ be Borel sets with $0 < {\dim_{\mathrm{H}}} B \leq {\dim_{\mathrm{H}}} A < 1$ and ${\dim_{\mathrm{H}}} B + {\dim_{\mathrm{H}}} C > {\dim_{\mathrm{H}}} A$. Then, there exists $c \in C$ such that $$ \dim_{\mathrm{H}} (A + cB) > {\dim_{\mathrm{H}}} A. $$ We use this to show that every $(s,t)$-Furstenberg set $F \subset \mathbb{R}^{2}$ associated with a line set of equal Hausdorff and packing dimension $t$ satisfies $$\dim_{\mathrm{H}} F \geq \min\left\{s + t,\tfrac{3s + t}{2},s + 1\right\}.$$

The dimension of random subsets of self-similar sets generated by branching random walk

2026-03-21T15:21:57Z

Given a self-similar set $Λ$ that is the attractor of an iterated function system (IFS) $\{f_1,\dots,f_N\}$, consider the following method for constructing a random subset of $Λ$: Let $\mathbf{p}=(p_1,\dots,p_N)$ be a probability vector, and label all edges of a full $M$-ary tree independently at random with a number from $\{1,2,\dots,N\}$ according to $\mathbf{p}$, where $M\geq 2$ is an arbitrary integer. Then each infinite path in the tree starting from the root receives a random label sequence which is the coding of a point in $Λ$. We let $F\subsetΛ$ denote the set of all points obtained in this way. This construction was introduced by Allaart and Jones [J. Fractal Geom. 12 (2025), 67--92], who considered the case of a homogeneous IFS on $\mathbb{R}$ satisfying the Open Set Condition (OSC) and proved non-trivial upper and lower bounds for the Hausdorff dimension of $F$. We demonstrate that under the OSC, the Hausdorff (and box-counting) dimension of $F$ is equal to the upper bound of Allaart and Jones, and extend the result to higher dimensions as well as to non-homogeneous self-similar sets.

Degenerate parabolic equations in divergence form: fundamental solution and Gaussian bounds

2026-03-21T14:45:52Z

In this paper, we consider second order degenerate parabolic equations with complex, measurable, and time-dependent coefficients. The degenerate ellipticity is dictated by a spatial $A_2$-weight. We prove that having a generalized fundamental solution with upper Gaussian bounds is equivalent to Moser's $L^2$-$L^\infty$ estimates for local weak solutions. In the special case of real coefficients, Moser's $L^2$-$L^\infty$ estimates are known, which provide an easier proof of Gaussian upper bounds, and a known Harnack inequality is then used to derive Gaussian lower bounds.

Bifurcations for Lagrangian systems and geodesics I

2026-03-20T22:56:08Z

This paper is Part I of a two-part series. We investigate bifurcation phenomena in Lagrangian systems with various boundary conditions and constraints, focusing on the interplay between Morse theory and the existence of multiple solutions through three principal configurations: Lagrangian trajectories connecting two submanifolds or with endpoints related by an isometry, and brake orbits in Lagrangian systems. For each configuration, we establish necessary and sufficient conditions for bifurcation using Morse index and nullity techniques, including classification of Rabinowitz-type alternative bifurcation scenarios. For Euler-Lagrange curves emanating perpendicularly from a submanifold, we develop a unified Morse-theoretic framework that rigorously connects geometric focal structure (e.g., conjugate points) and analytic bifurcation behavior (e.g., solution branching patterns).

Evaluation of the symmetrized Mordell-Tornheim zeta function

2026-03-20T22:53:58Z

In this paper we evaluate the symmetrized Mordell-Tornheim zeta function defined as \begin{equation*} \overlineζ_n(w_1, \ldots, w_n) = \sum_{\substack{a_1, \ldots, a_n \in \mathbb{Z}^* \\ a_1 + \ldots + a_n = 0}} \frac{1}{\left| a_1^{w_1} \cdots a_n^{w_n} \right|} \end{equation*} where $n \ge 1$ is a positive integer representing the depth and $w_1, \ldots, w_n \ge 1$ are positive integers representing the weight $w = w_1 + \ldots + w_n$ of the function. Compared to the classical Mordell-Tornheim zeta function $ζ_{MT,n}(w_1, \ldots, w_n; w_{n+1})$ which is restricted to the positive orthant (hyperoctant), the symmetrized one spans the entire $(n-1)$-dimensional hyperplane. We show that when the depth and the weight of the function are equal, that is for $\overlineζ_n(1, \ldots, 1)$, it has a remarkably simple representation in terms of standard functions: \begin{equation*} \overlineζ_n(1, \ldots, 1) = B_n(f^{(1)}(0), \ldots, f^{(n)}(0)) \end{equation*} where $B_n$ is $n$-th complete exponential Bell polynomial and $f^{(n)}(0)$ is $n$-th derivative at $x=0$ of function $f(x)$ defined as: \begin{equation*} f(x) = \ln \binom{-2x}{-x} \end{equation*} Additionally, we show the value can be expressed using the following polynomials with positive integer coefficients over the values of zeta function: \begin{equation*} \overlineζ_n(1, \ldots, 1) = B_n(0, (2^2 - 2) Γ(2) ζ(2), \ldots, (2^n - 2) Γ(n) ζ(n)) \end{equation*} or equivalently, over the values of eta function: \begin{equation*} \overlineζ_n(1, \ldots, 1) = B_n(0, 2^2 Γ(2) η(2), \ldots, 2^n Γ(n) η(n)) \end{equation*} The list of explicit values for small $1 \le n \le 10$ is available in the appendix.

Bernstein-Szegő measures in the plane

2026-03-20T20:21:50Z

We define a class of Bernstein-Szegő measures on $\mathbb{R}^2$ and we establish their spectral properties, providing a natural extension of the one-dimensional theory. We also derive conditions involving finitely many moments, which are new in the two-dimensional setting, and which completely characterize these measures. A key ingredient in the theory on the real line stems from the fact that a measure $μ$ on $\mathbb{R}$ determines a unique sequence of orthonormal polynomials which gives a simple formula for $dμ/dx $ in the Bernstein-Szegő family. Since there is no canonical way to introduce orthonormal polynomials in the plane, our extension is based on a new identity which connects a Fejér-Riesz factorization of the weight to a polynomial depending on three variables associated with $μ$. Using recent results in the bivariate trigonometric Fejér-Riesz factorization problem, we define a nontrivial two-dimensional extension of the Szegő mapping which provides explicit orthonormal bases of the spaces associated with Bernstein-Szegő measures on $\mathbb{R}^2$. An important part of the paper is devoted to a self-contained development of the Bernstein-Szegő theory for matrix-valued functionals. The proofs combine techniques from real analysis, complex analysis and algebra.

The shifted bilinear Hilbert transform

2026-03-20T17:48:52Z

We prove $L^p$ estimates for the shifted bilinear Hilbert transform, with a polylogarithmic bound in the size of the shift. As applications, we obtain $r$-variation estimates for bilinear ergodic averages in the sharp range $r > 2$, a sharp bilinear Hörmander multiplier theorem, and a $\log$-Dini theorem for bilinear singular integrals.

Fourier decay of absolutely and Hölder continuous functions with infinitely or finitely many oscillations

2026-03-20T15:53:06Z

The main result of this paper is, that if we suppose that a function is absolutely continuous and uniformly Hölder continuous and that its finite difference function does not oscillate infinitely often on a bounded interval, then the decay rate of its Fourier coefficients can be estimated exactly. This rate of decay predicts the same uniform Hölder continuity but the two other conditions are not necessary. Several examples from literature and by the author show that none of the assumptions can be relaxed without weakening the decay for some functions. The uniform Hölder continuity of chirps and the decay of their Fourier coefficients are studied. The main result is then applied in the estimation of the error of numerical Weyl fractional derivatives calculated using the discrete Fourier transform. The main result is also extended to Fourier transforms.

Dominated sets, microscopic sets and Hausdorff measures

2026-03-20T15:33:53Z

Let $S$ be a family of sequences of positive numbers that decrease to 0, let $X$ be a metric space and $A \subset X$. $A$ is said to be $S$-dominated if, for every $s\in S$, a countable cover $\{E_n\}$ of $E$ can be found such that $diam E_n < s_n$ for all $n$. We examine the family of all $S$-dominated sets, denoted by $\mathcal{D}(S)$. In particular, we examine the connections between $\mathcal{D}(S)$ and families of sets with zero Hausdorff measure for some gauges.

Yet Another Characterisation of Classical Orthogonal Polynomials?

2026-03-20T14:39:55Z

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.

Fourier transform inequalities, lattice point discrepancy, asymptotic behavior, oscillatory integrals

2026-03-20T14:07:56Z

For $1

Vector valued estimates for matrix weighted maximal operators and product $\mathrm{BMO}$

2026-03-20T11:53:31Z

We consider maximal operators acting on vector valued functions, that is, functions taking values on $\mathbb{C}^d,$ that incorporate matrix weights in their definitions. We show vector valued estimates, in the sense of Fefferman--Stein inequalities, for such operators. These are proven using an extrapolation result for convex body valued functions due to Bownik and Cruz-Uribe. Finally, we show an $\mathrm{H}^1$-$\mathrm{BMO}$ duality for matrix valued functions and we apply the previous vector valued estimates to show upper bounds for biparameter paraproducts. For the reader's convenience, we include an appendix explaining how to adapt the extrapolation for real convex body valued functions of Bownik and Cruz-Uribe to the setting of complex convex body valued functions that we treat.

Quantitative theory of the inverse spectral problem for Sturm-Liouville operator with applications

2026-03-20T10:09:09Z

An interesting inverse optimization spectral problem, with important applications in structural health monitoring and damage detection, material design, seismic wave analysis, sonar detection, and related fields, involves reconstructing a potential $\hat{q}$ from a finite set of observed eigenvalues such that $\hat{q}$ yields an optimal approximation of the target potential $q_0$. Previous efforts have been confined to qualitative analysis, whereas the quantitative counterpart remains an open problem. This paper introduces a quantitative framework for the inverse spectral problem by using a phase plane analysis (planar dynamical system approach). We provide a quantitative characterization of the relationship between the reconstructed potential $\hat{q}$, its target potential $q_0$, and the observed eigenvalue $λ_*$. Remarkably, for ${q} \in \mathcal{L}^2$, our analysis yields a substantially stronger conclusion: an exact analytical expression for the reconstructed potential $\hat{q}$. In other words, our framework yields a complete resolution of the optimization inverse spectral problem in the $\mathcal{L}^2$ case. Moreover, we establish the uniqueness of $\hat{q}$ {\bf for any $q_0, λ_*\in \mathbb R$}, a key advance that eliminates the need for traditional constraints linking $λ_*$ and $q_0$. An additional finding is the construction of a homeomorphic mapping that reveals the dilation relation between the errors $\|\hat{q} - q_0\|_{\mathcal L^p}$ associated with the $m$-th eigenvalue and the principal eigenvalue. A summary of the main results, along with practical applications in engineering and mathematical physics, concludes this work.

Multivariate expansivity theory and Pierce-Birkhoff conjecture

2026-03-19T22:24:36Z

Motivated by the Pierce-Birkhoff conjecture, we launch an extension program for single variable expansivity theory. We study this notion under tuples of polynomials in the ring $\mathbb{R}[x_1,x_2,\ldots,x_n]$. As an application, we develop some class of inequalities to study the Pierce-Birkhoff conjecture.

Bounds for quasimodes with polynomially narrow bandwidth on surfaces of revolution

2026-03-19T20:35:32Z

Given a compact surface of revolution with Laplace-beltrami operator $Δ$, we consider the spectral projector $P_{λ,δ}$ on a polynomially narrow frequency interval $[λ-δ,λ+ δ]$, which is associated to the self-adjoint operator $\sqrt{-Δ}$. For a large class of surfaces of revolution, and after excluding small disks around the poles, we prove that the $L^2 \to L^{\infty}$ norm of $P_{λ,δ}$ is of order $λ^{\frac{1}{2}} δ^{\frac{1}{2}}$ up to $δ\geq λ^{-\frac{1}{32}}$. We adapt the microlocal approach introduced by Sogge for the case $δ= 1$, by using the Quantum Completely Integrable structure of surfaces of revolution introduced by Colin de Verdière. This reduces the analysis to a number of estimates of explicit oscillatory integrals, for which we introduce new quantitative tools.This is the first sharp result in the case $δ\ll 1$ beyond the case of locally symmetric surfaces (torus, sphere, arithmetic hyperbolic surfaces).