
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
HugLastWeil, thus extending a well known relation for sets of positive reach
by Federer and Zaehle. Then we provide for every $ m = 1, \ldots , n1 $ 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.

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 nonsmooth 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 FavreWulcan 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.

We develop an inversive geometry for anisotropic quadradic spaces, in analogy
with the classical inversive geometry of a Euclidean plane.

We classify the singular loci of surfaces in the 3sphere 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.

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 nontrivial
type (for instance, any uniformly convex Banach space).

We show that the Grothendieck group associated to integral polytopes in
$\mathbb{R}^n$ is freeabelian 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$.

We give a conjectural classification of virtually cocompactly cubulated
ArtinTits groups (i.e. having a finite index subgroup acting geometrically on
a CAT(0) cube complex), which we prove for all ArtinTits groups of spherical
type, FC type or twodimensional type. A particular case is that for $n \geq
4$, the $n$strand braid group is not virtually cocompactly cubulated.

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+k1)$, that
is, if they are stable (and $m > 0$). The implicit unjustified assumption is
that the generating curve is convex.

In this note we provide a quasisymmetric taming of uniformly perfect and
uniformly disconnected sets that generalizes a result of MacManus from 2 to
higher dimensions. In particular, we show that a compact subset of
$\mathbb{R}^n$ is uniformly perfect and uniformly disconnected if and only if
it is ambiently quasiconformal to the standard Cantor set $\mathcal{C}$ in
$\mathbb{R}^{n+1}$.

An Ntiling 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: rightangled, or with one angle double another, or
with a 120 degree angle. In the case of a rightangled 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 Ntiling. For
the case when the tile has one angle double another, we prove N cannot be prime
or twice a prime.

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.

A pseudoedge graph of a convex polyhedron K is a 3connected 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 3space with a pseudoedge 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 pseudoedge unfoldings.

Internal diffusionlimited 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.

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 "rfold Whitney trick" of
Mabillard and Wagner (2014/2015) implies that the Topological Tverberg
Conjecture for rfold intersections fails dramatically for all r that are not
prime powers.

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.

It is wellknown 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 vertextransitive graphs, including Cayley graphs of
torsionfree lattices in simple Lie groups, and Cayley graph of torsionfree
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 largescale simply connected locally finite
vertextransitive graphs. This question was motivated by the fact that
largescale simply connected Cayley graphs are precisely Cayley graphs of
finitely presented groups and therefore have countably many isometric classes.

We combine aspects of the notions of finite decomposition complexity and
asymptotic property C into a notion that we call finite APCdecomposition
complexity. Any space with finite decomposition complexity has finite
APCdecomposition complexity and any space with asymptotic property C has
finite APCdecomposition complexity. Moreover, finite APCdecomposition
complexity implies property A for metric spaces. We also show that finite
APCdecomposition complexity is preserved by direct products of groups and
spaces, amalgamated products of groups, and group extensions, among other
constructions.

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.

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.

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}B1\}.$$ We obtain this result as a consequence of our study on
the intersections of incommensurable selfsimilar sets on $\mathbb{R}$. Our
methods also allow us to give upper bounds for dimensions of arbitrary slices
of planar selfsimilar sets satisfying SSC and certain natural irreducible
conditions.

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.

Under certain assumptions on CAT(0) spaces, we show that the geodesic flow is
topologically mixing. In particular, the BowenMargulis' measure finiteness
assumption used in recent work of Ricks is removed. We also construct examples
of CAT(0) spaces which do not admit finite BowenMargulis measure.

Two hexagons in the space are said to intersect heavily if their intersection
consists of at least one common vertex as well as an interior point. We show
that the number of hexagons on n points in 3space without heavy intersections
is o(n^2), under the assumption that the hexagons are "fat".

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 thinshell 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 logSobolev 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 KannanLov\'{a}szMontenegro. 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(\leftg(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 GuedonMilman. The technique also bounds the ``small
ball'' probability in terms of the Cheeger constant, and recovers the current
best bound.

This paper studies sheaf cohomology on coarse spaces.