The John inclusion for log-concave functions

2026-01-15T15:23:51Z

John's inclusion states that a convex body in $\mathbb{R}^d$ can be covered by the $d$-dilation of its maximal volume ellipsoid. We obtain a certain John-type inclusion for log-concave functions. As a byproduct of our approach, we establish the following asymptotically tight inequality: \\ \noindent For any log-concave function $f$ with finite, positive integral, there exist a positive definite matrix $A$, a point $a \in \mathbb{R}^d$, and a positive constant $α$ such that \[ χ_{\mathbf{B}^{d}}(x) \leq αf\!\!\left(A(x-a)\right) \leq \sqrt{d+1} \cdot e^{-\frac{\left|x\right|}{d+2} + (d+1)}, \] where $χ_{\mathbf{B}^{d}}$ is the indicator function of the unit ball $\mathbf{B}^{d}$.

Monotone Sobolev extensions in metric surfaces and applications to uniformization

2026-01-15T14:54:11Z

We prove a monotone Sobolev extension theorem for maps to Jordan domains with rectifiable boundary in metric surfaces of locally finite Hausdorff 2-measure. This is then used to prove a uniformization result for compact metric surfaces by minimizing energy in the class of monotone Sobolev maps.

A note on the $L_p$-Brunn-Minkowski inequality for intrinsic volumes and the $L_p$-Christoffel-Minkowski problem

2026-01-15T11:51:56Z

The first goal of this paper is to improve some of the results in \cite{BCPR}. Namely, we establish the $L_p$-Brunn-Minkwoski inequality for intrinsic volumes for origin-symmetric convex bodies that are close to the ball in the $C^2$ sense for a certain range of $p<1$ (including negative values) and we prove that this inequality does not hold true in the entire class of origin-symmetric convex bodies for any $p<1$. The second goal is to establish a uniqueness result for the (closely related) $L_p$-Christoffel-Minkowski problem. More specifically, we show uniqueness in the symmetric case when $p\in[0,1)$ and the data function $g$ in the right hand side is sufficiently close to the constant 1. One of the main ingredients of the proof is the existence of upper and lower bounds for the (convex) solution, that depend only $\|\log g\|_{L^\infty}$, a fact that might be of independent interest.

A non-Archimedean Arens--Eells isometric embedding theorem on valued fields

2026-01-15T09:14:56Z

In 1959, Arens and Eells proved that every metric space can be isometrically embedded into a normed linear space as a closed subset. In later years, in the paper on a short proof of the Arens--Eells theorem, Michael implicitly pointed out that the Arens--Eells theorem follows from the statement that every metric space can be isometrically embedded into a normed linear space as a linearly independent subset. In this paper, we prove a non-Archimedean analogue of the Arens--Eells isometric embedding theorem, which states that for every non-Archimedean valued field $K$, every ultrametric space can be isometrically embedded into a non-Archimedean valued field that is a valued field extension of $K$ such that the image of the embedding is algebraically independent over $K$.

Vertex-Minimal Paper Tori

2026-01-15T07:47:50Z

A paper torus is an embedded polyhedral torus that is isometric to a flat torus in the intrinsic sense. We prove that there does not exist a paper torus with $7$ vertices, and that there does exist a paper torus with $8$ vertices. This settles the question of the minimum number of vertices needed for a paper torus.

An invitation to Alexandrov geometry: CAT(0) spaces

2026-01-15T01:44:10Z

Our goal is to show the beauty and power of Alexandrov geometry by reaching interesting applications and theorems with a minimum of preparation. The topics include 1. Reshetnyak's gluing theorem, 2. Estimates on the number of collisions in billiards, 3. Reshetnyak's majorization theorem, 4. Hadamard--Cartan globalization theorem, 5. Polyhedral spaces, 6. Construction of exotic aspherical manifolds, 7. The geometry of two-convex sets in Euclidean space, 8. Barycenters and dimension theory.

A note on absolutely minimal extensions in finite metric spaces

2026-01-14T19:56:47Z

Absolutely minimal Lipschitz extensions (AMLEs) are known to exist in many infinite metric settings, but the finite case is less settled. In metric spaces with at most four points, every function on a nonempty subset admits an AMLE in the sense that the Lipschitz constant cannot be further reduced on sets that are disjoint from the prescribed domain. We show that in five-point spaces such extensions may fail to exist.

Sturmian lattices and Aperiodic tile sets

2026-01-14T13:15:11Z

We give an explicit algorithm to construct aperiodic tile sets based on Sturmian words of quadratic slopes. The method works for any quadratic irrational slope, and we can produce infinitely many aperiodic tile sets whose underlying scaling constant is a unit of any real quadratic field. There are two key ingredients in our construction. The first one is ``Sturmian lattices''; an interesting grid structure generated by Sturmian words that emerged in an aperiodic monotile called Smith Turtle. We shall give a classification of Sturmian lattices. The second is the bounded displacement equivalence of Delone sets, which plays a central role in this construction.

Unboundedness above of the Hitchin functional on $\mathrm{G}_2$ 3-forms and associated collapsing results

2026-01-14T09:38:05Z

This paper uses scaling arguments to prove the unboundedness above of the Hitchin functional on closed $\mathrm{G}_2$ 3-forms for two explicit closed 7-manifolds. The first manifold is the product $X \times S^1$ (where $X$ is the Nakamura manifold constructed by de Bartolomeis-Tomassini) equipped with a 4-dimensional family of closed $\mathrm{G}_2$ 3-forms and is inspired by a short paper of Fernández. The second is the manifold recently constructed by Fernández-Fino-Kovalev-Muñoz. In the latter example, careful resolution of singularities is required, in order to ensure that the rescaled forms are cohomologically constant. By combining suitable geometric estimates with a general collapsing theorem for orbifolds recently obtained by the author, explicit descriptions of the large volume limits of both manifolds are also obtained. The proofs in this paper are notable for not requiring explicit solution of the Laplacian flow evolution PDE for closed $\mathrm{G}_2$-structures, thereby allowing treatment of manifolds which lack the high degree of symmetry generally required for Laplacian flow to be explicitly soluble.

A general collapsing result for families of stratified Riemannian metrics on orbifolds

2026-01-14T09:34:34Z

This paper proves a general collapsing result for families of stratified Riemannian metrics $\widehat{g}^μ$ on a compact orbifold $E$, subject to suitable limiting conditions on the metrics $\widehat{g}^μ$ as $μ\to \infty$. The result is distinct from similar theorems in the literature since it does not require bounds on curvature or injectivity radius of $\left(E,\widehat{g}^μ\right)$ and thus allows for Gromov-Hausdorff limits of $\left(E,\widehat{g}^μ\right)$ which have strictly lower dimension than $E$. The paper also introduces and studies a new class of stratified fibrations between orbifolds, termed weak submersions, and new classes of geometric structures on orbifolds, termed stratified Riemannian metrics, stratified Riemannian semi-metrics and stratified quasi-Finslerian structures, all of which play a key role in the proof of the main theorem.

Rotation of a polytope in another one

2026-01-13T15:52:28Z

We are interested in the naive problem whether we can move a solid object in a solid box or not. We restrict move to rotation. In the case we can, the centre and the ``direction'' of rotation may be restricted. Simplifying, we consider possibility of rotation of a polytope within another one of the same dimension and give a criterion for the possibility. Consider the particular case of simplices of the same dimension assuming that the vertices of the inner simplex are contained in different facets of the outer one. Premising further that simplices are even dimensional, rotation is possible in a very general situation. However, in dimension 3, the possible case is not not general. Even in these elementary phenomena, the parity of the dimension seems to yield difference.

On the Lambert conformal conical projection and the general map of the Russian Empire

2026-01-13T09:39:09Z

The problem of drawing geographical maps is the one of mapping a subset of the sphere, representing a country or some other region on the surface of the Earth, into the Euclidean plane, minimising certain distortion properties that are specified in advance. It is known that from the purely mathematical point of view, this is an extremely difficult problem. One of Leonhard Euler's duties during his first stay at the Imperial Academy of Sciences of Saint Petersburg (1727-1741) was to help establishing maps of the Russian Empire. He worked on this project under the direction of the famous French geographer Joseph-Nicolas Delisle, who was the head of the astronomy and geography departments of the Academy. The general map of the Russian Empire, together with several maps of its particular regions were published under Euler's direction in the so-called Russian Atlas in 1745. In his later memoir ``De proiectione geographica De Lisliana in mappa generali imperii russici usitata'', written in 1777, Euler developed the mathematical theory of the method used by Delisle on a heuristic basis, which he himself used for drawing the general map of the Russian Empire. This method usually carries now the name Delisle--Euler map. In a previous paper, the first two authors of the present paper compared the Delisle--Euler map with several other maps of the conical type, with respect to various mathematical distorsion properties. They showed that this map is the best one from all the points of view considered, when it is applied to the drawing of the Russian Empire. In the present paper, we compare the Euler--Delisle map with a map which was not considered in the paper mentioned, namely, the so-called Lambert conformal conical projection, applied to the same region of the Earth. We show that the latter is better in several respects than all the other maps considered in the previous paper, including the Delisle--Euler map.

An interpolation of metrics and spaces of metrics

2026-01-13T08:06:04Z

As a generalization of Hausdorff's extension theorem of metrics, we prove an interpolation theorem of a family of metrics defined on closed subsets of metrizable spaces. As an application, we investigate typicality of subsets of moduli spaces of metrics. We observe that various sets of all metrics with properties appearing in metric geometry are dense intersections of countable open subsets in spaces of metrics on metrizable spaces. For instance, our study is applicable to the set of all non-doubling metrics and the set of all non-uniformly disconnected metrics.

Two-sided bounds for dihedral angle sums of path and 4-ball tetrahedra

2026-01-13T07:46:46Z

A tetrahedron is called a path tetrahedron, if it has three mutually orthogonal edges that do not intersect at a single point. A tetrahedron is called a 4-ball tetrahedron, if there exists a sphere tangent to all its edges. We derive two-sided tight bounds for dihedral angle sums of such tetrahedra. In particular, we prove that this sum lies in the interval (2π, 2.5π) for path tetrahedra and in [6 arccos 1/3, 3π) for 4-ball tetrahedra. Also some of their useful properties are presented.

Side-to-side Tiling of the Sphere by Congruent Curvilinear Triangles

2026-01-13T06:14:50Z

The edge-to-edge tilings of the sphere by congruent polygons, where all edges are straight, have been completely classified. We classify the curvilinear version of the similar triangular tilings, where the edges may not be straight, and find that these are the modifications of the straight triangular tilings.