Metric Geometry

AG-2025.08-458

math.MG

Topological cones and positively polarizable hyperbolic norms

Ethan Kharitonov, Argam Ohanyan

In the first part of this article, we study linear cones over totally ordered fields. We show that for each such cone there uniquely exists a universal vector space (called its spanned vector space) into which it embeds as a generating convex cone. Moreover, we investigate topologies on cones for which the natural cone operations are continuous, and study how these topologies carry over to the spanned vector space. In the second part, we deal with hyperbolic norms which satisfy a polarization identity and are defined on cones over the real numbers. We show that, under reasonable assumptions, such hyperbolic norms induce a Lorentzian inner product on the spanned vector space. Finally, we establish a link between completeness under the Wick rotation of a Lorentzian inner product and order-theoretic completeness.

AG-2025.04-558

math.MG

Equivalence between the timelike Brunn-Minkowski inequality and timelike Bakry-Émery-Ricci lower bound on weighted globally hyperbolic spacetimes

Osama Farooqui

We prove the timelike Brunn-Minkowski inequality $\mathsf{TBM}(K,N)$ implies a timelike lower bound on the Bakry-Émery-Ricci curvature on weighted globally hyperbolic spacetimes. This result, together with the well-known equivalence between timelike Bakry-Émery-Ricci lower bounds and the $\mathsf{TCD}(K,N)$ condition, and the fact that $\mathsf{TCD}(K,N)$ spaces support the timelike Brunn-Minkowski inequality, draws an equivalence between $\mathsf{TBM}(K,N)$ and $\mathsf{TCD}(K,N)$ in the smooth setting.

AG-2024.12-127

math.MG

Lorentzian metric spaces and GH-convergence: the unbounded case

A. Bykov, E. Minguzzi, S. Suhr

We introduce a notion of Lorentzian metric space which drops the boundedness condition from our previous work and argue that the properties defining our spaces are minimal. In fact, they are defined by three conditions given by (a) the reverse triangle inequality for chronologically related events, (b) Lorentzian distance continuity and relative compactness of chronological diamonds, and (c) a distinguishing condition via the Lorentzian distance function. By adding a countably generating condition we confirm the validity of desirable properties for our spaces including the Polish property. The definition of (pre)length space given in our previous work on the bounded case is generalized to this setting. We also define a notion of Gromov-Hausdorff convergence for Lorentzian metric spaces and prove that (pre)length spaces are GH-stable. It is also shown that our (sequenced) Lorentzian metric spaces bring a natural quasi-uniformity (resp. quasi-metric). Finally, an explicit comparison with other recent constructions based on our previous work on bounded Lorentzian metric spaces is presented.

AG-2015.03-1557

math.MG

Intrinsic metrics on graphs: A survey

Matthias Keller

A few years ago various disparities for Laplacians on graphs and manifolds were discovered. The corresponding results are mostly related to volume growth in the context of unbounded geometry. Indeed, these disparities can now be resolved by using so called intrinsic metrics instead of the combinatorial graph distance. In this article we give an introduction to this topic and survey recent results in this direction. Specifically, we cover topics such as Liouville type theorems for harmonic functions, essential selfadjointness, stochastic completeness and upper escape rates. Furthermore, we determine the spectrum as a set via solutions, discuss upper and lower spectral bounds by isoperimetric constants and volume growth and study $p$-independence of spectra under a volume growth assumption.

AG-2014.12-1972

math.MG

Extended multifractal formalism of some non-doubling measures

Shuang Shen

In a previous work \cite{She} we constructed measures on symbolic spaces which satisfy an extended multifractal formalism (in the sense that Olsen's functions $b$ and $B$ differ and that their Legendre transforms have the expected interpretation in terms of dimensions). These measures are composed with a Gray code and projected onto the unit interval so to get doubling measures. Then we were able to show that the projected measure has the same Olsen's functions as the one it comes from and that it also fulfills the extended multifractal formalism. Here we show that the use of a Gray code is not necessary to get these results, although dealing with non doubling measures.

AG-2014.09-1684

math.MG

Inverse problems in multifractal analysis

Julien Barral

Multifractal formalism is designed to describe the distribution at small scales of the elements of $\mathcal M^+_c(\R^d)$, the set of positive, finite and compactly supported Borel measures on $\R^d$. It is valid for such a measure $μ$ when its Hausdorff spectrum is the upper semi-continuous function given by the concave Legendre-Fenchel transform of the free energy function $τ_μ$ associated with $μ$; this is the case for fundamental classes of exact dimensional measures. For any function $τ$ candidate to be the free energy function of some $μ\in \mathcal M^+_c(\R^d)$, we build such a measure, exact dimensional, and obeying the multifractal formalism. This result is extended to a refined formalism considering jointly Hausdorff and packing spectra. Also, for any upper semi-continuous function candidate to be the lower Hausdorff spectrum of some exact dimensional $μ\in\mathcal M^+_c(\R^d)$, we build such a measure. Our results transfer to the analoguous inverse problems in multifractal analysis of Hölder continuous functions.

AG-2014.08-330

math.MG

A porism concerning cyclic quadrilaterals

Jerzy Kocik

We present a geometric theorem on a porism about cyclic quadrilaterals, namely the existence of an infinite number of cyclic quadrilaterals through four fixed collinear points once one exists. Also, a technique of proving such properties with the use of pseudounitary traceless matrices is presented. A similar property holds for general quadrics as well as the circle.

AG-2014.08-067

math.MG

The 3-ball is a local pessimum for packing

Yoav Kallus

It was conjectured by Ulam that the ball has the lowest optimal packing fraction out of all convex, three-dimensional solids. Here we prove that any origin-symmetric convex solid of sufficiently small asphericity can be packed at a higher efficiency than balls. We also show that in dimensions 4, 5, 6, 7, 8, and 24 there are origin-symmetric convex bodies of arbitrarily small asphericity that cannot be packed using a lattice as efficiently as balls can be.

AG-2014.05-425

math.MG

Body with mirror surface and connected interior invisible from one point

Alena Aleksenko

Here we demonstrate existence of a piecewise smooth obstacle having connected interior and invisible from a point in the framework of geometric optics.

AG-2014.02-1440

math.MG

The almost periodic rigidity of crystallographic bar-joint frameworks

G. Badri, D. Kitson, S. C. Power

A crystallographic bar-joint framework C is shown to be almost periodically infinitesimally rigid if and only if it is strictly periodically infinitesimally rigid and the rigid unit mode (RUM) spectrum is a singleton. Moreover the almost periodic infinitesimal flexes of C are characterised in terms of a matrix-valued function on the d-torus determined by a full rank translation symmetry group and an associated motif of joints and bars.

AG-2013.11-1892

math.MG

Multifractal analysis of some inhomogeneous multinomial measures with distinct analytic Olsen's $b$ and $B$ functions

Shuang Shen

Inhomogeneous multinomial measures on the mixed symbolic spaces and the real line are given. By counting the zeros of the corresponding generalized Dirichlet polynomials, one obtains a probability measure whose Olsen's functions $b$ and $B$ are analytic and their graphs differ except at two points where they are tangent. Also, interpretations of the Legendre transform of $b$ and $B$ are given in terms of dimensions.

AG-2013.09-914

math.MG

Harmonic functions of general graph Laplacians

Bobo Hua, Matthias Keller

We study harmonic functions on general weighted graphs which allow for a compatible intrinsic metric. We prove an $L^{p}$ Liouville type theorem which is a quantitative integral $L^{p}$ estimate of harmonic functions analogous to Karp's theorem for Riemannian manifolds. As corollaries we obtain Yau's $L^{p}$-Liouville type theorem on graphs, identify the domain of the generator of the semigroup on $L^{p}$ and get a criterion for recurrence. As a side product, we show an analogue of Yau's $L^{p}$ Caccioppoli inequality. Furthermore, we derive various Liouville type results for harmonic functions on graphs and harmonic maps from graphs into Hadamard spaces.

AG-2013.06-2629

math.MG

Entropy and diffraction of the $k$-free points in $n$-dimensional lattices

Peter A. B. Pleasants, Christian Huck

We consider the $k$th-power-free points in $n$-dimensional lattices and explicitly calculate their entropies and diffraction spectra. This is of particular interest since these sets have holes of unbounded inradius.

AG-2013.02-257

math.MG

Periodic modification of the Boerdijk-Coxeter helix (tetrahelix)

Garrett Sadler, Fang Fang, Julio Kovacs, Klee Irwin

The Boerdijk-Coxeter helix is a helical structure of tetrahedra which possesses no non-trivial translational or rotational symmetries. In this document, we develop a procedure by which this structure is modified to obtain both translational and rotational (upon projection) symmetries along/about its central axis. We report the finding of several, distinct periodic structures, and focus on two particular forms related to the pentagonal and icosahedral aggregates of tetrahedra as well as Buckminster Fuller's "jitterbug transformation".

AG-2013.01-1133

math.MG

Delimiting Maximal Kissing Configurations in Four Dimensions

Eric Lewin Altschuler, Antonio Pérez-Garrido

How many unit $n-$dimensional spheres can simultaneously touch or kiss a central $n-$dimensional unit sphere? Beyond mathematics this question has implications for fields such as cryptography and the structure of biologic and chemical macromolecules. The kissing number is only known for dimensions 1-4, 8 and 24 (2, 6, 12, 24, 240, 19650, respectively) and only particularly obvious for dimensions one and two. Indeed, in four dimensions it is not even known if Platonic polytope unique to that dimension known as the 24-cell is the unique kissing configuration. We have not been able to prove that the 24-cell is unique, but, using a physical approach utilizing the hopf map from four to three dimensions, we for the first time delimit the possible other configurations which could be kissing in four dimensions.

AG-2013.01-800

math.MG

Lq Harmonic Functions on Graphs

Bobo Hua, Juergen Jost

We prove an analogue of Yau&#39;s Caccioppoli-type inequality for nonnegative subharmonic functions on graphs. We then obtain a Liouville theorem for harmonic or non-negative subharmonic functions of class Lq, 1<=q<\infty, on any graph, and a quantitative version for q > 1. Also, we provide counterexamples for Liouville theorems for 0 < q < 1.

AG-2013.01-145

math.MG

Ball Packings with Periodic Constraints

Robert Connelly, Jeffrey D. Shen, Alexander D. Smith

We call a periodic ball packing in d-dimensional Euclidean space periodically (strictly) jammed with respect to a period lattice if there are no nontrivial motions of the balls that preserve the period (that maintain some period with smaller or equal volume). In particular, we call a packing consistently periodically (strictly) jammed if it is periodically (strictly) jammed on every one of its periods. After extending a well-known bar framework and stress condition to strict jamming, we prove that a packing with period Lambda is consistently strictly jammed if and only if it is strictly jammed with respect to Lambda and consistently periodically jammed. We next extend a result about rigid unit mode spectra in crystallography to characterize periodic jamming on sublattices. After that, we prove that there are finitely many strictly jammed packings of m unit balls and other similar results. An interesting example shows that the size of the first sublattice on which a packing is first periodically unjammed is not bounded. Finally, we find an example of a consistently periodically jammed packing of low density δ= \frac{4 π}{6 \sqrt{3} + 11} + ε~ 0.59, where εis an arbitrarily small positive number. Throughout the paper, the statements for the closely related notions of periodic infinitesimal rigidity and affine infinitesimal rigidity for tensegrity frameworks are also given.

AG-2012.12-953

math.MG

The computation of overlap coincidence in Taylor-Socolar substitution tiling

Shigeki Akiyama, Jeong-Yup Lee

Recently Taylor and Socolar introduced an aperiodic mono-tile. The associated tiling can be viewed as a substitution tiling. We use the substitution rule for this tiling and apply the algorithm of \cite{AL} to check overlap coincidence. It turns out that the tiling has overlap coincidence. So the tiling dynamics has pure point spectrum and we can conclude that this tiling has a quasicrystalline structure.

AG-2012.10-1354

math.MG

Non-normability of spaces of Keplerian orbits

Dmitry Todorov

We prove that spaces of Keplerian curvilinear orbits, all orbits and elliptic orbits with marked pericenter cannot carry a norm, compatible with their standard topology. We also prove that the space of Keplerian elliptic orbits without marked pericenter cannot carry a norm, compatible with the natural metrics on it.

AG-2012.10-101

math.MG

Well-rounded sublattices and coincidence site lattices

Peter Zeiner

A lattice is called well-rounded, if its lattice vectors of minimal length span the ambient space. We show that there are interesting connections between the existence of well-rounded sublattices and coincidence site lattices (CSLs). Furthermore, we count the number of well-rounded sublattices for several planar lattices and give their asymptotic behaviour.

AG-2012.09-1580

math.MG

On the notions of symmetry and aperiodicity for Delone sets

Michael Baake, Uwe Grimm

Non-periodic systems have become more important in recent years, both theoretically and practically. Their description via Delone sets requires the extension of many standard concepts of crystallography. Here, we summarise some useful notions of symmetry and aperiodicity, with special focus on the concept of the hull of a Delone set. Our aim is to contribute to a more systematic and consistent use of the different notions.

AG-2012.08-335

math.MG

On the Complexity of some Geometrical Objects

Pierre Collet

We recall the definition of the $ε$-distortion complexity of a set defined in \cite{bcc} and the results obtained in this paper for Cantor sets of the interval defined by iterated function systems. We state an analogous definition for measures which may be more useful when dealing with dynamical systems. We prove a new lower bound in the case of Cantor sets of the interval defined by analytic iterated function systems. We also give an upper bound the $ε$-distortion complexity of invariant sets of uniformly hyperbolic dynamical systems.

AG-2012.05-2493

math.MG

Random walks on barycentric subdivisions and the Strichartz hexacarpet

Matthew Begue, Daniel J. Kelleher, Aaron Nelson, Hugo Panzo, Ryan Pellico, Alexander Teplyaev

We investigate the relation between simple random walks on repeated barycentric subdivisions of a triangle and a self-similar fractal, Strichartz hexacarpet, which we introduce. We explore a graph approximation to the hexacarpet in order to establish a graph isomorphism between the hexacarpet approximations and Barycentric subdivisions of the triangle, and discuss various numerical calculations performed on the these graphs. We prove that equilateral barycentric subdivisions converge to a self-similar geodesic metric space of dimension log(6)/log(2), or about 2.58. Our numerical experiments give evidence to a conjecture that the simple random walks on the equilateral barycentric subdivisions converge to a continuous diffusion process on the Strichartz hexacarpet corresponding to a different spectral dimension (estimated numerically to be about 1.74).

AG-2012.01-867

math.MG

Scaling of Congestion in Small World Networks

Iraj Saniee, Gabriel H. Tucci

In this report we show that in a planar exponentially growing network consisting of $N$ nodes, congestion scales as $O(N^2/\log(N))$ independently of how flows may be routed. This is in contrast to the $O(N^{3/2})$ scaling of congestion in a flat polynomially growing network. We also show that without the planarity condition, congestion in a small world network could scale as low as $O(N^{1+ε})$, for arbitrarily small $ε$. These extreme results demonstrate that the small world property by itself cannot provide guidance on the level of congestion in a network and other characteristics are needed for better resolution. Finally, we investigate scaling of congestion under the geodesic flow, that is, when flows are routed on shortest paths based on a link metric. Here we prove that if the link weights are scaled by arbitrarily small or large multipliers then considerable changes in congestion may occur. However, if we constrain the link-weight multipliers to be bounded away from both zero and infinity, then variations in congestion due to such remetrization are negligible.

AG-2011.05-589

math.MG

Conjectures and questions in convex geometry (of interest for quantum theory and other physical statistical theories)

P. G. L. Porta Mana

Some conjectures and open problems in convex geometry are presented, and their physical origin, meaning, and importance, for quantum theory and generic statistical theories, are briefly discussed.

AG-2011.02-2128

math.MG

Energy minimization, periodic sets and spherical designs

Renaud Coulangeon, Achill Schürmann

We study energy minimization for pair potentials among periodic sets in Euclidean spaces. We derive some sufficient conditions under which a point lattice locally minimizes the energy associated to a large class of potential functions. This allows in particular to prove a local version of Cohn and Kumar&#39;s conjecture that $\mathsf{A}_2$, $\mathsf{D}_4$, $\mathsf{E}_8$ and the Leech lattice are globally universally optimal, regarding energy minimization, and among periodic sets of fixed point density.

AG-2011.01-506

math.MG

Packing-constrained point coverings

Veit Elser

In the packing-constrained point covering problem, PC^2, one seeks configurations of points in the plane that cannot all be covered by a packing arrangement of unit disks. We consider in particular the problem of finding the minimum number of points N for which such a configuration exists and obtain the bounds 11 <= N <= 55. The disparity of these bounds is symptomatic, we believe, of the fact that PC^2 belongs in a higher complexity class than the standard packing and covering problems.

AG-2010.10-1197

math.MG

The Minkowskian planar 4R mechanism

Gabor Hegedüs, Brian Moore

We characterize and classify completely the planar 4R closed chain working on the Minkowskian plane. Our work would open a new research direction in the theory of geometric designs: the classification and characterization of the geometric design of linkages working in non--Euclidean spaces.

AG-2010.08-1226

math.MG

Upper bound on the packing density of regular tetrahedra and octahedra

Simon Gravel, Veit Elser, Yoav Kallus

We obtain an upper bound to the packing density of regular tetrahedra. The bound is obtained by showing the existence, in any packing of regular tetrahedra, of a set of disjoint spheres centered on tetrahedron edges, so that each sphere is not fully covered by the packing. The bound on the amount of space that is not covered in each sphere is obtained in a recursive way by building on the observation that non-overlapping regular tetrahedra cannot subtend a solid angle of $4π$ around a point if this point lies on a tetrahedron edge. The proof can be readily modified to apply to other polyhedra with the same property. The resulting lower bound on the fraction of empty space in a packing of regular tetrahedra is $2.6\ldots\times 10^{-25}$ and reaches $1.4\ldots\times 10^{-12}$ for regular octahedra.

AG-2010.08-1878

math.MG

A method for dense packing discovery

Yoav Kallus, Veit Elser, Simon Gravel

The problem of packing a system of particles as densely as possible is foundational in the field of discrete geometry and is a powerful model in the material and biological sciences. As packing problems retreat from the reach of solution by analytic constructions, the importance of an efficient numerical method for conducting \textit{de novo} (from-scratch) searches for dense packings becomes crucial. In this paper, we use the \textit{divide and concur} framework to develop a general search method for the solution of periodic constraint problems, and we apply it to the discovery of dense periodic packings. An important feature of the method is the integration of the unit cell parameters with the other packing variables in the definition of the configuration space. The method we present led to improvements in the densest-known tetrahedron packing which are reported in [arXiv:0910.5226]. Here, we use the method to reproduce the densest known lattice sphere packings and the best known lattice kissing arrangements in up to 14 and 11 dimensions respectively (the first such numerical evidence for their optimality in some of these dimensions). For non-spherical particles, we report a new dense packing of regular four-dimensional simplices with density $ϕ=128/219\approx0.5845$ and with a similar structure to the densest known tetrahedron packing.

AG-2010.03-1874

math.MG

Dense periodic packings of tetrahedra with small repeating units

Yoav Kallus, Veit Elser, Simon Gravel

We present a one-parameter family of periodic packings of regular tetrahedra, with the packing fraction $100/117\approx0.8547$, that are simple in the sense that they are transitive and their repeating units involve only four tetrahedra. The construction of the packings was inspired from results of a numerical search that yielded a similar packing. We present an analytic construction of the packings and a description of their properties. We also present a transitive packing with a repeating unit of two tetrahedra and a packing fraction $\frac{139+40\sqrt{10}}{369}\approx0.7194$.

AG-2010.02-208

math.MG

The 5 Electron Case of Thomson&#39;s Problem

Richard Evan Schwartz

We give a rigorous computer-assisted proof that the triangular bi-pyramid is the unique configuration of 5 points on the 2-sphere that globally minimizes the Coulomb (1/r) potential. We also prove the same result for the (1/r^2) potential. The main mathematical contribution of the paper is a fairly efficient energy estimate that works for any number of points and any power-law potential.

AG-2009.08-004

math.MG

A Dense Packing of Regular Tetrahedra

Elizabeth R. Chen

We construct a dense packing of regular tetrahedra, with packing density $D > >.7786157$.