A remark on subharmonicity for symmetric Dirichlet forms

2026-01-28T04:48:56Z

We remove the local boundedness for $\mathscr{E}_α$-subharmonicity in the framework of (not necessarily strongly local) regular symmetric Dirichlet form $(\mathscr{E},D(\mathscr{E}))$ with $α\geq0$ and establish the stochastic characterization for $\mathscr{E}$-subharmonic functions without assuming the local boundedness.

On The Fourier Mean Bodies of a Convex Body

2026-01-27T23:17:59Z

In 1998, R. Gardner and G. Zhang introduced the radial $p$th mean bodies $R_p K$ of a convex body $K$ in $\mathbb{R}^n$ for $p>-1$, which now play an important role in geometric tomography. In this work, we study the Fourier transforms of the radial functions of $R_p K$. We introduce a new family of star-shaped sets $F_p K$, which we call the Fourier $p$th mean bodies of $K$. We are then interested in the convexity and the relevant affine-isoperimetric inequalities for $F_p K$, as well as connections of $F_p K$ with other classical objects in geometric tomography such as centroid bodies, intersection bodies, and mean zonoids. We also show that the bodies $F_p K$ are, for $p\in (0,1]$, close to ellipsoids in the sense of Hensley's theorem.

On planar sections of the dodecahedron

2026-01-27T20:41:09Z

In the analysis of three-dimensional biological microstructures such as organoids, microscopy frequently yields two-dimensional optical sections without access to their orientation. Motivated by the question of whether such random planar sections determine the underlying three-dimensional structure, we investigate a discrete analogue in which the ambient structure is the vertex set of a Platonic solid and the observed data are congruence classes of planar intersections. For the regular dodecahedron with vertex set $V$, we define the planar statistic of a subset $X\subseteq V$ of vertices as the distribution of isometry types of inclusions $Π\cap X \subseteq Π\cap V \subseteq V$, and ask whether this statistic determines $X$ up to isometry. We show that this is not the case: there exist two non-isometric $7$-element subsets with identical planar statistics. As a consequence, there exist two polytopes in $\mathbb R^3$, whose distribution of isometry classes of two-dimensional intersections is identical, while the polytopes are not themselves isometric. This result is an analogue of classical non-uniqueness phenomena in geometric tomography.

The Christoffel problem for the disk area measure

2026-01-27T19:20:05Z

The mixed Christoffel problem asks for necessary and sufficient conditions for a Borel measure on the Euclidean unit sphere to be the mixed area measure of some convex bodies, all but one of them are fixed. We consider the case in which the reference bodies are $(n-1)$-dimensional disks lying in a fixed hyperplane. We obtain an integral representation that reconstructs the support function of a convex body from its disk area measure, without any regularity assumptions. In the smooth setting, we reformulate the problem as a linear differential equation on the sphere, and derive a necessary and sufficient condition on the density of the disk area measure guaranteeing both convexity and regularity of the solution.

Viscosity Solutions in Martinet Spaces

2026-01-27T18:22:11Z

In this paper, we establish the properties of viscosity solutions in Martinet spaces, which lack both the algebraic group law of Carnot groups and the triangular vector fields of Grushin-type spaces. We then prove the uniqueness of viscosity solutions to strictly monotone elliptic PDEs and to the infinite Laplace equation.

Green geometry, Martin boundary and random walk asymptotics on groups

2026-01-27T17:56:07Z

We identify a single computationally checkable analytic quantity interlacing Martin boundary collapse, Green geometry, and linear escape for transient random walks on finitely generated groups: the Green-variation functional \[ Δ(S;a,b):=\max_{x\in\partial S}\frac{|G(a,x)-G(b,x)|}{G(a,x)}. \] We prove that $Δ\to0$ along exhaustions characterises the strong Liouville property (under mild, verifiable hypotheses on the ``strong Liouville $\Rightarrow Δ\to0$'' direction), turning boundary oscillation estimates for Green kernels into potential-theoretic rigidity. We then give two general criteria for $Δ$-vanishing. The first one derives quantitative bounds on $Δ$ from coarse heat-kernel envelopes at an intrinsic scale together with a Tauberian comparability, covering Gaussian/sub-Gaussian and stable-like regimes; and the second one is purely elliptic: an ``elliptic Hölder exhaustion'' criterion. Conversely, on groups of exponential growth, $Δ$ fails to decay along balls already under stretched-exponential on-diagonal upper bounds, yielding a quantitative obstruction to strong Liouville. As consequences, trivial Martin boundary forces linear-scale collapse of Green geometry ($d_G(e,x)=o(|x|)$) and vanishing Green speed (in probability), without any entropy hypothesis. On the non-Liouville side we prove an abundance principle: the existence of a single minimal positive harmonic function at a prescribed growth scale forces infinitely many. Finally, we clarify the role of moment assumptions in speed theory: any linear-speed law of large numbers on a set of positive probability forces $\mathbb E|X_1|<\infty$, while on torsion-free nilpotent groups one can have $\mathbb E|X_1|=\infty$ yet $|X_n|/n\to0$ in probability.

Sharp regularity of sub-Riemannian length-minimizing curves

2026-01-27T08:12:36Z

A longstanding open question in sub-Riemannian geometry is the smoothness of (the arc-length parameterization of) length-minimizing curves. In [6], this question is negative answered, with an example of a $C^2$ but not $C^3$ length-minimizer of a real-analytic (even polynomial) sub-Riemannian structure. In this paper, we study a class of examples of sub-Riemannian structures that generalizes that presented in [6], and we prove that length-minimizing curves must be at least of class $C^2$ within these examples. In particular, we prove that Theorem 1.1 in [6] is sharp.

On smoothness, tangent cones, and the metric geometry of definable sets

2026-01-26T18:34:24Z

In this paper, we present several definitive characterizations of the $C^1$ smoothness of definable sets in terms of their tangent cones and some other metric properties. In particular, we recover some of the beautiful characterizations presented by Ghomi and Howard (2014) and by Kurdyka, Le Gal, and Nhan (2018). For instance, we prove that for any $X\subset \mathbb{R}^n$ that is a locally closed $d$-dimensional definable set in an o-minimal structure, the following items are equivalent: (1) $X$ is Lipschitz normally embedded (LNE), $C_3(X,p)$ is a $d$-dimensional linear subspace for any $p\in X$ and depends continuously on $p$; (2) For each $p\in X$, $X$ is Lipschitz regular at $p$ and $C_4(X,p)$ is a $d$-dimensional linear subspace; (3) $X$ is a topological manifold and for each $p\in X$, $X$ is LNE at $p$ and $C_4(X,p)=C_3(X,p)$; (4) $X$ is a topological manifold, and $C_5(X,p)$ is a $d-$dimensional subset for any $p\in X$; (5) $X$ is $C^1$ smooth.

Restoring Wasserstein Rigidity with a single point

2026-01-26T17:52:50Z

We consider isometrically flexible Wasserstein spaces and demonstrate that adding a single point to the underlying metric space makes these Wasserstein spaces rigid.

A classification of Fourier summation formulas and crystalline measures

2026-01-26T16:53:29Z

We completely classify Fourier summation formulas, and in particular, all crystalline measures with quadratic decay. Our classification employs techniques from almost periodic functions, Hermite-Biehler functions, de Branges spaces and Poisson representation. We show how our classification generalizes recent results of Kurasov \& Sarnak and Olevskii \& Ulanovskii. As an application, we give a new classification result for nonnegative measures with uniformly discrete support that are bounded away from zero on their support. Moreover, we give a new construction using eta-quotients, generalizing an old example of Guinand.

On Extremal Volume Projections of the Simplex and the Cube

2026-01-26T12:50:39Z

Let $Δ_n$ and $Q_n$ denote the regular $n$-simplex of side length $\sqrt{2}$ embedded in $\mathbb{R}^{n+1}$ and the volume one cube in $\mathbb{R}^n$, respectively. We derive a closed-form formula for the hyperplane volume projections of $Δ_n$, which also yields the directions achieving the extremal volume. Moreover, we revisit the problem of extremal planar projections of $Q_n$. In addition, we present generalizations within the framework of $L_p$-projection bodies.

Unitarily invariant valuations on convex functions

2026-01-26T09:35:07Z

Continuous, dually epi-translation invariant valuations on the space of finite-valued convex functions on $\mathbb{C}^n$ that are invariant under the unitary group are investigated. It is shown that elements belonging to the dense subspace of smooth valuations admit a unique integral representation in terms of two families of Monge-Ampère-type operators. In addition, it is proved that homogeneous valuations are uniquely determined by restrictions to subspaces of appropriate dimension and that this information is encoded in the Fourier-Laplace transform of the associated Goodey-Weil distributions. These results are then used to show that a continuous unitarily invariant valuation is uniquely determined by its restriction to a certain finite family of subspaces of $\mathbb{C}^n$.

Metric Poincaré inequalities for graphs

2026-01-26T06:35:39Z

This article obtains purely metric counterparts of cornerstone results in the theory of embedding graphs into normed spaces. Our first main result is a metric analogue of Matoušek's extrapolation relating the Poincaré constants $γ(G,\varrho^p)$ and $γ(G,\varrho^q)$ for any exponents $0 < p,q < \infty$, any bounded-degree expander graph $G$, and any target metric space $\mathcal{M}=(M,\varrho)$. Our second main result provides a sharp estimate of the Poincaré constant $γ(G,\varrho)$ in terms of the cardinalities of the vertex set of $G$ and the metric space $\mathcal{M}=(M,\varrho)$, in the setting of \textit{random} graphs. This yields optimal estimates on the minimum cardinality of (bi-Lipschitz) universal metric spaces for graphs, finally establishing a nonlinear analogue of Matoušek's celebrated "incompressibility" theorem (1996). Further, we obtain estimates on the nonlinear spectral gap of metric snowflakes and sharp lower bounds on the distortion of random regular graphs into arbitrary metric spaces. Our proofs develop new nonlinear techniques, including random compression methods and a novel structural dichotomy for metric embeddings.

Lattice packing of spheres in high dimensions using a stochastically evolving ellipsoid

2026-01-25T19:26:35Z

We prove that in any dimension $n$ there exists an origin-symmetric ellipsoid ${\mathcal{E}} \subset {\mathbb{R}}^n$ of volume $ c n^2 $ that contains no points of ${\mathbb{Z}}^n$ other than the origin, where $c > 0$ is a universal constant. Equivalently, there exists a lattice sphere packing in ${\mathbb{R}}^n$ whose density is at least $cn^2 \cdot 2^{-n}$. Previously known constructions of sphere packings in ${\mathbb{R}}^n$ yielded densities of at most $C n \log n \cdot 2^{-n}$. Our proof utilizes a stochastically evolving ellipsoid that accumulates at least $c n^2$ lattice points on its boundary, while containing no lattice points in its interior except for the origin.

Rigidity-Induced Scaling Laws in Unit Distance Graphs: The Algebraic Collapse of Dense Substructures

2026-01-25T17:46:15Z

We revisit the classical Unit Distance Problem posed by Erdős in 1946. While the upper bound of $O(n^{4/3})$ established by Spencer, Szemer'edi, and Trotter (1984) is tight for systems of pseudo-circles, it fails to account for the algebraic rigidity inherent to the Euclidean metric. By integrating structural rigidity decomposition with the theory of Cayley-Menger varieties, we demonstrate that unit distance graphs exceeding a critical density must contain rigid bipartite subgraphs. We prove a "Flatness Lemma," supported by symbolic computation of the elimination ideal, showing that the configuration variety of a unit-distance $K_{3,3}$ (and by extension $K_{4,4}$) in $\mathbb{R}^2$ is algebraically singular and collapses to a lower-dimensional locus. This dimensional reduction precludes the existence of the amorphous, high-incidence structures required to sustain the $n^{4/3}$ scaling, effectively improving the upper bound for non-degenerate Euclidean configurations.