相关论文: About the domino problem in the hyperbolic plane, …
We prove existence and uniqueness of an unstable manifold for a degenerate hyperbolic map of the plane arising in statistics.
The finiteness problem for automaton groups and semigroups has been widely studied, several partial positive results are known. However we prove that, in the most general case, the problem is undecidable. We study the case of automaton…
The hexagon is the least-perimeter tile in the Euclidean plane. On hyperbolic surfaces, the isoperimetric problem differs for every given area. Cox conjectured that a regular $k$-gonal tile with 120-degree angles is isoperimetric for its…
In this paper we continue the study of non-diagonalisable hyperbolic systems with variable multiplicity started by the authors in \cite{Garetto2018}. In the case of space dependent coefficients, we prove a representation formula for…
We construct nontrivial unbounded domains $\Omega$ in the hyperbolic space $\mathbb{H}^N$, $N \in \{2,3,4\}$, bifurcating from the complement of a ball, such that the overdetermined elliptic problem \begin{equation} -\Delta_{\mathbb{H}^N}…
We investigate the problem of deciding whether a system of linear equations, together with divisibility conditions on the variables, has a solution over holomorphy subrings of global fields. We obtain decidability results when we allow…
In this paper, motivated by study on universal inequalities for eigenvalues of the Dirichlet Laplacian, we prove some new inequalities for eigenvalues of the Dirichlet Laplacian on the hyperbolic space. In particular, we verify Cheng's…
Translational tiling problems are among the most fundamental and representative undecidable problems in all fields of mathematics. Greenfeld and Tao obtained two remarkable results on the undecidability of translational tiling in recent…
In our article in MCU'2013 we state the the Domino problem is undecidable for all Baumslag-Solitar groups $BS(m,n)$, and claim that the proof is a direct adaptation of the construction of a weakly aperiodic subshift of finite type for…
It is studied the Hilbert boundary value problem for the nondegenerate Beltrami equations in domains $D$ of the complex plane $\mathbb C$ with the so--called quasihyperbolic boundary condition. It is proved the existence of solutions of…
We prove that if $\Gamma $ is a word hyperbolic group and $K$ is a finite subset of $\Gamma $, then $\Gamma $ admits a tile containing $K$.
We give solutions to several decision problems in word hyperbolic groups
In this paper we prove the persistence of hyperbolic invariant tori in generalized Hamiltonian systems, which may admit a distinct number of action and angle variables. The systems under consideration can be odd dimensional in tangent…
The Equation Problem in finitely presented groups asks if there exists an algorithm which determines in finite amount of time whether any given equation system has a solution or not. We show that the Equation Problem in central extensions…
We show there exists a nontrivial $H^1_0$ solution to the steady Stokes equation on the 2D exterior domain in the hyperbolic plane. Hence we show there is no Stokes paradox in the hyperbolic setting. We also show the existence of a…
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…
The theory of planar hyperbolic billiards is already quite well developed by having also achieved spectacular successes. In addition there also exists an excellent monograph by Chernov and Markarian on the topic. In contrast, apart from a…
Time-periodic weak solutions for a coupled hyperbolic-parabolic system are obtained. A linear heat and wave equation are considered on two respective $d$-dimensional spatial domains that share a common $(d-1)$-dimensional interface…
In this Note, we review the main existing results, methods, and some key open problems on the controllability of nonlinear hyperbolic and parabolic equations. Especially, we describe our recent universal approach to solve the local…
We introduce a partial decidability protocol for the Wang tiling problem (which is the prototype of undecidable problems in combinatorics and statistical physics) by constructing a suitable mapping from tilings of finite squares of…