相关论文: The finite tiling problem is undecidable in the hy…

The problem of determining the existence of a spectral gap in a lattice quantum spin system was previously shown to be undecidable for one [J. Bausch et al., "Undecidability of the spectral gap in one dimension", Physical Review X 10…

We show that the domino problem is undecidable on orbit graphs of non-deterministic substitutions which satisfy a technical property. As an application, we prove that the domino problem is undecidable for the fundamental group of any closed…

We discuss the Euclidean limit of hyperbolic SU(2)-monopoles, framed at infinity, from the point of view of pluricomplex geometry. More generally, we discuss the geometry of hypercomplex manifolds arising as limits of pluricomplex…

The paper concerns the problem for the ultrahyperbolic equation in the Euclidean space with data on a characteristic hyperplane. Smoothness and asymptotics of the solution along characteristic lines transversal to the initial hyperplane are…

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…

This article, written for undergraduate mathematics students, provides an accessible introduction to a few key problems in tiling theory: Heesch's problem, the isohedral number problem, and the existence of an aperiodic monotile. I…

In the first part of this work we explore the geometry of infinite type surfaces and the relationship between its convex core and space of ends. In particular, we show that a geodesically complete hyperbolic surface is made up of its convex…

Nandakumar asked whether there is a tiling of the plane by pairwise non-congruent triangles of equal area and equal perimeter. Here a weaker result is obtained: there is a tiling of the plane by pairwise non-congruent triangles of equal…

In this paper, we characterize the rigidity of umbilical hypersurfaces by a Serrin-type partially overdetermined problem in space forms, which generalizes the similar results in Euclidean half-space and Euclidean half-ball. Guo-Xia first…

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 prove undecidability for every positive relevant logic extending the system axiomatized by hypothetical syllogism, prefixing, and suffixing and contained in the logic of the semilattice frame $(P_{\mathrm{fin}}(\mathbb{N}), \cup,…

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. In this work we disprove this conjecture for sufficiently large $d$, which also…

Aperiodic tilings are non-periodic tilings defined by local rules. They are widely used to model quasicrystals, and a central question is to understand which of the non-periodic tilings are actually aperiodic. Among tilings, those by rhombi…

We prove existence and uniqueness of an unstable manifold for a degenerate hyperbolic map of the plane arising in statistics.

We consider the decidability of state-to-state reachability in linear time-invariant control systems over continuous time. We analyse this problem with respect to the allowable control sets, which are assumed to be the image under a linear…

We study the problem of tiling and packing in vector spaces over finite fields, its connections with zeroes of classical exponential sums, and with the Jacobian conjecture

Several physically inspired problems have been proven undecidable; examples are the spectral gap problem and the membership problem for quantum correlations. Most of these results rely on reductions from a handful of undecidable problems,…

This paper deals with the problem of point-to-point reachability in multi-linear systems. These systems consist of a partition of the Euclidean space into a finite number of regions and a constant derivative assigned to each region in the…

In this paper we prove the decidability of the HD0L ultimate periodicity problem.

We study hyperbolic curves and their Jacobians over finite fields in the context of anabelian geometry.