We show that the Voronoi cells of the lattice of integer flows of a finite connected graph $G$ in the quadratic vector space of real valued flows have the following very precise combinatorics: the face poset of a Voronoi cell is isomorphic to the poset of strongly connected orientations of subgraphs of $G$. This confirms a conjecture of Caporaso and Viviani {Torelli Theorem For Graphs and Tropical Curves, Duke Math. J. 153(1) (2010), 129-171}.
The set of acyclic orientations of a connected graph with a given sink has a natural poset structure. We give a geometric proof of a result of Jim Propp: this poset is the disjoint union of distributive lattices.
We show that given a poset P and and a subposet Q, the integer points obtained by restricting linear extensions of P to Q can be explained via integer lattice points of a generalized permutohedron.
The combined work of Bousquet-Mélou, Claesson, Dukes, Jelínek, Kitaev, Kubitzke and Parviainen has resulted in non-trivial bijections among ascent sequences, (2+2)-free posets, upper-triangular integer matrices, and pattern-avoiding permutations. To probe the finer behavior of these bijections, we study two types of restrictions on ascent sequences. These restrictions are motivated by our results that their images under the bijections are natural and combinatorially significant. In addition, for one restriction, we are able to determine the effect of poset duality on the corresponding ascent s…
Let $S$ be a numerical semigroup and let $\left(\mathbb{Z},\leqslant\_S\right)$ be the (locally finite) poset induced by $S$ on the set of integers $\mathbb{Z}$ defined by $x \leqslant\_S y$ if and only if $y-x\in S$ for all integers $x$ and $y$. In this paper, we investigate the M{ö}bius function associated to $\left(\mathbb{Z},\leqslant\_S\right)$ when $S$ is an arithmetic semigroup.
In this paper, we study partitions of positive integers into distinct quasifibonacci numbers. A digraph and poset structure is constructed on the set of such partitions. Furthermore, we discuss the symmetric and recursive relations between these posets. Finally, we prove a strong generalization of Robbins' result on the coefficients of a quasifibonacci power series.
The dimension of a poset $P$, denoted $\dim(P)$, is the least positive integer $d$ for which $P$ is the intersection of $d$ linear extensions of $P$. The maximum dimension of a poset $P$ with $|P|\le 2n+1$ is $n$, provided $n\ge2$, and this inequality is tight when $P$ contains the standard example $S_n$. However, there are posets with large dimension that do not contain the standard example $S_2$. Moreover, for each fixed $d\ge2$, if $P$ is a poset with $|P|\le 2n+1$ and $P$ does not contain the standard example $S_d$, then $\dim(P)=o(n)$. Also, for large $n$, there is a poset $P$ with $|P|=2…
Several recent papers have explored families of rational polyhedra whose integer points are in bijection with certain families of numerical semigroups. One such family, first introduced by Kunz, has integer points in bijection with numerical semigroups of fixed multiplicity, and another, introduced by Hellus and Waldi, has integer points corresponding to oversemigroups of numerical semigroups with two generators. In this paper, we provide a combinatorial framework from which to study both families of polyhedra. We introduce a new family of polyhedra called group cones, each constructed from so…
Several recent papers have examined a rational polyhedron $P_m$ whose integer points are in bijection with the numerical semigroups (cofinite, additively closed subsets of the non-negative integers) containing $m$. A combinatorial description of the faces of $P_m$ was recently introduced, one that can be obtained from the divisibility posets of the numerical semigroups a given face contains. In this paper, we study the faces of $P_m$ containing arithmetical numerical semigroups and those containing certain glued numerical semigroups, as an initial step towards better understanding the full fac…
For an integer $n\geq 1$, we display a poset $Φ_n$ whose maximal chains are in bijection with the $n\times n$ alternating sign matrices. The Hasse diagram $\widehat Φ_n$ is obtained from the $n$-cube by adding some edges. We show that the dihedral group $D_{2n}$ acts on $\widehat Φ_n$ as a group of automorphisms.
Three families of posets depending on a nonnegative integer parameter $m$ are introduced. The underlying sets of these posets are enumerated by the $m$-Fuss Catalan numbers. Among these, one is a generalization of Stanley lattices and another one is a generalization of Tamari lattices. The three families of posets are related: they fit into a chain for the order extension relation and they share some properties. Two associative algebras are constructed as quotients of generalizations of the Malvenuto-Reutenauer algebra. Their products describe intervals of our analogues of Stanley lattices and…
The Scarf complex for lattices is well understood and utilized. In 2014, the author expanded the use of the term Scarf complex to encompass an infinite set in $\mathbb{Z}^n$ that was generated via an action of a lattice $Λ\in\mathbb{Z}^n$ upon a finite subset $A\subset\mathbb{N}^n$. This paper aims to further generalize the use of Scarf complex by removing the integer lattice completely while maintaining the essence of the Scarf complex.
Let $f(n)$ be the largest integer such that every poset on $n$ elements has a $2$-dimensional subposet on $f(n)$ elements. What is the asymptotics of $f(n)$? It is easy to see that $f(n)\geqslant n^{1/2}$. We improve the best known upper bound and show $f(n)=\mathcal{O}(n^{2/3})$. For higher dimensions, we show $f_d(n)=\mathcal{O}\left(n^\frac{d}{d+1}\right)$, where $f_d(n)$ is the largest integer such that every poset on $n$ elements has a $d$-dimensional subposet on $f_d(n)$ elements.
Given an underlying undirected simple graph, we consider the set of all acyclic orientations of its edges. Each of these orientations induces a partial order on the vertices of our graph and, therefore, we can count the number of linear extensions of these posets. We want to know which choice of orientation maximizes the number of linear extensions of the corresponding poset, and this problem will be solved essentially for comparability graphs and odd cycles, presenting several proofs. The corresponding enumeration problem for arbitrary simple graphs will be studied, including the case of rand…
For integers m, n $\ge$ 1, we describe a bijection sending dissections of the (mn + 2)-regular polygon into (m + 2)-sided polygons to a new basis of the quotient of the polynomial algebra in mn variables by an ideal generated by some kind of higher quasi-symmetric functions. We show that divisibility of the basis elements corresponds to a new partial order on dissections, which is studied in some detail.
We study the equivalence relation on the set of acyclic orientations of an undirected graph G generated by source-to-sink conversions. These conversions arise in the contexts of admissible sequences in Coxeter theory, quiver representations, and asynchronous graph dynamical systems. To each equivalence class we associate a poset, characterize combinatorial properties of these posets, and in turn, the admissible sequences. This allows us to construct an explicit bijection from the equivalence classes over G to those over G' and G", the graphs obtained from G by edge deletion and edge contractio…
Let $G$ be a simple, undirected, finite graph with vertex set $V(G)$ and edge set $E(G)$. A $k$-dimensional box is a Cartesian product of closed intervals $[a_1,b_1]\times [a_2,b_2]\times...\times [a_k,b_k]$. The {\it boxicity} of $G$, $\boxi(G)$ is the minimum integer $k$ such that $G$ can be represented as the intersection graph of $k$-dimensional boxes, i.e. each vertex is mapped to a $k$-dimensional box and two vertices are adjacent in $G$ if and only if their corresponding boxes intersect. Let $\poset=(S,P)$ be a poset where $S$ is the ground set and $P$ is a reflexive, anti-symmetric and…
Given partially ordered sets (posets) $(P, \leq_P)$ and $(P', \leq_{P'})$, we say that $P'$ contains a copy of $P$ if for some injective function $f: P\rightarrow P'$ and for any $X, Y\in P$, $X\leq _P Y$ if and only of $f(X)\leq_{P'} f(Y)$. For any posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the least positive integer $N$ such that no matter how the elements of an $N$-dimensional Boolean lattice are colored in blue and red, there is either a copy of $P$ with all blue elements or a copy of $Q$ with all red elements. We focus on a poset Ramsey number $R(P, Q_n)$ for a fixed poset $P…
To an extended permutohedron we associate the weighted integer points enumerator, whose principal specialization is the $f$-polynomial. In the case of poset cones it refines Gessel's $\mathsf{P}$-partitions enumerator. We show that this enumerator is a quasisymmetric function obtained by universal morphism from the Hopf algebra of posets.
For each positive integer $k$, we consider five well-studied posets defined on the set of Dyck paths of semilength $k$. We prove that uniquely sorted permutations avoiding various patterns are equinumerous with intervals in these posets. While most of our proofs are bijective, some use generating trees and generating functions. We end with several conjectures.
Let $F(n,k)$ ($f(n,k)$) denote the maximum possible size of the smallest color class in a (partial) $k$-coloring of the Boolean lattice $B_n$ that does not admit a rainbow antichain of size $k$. The value of $F(n,3)$ and $f(n,2)$ has been recently determined exactly. We prove that for any fixed $k$ if $n$ is large enough, then $F(n,k),f(n,k)=2^{(1/2+o(1))n}$ holds. We also introduce the general functions for any poset $P$ and integer $c\ge |P|$: let $F(n,c,P)$ ($f(n,c,P)$) denote the the maximum possible size of the smallest color class in a (partial) $c$-coloring of the Boolean lattice $B_n$ …
Suppose $k \ge 2$ is an integer. Let $Y_k$ be the poset with elements $x_1, x_2, y_1, y_2, \ldots, y_{k-1}$ such that $y_1 < y_2 < \cdots < y_{k-1} < x_1, x_2$ and let $Y_k'$ be the same poset but all relations reversed. We say that a family of subsets of $[n]$ contains a copy of $Y_k$ on consecutive levels if it contains $k+1$ subsets $F_1, F_2, G_1, G_2, \ldots, G_{k-1}$ such that $G_1\subset G_2 \subset \cdots \subset G_{k-1} \subset F_1, F_2$ and $|F_1| = |F_2| = |G_{k-1}|+1 =|G_{k-2}|+ 2= \cdots = |G_{1}|+k-1$. If both $Y_k$ and $Y'_k$ on consecutive levels are forbidden, the size of the …
Let $P$ be a partially ordered set. If the Boolean lattice $(2^{[n]},\subset)$ can be partitioned into copies of $P$ for some positive integer $n$, then $P$ must satisfy the following two trivial conditions: (1) the size of $P$ is a power of $2$, (2) $P$ has a unique maximal and minimal element. Resolving a conjecture of Lonc, it was shown by Gruslys, Leader and Tomon that these conditions are sufficient as well. In this paper, we show that if $P$ only satisfies condition (2), we can still almost partition $2^{[n]}$ into copies of $P$. We prove that if $P$ has a unique maximal and minimal elem…
Hooks are prominent in representation theory (of symmetric groups) and they play a role in number theory (via cranks associated to Ramanujan's congruences). A partition of a positive integer $n$ has a Young diagram representation. To each cell in the diagram there is an associated statistic called hook length, and if a number $t$ is absent from the diagram then the partition is called a $t$-core. A partition is an $(s,t)$-core if it is both an $s$- and a $t$-core. Since the work of Anderson on $(s,t)$-cores, the topic has received a growing attention. This paper expands the discussion to multi…
We introduce cubic coordinates, which are integer words encoding intervals in the Tamari lattices. Cubic coordinates are in bijection with interval-posets, themselves known to be in bijection with Tamari intervals. We show that in each degree the set of cubic coordinates forms a lattice, isomorphic to the lattice of Tamari intervals. Geometric realizations are naturally obtained by placing cubic coordinates in space, highlighting some of their properties. We consider the cellular structure of these realizations. Finally, we show that the poset of cubic coordinates is shellable.
Let $n$ be a positive integer, $q$ a power of a prime, and $\mathcal{L}_n(q)$ the poset of subspaces of an $n$-dimensional vector space over a field with $q$ elements. This poset is a normalized matching poset and the set of subspaces of dimension $\left\lfloor n/2 \right\rfloor$ or those of dimension $\left\lceil n/2 \right\rceil$ are the only maximum-sized anti-chains in this poset. Strengthening this well-known and celebrated result, we show that, except in the case of $\mathcal{L}_3(2)$, these same collections of subspaces are the only maximum-sized families in $\mathcal{L}_n(q)$ that avoi…
The cyclic and dihedral groups can be made to act on the set Acyc(Y) of acyclic orientations of an undirected graph Y, and this gives rise to the equivalence relations ~kappa and ~delta, respectively. These two actions and their corresponding equivalence classes are closely related to combinatorial problems arising in the context of Coxeter groups, sequential dynamical systems, the chip-firing game, and representations of quivers. In this paper we construct the graphs C(Y) and D(Y) with vertex sets Acyc(Y) and whose connected components encode the equivalence classes. The number of connected c…
Comparability graphs are graphs which have transitive orientations. The dimension of a poset is the least number of linear orders whose intersection gives this poset. The dimension ${\rm dim}(X)$ of a comparability graph $X$ is the dimension of any transitive orientation of X, and by $k$-DIM we denote the class of comparability graphs $X$ with ${\rm dim}(X) \le k$. It is known that the complements of comparability graphs are exactly function graphs and permutation graphs equal 2-DIM. In this paper, we characterize the automorphism groups of permutation graphs similarly to Jordan's characteriza…
We prove that the dimension of every poset whose comparability graph has maximum degree $Δ$ is at most $Δ\log^{1+o(1)} Δ$. This result improves on a 30-year old bound of Füredi and Kahn, and is within a $\log^{o(1)}Δ$ factor of optimal. We prove this result via the notion of boxicity. The "boxicity" of a graph $G$ is the minimum integer $d$ such that $G$ is the intersection graph of $d$-dimensional axis-aligned boxes. We prove that every graph with maximum degree $Δ$ has boxicity at most $Δ\log^{1+o(1)} Δ$, which is also within a $\log^{o(1)}Δ$ factor of optimal. We also show that the maximum …
We consider two orientation problems in a graph, namely the minimization of the sum of all the shortest path lengths and the minimization of the diameter. We show that it is NP-complete to decide whether a graph has an orientation such that the sum of all the shortest paths lengths is at most an integer specified in the input. The proof is a short reduction from a result of Chvátal and Thomassen showing that it is NP-complete to decide whether a graph can be oriented so that its diameter is at most 2. In contrast, for each positive integer k, we describe a linear-time algorithm that decides fo…
Motivated by the geometry of certain hyperplane arrangements, Manin and Schechtman defined for each positive integer n a hierarchy of finite partially ordered sets B(n, k), indexed by positive integers k, called the higher Bruhat orders. The poset B(n, 1) is naturally identified with the weak left Bruhat order on the symmetric group S_n, each B(n, k) has a unique maximal and a unique minimal element, and the poset B(n, k + 1) can be constructed from the set of maximal chains in B(n, k). Elias has demonstrated a striking connection between the posets B(n, k) for k = 2 and the diagrammatics of B…
We introduce an extension, indexed by a partially ordered set P and cardinal numbers k,l, denoted by (k,l)-->P, of the classical relation (k,n,l)--> r in infinite combinatorics. By definition, (k,n,l)--> r holds, if every map from the n-element subsets of k to the subsets of k with less than l elements has a r-element free set. For example, Kuratowski's Free Set Theorem states that (k,n,l)-->n+1 holds iff k is larger than or equal to the n-th cardinal successor l^{+n} of the infinite cardinal k. By using the (k,l)-->P framework, we present a self-contained proof of the first author's result th…
We introduce the concept of a bounded below set in a lattice. This can be used to give a generalization of Rota's broken circuit theorem to any finite lattice. We then show how this result can be used to compute and combinatorially explain the Möbius function in various examples including non-crossing set partitions, shuffle posets, and integer partitions in dominance order. Next we present a generalization of Stanley's theorem that the characteristic polynomial of a semimodular supersolvable lattice factors over the integers. We also give some applications of this second main theorem, includi…
HUN-REN Alfréd Rényi Institute of Mathematics（匈牙利科学院阿尔弗雷德·雷尼数学研究所）；Academy of Plateau Science and Sustainability, and School of Mathematics and Statistics, Qinghai Normal University（青海师范大学高原科学与可持续发展学院、数学与统计学院）
Let $G$ be a graph, let $k$ be a positive integer, and let $p:V(G)\rightarrow Z_k$ be a mapping with $|E(G)| \stackrel{k}{\equiv}\sum_{v\in V(G)}p(v) $. In this paper, we show that if $G$ is $(3k-3)$-edge-connected, then it has an orientation such that for each vertex $v$, $|d^+_G(v)-d_G(v)/2| < k$; also if $G$ contains $2k-2$ edge-disjoint spanning trees, then it admits such an orientation but by imposing greater out-degree bounds.
An antimagic labeling of a directed graph $D$ with $n$ vertices and $m$ arcs is a bijection from the set of arcs of $D$ to the integers $\{1, \cdots, m\}$ such that all $n$ oriented vertex sums are pairwise distinct, where an oriented vertex sum is the sum of labels of all arcs entering that vertex minus the sum of labels of all arcs leaving it. An undirected graph $G$ is said to have an antimagic orientation if $G$ has an orientation which admits an antimagic labeling. Hefetz, M{ü}tze, and Schwartz conjectured that every connected undirected graph admits an antimagic orientation. In this pape…
We introduce a modular (integral) complementary polynomial $κ(G;x,y)$ ($κ_{\mathbbm z}(G;x,y)$) of two variables of a graph $G$ by counting the number of modular (integral) complementary tension-flows (CTF) of $G$ with an orientation $ε$. We study these polynomials by further introducing a cut-Eulerian equivalence relation on orientations and geometric structures such as the complementary open lattice polyhedron $Δ_\textsc{ctf}(G,ε)$, the complementary open 0-1 polytope $Δ^+_\textsc{ctf}(G,ε)$, and the complementary open lattice polytopes $Δ^ρ_\textsc{ctf}(G,ε)$ with respect to orientations $ρ…
Lattice polytopes which possess the integer decomposition property (IDP for short) turn up in many fields of mathematics. It is known that if the Cayley sum of lattice polytopes possesses IDP, then so does their Minkowski sum. In this paper, the Cayley sum of the order polytope of a finite poset and the stable set polytope of a finite simple graph is studied. We show that the Cayley sum of an order polytope and the stable set polytope of a perfect graph possesses a regular unimodular triangulation and IDP, and hence so does their Minkowski sum. Moreover, it turns out that, for an order polytop…
For a rank two root system and a pair of nonnegative integers, using only elementary combinatorics we construct two posets. The constructions are uniform across the root systems A1+A1, A2, C2, and G2. Examples appear in Figures 3.2 and 3.3. We then form the distributive lattices of order ideals of these posets. Corollary 5.4 gives elegant quotient-of-products expressions for the rank generating functions of these lattices (thereby providing answers to a 1979 question of Stanley). Also, Theorem 5.3 describes how these lattices provide a new combinatorial setting for the Weyl characters of repre…
