arXiv++ Combinatorics

We prove that every finite translational tile of $\mathbb Z^d$ of cardinality $2q$, where $q$ is an odd prime, or of cardinality nine admits a fully periodic tiling complement. The result holds in every dimension, regardless of the rank of the subgroup generated by the differences of points of the tile. The proofs combine coprime dilation, vanishing sums of roots of unity, and periodic two-colorings. After translating the tile, both arguments restrict to its intrinsic lattice, and every periodic complement constructed there extends to the ambient lattice. For cardinality $2q$, spectral filtering in the intrinsic lattice yields either a lattice complement or a periodic twofold covering compatible with a tiling complement. This compatibility allows the covering to be split by a periodic proper two-coloring. For nine points, intrinsic ranks $1$ and $2$ are treated separately; in higher intrinsic rank, the algebraic reduction in the intrinsic lattice yields either a lattice complement or spectral support on finitely many rational affine circles. These results also give a decision algorithm for tileability in both cardinality families. The circle-supported alternative is resolved by a conditional-density dichotomy and a periodic replacement argument for the exceptional half-density components.

We prove Fuglede's conjecture for finite cyclic groups of square-free order. Specifically, if \(N\) is square-free and \(A\subseteq \mathbb Z_N\) is nonempty with \(|A|=m\), then \(A\) is spectral if and only if it tiles \(\mathbb Z_N\); moreover, these conditions hold precisely when \(m\mid N\) and \(A\) is a complete set of representatives modulo \(m\). This gives a complete structural description of spectral and tiling sets in \(\mathbb Z_N\). The key new ingredient is a prime-coordinate elimination theorem: if \(P\nmid nm\) is an odd prime, then every \(m\)-point spectral pair in \(\mathbb Z_n\times\mathbb Z_P\) projects injectively to a spectral pair in \(\mathbb Z_n\). Its proof combines character-matrix orthogonality, cyclotomic coefficient comparison, and a \(P\)-adic divisibility argument for associated Gram matrices. Iterating this reduction yields the result for arbitrary square-free \(N\), with no restriction on the number or relative sizes of its prime factors.

For every $d\geq2$, we prove that $d-1$ independent finite tiles in $\Z^d$ admit a fully periodic joint co-tile whenever they admit a joint co-tile. Here independence means that the tiles contain the origin and every choice of one nonzero vector from each tile is linearly independent. This removes property $(\star)$ from the periodic existence theorem of Meyerovitch, Sanadhya and Solomon and recovers Bhattacharya's theorem when $d=2$. More generally, we prove periodic existence for any finite family admitting a joint co-tile whose indicator is a fully periodic real function plus finitely many bounded real functions, each invariant under a subgroup of rank $d-1$. Extending the Boolean normal-form method of Greenfeld and Tao, we obtain a configuration in the translation orbit closure whose restrictions to cosets of a finite-index lattice are either invariant under a rank-$(d-1)$ subgroup or given by a three-term affine fractional-part formula with density one half. The tiling equations pair the restrictions given by this formula and determine a finite bipartite graph. A two-coloring replaces those restrictions by constants while preserving every tiling equation. We deduce a characterization of periodic tilability by independent companions and a decision algorithm for families containing an independent $(d-1)$-subfamily, with the dimension as part of the input.

Let \(N\ge2\) and let \(p\) be its least prime divisor. We prove that every nonzero polynomial with nonnegative real coefficients divisible by \(Φ_N\) has support diameter at least \((p-1)N/p\). Equality holds precisely for positive scalar multiples of monomial shifts of the \(p\)-term geometric sum \(\sum_{j=0}^{p-1} X^{jN/p}\), thereby proving a conjecture of Steinberger. The proof turns cyclotomic divisibility into the vanishing of the first \(p-1\) Fourier moments of a positive measure on the circle and then applies a classical extremal trigonometric polynomial. As a consequence, we establish the Coven--Meyerowitz diameter bound under their tiling conditions and determine its equality cases. Longer initial intervals of vanishing Fourier coefficients yield stronger diameter bounds, including an explicit refinement in terms of the prime-power divisor sets. The extremal trigonometric polynomial also yields a quantitative concentration estimate for measures and cyclotomic multiples with near-minimal support diameter.

A quantum Latin square of order $n$ (denoted as QLS$(n)$) is an $n\times n$ array whose entries are unit column vectors from the $n$-dimensional Hilbert space $\mathcal{H}_n$, such that each row and column forms an orthonormal basis. Two unit vectors $|u\rangle, |v\rangle\in \mathcal{H}_n$ are regarded as identical if there exists a real number $θ$ such that $|u\rangle=e^{iθ}|v\rangle$; otherwise, they are considered distinct. The cardinality $c$ of a QLS$(n)$ is the number of distinct vectors in the array. In this note,we use sub-QLS$(6)$ to prove that for any integer $m\geq 2$ and any $c\in [6m,36m^2]\setminus \{6m+1\}$, there is a QLS$(6m)$ with cardinality $c$.

In this paper we construct binary self-dual codes using the étale cohomology of $\mathbb{Z}/2$ on the spectra of rings of $S$-integers of global fields. We will show that up to equivalence, all self-dual codes of length at least 4 arise from Hilbert pairings on rings of $S$-integers of $\Q$. This is an arithmetic counterpart of a result of Kreck and Puppe, who used cobordism theory to show that all self-dual codes arise from Poincaré duality on real three manifolds.