arXiv++ Combinatorics

There is a rich history of domino tilings in two dimensions. Through a variety of techniques we can answer questions such as: how many tilings are there of a given region or what does the space of all tilings look like? These questions and their answers become significantly more difficult in dimension three and above. Despite this curse of dimensionality, there have been exciting recent advances in the theory. Here we briefly review foundational results of two-dimensional domino tilings and highlight where challenges arise when generalizing to higher dimensions. We then survey results in higher dimensional domino tilings, focusing on the question of connectivity of the space of tilings, and the open problems that still remain.

We consider domino tilings of 3D cubiculated regions. The tilings have two invariants, flux and twist, often integer-valued, which are given in purely combinatorial terms. These invariants allow one to classify the tilings with respect to certain elementary moves, flips and trits. In this paper we present a construction associating a divergence-free vector field $ξ_t$ to any domino tiling $t$, such that the flux of the tiling $t$ can be interpreted as the (relative) rotation class of the field $ξ_t$, while the twist of $t$ is proved to be the relative helicity of the field $ξ_t$.

A \textit{domino} is a $2\times 1\times 1$ parallelepiped formed by the union of two unit cubes and a \textit{slab} is a $2\times 2\times 1$ parallelepiped formed by the union of four unit cubes. We are interested in tiling regions formed by the finite union of unit cubes. Domino tilings have been studied before; here we investigate \textit{slab tilings}. As for domino tilings, a flip in a slab tiling is a local move: two neighboring parallel slabs are removed and placed back in a different position. Inspired by the twist for domino tilings, we construct a flip invariant for slab tilings: the \textit{triple twist}, assuming values in $\mathbb{Z}^3$. We show that if the region is a large box then the triple twist assumes a large number of possible values, roughly proportional to the fourth power of the volume. We also give examples of smaller regions for which the set of tilings is connected under flips, so that the triple twist assumes only one value.

The Grassmann convexity conjecture gives a conjectural formula for the maximal total number of real zeros of the consecutive Wronskians of an arbitrary fundamental solution to a disconjugate linear ordinary differential equation with real time. The conjecture can be reformulated in terms of convex curves in the nilpotent lower triangular group. The formula has already been shown to be a correct lower bound and to give a correct upper bound in several small dimensional cases. In this paper we obtain a general explicit upper bound.

Real Bruhat cells give an important and well studied stratification of such spaces as $GL_{n+1}$, $Flag_{n+1} = SL_{n+1}/B$, $SO_{n+1}$ and $Spin_{n+1}$. We study the intersections of a top dimensional cell with another cell (for another basis). Such an intersection is naturally identified with a subset of the lower nilpotent group $Lo_{n+1}^{1}$. We are particularly interested in the homotopy type of such intersections. In this paper we define a stratification of such intersections. As a consequence, we obtain a finite CW complex which is homotopically equivalent to the intersection. We compute the homotopy type for several examples. It turns out that for $n \le 4$ all connected components of such subsets of $Lo_{n+1}^1$ are contractible: we prove this by explicitly constructing the corresponding CW complexes. Conversely, for $n \ge 5$ and the top permutation, there is always a connected component with even Euler characteristic, and therefore not contractible. This follows from formulas for the number of cells per dimension of the corresponding CW complex. For instance, for the top permutation $S_6$, there exists a connected component with Euler characteristic equal to $2$. We also give an example of a permutation in $S_6$ for which there exists a connected component which is homotopically equivalent to the circle $S^1$.

We consider domino tilings of $3$-dimensional cubiculated regions. A three-dimensional domino is a 2x2x1 rectangular cuboid. We are particularly interested in regions of the form $R_N = D \times [0,N]$ where $D$ is a fixed quadriculated disk. In dimension 3, the twist associates to each tiling $t$ an integer $Tw(t)$. We prove that, when $N$ goes to infinity, the twist follows a normal distribution. A flip is a local move: two neighboring parallel dominoes are removed and placed back in a different position. The twist is invariant under flips. A quadriculated disk $D$ is regular if, whenever two tilings $t_0$ and $t_1$ of $R_N$ satisfy $Tw(t_0) = Tw(t_1)$, $t_0$ and $t_1$ can be joined by a sequence of flips provided some extra vertical space is allowed. Many large disks are regular, including rectangles $D = [0,L] \times [0,M]$ with $LM$ even and $L,M \ge 3$. For regular disks, we describe the larger connected components under flips of the set of tilings of the region $R_N = D \times [0,N]$. As a corollary, let $p_N$ be the probability that two random tilings $T_0$ and $T_1$ of $D \times [0,N]$ can be joined by a sequence of flips conditional to their twists being equal. Then $p_N$ tends to 1 if and only if $D$ is regular. Under a suitable equivalence relation, the set of tilings has a group structure, the domino group. These results illustrate the fact that the domino group dictates many properties of the space of tilings of the cylinder $R_N = D \times [0,N]$, particularly for large $N$.

In this paper we consider domino tilings of bounded regions in dimension $n \geq 4$. We define the twist of such a tiling, an elements of ${\mathbb{Z}}/(2)$, and prove it is invariant under flips, a simple local move in the space of tilings. We investigate which regions $D$ are regular, i.e. whenever two tilings $t_0$ and $t_1$ of $D \times [0,N]$ have the same twist then $t_0$ and $t_1$ can be joined by a sequence of flips provided some extra vertical space is allowed. We prove that all boxes are regular except $D = [0,2]^3$. Furthermore, given a regular region $D$, we show that there exists a value $M$ (depending only on $D$) such that if $t_0$ and $t_1$ are tilings of equal twist of $D \times [0,N]$ then the corresponding tilings can be joined by a finite sequence of flips in $D \times [0,N+M]$. As a corollary we deduce that, for regular $D$ and large $N$, the set of tilings of $D \times [0,N]$ has two twin giant components under flips, one for each value of the twist.

We consider domino tilings of three-dimensional cubiculated regions. A flip is a local move: two neighboring parallel dominoes are removed and placed back in a different position. The twist is an integer associated to each tiling, which is invariant under flips. A balanced quadriculated disk $D$ is regular if whenever two tilings $t_0$ and $t_1$ of $D \times [0,N]$ have the same twist then $t_0$ and $t_1$ can be joined by a sequence of flips provided some extra vertical space is allowed. We define the domino group of a quadriculated disk and prove that $D$ is regular if and only if its domino group is isomorphic to $Z \oplus Z/(2)$. We prove that a rectangle $D = [0,L] \times [0,M]$ with $LM$ even is regular if and only if $\min\{L,M\} \ge 3$ and conjecture that in general "large" disks are regular. In the cases where $D$ is not regular we prove partial results concerning the structure of the domino group: the group is not abelian and has exponential growth. We also prove that if $D$ is regular then the extra vertical space necessary to join by flips two tilings of $D \times [0,N]$ with the same twist depends only on $D$, not on the height $N$.

We consider domino tilings of three-dimensional cubiculated manifolds with or without boundary, including subsets of Euclidean space and three-dimensional tori. In particular, we are interested in the connected components of the space of tilings of such regions under local moves. Building on the work of the third and fourth authors, we allow two possible local moves, the flip and trit. These moves are considered with respect to two topological invariants, the twist and flux. Our main result proves that, up to refinement: Two tilings are connected by flips and trits if and only if they have the same flux. Two tilings are connected by flips alone if and only if they have the same flux and twist.

Consider the binomial model $G^{d+1}(n,p)$ of the random $(d+1)$-uniform hypergraph on $n$ vertices, where each edge is present, independently of one another, with probability $p:\mathbb{N}\to[0,1]$. We prove that, for all logarithmo-exponential $p\ll n^{-d+ε}$, the probabilities of all elementary properties of hypergraphs converge, with particular emphasis in the ranges $p(n)\sim C/n^d$ and $p(n) \sim C\log(n)/n^d$. The exposition is unified by constructing, for each such function $p$, the topological space of all completions of its almost sure theory. This space turns out to be compact, metrizable and totally disconnected, but further properties depend on the range of $p$. The convergence of the probabilities of elementary properties is associated with a borelian probability measure on the space.

For large $n$, take a random $n \times n$ permutation matrix and its associated discrete copula $X_n$. For $a, b = 0, 1, \ldots, n$, let $y_n(\frac{a}{n},\frac{b}{n}) = \frac{1}{n} ( X_{a,b} - \frac{ab}{n} )$; define $y_n: [0,1]^2 \to R$ by interpolating quadratically on squares of side $\frac{1}{n}$. We prove a Donsker type central limit theorem: $\sqrt{n} y_n$ approaches a bridged Brownian sheet on the unit square.

This is an extended version of the thesis presented to the Programa de Pós-Graduação em Matemática of the Departamento de Matemática, PUC-Rio, in September 2013, incorporating some suggestions from the examining commission. Random graphs (and more generally hypergraphs) have been extensively studied, including their first order logic. In this work we focus on certain specific aspects of this vast theory. We consider the binomial model $G^{d+1}(n,p)$ of the random $(d+1)$-uniform hypergraph on $n$ vertices, where each edge is present, independently of one another, with probability $p=p(n)$. We are particularly interested in the range $p(n) \sim C\log(n)/n^d$, after the double jump and near connectivity. We prove several zero-one, and, more generally, convergence results and obtain combinatorial applications of some

This note relies heavily on arXiv:1404.6509 and arXiv:1410.7693. Both articles discuss domino tilings of three-dimensional regions, and both are concerned with flips, the local move performed by removing two parallel dominoes and placing them back in the only other possible position. In the second article, an integer $\operatorname{Tw}(t)$ is defined for any tiling $t$ of a large class of regions $\mathcal{R}$: it turns out that $\operatorname{Tw}(t)$ is invariant by flips. In the first article, a more complicated polynomial invariant $P_t(q)$ is introduced for tilings of two-story regions. It turns out that $\operatorname{Tw}(t) = P_t'(1)$ whenever $t$ is a tiling of a duplex region, a special kind of two-story region for which both invariants are defined. This identity is proved in arXiv:1410.7693 in an indirect and nonconstructive manner. In the present note, we provide an alternative, more direct proof.

In this paper, we consider domino tilings of regions of the form $\mathcal{D} \times [0,n]$, where $\mathcal{D}$ is a simply connected planar region and $n \in \mathbb{N}$. It turns out that, in nontrivial examples, the set of such tilings is not connected by flips, i.e., the local move performed by removing two adjacent dominoes and placing them back in another position. We define an algebraic invariant, the twist, which partially characterizes the connected components by flips of the space of tilings of such a region. Another local move, the trit, consists of removing three adjacent dominoes, no two of them parallel, and placing them back in the only other possible position: performing a trit alters the twist by $\pm 1$. We give a simple combinatorial formula for the twist, as well as an interpretation via knot theory. We prove several results about the twist, such as the fact that it is an integer and that it has additive properties for suitable decompositions of a region.

We investigate tilings of cubiculated regions with two simply connected floors by 2 x 1 x 1 bricks. More precisely, we study the flip connected component for such tilings, and provide an algebraic invariant that "almost" characterizes the flip connected components of such regions, in a sense that we discuss in the paper. We also introduce a new local move, the trit, which, together with the flip, connects the space of domino tilings when the two floors are identical.

We define cut-and-paste, a construction which, given a quadriculated disk obtains a disjoint union of quadriculated disks of smaller total area. We provide two examples of the use of this procedure as a recursive step. Tilings of a disk $Δ$ receive a parity: we construct a perfect or near-perfect matching of tilings of opposite parities. Let $B_Δ$ be the black-to-white adjacency matrix: we factor $B_Δ= L\tilde DU$, where $L$ and $U$ are lower and upper triangular matrices, $\tilde D$ is obtained from a larger identity matrix by removing rows and columns and all entries of $L$, $\tilde D$ and $U$ are equal to 0, 1 or -1.

Let $Δ$ be a bicolored quadriculated disk with black-to-white matrix $B_Δ$. We show how to factor $B_Δ= L\tilde DU$, where $L$ and $U$ are lower and upper triangular matrices, $\tilde D$ is obtained from a larger identity matrix by removing rows and columns and all entries of $L$, $\tilde D$ and $U$ are equal to 0, 1 or -1.

We provide a more informal explanation of two results in our manuscript "Tilings of quadriculated annuli". Tilings of a quadriculated annulus $A$ are counted according to volume (in the formal variable q) and flux (in p). The generating function Phi_A(p,q) is such that, for q = -1, the non-zero roots in p are roots of unity and for q > 0, real negative.

Kasteleyn counted the number of domino tilings of a rectangle by considering a mutation of the adjacency matrix: a Kasteleyn matrix K. In this paper we present a generalization of Kasteleyn matrices and a combinatorial interpretation for the coefficients of the characteristic polynomial of KK^\ast (which we call the singular polynomial), where K is a generalized Kasteleyn matrix for a planar bipartite graph. We also present a q-version of these ideas and a few results concerning tilings of special regions such as rectangles.

Tilings of a quadriculated annulus A are counted according to volume (in the formal variable q) and flux (in p). We consider algebraic properties of the resulting generating function Phi_A(p,q). For q = -1, the non-zero roots in p must be roots of unity and for q > 0, real negative.