lattice ↗ reference
4391 papers tagged with this keyword
Why the characteristic polynomial factors
Published in Bull. Amer. Math. Soc. 36 (1999), 113-134
• View Publication
• BIB
We survey three methods for proving that the characteristic polynomial of a finite lattice factors over the nonnegative integers and indicate how they have evolved recently. The first technique uses geometric ideas and is based on Zaslavsky's theory of signed graphs. The second approach is algebraic and employs results of Saito and Terao about free hyperplane arrangements. Finally, we consider a purely combinatorial theorem of Stanley about semimodular supersolvable lattices and its generalizations.
Generic and Cogeneric Monomial Ideals
Published
• View Publication
• BIB
Monomial ideals which are generic with respect to either their generators or irreducible components have minimal free resolutions derived from simplicial complexes. For a generic monomial ideal, the associated primes satisfy a saturated chain condition, and the Cohen-Macaulay property implies shellability for both the Scarf complex and the Stanley-Reisner complex. Reverse lexicographic initial ideals of generic lattice ideals are generic. Cohen-Macaulayness for cogeneric ideals is characterized combinatorially; in the cogeneric case the Cohen-Macaulay type is greater than or equal to the number of irreducible components. Methods of proof include Alexander duality and Stanley's theory of local h-vectors.
Restricted random walks on a graph
Published in Ann. Combinatorics 3, 475-481 (1999)
• View Publication
• BIB
The problem of a restricted random walk on graphs which keeps track of the number of immediate reversal steps is considered by using a transfer matrix formulation. A closed-form expression is obtained for the generating function of the number of n-step walks with r reversal steps for walks on any graph. In the case of graphs of a uniform valence, we show that our result has a probabilistic meaning, and deduce explicit expressions for the generating function in terms of the eigenvalues of the adjacency matrix. Applications to periodic lattices and the complete graph are given.
Planar lattice gases with nearest-neighbour exclusion
Published in Ann.Comb.3:191-203,1999
• View Publication
• BIB
We discuss the hard-hexagon and hard-square problems, as well as the corresponding problem on the honeycomb lattice. The case when the activity is unity is of interest to combinatorialists, being the problem of counting binary matrices with no two adjacent 1's. For this case we use the powerful corner transfer matrix method to numerically evaluate the partition function per site, density and some near-neighbour correlations to high accuracy. In particular for the square lattice we obtain the partition function per site to 43 decimal places.
On the volume of a certain polytope
Published
• View Publication
• BIB
Let n >= 2 be an integer and consider the set T_n of n by n permutation matrices pi for which pi_{ij}=0 for j>=i+2. In this paper we study the convex hull of T_n, which we denote by P_n. P_n is a polytope of dimension binom{n}{2}. Our main purpose is to provide evidence for the following conjecture concerning its volume. Let v_n denote the minimum volume of a simplex with vertices in the affine lattice spanned by T_n. Then the volume of P_n is v_n times the product for i varying from 0 to n-2 of frac{1}{i+1} binom{2i}{i}. That is, P_n is the product of v_n and the first n-1 Catalan numbers.
We also give a related result on the Ehrhart polynomial of P_n.
Several Constants Arising in Statistical Mechanics
Published
• View Publication
• BIB
This is a brief survey of certain constants associated with random lattice models, including self-avoiding walks, polyominoes, the Lenz-Ising model, monomers and dimers, ice models, hard squares and hexagons, and percolation models.
A change-of-coordinates from Geometry to Algebra, applied to Brick Tilings
A proof is sketched of the Polynomial Conjecture of the author (circulated as preprint "Brick Tiling and Monotone Boolean Functions", available at the http://www.math.ufl.edu/~squash/tilingstuff.html url) which says that the family of minimal tilable-boxes grows polynomially with dimension. An important ingredient of the argument is translating the problem from its finite-dimensional geometric framework to the algebraic setting of an infinite-dimensional lattice.
Lattice Diagram Polynomials and Extended Pieri Rules
Published in Adv. Math. 142 (1999), no. 2, 244--334
• View Publication
• BIB
The lattice cell in the ${i+1}^{st}$ row and ${j+1}^{st}$ column of the positive quadrant of the plane is denoted $(i,j)$. If $μ$ is a partition of $n+1$, we denote by $μ/ij$ the diagram obtained by removing the cell $(i,j)$ from the (French) Ferrers diagram of $μ$. We set $Δ_{μ/ij}=\det \| x_i^{p_j}y_i^{q_j} \|_{i,j=1}^n$, where $(p_1,q_1),... ,(p_n,q_n)$ are the cells of $μ/ij$, and let ${\bf M}_{μ/ij}$ be the linear span of the partial derivatives of $Δ_{μ/ij}$. The bihomogeneity of $Δ_{μ/ij}$ and its alternating nature under the diagonal action of $S_n$ gives ${\bf M}_{μ/ij}$ the structure of a bigraded $S_n$-module. We conjecture that ${\bf M}_{μ/ij}$ is always a direct sum of $k$ left regular representations of $S_n$, where $k$ is the number of cells that are weakly north and east of $(i,j)$ in $μ$. We also make a number of conjectures describing the precise nature of the bivariate Frobenius characteristic of ${\bf M}_{μ/ij}$ in terms of the theory of Macdonald polynomials. On the validity of these conjectures, we derive a number of surprising identities. In particular, we obtain a representation theoretical interpretation of the coefficients appearing in some Macdonald Pieri Rules.
Science Fiction and Macdonald's Polynomials
Published
• View Publication
• BIB
This work studies the remarkable relationships that hold among certain m-tuples of the Garsia-Haiman modules $ {\bf M}_μ$ and corresponding elements of the Macdonald basis. We recall that ${\bf M}_μ$ is defined for a partition $μ\part n$, as the linear span of derivatives of a certain bihomogeneous polynomial $Δ_ μ(x,y)$ in the variables $x_1,x_2,..., x_n, y_1,y_2,..., y_n$. It has been conjectured by Garsia and Haiman that ${\bf M}_μ$ has $n!$ dimensions and that its bigraded Frobenius characteristic is given by the symmetric polynomial ${\widetilde{H}}_μ(x;q,t)=\sum_{λ\part n} S_λ(X) {\widetilde{K}}_{λμ}(q,t)$ where the ${\widetilde{K}}_{λμ}(q,t)$ are related to the Macdonald $q,t$-Kostka coefficients $ K_{λμ}(q,t)$ by the identity ${\widetilde{K}}_{λμ}(q,t)=K_{λμ}(q,1/t)t^{n(μ)}$ with $n(μ)$ the x-degree of $Δ_ μ(x;y)$. Computer data has suggested that as $ν$ varies among the immediate predecessors of a partition $μ$, the spaces ${\bf M}_ν$ behave like a boolean lattice. We formulate a number of remarkable conjectures about the Macdonald polynomials. In particular we obtain a representation theoretical interpretation for some of the symmetries that can be found in the computed tables of $q,t$-Kostka coefficients.
On the Asymptotics of the Finite-Perimeter Partition Function of Two-Dimensional Lattice Vesicles
Published
• View Publication
• BIB
We derive the dominant asymptotic form and the order of the correction terms of the finite-perimeter partition function of self-avoiding polygons on the square lattice, which are weighted according to their area A as q^A, in the inflated regime, q>1. The approach q->1^+ of the asymptotic form is examined.
Coordination Sequences and Critical Points
Published in Proceedings of the 6th International Conference on Quasicrystals, Eds. S. Takeuchi and T. Fujiwara (World Scientific, Singapore, 1998), pp. 124-127
• Search Publication
Coordination sequences of periodic and quasiperiodic graphs are analysed. These count the number of points that can be reached from a given point of the graph by a number of steps along its bonds, thus generalising the familiar coordination number which is just the first member of this series. A possible application to the theory of critical phenomena in lattice models is outlined.
Symmetry Structure of the Elser-Sloane Quasicrystal
Published in Aperiodic 97, eds. M. de Boissieu et al., World Scientific, Singapore (1998), pp. 63-67.
• Search Publication
The 4D quasicrystal of Elser and Sloane, obtained from the root lattice E8 by the cut-and-project method, can be parametrized by the points of an 8D torus. This allows for an explicit analysis of its point and inflation symmetry structure.
Orlik-Solomon algebras and Tutte polynomials
Published
• View Publication
• BIB
The $OS$ algebra $A$ of a matroid $M$ is a graded algebra related to the Whitney homology of the lattice of flats of $M$. In case $M$ is the underlying matroid of a hyperplane arrangement \A in $\C^r$, $A$ is isomorphic to the cohomology algebra of the complement $\C^r\setminus \bigcup \A.$ Few examples are known of pairs of arrangements with non-isomorphic matroids but isomorphic $OS$ algebras. In all known examples, the Tutte polynomials are identical, and the complements are homotopy equivalent but not homeomorphic.
We construct, for any given simple matroid $M_0$, a pair of infinite families of matroids $M_n$ and $M'_n$, $n\geq 1$, each containing $M_0$ as a submatroid, in which corresponding pairs have isomorphic $OS$ algebras. If the seed matroid $ M_0$ is connected, then $M_n$ and $M'_n$ have different Tutte polynomials. As a consequence of the construction, we obtain, for any $m$, $m$ different matroids with isomorphic $OS$ algebras. Suppose one is given a pair of central complex hyperplane arrangements $\A_0$ and $\A_1$. Let $§$ denote the arrangement consisting of the hyperplane $\{0\}$ in $\C^1$. We define the parallel connection $P(\A_0,\A_1)$, an arrangement realizing the parallel connection of the underlying matroids, and show that the direct sums $\A_0 \oplus \A_1$ and $§\oplus P(\A_0,\A_1)$ have diffeomorphic complements.
Enumeration of walks on lattices. I
This work develops a methodical approach to counting of walks on cartesian products, biproducts, symmetric and exterior powers and bipowers, Schur operations, coverings and semicoverings of weighted graphs. For weight and root lattices of semisimple Lie algebras, this approach allows us to compute various combinatorial and representation-theoretical constants, in particular, the number of plane symplectic wave graphs with given number of vertices.
Enumeration of symmetry classes of convex polyominoes in the square lattice
Published in Advances in Applied Mathematics, 21 (1998), 343-380
• View Publication
• BIB
This paper concerns the enumeration of rotation-type and congruence-type convex polyominoes on the square lattice. These can be defined as orbits of the groups C4, of rotations, and D4, of symmetries of the square acting on (translation- type) polyominoes. In virtue of Burnside's Lemma, it is sufficient to enumerate the various symmetry classes (fixed points) of polyominoes defined by the elements of C4 and D4. Using the Temperley--Bousquet-Melou methodology, we solve this problem and provide explicit or recursive formulas for their generating functions according to width, height and area. We also enumerate the class of asymmetric convex polyominoes, using Moebius inversion, and prove that their number is asymptotically equivalent to the number of convex polyominoes, a fact which is empirically evident.
Inhomogeneous lattice paths, generalized Kostka polynomials and A$_{n-1}$ supernomials
Published in Commun. Math. Phys. 202 (1999) 359-401
• View Publication
• BIB
Inhomogeneous lattice paths are introduced as ordered sequences of rectangular Young tableaux thereby generalizing recent work on the Kostka polynomials by Nakayashiki and Yamada and by Lascoux, Leclerc and Thibon. Motivated by these works and by Kashiwara's theory of crystal bases we define a statistic on paths yielding two novel classes of polynomials. One of these provides a generalization of the Kostka polynomials while the other, which we name the A$_{n-1}$ supernomial, is a $q$-deformation of the expansion coefficients of products of Schur polynomials. Many well-known results for Kostka polynomials are extended leading to representations of our polynomials in terms of a charge statistic on Littlewood-Richardson tableaux and in terms of fermionic configuration sums. Several identities for the generalized Kostka polynomials and the A$_{n-1}$ supernomials are proven or conjectured. Finally, a connection between the supernomials and Bailey's lemma is made.
Skew-symmetric Vanishing Lattices and Intersections of Schubert Cells
We prove that the number of connected components in the intersection of two open opposite Schubert cells in the variety of complete real n-dimensional flags equals 3*2^{n-1} for n>5.
The algebra of flows in graphs
Published
• View Publication
• BIB
We define a contravariant functor K from the category of finite graphs and graph morphisms to the category of finitely generated graded abelian groups and homomorphisms. For a graph X, an abelian group B, and a nonnegative integer j, an element of Hom(K^j(X),B) is a coherent family of B-valued flows on the set of all graphs obtained by contracting some (j-1)-set of edges of X; in particular, Hom(K^1(X),R) is the familiar (real) ``cycle-space'' of X. We show that K(X) is torsion-free and that its Poincare polynomial is the specialization t^{n-k}T_X(1/t,1+t) of the Tutte polynomial of X (here X has n vertices and k components). Functoriality of K induces a functorial coalgebra structure on K(X); dualizing, for any ring B we obtain a functorial B-algebra structure on Hom(K(X),B). When B is commutative we present this algebra as a quotient of a divided power algebra, leading to some interesting inequalities on the coefficients of the above Poincare polynomial. We also provide a formula for the theta function of the lattice of integer-valued flows in X, and conclude with ten open problems.
On a strange observation in the theory of the dimer problem
Published
• View Publication
• BIB
This is a contribution to the number theory of the dimer problem. The number of dimer coverings (i.e., perfect matchings) of a square lattice graph is discussed modulo powers of 2.
Stable matching in a common generalization of the marriage and assignment models
Published
• View Publication
• BIB
In the theory of two-sided matching markets there are two well-known models: the marriage model (where no money is involved) and the assignment model (where payments are involved). Roth and Sotomayor (1990) asked for an explanation for the similarities in behavior between those two models. We address this question by introducing a common generalization that preserves the two important features: the existence of a stable outcome and the lattice property of the set of stable outcomes.