arXiv++ Combinatorics

Browse math.CO papers from arXiv

lattice ↗ reference

4394 papers tagged with this keyword
2001-06-25
Modeles avec particules dures, animaux diriges et series en variables partiellement commutatives
We give a systematic presentation of relations between lattice gas models with hard-core interactions, enumeration of directed-site animals, and the algebra of formal power-series in the partially commutative case, along the work of X.G.Viennot. We present a complete and simplified solution, using this algebra, of the directed animals enumeration problem in two dimensions, including a fast program for random generation of such animals (with uniform distribution) and images produced by this program.
2001-06-11 v3
A determinantal formula for the Hilbert series of one-sided ladder determinantal rings
Published in in: Algebra, Arithmetic and Geometry with Applications, C. Christensen, C. Bajaj, G. Sundaram and A. Sathaye, eds., Springer-Verlag, New York, 2003, pp. 525-552. • View Publication • BIB
We give a formula that expresses the Hilbert series of one-sided ladder determinantal rings, up to a trivial factor, in form of a determinant. This allows the convenient computation of these Hilbert series. The formula follows from a determinantal formula for a generating function for families of nonintersecting lattice paths that stay inside a one-sided ladder-shaped region, in which the paths are counted with respect to turns.
2001-06-07 v2
Computing the Face Lattice of a Polytope from its Vertex-Facet Incidences
Published • View Publication • BIB
We give an algorithm that constructs the Hasse diagram of the face lattice of a convex polytope P from its vertex-facet incidences in time O(min{n,m}*a*f), where n is the number of vertices, m is the number of facets, a is the number of vertex-facet incidences, and f is the total number of faces of P. This improves results of Fukuda and Rosta (1994), who described an algorithm for enumerating all faces of a d-polytope in O(min{n,m}*d*f^2) steps. For simple or simplicial d-polytopes our algorithm can be specialized to run in time O(d*a*f). Furthermore, applications of the algorithm to other atomic lattices are discussed, e.g., to face lattices of oriented matroids.
2001-05-08
Local statistics of lattice dimers
Published in Annales de Inst. H. Poincaré, Probabilités et Statistiques, 33 (1997),591-618 • View Publication • BIB
We show how to compute the probability of any given local configuration in a random tiling of the plane with dominos. That is, we explicitly compute the measures of cylinder sets for the measure of maximal entropy $μ$ on the space of tilings of the plane with dominos. We construct a measure $ν$ on the set of lozenge tilings of the plane, show that its entropy is the topological entropy, and compute explicitly the $ν$-measures of cylinder sets. As applications of these results, we prove that the translation action is strongly mixing for $μ$ and $ν$, and compute the rate of convergence to mixing (the correlation between distant events). For the measure $ν$ we compute the variance of the height function.
2001-05-04
Supernormal Vector Configurations
A configuration of lattice vectors is supernormal if it contains a Hilbert basis for every cone spanned by a subset. We study such configurations from various perspectives, including triangulations, integer programming and Groebner bases. Our main result is a bijection between virtual chambers of the configuration and virtual initial ideals of the associated binomial ideal.
2001-04-20 v2
Critical and Multicritical Semi-Random (1+d)-Dimensional Lattices and Hard Objects in d Dimensions
Published in J.Phys.A35:897-928,2002 • View Publication • BIB
We investigate models of (1+d)-D Lorentzian semi-random lattices with one random (space-like) direction and d regular (time-like) ones. We prove a general inversion formula expressing the partition function of these models as the inverse of that of hard objects in d dimensions. This allows for an exact solution of a variety of new models including critical and multicritical generalized (1+1)-D Lorentzian surfaces, with fractal dimensions $d_F=k+1$, k=1,2,3,..., as well as a new model of (1+2)-D critical tetrahedral complexes, with fractal dimension $d_F=12/5$. Critical exponents and universal scaling functions follow from this solution. We finally establish a general connection between (1+d)-D Lorentzian lattices and directed-site lattice animals in (1+d) dimensions.
2001-04-13
Conformal-field-theoretic analogues of codes and lattices
Published • View Publication • BIB
We introduce and study completely-extendable conformal intertwining algebras. Based on results obtained in other papers, various examples are given. Duals of these algebras are constructed and nondegenerate such algebras are defined. We prove that the double dual of such a nondegenrate algebra is equal to itself. We explain using a table that these nondegenerate algebras are the correct conformal-field-theoretic analogues of linear binary codes and nondegenerate rational lattices.
2001-04-12
New asymptotic bounds for self-dual codes and lattices
Published • View Publication • BIB
We give an independent proof of the Krasikov-Litsyn bound d/n<~(1-5^{-1/4})/2 on doubly-even self-dual binary codes. The technique used (a refinement of the Mallows-Odlyzko-Sloane approach) extends easily to other families of self-dual codes, modular lattices, and quantum codes; in particular, we show that the Krasikov-Litsyn bound applies to singly-even binary codes, and obtain an analogous bound for unimodular lattices. We also show that in each case, our bound differs from the true optimum by an amount growing faster than O(n^{1/2}).
2001-04-10
Walks on the slit plane: other approaches
Published • View Publication • BIB
Let S be a finite subset of Z^2. A walk on the slit plane with steps in S is a sequence (0,0)=w_0, w_1, ..., w_n of points of Z^2 such that w_{i+1}-w_i belongs to S for all i, and none of the points w_i, i>0, lie on the half-line H= {(k,0): k =< 0}. In a recent paper, G. Schaeffer and the author computed the length generating function S(t) of walks on the slit plane for several sets S. All the generating functions thus obtained turned out to be algebraic: for instance, on the ordinary square lattice, S(t) =\frac{(1+\sqrt{1+4t})^{1/2}(1+\sqrt{1-4t})^{1/2}}{2(1-4t)^{3/4}}. The combinatorial reasons for this algebraicity remain obscure. In this paper, we present two new approaches for solving slit plane models. One of them simplifies and extends the functional equation approach of the original paper. The other one is inspired by an argument of Lawler; it is more combinatorial, and explains the algebraicity of the product of three series related to the model. It can also be seen as an extension of the classical cycle lemma. Both methods work for any set of steps S. We exhibit a large family of sets S for which the generating function of walks on the slit plane is algebraic, and another family for which it is neither algebraic, nor even D-finite. These examples give a hint at where the border between algebraicity and transcendence lies, and calls for a complete classification of the sets S.
2001-04-04 v2
Lattice paths, q-multinomials and two variants of the Andrews-Gordon identities
Published • View Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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.