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 compute the number of rhombus tilings of a hexagon with side lengths a,b,c,a,b,c which contain the central rhombus and the number of rhombus tilings of a hexagon with side lengths a,b,c,a,b,c which contain the `almost central` rhombus above the centre.
We compute the number of rhombus tilings of a hexagon with sides $N,M,N,N,M,N$, which contain a fixed rhombus on the symmetry axis that cuts through the sides of length $M$.
We compute the number of rhombus tilings of a hexagon with sides $N,M,N,N,M,N$, which contain a fixed rhombus on the symmetry axis. A special case solves a problem posed by Jim Propp.
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 cen…
We compute the number of rhombus tilings of a hexagon with side lengths N,M,N,N,M,N, with N and M having the same parity, which contain a particular rhombus next to the center of the hexagon. The special case N=M of one of our results solves a problem posed by Propp. In the proofs, Hankel determinants featuring Bernoulli numbers play an important role.
We compute the number of rhombus tilings of a hexagon with sides n, n, N, n, n, N, where two triangles on the symmetry axis touching in one vertex are removed. The case of the common vertex being the center of the hexagon solves a problem posed by Propp.
It is shown that the descending plane partitions of Andrews can be geometrically realized as cyclically symmetric rhombus tilings of a certain hexagon where an equilateral triangle of side length 2 has been removed from its centre. Thus, the lattice structure for descending plane partitions, as introduced by Mills, Robbins and Rumsey, allows for an elegant visualization.
We state, discuss, provide evidence for, and prove in special cases the conjecture that the probability that a random tiling by rhombi of a hexagon with side lengths $2n+a,2n+b,2n+c,2n+a,2n+b,2n+c$ contains the (horizontal) rhombus with coordinates $(2n+x,2n+y)$ is equal to ${1/3} + g_{a,b,c,x,y}(n) {\binom {2n}{n}}^3 / \binom {6n}{3n}$, where $g_{a,b,c,x,y}(n)$ is a rational function in $n$. Several specific instances of this "1/3-phenomenon" are made explicit.
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.
We compute the number of all rhombus tilings of a hexagon with sides $a,b+1,c,a+1,b,c+1$, of which the central triangle is removed, provided $a,b,c$ have the same parity. The result is a product of four numbers, each of which counts the number of plane partitions inside a given box. The proof uses nonintersecting lattice paths and a new identity for Schur functions, which is proved by means of the minor summation formula of Ishikawa and Wakayama. A symmetric generalization of this identity is stated as a conjecture.
We compute the number of rhombus tilings of a hexagon with sides $a+2,b+2,c+2,a+2,b+2,c+2$ with three fixed tiles touching the border. The particular case $a=b=c$ solves a problem posed by Propp. Our result can also be viewed as the enumeration of plane partitions having $a+2$ rows and $b+2$ columns, with largest entry $\le c+2$, with a given number of entries $c+2$ in the first row, a given number of entries 0 in the last column and a given bottom-left entry.
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 …
The rhombus tilings of a simply connected domain of the Euclidean plane are known to form a flip-connected space (a flip is the elementary operation on rhombus tilings which rotates 180° a hexagon made of three rhombi). Motivated by the study of a quasicrystal growth model, we are here interested in better understanding how "tight" rhombus tiling spaces are flip-connected. We introduce a lower bound (Hamming-distance) on the minimal number of flips to link two tilings (flip-distance), and we investigate whether it is sharp. The answer depends on the number n of different edge directions in the…
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-system…
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-para…
Danilov, Karzanov and Koshevoy (2012) geometrically introduced an interesting operation of composition on tiling Condorcet domains and using it they disproved a long-standing problem of Fishburn about the maximal size of connected Condorcet domains. We give an algebraic definition of this operation and investigate its properties. We give a precise formula for the cardinality of composition of two Condorcet domains and improve the Danilov, Karzanov and Koshevoy result showing that Fishburn's alternating scheme does not always define a largest peak-pit Condorcet domain.
We prove that a Schur function of rectangular shape $(M^n)$ whose variables are specialized to $x_1,x_1^{-1},...,x_n,x_n^{-1}$ factorizes into a product of two odd orthogonal characters of rectangular shape, one of which is evaluated at $-x_1,...,-x_n$, if $M$ is even, while it factorizes into a product of a symplectic character and an even orthogonal character, both of rectangular shape, if $M$ is odd. It is furthermore shown that the first factorization implies a factorization theorem for rhombus tilings of a hexagon, which has an equivalent formulation in terms of plane partitions. A simila…
We analyze the quantum ground state structure of a specific model of itinerant, strongly interacting lattice fermions. The interactions are tuned to make the model supersymmetric. Due to this, quantum ground states are in one-to-one correspondence with cohomology classes of the so-called independence complex of the lattice. Our main result is a complete description of the cohomology, and thereby of the quantum ground states, for a two-dimensional square lattice with periodic boundary conditions. Our work builds on results by J. Jonsson, who determined the Euler characteristic (Witten index) vi…
For the ordered set $[n]$ of $n$ elements, we consider the class $\Bscr_n$ of bases $B$ of tropical Plücker functions on $2^{[n]}$ such that $B$ can be obtained by a series of mutations (flips) from the basis formed by the intervals in $[n]$. We show that these bases are representable by special wiring diagrams and by certain arrangements generalizing rhombus tilings on the $n$-zonogon. Based on the generalized tiling representation, we then prove that each weakly separated set-system in $2^{[n]}$ having maximum possible size belongs to $\Bscr_n$, thus answering affirmatively a conjecture due …
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.
