Related papers: The Gauss circle problem for Penrose tilings

The paper shows that the curvature of RP2 is constant iff all geodesics are closed. Therefore RP2 is the first known manifold with only one G-structure. It took quiete a long time to find such a manifold. The author shows only that if all…

In "Dense Sphere Packings: A Blueprint for Formal Proofs" Hales proves that for every packing of unit spheres, the density in a ball of radius $r$ is at most $\pi/\sqrt{18}+c/r$ for some constant $c$. When $r$ tends to infinity, this gives…

Methodology is provided towards the solution of the minimum enclosing ball problem. This problem concerns the determination of the unique spherical surface of smallest radius enclosing a given bounded set in the d-dimensional Euclidean…

The problem that we consider is the following: given an $n \times n$ array $A$ of positive numbers, find a tiling using at most $p$ rectangles (which means that each array element must be covered by some rectangle and no two rectangles must…

Let $\mathcal{C}$ be an irreducible plane curve of $\text{PG}(2,\mathbb{K})$ where $\mathbb{K}$ is an algebraically closed field of characteristic $p\geq 0$. A point $Q\in \mathcal{C}$ is an inner Galois point for $\mathcal{C}$ if the…

In this paper, we find all constant slope surfaces in the Euclidean 3-space, namely those surfaces for which the position vector of a point of the surface makes constant angle with the normal at the surface in that point. These surfaces…

This paper considers $n$-ribbon tilings of general regions and their per-tile entropy (the binary logarithm of the number of tilings divided by the number of tiles). We show that the per-tile entropy is bounded above by $\log_2 n$. This…

Given a sphere of any radius $r$ in an $n$-dimensional Euclidean space, we study the coverings of this sphere with solid spheres of radius one. Our goal is to design a covering of the lowest covering density, which defines the average…

A tiling of the sphere by triangles, squares, or hexagons is convex if every vertex has at most 6, 4, or 3 polygons adjacent to it, respectively. Assigning an appropriate weight to any tiling, our main result is explicit formulas for the…

A compact circle-packing $P$ of the Euclidean plane is a set of circles which bound mutually disjoint open discs with the property that, for every circle $S\in P$, there exists a maximal indexed set $\{A_{0},\ldots,A_{n-1}\}\subseteq P$ so…

We investigate the intersections of balls of radius $r$, called $r$-ball bodies, in Euclidean $d$-space. An $r$-lense (resp., $r$-spindle) is the intersection of two balls of radius $r$ (resp., balls of radius $r$ containing a given pair of…

While geometry with transcendental curves, like the Quadratrix of Hippias and the Spiral of Archimedes, played a significant role in our modern developments of geometry and algebra. The investigation has fallen off in the modern era despite…

Tilings of a surface of negative Euler characteristic by n-gons with n\ge 7 is a finite problem. We develop the algorithm for finding all the tilings for fixed number of tiles and present the calculation for tilings of surfaces of small…

Let $G/H$ be a Riemannian homogeneous space. For an orthogonal representation $\phi$ of $H$ on the Euclidean space $\mathbb{R}^{k+1}$, there corresponds the vector bundle $E=G\times_{\phi}\mathbb{R}^{k+1} \to G/H$ with fiberwise inner…

For a Riemannian polyhedra, we study the geometry of the unit ball for the unidimensional stable norm (stable ball). In the case of a unidimensional Riemannian polyhedra (graph), we show that the stable ball is a polytope whose vertices are…

A triangulation of a surface with fixed topological type is called irreducible if no edge can be contracted to a vertex while remaining in the category of simplicial complexes and preserving the topology of the surface. A complete list of…

We consider the following elliptic system \Delta u =\nabla H (u) \ \ \text{in}\ \ \mathbf{R}^N, where $u:\mathbf{R}^N\to \mathbf{R}^m$ and $H\in C^2(\mathbf{R}^m)$, and prove, under various conditions on the nonlinearity $H$ that, at least…

In this paper, we prove that the general tiling problem of the hyperbolic plane is undecidable by proving a slightly stronger version using only a regular polygon as the basic shape of the tiles. The problem was raised by a paper of Raphael…

Let K/Q_p be unramified. Inside the Emerton-Gee stack X_2, one can consider the locus of two-dimensional mod p representations of the absolute Galois group of K having a crystalline lift with specified Hodge-Tate weights. We study the case…

On compact 2-manifolds with non-empty convex boundary, we prove a regularity result for integral 1-varifolds $V$ that are stationary with free boundary and $\mathbb{Z}_2$-almost minimizing in small annuli. That regularity says that $V$ is a…