lattice
4305 papers tagged with this keyword
Minimum Area Venn Diagrams Whose Curves are Polyominoes
Published
• View Publication
• BIB
Venn diagrams are a graphical way to represent a set system. Each of the n sets is represented by a simple closed curve. The n curves subdivide the plane into 2^n open connected regions, each of which represents the intersection of its containing curves' sets. For example, two overlapping circles can divide the plane into 4 regions representing {}, A, B, and A intersect B. Three overlapping circles can also be used to represent the 2^3 ways in which 3 sets can intersect.
One of the primary questions related to Venn diagrams concerns which shapes can be used for the curves. The previous examples used 2 and 3 circles, but a 4-set Venn diagram cannot be represented by 4 circles; instead, ellipses must be used.
In this paper, we consider Venn diagrams whose curves are the outlines of polyominoes. In particular, we give examples of Venn diagrams where the curves are rotations and translations of a single polyomino, so-called congruent polyVenn diagrams. We also consider the problem of area-minimization (relative to a scaling factor) and present examples of Venn polyominoes which minimize area according to various constraints.
At present, these examples do not generalize and so we develop an algorithm that comes close to minimizing the area. The algorithm is simple and utilizes symmetric chain decompositions of the Boolean lattice. We also provide asymptotic results that relate the area required by the algorithm's diagrams to the theoretical minimum area. We conclude by presenting some open problems related to Venn polyominoes and other shape-constrained Venn diagrams.
Validations of the Asymptotic Matching Conjectures
Published
• View Publication
• BIB
In this paper we review the asymptotic matching conjectures for $r$-regular bipartite graphs, and their connections in estimating the monomer-dimer entropies in $d$-dimensional integer lattice and Bethe lattices. We prove new rigorous upper and lower bounds for the monomer-dimer entropies, which support these conjectures. We describe a general construction of infinite families of $r$-regular tori graphs and give algorithms for computing the monomer-dimer entropy of density $p$, for any $p\in [0,1]$, for these graphs. Finally we use tori graphs to test the asymptotic matching conjectures for certain infinite $r$-regular bipartite graphs.
Lattice polytopes with a given $h^*$-polynomial
Published
• View Publication
• BIB
Let $Δ\subset \R^n$ be an $n$-dimensional lattice polytope. It is well-known that $h_Δ^*(t) := (1-t)^{n+1} \sum_{k \geq 0} |kΔ\cap \Z^n| t^k $ is a polynomial of degree $d \leq n$ with nonnegative integral coefficients. Let $AGL(n, \Z)$ be the group of invertible affine integral transformations which naturally acts on $\R^n$. For a given polynomial $h^* \in \Z[t]$, we denote by $C_{h^*}(n)$ the number $AGL(n, \Z)$-equivalence classes of $n$-dimensional lattice polytopes such that $h^* = h_Δ^*(t)$. In this paper we show that $\{C_{h^*}(n) \}_{n \geq 1}$ is a monotone increasing sequence which eventually becomes constant. This statement follows from a more general combinatorial result whose proof uses methods of commutative algebra.
Some Exact Results for Spanning Trees on Lattices
Published in J. Phys. A: Math. Gen. 39, 5653-5658 (2006)
• View Publication
• BIB
For $n$-vertex, $d$-dimensional lattices $Λ$ with $d \ge 2$, the number of spanning trees $N_{ST}(Λ)$ grows asymptotically as $\exp(n z_Λ)$ in the thermodynamic limit. We present an exact closed-form result for the asymptotic growth constant $z_{bcc(d)}$ for spanning trees on the $d$-dimensional body-centered cubic lattice. We also give an exact integral expression for $z_{fcc}$ on the face-centered cubic lattice and an exact closed-form expression for $z_{488}$ on the $4 \cdot 8 \cdot 8$ lattice.
On the number of two-dimensional threshold functions
Published in SIAM J. Discrete Math. 24(4), pp. 1617-1631 (2010)
• View Publication
• BIB
A two-dimensional threshold function of k-valued logic can be viewed as coloring of the points of a k x k square lattice into two colors such that there exists a straight line separating points of different colors. For the number of such functions only asymptotic bounds are known. We give an exact formula for the number of two-dimensional threshold functions and derive more accurate asymptotics.
Norm bounds for Ehrhart polynomial roots
Published in Discrete Comput. Geom. 39 (2008), no. 1-3, 191--193
• View Publication
• BIB
M. Beck, J. De Loera, M. Develin, J. Pfeifle and R. Stanley found that the roots of the Ehrhart polynomial of a d-dimensional lattice polytope are bounded above in norm by 1+(d+1)!. We provide an improved bound which is quadratic in d and applies to a larger family of polynomials.
Sur le nombre d'intervalles dans les treillis de Tamari
Published in Seminaire Lotharingien de Combinatoire 55 (2006) B55f
• Search Publication
We enumerate the intervals in the Tamari lattices. For this, we introduce an inductive description of the intervals. Then a notion of "new interval" is defined and these are also enumerated. A a side result, the inverse of two special series is computed in a group of tree-indexed series.
For which triangles is Pick's formula almost correct?
Published in Experimental Mathematics, Vol. 18, Issue 2 (2009)
• View Publication
• BIB
We present an intriguing question about lattice points in triangles where Pick's formula is "almost correct". The question has its origin in knot theory, but its statement is purely combinatorial. After more than 30 years the topological question was recently solved, but the lattice point problem is still open.
Schur functions and alternating sums
Published in Electronic J. of Combinatorics, 11(2) (2004-2006), A5
• View Publication
• BIB
We discuss several well known results about Schur functions that can be proved using cancellations in alternating summations; notably we shall discuss the Pieri and Murnaghan-Nakayama rules, the Jacobi-Trudi identity and its dual (Von N{ä}gelsbach-Kostka) identity, their proofs using the correspondence with lattice paths of Gessel and Viennot, and finally the Littlewood-Richardson rule. Our our goal is to show that the mentioned statements are closely related, and can be proved using variations of the same basic technique. We also want to emphasise the central part that is played by matrices over $\{0,1\}$ and over $\N$; we show that the Littlewood-Richardson rule as generalised by Zelevinsky has elegant formulations using either type of matrix, and that in both cases it can be obtained by two successive reductions from a large signed enumeration of such matrices, where the sign depends only on the row and column sums of the matrix.
Multiples of lattice polytopes without interior lattice points
Published in Moscow Math. J. 7 (2007), 195-207
• View Publication
• BIB
Let $Δ$ be an $n$-dimensional lattice polytope. The smallest non-negative integer $i$ such that $k Δ$ contains no interior lattice points for $1 \leq k \leq n - i$ we call the degree of $Δ$. We consider lattice polytopes of fixed degree $d$ and arbitrary dimension $n$. Our main result is a complete classification of $n$-dimensional lattice polytopes of degree $d=1$. This is a generalization of the classification of lattice polygons $(n=2)$ without interior lattice points due to Arkinstall, Khovanskii, Koelman and Schicho. Our classification shows that the secondary polytope of a lattice polytope of degree 1 is always a simple polytope.
h-vectors of generalized associahedra and non-crossing partitions
Published
• View Publication
• BIB
A case-free proof is given that the entries of the $h$-vector of the cluster complex $Δ(Φ)$, associated by S. Fomin and A. Zelevinsky to a finite root system $Φ$, count elements of the lattice $\nc$ of noncrossing partitions of corresponding type by rank. Similar interpretations for the $h$-vector of the positive part of $Δ(Φ)$ are provided. The proof utilizes the appearance of the complex $Δ(Φ)$ in the context of the lattice $\nc$, in recent work of two of the authors, as well as an explicit shelling of $Δ(Φ)$.
Cluster algebras IV: Coefficients
Published
• View Publication
• BIB
We study the dependence of a cluster algebra on the choice of coefficients. We write general formulas expressing the cluster variables in any cluster algebra in terms of the initial data; these formulas involve a family of polynomials associated with a particular choice of "principal" coefficients.
We show that the exchange graph of a cluster algebra with principal coefficients covers the exchange graph of any cluster algebra with the same exchange matrix.
We investigate two families of parametrizations of cluster monomials by lattice points, determined, respectively, by the denominators of their Laurent expansions and by certain multi-gradings in cluster algebras with principal coefficients. The properties of these parametrizations, some proven and some conjectural, suggest links to duality conjectures of V.Fock and A.Goncharov [math.AG/0311245].
The coefficient dynamics leads to a natural generalization of Al.Zamolodchikov's Y-systems. We establish a Laurent phenomenon for such Y-systems, previously known in finite type only, and sharpen the periodicity result from [hep-th/0111053].
For cluster algebras of finite type, we identify a canonical "universal" choice of coefficients such that an arbitrary cluster algebra can be obtained from the universal one (of the same type) by an appropriate specialization of coefficients.
Elliptic enumeration of nonintersecting lattice paths
Published in J. Combin. Theory Ser. A 114 (3) (2007), 505-521
• View Publication
• BIB
We enumerate lattice paths in the planar integer lattice consisting of positively directed unit vertical and horizontal steps with respect to a specific elliptic weight function. The elliptic generating function of paths from a given starting point to a given end point evaluates to an elliptic generalization of the binomial coefficient. Convolution gives an identity equivalent to Frenkel and Turaev's 10-V-9 summation. This appears to be the first combinatorial proof of the latter, and at the same time of some important degenerate cases including Jackson's 8-phi-7 and Dougall's 7-F-6 summation. By considering nonintersecting lattice paths we are led to a multivariate extension of the 10-V-9 summation which turns out to be a special case of an identity originally conjectured by Warnaar, later proved by Rosengren. We conclude with discussing some future perspectives.
Classification of lattice-regular lattice convex polytopes
Published in Functional Analysis and Other Mathematics, vol.1(1), pp.17-35, 2006
• View Publication
• BIB
In this paper for any dimension n we give a complete list of lattice convex polytopes in R^n that are regular with respect to the group of affine transformations preserving the lattice.
Tableaux combinatorics for the asymmetric exclusion process
Published
• View Publication
• BIB
The partially asymmetric exclusion process (PASEP) is an important model from statistical mechanics which describes a system of interacting particles hopping left and right on a one-dimensional lattice of $n$ sites. It is partially asymmetric in the sense that the probability of hopping left is $q$ times the probability of hopping right. Additionally, particles may enter from the left with probability $α$ and exit from the right with probability $β$.
In this paper we prove a close connection between the PASEP and the combinatorics of permutation tableaux. (These tableaux come indirectly from the totally nonnegative part of the Grassmannian, via work of Postnikov, and were studied in a paper of Steingrimsson and the second author.) Namely, we prove that in the long time limit, the probability that the PASEP is in a particular configuration $τ$ is essentially the generating function for permutation tableaux of shape $λ(τ)$ enumerated according to three statistics. The proof of this result uses a result of Derrida, Evans, Hakim, and Pasquier on the {\it matrix ansatz} for the PASEP model.
As an application, we prove some monotonicity results for the PASEP. We also derive some enumerative consequences for permutations enumerated according to various statistics such as weak excedence set, descent set, crossings, and occurences of generalized patterns.
Simplicial shellable spheres via combinatorial blowups
The construction of the Bier sphere Bier(K) for a simplicial complex K is due to Bier. Björner, Paffenholz, Sjöstrand and Ziegler generalize this construction to obtain a Bier poset Bier(P,I) from any bounded poset P and any proper ideal I of P. They show shellability of Bier(P,I) for the case where P is the boolean lattice, and obtain thereby 'many shellable spheres' in the sense of Kalai. We put the Bier construction into the general framework of the theory of nested set complexes of Feichtner and Kozlov. We obtain 'more shellable spheres' by proving the general statement that combinatorial blowups, hence stellar subdivisions, preserve shellability.
Orthogonal surfaces
Published
• View Publication
• BIB
Orthogonal surfaces are nice mathematical objects which have interesting connections to various fields, e.g., integer programming, monomial ideals and order dimension. While orthogonal surfaces in one or two dimensions are rather trivial already the three dimensional case has a rich structure with connections to Schnyder woods, planar graphs and 3-polytopes.
Our objective is to detect more of the structure of orthogonal surfaces in four and higher dimensions. In particular we are driven by the question which non-generic orthogonal surfaces have a polytopal structure.
We study characteristic points and the cp-orders of orthogonal surfaces, i.e., the dominance orders on the characteristic points. In the generic case these orders are (almost) face lattices of polytopes. Examples show that in general cp-orders can lack key properties of face lattices. We investigate extra requirements which may help to have cp-orders which are face lattices.
Finally, we turn the focus and ask for the realizability of polytopes on orthogonal surfaces. There are criteria which prevent large classes of simplicial polytopes from being realizable. On the other hand we identify some families of polytopes which can be realized on orthogonal surfaces.
Higher spin vertex models with domain wall boundary conditions
Published in J.Stat.Mech.0603:P03012,2006
• View Publication
• BIB
We derive determinant expressions for the partition functions of spin-k/2 vertex models on a finite square lattice with domain wall boundary conditions.
The Euler characteristic of the Whitehead automorphism group of a free product
Published
• View Publication
• BIB
A combinatorial summation identity over the lattice of labelled hypertrees is established that allows one to gain concrete information on the Euler characteristics of various automorphism groups of free products of groups.
Noncrossing partitions in surprising locations
Published
• View Publication
• BIB
Certain mathematical structures make a habit of reoccuring in the most diverse list of settings. Some obvious examples exhibiting this intrusive type of behavior include the Fibonacci numbers, the Catalan numbers, the quaternions, and the modular group. In this article, the focus is on a lesser known example: the noncrossing partition lattice. The focus of the article is a gentle introduction to the lattice itself in three of its many guises: as a way to encode parking functions, as a key part of the foundations of noncommutative probability, and as a building block for a contractible space acted on by a braid group. Since this article is aimed primarily at nonspecialists, each area is briefly introduced along the way.