arXiv++ Combinatorics

A geometric graph G(bar) is a simple graph drawn in the plane, on points in general position, with straight-line edges. We call G(bar) a geometric realization of the underlying abstract graph G. A geometric homomorphism is a vertex map that preserves adjacencies and crossings (but not necessarily non-adjacencies or non-crossings). This work uses geometric homomorphisms to introduce a partial order on the set of isomorphism classes of geometric realizations of an abstract graph G. We say G(bar) precedes G(hat) if G(bar) and G(hat) are geometric realizations of G and there is a vertex-injective geometric homomorphism from G(bar) to G(hat). This paper develops tools to determine when two geometric realizations are comparable. Further, for 3 \leq n \leq 6, this paper provides the isomorphism classes of geometric realizations of P_n, C_n and K_n, as well as the Hasse diagrams of the geometric homomorphism posets of these graphs. The paper also provides the following results for general n: the poset of P_n and C_n has a unique minimal element and a unique maximal element; if k \leq n then the poset of P_k (resp., the poset of C_k) is a subposet of the poset for P_n (resp., C_n); and the poset for K_n contains a chain of length n-2.

Let $G$ be a complex quasi-simple algebraic group and $G/P$ be a partial flag variety. The projections of Richardson varieties from the full flag variety form a stratification of $G/P$. We show that the closure partial order of projected Richardson varieties agrees with that of a subset of Schubert varieties in the affine flag variety of $G$. Furthermore, we compare the torus-equivariant cohomology and $K$-theory classes of these two stratifications by pushing or pulling these classes to the affine Grassmannian. Our work generalizes results of Knutson, Lam, and Speyer for the Grassmannian of type $A$.

The competition graph of a doubly partial order is known to be an interval graph. The CCE graph and the niche graph of a doubly partial order are also known to be interval graphs if the graphs do not contain a cycle of length four and three as an induced subgraph, respectively. Phylogeny graphs are variant of competition graphs. The phylogeny graph $P(D)$ of a digraph $D$ is the (simple undirected) graph defined by $V(P(D)):=V(D)$ and $E(P(D)):=\{xy \mid N^+_D(x) \cap N^+_D(y) \neq \emptyset \} \cup \{xy \mid (x,y) \in A(D) \}$, where $N^+_D(x):=\{v \in V(D) \mid (x,v) \in A(D)\}$. In this note, we show that the phylogeny graph of a doubly partial order is an interval graph. We also show that, for any interval graph $G$, there exists an interval graph $\tilde{G}$ such that $\tilde{G}$ contains the graph $G$ as an induced subgraph and that $\tilde{G}$ is the phylogeny graph of a doubly partial order.

Let $B$ be the group of invertible upper-triangular complex $n\times n$ matrices, $\mathfrak{u}$ the space of upper-triangular complex matrices with zeroes on the diagonal and $\mathfrak{u}^*$ its dual space. The group $B$ acts on $\mathfrak{u}^*$ by $(g.f)(x)=f(gxg^{-1})$, $g\in B$, $f\in\mathfrak{u}^*$, $x\in\mathfrak{u}$. To each involution $σ$ in $S_n$, the symmetric group on $n$ letters, one can assign the $B$-orbit $Ω_σ\in\mathfrak{u}^*$. We present a combinatorial description of the partial order on the set of involutions induced by the orbit closures. The answer is given in terms of rook placements and is dual to A. Melnikov's results on $B$-orbits on $\mathfrak{u}$. Using results of F. Incitti, we also prove that this partial order coincides with the restriction of the Bruhat--Chevalley order to the set of involutions.

We define a family of ideals $I_h$ in the polynomial ring $\mathbb{Z}[x_1,...,x_n]$ that are parametrized by Hessenberg functions $h$ (equivalently Dyck paths or ample partitions). The ideals $I_h$ generalize algebraically a family of ideals called the Tanisaki ideal, which is used in a geometric construction of permutation representations called Springer theory. To define $I_h$, we use polynomials in a proper subset of the variables ${x_1,...,x_n}$ that are symmetric under the corresponding permutation subgroup. We call these polynomials {\em truncated symmetric functions} and show combinatorial identities relating different kinds of truncated symmetric polynomials. We then prove several key properties of $I_h$, including that if $h>h'$ in the natural partial order on Dyck paths then $I_{h} \subset I_{h'}$, and explicitly construct a Gröbner basis for $I_h$. We use a second family of ideals $J_h$ for which some of the claims are easier to see, and prove that $I_h = J_h$. The ideals $J_h$ arise in work of Ding, Develin-Martin-Reiner, and Gasharov-Reiner on a family of Schubert varieties called partition varieties. Using earlier work of the first author, the current manuscript proves that the ideals $I_h = J_h$ generalize the Tanisaki ideals both algebraically and geometrically, from Springer varieties to a family of nilpotent Hessenberg varieties.

We study countable embedding-universal and homomorphism-universal structures and unify results related to both of these notions. We show that many universal and ultrahomogeneous structures allow a concise description (called here a finite presentation). Extending classical work of Rado (for the random graph), we find a finite presentation for each of the following classes: homogeneous undirected graphs, homogeneous tournaments and homogeneous partially ordered sets. We also give a finite presentation of the rational Urysohn metric space and some homogeneous directed graphs. We survey well known structures that are finitely presented. We focus on structures endowed with natural partial orders and prove their universality. These partial orders include partial orders on sets of words, partial orders formed by geometric objects, grammars, polynomials and homomorphism orders for various combinatorial objects. We give a new combinatorial proof of the existence of embedding-universal objects for homomorphism-defined classes of structures. This relates countable embedding-universal structures to homomorphism dualities (finite homomorphism-universal structures) and Urysohn metric spaces. Our explicit construction also allows us to show several properties of these structures.

A geometric graph is a simple graph G together with a straight line drawing of G in the plane with the vertices in general position. Two geometric realizations of a simple graph are geo-isomorphic if there is a vertex bijection between them that preserves vertex adjacencies and non-adjacencies, as well as edge crossings and non-crossings. A natural extension of graph homomorphisms, geo-homomorphisms, can be used to define a partial order on the set of geo-isomorphism classes of realizations of a given simple graph. In this paper, the homomorphism poset of the complete bipartite graph K_{2,n} is determined by establishing a correspondence between realizations of K_{2,n} and permutations of S_n, in which crossing edges correspond to inversions. Through this correspondence, geo-isomorphism defines an equivalence relation on S_n, which we call geo-equivalence. The number of geo-isomorphism classes is provided for all n <= 9. The modular decomposition tree of permutation graphs is used to prove some results on the size of geo-equivalence classes. A complete list of geo-equivalence classes and a Hasse diagrams of the poset structure are given for n <= 5.

We study the \emph{picture space} $X^d(G)$ of all embeddings of a finite graph $G$ as point-and-line arrangements in an arbitrary-dimensional projective space, continuing previous work on the planar case. The picture space admits a natural decomposition into smooth quasiprojective subvarieties called \emph{cellules}, indexed by partitions of the vertex set of $G$, and the irreducible components of $X^d(G)$ correspond to cellules that are maximal with respect to a partial order on partitions that is in general weaker than refinement. We study both general properties of this partial order and its characterization for specific graphs. Our results include complete combinatorial descriptions of the irreducible components of the picture spaces of complete graphs and complete multipartite graphs, for any ambient dimension $d$. In addition, we give two graph-theoretic formulas for the minimum ambient dimension in which the directions of edges in an embedding of $G$ are mutually constrained.

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 transitive binary relation on $S$. The dimension of $\poset$, $\dim(\poset)$ is the minimum integer $t$ such that $P$ can be expressed as the intersection of $t$ total orders. Let $G_\poset$ be the \emph{underlying comparability graph} of $\poset$, i.e. $S$ is the vertex set and two vertices are adjacent if and only if they are comparable in $\poset$. It is a well-known fact that posets with the same underlying comparability graph have the same dimension. The first result of this paper links the dimension of a poset to the boxicity of its underlying comparability graph. In particular, we show that for any poset $\poset$, $\boxi(G_\poset)/(χ(G_\poset)-1) \le \dim(\poset)\le 2\boxi(G_\poset)$, where $χ(G_\poset)$ is the chromatic number of $G_\poset$ and $χ(G_\poset)\ne1$. It immediately follows that if $\poset$ is a height-2 poset, then $\boxi(G_\poset)\le \dim(\poset)\le 2\boxi(G_\poset)$ since the underlying comparability graph of a height-2 poset is a bipartite graph. The second result of the paper relates the boxicity of a graph $G$ with a natural partial order associated with the \emph{extended double cover} of $G$, denoted as $G_c$: Note that $G_c$ is a bipartite graph with partite sets $A$ and $B$ which are copies of $V(G)$ such that corresponding to every $u\in V(G)$, there are two vertices $u_A\in A$ and $u_B\in B$ and $\{u_A,v_B\}$ is an edge in $G_c$ if and only if either $u=v$ or $u$ is adjacent to $v$ in $G$. Let $\poset_c$ be the natural height-2 poset associated with $G_c$ by making $A$ the set of minimal elements and $B$ the set of maximal elements. We show that $\frac{\boxi(G)}{2} \le \dim(\poset_c) \le 2\boxi(G)+4$. These results have some immediate and significant consequences. The upper bound $\dim(\poset)\le 2\boxi(G_\poset)$ allows us to derive hitherto unknown upper bounds for poset dimension such as $\dim(\poset)\le 2\tw(G_\poset)+4$, since boxicity of any graph is known to be at most its $\tw+2$. In the other direction, using the already known bounds for partial order dimension we get the following: (1) The boxicity of any graph with maximum degree $Δ$ is $O(Δ\log^2Δ)$ which is an improvement over the best known upper bound of $Δ^2+2$. (2) There exist graphs with boxicity $Ω(Δ\logΔ)$. This disproves a conjecture that the boxicity of a graph is $O(Δ)$. (3) There exists no polynomial-time algorithm to approximate the boxicity of a bipartite graph on $n$ vertices with a factor of $O(n^{0.5-ε})$ for any $ε>0$, unless $NP=ZPP$.

We survey structures endowed with natural partial orderings and prove their universality. These partial orders include partial orders on sets of words, partial orders formed by geometric objects, grammars, polynomials and homomorphism order for various combinatorial objects.

When a finite group acts linearly on a complex vector space, the natural semi-direct product of the group and the polynomial ring over the space forms a skew group algebra. This algebra plays the role of the coordinate ring of the resulting orbifold and serves as a substitute for the ring of invariant polynomials from the viewpoint of geometry and physics. Its Hochschild cohomology predicts various Hecke algebras and deformations of the orbifold. In this article, we investigate the ring structure of the Hochschild cohomology of the skew group algebra. We show that the cup product coincides with a natural smash product, transferring the cohomology of a group action into a group action on cohomology. We express the algebraic structure of Hochschild cohomology in terms of a partial order on the group (modulo the kernel of the action). This partial order arises after assigning to each group element the codimension of its fixed point space. We describe the algebraic structure for Coxeter groups, where this partial order is given by the reflection length function; a similar combinatorial description holds for an infinite family of complex reflection groups.

A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This algebraic structure is shown to provide faithful interpretations of finitary process algebras, for an extension of the standard notion of testing semantics, leading to a model that is both denotational (in the sense that the internal workings of processes are ignored) and non-interleaving. Constructions on algebras and their subspaces enjoy a good structure that make them (nearly) a model of differential linear logic, showing that the underlying approach to the representation of non-determinism as linear combinations is the same.

We prove a formula expressing the Kerov polynomial $Σ_k$ as a weighted sum over the lattice of noncrossing partitions of the set $\{1,...,k+1\}$. In particular, such a formula is related to a partial order $\mirr$ on the Lehner's irreducible noncrossing partitions which can be described in terms of left-to-right minima and maxima, descents and excedances of permutations. This provides a translation of the formula in terms of the Cayley graph of the symmetric group $\frak{S}_k$ and allows us to recover the coefficients of $Σ_k$ by means of the posets $P_k$ and $Q_k$ of pattern-avoiding permutations discovered by Bóna and Simion. We also obtain symmetric functions specializing in the coefficients of $Σ_k$.

Bipartitional relations were introduced by Foata and Zeilberger in their characterization of relations which give rise to equidistribution of the associated inversion statistic and major index. We consider the natural partial order on bipartitional relations given by inclusion. We show that, with respect to this partial order, the bipartitional relations on a set of size $n$ form a graded lattice of rank $3n-2$. Moreover, we prove that the order complex of this lattice is homotopy equivalent to a sphere of dimension $n-2$. Each proper interval in this lattice has either a contractible order complex, or it is isomorphic to the direct product of Boolean lattices and smaller lattices of bipartitional relations.As a consequence, we obtain that the Möbius function of every interval is 0, 1, or -1. The main tool in the proofs is discrete Morse theory as developed by Forman, and an application of this theory to order complexes of graded posets, designed by Babson and Hersh, in the extended form of Hersh and Welker.

This is the second in a series of papers developing a theory of total positivity for loop groups. In this paper, we study infinite products of Chevalley generators. We show that the combinatorics of infinite reduced words underlies the theory, and develop the formalism of infinite sequences of braid moves, called a braid limit. We relate this to a partial order, called the limit weak order, on infinite reduced words. The limit semigroup generated by Chevalley generators has a transfinite structure. We prove a form of unique factorization for its elements, in effect reducing their study to infinite products which have the order structure of the natural numbers. For the latter infinite products, we show that one always has a factorization which matches an infinite Coxeter element. One of the technical tools we employ is a totally positive exchange lemma which appears to be of independent interest. This result states that the exchange lemma (in the context of Coxeter groups) is compatible with total positivity in the form of certain inequalities.

The competition graph of a doubly partial order is known to be an interval graph. The competition-common enemy graph of a doubly partial order is also known to be an interval graph unless it contains a cycle of length 4 as an induced subgraph. In this paper, we show that the niche graph of a doubly partial order is not necessarily an interval graph. In fact, we prove that, for each integer n at least 4, there exists a doubly partial order whose niche graph contains an induced subgraph isomorphic to a cycle of length n. We also show that if the niche graph of a doubly partial order is triangle-free, then it is an interval graph.

A permutation τcontains another permutation σas a pattern if τhas a subsequence whose elements are in the same order with respect to size as the elements in σ. This defines a partial order on the set of all permutations, and gives a graded poset P. We give a large class of pairs of permutations whose intervals in P have Mobius function 0. Also, we give a solution to the problem when σoccurs precisely once in τ, and σand τsatisfy certain further conditions, in which case the Mobius function is shown to be either -1, 0 or 1. We conjecture that for intervals [σ,τ] consisting of permutations avoiding the pattern 132, the magnitude of the Mobius function is bounded by the number of occurrences of σin τ. We also conjecture that the Mobius function of the interval [1,τ] is -1, 0 or 1.

Let $B$ be a finite Boolean algebra. Let $\mathcal A$ be the partial order of all implication sublattices of $B$. We will compute the Möbius function on $\mathcal A$ in two different ways.

The paper establishes a connection between two recent combinatorial developments in free probability: the non-crossing linked partitions introduced by Dykema in 2007 to study the S-transform, and the partial order << on NC(n) introduced by Belinschi and Nica in 2008 in order to study relations between free and Boolean probability. More precisely, one has a canonical bijection between NCL(n) (the set of all non-crossing linked partitions of {1, ..., n}) and the set {(p,q) | p,q in NC(n), p<<q}. As a consequence of this bijection, one gets an alternative description of Dykema's formula expressing the moments of a noncommutative random variable a in terms of the coefficients of the reciprocal S-transform 1/S_a. Moreover, due to the Boolean features of <<, this formula can be simplified to a form which resembles the moment-cumulant formula from c-free probability.

We study the structure of a uniformly randomly chosen partial order of width 2 on n elements. We show that under the appropriate scaling, the number of incomparable elements converges to the height of a one dimensional Brownian excursion at a uniformly chosen random time in the interval [0,1], which follows the Rayleigh distribution.