lattice ↗ reference
4394 papers tagged with this keyword
The subdivision of large simplicial cones in Normaliz
Published
• View Publication
• BIB
Normaliz is an open-source software for the computation of lattice points in rational polyhedra, or, in a different language, the solutions of linear diophantine systems. The two main computational goals are (i) finding a system of generators of the set of lattice points and (ii) counting elements degree-wise in a generating function, the Hilbert Series. In the homogeneous case, in which the polyhedron is a cone, the set of generators is the Hilbert basis of the intersection of the cone and the lattice, an affine monoid.
We will present some improvements to the Normaliz algorithm by subdividing simplicial cones with huge volumes. In the first approach the subdivision points are found by integer programming techniques. For this purpose we interface to the integer programming solver SCIP to our software. In the second approach we try to find good subdivision points in an approximating overcone that is faster to compute.
A combinatorial description of dual defects of toric varieties
Published
• View Publication
• BIB
From a finite set in a lattice, we can define a toric variety embedded in a projective space. In this paper, we give a combinatorial description of the dual defect of the toric variety using the structure of the finite set as a Cayley sum with suitable conditions. We also interpret the description geometrically.
Lattice paths of slope 2/5
Published in SIAM Proceedings of the twelfth workshop on Analytic Algorithmics and Combinatorics (ANALCO), Robert Sedgewick and Mark Daniel Ward (eds.), Jan 2015, San Diego, United States. ISBN 978-1-61197-376-1, pp.105-113, 2015
• View Publication
• BIB
We analyze some enumerative and asymptotic properties of Dyck paths under a line of slope 2/5.This answers to Knuth's problem \\#4 from his "Flajolet lecture" during the conference "Analysis of Algorithms" (AofA'2014) in Paris in June 2014.Our approach relies on the work of Banderier and Flajolet for asymptotics and enumeration of directed lattice paths. A key ingredient in the proof is the generalization of an old trick of Knuth himself (for enumerating permutations sortable by a stack),promoted by Flajolet and others as the "kernel method". All the corresponding generating functions are algebraic,and they offer some new combinatorial identities, which can be also tackled in the A=B spirit of Wilf--Zeilberger--Petkov{\v s}ek.We show how to obtain similar results for other slopes than 2/5, an interesting case being e.g. Dyck paths below the slope 2/3, which corresponds to the so called Duchon's club model.
Partial flag incidence algebras
The $n^{th}$ partial flag incidence algebra of a poset $P$ is the set of functions from $P^n$ to some ring which are zero on non-partial flag vectors. These partial flag incidence algebras for $n>2$ are not commutative, not unitary, and not associative. However, partial flag incidence algebras contain generalized zeta, delta, and Möbius functions which are finer and more delicate invariants than their classical analogues. We also study some generalized characteristic polynomials of posets which are not evaluations of Tutte polynomials and compute them for Boolean lattices. Motivation for this work came from studying the matroid Kazhdan-Lusztig polynomials where partial flag Whitney numbers play a central role.
Some reflections on directed lattice paths
This article analyzes directed lattice paths, when a boundary reflecting or absorbing condition is added to the classical models. The lattice paths are characterized by two time-independent sets of rules (also called steps) which have a privileged direction of increase and are therefore essentially one-dimensional objects. Depending on the spatial coordinate, one of the two sets of rules applies, namely one for altitude 0 and one for altitude bigger than 0. The abscissa y=0 thus acts as a border which either absorbs or reflects steps. The absorption model corresponds to the model analyzed by Banderier and Flajolet ("Analytic combinatorics of directed lattice paths"), while the reflecting model leads to a more complicated situation. We show how the generating functions are then modified: the kernel method strikes again but here it unfortunately does not give a nice product formula. This makes the analysis more challenging, and, in the case of Łukasiewicz walks, we give the asymptotics for the number of excursions, arches and meanders. Limit laws for the number of returns to 0 of excursions are given. We also compute the limit laws of the final altitude of meanders. The full analytic situation is more complicated than the Banderier-Flajolet model (partly because new "critical compositions" appear, forcing us to introduce new key quantities, like the drift at 0), and we quantify to what extent the global drift, and the drift at 0 play a role in the "universal" behavior of such walks.
A simple bijection between permutation matrices and descending plane partitions without special parts
We present a simple bijection between permutation matrices and descending plane partitions without special parts. This bijection is already mentioned in work of P. Lalonde (without giving the details); it involves the inversion words of permutations and the (well-known) representation of descending plane partitions as families of non--intersecting lattice paths. (Taking a short detour, we will also exhibit how the (well--known) enumeration of descending plane partitions follows easily from the evaluation of Andrew's determinant.)
Families of Subsets Without a Given Poset in the Interval Chains
Published
• View Publication
• BIB
For two posets $P$ and $Q$, we say $Q$ is $P$-free if there does not exist any order-preserving injection from $P$ to $Q$. The speical case for $Q$ being the Boolean lattice $B_n$ is well-studied, and the optiamal value is denoted as $\lanp$. Let us define $\La(Q,P)$ to be the largest size of any $P$-free subposet of $Q$.
In this paper, we give an upper bound for $\La(Q,P)$ when $Q$ is a double chain and $P$ is any graded poset, which is better than the previous known upper bound, by means of finding the indpendence number of an auxiliary graph related to $P$. For the auxiliary graph, we can find its independence number in polynomial time. In addition, we give methods to construct the posets satisfying the Griggs-Lu conjecture.
On densities of lattice arrangements intersecting every i-dimensional affine subspace
Published
• View Publication
• BIB
In 1978, Makai Jr. established a remarkable connection between the volume-product of a convex body, its maximal lattice packing density and the minimal density of a lattice arrangement of its polar body intersecting every affine hyperplane. Consequently, he formulated a conjecture that can be seen as a dual analog of Minkowski's fundamental theorem, and which is strongly linked to the well-known Mahler-conjecture.
Based on the covering minima of Kannan & Lovász and a problem posed by Fejes Tóth, we arrange Makai Jr.'s conjecture into a wider context and investigate densities of lattice arrangements of convex bodies intersecting every i-dimensional affine subspace. Then it becomes natural also to formulate and study a dual analog to Minkowski's second fundamental theorem. As our main results, we derive meaningful asymptotic lower bounds for the densities of such arrangements, and furthermore, we solve the problems exactly for the special, yet important, class of unconditional convex bodies.
Lattice simplices of maximal dimension with a given degree
Published
• View Publication
• BIB
It was proved by Nill that for any lattice simplex of dimension $d$ with degree $s$ which is not a lattice pyramid, the inequality $d+1 \leq 4s-1$ holds. In this paper, we give a complete characterization of lattice simplices satisfying the equality, i.e., the lattice simplices of dimension $(4s-2)$ with degree $s$ which are not lattice pyramids. It turns out that such simplices arise from binary simplex codes. As an application of this characterization, we show that such simplices are counterexamples for the conjecture known as "Cayley conjecture". Moreover, by modifying Nill's inequaitly slightly, we also see the sharper bound $d+1 \leq f(2s)$, where $f(M)=\sum_{n=0}^{\lfloor \log_2 M \rfloor} \lfloor M/2^n \rfloor$ for $M \in \mathbb{Z}_{\geq 0}$. We also observe that any lattice simplex attaining this sharper bound always comes from a binary code.
Lattice structure of Weyl groups via representation theory of preprojective algebras
Published in Compositio Math. 154 (2018) 1269-1305
• View Publication
• BIB
This paper studies the combinatorics of lattice congruences of the weak order on a finite Weyl group $W$, using representation theory of the corresponding preprojective algebra $Π$. Natural bijections are constructed between important objects including join-irreducible congruences, join-irreducible (respectively, meet-irreducible) elements of $W$, indecomposable $τ$-rigid (respectively, $τ^-$-rigid) modules and layers of $Π$. The lattice-theoretically natural labeling of the Hasse quiver by join-irreducible elements of $W$ is shown to coincide with the algebraically natural labelling by layers of $Π$. We show that layers of $Π$ are nothing but bricks (or equivalently stones, or 2-spherical modules). The forcing order on join-irreducible elements of $W$ (arising from the study of lattice congruences) is described algebraically in terms of the doubleton extension order. We give a combinatorial description of indecomposable $τ^-$-rigid modules for type $A$ and $D$.
On Boolean intervals of finite groups
Published in Journal of Combinatorial Theory, Series A, 157 (2018), 49-69
• View Publication
• BIB
We prove a dual version of Øystein Ore's theorem on distributive intervals in the subgroup lattice of finite groups, having a nonzero dual Euler totient $\hat{\varphi}$. For any Boolean group-complemented interval, we observe that $\hat{\varphi} = \varphi \neq 0$ by the original Ore's theorem. We also discuss some applications in representation theory. We conjecture that $\hat{\varphi}$ is always nonzero for Boolean intervals. In order to investigate it, we prove that for any Boolean group-complemented interval $[H,G]$, the graded coset poset $\hat{P} = \hat{C}(H,G)$ is Cohen-Macaulay and the nontrivial reduced Betti number of the order complex $Δ(P)$ is $\hat{\varphi}$, so nonzero. We deduce that these results are true beyond the group-complemented case with $|G:H|<32$. One observes that they are also true when $H$ is a Borel subgroup of $G$.
Regular polyhedra in the 3-torus
Published
• View Publication
• BIB
In this paper we discuss the classification rank $3$ lattices preserved by finite orthogonal groups of isometries and derive from it the classification of regular polyhedra in the $3$-dimensional torus. This classification is highly related to the classification of regular polyhedra in the $3$-space.
An isoperimetric inequality for planar triangulations
Published
• View Publication
• BIB
We prove a discrete analogue to a classical isoperimetric theorem of Weil for surfaces with non-positive curvature. It is shown that hexagons in the triangular lattice have maximal volume among all sets of a given boundary in any triangulation with minimal degree 6.
Oriented Flip Graphs and Noncrossing Tree Partitions
Published
• View Publication
• BIB
In this paper, we study the lattice properties of posets of torsion pairs in the module category of a family of representation-finite gentle algebras called tiling algebras, introduced by Coelho Simoes and Parsons. We present a combinatorial model for torsion pairs using polyogonal subdivisions of a convex polygon. We use this model and the lattice theory to classify 2-term simple-minded collections in the bounded derived category of the corresponding tiling algebra. As a consequence, we obtain a characterization of c-matrices for any quiver mutation-equivalent to a type A Dynkin quiver.
Our model is developed using the dual tree of a polygonal subdivision. Given such a tree, we introduce a simplicial complex of noncrossing geodesics supported by the tree which we call the noncrossing complex. The facets of the noncrossing complex may be given the structure of an oriented flip graph. Special cases of the oriented flip graphs that may be expressed in this way include the Tamari order, type A Cambrian orders, oriented exchange graphs for quivers mutation-equivalent to a path quiver. We prove that the oriented flip graph of any noncrossing complex is a polygonal, congruence-uniform lattice. To do so, we express the oriented flip graph as a lattice quotient of a lattice of biclosed sets.
The facets of the noncrossing complex have an alternate ordering known as the shard intersection order. We prove that this shard intersection order is isomorphic to a lattice of noncrossing tree partitions. The oriented flip graph inherits a cyclic action from its congruence-uniform structure. On noncrossing tree partitions, this cyclic action generalizes the classical Kreweras complementation on noncrossing set partitions. We show that the data of a noncrossing tree partition and its Kreweras complement is equivalent to a 2-term simple-minded collection of the associated tiling algebra.
On a problem by Shapozenko on Johnson graphs
Published
• View Publication
• BIB
The Johnson graph $J(n,m)$ has the $m$--subsets of $\{1,2,\ldots,n\}$ as vertices and two subsets are adjacent in the graph if they share $m-1$ elements. Shapozenko asked about the isoperimetric function $μ_{n,m}(k)$ of Johnson graphs, that is, the cardinality of the smallest boundary of sets with $k$ vertices in $J(n,m)$ for each $1\le k\le {n\choose m}$. We give an upper bound for $μ_{n,m}(k)$ and show that, for each given $k$ such that the solution to the Shadow Minimization Problem in the Boolean lattice is unique, and each sufficiently large $n$, the given upper bound is tight. We also show that the bound is tight for the small values of $k\le m+1$ and for all values of $k$ when $m=2$.
A broad class of shellable lattices
Published in Adv. Math. 313 (2017), 537-563
• View Publication
• BIB
We introduce a new class of lattices, the modernistic lattices, and their duals, the comodernistic lattices. We show that every modernistic or comodernistic lattice has shellable order complex. We go on to exhibit a large number of examples of (co)modernistic lattices. We show comodernism for two main families of lattices that were not previously known to be shellable: the order congruence lattices of finite posets, and a weighted generalization of the k-equal partition lattices.
We also exhibit many examples of (co)modernistic lattices that were already known to be shellable. To start with, the definition of modernistic is a common weakening of the definitions of semimodular and supersolvable. We thus obtain a unified proof that lattice in these classes are shellable.
Subgroup lattices of solvable groups form another family of comodernistic lattices that were already proved to be shellable. We show not only that subgroup lattices of solvable groups are comodernistic, but that solvability of a group is equivalent to the comodernistic property on its subgroup lattice. Indeed, the definition of comodernistic exactly requires on every interval a lattice-theoretic analogue of the composition series in a solvable group. Thus, the relation between comodernistic lattices and solvable groups resembles, in several respects, that between supersolvable lattices and supersolvable groups.
A lattice point counting generalisation of the Tutte polynomial
Published
• View Publication
• BIB
The Tutte polynomial for matroids is not directly applicable to polymatroids. For instance, deletion-contraction properties do not hold. We construct a polynomial for polymatroids which behaves similarly to the Tutte polynomial of a matroid, and in fact contains the same information as the Tutte polynomial when we restrict to matroids. This polynomial is constructed using lattice point counts in the Minkowski sum of the base polytope of a polymatroid and scaled copies of the standard simplex. We also show that, in the matroid case, our polynomial has coefficients of alternating sign, with a combinatorial interpretation closely tied to the Dawson partition.
On the number of lattice convex chains
Published in Discrete Analysis, 2016:19, 15 pp
• View Publication
• BIB
An asymptotic formula is presented for the number of planar lattice convex polygonal lines joining the origin to a distant point of the diagonal. The formula involves the non-trivial zeros of the zeta function and leads to a necessary and sufficient condition for the Riemann Hypothesis to hold.
Poset edge densities, nearly reduced words, and barely set-valued tableaux
Published in J. Combin. Theory Ser. A 158 (2018), 66-125
• View Publication
• BIB
In certain finite posets, the expected down-degree of their elements is the same whether computed with respect to either the uniform distribution or the distribution weighting an element by the number of maximal chains passing through it. We show that this coincidence of expectations holds for Cartesian products of chains, connected minuscule posets, weak Bruhat orders on finite Coxeter groups, certain lower intervals in Young's lattice, and certain lower intervals in the weak Bruhat order below dominant permutations. Our tools involve formulas for counting nearly reduced factorizations in 0-Hecke algebras; that is, factorizations that are one letter longer than the Coxeter group length.
Ehrhart series of fractional stable set polytopes of finite graphs
Published in Annals of Combinatorics 22 (2018), 563-573
• View Publication
• BIB
The fractional stable set polytope ${\rm FRAC}(G)$ of a simple graph $G$ with $d$ vertices is a rational polytope that is the set of nonnegative vectors $(x_1,\ldots,x_d)$ satisfying $x_i+x_j\le 1$ for every edge $(i,j)$ of $G$. In this paper we show that (i) The $δ$-vector of a lattice polytope $2 {\rm FRAC}(G)$ is alternatingly increasing; (ii) The Ehrhart ring of ${\rm FRAC}(G)$ is Gorenstein; (iii) The coefficients of the numerator of the Ehrhart series of ${\rm FRAC}(G)$ are symmetric, unimodal and computed by the $δ$-vector of $2 {\rm FRAC}(G)$.