English
Related papers

Related papers: The finite tiling problem is undecidable in the hy…

200 papers

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…

Differential Geometry · Mathematics 2008-01-30 David Brander

The theory of weak solutions for nonlinear conservation laws is now well developed in the case of scalar equations [3] and for one-dimensional hyperbolic systems [1, 2]. For systems in several space dimensions, however, even the global…

Analysis of PDEs · Mathematics 2007-05-23 Alberto Bressan

This paper introduces a method of navigation in a large family of tilings of the hyperbolic plane and looks at the question of possible applications in the light of the few ones which were already obtained.

Computational Geometry · Computer Science 2009-09-14 Maurice Margenstern

Using a hyperbolic complex plane, we study the realization of the underlying hyperbolic symmetry as an internal symmetry that enables the unification of scalar fields of cosmological and particle physics interest. Such an unification is…

Let $\mathcal{L}$ be a measured geodesic lamination on a complete hyperbolic surface of finite area. Assuming $\mathcal{L}$ is not a multicurve, our main result establishes the existence of a geodesic ray which has finite intersection…

Geometric Topology · Mathematics 2022-10-12 Tina Torkaman , Yongquan Zhang

The plan existence problem asks, given a goal in the form of a formula in modal logic, an initial epistemic state (a pointed Kripke model), and a set of epistemic actions, whether there exists a sequence of actions that can be applied to…

Logic in Computer Science · Computer Science 2026-04-27 Antonis Achilleos

The abelian sandpile model is a simple combinatorial model for critical behaviour which has the "abelian property" that the order in which we make moves does not change the final outcome of the game. This might seem to restrict the model's…

Combinatorics · Mathematics 2021-03-26 Hannah Cairns

The purpose of this article is to study the algorithmic complexity of the Besicovitch stability of noisy subshifts of finite type, a notion studied in a previous article. First, we exhibit an unstable aperiodic tiling, and then see how it…

Combinatorics · Mathematics 2023-08-30 Léo Gayral , Mathieu Sablik

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…

Differential Geometry · Mathematics 2024-07-09 Antonio Bueno , Rafael López

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…

Logic in Computer Science · Computer Science 2025-08-06 Samuel Everett

In this note, we construct an algorithm that, on input of a description of a structurally stable planar dynamical flow $f$ defined on the closed unit disk, outputs the exact number of the (hyperbolic) equilibrium points and their locations…

Logic · Mathematics 2021-10-01 Daniel S. Graça , Ning Zhong

In this paper, we prove a Heintze-Karcher type inequality for capillary hypersurfaces supported on various hypersurfaces in the hyperbolic space. The equality case only occurs on capillary totally umbilical hypersurfaces. Then we apply this…

Differential Geometry · Mathematics 2023-05-29 Yimin Chen , Juncheol Pyo

In this paper we study the geometry and the topology of unbounded domains in the Hyperbolic Space $\mathbb{H} ^n$ supporting a bounded positive solution to an overdetermined elliptic problem. Under suitable conditions on the elliptic…

Analysis of PDEs · Mathematics 2015-11-10 José M. Espinar , Alberto Farina , Laurent Mazet

An aperiodic tile set was first constructed by R.Berger while proving the undecidability of the domino problem. It turned out that aperiodic tile sets appear in many topics ranging from logic (the Entscheidungsproblem) to physics…

Computational Complexity · Computer Science 2010-01-27 Bruno Durand , Andrei Romashchenko , Alexander Shen

In this paper we study the existence of multiple-layer solutions to the elliptic Allen-Cahn equation in hyperbolic space: \[ -\Delta_{\mathbb H} u+F'(u)=0; \] here $F$ is a nonnegative double-well potential with nondegenerate minima. We…

Analysis of PDEs · Mathematics 2012-08-21 Rafe Mazzeo , MarielSaez

We give a short proof of the fact that there are no measurable subsets of Euclidean space (in dimension d > 2), which, no matter how translated and rotated, always contain exactly one integer lattice point. In dimension d=2 (the original…

Classical Analysis and ODEs · Mathematics 2007-05-23 Mihail N. Kolountzakis , Michael Papadimitrakis

We present an open problem about non-colliding freely moving hard disks in the Euclidean plane, together with related positive and negative partial results. The open problem is stated in a non-degenerate form: velocities are required to be…

Dynamical Systems · Mathematics 2026-05-28 Itai Benjamini , Alexander Shamov , Barak Weiss

The periodic tiling conjecture asserts that any finite subset of a lattice $\mathbb{Z^d}$ which tiles that lattice by translations, in fact tiles periodically. We announce here a disproof of this conjecture for sufficiently large $d$, which…

Combinatorics · Mathematics 2022-09-20 Rachel Greenfeld , Terence Tao

We construct and study the unique random tiling of the hyperbolic plane into ideal hyperbolic triangles (with the three corners located on the boundary) that is invariant (in law) with respect to Moebius transformations, and possesses a…

Probability · Mathematics 2017-07-18 Nicolas Curien , Wendelin Werner

We determine the large-time behavior of unbounded solutions for the so-called viscous Hamilton Jacobi equation, $u_t - \Delta u + |Du|^m = f(x)$, in the quadratic and subquadratic cases (i.e., for $1<m\leq 2$), with a particular focus on…

Analysis of PDEs · Mathematics 2021-11-09 Alexander Quaas , Andrei Rodríguez-Paredes