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

For a linear difference equation with the coefficients being computable sequences, we establish algorithmic undecidability of the problem of determining the dimension of the solution space including the case when some additional prior…

We show that the hypercube has a face-unfolding that tiles space, and that unfolding has an edge-unfolding that tiles the plane. So the hypercube is a "dimension-descending tiler." We also show that the hypercube cross unfolding made famous…

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…

We prove that bounded solutions to an overdetermined fully nonlinear free boundary problem in the plane are one dimensional. Our proof relies on maximum principle techniques and convexity arguments.

This is the third in a series of papers constructing hyperbolic structures on all Haken three-manifolds. This portion deals with the mixed case of the deformation space for manifolds with incompressible boundary that are not acylindrical,…

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…

We prove linear in time filamentation for perturbations of the Lamb dipole, which is a traveling wave solution to the incompressible Euler equations in $\mathbb{R}^2$. The main ingredient is a recent nonlinear orbital stability result by…

The Einstein/Abelian-Yang-Mills Equations reduce in the stationary and axially symmetric case to a harmonic map with prescribed singularities $\p\colon\R^3\sm\Sigma\to\H^{k+1}_\C$ into the $(k+1)$-dimensional complex hyperbolic space. In…

This paper considers hyperbolic wave equations with non-local in time conditions involving integrals with respect to time. It is shown that regularity of the solution can be achieved for complexified problem with integral conditions…

In the paper Planarity and Hyperbolicity in Graphs, the authors present the following conjecture: every tessellation of the Euclidean plane with convex tiles induces a non-hyperbolic graph. It is natural to think that this statement holds…

Suppose that $\Sigma$ is a hyperbolic surface and $f:\mathbb R_+\to\mathbb R_+$ a monotonic function. We study the closure in the projective tangent bundle $PT\Sigma$ of the set of all geodesics $\gamma$ satisfying $I(\gamma,\gamma)\leq…

The paper presents a solution to the long-standing question about the decidability of the two-variable fragment of the superintuitionistic predicate logic $\mathbf{QLC}$ defined by the class of linear Kripke frames, which is also the…

We prove that the isoperimetric inequalities in the euclidean and hyperbolic plane hold for all euclidean, respectively hyperbolic, cone-metrics on a disk with singularities of negative curvature. This is a discrete analog of the theorems…

In this note we prove infinite dimensionality of the Teichm\"uller space of a hyperbolic Riemann surface lamination of a compact space having a simply connected leaf.

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 show that for any uniformly parabolic fully nonlinear second-order equation with bounded measurable "coefficients" and bounded "free" term in the whole space or in any cylindrical smooth domain with smooth boundary data one can find an…

We investigate on the existence of smooth complete hypersurface with prescribed Weingarten curvature and asymptotic boundary at infinity in hyperbolic space under the assumption that there exists an asymptotic subsolution. We give an…

We prove that every polycyclic group of nonlinear growth admits a strongly aperiodic SFT and has an undecidable domino problem. This answers a question of [4] and generalizes the result of [2].

In this document, we collected the most important complexity results of tilings. We also propose a definition of a so-called deterministic set of tile types, in order to capture deterministic classes without the notion of games. We also…

Tilings are around us everywhere, and our curiosity draws us to study their properties. A tiling is a way of arranging pieces on a board, such that there is no space left uncovered, nor any space covered by more than one tile. In…