Rauzy fractals of random substitutions

2025-11-19T15:20:19Z

We develop a theory of Rauzy fractals for random substitutions, which are a generalisation of deterministic substitutions where the substituted image of a letter is determined by a Markov process. We show that a Rauzy fractal can be associated with a given random substitution in a canonical manner, under natural assumptions on the random substitution. Further, we show the existence of a natural measure supported on the Rauzy fractal, which we call the Rauzy measure, that captures geometric and dynamical information. We provide several different constructions for the Rauzy fractal and Rauzy measure, which we show coincide, and ascertain various analytic, dynamical and geometric properties. While the Rauzy fractal is independent of the choice of (non-degenerate) probabilities assigned to a given random substitution, the Rauzy measure captures the explicit choice of probabilities. Moreover, Rauzy measures vary continuously with the choice of probabilities, thus provide a natural means of interpolating between Rauzy fractals of deterministic substitutions. Additionally, we highlight connections between Rauzy fractals and Rauzy measures of random substitutions and related S-adic systems.

An Information-Theoretic Route to Isoperimetric Inequalities via Heat Flow and Entropy Dissipation

2025-11-19T11:33:48Z

We develop an information-theoretic approach to isoperimetric inequalities based on entropy dissipation under heat flow. By viewing diffusion as a noisy information channel, we measure how mutual information about set membership decays over time. This decay rate is shown to be determined by the boundary measure of the set, leading to a new proof of the Euclidean isoperimetric inequality with its sharp constant. The method extends to Riemannian manifolds satisfying curvature-dimension conditions, yielding Levy-Gromov and Gaussian isoperimetric results within a single analytic principle. Quantitative and stability bounds follow from refined entropy inequalities linking information loss to geometric rigidity. The approach connects geometric analysis and information theory, revealing how entropy dissipation encodes the geometry of diffusion and boundary.

Optimal sets for the quantitative isoperimetric inequality in the plane with the barycentric distance

2025-11-19T08:40:49Z

In a recent paper, C. Gambicchia and A. Pratelli proved a quantitative isoperimetric inequality involving the isoperimetric deficit $δ(K)$ and the barycentric distance $λ_0(K)$ for sets $K\subset \mathbb{R}^N$ with given diameter $D$ and measure. In this work we are interested in the optimal sets for this inequality in the plane, i.e. sets that minimize the ratio $δ(K)/λ_0(K)^2$. We prove existence of optimal sets (at least when $D$ is large enough), regularity and express the optimality conditions. Moreover, we prove that the optimal sets have exactly two connected components and their boundary does not contain any arc of circle.

Mahler-type volume inequality for convex bodies with tetrahedral symmetry

2025-11-19T00:20:18Z

Let $ K $ be a convex body in $ \mathbb{R}^n $. We denote the volume of $ K $ by $ \vert K\vert $, and the polar body of its difference body $ K - K $ by $ (K - K)^{\circ} $. We provide a new proof of the well-known estimate \[ |K||(K - K)^{\circ}| \geq \frac{3}{2} \] for $ K \subset \mathbb{R}^2 $, with equality attained for a triangle. For $ K \subset \mathbb{R}^3 $ with tetrahedral symmetry, we prove that \[ |K| |(K - K)^{\circ}| \geq \frac{2}{3}, \] with equality attained for a tetrahedron.

A strong quantitative form of the fractional isoperimetric inequality

2025-11-18T20:08:42Z

We show a strong version of the fractional quantitative isoperimetric inequality, in which the isoperimetric deficit controls not only the Fraenkel asymmetry but also a sort of oscillation of the boundary. This generalizes the local result by Fusco and Julin in \cite{FJ}. The proof follows a regularization process as in \cite{FJ} but it is quite different in its spirit. Then, as a consequence of the quantitative inequality, we prove some stability estimates for a fractional Cheeger inequality.

A characterisation of graphs quasi-isometric to $K_4$-minor-free graphs

2025-11-18T14:29:09Z

We prove that there is a function $f$ such that every graph with no $K$-fat $K_4$ minor is $f(K)$-quasi-isometric to a graph with no $K_4$ minor. This solves the $K_4$-case of a general conjecture of Georgakopoulos and Papasoglu. Our proof technique also yields a new short proof of the respective $K_4^-$-case, which was first established by Fujiwara and Papasoglu.

Discretised sum-product theorems by Shannon-type inequalities

2025-11-18T13:27:42Z

By making use of arithmetic information inequalities, we give a strong quantitative bound for the discretised ring theorem. In particular, we show that if $A \subset [1,2]$ is a $(δ,σ)$-set, with $|A| = δ^{-σ},$ then $A+A$ or $AA$ has $δ$-covering number at least $δ^{-c}|A|$ for any $0 < c < \min\{σ/6, (1-σ)/6\}$ provided that $δ> 0$ is small enough.

Gradient Flows of Potential Energies in the Geometry of Sinkhorn Divergences

2025-11-18T09:13:05Z

We analyze the gradient flow of a potential energy in the space of probability measures when we substitute the optimal transport geometry with a geometry based on Sinkhorn divergences, a debiased version of entropic optimal transport. This gradient flow appears formally as the limit of the minimizing movement scheme, a.k.a. JKO scheme, when the squared Wasserstein distance is substituted by the Sinkhorn divergence. We prove well-posedness and stability of the flow, and that, in the long term, the energy always converges to its minimal value. The analysis is based on a change of variable to study the flow in a Reproducing Kernel Hilbert Space, in which the evolution is no longer a gradient flow but described by a monotone operator. Under a restrictive assumption we prove the convergence of our modified JKO scheme towards this flow as the time step vanishes. We also provide numerical illustrations of the intriguing properties of this newly defined gradient flow.

On two notions of curvature on singular surfaces

2025-11-18T07:46:36Z

In this paper, we investigate the equivalence of two distinct notions of curvature bounds on singular surfaces. The first notion involves inequalities of the form $ω\geqκμ$ (resp. $ω\leqκμ$) where $ω$ is the curvature measure and $μ$ the Hausdorff measure. The second notion is the classical Alexandrov curvature bound CBB (resp. CAT). We demonstrate that these two definitions are, in fact, equivalent. Specifically, we fill an important gap in the theory by showing that the inequalities imply the corresponding Alexandrov CBB (resp. CAT) bound. One striking application of our result is that, in combination with a result of Petrunin, the lower bound $ω\geqκμ$ implies $RCD(κ, 2)$.

Generalization of Ceva theorem

2025-11-17T23:38:11Z

In this paper, we present a novel generalization of the classical Ceva theorem to arbitrarily dimensional simplexes. Our approach allows cevians to have any dimension (smaller than the dimension of the base simplex). Consequently, our result unifies other generalizations of the Ceva theorem obtained in recent years.

Vertex-minimal hyperbolic origami 2-torus

2025-11-17T22:13:23Z

We show that there exists a geodesic triangulation $T$ of a hyperbolic genus 2 surface $Σ_2$ with 10 vertices and an isometric polyhedral embedding $S: Σ_2 \hookrightarrow \mathbb{H}^3$ that sends the triangles in $T$ to geodesic triangles in $\mathbb{H}^3$. We call this type of embedding a hyperbolic origami 2-torus. Since 10 is the combinatorially minimum number of vertices required to triangulate a genus 2 surface, this paper settles the question of minimum number of vertices required to obtain a hyperbolic origami 2-torus.

Volumes of Regular Hyperbolic Simplices

2025-11-17T18:49:43Z

We derive an explicit formula for the volume of a regular simplex in the hyperbolic space of any dimension.

The Cheeger problem in abstract measure spaces

2025-11-17T15:15:53Z

We consider non-negative $σ$-finite measure spaces coupled with a proper functional $P$ that plays the role of a perimeter. We introduce the Cheeger problem in this framework and extend many classical results on the Cheeger constant and on Cheeger sets to this setting, requiring minimal assumptions on the pair measure space-perimeter. Throughout the paper, the measure space will never be asked to be metric, at most topological, and this requires the introduction of a suitable notion of Sobolev spaces, induced by the coarea formula with the given perimeter.

A Family of Eight-Point Conics Associated with the Cyclic Quadrilateral

2025-11-17T12:21:04Z

We consider the following configuration. Let $ABCD$ be a cyclic quadrilateral with circumcenter $O$, and for each vertex $X$, let $H_X$ be the orthocenter of the triangle formed by the other three. Then $A,\;B,\;C,\;D,\;H_A,\;H_B,\;H_C,\;H_D$ all lie on a single conic. In this paper we study a certain generalization of this fact as follows. For an arbitrary point $P_D$ on the Euler line of $\triangle ABC$, we define corresponding points $P_A, P_B, P_C$ on the respective Euler lines such that the ratio $P_XH_X : P_XO$ is constant for all $X$. We show that the four vertices $A,B,C,D$ and the four isogonal conjugates $Q_A,\;Q_B\;,Q_C\;,Q_D$ of the points $P_X$ all lie on a single conic. This result is given distinct treatments, synthetic, projective, and algebraic. Furthermore, we situate the points $P_X$ within the list of triangle centers.

The magnitude and spectral geometry

2025-11-16T21:02:48Z

We study the geometric significance of Leinster's notion of magnitude for a smooth manifold with boundary of arbitrary dimension, motivated by open questions for the unit disk in $\mathbb{R}^2$. For a large class of distance functions, including embedded submanifolds of Euclidean space and Riemannian manifolds satisfying a technical condition, we show that the magnitude function is well defined for $R\gg 0$ and admits a meromorphic continuation to sectors in $\mathbb{C}$. In the semiclassical limit $R \to \infty$, the magnitude function admits an asymptotic expansion, which determines the volume, surface area and integrals of generalized curvatures. Lower-order terms are computed by black box computer algebra. We initiate the study of magnitude analogues to classical questions in spectral geometry and prove an asymptotic variant of the Leinster-Willerton conjecture.