Related papers: The periodic domino problem is undecidable in the …
An algorithm is provided to tile the plane with the aperiodic monotile Tile(1,1) recently discovered by Smith et al. (2023). Their geometric construction guidelines are expanded into a numerical MATLAB algorithm. The intention is to remove…
We establish the solvability of second order divergence type parabolic systems in Sobolev spaces. The leading coefficients are assumed to be only measurable in one spatial direction on each small parabolic cylinder with the spatial…
Domino tileability is a classical problem in Discrete Geometry, famously solved by Thurston for simply connected regions in nearly linear time in the area. In this paper, we improve upon Thurston's height function approach to a nearly…
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…
The existence of elliptic periodic solutions of a perturbed Kepler problem is proved. The equations are in the plane and the perturbation depends periodically on time. The proof is based on a local description of the symplectic group in two…
We show that the perimeter of the convex hull of finitely many disks lying in the hyperbolic or Euclidean plane, or in a hemisphere does not increase when the disks are rearranged so that the distances between their centers do not increase.…
We study tilings of the plane composed of two repeating tiles of different assigned areas relative to an arbitrary periodic lattice. We classify isoperimetric configurations (i.e., configurations with minimal length of the interfaces) both…
We show that the universal theory of torsion groups is strongly contained in the universal theory of finite groups. This answers a question of Dyson. We also prove that the universal theory of some natural classes of torsion groups is…
It is a longstanding problem to determine the precise relationship between the geodesic length spectrum of a hyperbolic manifold and its commensurability class. A well known result of Reid, for instance, shows that the geodesic length…
Motivated by the recent works on the stability of symmetric periodic orbits of the elliptic Sitnikov problem, for time-periodic Newtonian equations with symmetries, we will study symmetric periodic solutions which are emanated from…
We show that the problem `whether a finite set of regular-linear axioms defines a rigid theory' is undecidable.
It is known that non-hyperbolic limit cycles are structurally unstable in the set of planar smooth and analytical vector fields. In the polynomial case, it is known only that limit cycles of even degree are structurally unstable. In this…
We introduce a new generalization of the notion of preperiodic hypersurface and explore some of its basic ramifications. We also prove that among nonlinear endomorphisms of projective space, those with a periodic critical point are Zariski…
Several articles deal with tilings with squares and dominoes on 2-dimensional boards, but only a few on boards in 3-dimensional space. We examine a tiling problem with colored cubes and bricks of $(2\times2\times n)$-board in three…
We obtain structural results on translational tilings of periodic functions in $\mathbb{Z}^d$ by finite tiles. In particular, we show that any level one tiling of a periodic set in $\mathbb{Z}^2$ must be weakly periodic (the disjoint union…
Cao & Yuan obtained a Blichfeldt-type result for the vertex set of the edge-to-edge tiling of the plane by regular hexagons. Observing that every Archimedean tiling is the union of translates of a fixed lattice, we take a more general…
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…
We deal with a planar differential system of the form \begin{equation*} \begin{cases} \, u' = h(t,v), \\ \, v' = - \lambda a(t) g(u), \end{cases} \end{equation*} where $h$ is $T$-periodic in the first variable and strictly increasing in the…
We prove the isodiametric inequality in the spherical and in the hyperbolic space
We give a proof for the decidability of the HD0L ultimate periodicity problem.