Related papers: The Domino Problem of the Hyperbolic Plane Is Unde…

What is the least surface area of a symmetric body $B$ whose $\mathbb{Z}^n$ translations tile $\mathbb{R}^n$? Since any such body must have volume $1$, the isoperimetric inequality implies that its surface area must be at least…

We study hyperbolic polyhedral surfaces with faces isometric to regular hyperbolic polygons satisfying that the total angles at vertices are at least $2\pi.$ The combinatorial information of these surfaces is shown to be identified with…

Let M_0^R be the moduli space of smooth real cubic surfaces. We show that each of its components admits a real hyperbolic structure. More precisely, one can remove some lower-dimensional geodesic subspaces from a real hyperbolic space H^4…

In this paper we study the stability of a Killing cylinder in hyperbolic 3-space when regarded as a capillary surface for the partitioning problem. In contrast with the Euclidean case, we consider a variety of totally umbilical support…

We show that the universal theory of torsion groups is strongly contained in the universal theory of finite groups. This answers a question of Dyson. We also prove that the universal theory of some natural classes of torsion groups is…

We solve and generalize an open problem posted by James Propp (Problem 16 in New Perspectives in Geometric Combinatorics, Cambridge University Press, 1999) on the number of tilings of quasi-hexagonal regions on the square lattice with every…

We discuss generalizations of the well-known theorem of Hilbert that there is no complete isometric immersion of the hyperbolic plane into Euclidean 3-space. We show that this problem is expressed very naturally as the question of the…

We prove generalizations of the isoperimetric inequality for both spherical and hyperbolic wave fronts (i.e. piecewise smooth curves which may have cusps). We then discuss "bicycle curves" using the generalized isoperimetric inequalities.…

Aperiodic tiling --- a form of complex global geometric structure arising through locally checkable, constant-time matching rules --- has long been closely tied to a wide range of physical, information-theoretic, and foundational…

The study of polygonal billiards, particularly those in the regular pentagon, has been the subject of two recent papers. One of these papers approaches the problem of discovering the periodic trajectories on the pentagon by identifying…

This is a recent conference report on the Kobayashi Problem on hyperbolicity of generic projective hypersurfaces. As an appendix, a (non-updated) author's survey article of 1992 on the same subject, published in an edition with a limited…

Since the end of the 19th century, and after the works of F. Klein and H. Poincar\'e, it is well known that models of elliptic geometry and hyperbolic geometry can be given using projective geometry, and that Euclidean geometry can be seen…

We introduce decorated piecewise hyperbolic and spherical surfaces and discuss their discrete conformal equivalence. A decoration is a choice of circle about each vertex of the surface. Our decorated surfaces are closely related to…

We introduce a new type of aperiodic hexagonal monotile; a prototile that admits infinitely many tilings of the plane, but any such tiling lacks any translational symmetry. Adding a copy of our monotile to a patch of tiles must satisfy two…

We use two ingredients to prove the hyperbolicity of generic hypersurfaces of sufficiently high degree and of their complements in the complex projective space. One is the pullbacks of appropriate low pole order meromorphic jet…

We introduce orthogonal ring patterns in the 2-sphere and in the hyperbolic plane, consisting of pairs of concentric circles, which generalize circle patterns. We show that their radii are described by a discrete integrable system. This is…

In contrast to elliptic surfaces, the Fourier restriction problem for hypersurfaces of non-vanishing Gaussian curvature which admit principal curvatures of opposite signs is still hardly understood. In fact, even for 2-surfaces, the only…

The higher-dimensional version of Kannan and Lipton's Orbit Problem asks whether it is decidable if a target subspace can be reached from a starting point under repeated application of a linear transformation. Similarly, the continuous…

We study tilings of the plane composed of two repeating tiles of different assigned areas relative to an arbitrary periodic lattice. We classify isoperimetric configurations (i.e., configurations with minimal length of the interfaces) both…

The tiling problem has been a famous problem that has appeared in many Mathematics problems. Many of its solutions are rooted in high-level Mathematics. Thus we hope to tackle this problem using more elementary Mathematics concepts. In this…