相关论文: The finite tiling problem is undecidable in the hy…
In [6] we proved that the universal theory of infinite free lattices is (algorithmically) decidable, leaving open the problem of decidability of the full theory of an (infinite) free lattice. We solve this problem by proving that, for every…
It is open whether equivalence ( f = g ) is decidable for string-to-string polyregular functions. We consider their higher-order extension based on the {\lambda}-calculus definition of polyregular functions from Boja\'nczyk (2018). In this…
This document proves global boundedness and decay for axisymmetric perturbations of a known solution to the wave map problem from a slowly rotating $|a|\ll M$ Kerr spacetime to the hyperbolic plane. This problem is motivated by the general…
In a recent paper, it was shown that the problem of existence of a continuous map $X \to Y$ extending a given map $A \to Y$ defined on a subspace $A \subseteq X$ is undecidable, even for $Y$ an even-dimensional sphere. In the present paper,…
Consider $\mathscr{F}=(M,\mathscr{L},E)$ a Brody-hyperbolic foliation on a compact complex surface $M$. Suppose that the singularities of $\mathscr{F}$ are all non-degenerate. We show that the hyperbolic entropy of $\mathscr{F}$ is finite.
In this short paper we show a sufficient condition for the solvability of the Dirichlet problem at infinity in Riemannian cones (as defined below).This condition is related to a celebrated result of Milnor that classifies parabolic…
We prove that there is no algorithm that can determine whether or not a finitely presented group has a non-trivial finite quotient; indeed, this remains undecidable among the fundamental groups of compact, non-positively curved square…
We introduce decorated piecewise hyperbolic and spherical surfaces and discuss their discrete conformal equivalence. A decoration is a choice of circle about each vertex of the surface. Our decorated surfaces are closely related to…
Unlike the case of surfaces of topologically finite type, there are several different Teichm\"uller spaces that are associated to a surface of topological infinite type. These Teichm\"uller spaces first depend (set-theoretically) on whether…
We study compact hyperbolic surface laminations. These are a generalization of closed hyperbolic surfaces which appear to be more suited to the study of Teichm\"uller theory than arbitrary non-compact surfaces. We show that the…
In this paper we establish a relation between two exactly-solvable problems on one-dimensional hyperbolics space, namely singular Coulomb and singular oscillator systems.
In this paper, we consider the indefinite fractional elliptic problem. A corresponding Liouville-type theorem for the indefinite fractional elliptic equations is established. Furthermore, we obtain a priori bound for solutions in a bounded…
This is a chapter surveying the current state of our understanding of tilings with infinite local complexity. It is intended to appear in the volume {\em Directions in Aperiodic Order}, D. Lenz, J. Kellendonk, and J. Savienen, eds.
We show that for any class of Boolean algebras with an associative operator, if it contains the complex algebra of (P(N), U), its equational theory is undecidable. Equivalently, any associative normal modal logic valid over the frame (P(N),…
The dynamics of an inviscid and incompressible fluid flow on a Riemannian manifold is governed by the Euler equations. In recent papers [5, 6, 7, 8] several unknown facets of the Euler flows have been discovered, including universality…
In this paper it is proved that there exist periodic monohedral tilings and finite seeds of colored tiles, which force non-periodic coloring of the whole plane
We study the geometry of hyperbolic cone surfaces, possibly with cusps or geodesic boundaries. We prove that any hyperbolic cone structure on a surface of non-exceptional type is determined up to isotopy by the geodesic lengths of a finite…
Solutions of the Cauchy problem for the wave equation on a non-globally hyperbolic spacetime, which contains closed timelike curves (time machines) are considered. It is proved, that there exists a solution of the Cauchy problem, it is…
We show that the unification problem `is there a substitution instance of a given formula that is provable in a given logic?' is undecidable for basic modal logics K and K4 extended with the universal modality. It follows that the…
The present paper provides symmetry results for a class of overdetermined problems of elliptic and parabolic type in multi-phase settings, including various extensions of remarkable results obtained by S. Sakaguchi in [12, 13]. A new…