相关论文: About the domino problem in the hyperbolic plane, …

We prove, for every non-virtually free hyperbolic group $G$, that there is no algorithm that, given a finite collection of dominoes, determines whether the Cayley graph of $G$ may be edge-covered by these dominoes so that colours match at…

Does a given a set of polyominoes tile some rectangle? We show that this problem is undecidable. In a different direction, we also consider tiling a cofinite subset of the plane. The tileability is undecidable for many variants of this…

The classical Domino problem asks whether there exists a tiling in which none of the forbidden patterns given as input appear. In this paper, we consider the aperiodic version of the Domino problem: given as input a family of forbidden…

We give a survey of author's results on the inverse hyperbolic problems with time-dependent and time-independent coefficients. We consider the case of hyperbolic equations with Yang-Mills potentials and the case of domains with obstacles.…

The Diophantine problem for a monoid $M$ is the decision problem to decide whether any given system of equations has a solution in $M$. In this note, we give a simple example of a context-free, word-hyperbolic, finitely presented, special…

Tiling planar regions with dominoes is a classical problem in which the decision and counting problems are polynomial. We prove a variety of hardness results (both NP- and #P-completeness) for different generalizations of dominoes in three…

Tilings of a surface of negative Euler characteristic by n-gons with n\ge 7 is a finite problem. One extreme of the finite problem is single tile tilings. We develop the algorithm for finding all the single tile tilings and present the…

Given a periodic placement of copies of a tromino (either L or I), we prove co-RE-completeness (and hence undecidability) of deciding whether it can be completed to a plane tiling. By contrast, the problem becomes decidable if the initial…

The paper is devoted to the development of the theory of inverse problems for evolution equations with terms rapidly oscillating in time. A new approach to setting such problems is developed for the case in which additional constraints are…

We study one-dimensional linear hyperbolic systems with $L^{\infty}$-coefficients subjected to periodic conditions in time and reflection boundary conditions in space. We derive a priori estimates and give an operator representation of…

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…

We study overdetermined problems for fully nonlinear elliptic equations in subdomains $\O$ of the Euclidean sphere $\mathbb{S}^{N}$ and the hyperbolic space $\mathbb{H}^{N}$. We prove, the existence of a classical solution to the underlined…

We prove a counterpart of the log-convex density conjecture in the hyperbolic plane.

In this paper, we study diagonal hyperbolic systems in one space dimension. Based on a new gradient entropy estimate, we prove the global existence of a continuous solution, for large and non-decreasing initial data. We remark that these…

This paper is devoted to confront two different approaches to the problem of dynam-ical perfect plasticity. Interpreting this model as a constrained boundary value Friedrichs' system enables one to derive admissible hyperbolic boundary…

We give a new procedure for generalized factorization and construction of the complete solution of strictly hyperbolic linear partial differential equations or strictly hyperbolic systems of such equations in the plane. This procedure…

We show that the following problem is undecidable: given two polygonal prototiles, determine whether the plane can be tiled with rotated and translated copies of them. This improves a result of Demaine and Langerman [SoCG 2025], who showed…

Consider the planar restricted $(N+1)$-body problem with trajectories of the $N(\ge 2)$ primaries forming a collision-free periodic solution of the $N$-body problem, for any positive energy $h$ and directions $\theta_{\pm} \in [0, 2\pi)$,…

This paper introduces a communication system for the tiles of the heptagrid, a tiling of the hyperbolic plane. The method can be extended to other tilings of this plane. The paper focuses on an actual implementation at the programming stage…

We establish H\"older stability of an inverse hyperbolic obstacle problem. Mainly, we study the problem of reconstructing an unknown function defined on the boundary of the obstacle from two measurements taken on the boundary of a domain…