Related papers: A circle packing proof of the Combinatorial Rieman…
A finite set of integers $A$ tiles the integers by translations if $\mathbb{Z}$ can be covered by pairwise disjoint translated copies of $A$. Restricting attention to one tiling period, we have $A\oplus B=\mathbb{Z}_M$ for some…
The subject of this paper is Beurling's celebrated extension of the Riemann mapping theorem \cite{Beu53}. Our point of departure is the observation that the only known proof of the Beurling-Riemann mapping theorem contains a number of gaps…
We prove some rigidity theorems for configurations of closed disks. First, fix two collections $\mathcal{C}$ and $\tilde{\mathcal{C}}$ of closed disks in the Riemann sphere $\hat{\mathbb{C}}$, sharing a contact graph which…
For a complete Riemannian manifold with bounded geometry, we prove the existence of isoperimetric clusters and also the compactness theorem for sequence of clusters in a larger space obtained by adding finitely many limit manifolds at…
The well-known problem stated by A. Meir and L. Moser consists in tiling the unit square with rectangles (details), whose side lengths equal $1/n\times 1/(n+1)$, where indices~$n$ range from 1 to infinity. Recently, Terence Tao has proved…
Sharing of notations and theories across an inheritance hierarchy of mathematical structures, e.g., groups and rings, is important for productivity when formalizing mathematics in proof assistants. The packed classes methodology is a…
This paper encompasses the mathematical derivations of the analytic and generalized formula and recurrence relations to find out the radii of n umber of circles inscribed or packed in the plane region bounded by circular arcs (including…
In 2008, Schmidt and Tuller stated a conjecture concerning optimal packing and covering of integers by translates of a given three-point set. In this note, we confirm their conjecture and relate it to several other problems in…
We prove the existence of stationary discs in the ball for small almost complex deformations of the standard structure. We define a local analogue of the Riemann map and establish its main properties. These constructions are applied to…
We characterize Riemannian orbifolds and their coverings in terms of metric geometry. In particular, we show that the metric double of a Riemannian orbifold along the closure of its codimension one stratum is a Riemannian orbifold and that…
We study circle packings with the combinatorics of a triangulated disk in the plane and parametrize deformations of circle packings in terms of vertex rotation and cross ratios. We show that there is a Weierstrass representation formula…
Thurston's sphere packing on a 3-dimensional manifold is a generalization of Thusrton's circle packing on a surface, the rigidity of which has been open for many years. In this paper, we prove that Thurston's Euclidean sphere packing is…
We prove a parametrized compactness theorem on manifolds of bounded Ricci curvature, upper bounded diameter and lower bounded injectivity radius.
The boundary of the Siegel disk of a quadratic polynomial with an irrationally indifferent fixed point with the golden mean rotation number has been observed to be self-similar. The geometry of this self-similarity is universal for a large…
Compact packings are specific packings of spheres which can be seen as tilings and are good candidates to maximize the density. We show that the compact packings of the Euclidean space with two sizes of spheres are exactly those obtained by…
In this paper, we introduce and develop the circle embedding method. This method hinges essentially on a combinatorial-geometric structure which we choose to call circles of partition. We provide applications in the context of problems that…
We give combinatorial proofs of two multivariate Cayley--Hamilton type theorems. The first one is due to Phillips (Amer. J. Math., 1919) involving $2k$ matrices, of which $k$ commute pairwise. The second one regards the mixed discriminant,…
This paper presents a simplified geometric proof of the Molino-Alexandrino-Radeschi (MAR) Theorem, which states that the closure of a singular Riemannian foliation on a complete Riemannian manifold is itself a smooth singular Riemannian…
For a complete noncompact connected Riemannian manifold with bounded geometry, we prove a compactness result for sequences of finite perimeter sets with uniformly bounded volume and perimeter in a larger space obtained by adding limit…
The main theorem states that any complete connected Riemannian manifold of bounded geometry can be isometrically realized as a leaf with trivial holonomy in a compact Riemannian foliated space.