lattice ↗ reference
4394 papers tagged with this keyword
Intermediate Sums on Polyhedra: Computation and Real Ehrhart Theory
Published
• View Publication
• BIB
We study intermediate sums, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449--1466]. For a given semi-rational polytope P and a rational subspace L, we integrate a given polynomial function h over all lattice slices of the polytope P parallel to the subspace L and sum up the integrals. We first develop an algorithmic theory of parametric intermediate generating functions. Then we study the Ehrhart theory of these intermediate sums, that is, the dependence of the result as a function of a dilation of the polytope. We provide an algorithm to compute the resulting Ehrhart quasi-polynomials in the form of explicit step polynomials. These formulas are naturally valid for real (not just integer) dilations and thus provide a direct approach to real Ehrhart theory.
Fourier integral operators, fractal sets and the regular value theorem
Published
• View Publication
• BIB
We prove that if ${\mathcal E} \subset {\Bbb R}^{2d}$, $d \ge 2$, is an Ahlfors-David regular product set of sufficiently large Hausdorff dimension, denoted by $dim_{\mathcal H}({\mathcal E})$, and $φ$ is a sufficiently regular function, then the upper Minkowski dimension of the set $$ \{w \in {\mathcal E}: φ_l(w)=t_l; 1 \leq l \leq m \}$$ does not exceed $dim_{\mathcal H}({\mathcal E})-m$, in line with the regular value theorem from the elementary differential geometry. Our arguments are based on the mapping properties of the underlying Fourier Integral Operators and are intimately connected with the Falconer distance conjecture in geometric measure theory. We shall see that our results are in general sharp in the sense that if the Hausdorff dimension is smaller than a certain threshold, then the dimensional inequality fails in a quantifiable way. The constructions used to demonstrate this are based on the distribution of lattice points on convex surfaces and have connections with combinatorial geometry.
Algebraic and combinatorial structures on Baxter permutations
Published in Formal Power Series and Algebraic Combinatorics, 387--398, 2011
• View Publication
• BIB
We give a new construction of a Hopf subalgebra of the Hopf algebra of Free quasi-symmetric functions whose bases are indexed by objects belonging to the Baxter combinatorial family (i.e. Baxter permutations, pairs of twin binary trees, etc.). This construction relies on the definition of the Baxter monoid, analog of the plactic monoid and the sylvester monoid, and on a Robinson-Schensted-like insertion algorithm. The algebraic properties of this Hopf algebra are studied. This Hopf algebra appeared for the first time in the work of Reading [Lattice congruences, fans and Hopf algebras, Journal of Combinatorial Theory Series A, 110:237--273, 2005].
Lattice Polynomials, 12312-Avoiding Partial Matchings and Even Trees
The lattice polynomials $L_{i,j}(x)$ are introduced by Hough and Shapiro as a weighted count of certain lattice paths from the origin to the point $(i,j)$. In particular, $L_{2n, n}(x)$ reduces to the generating function of the numbers $T_{n,k}={1\over n}{n-1+k\choose n-1}{2n-k\choose n+1}$, which can be viewed as a refinement of the $3$-Catalan numbers $T_n=\frac{1}{2n+1}{3n\choose n}$. In this paper, we establish a correspondence between $12312$-avoiding partial matchings and lattice paths, and we show that the weighted count of such partial matchings with respect to the number of crossings in a more general sense coincides with the lattice polynomials $L_{i,j}(x)$. We also introduce a statistic on even trees, called the $r$-index, and show that the number of even trees with $2n$ edges and with $r$-index $k$ equal to $T_{n,k}$.
A new subgroup lattice characterization of finite solvable groups
Published in J. Algebra 351 (2012), no. 1, 448-458
• View Publication
• BIB
We show that if G is a finite group then no chain of modular elements in its subgroup lattice L(G) is longer than a chief series. Also, we show that if G is a nonsolvable finite group then every maximal chain in L(G) has length at least two more than that of the chief length of G, thereby providing a converse of a result of J. Kohler. Our results enable us to give a new characterization of finite solvable groups involving only the combinatorics of subgroup lattices. Namely, a finite group G is solvable if and only if L(G) contains a maximal chain X and a chain M consisting entirely of modular elements, such that X and M have the same length.
The Hopf algebra of diagonal rectangulations
Published
• View Publication
• BIB
We define and study a combinatorial Hopf algebra dRec with basis elements indexed by diagonal rectangulations of a square. This Hopf algebra provides an intrinsic combinatorial realization of the Hopf algebra tBax of twisted Baxter permutations, which previously had only been described extrinsically as a sub Hopf algebra of the Malvenuto-Reutenauer Hopf algebra of permutations. We describe the natural lattice structure on diagonal rectangulations, analogous to the Tamari lattice on triangulations, and observe that diagonal rectangulations index the vertices of a polytope analogous to the associahedron. We give an explicit bijection between twisted Baxter permutations and the better-known Baxter permutations, and describe the resulting Hopf algebra structure on Baxter permutations.
The Expected Perimeter in Eden and Related Growth Processes
Published
• View Publication
• BIB
Following Richardson and using results of Kesten on First-passage percolation, we obtain an upper bound on the expected perimeter in an Eden Growth Process. Using results of the author from a problem in Statistical Mechanics, we show that the average perimeter of the lattice animals resulting from a very natural family of "growth histories" does not obey a similar bound.
Computation of the highest coefficients of weighted Ehrhart quasi-polynomials of rational polyhedra
Published
• View Publication
• BIB
This article concerns the computational problem of counting the lattice points inside convex polytopes, when each point must be counted with a weight associated to it. We describe an efficient algorithm for computing the highest degree coefficients of the weighted Ehrhart quasi-polynomial for a rational simple polytope in varying dimension, when the weights of the lattice points are given by a polynomial function h. Our technique is based on a refinement of an algorithm of A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), pp. 1449--1466] in the unweighted case (i.e., h = 1). In contrast to Barvinok's method, our method is local, obtains an approximation on the level of generating functions, handles the general weighted case, and provides the coefficients in closed form as step polynomials of the dilation. To demonstrate the practicality of our approach we report on computational experiments which show even our simple implementation can compete with state of the art software.
Hierarchical zonotopal power ideals
Published in European Journal of Combinatorics 33 (2012), no. 6, 1120-1141
• View Publication
• BIB
Zonotopal algebra deals with ideals and vector spaces of polynomials that are related to several combinatorial and geometric structures defined by a finite sequence of vectors. Given such a sequence X, an integer k>=-1 and an upper set in the lattice of flats of the matroid defined by X, we define and study the associated hierarchical zonotopal power ideal. This ideal is generated by powers of linear forms. Its Hilbert series depends only on the matroid structure of X. Via the Tutte polynomial, it is related to various other matroid invariants, e.g. the shelling polynomial and the characteristic polynomial.
This work unifies and generalizes results by Ardila-Postnikov on power ideals and by Holtz-Ron and Holtz-Ron-Xu on (hierarchical) zonotopal algebra. We also generalize a result on zonotopal Cox modules that were introduced by Sturmfels-Xu.
Domino shuffling for the Del Pezzo 3 lattice
We present a version of the domino shuffling algorithm (due to Elkies, Kuperberg, Larsen and Propp) which works on a different lattice: the hexagonal lattice superimposed on its dual graph. We use our algorithm to count perfect matchings on a family of finite subgraphs of this lattice whose boundary conditions are compatible with our algorithm. In particular, we re-prove an enumerative theorem of Ciucu, as well as finding a related family of subgraphs which have 2^{(n+1)^2} perfect matchings. We also give three-variable generating functions for perfect matchings on both families of graphs, which encode certain statistics on the height functions of these graphs.
Quadratic spaces and holomorphic framed vertex operator algebras of central charge 24
Published
• View Publication
• BIB
In 1993, Schellekens obtained a list of possible 71 Lie algebras of holomorphic vertex operator algebras with central charge 24. However, not all cases are known to exist. The aim of this article is to construct new holomorphic vertex operator algebras using the theory of framed vertex operator algebras and to determine the Lie algebra structures of their weight one subspaces. In particular, we study holomorphic framed vertex operator algebras associated to subcodes of the triply even codes $\RM(1,4)^3$ and $\RM(1,4)\oplus \EuD(d_{16}^+)$ of length 48. These vertex operator algebras correspond to the holomorphic simple current extensions of the lattice type vertex operator algebras $(V_{\sqrt{2}E_8}^+)^{\otimes 3}$ and $V_{\sqrt{2}E_8}^+\otimes V_{\sqrt{2}D_{16}^+}^+$. We determine such extensions using a quadratic space structure on the set of all irreducible modules $R(W)$ of $W$ when $W= (V_{\sqrt{2}E_8}^+)^{\otimes 3}$ or $V_{\sqrt{2}E_8}^+\otimes V_{\sqrt{2}D_{16}^+}^+$. As our main results, we construct seven new holomorphic vertex operator algebras of central charge 24 in Schellekens' list and obtain a complete list of all Lie algebra structures associated to the weight one subspaces of holomorphic framed vertex operator algebras of central charge 24.
Relaxed complete partitions: an error-correcting Bachet's problem
Motivated by an error-correcting generalization of Bachet's weights problem, we define and classify relaxed complete partitions. We show that these partitions enjoy a succinct description in terms of lattice points in polyhedra, with adjustments in the error being commensurate with translations in the defining hyperplanes. Our main result is that the enumeration of the minimal such partitions (those with fewest possible parts) is achieved via Brion's formula. This generalizes work of Park on classifying complete partitions and that of Rødseth on enumerating minimal complete partitions.
Some simple bijections involving lattice walks and ballot sequences
In this note we observe that a bijection related to Littelmann's root operators (for type $A_1$) transparently explains the well known enumeration by length of walks on $\N$ (left factors of Dyck paths), as well as some other enumerative coincidences. We indicate a relation with bijective solutions of Bertrand's ballot problem: those can be mechanically transformed into bijective proofs of the mentioned enumeration formula.
Groupes de réflexion, géométrie du discriminant et partitions non-croisées
Reflection groups, geometry of the discriminant and noncrossing partitions.
When W is a well-generated complex reflection group, the noncrossing partition lattice NCP_W of type W is a very rich combinatorial object, extending the notion of noncrossing partitions of an n-gon. This structure appears in several algebraic setups (dual braid monoid, cluster algebras...). Many combinatorial properties of NCP_W are proved case-by-case, using the classification of reflection groups. It is the case for Chapoton's formula, expressing the number of multichains of a given length in the lattice NCP_W, in terms of the invariant degrees of W. This thesis work is motivated by the search for a geometric explanation of this formula, which could lead to a uniform understanding of the connections between the combinatorics of NCP_W and the invariant theory of W.
The starting point is to use the Lyashko-Looijenga covering (LL), based on the geometry of the discriminant of W. In the first chapter, some topological constructions of Bessis are refined, allowing to relate the fibers of LL with block factorisations of a Coxeter element. Then we prove a transitivity property for the Hurwitz action of the braid group B_n on certain factorisations. Chapter 2 is devoted to certain finite polynomial extensions, and to properties about their Jacobians and discriminants. In Chapter 3, these results are applied to the extension defined by the covering LL. We deduce --- with a case-free proof --- formulas for the number of submaximal factorisations of a Coxeter element in W, in terms of the homogeneous degrees of the irreducible components of the discriminant and Jacobian for LL.
Viewing determinants as nonintersecting lattice paths yields classical determinantal identities bijectively
Published
• View Publication
• BIB
In this paper, we show how general determinants may be viewed as generating functions of nonintersecting lattice paths, using the Lindström-Gessel-Viennot interpretation of semistandard Young tableaux and the Jacobi-Trudi identity together with elementary observations. After some preparations, this point of view provides very simple "graphical proofs" for classical determinantal identities like the Cauchy--Binet formula, Dodgson's condensation formula, the Plücker relations and Laplace's expansion. Also, a determinantal identity generalizing Dodgson's condensation formula is presented, which might be new.
Few smooth d-polytopes with n lattice points
Published in Israel J. Math., April 2015, Volume 207, Issue 1, pp 301-329
• View Publication
• BIB
We prove that, for fixed n there exist only finitely many embeddings of Q-factorial toric varieties X into P^n that are induced by a complete linear system. The proof is based on a combinatorial result that for fixed nonnegative integers d and n, there are only finitely many smooth d-polytopes with n lattice points. We also enumerate all smooth 3-polytopes with at most 12 lattice points. In fact, it is sufficient to bound the singularities and the number of lattice points on edges to prove finiteness.
From quantum Schubert polynomials to k-Schur functions via the Toda lattice
Published
• View Publication
• BIB
We show that Lapointe-Lascoux-Morse k-Schur functions (at t=1) and Fomin-Gelfand-Postnikov quantum Schubert polynomials can be obtained from each other by a rational substitution. This is based upon Kostant's solution of the Toda lattice and Peterson's work on quantum Schubert calculus.
On the representation theory of finite J-trivial monoids
Published in Seminaire Lotharingien de Combinatoire, B64d (2011), 44 pp
• Search Publication
In 1979, Norton showed that the representation theory of the 0-Hecke algebra admits a rich combinatorial description. Her constructions rely heavily on some triangularity property of the product, but do not use explicitly that the 0-Hecke algebra is a monoid algebra.
The thesis of this paper is that considering the general setting of monoids admitting such a triangularity, namely J-trivial monoids, sheds further light on the topic. This is a step to use representation theory to automatically extract combinatorial structures from (monoid) algebras, often in the form of posets and lattices, both from a theoretical and computational point of view, and with an implementation in Sage.
Motivated by ongoing work on related monoids associated to Coxeter systems, and building on well-known results in the semi-group community (such as the description of the simple modules or the radical), we describe how most of the data associated to the representation theory (Cartan matrix, quiver) of the algebra of any J-trivial monoid M can be expressed combinatorially by counting appropriate elements in M itself. As a consequence, this data does not depend on the ground field and can be calculated in O(n^2), if not O(nm), where n=|M| and m is the number of generators. Along the way, we construct a triangular decomposition of the identity into orthogonal idempotents, using the usual Möbius inversion formula in the semi-simple quotient (a lattice), followed by an algorithmic lifting step.
Applying our results to the 0-Hecke algebra (in all finite types), we recover previously known results and additionally provide an explicit labeling of the edges of the quiver. We further explore special classes of J-trivial monoids, and in particular monoids of order preserving regressive functions on a poset, generalizing known results on the monoids of nondecreasing parking functions.
Weakly directed self-avoiding walks
Published
• View Publication
• BIB
We define a new family of self-avoiding walks (SAW) on the square lattice, called weakly directed walks. These walks have a simple characterization in terms of the irreducible bridges that compose them. We determine their generating function. This series has a complex singularity structure and in particular, is not D-finite. The growth constant is approximately 2.54 and is thus larger than that of all natural families of SAW enumerated so far (but smaller than that of general SAW, which is about 2.64). We also prove that the end-to-end distance of weakly directed walks grows linearly. Finally, we study a diagonal variant of this model.
Linear differential equations on $\mathbb{P}^{1}$ and root systems
In this paper, we study the Euler transform on linear ordinary differential operators on $\mathbb{P}^{1}$. The spectral type is the tuple of integers which count the multiplicities of local formal solutions with the same leading terms. We compute the changes of spectral types under the action of the Euler transform and show that the changes of spectral types generate a transformation group of a $\mathbb{Z}$-lattice which is isomorphic to a quotient lattice of a Kac-Moody root lattice with the Weyl group as the transformation group.