arXiv++ Combinatorics

We give an explicit algorithm to construct aperiodic tile sets based on Sturmian words of quadratic slopes. The method works for any quadratic irrational slope, and we can produce an aperiodic tile set whose underlying scaling constant is a unit of any real quadratic field. There are two key ingredients in our construction. The first one is the ``Sturmian lattices'', an interesting grid structure generated by Sturmian words that emerged in an aperiodic monotile called Smith Turtle. The second is the bounded displacement equivalence of Delone sets, which plays a central role in this construction. A classification of Sturmian lattices and complete proofs are given in the full version.

We give an explicit algorithm to construct aperiodic tile sets based on Sturmian words of quadratic slopes. The method works for any quadratic irrational slope, and we can produce infinitely many aperiodic tile sets whose underlying scaling constant is a unit of any real quadratic field. There are two key ingredients in our construction. The first one is ``Sturmian lattices''; an interesting grid structure generated by Sturmian words that emerged in an aperiodic monotile called Smith Turtle. We shall give a classification of Sturmian lattices. The second is the bounded displacement equivalence of Delone sets, which plays a central role in this construction.

We introduce a new generalization of Wythoff Nim using three piles of stones. We show that its P-positions have finite difference properties and produce a partition of positive integers. Further, we give a conjecture that the P-positions approximate a half-line whose slope is described by algebraic numbers of degree 5.

We generalize the notion of (geometric) substitution rule to obtain overlapping substitutions. Our motivating example is the substitution presented in Ziherl, Dotera and Bekku \cite{DBZ}, which features a substitution matrix with non-integer entries. We give the meaning of such a matrix by showing that the right Perron--Frobenius eigenvector encodes the patch frequency of the resulting tiling. The patch frequencies are shown to be uniformly convergent, implying that the corresponding dynamical system is uniquely ergodic. Under mild assumptions, we further prove that the associated expansion constant is always an algebraic integer. In general, overlapping substitutions may yield a patch with illegal (partial) overlaps of tiles, even if it is locally consistent. We provide a sufficient condition for an overlapping substitution to be consistent, ensuring that no such illegal tiles emerge. Finally, we construct many intriguing one-dimensional overlapping substitutions and present higher dimensional examples from Delone multi-sets with inflation symmetry.

We give an alternative simple proof that the monotile introduced by Smith, Myers, Kaplan and Goodman-Strass is aperiodic.

Let $Φ_n^{(k)}(x)$ be the $k$-th derivative of $n$-th cyclotomic polynomial. Extending a work of D.~H.~Lehmer, we show some curious congruences: $2Φ^{(3)}_n(1)$ is divisible by $φ(n)-2$ and $Φ^{(2k+1)}_n(1)$ is divisible by $φ(n)-2k$ for $k\ge 2$. The congruence stems from a general property of self-reciprocal polynomials.

We consider the width $X_T(ω)$ of a convex $n$-gon $T$ in the plane along the random direction $ω\in\mathbb{R}/2π\mathbb{Z}$ and study its deviation rate: $$ δ(X_T)=\frac{\sqrt{\mathbb{E}(X^2_T)-\mathbb{E}(X_T)^2}}{\mathbb{E}(X_T)}. $$ We prove that the maximum is attained if and only if $T$ degenerates to a $2$-gon. Let $n\geq 2$ be an integer which is not a power of $2$. We show that $$ \sqrt{\fracπ{4n\tan(\fracπ{2n})} +\frac{π^2}{8n^2\sin^2(\fracπ{2n})}-1} $$ is the minimum of $δ(X_T)$ among all $n$-gons and determine completely the shapes of $T$'s which attain this minimum. They are characterized as polygonal approximations of equi-Reuleaux bodies, found and studied by K.~Reinhardt. In particular, if $n$ is odd, then the regular $n$-gon is one of the minimum shapes. When $n$ is even, we see that regular $n$-gon is far from optimal.We also observe an unexpected property of the deviation rate on the truncation of the regular triangle.

We give asymptotic formulas for the number of balanced words whose slope $α$ and intercept $ρ$ lie in a prescribed rectangle. They are related to uniform distribution of Farey fractions and Riemann Hypothesis. In the general case, the error term is deduced using an inequality of large sieve type.