A Structural Condition on Point Sets with Few Distinct Dot Products

2026-05-27T17:44:24Z

The distinct dot products problem, a variant of the Erdős distinct distances problem, asks "Given a set $P_n$ of $n$ points in $\mathbb{R}^2$, what is the minimum number $|D(P_n)|$ of distinct dot products they determine?" The best proven lower bound is $|D(P_n)| = Ω(n^{2/3+7/1425})$, due to work by Hanson$\unicode{x2013}$Roche-Newton$\unicode{x2013}$Senger, and a recent improvement by Kokkinos. However, the best known construction determines $Θ(n)$ dot products. We provide a structural condition that a point configuration $P_n$ would have to satisfy in order to have 'few' dot products, by which we mean that $|D(P_n)| < n^{\frac{3}{4}(1-ε)}$ for some $ε> 0$.

A solution to the polarization problem

2026-05-27T17:02:11Z

In this paper we solve the polarization problem for real Hilbert spaces, a long-standing conjecture that had remained open for nearly three decades. We also confirm that the only extremal configurations are orthonormal sets. These are consequences of our proof of a stronger statement conjectured by Ball.

The Singer-Zauner gap for equiangular tight frames

2026-05-27T16:57:57Z

We show that there does not exist a complex $d\times n$ equiangular tight frame with \[ d^2-d+1

Improved bounds for the double cap conjecture

2026-05-27T16:33:54Z

In 1974, Witsenhausen asked for the maximum possible density $α_n$ of a measurable subset $A$ of the unit sphere $\mathbb{S}^{n-1}\subset \mathbb{R}^n$ such that $A$ contains no pair of orthogonal vectors. For $n=3$, the best known lower bound is $1 - 1/\sqrt{2} = 0.29289\dots$, obtained from the natural "double cap" construction of two opposite spherical caps, which is conjectured to be optimal for all $n$ by Gil Kalai. In this paper, we use a novel approach to establish an upper bound of $α_3\le 0.2953$, improving the previous best known bound $0.2977$ due to Bekker et al. (2025). Our approach combines harmonic-analytic arguments with the geometric fractional chromatic number of finite graphs, recently introduced by Ambrus et al. (2024). In this framework, any finite subset of the sphere yields an upper bound for $α_n$, and we obtain our bound by identifying an appropriate 33-element point set through a large-scale computer search. The same method can also be used in higher dimensions to yield potential improvements of the best known bounds.

Localization from Pseudoranges: Quadrics and Duality

2026-05-27T13:01:43Z

This paper gives a complete description of the solutions of the global positioning problem, emphasizing the under-determined case. We show that the solutions form a quadric, which may degenerate in various ways. Perhaps more surprisingly, the satellite positions also lie on a quadric, and these two quadrics exhibit a remarkable duality: They live on perpendicular affine spaces but share the same axis of symmetry. Moreover, the vertices of one quadric are the foci of the other and vice versa. The results of this paper are not only applicable to the global positioning problem, but to a wider class of problems known as pseudorange-multilateration. This includes a range of real-world localization problems where a signal is emitted at an unknown emission time, and received by sensors at known positions. In particular, the paper can be useful for solving an under-determined multilateration problem in the presence of additional constraints. We illustrate this with two examples: locating a cleaning robot on the ground and locating a raft on the ocean.

A note on the Erdös minimal area problem

2026-05-27T11:40:15Z

We answer a question of Erdös, Herzog, and Piranian on the minimal area of polynomial lemniscates when all the zeros of the polynomial are constrained to lie on a compact set K whose logarithmic capacity is strictly larger than 1.

On metric characterizations of tree and fragmentability indices of Banach spaces

2026-05-27T11:13:43Z

We introduce two ordinal indices that are linear invariants for Banach spaces: the dyadic tree index and the sprawling tree index. We show that they are also bi-Lipschitz invariants. In fact, we characterize their values in terms of sub-Lipschitz embeddability of dyadic or countably branching diamond graphs of ordinal height. We derive applications for separable Banach spaces that are universal for complete countable metric spaces and bi-Lipschitz embeddings. We also discuss the links of these tree indices with classical fragmentability indices of Banach spaces such as the dentabilty, weak fragmentability and Szlenk indices.

Assouad type dimensions of parabolic Julia sets

2026-05-26T19:26:58Z

We prove that the Assouad dimension of a parabolic Julia set is $\max\{1,h\}$ where $h$ is the Hausdorff dimension of the Julia set. Since $h$ may be strictly less than 1, this provides examples where the Assouad and Hausdorff dimensions are distinct. The box and packing dimensions of the Julia set are also known to coincide with $h$ and, moreover, $h$ can be characterised by a topological pressure function. The distinctive behaviour of the Assouad dimension invites further analysis of the `Assouad type dimensions', including the lower dimension and the Assouad and lower spectra. We derive formulae for all of the Assouad type dimensions for parabolic Julia sets and the associated $h$-conformal measure. Further, we show that if a Julia set has a Cremer point, then the Assouad dimension is 2.

The Fourier spectrum and sumset type problems

2026-05-26T19:13:25Z

We introduce and study the \emph{Fourier spectrum} which is a continuously parametrised family of dimensions living between the Fourier dimension and the Hausdorff dimension for both sets and measures. We establish some fundamental theory and motivate the concept via several applications, especially to sumset type problems. For example, we study dimensions of convolutions and sumsets, and solve the distance set problem for sets satisfying certain Fourier analytic conditions.

Bounding Shortest Closed Geodesics with Diameter on compact 2-dimensional Orbifolds Homeomorphic to $S^2$

2026-05-26T18:48:58Z

Length-bounded sweepouts provide a method for bounding the length of the shortest closed geodesic of a closed manifold. In this paper, we generalize this approach to the case of compact 2-dimensional orbifolds homeomorphic to S^2 as well as compact 2-dimensional orbifolds with finite orbifold fundamental groups. We establish an inequality for the length of the shortest closed orbifold geodesic in terms of the diameter.

A four-dimensional body of constant width

2026-05-26T17:45:45Z

The study of bodies of constant width is a classical subject in convex geometry, with the 3-dimensional Meissner bodies being canonical examples. This paper presents a novel geometric construction of a body of constant width in $\mathbb R^4$, addressing the challenge of constructing such bodies in higher dimensions. Our method produces a natural analogue of the second Meissner body, by modifying a 4-dimensional Reuleaux simplex. The resulting body possesses tetrahedral symmetry and has a boundary composed of both smooth surfaces and a non-smooth subset of the Reuleaux 4-simplex. Furthermore, we analyze the orthogonal projection of this body onto the 3-dimensional hyperplane of its base. This "shadow" is a 3-dimensional body of constant width with tetrahedral symmetry. It has six elliptical edges and its volume is only slightly larger than that of the Meissner bodies. This body was recently constructed as a projection of a different 4-dimensional body, however the construction presented here is new and gives additional properties.

A Closed Form for the Chord-Power Integral I_2 of a Triangle

2026-05-26T16:52:15Z

The chord-power integrals $I_k$ are classical integral-geometric functionals of a planar convex body, obtained by integrating powers of the chord length against the kinematic measure on the space of lines meeting the body. We establish a single-expression closed form for $I_2$ on an arbitrary triangle, involving logarithms symmetric in the sides, and derive two analytic consequences: a power-sum series representation, and a sharp isoperimetric-type inequality with explicit constant involving $\ln 3$, attained uniquely by the equilateral triangle. The set $\{I_0, I_1, I_2\}$ identifies a triangle up to congruence, complementing J. Gates's algebraic recognition via $\{I_0, I_1, I_5\}$ with the minimal index set $\{0, 1, 2\}$.

Contraction properties and differentiability of $p$-energy forms with applications to nonlinear potential theory on self-similar sets

2026-05-26T13:54:50Z

We introduce a new contraction property, which we call the generalized $p$-contraction property, for $p$-energy forms as generalizations of many well-known inequalities, such as $p$-Clarkson's inequality, the strong subadditivity and the Markov property in the theory of nonlinear Dirichlet forms, and show that any $p$-energy form satisfying $p$-Clarkson's inequality is Fréchet differentiable. We also verify the generalized $p$-contraction property for $p$-energy forms on fractals constructed by Kigami [Mem. Eur. Math. Soc. 5 (2023)] and by Cao--Gu--Qiu [Adv. Math. 405 (2022), no. 108517]. As a general framework of $p$-energy forms taking the generalized $p$-contraction property into consideration, we introduce the notion of $p$-resistance form and investigate fundamental properties of $p$-harmonic functions with respect to $p$-resistance forms. In particular, some new estimates on scaling factors of self-similar $p$-energy forms on self-similar sets are obtained by establishing Hölder regularity estimates for $p$-harmonic functions, and the $p$-walk dimensions of any generalized Sierpiński carpet and the $D$-dimensional level-$l$ Sierpiński gasket are shown to be strictly greater than $p$.

Quantitative non-embeddability theorems and metric embeddings of slit carpets

2026-05-26T13:45:05Z

We study the bi-Lipschitz embedding problem for a class of metric spaces called slit carpets. First we show that the $n$th stage $\mathbb{M}_n$ of the standard slit carpet of Merenkov admits a bi-Lipschitz embedding into Euclidean space with distortion $ O(\sqrt{n})$. Then, we show a nearly sharp lower bound of $Ω\left(\sqrt{\frac{n}{\log(n)}}\right)$. This result quantifies the recent result by David and Eriksson-Bique, and thus gives a quantified answer to the question 8 in the paper by Heinonen and Semmes by showing that $\mathbb{M}_\infty$ does not bi-Lipschitz embed into Euclidean spaces. Then, we study the $L^1$ embeddability of the standard slit carpet. We show that the standard slit carpet has Lipschitz dimension $1$ in the sense of Cheeger and Kleiner, and consequently prove that it admits a bi-Lipschitz embedding into $ L^1 $. Third, we generalize the results in terms of targets and domains. First, we give a qualitative and Lebesgue differentiation based argument which shows that general slit carpets do not bi-Lipschitz embed into any Banach space with the RNP property. As a consequence, $\mathbb{M}_\infty$ does not bi-Lipschitz embed to $\ell_1$. We then consider carpets $\mathbb{M}^a$ where the relative sizes of slits decrease according to a sequence $a\in c_0$. We give a quantitative $β$-number based argument which shows that the carpets $\mathbb{M}^a$ do not bi-Lipschitz embed into Hilbert space if $a\not\in \ell_{1+ε}$.

Saturation and No-Go Theorems for Scalar Poisson Certificates of Gaussian Mass Maximality

2026-05-26T10:17:37Z

Regev and Stephens-Davidowitz conjectured that the Gaussian mass $Θ_Λ(t) = \sum_{x \in Λ} e^{-t\lVert x\rVert^2}$ of any integral lattice $Λ\subset \mathbb{R}^n$ is bounded above by $Θ_{\mathbb{Z}^n}(t)$. For $n\ge 4$, we prove a saturation theorem for the natural scalar Poisson-summation certificates of this conjecture: any such certificate that is sharp at $\mathbb{Z}^n$ must interpolate the Gaussian, and have vanishing Fourier transform, at every nonzero point of integer squared norm. Applied to the lattice $E_8 \oplus \mathbb{Z}^{n-8}$, this rigidity is incompatible with the strict theta-series gap $Θ_{\mathbb{Z}^8}(t) - Θ_{E_8}(t) = θ_2(it/π)^4\,θ_4(it/π)^4 > 0$. Consequently, in dimensions $n \ge 8$, no scalar Poisson certificate can attain the sharp $\mathbb{Z}^n$ Gaussian mass bound. The same argument rules out the corresponding scalar certificate strategy for the stable-lattice formulation of the conjecture, and extends to orbit-constant graded families $Λ\mapsto h_Λ$; near-sharp sequences are similarly excluded under a uniform summability hypothesis.