Related papers: The Gauss circle problem for Penrose tilings

We study rotational surfaces in Euclidean 3-space whose Gauss curvature is given as a prescribed function of its Gauss map. By means of a phase plane analysis and under mild assumptions on the prescribed function, we generalize the…

Given a triangulation of a closed, oriented, irreducible, atoroidal 3-manifold every oriented, incompressible surface may be isotoped into normal position relative to the triangulation. Such a normal oriented surface is then encoded by…

Given a closed orientable Euclidean cone 3-manifold C with cone angles less than or equal to pi, and which is not almost product, we describe the space of constant curvature cone structures on C with cone angles less than pi. We establish a…

Let $S$ be a torus with a hyperbolic metric admitting one puncture or cone singularity. We describe which infinitesimal deformations of $S$ lengthen (or shrink) all closed geodesics. We also study how the answer degenerates when $S$ becomes…

We study the minimal complexity of tilings of a plane with a given tile set. We note that every tile set admits either no tiling or some tiling with O(n) Kolmogorov complexity of its n-by-n squares. We construct tile sets for which this…

A combinatorial tiling of the sphere is naturally given by an embedded graph. We study the case that each tile has exactly five edges, with the ultimate goal of classifying combinatorial tilings of the sphere by geometrically congruent…

The detour between two points u and v (on edges or vertices) of an embedded planar graph whose edges are curves is the ratio between the shortest path in in the graph between u and v and their Euclidean distance. The maximum detour over all…

In this paper we study constant angle surfaces in Euclidean 3-space. Even that the result is a consequence of some classical results involving the Gauss map (of the surface), we give another approach to classify all surfaces for which the…

In this paper we introduce and study the strip planarity testing problem, which takes as an input a planar graph $G(V,E)$ and a function $\gamma:V \rightarrow \{1,2,\dots,k\}$ and asks whether a planar drawing of $G$ exists such that each…

In this paper, we give a generalization of Fenchel's theorem for closed curves as frontals in Euclidean space $\mathbb{R}^n$. We prove that, for a non-co-orientable closed frontal in $\mathbb{R}^n$, its total absolute curvature is greater…

In this paper, we study a new type of inverse problem on warped product Riemannian manifolds with connected boundary that we name warped balls. Using the symmetry of the geometry, we first define the set of Regge poles as the poles of the…

A planar framework -- a graph together with a map of its vertices to the plane -- is flexible if it allows a continuous deformation preserving the distances between adjacent vertices. Extending a recent previous result, we prove that a…

We prove that there is an absolute constant $ C$ such that for every $ n \geq 2 $ and $ N\geq 10^n, $ there exists a polytope $ P_{n,N} \subset \mathbb{R}^n $ with at most $ N $ facets that satisfies…

We prove that for every smooth Jordan curve $\gamma$, if $X$ is the set of all $r \in [0,1]$ so that there is an inscribed rectangle in $\gamma$ of aspect ratio $\tan(r\cdot \pi/4)$, then the Lebesgue measure of $X$ is at least $1/3$. To do…

Aperiodic tiling is a well-know area of research. First developed by mathematicians for the mathematical challenge they represent and the beauty of their resulting patterns, they became a growing field of interest when their practical use…

In this note, we solve the Gauss image problem given two Borel measures on the unit sphere, one of which is absolutely continuous with respect to the uniform measure.

We prove that the following problem is co-RE-complete and thus undecidable: given three simple polygons, is there a tiling of the plane where every tile is an isometry of one of the three polygons (either allowing or forbidding…

We study the surface shape of two-dimensional piles using experiments and a continuum theory for surface flows of granular materials (the BCRE equations). We first obtain an analytical solution to the BCRE equations with a simple…

We derive the isoperimetric profile of Gaussian type for an absolutely continuous probability measure on Euclidean spaces with respect to the Lebesgue measure, whose density is a radial function.The key is a generalization of the Poincar\'e…

For any three nonzero vectors $a,b,c$ in $\mathbb R^2$, we obtain a necessary and sufficient condition for the sum of the three pairwise angles between these vectors to equal $2\pi$. As an easy consequence of this, a proof of Euclid's…