arXiv++ Combinatorics

The most studied class of Condorcet domains (acyclic sets of linear orders) is the class of peak-pit domains of maximal width. It has a number of combinatorial representations by such familiar combinatorial objects like rhombus tilings and arrangements of pseudolines. Arrow's single-peaked domains are peak-pit but do not have maximal width. We suggest how to represent them by means of generalised arrangements of pseudolines.

2-boostrap percolation on a graph is a diffusion process where a vertex gets infected whenever it has at least 2 infected neighbours, and then stays infected forever. It has been much studied on the infinite grid for random Bernoulli initial configurations, starting from the seminal result of van Enter that establishes that the entire grid gets almost surely entirely infected for any non-trivial initial probability of infection. In this paper, we generalize this result to any adjacency graph of any rhombus tiling of the plane, including aperiodic ones like Penrose tilings. We actually show almost sure infection of the entire graph for a larger class of measure than non-trivial Bernoulli ones. Our proof strategy combines a geometry toolkit for infected clusters based on chain-convexity, and uniform probabilistic bounds on particular geometric patterns that play the role of 0-1 laws or ergodicity, which are not available in our settings due to the lack of symmetry of the graph considered.

Consider the natural graph associated to a rhombus tiling of a polygonal regionin the plane. The spin correlations between boundary vertices of this graph inthe Z-invariant Ising model do not depend on the choice of the rhombus tilingbut only on the region. We provide a matrix formula depending on the regionwhich allows practical computations of boundary correlations in this setting,extending the results of Galashin in the critical case.

In the past three decades, the study of rhombus tilings and domino tilings of various plane regions has been a thriving subfield of enumerative combinatorics. Physicists classify such work as the study of dimer covers of finite graphs. In this article we move beyond dimer covers to trimer covers, introducing plane regions called benzels that play a role analogous to hexagons for rhombus tilings and Aztec diamonds for domino tilings, inasmuch as one finds many (so far mostly conjectural) exact formulas governing the number of tilings.

We present Planar Rosa, a family of rhombus tilings with a $2n$-fold rotational symmetry that are generated by a primitive substitution and that are also discrete plane tilings, meaning that they are obtained as a projection of a higher dimensional discrete plane. The discrete plane condition is a relaxed version of the cut-and-project condition. We also prove that the Sub Rosa substitution tilings with $2n$-fold rotational symmetry defined by Kari and Rissanen do not satisfy even the weaker discrete plane condition. We prove these results for all even $n\geq 4$. This completes our previously published results for odd values of $n$.

Single-peaked preferences and domains are extensively researched in social science and economics. In this study, we examine the interval property as well as combinatorial structure of single-peaked preferences on a fixed Left-Right social axis. We introduce a sign representation of single-peaked preferences; consequently, some cardinalities of single-peaked domains are easily obtained. Basic operations on the sign representation, which completely define the Bruhat poset, are also provided. The applications to known results and an isomorphic relation with associated rhombus tiling are given. Finally, we some discussions of related topics.

A planar framework -- a graph together with a map of its vertices to the plane -- is flexible if it allows a continuous deformation preserving the distances between adjacent vertices. Extending a recent previous result, we prove that a connected graph with a countable vertex set can be realized as a flexible framework if and only if it has a so-called NAC-coloring. The tools developed to prove this result are then applied to frameworks where every 4-cycle is a parallelogram, and countably infinite graphs with $n$-fold rotational symmetry. With this, we determine a simple combinatorial characterization that determines whether the 1-skeleton of a Penrose rhombus tiling with a given set of braced rhombi will have a flexible motion, and also whether the motion will preserve 5-fold rotational symmetry.

We present and prove closed form expressions for some families of binomial determinants with signed Kronecker deltas that are located along an arbitrary diagonal in the corresponding matrix. They count cyclically symmetric rhombus tilings of hexagonal regions with triangular holes. We extend a previous systematic study of these families, where the locations of the Kronecker deltas depended on an additional parameter, to families with negative Kronecker deltas. By adapting Zeilberger's holonomic ansatz to make it work for our problems, we can take full advantage of computer algebra tools for symbolic summation. This, together with the combinatorial interpretation, allows us to realize some new determinantal relationships. From there, we are able to resolve all remaining open conjectures related to these determinants, including one from 2005 due to Lascoux and Krattenthaler.

Given a finite rhombus tiling of a polygonal region in the plane, the associated critical $Z$-invariant Ising model is invariant under star-triangle transformations. We give a simple matrix formula describing spin correlations between boundary vertices in terms of the shape of the region. When the region is a regular polygon, our formula becomes an explicit trigonometric sum.

We study substitution tilings that are also discrete plane tilings, that is, satisfy a relaxed version of cut-and-projection. We prove that the Sub Rosa substitution tilings with a 2n-fold rotational symmetry for odd n greater than 5 defined by Kari and Rissanen are not discrete planes, and therefore not cut-and-project tilings either. We then define new Planar Rosa substitution tilings with a 2n-fold rotational symmetry for any odd n, and show that these satisfy the discrete plane condition. The tilings we consider are edge-to-edge rhombus tilings. We give an explicit construction for the 10-fold case, and provide a construction method for the general case of any odd n.

In this paper we consider a Condorcet domain (CD) formed by a rhombus tiling as a voting design and consider a problem of aggregation of voting designs using majority rule. A Condorcet super-domain is a collection of CDs obtained from rhombus tilings on a zonogone Z(n; 2) with the property that if voting designs (ballots) belong to this collection, then the simple majority rule does not yield cycles. A study of Condorcet super-domains and methods of constructing them form the main subject of this paper.

We consider three types of set-systems that have interesting applications in algebraic combinatorics and representation theory: maximal collections of the so-called strongly separated, weakly separated, and chord separated subsets of a set $[n]=\{1,2,\ldots,n\}$. These collections are known to admit nice geometric interpretations; namely, they are bijective, respectively, to rhombus tilings on the zonogon $Z(n,2)$, combined tilings on $Z(n,2)$, and fine zonotopal tilings (or `cubillages') on the 3-dimensional zonotope $Z(n,3)$. We describe interrelations between these three types of set-systems in $2^{[n]}$, by studying interrelations between their geometric models. In particular, we completely characterize the sets of rhombus and combined tilings properly embeddable in a fixed cubillage, explain that they form distributive lattices, give efficient methods of extending a given rhombus or combined tiling to a cubillage, and etc.

Recently, Colomo and Sportiello introduced a powerful method, known as the \emph{Tangent Method}, for computing the arctic curve in statistical models which have a (non- or weakly-) intersecting lattice path formulation. We apply the Tangent Method to compute arctic curves in various models: the domino tiling of the Aztec diamond for which we recover the celebrated arctic circle; a model of Dyck paths equivalent to the rhombus tiling of a half-hexagon for which we find an arctic half-ellipse; another rhombus tiling model with an arctic parabola; the vertically symmetric alternating sign matrices, where we find the same arctic curve as for unconstrained alternating sign matrices. The latter case involves lattice paths that are non-intersecting but that are allowed to have osculating contact points, for which the Tangent Method was argued to still apply. For each problem we estimate the large size asymptotics of a certain one-point function using LU decomposition of the corresponding Gessel-Viennot matrices, and a reformulation of the result amenable to asymptotic analysis.

We evaluate a curious determinant, first mentioned by George Andrews in 1980 in the context of descending plane partitions. Our strategy is to combine the famous Desnanot-Jacobi-Dodgson identity with automated proof techniques. More precisely, we follow the holonomic ansatz that was proposed by Doron Zeilberger in 2007. We derive a compact and nice formula for Andrews's determinant, and use it to solve a challenge problem that we posed in a previous paper. By noting that Andrews's determinant is a special case of a two-parameter family of determinants, we find closed forms for several one-parameter subfamilies. The interest in these determinants arises because they count cyclically symmetric rhombus tilings of a hexagon with several triangular holes inside.

All ten symmetry classes of plane partitions that fit in a given box are known to be enumerated by simple product formulas, but there is still no unified proof for all of them. Progress towards this goal can be made by establishing identities connecting the various symmetry classes. We present in this paper four such identities, involving all ten symmetry classes. We discuss their proofs and generalizations. The main result of this paper is to give a generalization of one of them, in the style of the identity presented in "A factorization theorem for rhombus tilings," M. Ciucu and C. Krattenthaler, arXiv:1403.3323.

Consider the unit triangular lattice in the plane with origin $O$, drawn so that one of the sets of lattice lines is vertical. Let $l$ and $l'$ denote respectively the vertical and horizontal lines that intersect $O$. Suppose the plane contains a pair of triangular holes of side length two, distributed symmetrically with respect to $l$ and $l'$, and oriented so that both holes point toward $O$. Unit rhombus tilings of three different regions of the plane are considered, namely: tilings of the entire plane; tilings of the half plane that lies to the left of $l$ (where $l$ is considered a free boundary, so unit rhombi are allowed to protrude half-way across it); and tilings of the half plane that lies just below the fixed boundary $l'$. Asymptotic expressions for the interactions of the triangular holes in these three different regions are obtained, providing further evidence for Ciucu's ongoing program that seeks to draw parallels between gaps in dimer systems on the hexagonal lattice and electrostatic phenomena.

The algebraic relations between the principal minors of an $n\times n$ matrix are somewhat mysterious, see e.g. [lin-sturmfels]. We show, however, that by adding in certain \emph{almost} principal minors, the relations are generated by a single relation, the so-called hexahedron relation, which is a composition of six cluster mutations. We give in particular a Laurent-polynomial parameterization of the space of $n\times n$ matrices, whose parameters consist of certain principal and almost principal minors. The parameters naturally live on vertices and faces of the tiles in a rhombus tiling of a convex $2n$-gon. A matrix is associated to an equivalence class of tilings, all related to each other by Yang-Baxter-like transformations. By specializing the initial data we can similarly parametrize the space of Hermitian symmetric matrices over $\mathbb R, \mathbb C$ or $\mathbb H$ the quaternions. Moreover by further specialization we can parametrize the space of \emph{positive definite} matrices over these rings.

A rhombus tiling of a hexagon is said to be centered if it contains the central lozenge. We compute the number of vertically symmetric rhombus tilings of a hexagon with side lengths $a, b, a, a, b, a$ which are centered. When $a$ is odd and $b$ is even, this shows that the probability that a random vertically symmetric rhombus tiling of a $a, b, a, a, b, a$ hexagon is centered is exactly the same as the probability that a random rhombus tiling of a $a, b, a, a, b, a$ hexagon is centered. This also leads to a factorization theorem for the number of all rhombus tilings of a hexagon which are centered.

We prove three conjectures concerning the evaluation of determinants, which are related to the counting of plane partitions and rhombus tilings. One of them was posed by George Andrews in 1980, the other two were by Guoce Xin and Christian Krattenthaler. Our proofs employ computer algebra methods, namely, the holonomic ansatz proposed by Doron Zeilberger and variations thereof. These variations make Zeilberger's original approach even more powerful and allow for addressing a wider variety of determinants. Finally, we present, as a challenge problem, a conjecture about a closed-form evaluation of Andrews's determinant.

A Condorcet domain (CD) is a collection of linear orders on a set of candidates satisfying the following property: for any choice of preferences of voters from this collection, a simple majority rule does not yield cycles. We propose a method of constructing "large" CDs by use of rhombus tiling diagrams and explain that this method unifies several constructions of CDs known earlier. Finally, we show that three conjectures on the maximal sizes of those CDs are, in fact, equivalent and provide a counterexample to them.