lattice
4305 papers tagged with this keyword
Ehrhart polynomial and Successive Minima
Published in Mathematika 52 (2005), 1-16
• View Publication
• BIB
We investigate the Ehrhart polynomial for the class of 0-symmetric convex lattice polytopes in Euclidean $n$-space $\mathbb{R}^n$. It turns out that the roots of the Ehrhart polynomial and Minkowski's successive minima are closely related by their geometric and arithmetic mean. We also show that the roots of lattice $n$-polytopes with or without interior lattice points differ essentially. Furthermore, we study the structure of the roots in the planar case. Here it turns out that their distribution reflects basic properties of lattice polygons.
Lattices generated by skeletons of reflexive polytopes
Published
• View Publication
• BIB
Lattices generated by lattice points in skeletons of reflexive polytopes are essential in determining the fundamental group and integral cohomology of Calabi-Yau hypersurfaces. Here we prove that the lattice generated by all lattice points in a reflexive polytope is already generated by lattice points in codimension two faces. This answers a question of J. Morgan.
Permutohedra, associahedra, and beyond
Published
• View Publication
• BIB
The volume and the number of lattice points of the permutohedron P_n are given by certain multivariate polynomials that have remarkable combinatorial properties. We give several different formulas for these polynomials. We also study a more general class of polytopes that includes the permutohedron, the associahedron, the cyclohedron, the Pitman-Stanley polytope, and various generalized associahedra related to wonderful compactifications of De Concini-Procesi. These polytopes are constructed as Minkowski sums of simplices. We calculate their volumes and describe their combinatorial structure. The coefficients of monomials in Vol P_n are certain positive integer numbers, which we call the mixed Eulerian numbers. These numbers are equal to the mixed volumes of hypersimplices. Various specializations of these numbers give the usual Eulerian numbers, the Catalan numbers, the numbers (n+1)^{n-1} of trees, the binomial coefficients, etc. We calculate the mixed Eulerian numbers using certain binary trees. Many results are extended to an arbitrary Weyl group.
Enumeration of non-positive planar trivalent graphs
Published in J Algebr Comb (2007) 25:357-373
• View Publication
• BIB
In this paper we construct inverse bijections between two sequences of finite sets. One sequence is defined by planar diagrams and the other by lattice walks. G. Kuperberg has shown that the number of elements in these two sets are equal. This problem and the methods we use are motivated by the representation theory of the exceptional simple Lie algebra $G_2$. However in this account we have emphasised the combinatorics.
Lattice Delone simplices with super-exponential volume
Published in European Journal of Combinatorics 28 (2007), 801-806
• View Publication
• BIB
In this short note we give a construction of an infinite series of Delone simplices whose relative volume grows super-exponentially with their dimension. This dramatically improves the previous best lower bound, which was linear.
A Geometric Form for the Extended Patience Sorting Algorithm
Published
• View Publication
• BIB
Patience Sorting is a combinatorial algorithm that can be viewed as an iterated, non-recursive form of the Schensted Insertion Algorithm. In recent work the authors extended Patience Sorting to a full bijection between the symmetric group and certain pairs of combinatorial objects (called pile configurations) that are most naturally defined in terms of generalized permutation pattern and barred pattern avoidance. This Extended Patience Sorting Algorithm is very similar to the Robinson-Schensted-Knuth (or RSK) Correspondence, which is itself built from repeated application of the Schensted Insertion Algorithm.
In this work we introduce a geometric form for the Extended Patience Sorting Algorithm that is in some sense a natural dual algorithm to G. Viennot's celebrated Geometric RSK Algorithm. Unlike Geometric RSK, though, the lattice paths coming from Patience Sorting are allowed to intersect. We thus also give a characterization for the intersections of these lattice paths in terms of the pile configurations associated with a given permutation under the Extended Patience Sorting Algorithm.
Invariant d'Hermite des jacobiennes de graphes pondérés
Published in L'Enseignement Mathématique 52, 3-4 (2006) 255-266
• Search Publication
To any weighted graph of first Betti number b is naturally associated a lattice of dimension b, definite in a similar way that the jacobian for a Riemann surface. This class of lattices generated by graphs is particularly interesting. We show here an upperbound of the Hermite invariant of such a lattice according to b whose order is ln b. This order is optimal : it is realized by the Hermite invariant of the jacobian of a systolicly economic graph.
Polya Theory for Orbiquotient Sets
Published in Glob. J. Pure Appl. Math. Volume 5 Number 3 (2009) pp.229-244
• Search Publication
Replacing the usual notion of quotient sets by the notion of orbiquotient sets we obtain a generalization of Pólya theory. The key ingredient of our extended theory is the definition of the orbicycle index polynomial which we compute in several examples. We apply our theory to the study of orbicycles on orbiquotient sets.
Keywords: Orbifolds, Pólya Theory, Partition Lattice.
Grothendieck bialgebras, Partition lattices and symmetric functions in noncommutative variables
Published in Electron. J. Combin. 13 (2006), no. 1, Research Paper 75, 19 pp.
• View Publication
• BIB
We show that the Grothendieck bialgebra of the semi-tower of partition lattice algebras is isomorphic to the graded dual of the bialgebra of symmetric functions in noncommutative variables. In particular this isomorphism singles out a canonical new basis of the symmetric functions in noncommutative variables which would be an analogue of the Schur function basis for this bialgebra.
An Enumerative Geometry for Magic and Magilatin Labellings
Published in Annals of Combinatorics 10, no. 4 (2006), 395-413
• View Publication
• BIB
A magic labelling of a set system is a labelling of its points by distinct positive integers so that every set of the system has the same sum, the magic sum. Examples are magic squares (the sets are the rows, columns, and diagonals) and semimagic squares (the same, but without the diagonals). A magilatin labelling is like a magic labelling but the values need be distinct only within each set. We show that the number of $n\times n$ magic or magilatin labellings is a quasipolynomial function of the magic sum, and also of an upper bound on the entries in the square. Our results differ from previous ones because we require that the entries in the square all be different from each other, and because we derive our results not by ad hoc reasoning but from a general theory of counting lattice points in rational inside-out polytopes. We also generalize from set systems to rational linear forms.
Self-avoiding walks crossing a square
Published in J. Phys. A 38, 9159-9181 (2005)
• View Publication
• BIB
We study a restricted class of self-avoiding walks (SAW) which start at the origin (0, 0), end at $(L, L)$, and are entirely contained in the square $[0, L] \times [0, L]$ on the square lattice ${\mathbb Z}^2$. The number of distinct walks is known to grow as $λ^{L^2+o(L^2)}$. We estimate $λ= 1.744550 \pm 0.000005$ as well as obtaining strict upper and lower bounds, $1.628 < λ< 1.782.$ We give exact results for the number of SAW of length $2L + 2K$ for $K = 0, 1, 2$ and asymptotic results for $K = o(L^{1/3})$.
We also consider the model in which a weight or {\em fugacity} $x$ is associated with each step of the walk. This gives rise to a canonical model of a phase transition. For $x < 1/μ$ the average length of a SAW grows as $L$, while for $x > 1/μ$ it grows as
$L^2$. Here $μ$ is the growth constant of unconstrained SAW in ${\mathbb Z}^2$. For $x = 1/μ$ we provide numerical evidence, but no proof, that the average walk length grows as $L^{4/3}$.
We also consider Hamiltonian walks under the same restriction. They are known to grow as $τ^{L^2+o(L^2)}$ on the same $L \times L$ lattice. We give precise estimates for $τ$ as well as upper and lower bounds, and prove that $τ< λ.$
A Mealy machine with polynomial growth of irrational degree
Published in Internat. J. Algebra Comput. 18 (2008), no. 1, 59--82
• View Publication
• BIB
We consider a very simple Mealy machine (three states over a two-symbol alphabet), and derive some properties of the semigroup it generates. In particular, this is an infinite, finitely generated semigroup; we show that the growth function of its balls behaves asymptotically like n^2.4401..., where this constant is 1 + log(2)/log((1+sqrt(5))/2); that the semigroup satisfies the identity g^6=g^4; and that its lattice of two-sided ideals is a chain.
The Lattice of Cyclic Flats of a Matroid
Published in Annals of Combinatorics, 2008
• View Publication
• BIB
A flat of a matroid is cyclic if it is a union of circuits. The cyclic flats of a matroid form a lattice under inclusion. We study these lattices and explore matroids from the perspective of cyclic flats. In particular, we show that every lattice is isomorphic to the lattice of cyclic flats of a matroid. We give a necessary and sufficient condition for a lattice Z of sets and a function r on Z to be the lattice of cyclic flats of a matroid and the restriction of the corresponding rank function to Z. We define cyclic width and show that this concept gives rise to minor-closed, dual-closed classes of matroids, two of which contain only transversal matroids.
On Whitney numbers of the Order Ideals of Generalized Fences and Crowns
Published in Discrete Math. 309 (2009), 615-621
• View Publication
• BIB
We solve some recurrences given by E. Munarini and N. Zagaglia Salvi proving explicit closed formulas for Whitney numbers of the distributive lattices of order ideals of the fence poset and crown poset. Moreover, we get explicit closed formulas for Whitney numbers of lattices of order ideals of fences with higher asymmetric peaks.
Enumeration in convex geometries and associated polytopal subdivisions of spheres
Published
• View Publication
• BIB
We construct CW spheres from the lattices that arise as the closed sets of a convex closure, the meet-distributive lattices. These spheres are nearly polytopal, in the sense that their barycentric subdivisions are simplicial polytopes. The complete information on the numbers of faces and chains of faces in these spheres can be obtained from the defining lattices in a manner analogous to the relation between arrangements of hyperplanes and their underlying geometric intersection lattices.
Construction of spherical cubature formulas using lattices
Published
• View Publication
• BIB
We construct cubature formulas on spheres supported by homothetic images of shells in some Euclidian lattices. Our analysis of these cubature formulas uses results from the theory of modular forms. Examples are worked out on the sphere of dimension n-1 for n=4, 8, 12, 14, 16, 20, 23, and 24, and the sizes of the cubature formulas we obtain are compared with the lower bounds given by Linear Programming.
A Generalized Macaulay Theorem and Generalized Face Rings
Published in JCTA 113 (2006) 1321-1331
• View Publication
• BIB
We prove that the $f$-vector of members in a certain class of meet semi-lattices satisfies Macaulay inequalities. We construct a large family of meet semi-lattices belonging to this class, which includes all posets of multicomplexes, as well as meet semi-lattices with the "diamond property", discussed by Wegner, as spacial cases. Specializing the proof to that later family, one obtains the Kruskal-Katona inequalities and their proof as in Wegner's.
For geometric meet semi lattices we construct an analogue of the exterior face ring, generalizing the classic construction for simplicial complexes. For a more general class, which include also multicomplexes, we construct an analogue of the Stanley-Reisner ring. These two constructions provide algebraic counterparts (and thus also algebraic proofs) of Kruskal-Katona's and Macaulay's inequalities for these classes, respectively.
Computing the Ehrhart quasi-polynomial of a rational simplex
Published
• View Publication
• BIB
We present a polynomial time algorithm to compute any fixed number of the highest coefficients of the Ehrhart quasi-polynomial of a rational simplex. Previously such algorithms were known for integer simplices and for rational polytopes of a fixed dimension. The algorithm is based on the formula relating the kth coefficient of the Ehrhart quasi-polynomial of a rational polytope to volumes of sections of the polytope by affine lattice subspaces parallel to k-dimensional faces of the polytope. We discuss possible extensions and open questions.
Formality of the complements of subspace arrangements with geometric lattices
Published
• View Publication
• BIB
We show that, for an arrangement of subspaces in a complex vector space with geometric intersection lattice, the complement of the arrangement is formal. We prove that the Morgan rational model for such an arrangement complement is formal as a differential graded algebra.
Arrays and the octahedron recurrence
Recently, in papers by Knutson, Tao and Woodward, Henriques and Kamnitzer, Pak and Vallejo have been constructed several interesting bijections of associativity and commutativity. In the first two papers bijections relate special sets of discretely concave functions (hives) on triangular grids and the octahedron recurrence plays the key role for these bijections. Pak and Vallejo related special sets of Young tableaux and constructions of these bijections based on standard algorithms in this theory, jeu de taquen, Schutzenberger involution, tableaux switching, etc. In this paper we investigate these constructions from the third point of view, combinatorics of arrays, theory worked out recently by the authors. Arrays naturally related as well to functions on the lattice of integers as to Young tableaux. In the tensor category of arrays, the bijections of associativity and commutativity arise naturally. We establish coincidence of our bijections with that defined in the first two papers and in the integer-valued set-up with the bijection in the third paper (that is, in particular, a solution of Conjecture 1 by Pak and Vallejo). In order to relate different approaches and to reveal combinatorics of the octahedron recurrence, we, first, show that the octahedron recurrence agrees with discrete convexity and, second, we construct another bijection using the octahedron recurrence, the functional form of the RSK correspondence.