Related papers: A counterexample to the periodic tiling conjecture

A cube tiling of R^d is a family of pairwise disjoint cubes $[0,1)^d+T=\{[0,1)^d+t:t\in T\}$ such that $\bigcup_{t\in T}([0,1)^d+t)=R^d$. Two cubes $[0,1)^d+t$, $[0,1)^d+s$ are called a twin pair if their closures have a complete facet in…

Here are two problems. First, understand the dynamics of a tiling billiard in a cyclic quadrilateral periodic tiling. Second, describe the topology of connected components of plane sections of a centrally symmetric subsurface $S \subset…

A finite collection $P$ of finite sets tiles the integers iff the integers can be expressed as a disjoint union of translates of members of $P$. We associate with such a tiling a doubly infinite sequence with entries from $P$. The set of…

A cube tiling of $\mathbb{R}^d$ is a family of pairwise disjoint cubes $[0,1)^d+T=\{[0,1)^d+t\colon t\in T\}$ such that $\bigcup_{t\in T}([0,1)^d+t)=\mathbb{R}^d$. Two cubes $[0,1)^d+t$, $[0,1)^d+s$ are called a twin pair if $|t_j-s_j|=1$…

We give a constructive proof of the Hodge conjecture for complex $K3$ surfaces that does not rely on Torelli-type results. Starting with an arbitrary rational $(1,1)$-class $\alpha\in H^{1,1}(X,\mathbb{Q})$, we algorithmically build a…

We prove that is a measurable domain tiles R or R^2 by translations, and if it is "close enough" to a line segment or a square respectively, then it admits a lattice tiling. We also prove a similar result for spectral sets in dimension 1,…

Simultaneous tiling for several different translational sets has been studied rather extensively, particularly in connection with the Steinhaus problem. The study of orthonormal wavelets in recent years, particularly for arbitrary dilation…

We prove the computational intractability of rotating and placing $n$ square tiles into a $1 \times n$ array such that adjacent tiles are compatible--either equal edge colors, as in edge-matching puzzles, or matching tab/pocket shapes, as…

This paper is about the tiling dynamical systems approach to the study of aperiodic order. We compare and contrast four related types of systems: ordinary (one-dimensional) symbolic systems, one-dimensional tiling systems, multidimensional…

Suppose that A is a finite set of integers of diameter D. Suppose also that the set of integers B is such that A+B is a tiling of the integers, that is each integer is uniquely expressible as a+b, with a in A, b in B. It is well known that…

We prove Breuil's lattice conjecture for higher Hodge-Tate weights in the case of $\mathrm{GL}_2(K)$ where $K$ is an unramified extension of $\mathbb{Q}_p$. More precisely, under some genericity conditions, we show that the lattice inside a…

The Tate conjecture has two parts: i) Tate classes are linear combination of algebraic classes, ii) semisimplicity of Galois representations (for smooth projective varieties). B. Moonen proved that i) implies ii) in characteristic 0, using…

Short proof of the aperiodicity of the Robinson tile set.

We study the problem of finding a function $f$ with ``small support'' that simultaneously tiles with finitely many lattices $\Lambda_1, \ldots, \Lambda_N$ in $d$-dimensional Euclidean spaces. We prove several results, both upper bounds…

A resolution of the intersection of a finite number of subgroups of an abelian group by means of their sums is constructed, provided the lattice generated by these subgroups is distributive. This is used for detecting singularities of…

If all tiles in a tiling are congruent, the tiling is called monohedral. Tiling by convex polygons is called edge-to-edge if any two convex polygons are either disjoint or share one vertex or one entire edge in common. In this paper, we…

In this paper we provide a formalism, Sudoku logic, in which a solution is logically deducible if for every cell of the grid we can provably exclude all but a single option. We prove that the deductive system of Sudoku logic is sound and…

Fuglede's conjecture states that a subset $\Omega\subseteq\mathbb{R}^{n}$ of positive and finite Lebesgue measure is a spectral set if and only if it tiles $\mathbb{R}^{n}$ by translation. The conjecture does not hold in both directions for…

We study decision problems on geometric tilings. First, we study a variant of the Domino problem where square tiles are replaced by geometric tiles of arbitrary shape. We show that this variant is undecidable regardless of the shapes,…

We prove a Lagrangian analogue of the Conley conjecture: given a 1-periodic Tonelli Lagrangian with global flow on a closed configuration space, the associated Euler-Lagrange system has infinitely many periodic solutions. More precisely, we…