lattice
4305 papers tagged with this keyword
Three osculating walkers
Published in Journal of Physics: Conference Series 42 (2006) 35--46
• View Publication
• BIB
We consider three directed walkers on the square lattice, which move simultaneously at each tick of a clock and never cross. Their trajectories form a non-crossing configuration of walks. This configuration is said to be osculating if the walkers never share an edge, and vicious (or: non-intersecting) if they never meet. We give a closed form expression for the generating function of osculating configurations starting from prescribed points. This generating function turns out to be algebraic. We also relate the enumeration of osculating configurations with prescribed starting and ending points to the (better understood) enumeration of non-intersecting configurations. Our method is based on a step by step decomposition of osculating configurations, and on the solution of the functional equation provided by this decomposition.
Positive definite kernels and lattice paths
We discuss the structure of positive definite kernels in terms of operator models. In particular, we introduce two models, one of Hessenberg type and another one that we call near triangular. These models produce parametrizations of the kernels and we describe the combinatorial nature of these parametrizations in terms of lattice paths of Dyck and Lukasiewicz type.
The Jammed Phase of the Biham-Middleton-Levine Traffic Model
Published in Elec. Comm. Prob. 10 (2005) 167--178
• View Publication
• BIB
Initially a car is placed with probability p at each site of the two-dimensional integer lattice. Each car is equally likely to be East-facing or North-facing, and different sites receive independent assignments. At odd time steps, each North-facing car moves one unit North if there is a vacant site for it to move into. At even time steps, East-facing cars move East in the same way. We prove that when p is sufficiently close to 1 traffic is jammed, in the sense that no car moves infinitely many times. The result extends to several variant settings, including a model with cars moving at random times, and higher dimensions.
Simple homotopy types of Hom-complexes, neighborhood complexes, Lovász complexes, and atom crosscut complexes
Published in Topology and its Appl., Vol. 153, Issue 14, (2006), pp. 2445-2454.
• View Publication
• BIB
In this paper we provide concrete combinatorial formal deformation algorithms, namely sequences of elementary collapses and expansions, which relate various previously extensively studied families of combinatorially defined polyhedral complexes.
To start with, we give a sequence of elementary collapses leading from the barycentric subdivision of the neighborhood complex to the Lovász complex of a graph. Then, for an arbitrary lattice ${\mathcal L}$ we describe a formal deformation of the barycentric subdivision of the atom crosscut complex $Γ({\mathcal L})$ to its order complex $Δ(\bar{\mathcal L})$. We proceed by proving that the complex of sets bounded from below ${\mathcal J}({\mathcal L})$ can also be collapsed to $Δ(\bar{\mathcal L})$.
Finally, as a pinnacle of our project, we apply all these results to certain graph complexes. Namely, by describing an explicit formal deformation, we prove that, for any graph $G$, the neighborhood complex ${\mathcal N}(G)$ and the polyhedral complex $\text{\tt Hom}(K_2,G)$ have the same simple homotopy type in the sense of Whitehead.
Distribution of the Size of a Largest Planar Matching and Largest Planar Subgraph in Random Bipartite Graphs
Published
• View Publication
• BIB
We address the following question: When a randomly chosen regular bipartite multi--graph is drawn in the plane in the ``standard way'', what is the distribution of its maximum size planar matching (set of non--crossing disjoint edges) and maximum size planar subgraph (set of non--crossing edges which may share endpoints)? The problem is a generalization of the Longest Increasing Sequence (LIS) problem (also called Ulam's problem). We present combinatorial identities which relate the number of $r$-regular bipartite multi--graphs with maximum planar matching (maximum planar subgraph)of at most $d$ edges to a signed sum of restricted lattice walks in $\ZZ^d$, and to the number of pairs of standard Young tableaux of the same shape and with a ``descend--type'' property. Our results are obtained via generalizations of two combinatorial proofs through which Gessel's identity can be obtained (an identity that is crucial in the derivation of a bivariate generating function associated to the distribution of LISs, and key to the analytic attack on Ulam's problem).
Combinatorial operators for Kronecker powers of representations of $§_n$
We present combinatorial operators for the expansion of the Kronecker product of irreducible representations of the symmetric group. These combinatorial operators are defined in the ring of symmetric functions and act on the Schur functions basis. This leads to a combinatorial description of the Kronecker powers of the irreducible representations indexed with the partition (n-1,1) which specializes the concept of oscillating tableaux in Young's lattice previously defined by S. Sundaram. We call our specialization {\it Kronecker tableaux}. Their combinatorial analysis leads to enumerative results for the multiplicity of any irreducible representation in the Kronecker powers of the form ${\c^{(n-1,1)}}^{\otimes k}$.
Classification of the factorial functions of Eulerian binomial and Sheffer posets
Published in Journal of Combinatorial Theory Series A 114 (2007), no 2, 339--359
• View Publication
• BIB
We give a complete classification of the factorial functions of Eulerian binomial posets. The factorial function B(n) either coincides with $n!$, the factorial function of the infinite Boolean algebra, or $2^{n-1}$, the factorial function of the infinite butterfly poset. We also classify the factorial functions for Eulerian Sheffer posets. An Eulerian Sheffer poset with binomial factorial function $B(n) = n!$ has Sheffer factorial function D(n) identical to that of the infinite Boolean algebra, the infinite Boolean algebra with two new coatoms inserted, or the infinite cubical poset. Moreover, we are able to classify the Sheffer factorial functions of Eulerian Sheffer posets with binomial factorial function $B(n) = 2^{n-1}$ as the doubling of an upside down tree with ranks 1 and 2 modified.
When we impose the further condition that a given Eulerian binomial or Eulerian Sheffer poset is a lattice, this forces the poset to be the infinite Boolean algebra $B_X$ or the infinite cubical lattice $C_X^{< \infty}$. We also include several poset constructions that have the same factorial functions as the infinite cubical poset, demonstrating that classifying Eulerian Sheffer posets is a difficult problem.
Entropy-driven phase transition in a polydisperse hard-rods lattice system
Published in J. Stat. Phys., Vol. 122, Nr. 4 (2006) , p. 761--786
• View Publication
• BIB
We study a system of rods on the 2d square lattice, with hard-core exclusion. Each rod has a length between 2 and N. We show that, when N is sufficiently large, and for suitable fugacity, there are several distinct Gibbs states, with orientational long-range order. This is in sharp contrast with the case N=2 (the monomer-dimer model), for which Heilmann and Lieb proved absence of phase transition at any fugacity. This is the first example of a pure hard-core system with phases displaying orientational order, but not translational order; this is a fundamental characteristic feature of liquid crystals.
Shellability of noncrossing partition lattices
Published
• View Publication
• BIB
We give a case-free proof that the lattice of noncrossing partitions associated to any finite real reflection group is EL-shellable. Shellability of these lattices was open for the groups of type $D_n$ and those of exceptional type and rank at least three.
Rotational invariance of quadromer correlations on the hexagonal lattice
Published in Advances in Mathematics, 191 (2005), 46-77
• View Publication
• BIB
In 1963 Fisher and Stephenson \cite{FS} conjectured that the monomer-monomer correlation on the square lattice is rotationally invariant. In this paper we prove a closely related statement on the hexagonal lattice. Namely, we consider correlations of two quadromers (four-vertex subgraphs consisting of a monomer and its three neighbors) and show that they are rotationally invariant.
Two covering polynomials of a finite poset, with applications to root systems and ad-nilpotent ideals
Published
• View Publication
• BIB
We introduce two polynomials (in $q$) associated with a finite poset $P$ that encode some information on the covering relation in $P$. If $P$ is a distributive lattice, and hence $P$ is isomorphic to the poset of dual order ideals in a poset $L$, then these polynomials coincide and the coefficient of $q$ equals the number of $k$-element antichains in $L$. In general, these two covering polynomials are different, and we introduce a deviation polynomial of $P$, which measures the difference between these two. We then compute all these polynomials in the case, where $P$ is one of the posets associated with an irreducible root system. These are 1) the posets of positive roots, 2) the poset of ad-nilpotent ideals, and 3) the poset of Abelian ideals.
Shells of selfdual lattices viewed as spherical designs
Published
• View Publication
• BIB
We find out for which $t$ shells of selfdual lattices and of theirs shadows are spherical $t$-designs. The method uses theta series of lattices, which are modular forms. We analyse fully cubic and Witt lattices, as well as all selfdual lattices of rank at most 24.
An analogue of distributivity for ungraded lattices
Published
• View Publication
• BIB
In this paper, we define a property, trimness, for lattices. Trimness is a not-necessarily-graded generalization of distributivity; in particular, if a lattice is trim and graded, it is distributive. Trimness is preserved under taking intervals and suitable sublattices. Trim lattices satisfy a weakened form of modularity. The order complex of a trim lattice is contractible or homotopic to a sphere; the latter holds exactly if the maximum element of the lattice is a join of atoms.
Other than distributive lattices, the main examples of trim lattices are the Tamari lattices and various generalizations of them. We show that the Cambrian lattices in types A and B defined by Reading are trim, and we conjecture that all Cambrian lattices are trim.
Point Lattices and Oscillating Recurrence Sequences
Published
• View Publication
• BIB
We consider the following question: Which real sequences (a(n)) that satisfy a linear recurrence with constant coefficients are positive for sufficiently large n? We show that the answer is negative for both (a(n)) and (-a(n)), if the dominating characteristic roots in the representation of a(n) as a generalized power sum comprise either two pairs of conjugate complex roots or one negative real root and one pair of conjugate complex roots. The proof uses results from Diophantine approximation and the geometry of numbers. Concerning the case of a real positive dominating root we show what the answer to the question of positivity is for almost all values of the other dominating roots, provided that all dominating roots are simple.
Universal lattices and unbounded rank expanders
Published
• View Publication
• BIB
We study the representations of non-commutative universal lattices and use them to compute lower bounds for the \TauC for the commutative universal lattices $G_{d,k}= \SL_d(\Z[x_1,...,x_k])$ with respect to several generating sets.
As an application of the above result we show that the Cayley graphs of the finite groups $\SL_{3k}(\F_p)$ can be made expanders using suitable choice of the generators. This provides the first examples of expander families of groups of Lie type where the rank is not bounded and gives a natural (and explicit) counter examples to two conjectures of Alex Lubotzky and Benjamin Weiss.
Lattices in finite real reflection groups
Published
• View Publication
• BIB
For a finite real reflection group $W$ with Coxeter element $γ$ we give a uniform proof that the closed interval, $[I, γ]$ forms a lattice in the partial order on $W$ induced by reflection length. The proof involves the construction of a simplicial complex which can be embedded in the type W simplicial generalised associahedron.
The scaling limit of the correlation of holes on the triangular lattice with periodic boundary conditions
Published
• View Publication
• BIB
We define the correlation of holes on the triangular lattice under periodic boundary conditions and study its asymptotics as the distances between the holes grow to infinity. We prove that the joint correlation of an arbitrary collection of lattice-triangular holes of even sides satisfies, for large separations between the holes, a Coulomb law and a superposition principle that perfectly parallel the laws of two dimensional electrostatics, with physical charges corresponding to holes, and their magnitude to the difference between the number of right-pointing and left-pointing unit triangles in each hole.
We detail this parallel by indicating that, as a consequence of our result, the relative probabilities of finding a fixed collection of holes at given mutual distances (when sampling uniformly at random over all unit rhombus tilings of the complement of the holes) approaches, for large separations between the holes, the relative probabilities of finding the corresponding two dimensional physical system of charges at given mutual distances. Physical temperature corresponds to a parameter refining the background triangular lattice.
We give an equivalent phrasing of our result in terms of covering surfaces of given holonomy. From this perspective, two dimensional electrostatics arises by averaging over all possible discrete geometries of the covering surfaces.
Perfect matchings and perfect powers
Published in J. Algebraic Combin. 17 (2003), 335-375
• Search Publication
In the last decade there have been many results about special families of graphs whose number of perfect matchings is given by perfect or near perfect powers. In this paper we present an approach that allows proving them in a unified way. We use this approach to prove a conjecture of James Propp stating that the number of tilings of the so-called Aztec dungeon regions is a power (or twice a power) of 13. We also prove a conjecture of Matt Blum stating that the number of perfect matchings of a certain family of subgraphs of the square lattice is a power of 3 or twice a power of 3. In addition we obtain multi-parameter generalizations of previously known results, and new multi-parameter exact enumeration results. We obtain in particular a simple combinatorial proof of Bo-Yin Yang's multivariate generalization of fortresses, a result whose previously known proof was quite complicated, amounting to evaluation of the Kasteleyn matrix by explicit row reduction. We also include a new multivariate exact enumeration of Aztec diamonds, in the spirit of Stanley's multivariate version.
On the Computation of Clebsch-Gordan Coefficients and the Dilation Effect
Published
• View Publication
• BIB
We investigate the problem of computing tensor product multiplicities for complex semisimple Lie algebras. Even though computing these numbers is #P-hard in general, we show that if the rank of the Lie algebra is assumed fixed, then there is a polynomial time algorithm, based on counting the lattice points in polytopes. In fact, for Lie algebras of type A_r, there is an algorithm, based on the ellipsoid algorithm, to decide when the coefficients are nonzero in polynomial time for arbitrary rank. Our experiments show that the lattice point algorithm is superior in practice to the standard techniques for computing multiplicities when the weights have large entries but small rank. Using an implementation of this algorithm, we provide experimental evidence for conjectured generalizations of the saturation property of Littlewood--Richardson coefficients. One of these conjectures seems to be valid for types B_n, C_n, and D_n.
A q-analog of the Seidel generation of Genocchi numbers
Published
• View Publication
• BIB
A new $q$-analog of Genocchi numbers is introduced through a q-analog of Seidel's triangle associated to Genocchi numbers. It is then shown that these $q$-Genocchi numbers have interesting combinatorial interpretations in the classical models for Genocchi numbers such as alternating pistols, alternating permutations, non intersecting lattice paths and skew Young tableaux.