Related papers: Kasteleyn cokernels
Surfaces in i-Al68Pd23Mn9 as observed with STM and LEED experiments show atomic terraces in a Fibonacci spacing. We analyze them in a bulk tiling model due to Elser which incorporates many experimental data. The model has dodecahedral…
In this article we define a set of matrices analogous to Vaserstein-type matrices which was introduced in the paper `Serre's problem on projective modules over polynomial rings and algebraic K-theory' by Suslin-Vaserstein in 1976. We prove…
We associate a noncommutative curve to a periodic, bipartite, planar dimer model with polygonal boundary. It determines the inverse Kasteleyn matrix and hence all correlations. It may be seen as a quantization of the limit shape…
To a finite quiver equipped with a positive integer on each of its vertices, we associate a holomorphic symplectic manifold having some parameters. This coincides with Nakajima's quiver variety with no stability parameter/framing if the…
We introduce a new method for studying gap probabilities in a class of discrete determinantal point processes with double contour integral kernels. This class of point processes includes uniform measures of domino and lozenge tilings as…
We prove a conjecture of Mills, Robbins and Rumsey [Alternating sign matrices and descending plane partitions, J. Combin. Theory Ser. A 34 (1983), 340-359] that, for any n, k, m and p, the number of nxn alternating sign matrices (ASMs) for…
Tesler matrices are certain integral matrices counted by the Kostant partition function and have appeared recently in Haglund's study of diagonal harmonics. In 2014, Drew Armstrong defined a poset on such matrices and conjectured that the…
The Brattelli diagram associated with a given bicolored Dynkin-Coxeter graph of type $A_n$ determines planar fractal sets obtained by infinite dissections of a given triangle. All triangles appearing in the dissection process have angles…
The Pascal matrix, which is related to Pascal's triangle, appears in many places in the theory of uniform distribution and in many other areas of mathematics. Examples are the construction of low-discrepancy sequences as well as normal…
A $0,1$ matrix is said to be regular if all of its rows and columns have the same number of ones. We prove that for infinitely many integers $k$, there exists a square regular $0,1$ matrix with binary rank $k$, such that the Boolean rank of…
Given a Stirling permutation w, we introduce the mesa set of w as the natural generalization of the pinnacle set of a permutation. Our main results characterize admissible mesa sets and give closed enumerative formulas in terms of rational…
When W is a finite Coxeter group of classical type (A, B, or D), noncrossing partitions associated to W and compatibility of almost positive roots in the associated root system are known to be modeled by certain planar diagrams. We show how…
We study discrete period matrices associated with graphs cellularly embedded on closed surfaces, resembling classical period matrices of Riemann surfaces. Defined via integrals of discrete harmonic 1-forms, these period matrices are known…
Tilting theory is one of the central tools in modern representation theory, in particular in the study of Cohen-Macaulay representations. We study Cohen-Macaulay representations of $\mathbb N$-graded Artin-Schelter Gorenstein algebras $A$…
We give a self contained and elementary description of normal forms for symplectic matrices, based on geometrical considerations. The normal forms in question are expressed in terms of elementary Jordan matrices and integers with values in…
The search for a highly discriminating and easily computable invariant to distinguish graphs remains a challenging research topic. Here we focus on cospectral graphs whose complements are also cospectral (generalized cospectral), and on…
The coefficients of the chain polynomial of a finite poset enumerate chains in the poset by their number of elements. The chain polynomials of the partition lattices and their standard type $B$ analogues are shown to have only real roots.…
The problem of counting tilings of a plane region using specified tiles can often be recast as the problem of counting (perfect) matchings of some subgraph of an Aztec diamond graph A_n, or more generally calculating the sum of the weights…
This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support…
This article addresses the problem of enumerating the tilings of a plane by lozenges, under the restriction that these tilings be doubly periodic. Kasteleyn's Pfaffian method is applied to compute the generating function of those…