Related papers: The Domino Problem of the Hyperbolic Plane Is Unde…
We show that the problem `whether a finite set of regular-linear axioms defines a rigid theory' is undecidable.
The Epstein-Baer theory of curve isotopies is basic to the remarkable theorem that homotopic homeomorphisms of surfaces are isotopic. The groundbreaking work of R. Baer was carried out on closed, orientable surfaces and extended by D. B. A.…
A quasiperiodic 7-fold rhombic tiling is constructed with an iterative substitution scheme. The inflation factor is 5.04892..., the square of the longer diagonal of a regular heptagon. There are many substitutions possible that fill larger…
Heinz Huber (1956) considered the following problem on the the hyperbolic plane H. Consider a strictly hyperbolic subgroup of automorphisms on H with compact quotient, and choose a conjugacy class in this group. Count the number of vertices…
We define a convolution operation on the set of polyominoes and use it to obtain a criterion for a given polyomino not to tile the plane (rotations and translations allowed). We apply the criterion to several families of polyominoes, and…
Thin nematic elastomers, composite hydrogels and plant tissues are among many systems that display uniform anisotropic deformation upon external actuation. In these materials, the spatial orientation variation of a local director field…
If a real symmetric matrix of linear forms is positive definite at some point, then its determinant is a hyperbolic hypersurface. In 2007, Helton and Vinnikov proved a converse in three variables, namely that every hyperbolic plane curve…
We review the regular tilings of d-sphere, Euclidean d-space, hyperbolic d-space and Coxeter's regular hyperbolic honeycombs (with infinite or star-shaped cells or vertex figures) with respect of possible embedding, isometric up to a scale,…
Geroch's theorem about the splitting of globally hyperbolic spacetimes is a central result in global Lorentzian Geometry. Nevertheless, this result was obtained at a topological level, and the possibility to obtain a metric (or, at least,…
In 1946 Fine and Niven posed problem E724, asking to demonstrate that every hypercube can be tiled by any number of hypercubic tiles larger than some value. This requires only basic number theory, but the problem of finding the smallest…
Nandakumar asked whether there is a tiling of the plane by pairwise non-congruent triangles of equal area and equal perimeter. Here a weaker result is obtained: there is a tiling of the plane by pairwise non-congruent triangles of equal…
We prove that a C2 Hamiltonian system H in M is globally hyperbolic if any of the following statements holds: H is robustly topologically stable; H is stably shadowable; H is stably expansive; and H has the stable weak specification…
We show how inscription problems in the plane can be generalized to Riemannian surfaces of constant curvature. We then use ideas from symplectic and Riemannian geometry to prove these generalized versions for smooth Jordan curves in the…
We prove Fourier restriction estimates by means of the polynomial partitioning method for compact subsets of any sufficiently smooth hyperbolic hypersurface in threedimensional euclidean space. Our approach exploits in a crucial way the…
We prove combinatorially that the parity of the number of domino tilings of a region is equal to the parity of the number of domino tilings of a particular subregion. Using this result we can resolve the holey square conjecture. We…
Algebraic hyperbolicity serves as a bridge between differential geometry and algebraic geometry. Generally, it is difficult to show that a given projective variety is algebraically hyperbolic. However, it was established recently that a…
If a hyperbolic 3-manifold admits an exceptional Dehn filling, then the length of the slope of that Dehn filling is known to be at most six. However, the bound of six appears to be sharp only in the toroidal case. In this paper, we…
This investigation studies the decidability problem of plane edge coloring with three symbols. In the edge coloring (or Wang tiles) of a plane, unit squares with colored edges that have one of $p$ colors are arranged side by side such that…
V. Arnold's problem 1987-14 asks whether there exist smooth hypersurfaces in $R^N$ (other than the conics in odd-dimensional spaces) for which the volume of the segment cut by any hyperplane from the body bounded by such a hypersurface is…
In this thesis we will present and discuss various results pertaining to tiling problems and mathematical logic, specifically computability theory. We focus on Wang prototiles, as defined in [32]. We begin by studying Domino Problems, and…