lattice ↗ reference
4394 papers tagged with this keyword
The lattice permutation condition for Kronecker tableaux (Extended Abstract)
We recently generalised the lattice permutation condition for Young tableaux to Kronecker tableaux and hence calculated a large new class of stable Kronecker coefficients labelled by co-Pieri triples. In this extended abstract we discuss important families of co-Pieri triples for which our combinatorics simplifies drastically.
Homomorphism Complexes and Maximal Chains in Graded Posets
We apply the homomorphism complex construction to partially ordered sets, introducing a new topological construction based on the set of maximal chains in a graded poset. Our primary objects of study are distributive lattices, with special emphasis on finite products of chains. For the special case of a Boolean algebra, we observe that the corresponding homomorphism complex is isomorphic to the subcomplex of cubical cells in a permutahedron. Thus, this work can be interpreted as a generalization of the study of these complexes. We provide a detailed investigation when our poset is a product of chains, in which case we find an optimal discrete Morse matching and prove that the corresponding complex is torsion-free.
A classification of monotone ribbons with full Schur support with application to the classification of full equivalence classes
We consider ribbon shapes, not necessarily connected, whose rows, with at least two boxes in each, are in monotone length order. These ribbons are uniquely defined by a pair of partitions: the row partition consisting of the row lengths in decreasing order, and the overlapping partition whose entries count the total number of columns with two boxes in the successive ribbon shapes obtained by sequentially subtracting the longest row. The support of such ribbon Schur functions, considered as a subposet of the dominance order lattice on partitions, has the row partition as bottom element, and, as top element, the partition whose two parts consist of the total number of columns, and the total number of columns of length two respectively. We give a complete system of linear inequalities in terms of the partition pair defining the aforesaid ribbon shape under which the ribbon Schur function attains all the Schur interval when expanded in the basis of Schur functions. We then conclude that the Gaetz-Hardt-Sridhar necessary condition for a connected ribbon to have full equivalence class is equivalent to the condition for a monotone connected ribbon to have full Schur support. That is, the set of partitions with full equivalence class is a subset of those monotone connected ribbons with full Schur support. M. Gaetz, W. Hardt and S. Sridhar conjectured that the necessary condition is also sufficient which translates now to every monotone connected ribbon with full Schur support has full equivalence class. The main tool of our analysis is the structure of the companion tableau of a ribbon Littlewood-Richardson (LR) tableau detected by the descent set defined by the composition whose parts are the ribbon row lengths.
The existence of monochrome simplexes of a given volume on a rational lattice colored in $n$ colours
The paper proves the existence of monochrome standard simplexes of a given volume on a multidimensional rational lattice painted in a finite number of colors.
On the Voronoi Conjecture for combinatorially Voronoi parallelohedra in dimension five
Published in SIAM J. Discrete Math., 34:4 (2020), 2481-2501
• View Publication
• BIB
In a recent paper Garber, Gavrilyuk and Magazinov proposed a sufficient combinatorial condition for a parallelohedron to be affinely Voronoi. We show that this condition holds for all five-dimensional Voronoi parallelohedra. Consequently, the Voronoi conjecture in $\mathbb R^5$ holds if and only if every five-dimensional parallelohedron is combinatorially Voronoi. Here, by saying that a parallelohedron $P$ is combinatorially Voronoi, we mean that the tiling $\mathcal T(P)$ by translates of $P$ is combinatorially isomorphic to some tiling $\mathcal T(P')$, where $P'$ is a Voronoi parallelohedron, and that the isomorphism naturally induces a linear isomorphism of lattices $Λ(P)$ and $Λ(P')$.
We also propose a new sufficient condition implying that a parallelohedron is affinely Voronoi. The condition is based on the new notion of the Venkov complex associated with a parallelohedron.
Classification of the sublattices of a lattice
Published in Bull. Aust. Math. Soc. 103 (2021) 50-61
• View Publication
• BIB
In 1945-46, C. L. Siegel proved that an $n$-dimensional lattice $Λ$ of determinant ${\rm det}(Λ)$ has at most $m^{n^2}$ different sublattices of determinant $m\cdot {\rm det}(Λ)$. In 1997, the exact number of the different sublattices of index $m$ was determined by Baake. This paper presents a systematic treatment for counting the sublattices and deduces a formula for the number of the sublattice classes of determinant $m\cdot {\rm det}(Λ)$.
New reducible configurations for graph multicoloring with application to the experimental resolution of McDiarmid-Reed's Conjecture (extended version)
A $(a,b)$-coloring of a graph $G$ associates to each vertex a $b$-subset of a set of $a$ colors in such a way that the color-sets of adjacent vertices are disjoint. We define general reduction tools for $(a,b)$-coloring of graphs for $2\le a/b\le 3$. In particular, using necessary and sufficient conditions for the existence of a $(a,b)$-coloring of a path with prescribed color-sets on its end-vertices, more complex $(a,b)$-colorability reductions are presented. The utility of these tools is exemplified on finite triangle-free induced subgraphs of the triangular lattice for which McDiarmid-Reed's conjecture asserts that they are all $(9,4)$-colorable. Computations on millions of such graphs generated randomly show that our tools allow to find a $(9,4)$-coloring for each of them except for one specific regular shape of graphs (that can be $(9,4)$-colored by an easy ad-hoc process). We thus obtain computational evidence towards the conjecture of McDiarmid\&Reed.
The continuous weak order
The set of permutations on a finite set can be given the lattice structure known as the weak Bruhat order. This lattice structure is generalized to the set of words on a fixed alphabet $Σ$ = {x,y,z,...}, where each letter has a fixed number of occurrences. These lattices are known as multinomial lattices and, when card($Σ$) = 2, as lattices of lattice paths. By interpreting the letters x, y, z, . . . as axes, these words can be interpreted as discrete increasing paths on a grid of a d-dimensional cube, with d = card($Σ$).We show how to extend this ordering to images of continuous monotone functions from the unit interval to a d-dimensional cube and prove that this ordering is a lattice, denoted by L(I^d). This construction relies on a few algebraic properties of the quantale of join-continuous functions from the unit interval of the reals to itself: it is cyclic $\star$-autonomous and it satisfies the mix rule.We investigate structural properties of these lattices, which are self-dual and not distributive. We characterize join-irreducible elements and show that these lattices are generated under infinite joins from their join-irreducible elements, they have no completely join-irreducible elements nor compact elements. We study then embeddings of the d-dimensional multinomial lattices into L(I^d). We show that these embeddings arise functorially from subdivisions of the unit interval and observe that L(I^d) is the Dedekind-MacNeille completion of the colimit of these embeddings. Yet, if we restrict to embeddings that take rational values and if d > 2, then every element of L(I^d) is only a join of meets of elements from the colimit of these embeddings.
Enriched chain polytopes
Published in Israel Journal of Mathematics 237 (2020), 485 - 500
• View Publication
• BIB
Stanley introduced a lattice polytope $\mathcal{C}_P$ arising from a finite poset $P$, which is called the chain polytope of $P$. The geometric structure of $\mathcal{C}_P$ has good relations with the combinatorial structure of $P$. In particular, the Ehrhart polynomial of $\mathcal{C}_P$ is given by the order polynomial of $P$. In the present paper, associated to $P$, we introduce a lattice polytope $\mathcal{E}_{P}$, which is called the enriched chain polytope of $P$, and investigate geometric and combinatorial properties of this polytope. By virtue of the algebraic technique on Gröbner bases, we see that $\mathcal{E}_P$ is a reflexive polytope with a flag regular unimodular triangulation. Moreover, the $h^*$-polynomial of $\mathcal{E}_P$ is equal to the $h$-polynomial of a flag triangulation of a sphere. On the other hand, by showing that the Ehrhart polynomial of $\mathcal{E}_P$ coincides with the left enriched order polynomial of $P$, it follows from works of Stembridge and Petersen that the $h^*$-polynomial of $\mathcal{E}_P$ is $γ$-positive. Stronger, we prove that the $γ$-polynomial of $\mathcal{E}_P$ is equal to the $f$-polynomial of a flag simplicial complex.
Finite diamond-colored modular and distributive lattices with applications to combinatorial Lie representation theory
A modular or distributive lattice is `diamond-colored' if its order diagram edges are colored in such a way that, within any diamond of edges, parallel edges have the same color. Such lattices arise naturally in combinatorial representation theory, particularly in the study of poset models for semisimple Lie algebra representations and their companion Weyl group symmetric functions. One of our goals is to gather in one place some elementary but foundational results concerning these lattice structures; this includes some new results as well as some new interpretations of classical results. We then develop many points of contact between diamond-colored modular/distributive lattices and combinatorial Lie representation theory, leading to some new Dynkin diagram classification results and some new results concerning minuscule and quasi-minuscule representations.
Hollow polytopes of large width
Published in Proc. Amer. Math. Soc. 148(2) (2020), 835-850
• View Publication
• BIB
We construct a hollow lattice polytope (resp. a hollow lattice simplex) of dimension $14$ (resp.$~404$) and of width $15$ (resp.$~408$). They are the first known hollow lattice polytopes of width larger than dimension. We also construct a hollow (non-lattice) tetrahedron of width $2+\sqrt2$ and conjecture that this is the maximum width among $3$-dimensional hollow convex bodies.
We show that the maximum lattice width grows (at least) additively with $d$. In particular, the constructions above imply the existence of hollow lattice polytopes (resp. hollow simplices) of arbitrarily large dimension $d$ and width $\simeq 1.14 d$ (resp.$~\simeq 1.01 d$).
Knotting statistics for polygons in lattice tubes
Published in Journal of Physics A: Mathematical and Theoretical 52 (2019) 144003
• View Publication
• BIB
We study several related models of self-avoiding polygons in a tubular subgraph of the simple cubic lattice, with a particular interest in the asymptotics of the knotting statistics. Polygons in a tube can be characterised by a finite transfer matrix, and this allows for the derivation of pattern theorems, calculation of growth rates and exact enumeration. We also develop a static Monte Carlo method which allows us to sample polygons of a given size directly from a chosen Boltzmann distribution.
Using these methods we accurately estimate the growth rates of unknotted polygons in the $2\times1\times\infty$ and $3\times1\times\infty$ tubes, and confirm that these are the same for any fixed knot-type $K$. We also confirm that the entropic exponent for unknots is the same as that of all polygons, and that the exponent for fixed knot-type $K$ depends only on the number of prime factors in the knot decomposition of $K$. For the simplest knot-types, this leads to a good approximation for the polygon size at which the probability of the given knot-type is maximized, and in some cases we are able to sample sufficiently long polygons to observe this numerically.
Deformations of the Weyl Character Formula for $SO(2n+1,\mathbb{C})$ via Ice Models
We explore combinatorial formulas for deformations of highest weight characters of the odd orthogonal group $SO(2n+1)$. Our goal is to represent these deformations of characters as partition functions of statistical mechanical models -- in particular, two-dimensional solvable lattice models. In Cartan type $A$, Hamel and King [8] and Brubaker, Bump, and Friedberg [3] gave square ice models on a rectangular lattice which produced such a deformation. Outside of type $A$, ice-type models were found using rectangular lattices with additional boundary conditions that split into two classes -- those with `nested' and `non-nested bends.' Our results fill a gap in the literature, providing the first such formulas for type $B$ with non-nested bends. In type $B$, there are many known combinatorial parameterizations of highest weight representation basis vectors as catalogued by Proctor [19]. We show that some of these permit ice-type models via appropriate bijections (those of Sundaram [21] and Koike-Terada [15]) while other examples due to Proctor do not.
Shellability of generalized Dowling posets
Published in Journal of Combinatorial Theory, Series A 171, 2020
• View Publication
• BIB
A generalization of Dowling lattices was recently introduced by Bibby and Gadish, in a work on orbit configuration spaces. The authors left open the question as to whether these posets are shellable. In this paper we prove EL-shellability and use it to determine the homotopy type. Our result generalizes shellability of Dowling lattices and of posets of layers of abelian arrangements defined by root systems. We also show that subposets corresponding to invariant subarrangements are not shellable in general.
On compact representations of Voronoi cells of lattices
Published in Math. Program. (2020)
• View Publication
• BIB
In a seminal work, Micciancio & Voulgaris (2013) described a deterministic single-exponential time algorithm for the Closest Vector Problem (CVP) on lattices. It is based on the computation of the Voronoi cell of the given lattice and thus may need exponential space as well. We address the major open question whether there exists such an algorithm that requires only polynomial space.
To this end, we define a lattice basis to be $c$-compact if every facet normal of the Voronoi cell is a linear combination of the basis vectors using coefficients that are bounded by $c$ in absolute value. Given such a basis, we get a polynomial space algorithm for CVP whose running time naturally depends on $c$. Thus, our main focus is the behavior of the smallest possible value of $c$, with the following results: There always exist $c$-compact bases, where $c$ is bounded by $n^2$ for an $n$-dimension lattice; there are lattices not admitting a $c$-compact basis with $c$ growing sublinearly with the dimension; and every lattice with a zonotopal Voronoi cell has a $1$-compact basis.
Ehrhart polynomials of polytopes and spectrum at infinity of Laurent polynomials
Published
• View Publication
• BIB
Gathering different results from singularity theory, geometry and combinatorics, we show that the spectrum at infinity of a tame Laurent polynomial counts lattice points in polytopes and we deduce an effective algorithm in order to compute the Ehrhart polynomial of a simplex containing the origin as an interior point.
Inhomogeneous Restricted Lattice Walks
We consider inhomogeneous lattice walk models in a half-space and in the quarter plane. For the models in a half-space, we show by a generalization of the kernel method to linear systems of functional equations that their generating functions are always algebraic. For the models in the quarter plane, we have carried out an experimental classification of all models with small steps. We discovered many (apparently) D-finite cases for most of which we have no explanation yet.
On the Homogenized Linial Arrangement: Intersection Lattice and Genocchi Numbers
Hetyei recently introduced a hyperplane arrangement (called the homogenized Linial arrangement) and used the finite field method of Athanasiadis to show that its number of regions is a median Genocchi number. These numbers count a class of permutations known as Dumont derangements. Here, we take a different approach, which makes direct use of Zaslavsky's formula relating the intersection lattice of this arrangement to the number of regions. We refine Hetyei's result by obtaining a combinatorial interpretation of the Möbius function of this lattice in terms of variants of the Dumont permutations. This enables us to derive a formula for the generating function of the characterisitic polynomial of the arrangement. The Möbius invariant of the lattice turns out to be a (nonmedian) Genocchi number. Our techniques also yield type B, and more generally Dowling arrangement, analogs of these results.
A q-analogue and a symmetric function analogue of a result by Carlitz, Scoville and Vaughan
We derive an equation that is analogous to a well-known symmetric function identity: $\sum_{i=0}^n(-1)^ie_ih_{n-i}=0$. Here the elementary symmetric function $e_i$ is the Frobenius characteristic of the representation of $\mathcal{S}_i$ on the top homology of the subset lattice $B_i$, whereas our identity involves the representation of $\mathcal{S}_n\times \mathcal{S}_n$ on the Segre product of $B_n$ with itself. We then obtain a q-analogue of a polynomial identity given by Carlitz, Scoville and Vaughan through examining the Segre product of the subspace lattice $B_n(q)$ with itself. We recognize the connection between the Euler characteristic of the Segre product of $B_n(q)$ with itself and the representation on the Segre product of $B_n$ with itself by recovering our polynomial identity from specializing the identity on the representation of $\mathcal{S}_i\times \mathcal{S}_i$.
Lattice paths and submonoids of $\mathbb Z^2$
Published
• View Publication
• BIB
We study a number of combinatorial and algebraic structures arising from walks on the two-dimensional integer lattice. To a given step set $X\subseteq\mathbb Z^2$, there are two naturally associated monoids: $\mathscr F_X$, the monoid of all $X$-walks/paths; and $\mathscr A_X$, the monoid of all endpoints of $X$-walks starting from the origin $O$. For each $A\in\mathscr A_X$, write $π_X(A)$ for the number of $X$-walks from $O$ to $A$. Calculating the numbers $π_X(A)$ is a classical problem, leading to Fibonacci, Catalan, Motzkin, Delannoy and Schroder numbers, among many other well-studied sequences and arrays. Our main results give relationships between finiteness properties of the numbers $π_X(A)$, geometrical properties of the step set $X$, algebraic properties of the monoid $\mathscr A_X$, and combinatorial properties of a certain bi-labelled digraph naturally associated to $X$. There is an intriguing divergence between the cases of finite and infinite step sets, and some constructions rely on highly non-trivial properties of real numbers. We also consider the case of walks constrained to stay within a given region of the plane. Several examples are considered throughout to highlight the sometimes-subtle nature of the theoretical results.