jpconf style files. Presented at the conference "Counting Complexity: An international workshop on statistical mechanics and combinatorics." In celebration of Prof. Tony Guttmann's 60th birthday
We discuss the problem of counting {\em incidence matrices}, i.e. zero-one matrices with no zero rows or columns. Using different approaches we give three different proofs for the leading asymptotics for the number of matrices with $n$ ones as $n\to\infty$. We also give refined results for the asymptotic number of $i\times j$ incidence matrices with $n$ ones.
We investigate extremal functions ex_e(F,n) and ex_i(F,n) counting maximum numbers of edges and maximum numbers of vertex-edge incidences in simple hypergraphs H which have n vertices and do not contain a fixed hypergraph F; the containment respects linear orderings of vertices. We determine both functions exactly if F has only distinct singleton edges or if F is one of the 55 hypergraphs with at most four incidences (we give proofs only for six cases). We prove some exact formulae and recurrences for the numbers of hypergraphs, simple and all, with n incidences and derive rough logarithmic as…
We enumerate the number of 0/1-matrices avoiding 2x2 submatrices satisfying certain conditions. We also provide corresponding exponential generating functions.
We compute 2-enumerations of certain halved alternating sign matrices. In one case the enumeration equals the number of perfect matchings of a halved Aztec diamond. In the other case the enumeration equals the number of perfect matchings of a halved fortress graph. Our results prove three conjectures by Jim Propp.
In this paper we announce a conjecture concerning enumeration of n-times persymmetric matrices over F_2 by rank. To justify our statement we remark that the formulas obtained are valid for n equal to one, two and three.
The aim of this work is to enumerate alternating sign matrices (ASM) that are quasi-invariant under a quarter-turn. The enumeration formula (conjectured by Duchon) involves, as a product of three terms, the number of unrestricted ASM's and the number of half-turn symmetric ASM's.
We prove a determinantal identity concerning Schur functions for 2-staircase diagrams lambda=(ln+l',ln,l(n-1)+l',l(n-1),...,l+l',l,l',0). When l=1 and l'=0 these functions are related to the partition function of the 6-vertex model at the combinatorial point and hence to enumerations of Alternating Sign Matrices. A consequence of our result is an identity concerning the doubly-refined enumerations of Alternating Sign Matrices.
The aim of this work is to enumerate alternating sign matrices (ASM) that are quasi-invariant under a quarter-turn. The enumeration formula (conjectured by Duchon) involves, as a product of three terms, the number of unrestricted ASM's and the number of half-turn symmetric ASM's.
Alternating sign matrices with a U-turn boundary (UASMs) are a recent generalization of ordinary alternating sign matrices. Here we show that variations of these matrices are in bijective correspondence with certain symplectic shifted tableaux that were recently introduced in the context of a symplectic version of Tokuyama's deformation of Weyl's denominator formula. This bijection yields a formula for the weighted enumeration of UASMs. In this connection use is made of the link between UASMs and certain square ice configuration matrices.
Fischer provided a new type of binomial determinant for the number of alternating sign matrices involving the third root of unity. In this paper we prove that her formula, when replacing the third root of unity by an indeterminate $q$, is actually the $(2+q+q^{-1})$-enumeration of alternating sign matrices. By evaluating a generalisation of this determinant we are able to reprove a conjecture of Mills, Robbins and Rumsey stating that the $Q$-enumeration is a product of two polynomials in $Q$. Further we provide a closed product formula for the generalised determinant in the 0-,1- 2- and 3-enum…
In this paper Seidel matrices are studied, and their spectrum and several related algebraic properties are determined for order $n\leq 13$. Based on this Seidel matrices with exactly three distinct eigenvalues of order $n\leq 23$ are classified. One consequence of the computational results is that the maximum number of equiangular lines in $\mathbb{R}^{12}$ with common angle $1/5$ is exactly $20$.
Yet another doubly refined enumeration of Alternating Sign Matrices
I.R.M.A., UMR 7501, Université de Strasbourg et CNRS(斯特拉斯堡大学与法国国家科学研究中心);Institute for Advanced Study in Mathematics, Harbin Institute of Technology(哈尔滨工业大学数学高等研究院)
In recent papers we have studied refined enumerations of alternating sign matrices with respect to a fixed set of top and bottom rows. The present paper is a first step towards extending these considerations to alternating sign matrices where in addition a number of left and right columns are fixed. The main result is a simple linear relation between the number of $n \times n$ alternating sign matrices where the top row as well as the left and the right column is fixed and the number of $n \times n$ alternating sign matrices where the two top rows and the bottom row is fixed. This may be seen …
A brief introduction is given to the topic of Smith normal forms of incidence matrices. A general discussion of techniques is illustrated by some classical examples. Some recent advances are described and the limits of our current understanding are indicated.
We investigate the number of symmetric matrices of non-negative integers with zero diagonal such that each row sum is the same. Equivalently, these are zero diagonal symmetric contingency tables with uniform margins, or loop-free regular multigraphs. We determine the asymptotic value of this number as the size of the matrix tends to infinity, provided the row sum is large enough. We conjecture that our answer is valid for all row sums.
We provide bivariate asymptotics for the poly-Bernoulli numbers, a combinatorial array that enumerates lonesum matrices, using the methods of Analytic Combinatorics in Several Variables (ACSV). For the diagonal asymptotic (i.e., for the special case of square lonesum matrices) we present an alternative proof based on Parseval's identity. In addition, we provide an application in Algebraic Statistics on the asymptotic ML-degree of the bivariate multinomial missing data problem, and we strengthen an existing result on asymptotic enumeration of permutations having a specified excedance set.
The ordinary generating function of the number of complete subgraphs (cliques) of $G$, denoted by $C(G,x)$, is called the The clique polynomial of the graph $G$. In this paper, we first introduce some \emph{clique} incidence matrices associated by a simple graph $G$ as a generalization of the classical vertex-edge incidence matrix of $G$. Then, using these clique incidence matrices, we obtain two clique-counting identities that can be used for deriving two combinatorial formulas for the first and the second derivatives of clique polynomials. Finally, we conclude the paper with several open que…
In this paper we completely characterize the words with second minimum weight in the $p-$ary linear code generated by the rows of the incidence matrix of points and hyperplanes of $PG(n,q)$, with $q=p^h$ and $p$ prime, proving that they are the scalar multiples of the difference of the incidence vectors of two distinct hyperplanes of $PG(n,q)$.
We define {\em incidence matrices} to be zero-one matrices with no zero rows or columns. A classification of incidence matrices is considered for which conditions of symmetry by transposition, having no repeated rows/columns, or identification by permutation of rows/columns are imposed. We find asymptotics and relationships for the number of matrices with $n$ ones in these classes as $n\to\infty$.
It has been an open problem to find the Moore-Penrose inverses of the incidence, Laplacian, and signless Laplacian matrices of families of graphs except trees and unicyclic graphs. Since the inverse formulas for an odd unicyclic graph and an even unicyclic graph are quite different, we consider wheel graphs as they are formed from odd or even cycles. In this article solve the open problem for wheel graphs. This work has an interesting connection to inverses of circulant matrices.
In this article, we evaluate determinants of block hook matrices, which are block matrices consist of hook matrices. In particular, we deduce that the determinant of a block hook matrix factorizes nicely. In addition we give a combinatorial interpretation of the aforesaid factorization property by counting weighted paths in a suitable weighted digraph.
We construct a new bijection between the set of $n\times k$ $0$-$1$ matrices with no three $1$'s forming a $Γ$ configuration and the set of $(n,k)$-Callan sequences, a simple structure counted by poly-Bernoulli numbers. We give two applications of this result: We derive the generating function of $Γ$-free matrices, and we give a new bijective proof for an elegant result of Aval et al. that states that the number of complete non-ambiguous forests with $n$ leaves is equal to the number of pairs of permutations of $\{1,\dots,n\}$ with no common rise.
In the theory of line graphs of undirected graphs there exists an important theorem linking the incidence matrix of the root graph to the adjacency matrix of its line graph. For directed or mixed graphs, however, the exists no analogous result. The goal of this article is to present aligned definitions of the adjacency matrix, the incidence matrix and line graph of a mixed graph such that the mentioned theorem is valid for mixed graphs.
We consider the structures of the plane-line and point-line incidence matrices of the projective space $\mathrm{PG}(3,q)$ connected with orbits of planes, points, and lines under the stabilizer group of the twisted cubic. In the literature, lines are partitioned into classes, each of which is a union of line orbits. In this paper, for all $q$, even and odd, we determine the incidence matrices connected with a family of orbits of the class named $\mathcal{O}_6$. This class contains lines external to the twisted cubic. The considered family include an essential part of all $\mathcal{O}_6$ orbits…
An alternating sign matrix is a square matrix with entries 1, 0 and -1 such that the sum of the entries in each row and each column is equal to 1 and the nonzero entries alternate in sign along each row and each column. To some of the symmetry classes of alternating sign matrices and their variations, G. Kuperberg associate square ice models with appropriate boundary conditions, and give determinanat and Pfaffian formulae for the partition functions. In this paper, we utilize several determinant and Pfaffian identities to evaluate Kuperberg's determinants and Pfaffians, and express the round p…
Orbits and incidence matrices for points, planes and lines regarding the twisted cubic in PG(3,q), q = 2, 3, 4
Kharkevich Institute for Information Transmission Problems Russian Academy of Sciences(俄罗斯科学院信息传输问题哈尔维奇研究所);Department of Mathematics and Computer Science, University of Perugia(佩鲁贾大学数学与计算机科学系)
We identify a relationship between a certain family of random walks on Euclidean lattices and difference matrices over cyclic groups. We then use the techniques of Fourier analysis to estimate the return probabilities of these random walks, which in turn yields the asymptotic number of difference matrices over cyclic groups as the number of columns increases.
We prove the equality of doubly refined enumerations of Alternating Sign Matrices and of Totally Symmetric Self-Complementary Plane Partitions using integral formulae originating from certain solutions of the quantum Knizhnik--Zamolodchikov equation.
Zeilberger proved the Refined Alternating Sign Matrix Theorem, which gives a product formula, first conjectured by Mills, Robbins and Rumsey, for the number of alternating sign matrices with given top row. Stroganov proved an explicit formula for the number of alternating sign matrices with given top and bottom rows. Fischer and Romik considered a different kind of "doubly-refined enumeration" where one counts alternating sign matrices with given top two rows, and obtained partial results on this enumeration. In this paper we continue the study of the doubly-refined enumeration with respect to…
We determine the Smith normal forms of the incidence matrices of points and projective (r-1)-dimensional subspaces of PG(n,q) and of the incidence matrices of points and r-dimensional affine subspaces of AG(n,q) for all n, r, and arbitrary prime power q.
We identify a relationship between a random walk on a certain Euclidean lattice and incidence matrices of balanced incomplete block designs. We then compute the return probability of the random walk and use it to obtain the asymptotic number of BIBD incidence matrices (as the number of columns increases). Our strategy is similar in spirit to the one used by de Launey and Levin to count partial Hadamard matrices.
Lecture notes for the proceedings of the workshop "Algebraic Combinatorics related to Young diagram and statistical physics", Aug. 6-10 2012, I.I.A.S., Nara, Japan.
We consider a space of sparse Boolean matrices of size $n \times n$, which have finite co-rank over $GF(2)$ with high probability. In particular, the probability such a matrix has full rank, and is thus invertible, is a positive constant with value about $0.2574$ for large $n$. The matrices arise as the vertex-edge incidence matrix of 1-out 3-uniform hypergraphs The result that the null space is finite, can be contrasted with results for the usual models of sparse Boolean matrices, based on the vertex-edge incidence matrix of random $k$-uniform hypergraphs. For this latter model, the expected …
For a given hypergraph, an orientation can be assigned to the vertex-edge incidences. This orientation is used to define the adjacency and Laplacian matrices. In addition to studying these matrices, several related structures are investigated including the incidence dual, the intersection graph (line graph), and the 2-section. A connection is then made between oriented hypergraphs and balanced incomplete block designs.
A matrix is called totally positive if every minor of it is positive. Such matrices are well studied and have numerous applications in Mathematics and Computer Science. We study how many times the value of a minor can repeat in a totally positive matrix and show interesting connections with incidence problems in combinatorial geometry. We prove that the maximum possible number of repeated $d \times d$-minors in a $d \times n$ totally-positive matrix is $O(n^{d-\frac{d}{d+1}})$. For the case $d=2$ we also show that our bound is optimal. We consider some special families of totally postive matri…
We present some old and new results in the enumeration of random walks in one dimension, mostly developed in works of enumerative combinatorics. The relation between the trace of the $n$-th power of a tridiagonal matrix and the enumeration of weighted paths of $n$ steps allows an easier combinatorial enumeration of the paths. It also seems promising for the theory of tridiagonal random matrices .
We study a further refinement of the standard refined enumeration of alternating sign matrices (ASMs) according to their first two rows instead of just the first row, and more general "d-refined" enumerations of ASMs according to the first d rows. For the doubly-refined case of d=2, we derive a system of linear equations satisfied by the doubly-refined enumeration numbers A_{n,i,j} that enumerate such matrices. We give a conjectural explicit formula for A_{n,i,j} and formulate several other conjectures about the sufficiency of the linear equations to determine the A_{n,i,j}'s and about an exte…
In this paper we study the Rotor Model of Martins and Nienhuis. After introducing spectral parameters, a combined use of integrability, polynomiality of the ground state wave function and a mapping into the fully-packed O(1)-model allows us to determine the sum rule and a family of maximally nested components for different boundary conditions. We see in this way the appearance of 3-enumerations of Alternating Sign Matrices.
We prove refined enumeration results on several symmetry classes as well as related classes of alternating sign matrices with respect to classical boundary statistics, using the six-vertex model of statistical physics. More precisely, we study vertically symmetric, vertically and horizontally symmetric, vertically and horizontally perverse, off-diagonally and off-antidiagonally symmetric, vertically and off-diagonally symmetric, quarter turn symmetric as well as quasi quarter turn symmetric alternating sign matrices. Our results prove conjectures of Fischer, Duchon and Robbins.
We consider Kasteleyn and Kasteleyn-Percus matrices, which arise in enumerating matchings of planar graphs, up to matrix operations on their rows and columns. If such a matrix is defined over a principal ideal domain, this is equivalent to considering its Smith normal form or its cokernel. Many variations of the enumeration methods result in equivalent matrices. In particular, Gessel-Viennot matrices are equivalent to Kasteleyn-Percus matrices. We apply these ideas to plane partitions and related planar of tilings. We list a number of conjectures, supported by experiments in Maple, about the f…
It was shown by Kuperberg that the partition function of the square-ice model related to half-turn symmetric alternating-sign matrices of even order is the product of two similar factors. We propose a square-ice model whose states are in bijection with half-turn symmetric alternating-sign matrices of odd order. The partition function of the model is expressed via the above mentioned factors. The contributions to the partition function of the states corresponding to the alternating-sign matrices having 1 or -1 as the central entry are found and the related enumerations are obtained.
This paper is the second in a series of planned papers which provide first bijective proofs of alternating sign matrix results. Based on the main result from the first paper, we construct a bijective proof of the enumeration formula for alternating sign matrices and of the fact that alternating sign matrices are equinumerous with descending plane partitions. We are also able to refine these bijections by including the position of the unique $1$ in the top row of the matrix. Our constructions rely on signed sets and related notions. The starting point for these constructions were known ``comput…
Let s,t,m,n be positive integers such that sm=tn. Let M(m,s;n,t) be the number of m x n matrices over {0,1,2,...} with each row summing to s and each column summing to t. Equivalently, M(m,s;n,t) counts 2-way contingency tables of order m x n such that the row marginal sums are all s and the column marginal sums are all t. A third equivalent description is that M(m,s;n,t) is the number of semiregular labelled bipartite multigraphs with m vertices of degree s and n vertices of degree t. When m=n and s=t such matrices are also referred to as n x n magic squares with line sums equal to t. We prov…
Let S=(s_1,s_2,..., s_m) and T = (t_1,t_2,..., t_n) be vectors of non-negative integers with sum_{i=1}^{m} s_i = sum_{j=1}^n t_j. Let B(S,T) be the number of m*n matrices over {0,1} with j-th row sum equal to s_j for 1 <= j <= m and k-th column sum equal to t_k for 1 <= k <= n. Equivalently, B(S,T) is the number of bipartite graphs with m vertices in one part with degrees given by S, and n vertices in the other part with degrees given by T. Most research on the asymptotics of B(S,T) has focused on the sparse case, where the best result is that of Greenhill, McKay and Wang (2006). In the case o…