arXiv++ Combinatorics

Browse math.CO papers from arXiv

lattice

4305 papers tagged with this keyword
2001-04-04 v2
Lattice paths, q-multinomials and two variants of the Andrews-Gordon identities
Published • View PublicationBIB
A few years ago Foda, Quano, Kirillov and Warnaar proposed and proved various finite analogs of the celebrated Andrews-Gordon identities. In this paper we use these polynomial identities along with the combinatorial techniques introduced in our recent paper to derive Garrett, Ismail, Stanton type formulas for two variants of the Andrews-Gordon identities.
Lattice Diagram polynomials in one set of variables
Published in Adv. in Appl. Math. 28 (2002), no. 3-4, 343--359 • View PublicationBIB
The space $M_{μ/i,j}$ spanned by all partial derivatives of the lattice polynomial $Δ_{μ/i,j}(X;Y)$ is investigated in math.CO/9809126 and many conjectures are given. Here, we prove all these conjectures for the $Y$-free component $M_{μ/i,j}^0$ of $M_{μ/i,j}$. In particular, we give an explicit bases for $M_{μ/i,j}^0$ which allow us to prove directly the central {\sl four term recurrence} for these spaces.
2001-03-22 v2
Integrable systems and effectivisation of Riemann theorem about domaims of the complex plane
Published • View PublicationBIB
Consider a closed analytic curve $γ$ in the complex plane and denote by > $D_+$ and $D_-$ the interior and exterior domains with respect to the curve. The point $z=0$ is assumed to be in $D_+$. Then according to Riemann theorem there exists a function $w(z)=\frac 1r z+\sum_{j=0}^\infty p_j z^{-j}$, mapping $D_-$ to the exterior of the unit disk $\{w\in C|| w | >1\}$. It is follow from [arXiv : hep-th /0005259] that this function is described by formula $\log w=\log z-\partial_{t_0} (\frac 12\partial_{t_0}+\sum\limits_{k\geqslant 1}\frac{z^{-k}}{k} \partial_{t_k})v$, where $v=v(t_0, t_1, \bar t_1, t_2, \bar t_2,...)$ is a function from the area $t_0$ of $D_+$ and the momemts $t_k$ of $D_-$. Moreover, this function satisfies the dispersionless Hirota equation for 2D Toda lattice hierarchy. Thus for an effectivisation of Riemann theorem it is sufficiently to find a representation of $v$ in the form of Taylor series $v=\sum N(i_0 | i_1,...,i_k| \bar i_1,...,\bar i_{\bar k})t_0 t_{i_1},...,t_k \bar t_{\bar i_1},...,\bar t_{\bar i_{\bar k}}$. The numbers $N(i_0 | i_1,...,i_k | \bar i_1, ..., \bar i_{\bar k})$ for $i_α, \bar i_β\leqslant 2$ is found in [arXiv: hep-th/0005259]. In this paper we find some recurrence relations that give a possible to find all $N(i_0\bigl| i_1,...,i_k|\bar i_1,...,\bar i_{\bar k})$.
2001-02-28
Dyck paths and a bijection for multisets of hook numbers
Published in Discrete Math., 254 (2002), no. 1-3, 153-164 • View PublicationBIB
We give a bijective proof of a conjecture of Regev and Vershik on the equality of two multisets of hook numbers of certain skew-Young diagrams. The bijection proves a result that is stronger and more symmetric than the original conjecture, by means of a construction involving Dyck paths, a particular type of lattice path.
Covering lattice points by subspaces
Published in Period. Math. Hung. 43 (2001), 93-103 • View PublicationBIB
We find tight estimates for the minimum number of proper subspaces needed to cover all lattice points in an n-dimensional convex body symmetric about the origin. We also find the order of magnitude of the number of (n-1)-dimensional subspaces induced by the lattice points in a large n-dimensional ball centered at the origin.
Structure of $Z^2$ modulo selfsimilar sublattices
In this paper we show the combinatorial structure of $\mathbb{Z}^2$ modulo sublattices selfsimilar to $\mathbb{Z}^2$. The tool we use for dealing with this purpose is the notion of association scheme. We classify when the scheme defined by the lattice is imprimitive and characterize its decomposition in terms of the decomposition of the gaussian integer defining the lattice. This arise in the classification of different forms of tiling $\mathbb{Z}^2$ by lattices of this type.
2000-12-22
Walks on the slit plane
Published • View PublicationBIB
In the first part of this paper, we enumerate exactly walks on the square lattice that start from the origin, but otherwise avoid the non positive horizontal half-axis. We call them "walks on the slit plane". We count them by their length, and by the coordinates of their endpoint. The corresponding three variable generating function is algebraic of degree 8. Moreover, for any point (i,j), the length generating function for walks of this type ending at (i,j) is also algebraic, of degree 2 or 4, and involves the famous Catalan numbers. Our method is based on the solution of a functional equation, established via a simple combinatorial argument. It actually works for more general models, in which walks take their steps in a finite subset of Z^2 satisfying two simple conditions. The corresponding generating functions are always algebraic. In the second part of the paper, we derive from our enumerative results a number of probabilistic corollaries. For instance, we can compute exactly the probability that an ordinary random walk starting from (i,j) hits for the first time the horizontal half-axis at position (k,0), for any triple (i,j,k). This generalizes a question raised by R. Kenyon, which was the starting point of this paper. Taking uniformly at random all n-step walks on the slit plane, we also compute the probability that they visit a given point (k,0), and the average number of visits to this point. In other words, we quantify the transience of the walks. Finally, we derive an explicit limit law for the coordinates of their endpoint.
2000-12-20
The vertex ideal of a lattice
We introduce a monomial ideal whose standard monomials encode the vertices of all fibers of a lattice. We study the minimal generators, the radical, the associated primes and the primary decomposition of this ideal, as well as its relation to initial ideals of lattice ideals.
2000-11-29
Non-intersecting Paths, Random Tilings and Random Matrices
Published • View PublicationBIB
We investigate certain measures induced by families of non-intersecting paths in domino tilings of the Aztec diamond, rhombus tilings of an abc-hexagon, a dimer model on a cylindrical brick lattice and a growth model. The measures obtained, e.g. the Krawtchouk and Hahn ensembles, have the same structure as the eigenvalue measures in random matrix theory like GUE, which can in fact be obtained from non-intersecting Brownian motions. The derivations of the measures are based on the Karlin-McGregor or Lindström-Gessel-Viennot method. We use the measure to show some asymptotic results for the models.
2000-11-23
Random Lattices and Random Sphere Packings: Typical Properties
Published • View PublicationBIB
We review results about the density of typical lattices in $R^n.$ They state that such density is of the order of $2^{-n}.$ We then obtain similar results for random packings in $R^n$: after taking suitably a fraction $ν$ of a typical random packing $σ$, the resulting packing $τ$ has density $C(ν) 2^{-n},$ with a reasonable $C(ν).$ We obtain estimates on $C(ν).$
2000-11-23 v2
Dichromatic polynomials and Potts models summed over rooted maps
Published in Ann.Comb. 5 (2001) 17-36 • View PublicationBIB
We consider the sum of dichromatic polynomials over non-separable rooted planar maps, an interesting special case of which is the enumeration of such maps. We present some known results and derive new ones. The general problem is equivalent to the $q$-state Potts model randomized over such maps. Like the regular ferromagnetic lattice models, it has a first-order transition when $q$ is greater than a critical value $q_c$, but $q_c$ is much larger - about 72 instead of 4.
2000-11-22 v3
(-1)-enumeration of plane partitions with complementation symmetry
Published in Adv. Appl. Math. 30, No. 1-2, 53-95 (2003) • Search Publication
We compute the weighted enumeration of plane partitions contained in a given box with complementation symmetry where adding one half of an orbit of cubes and removing the other half of the orbit changes the weight by -1 as proposed by Kuperberg. We use nonintersecting lattice path families to accomplish this for transpose-complementary, cyclically symmetric transpose-complementary and totally symmetric self-complementary plane partitions. For symmetric transpose-complementary and self-complementary plane partitions we get partial results. We also describe Kuperberg's proof for the case of cyclically symmetric self-complementary plane partitions.
2000-11-20 v2
A growth model in a random environment
Published in Ann. Probab. 30 (2002), 1340-1368. • View PublicationBIB
We consider a model of interface growth in two dimensions, given by a height function on the sites of the one--dimensional integer lattice. According to the discrete time update rule, the height above the site $x$ increases to the height above $x-1$, if the latter height is larger; otherwise the height above $x$ increases by 1 with probability $p_x$. We assume that $p_x$ are chosen independently at random with a common distribution $F$, and that the initial state is such that the origin is far above the other sites. We explicitly identify the asymptotic shape and prove that, in the pure regime, the fluctuations about that shape, normalized by the square root of time, are asymptotically normal. This contrasts with the quenched version: conditioned on the environment, and normalized by the cube root of time, the fluctuations almost surely approach a distribution known from random matrix theory.
2000-11-17
On multiplicities of points on Schubert varieties in Grassmannians
Published in Séminaire Lotharingien Combin. 45 (2001), Article B45c, 11 pp • Search Publication
We answer some questions related to multiplicity formulas by Rosenthal and Zelevinsky and by Lakshmibai and Weyman for points on Schubert varieties in Grassmannians. In particular, we give combinatorial interpretations in terms of nonintersecting lattice paths of these formulas, which makes the equality of the two formulas immediately obvious. Furthermore we provide an alternative determinantal formula for these multiplicities, and we show that they count semistandard tableaux of unusual shapes.
2000-11-10
Lattice polytopes with distinct pair-sums
Published • View PublicationBIB
Let P be a lattice polytope in R^n, and let P \cap Z^n = {v_1,...,v_N}. If the N + \binom N2 points 2v_1,...,2v_N; v_1+v_2,...v_{N-1}+v_N are distinct, we say that P is a "distinct pair-sum" or "dps" polytope. We show that, if P is a dsp polytope in R^n, then N \le 2^n, and, for every n, we construct dps polytopes in R^n which contain 2^n lattice points. We also discuss the relation between dps polytopes and the study of sums of squares of real polynomials.
2000-10-31
The structure of Chip Firing Games and related models
Published • View PublicationBIB
In this paper, we study the dynamics of sand grains falling in sand piles. Usually sand piles are characterized by a decreasing integer partition and grain moves are described in terms of transitions between such partitions. We study here four main transition rules. The more classical one, introduced by Brylawski (1973) induces a lattice structure $L_B (n)$ (called dominance ordering) between decreasing partitions of a given integer n. We prove that a more restrictive transition rule, called SPM rule, induces a natural partition of L_B (n) in suborders, each one associated to a fixed point for SPM rule. In the second part, we extend the SPM rule in a natural way and obtain a model called Chip Firing Game (Goles and Kiwi, 1993). We prove that this new model has interesting properties: the induced order is a lattice, a natural greedoid can be associated to the model and it also defines a strongly convergent game. In the last section, we generalize the SPM rule in another way and obtain other lattice structure parametrized by some t: L(n,t), which form for -n+2 <= t <= n a decreasing sequence of lattices. For each t, we characterize the fixed point of L(n,t) and give the value of its maximal sized chain's lenght. We also note that L(n,-n+2) is the lattice of all compositions of n.
2000-10-25
The critical group of a directed graph
The critical group K(G) of a directed graph G=(V,E) is the cokernel of the transpose of the Laplacian matrix of G acting on the integer lattice Z^V. For undirected graphs G, this has been considered by Bacher, de la Harpe, and Nagnibeda, and by Biggs. We prove several things, among which are: K(G/p) is a subgroup of K(G) when p is an equitable partition and G is strongly connected; for undirected graphs, the torsion subgroup of K(G) depends only on the graphic matroid of G; and, the `dollar game' of Biggs can be generalized to give a combinatorial interpretation for the elements of K(G), when G is strongly connected.
2000-10-13
Integrable Lattices: Random Matrices and Random Permutations
Published in "Random Matrices and Their Applications" : MSRI-publication #40, Cambridge University Press, 2001 • View PublicationBIB
These lectures present a survey of recent developments in the area of random matrices (finite and infinite) and random permutations. These probabilistic problems suggest matrix integrals (or Fredholm determinants), which arise very naturally as integrals over the tangent space to symmetric spaces, as integrals over groups and finally as integrals over symmetric spaces. An important part of these lectures is devoted to showing that these matrix integrals, upon apropriately adding time-parameters, are natural tau-functions for integrable lattices, like the Toda, Pfaff and Toeplitz lattices, but also for integrable PDE's, like the KdV equation. These matrix integrals or Fredholm determinants also satisfy Virasoro constraints, which combined with the integrable equations lead to (partial) differential equations for the original probabilities.
2000-10-10 v5
On blockers in bounded posets
Published in International Journal of Mathematics and Mathematical Sciences, Volume 26 (2001), Issue 10, Pages 581-588 • View PublicationBIB
Antichains of a finite bounded poset are assigned antichains playing a role analogous to that played by blockers in the Boolean lattice of all subsets of a finite set. Some properties of lattices of generalized blockers are discussed.
2000-09-21 v2
Embeddings of Schur functions into types B/C/D
Published • View PublicationBIB
We consider the problem of embedding the semi-ring of Schur-positive symmetric polynomials into its analogue for the classical types $B/C/D$. If we preserve highest weights and add the additional Lie-theoretic parity assumption that the weights in images of Schur functions lie in a single translate of the root lattice, there are exactly two solutions. These naturally extend the Kirillov--Reshetikhin decompositions of representations of symplectic and orthogonal quantum affine algebras $U_q(\hat{g})$ (some still conjectural, some recently proven).