• ### Fine properties of the curvature of arbitrary closed sets(1708.01549)

Aug. 13, 2019 math.DG, math.AP, math.MG
Given an arbitrary closed set A of $\mathbf{R}^{n}$, we establish the relation between the eigenvalues of the approximate differential of the spherical image map of A and the principal curvatures of A introduced by Hug-Last-Weil, thus extending a well known relation for sets of positive reach by Federer and Zaehle. Then we provide for every $m = 1, \ldots , n-1$ an integral representation for the support measure $\mu_{m}$ of A with respect to the m dimensional Hausdoff measure. Moreover a notion of second fundamental form $Q_{A}$ for an arbitrary closed set A is introduced so that the finite principal curvatures of A correspond to the eigenvalues of $Q_{A}$. We prove that the approximate differential of order 2, introduced in a previous work of the author, equals in a certain sense the absolutely continuous part of $Q_{A}$, thus providing a natural generalization to higher order differentiability of the classical result of Calderon and Zygmund on the approximate differentiability of functions of bounded variation.
• ### Positivity of valuations on convex bodies and invariant valuations by linear actions(1709.08304)

March 24, 2019 math.DG, math.DS, math.MG
In this paper, we endow the space of continuous translation invariant valuation on convex sets generated by mixed volumes coupled with a suitable Radon measure on tuples of convex bodies with two appropriate norms. This enables us to construct a continuous extension of the convolution operator on smooth valuations to non-smooth valuations, which are in the completion of the spaces of valuations with respect to these norms. The novelty of our approach lies in the fact that our proof does not rely on the general theory of wave fronts, but on geometric inequalities deduced from optimal transport methods. We apply this result to prove a variant of Minkowski's existence theorem, and generalize a theorem of Favre-Wulcan and Lin in complex dynamics over toric varieties by studying the linear actions on the Banach spaces of valuations and by studying their corresponding eigenspaces.
• ### Anisotropic Quadratic Forms and Inversive Geometry(1509.05104)

March 21, 2019 math.MG, math.AC
We develop an inversive geometry for anisotropic quadradic spaces, in analogy with the classical inversive geometry of a Euclidean plane.
• ### Euclidean sums and Hamiltonian products of circles in the 3-sphere(1306.1917)

March 18, 2019 math.AG, math.MG
We classify the singular loci of surfaces in the 3-sphere that are the pointwise Euclidean sum or Hamiltonian product of circles. Such surfaces are the union of circles in at least two ways. As an application we classify surfaces that are covered by both great circles and little circles up to homeomorphism.
• ### Group approximation in Cayley topology and coarse geometry, Part I: Coarse embeddings of amenable groups(1310.4736)

March 12, 2019 math.OA, math.MG, math.GR
The objective of this series is to study metric geometric properties of (coarse) disjoint unions of amenable Cayley graphs. We employ the Cayley topology and observe connections between large scale structure of metric spaces and group properties of Cayley accumulation points. In this Part I, we prove that a disjoint union has property A of G. Yu if and only if all groups appearing as Cayley accumulation points in the space of marked groups are amenable. As an application, we construct two disjoint unions of finite special linear groups (and unimodular linear groups) with respect to two systems of generators that look similar such that one has property A and the other does not admit (fibred) coarse embeddings into any Banach space with non-trivial type (for instance, any uniformly convex Banach space).
• ### The integral polytope group(1605.01217)

March 11, 2019 math.GT, math.MG, math.GR
We show that the Grothendieck group associated to integral polytopes in $\mathbb{R}^n$ is free-abelian by providing an explicit basis. Moreover, we identify the involution on this polytope group given by reflection about the origin as a sum of Euler characteristic type. We also compute the kernel of the norm map sending a polytope to its induced seminorm on the dual of $\mathbb{R}^n$.
• ### Virtually cocompactly cubulated Artin-Tits groups(1509.08711)

March 11, 2019 math.GT, math.MG, math.GR
We give a conjectural classification of virtually cocompactly cubulated Artin-Tits groups (i.e. having a finite index subgroup acting geometrically on a CAT(0) cube complex), which we prove for all Artin-Tits groups of spherical type, FC type or two-dimensional type. A particular case is that for $n \geq 4$, the $n$-strand braid group is not virtually cocompactly cubulated.
• ### Balls Isoperimetric in $\mathbb{R}^n$ with Volume and Perimeter Densities $r^m$ and $r^k$(1610.05830)

March 8, 2019 math.DG, math.MG
We have discovered a "little" gap in our proof of the sharp conjecture that in $\mathbb{R}^n$ with volume and perimeter densities $r^m$ and $r^k$, balls about the origin are uniquely isoperimetric if $0 < m \leq k - k/(n+k-1)$, that is, if they are stable (and $m > 0$). The implicit unjustified assumption is that the generating curve is convex.
• ### Extension properties of planar uniform domains(1609.08763)

March 8, 2019 math.MG
The classical bi-Lipschitz and quasisymmetric Schoenflies theorems in the plane by Tukia, Beurling and Ahlfors are generalized in this paper for all planar uniform domains. Specifically, we show that if $U\subset \mathbb{R}^2$ is a uniform domain then it has the following two extension properties: (1) every bi-Lipschitz map $f:\partial U \to \mathbb{R}^2$ that can be extended homeomorphically to $\mathbb{R}^2$ can also be extended bi-Lipschitz to $\mathbb{R}^2$ and (2) if $\partial U$ is relatively connected then every quasisymmetric map $f:\partial U \to \mathbb{R}^2$ that can be extended homeomorphically to $\mathbb{R}^2$ can also be extended quasisymmetrically to $\mathbb{R}^2$. In higher dimensions, we show that if $U$ is the exterior of a uniformly disconnected set in $\mathbb{R}^n$ then every bi-Lipschitz embedding $f:\partial U \to \mathbb{R}^n$ extends to a bi-Lipschitz homeomorphism of $\mathbb{R}^n$. The same is also true for quasisymmetric embeddings under the additional assumption that $\partial U$ is relatively connected.
• ### Tilings of an Isosceles Triangle(1206.1974)

June 17, 2019 math.MG
An N-tiling of triangle ABC by triangle T is a way of writing ABC as a union of N trianglescongruent to T, overlapping only at their boundaries. The triangle T is the "tile". The tile may or may not be similar to ABC. In this paper we study the case of isosceles (but not equilateral) ABC. We study three possible forms of the tile: right-angled, or with one angle double another, or with a 120 degree angle. In the case of a right-angled tile, we give a complete characterization of the tilings, for N even, but leave open whether N can be odd. In the latter two cases we prove the ratios of the sides of the tile are rational, and give a necessary condition for the existence of an N-tiling. For the case when the tile has one angle double another, we prove N cannot be prime or twice a prime.
• ### Local Formulas for Ehrhart Coefficients from Lattice Tiles(1709.10390)

May 6, 2019 math.MG
As shown by McMullen in 1983, the coefficients of the Ehrhart polynomial of a lattice polytope can be written as a weighted sum of facial volumes. The weights in such a local formula depend only on the outer normal cones of faces, but are far from being unique. In this paper, we develop an infinite class of such local formulas. These are based on choices of fundamental domains in sublattices and obtained by polyhedral volume computations. We hereby also give a kind of geometric interpretation for the Ehrhart coefficients. Since our construction gives us a great variety of possible local formulas, these can, for instance, be chosen to fit well with a given polyhedral symmetry group. In contrast to other constructions of local formulas, ours does not rely on triangulations of rational cones into simplicial or even unimodular ones.
• ### Pseudo-edge unfoldings of convex polyhedra(1709.04944)

Feb. 27, 2019 math.DG, math.CO, math.GT, math.MG
A pseudo-edge graph of a convex polyhedron K is a 3-connected embedded graph in K whose vertices coincide with those of K, whose edges are distance minimizing geodesics, and whose faces are convex. We construct a convex polyhedron K in Euclidean 3-space with a pseudo-edge graph with respect to which K is not unfoldable. The proof is based on a result of Pogorelov on convex caps with prescribed curvature, and an unfoldability obstruction for almost flat convex caps due to Tarasov. Our example, which has 340 vertices, significantly simplifies an earlier construction by Tarasov, and confirms that Durer's conjecture does not hold for pseudo-edge unfoldings.
• ### Internal DLA on Sierpinski gasket graphs(1702.04017)

Internal diffusion-limited aggregation (IDLA) is a stochastic growth model on a graph $G$ which describes the formation of a random set of vertices growing from the origin (some fixed vertex) of $G$. Particles start at the origin and perform simple random walks; each particle moves until it lands on a site which was not previously visited by other particles. This random set of occupied sites in $G$ is called the IDLA cluster. In this paper we consider IDLA on Sierpinski gasket graphs, and show that the IDLA cluster fills balls (in the graph metric) with probability 1.
• ### Barycenters of Polytope Skeleta and Counterexamples to the Topological Tverberg Conjecture, via Constraints(1510.07984)

Feb. 20, 2019 math.AT, math.CO, math.MG
Using the authors' 2014 "constraints method," we give a short proof for a 2015 result of Dobbins on representations of a point in a polytope as the barycenter of points in a skeleton, and show that the "r-fold Whitney trick" of Mabillard and Wagner (2014/2015) implies that the Topological Tverberg Conjecture for r-fold intersections fails dramatically for all r that are not prime powers.
• ### Measuring quadric sectors at centre(1007.0152)

Feb. 18, 2019 math.MG
Sectors at centre of affine quadrics with point symmetry are investigated over arbitrary fields of characteristic different from two. As an application we demonstrate nice formulas for the area and the volume of such planar and spatial sectors, respectively, in euclidean space. It seems that up to now there has been atmost little research in this field up to very special cases.
• ### Characterizing a vertex-transitive graph by a large ball(1508.02247)

Feb. 17, 2019 math.MG, math.GR
It is well-known that a complete Riemannian manifold M which is locally isometric to a symmetric space is covered by a symmetric space. Here we prove that a discrete version of this property (called local to global rigidity) holds for a large class of vertex-transitive graphs, including Cayley graphs of torsion-free lattices in simple Lie groups, and Cayley graph of torsion-free virtually nilpotent groups. By contrast, we exhibit various examples of Cayley graphs of finitely presented groups (e.g. SL(4,Z)) which fail to have this property, answering a question of Benjamini, Ellis, and Georgakopoulos. Answering a question of Cornulier, we also construct a continuum of non pairwise isometric large-scale simply connected locally finite vertex-transitive graphs. This question was motivated by the fact that large-scale simply connected Cayley graphs are precisely Cayley graphs of finitely presented groups and therefore have countably many isometric classes.
• ### Decomposition theorems for asymptotic property C and property A(1709.01119)

Feb. 16, 2019 math.GT, math.FA, math.GN, math.MG, math.GR
We combine aspects of the notions of finite decomposition complexity and asymptotic property C into a notion that we call finite APC-decomposition complexity. Any space with finite decomposition complexity has finite APC-decomposition complexity and any space with asymptotic property C has finite APC-decomposition complexity. Moreover, finite APC-decomposition complexity implies property A for metric spaces. We also show that finite APC-decomposition complexity is preserved by direct products of groups and spaces, amalgamated products of groups, and group extensions, among other constructions.
• ### Triangle Tiling: The case $3\alpha + 2\beta = \pi$(1206.2229)

Feb. 13, 2019 math.MG
An $N$-tiling of triangle $ABC$ by triangle $T$ (the tile') is a way of writing $ABC$ as a union of $N$ copies of $T$ overlapping only at their boundaries. Let the tile $T$ have angles $(\alpha,\beta,\gamma)$, and sides $(a,b,c)$. This paper takes up the case when $3\alpha + 2\beta = \pi$. Then there are (as was already known) exactly five possible shapes of $ABC$: either $ABC$ is isosceles with base angles $\alpha$, $\beta$, or $\alpha+\beta$, or the angles of $ABC$ are $(2\alpha,\beta,\alpha+\beta)$, or the angles of $ABC$ are $(2\alpha, \alpha, 2\beta)$. In each of these cases, we have discovered, and here exhibit, a family of previously unknown tilings. These are tilings that, as far as we know, have never been seen before. We also discovered, in each of the cases, a Diophantine equation involving $N$ and the (necessarily rational) number $s = a/c$ that has solutions if there is a tiling using tile $T$ of some $ABC$ not similar to $T$. By means of these Diophantine equations, some conclusions about the possible values of $N$ are drawn; in particular there are no tilings possible for values of $N$ of certain forms. We prove, for example, that there is no $N$-tiling with $N$ prime when $3\alpha + 2\beta = \pi$. These equations also imply that for each $N$, there is a finite set of possibilities for the tile $(a,b,c)$ and the triangle $ABC$. (Usually, but not always, there is just one possible tile.) These equations provide necessary, and in three of the five cases sufficient, conditions for the existence of $N$-tilings.
• ### Elastic Graphs(1607.00340)

Feb. 9, 2019 math.DS, math.MG
An elastic graph is a graph with an elasticity associated to each edge. It may be viewed as a network made out of ideal rubber bands. If the rubber bands are stretched on a target space there is an elastic energy. We characterize when a homotopy class of maps from one elastic graph to another is loosening, i.e., decreases this elastic energy for all possible targets. This fits into a more general framework of energies for maps between graphs.
• ### A proof of Furstenberg's conjecture on the intersections of $\times p$ and $\times q$-invariant sets(1609.08053)

Feb. 7, 2019 math.CA, math.DS, math.MG, math.NT
We prove the following conjecture of Furstenberg (1969): if $A,B\subset [0,1]$ are closed and invariant under $\times p \mod 1$ and $\times q \mod 1$, respectively, and if $\log p/\log q\notin \mathbb{Q}$, then for all real numbers $u$ and $v$, $$\dim_{\rm H}(uA+v)\cap B\le \max\{0,\dim_{\rm H}A+\dim_{\rm H}B-1\}.$$ We obtain this result as a consequence of our study on the intersections of incommensurable self-similar sets on $\mathbb{R}$. Our methods also allow us to give upper bounds for dimensions of arbitrary slices of planar self-similar sets satisfying SSC and certain natural irreducible conditions.
• ### Medians of populations of persistence diagrams(1307.8300)

Feb. 6, 2019 math.AT, math.MG, math.ST, stat.TH, cs.CG
Persistence diagrams are common objects in the field of Topological Data Analysis. They are topological summaries that capture both topological and geometric structure within data. Recently there has been a surge of interest in developing tools to statistically analyse populations of persistence diagrams, a process hampered by the complicated geometry of the space of persistence diagrams. In this paper we study the median of a set of diagrams, defined as the minimizer of an appropriate cost function analogous to the sum of distances used for samples of real numbers. We then characterize the local minima of this cost function and in doing so characterize the median. We also do some comparative analysis of the properties of the median and the mean.
• ### On the geodesic flow on CAT(0) spaces(1509.05741)

July 16, 2019 math.DG, math.GT, math.MG
Under certain assumptions on CAT(0) spaces, we show that the geodesic flow is topologically mixing. In particular, the Bowen-Margulis' measure finiteness assumption used in recent work of Ricks is removed. We also construct examples of CAT(0) spaces which do not admit finite Bowen-Margulis measure.
• ### Intersecting hexagons in 3-space(1705.01272)

Jan. 28, 2019 math.CO, math.MG
Two hexagons in the space are said to intersect badly if the intersection of their convex hulls consists of at least one common vertex as well as an interior point. We are going to show that the number of hexagons on n points in 3-space without bad intersections is o(n^2), under the assumption that the hexagons are "fat".
• ### Eldan's Stochastic Localization and the KLS Conjecture: Isoperimetry, Concentration and Mixing(1612.01507)

Jan. 27, 2019 math.PR, math.FA, math.MG, cs.CG, cs.DS
We show that the Cheeger constant for $n$-dimensional isotropic logconcave measures is $O(n^{1/4})$, improving on the previous best bound of $O(n^{1/3}\sqrt{\log n}).$ As corollaries we obtain the same improved bound on the thin-shell estimate, Poincar\'{e} constant and Lipschitz concentration constant and an alternative proof of this bound for the isotropic (slicing) constant; it also follows that the ball walk for sampling from an isotropic logconcave density in ${\bf R}^{n}$ converges in $O^{*}(n^{2.5})$ steps from a warm start. The proof is based on gradually transforming any logconcave density to one that has a significant Gaussian factor via a Martingale process. Extending this proof technique, we prove that the log-Sobolev constant of any isotropic logconcave density in ${\bf R}^{n}$ with support of diameter $D$ is $\Omega(1/D)$, resolving a question posed by Frieze and Kannan in 1997. This is asymptotically the best possible estimate and improves on the previous bound of $\Omega(1/D^{2})$ by Kannan-Lov\'{a}sz-Montenegro. It follows that for any isotropic logconcave density, the ball walk with step size $\delta=\Theta(1/\sqrt{n})$ mixes in $O\left(n^{2}D\right)$ proper steps from \emph{any }starting point. This improves on the previous best bound of $O(n^{2}D^{2})$ and is also asymptotically tight. The new bound leads to the following large deviation inequality for an $L$-Lipschitz function $g$ over an isotropic logconcave density $p$: for any $t>0$, $Pr_{x\sim p}\left(\left|g(x)-\bar{g}\right|\geq L\cdot t\right)\leq\exp(-\frac{c\cdot t^{2}}{t+\sqrt{n}})$ where $\bar{g}$ is the median or mean of $g$ for $x\sim p$; this generalizes and improves on previous bounds by Paouris and by Guedon-Milman. The technique also bounds the `small ball'' probability in terms of the Cheeger constant, and recovers the current best bound.
• ### Coarse Cohomology with twisted Coefficients(1710.06725)

July 4, 2019 math.AT, math.AG, math.MG
This paper studies sheaf cohomology on coarse spaces.