Related papers: Tiling the symmetric group by transpositions

We prove a flat torus theorem for quadric complexes. In particular, we show that if a non-cyclic free abelian group $G$ acts metrically properly on a quadric complex $X$, then $G \cong \mathbb{Z}^2$ and $X$ contains a $G$-invariant…

What is the least surface area of a symmetric body $B$ whose $\mathbb{Z}^n$ translations tile $\mathbb{R}^n$? Since any such body must have volume $1$, the isoperimetric inequality implies that its surface area must be at least…

We consider translational integer tilings by finite sets $A\subset\mathbb{Z}$. We introduce a new method based on \emph{splitting}, together with a new combinatorial interpretation of some of the main tools from our earlier work. We also…

We obtain the following embedding theorem for symbolic dynamical systems. Let $G$ be a countable amenable group with the comparison property. Let $X$ be a strongly aperiodic subshift over $G$. Let $Y$ be a strongly irreducible shift of…

We consider polygons with the following ``pairing property'': for each edge of the polygon there is precisely one other edge parallel to it. We study the problem of when such a polygon $K$ tiles the plane multiply when translated at the…

Let $S_n$ denote the symmetric group of permutations acting on $n$ elements. We investigate the double sequence $\{N_{\ell}(n)\}$ counting the number of $\ell$ tuples of elements of the symmetric group $S_n$, where the components commute,…

Let $H, K$ be subgroups of the permutation group $G$ of degree $n$ with $K\trianglelefteq G$ and $\sigma$ be a partition of the set of all different prime divisors of $|G/K|$. We prove that in polynomial time (in $n$) one can check $G/K$…

We study tilings of the plane that combine strong properties of different nature: combinatorial and algorithmic. We prove existence of a tile set that accepts only quasiperiodic and non-recursive tilings. Our construction is based on the…

We define a new family of non-periodic tilings with square tiles that is mutually locally derivable with some family of tilings with isosceles right triangles. Both families are defined by simple local rules, and the proof of their…

Rotationally symmetric tilings by a convex pentagonal tile belonging to both the Type 1 and Type 7 families are introduced. Among them are spiral tilings with two- and four-fold rotational symmetry. Those rotationally symmetric tilings are…

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,…

Several elementary properties of the symmetric group $S_n$ extend in a nice way to the full transformation monoid $M_n$ of all maps of the set $X:=\{1,2,3,\dots,n\}$ into itself. The group $S_n$ turns out to be in some sense the torsion…

Given an n-dimensional substitution whose associated linear expansion is unimodular and hyperbolic, we use elements of the one-dimensional integer \v{C}ech cohomology of the associated tiling space to construct a finite-to-one…

If X and Y are orthogonal hyperdefinable sets such that X is simple, then any group G interpretable in (X,Y) has a normal hyperdefinable X-internal subgroup N such that G/N is Y-internal; N is unique up to commensurability. In order to make…

O. H. Keller conjectured in 1930 that in any tiling of $\Bbb R^n$ by unit $n$-cubes there exist two of them having a complete facet in common. O. Perron proved this conjecture for $n\le 6$. We show that for all $n\ge 10$ there exists a…

In this paper, we give some sufficient conditions for a $n$-dimensional rectangle to be tiled with a set of bricks. These conditions are obtained by using the so-called Frobenius number.

S.~Elnitsky (1997) gave an elegant bijection between rhombic tilings of $2n$-gons and commutation classes of reduced words in the symmetric group on $n$ letters. P.~Magyar (1998) found an important construction of the Bott-Samelson…

Let S be a bounded, Riemann measurable set in R^d, and L be a lattice. By a theorem of Fuglede, if S tiles R^d with translation set L, then S has an orthogonal basis of exponentials. We show that, under the more general condition that S…

In this paper we are interested in computability aspects of subshifts and in particular Turing degrees of 2-dimensional SFTs (i.e. tilings). To be more precise, we prove that given any \pizu subset $P$ of $\{0,1\}^\NN$ there is a SFT $X$…

A tiling is said to have infinite local complexity (ILC) if it contains infinitely many two-tile patches up to rigid motions. In this work, we provide examples of substitution rules that generate tilings with ILC. The proof relies on…