arXiv++ Combinatorics

In section 1 we consider a 3-tuple $S=(|S|,\preccurlyeq,E)$ where $|S|$ is a finite set, $\preccurlyeq$ a partial ordering on $|S|,$ and $E$ a set of unordered pairs of distinct members of $|S|,$ and study, as a function of $n\geq 0,$ the number of maps $\varphi:|S|\to\{1,\dots,n\}$ which are both isotone with respect to the ordering $\preccurlyeq,$ and have the property that $\varphi(x)\neq \varphi(y)$ whenever $\{x,y\}\in E.$ We prove a number-theoretic result about this function, and use it in section 7 to recover a ring-theoretic identity of G. P. Hochschild. In section 2 we generalize a result of R. Stanley on the sign-imbalance of posets in which the lengths of all maximal chains have the same parity. In sections 3-6 we study the linearization-count and sign-imbalance of a lexicographic sum of $n$ finite posets $P_i$ $(1\leq i\leq n)$ over an $n$-element poset $P_0.$ We note how to compute these values from the corresponding counts for the given posets $P_i,$ and for a lexicographic sum over $P_0$ of chains of lengths $\mathrm{card}(P_i).$ This makes the behavior of lexicographic sums of chains over a finite poset $P_0$ of interest, and we obtain some general results on the linearization-count and sign-imbalance of these objects.

Whitney's broken circuit theorem gives a graphical example to reduce the number of the terms in the sum of the inclusion-exclusion formula by a predicted cancellation. So far, the known cancellations for the formula strongly depend on the prescribed (linear or partial) ordering on the index set. We give a new cancellation method, which does not require any ordering on the index set. Our method extends all the `ordering-based' methods known in the literatures and in general reduces more terms. As examples, we use our method to improve some relevant results on graph polynomials.

Restrictions of incidence-preserving path maps produce an oriented hypergraphic All Minors Matrix-tree Theorems for Laplacian and adjacency matrices. The images of these maps produce a locally signed graphic, incidence generalization, of cycle covers and basic figures that correspond to incidence-k-forests. When restricted to bidirected graphs the natural partial ordering of maps results in disjoint signed boolean lattices whose minor calculations correspond to principal order ideals. As an application, (1) the determinant formula of a signed graphic Laplacian is reclaimed and shown to be determined by the maximal positive-circle-free elements, and (2) spanning trees are equivalent to single-element order ideals.

Every set of natural numbers determines a generating function convergent for $q \in (-1,1)$ whose behavior as $q \rightarrow 1^-$ determines a germ. These germs admit a natural partial ordering that can be used to compare sizes of sets of natural numbers in a manner that generalizes both cardinality of finite sets and density of infinite sets. For any finite set $D$ of positive integers, call a set $S$ "$D$-avoiding" if no two elements of $S$ differ by an element of $D$. It is shown that any $D$-avoiding set that is maximal in the class of $D$-avoiding sets (with respect to germ-ordering) is ultimately periodic. This implies an analogous result for packings. It is conjectured that for all $D$ there is a unique maximal $D$-avoiding set, and that its germ is appreciably larger than the germs of all other $D$-avoiding sets.

Topological Ramsey spaces are spaces which support infinite dimensional Ramsey theory similarly to the Ellentuck space. Each topological Ramsey space is endowed with a partial ordering which can be modified to a $σ$-closed `almost reduction' relation analogously to the partial ordering of `mod finite' on $[ω]^ω$. Such forcings add new ultrafilters satisfying weak partition relations and have complete combinatorics. In cases where a forcing turned out to be equivalent to a topological Ramsey space, the strong Ramsey-theoretic techniques have aided in a fine-tuned analysis of the Rudin-Keisler and Tukey structures associated with the forced ultrafilter and in discovering new ultrafilters with complete combinatorics.This expository paper provides an overview of this collection of results and an entry point for those interested in using topological Ramsey space techniques to gain finer insight into ultrafilters satisfying weak partition relations.

We propose a procedure of constructing new block designs starting from a given one by looking at the intersections of its blocks with various sets and grouping those sets according to the structure of the intersections. We introduce a symmetric relationship of friendship between block designs built on a set $V$ and consider families of block designs where all designs are friends of each other, the so-called friendly families. We show that a friendly family admits a partial ordering. Furthermore, we exhibit a map from the power set of $V$, partially ordered by inclusion, to a friendly family of a particular type which preserves the partial order.

We introduce the notion of information ratio $\text{Ir}(H/G)$ between two (simple, undirected) graphs $G$ and $H$, defined as the supremum of ratios $k/n$ such that there exists a mapping between the strong products $G^k$ to $H^n$ that preserves non-adjacency. Operationally speaking, the information ratio is the maximal number of source symbols per channel use that can be reliably sent over a channel with a confusion graph $H$, where reliability is measured w.r.t. a source confusion graph $G$. Various results are provided, including in particular lower and upper bounds on $\text{Ir}(H/G)$ in terms of different graph properties, inequalities and identities for behavior under strong product and disjoint union, relations to graph cores, and notions of graph criticality. Informally speaking, $\text{Ir}(H/G)$ can be interpreted as a measure of similarity between $G$ and $H$. We make this notion precise by introducing the concept of information equivalence between graphs, a more quantitative version of homomorphic equivalence. We then describe a natural partial ordering over the space of information equivalence classes, and endow it with a suitable metric structure that is contractive under the strong product. Various examples and open problems are discussed.

In descending generality I survey: five partial orderings of graphs, the induced-subgraph ordering, and examples like perfect, threshold, and mock threshold graphs. The emphasis is on how the induced subgraph ordering differs from other popular orderings and leads to different basic questions.

In 2000, J. Shallit introduced a special partial ordering of a subset of positive integers and proposed the problem of finding the set of minimal elements with respect to this ordering. Shallit himself solved this problem for the set of primes and also for the set of composite numbers. In this recreational mathematics note, we compute the minimal sets of a few other arithmetically interesting sets and discuss questions on size and shape of minimal sets in general.

We present a refinement of Ramsey numbers by considering graphs with a partial ordering on their vertices. This is a natural extension of the ordered Ramsey numbers. We formalize situations in which we can use arbitrary families of partially-ordered sets to form host graphs for Ramsey problems. We explore connections to well studied Turán-type problems in partially-ordered sets, particularly those in the Boolean lattice. We find a strong difference between Ramsey numbers on the Boolean lattice and ordered Ramsey numbers when the partial ordering on the graphs have large antichains.

Let $\mathcal{G}$ be the set of all connected graphs on vertex set $[n]$. Define the partial ordering $<$ on $\mathcal{G}$ as follows: for $G,H\in \mathcal{G}$ let $G<H$ if $E(G)\subset E(H)$. The poset $(\mathcal{G},<)$ is graded, each level containing the connected graphs with the same number of edges. We prove that $(\mathcal{G},<)$ has the Sperner property, namely that the largest antichain of $(\mathcal{G},<)$ is equal to its largest sized level.

A poset $\bfp$ is well-partially ordered (WPO) if all its linear extensions are well orders~; the supremum of ordered types of these linear extensions is the {\em length}, $\ell(\bfp)$ of $\bfp$. We prove that if the vertex set $X$ of $\bfp$ is infinite, of cardinality $κ$, and the ordering $\leq$ is the intersection of finitely many partial orderings $\leq_i$ on $X$, $1\leq i\leq n$, then, letting $\ell(X,\leq_i)=κ\multordby q_i+r_i$, with $r_i<κ$, denote the euclidian division by $κ$ (seen as an initial ordinal) of the length of the corresponding poset~:\[ \ell(\bfp)< κ\multordby\bigotimes_{1\leq i\leq n}q_i+ \Big|\sum_{1\leq i\leq n} r_i\Big|^+ \] where $|\sum r_i|^+$ denotes the least initial ordinal greater than the ordinal $\sum r_i$. This inequality is optimal (for $n\geq 2$).

The Boolean lattice $2^{[n]}$ is the power set of $[n]$ ordered by inclusion. A chain $c_{0}\subset...\subset c_{k}$ in $2^{[n]}$ is rank-symmetric, if $|c_{i}|+|c_{k-i}|=n$ for $i=0,...,k$; and it is symmetric, if $|c_{i}|=(n-k)/2+i$. We show that there exist a bijection $$p: [n]^{(\geq n/2)}\rightarrow [n]^{(\leq n/2)}$$ and a partial ordering $<$ on $[n]^{(\geq n/2)}$ satisfying the following properties: (i) $\subset$ is an extension of $<$ on $[n]^{(\geq n/2)}$; (ii) if $C\subset [n]^{(\geq n/2)}$ is a chain with respect to $<$, then $p(C)\cup C$ is a rank-symmetric chain in $2^{[n]}$, where $p(C)=\{p(x): x\in C\}$; (iii) the poset $([n]^{(\geq n/2)},<)$ has the so called normalized matching property. We show two applications of this result. A conjecture of Füredi asks if $2^{[n]}$ can be partitioned into $\binom{n}{\lfloor n/2\rfloor}$ chains such that the size of any two chains differ by at most 1. We prove an asymptotic version of this conjecture with the additional condition that every chain in the partition is rank-symmetric: $2^{[n]}$ can be partitioned into $\binom{n}{\lfloor n/2\rfloor}$ rank-symmetric chains, each of size $Θ(\sqrt{n})$.

We study the family of causal double product integrals \begin{equation*} \prod_{a < x < y < b}\left(1 + i{λ\over 2}(dP_x dQ_y - dQ_x dP_y) + i {μ\over 2}(dP_x dP_y + dQ_x dQ_y)\right) \end{equation*} where $P$ and $Q$ are the mutually noncommuting momentum and position Brownian motions of quantum stochastic calculus. The evaluation is motivated heuristically by approximating the continuous double product by a discrete product in which infinitesimals are replaced by finite increments. The latter is in turn approximated by the second quantisation of a discrete double product of rotation-like operators in different planes due to a result in [Hudson-Pei2015]. The main problem solved in this paper is the explicit evaluation of the continuum limit $W$ of the latter, and showing that $W$ is a unitary operator. The kernel of $W$ is written in terms of Bessel functions, and the evaluation is achieved by working on a lattice path model and enumerating linear extensions of related partial orderings, where the enumeration turns out to be heavily related to Dyck paths and generalisations of Catalan numbers.

We consider the connected variant of the classic mixed search game where, in each search step, cleaned edges form a connected subgraph. We consider graph classes with bounded connected (and monotone) mixed search number and we deal with the question whether the obstruction set, with respect of the contraction partial ordering, for those classes is finite. In general, there is no guarantee that those sets are finite, as graphs are not well quasi ordered under the contraction partial ordering relation. In this paper we provide the obstruction set for $k=2$, where $k$ is the number of searchers we are allowed to use. This set is finite, it consists of 177 graphs and completely characterises the graphs with connected (and monotone) mixed search number at most 2. Our proof reveals that the "sense of direction" of an optimal search searching is important for connected search which is in contrast to the unconnected original case. We also give a double exponential lower bound on the size of the obstruction set for the classes where this set is finite.

We consider several families of combinatorial polytopes associated with the following NP-complete problems: maximum cut, Boolean quadratic programming, quadratic linear ordering, quadratic assignment, set partition, set packing, stable set, 3-assignment. For comparing two families of polytopes we use the following method. We say that a family $P$ is affinely reduced to a family $Q$ if for every polytope $p\in P$ there exists $q\in Q$ such that $p$ is affinely equivalent to $q$ or to a face of $q$, where $\dim q = O((\dim p)^k)$ for some constant $k$. Under this comparison the above-mentioned families are splitted into two equivalence classes. We show also that these two classes are simpler (in the above sence) than the families of poytopes of the following problems: set covering, traveling salesman, 0-1 knapsack problem, 3-satisfiability, cubic subgraph, partial ordering. In particular, Boolean quadratic polytopes appear as faces of polytopes in every of the mentioned families.

Let $P$ be the Gelfand--Tsetlin polytope defined by the skew shape $λ/μ$ and weight $w$. In the case corresponding to a standard Young tableau, we completely characterize for which shapes $λ/μ$ the polytope $P$ is integral. Furthermore, we show that $P$ is a compressed polytope whenever it is integral and corresponds to a standard Young tableau. We conjecture that a similar property hold for arbitrary $w$, namely that $P$ has the integer decomposition property whenever it is integral. Finally, a natural partial ordering on GT-polytopes is introduced that provides information about integrality and the integer decomposition property, which implies the conjecture for certain shapes.

We define a partial ordering on the set Q = Q(M) of pairs of topes of an oriented matroid M, and show the geometric realization |Q| of the order complex of Q has the same homotopy type as the Salvetti complex of M. For any element e of the ground set, the complex |Qe| associated to the rank-one oriented matroid on {e} has the homotopy type of the circle. There is a natural free simplicial action of Z4 on |Q|, with orbit space isomorphic to the order complex of the poset Q(M,e) associated to the pointed (or affine) oriented matroid (M,e). If M is the oriented matroid of an arrangement A of linear hyperplanes in real space, the Z_4 action corresponds to the diagonal action of C* on the complement M of the complexification of A: |Q| is equivariantly homotopy-equivalent to M under the identification of Z_4 with {+1, i, -1, -i}, and |Q(M, e)| is homotopy-equivalent to the complement of the decone of A relative to the hyperplane corresponding to e. All constructions and arguments are carried out at the level of the underlying posets. If a group G acts on the set of topes of M preserving adjacency, then G acts simplicially on |Q|. We also show that the class of fundamental groups of such complexes is strictly larger than the class of fundamental groups of complements of complex hyperplane arrangements. Specifically, the group of the non-Pappus arrange- ment is not isomorphic to any realizable arrangement group.

This paper investigates some properties of the number of subtrees of a tree with given degree sequence. These results are used to characterize trees with the given degree sequence that have the largest number of subtrees, which generalizes the recent results of Kirk and Wang. These trees coincide with those which were proven by Wang and independently Zhang et al. to minimize the Wiener index. We also provide a partial ordering of the extremal trees with different degree sequences, some extremal results follow as corollaries.

The immersion relation is a partial ordering relation on graphs that is weaker than the topological minor relation in the sense that if a graph $G$ contains a graph $H$ as a topological minor, then it also contains it as an immersion but not vice versa. Kuratowski graphs, namely $K_{5}$ and $K_{3,3}$, give a precise characterization of planar graphs when excluded as topological minors. In this note we give a structural characterization of the graphs that exclude Kuratowski graphs as immersions. We prove that they can be constructed by applying consecutive $i$-edge-sums, for $i\leq 3$, starting from graphs that are planar sub-cubic or of branch-width at most 10.