Abstract:In this work, we study the number of finite tiles $A\subset\mathbb{Z}^{d}$ of size $\alpha$ that translationally tile a finite $C\subset\mathbb{Z}^{d}$. We consider two tiles $A$ and $A'$ to be congruent if and only if one can be transformed into the other via some translation. We make several significant contributions to the study of this problem. For any $\alpha\in\mathbb{Z}^{+}$ and $C=[x_{1}]\times[x_{2}]\times\ldots [x_{d}]$ where $x_{1},\ldots,x_{d}\in\mathbb{Z}^{+}$ (which we refer to as a finite contiguous $C$), we give an efficient method for enumerating all elements of $\mathcal{T}(\alpha,C)$, where $(A,B)\in \mathcal{T}(\alpha,C)$ if and only if $A,B\subset\mathbb{Z}^{d}$, the Minkowsji sum of $A$ and $B$ equals $C$, the size of $A$ equals $\alpha$, and $|C|=\alpha|B|$. We then use this to prove a partial order on $|\mathcal{T}(\alpha,C)|$ with respect to $\alpha$ for any finite contiguous $C$. We then study the extremal question as to the the growth rate of $\text{max}_{\alpha,C}[|\mathcal{T}(\alpha,C)|]$ with respect to $|C|$. For finite contiguous $C$, we improve the trivial lower and upper bounds of $\log n$ and ${n\choose n/2}$ respectively to an upper bound of \[n^{\frac{(1+\epsilon)\log n}{\log\log n}}\] and an infinitely often super-polynomial lower bound such that, for all constants $c$ and some infinite $N\subset\mathbb{Z}^{+}$, \[\forall n\in N, \exists\alpha\in\mathbb{Z}^{+}(|\mathcal{T}(\alpha,C)|>n^{c}),\] where $n=|C|$. We conjecture that the number of tilings of any finite contiguous $C$ by tiles of size $\alpha$ is an upper bound on the number of tilings of any finite $C'\subset \mathbb{Z}^{d}$ by tiles of size $\alpha$. To begin working towards this, we prove that any $A$ of size $\alpha$ that tiles some finite contiguous $C$ itself has at most as many tilings by tiles of size $\alpha'$ as there are tilings of $[\alpha]$ by tiles of size $\alpha'$.

On the Upper Bounds of the Minimum Number of Rows of Disjunct Matrices

New Bounds on the Number of Tests for Disjunct Matrices

Tight general bounds for the extremal numbers of 0-1 matrices

Upper Bound on the Number of Vertices of Polyhedra with $0,1$-Constraint Matrices

Bounds on the number of cells and the dimension of the Dressian

On the size of integer programs with bounded non-vanishing subdeterminants

Short proofs of three results about intersecting systems

On the sparsity of non-diagonalisable integer matrices and matrices with a given discriminant

Upper Bounds and Extremal Matrices of Index of Convergence for Reducible Matrices

The structure of maximal non-trivial d-wise intersecting uniform families with large sizes

On a conjecture of Tokushige for cross-$t$-intersecting families

On the Number of Distinct Tilings of Finite Subsets of $\mathbb{Z}^{d}$ With Tiles of Fixed Size

Exponential Erdős-Szekeres theorem for matrices

On the Erdős-Ginzburg-Ziv invariant and zero-sum Ramsey number for intersecting families

A New Framework for Matrix Discrepancy: Partial Coloring Bounds via Mirror Descent

Extremal bounds for pattern avoidance in multidimensional 0-1 matrices

A Proof of a Conjecture of C.L. Siegel

Average-case matrix discrepancy: satisfiability bounds

Upper bounds on the permanent of multidimensional (0,1)-matrices

Improved bounds on the Hadwiger-Debrunner numbers

The maximal sum of sizes of cross intersecting families for multisets