Related papers: The periodic domino problem is undecidable in the …
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…
The 1-2-3 conjecture has been solved positively in 2024 for finite graphs and by extension for infinite graphs which are locally finite. The solution is non-constructive, and finding explicit solutions for large (or infinite) graphs is very…
The solvability in Sobolev spaces is proved for divergence form complex-valued higher order parabolic systems in the whole space, on a half space, and on a Reifenberg flat domain. The leading coefficients are assumed to be merely measurable…
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…
We study the existence of nontrivial unbounded domains $\Omega$ in $\mathbb{R}^N$ such that the overdetermined problem $$ -\Delta u = 1 \quad \text{in $\Omega$}, \qquad u=0, \quad \partial_\nu u=\textrm{const} \qquad \text{on $\partial…
We study the existence of periodic solutions in a class of planar Filippov systems obtained from non-autonomous periodic perturbations of reversible piecewise smooth differential systems. It is assumed that the unperturbed system presents a…
We construct an example of a group $G = \mathbb{Z}^2 \times G_0$ for a finite abelian group $G_0$, a subset $E$ of $G_0$, and two finite subsets $F_1,F_2$ of $G$, such that it is undecidable in ZFC whether $\mathbb{Z}^2\times E$ can be…
We consider the characteristic problem for the ultrahyperbolic equation in the Euclidean space. The value of a solution is prescribed on the characteristic hyperplane. A well-posed set-up of the problem is discussed. We obtain a certain…
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…
R. Nandakumar asked whether there is a tiling of the plane by pairwise incongruent triangles of equal area and equal perimeter. Recently a negative answer was given by Kupavskii, Pach and Tardos. Still one may ask for weaker versions of the…
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…
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…
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…
Certain topics on polygons are extended from Euclidean to hyperbolic geometry. This first part deals with uniqueness and existence of cocyclic polygons with prescribed sidelengths. The non-Euclidean versions are more difficult due to the…
We prove existence and uniqueness of an unstable manifold for a degenerate hyperbolic map of the plane arising in statistics.
In this paper we consider the hyperelastic rod equation on the Sobolev spaces $H^s(\R)$, $s > 3/2$. Using a geometric approach we show that for any $T > 0$ the corresponding solution map, $u(0) \mapsto u(T)$, is nowhere locally uniformly…
In this paper we prove the decidability of the HD0L ultimate periodicity problem.
Motivated by a question of R.\ Nandakumar, we show that the Euclidean plane can be dissected into mutually incongruent convex quadrangles of the same area and the same perimeter. As a byproduct we obtain vertex-to-vertex dissections of the…
The periodic tiling conjecture asserts that if a region $\Sigma\subset \mathbb R^d$ tiles $\mathbb R^d$ by translations then it admits at least one fully periodic tiling. This conjecture is known to hold in $\mathbb R$, and recently it was…
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…