arXiv++ Combinatorics

We encode arbitrary finite impartial combinatorial games in terms of lattice points in rational convex polyhedra. Encodings provided by these \emph{lattice games} can be made particularly efficient for octal games, which we generalize to \emph{squarefree games}. These additionally encompass all heap games in a natural setting, in which the Sprague-Grundy theorem for normal play manifests itself geometrically. We provide an algorithm to compute normal play strategies. The setting of lattice games naturally allows for mis`ere play, where 0 is declared a losing position. Lattice games also allow situations where larger finite sets of positions are declared losing. Generating functions for sets of winning positions provide data structures for strategies of lattice games. We conjecture that every lattice game has a \emph{rational strategy}: a rational generating function for its winning positions. Additionally, we conjecture that every lattice game has an \emph{affine stratification}: a partition of its set of winning positions into a finite disjoint union of finitely generated modules for affine semigroups.

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 define cut-and-paste, a construction which, given a quadriculated disk obtains a disjoint union of quadriculated disks of smaller total area. We provide two examples of the use of this procedure as a recursive step. Tilings of a disk $Δ$ receive a parity: we construct a perfect or near-perfect matching of tilings of opposite parities. Let $B_Δ$ be the black-to-white adjacency matrix: we factor $B_Δ= L\tilde DU$, where $L$ and $U$ are lower and upper triangular matrices, $\tilde D$ is obtained from a larger identity matrix by removing rows and columns and all entries of $L$, $\tilde D$ and $U$ are equal to 0, 1 or -1.

One of the more recent generalizations of the Erdös-Ko-Rado theorem, formulated by Holroyd, Spencer and Talbot, defines the Erdös-Ko-Rado property for graphs in the following manner: for a graph G and a positive integer r, G is said to be r-EKR if no intersecting subfamily of the family of all independent vertex sets of size r is larger than the largest star, where a star centered at a vertex v is the family of all independent sets of size $r$ containing v. In this paper, we prove that if G is a disjoint union of chordal graphs, including at least one singleton, then G is r-EKR if $r\leq mu(G)/2$, where mu(G) is the minimum size of a maximal independent set. We will also prove Erdös-Ko-Rado results for chains of complete graphs, which are a class of chordal graphs obtained by blowing up edges of a path into complete graphs. We also consider similar problems for ladder graphs and trees, and prove preliminary results for these graphs.

We call a family G of subsets of [n] a k-generator of (\mathbb{P}[n]) if every (x \subset [n]) can be expressed as a union of at most k disjoint sets in (\mathcal{G}). Frein, Leveque and Sebo conjectured that for any (n \geq k), such a family must be at least as large as the k-generator obtained by taking a partition of [n] into classes of sizes as equal as possible, and taking the union of the power-sets of the classes. We generalize a theorem of Alon and Frankl \cite{alon} in order to show that for fixed k, any k-generator of (\mathbb{P}[n]) must have size at least (k2^{n/k}(1-o(1))), thereby verifying the conjecture asymptotically for multiples of k.

S is a local maximum stable set of a graph G, if the set S is a maximum stable set of the subgraph induced by its closed neighborhood. In (Levit, Mandrescu, 2002) we have proved that the family of all local maximum stable sets is a greedoid for every forest. The cases of bipartite graphs and triangle-free graphs were analyzed in (Levit, Mandrescu, 2004) and (Levit, Mandrescu, 2007), respectively. In this paper we give necessary and sufficient conditions for the family of all local maximum stable sets of a graph G to form a greedoid, where G is: (a) the disjoint union of a family of graphs; (b) the Zykov sum of a family of graphs, or (c) the corona X*{H_1,H_2,...,H_n} obtained by joining each vertex k of a graph X to all the vertices of a graph H_k.

We prove that the subset sum problem has a polynomial time computable certificate of infeasibility for all $a$ weight vectors with density at most $1/(2n)$ and for almost all integer right hand sides. The certificate is branching on a hyperplane, i.e. by a methodology dual to the one explored by Lagarias and Odlyzko; Frieze; Furst and Kannan; and Coster et. al. The proof has two ingredients. We first prove that a vector that is near parallel to $a$ is a suitable branching direction, regardless of the density. Then we show that for a low density $a$ such a near parallel vector can be computed using diophantine approximation, via a methodology introduced by Frank and Tardos. We also show that there is a small number of long intervals whose disjoint union covers the integer right hand sides, for which the infeasibility is proven by branching on the above hyperplane.

We say that two graphs are similar if their adjacency matrices are similar matrices. We show that the square grid $G_n$ of order $n$ is similar to the disjoint union of two copies of the quartered Aztec diamond $QAD_{n-1}$ of order $n-1$ with the path $P_n^{(2)}$ on $n$ vertices having edge weights equal to~2. Our proof is based on an explicit change of basis in the vector space on which the adjacency matrix acts. The arguments verifying that this change of basis works are combinatorial. In particular, this allows computing the number of spanning trees of quartered Aztec diamonds. We present and analyze three more families of graphs that share the above described ``linear squarishness'' property of square grids: odd Aztec diamonds, mixed Aztec diamonds, and Aztec pillowcases--graphs obtained from two copies of an Aztec diamond by identifying the corresponding vertices on their convex hulls. We apply the above results to enumerate all the symmetry classes of spanning trees of the even Aztec diamonds, and all the symmetry classes not involving rotations of the spanning trees of odd and mixed Aztec diamonds. We also enumerate all but the base case of the symmetry classes of perfect matchings of odd square grids with the central vertex removed. In addition, we obtain a product formula for the number of spanning trees of Aztec pillowcases.

Given two graphs G and H its 1-{\it join} is the graph obtained by taking the disjoint union of G and H and adding all the edges between a nonempty subset of vertices of G and a nonempty subset of vertices of H. In general, composition operations of graphs has played a fundamental role in some structural results of graph theory and in particular the 1-join composition has played an important role in decomposition theorems of several class of graphs such as the claw-free graphs, the bull-free graphs, the perfect graphs, etc. A graph G is called {\it $α$-critical} if $α(G\setminus e)> α(G)$ for all the edges e of G, where $α(G)$, the {\it stability number} of G, is equal to the maximum cardinality of a stable set of G, and a set of vertices M of G is {\it stable} if no two vertices in M are adjacent. The study $α$-critical graphs is important, for instance a complete description of $α$-critical graphs would yield a good characterization of the stability number of G. In this paper we give necessary and sufficient conditions that G and H must satisfy in order to its 1-join will be an $α$-critical graph. Therefore we get a very useful way to construct basic $α$-critical graphs using the 1-join of graphs.

Let ${\frak M}_n$ be the set of equivariant unoriented cobordism classes of all $n$-dimensional 2-torus manifolds, where an $n$-dimensional 2-torus manifold $M$ is a smooth closed manifold of dimension $n$ with effective smooth action of a rank $n$ 2-torus group $({\Bbb Z}_2)^n$. Then ${\frak M}_n$ forms an abelian group with respect to disjoint union. This paper determines the group structure of ${\frak M}_n$ and shows that each class of ${\frak M}_n$ contains a small cover as its representative in the case $n=3$.

We consider 3 (weighted) posets associated with a graph G - the poset P(G) of distinct induced unlabelled subgraphs, the lattice Omega(G) of distinct unlabelled graphs induced by connected partitions, and the poset Q(G) of distinct unlabelled edge-subgraphs. We study these posets given up to isomorphism, and their relation to the reconstruction conjectures. We show that when G is not a star or a disjoint union of edges, P(G) and Omega(G) can be constructed from each other. The result implies that trees are reconstructible from their abstract bond lattice. We present many results on the reconstruction questions about the chromatic symmetric function and the symmetric Tutte polynomial. In particular, we show that the symmetric Tutte polynomial of a tree can be constructed from its chromatic symmetric function. We classify graphs that are not reconstructible from their abstract edge-subgraph posets, and further show that the families presented here are the only graphs not Q-reconstructible if and only if the edge reconstruction conjecture is true. Let f be a bijection from the set of all unlabelled graphs to itself such that for all unlabelled graphs G and H, hom(G,H) = hom(f(G), f(H)). We conjecture that f is an identity map. We show that this conjecture is weaker than the edge reconstruction conjecture. Our conjecture is motivated by homomorphism cancellation results due to Lovász.

The $k$-th power of a graph $G$ is the graph whose vertex set is $V(G)^k$, where two distinct $k$-tuples are adjacent iff they are equal or adjacent in $G$ in each coordinate. The Shannon capacity of $G$, $c(G)$, is $\lim_{k\to\infty}α(G^k)^{1/k}$, where $α(G)$ denotes the independence number of $G$. When $G$ is the characteristic graph of a channel $\mathcal{C}$, $c(G)$ measures the effective alphabet size of $\mathcal{C}$ in a zero-error protocol. A sum of channels, $\mathcal{C}=\sum_i \mathcal{C}_i$, describes a setting when there are $t\geq 2$ senders, each with his own channel $\mathcal{C}_i$, and each letter in a word can be selected from either of the channels. This corresponds to a disjoint union of the characteristic graphs, $G=\sum_i G_i$. We show that for any fixed $t$ and any family $F$ of subsets of $T={1,2,...,t}$, there are $t$ graphs $G_1,G_2, ...,G_t$, so that for every subset $I$ of $T$, the Shannon capacity of the disjoint union $\sum_{i \in I} G_i$ is "large" if $I$ contains a member of $F$, and is "small" otherwise.

We prove that if $G$ is a $2r$-regular edge graceful $(p,q)$ graph with $(r,kp)=1$ then $kG$ is edge graceful for odd $k$. We also prove that for certain specific classes of $2r$-regular edge graceful graphs it is possible to drop the requirement that $(r,kp)=1$

The rank of a skew partition $λ/μ$, denoted $rank(λ/μ)$, is the smallest number $r$ such that $λ/μ$ is a disjoint union of $r$ border strips. Let $s_{λ/μ}(1^t)$ denote the skew Schur function $s_{λ/μ}$ evaluated at $x_1=...=x_t=1, x_i=0$ for $i>t$. The zrank of $λ/μ$, denoted $zrank(λ/μ)$, is the exponent of the largest power of $t$ dividing $s_{λ/μ}(1^t)$. Stanley conjectured that $rank(λ/μ)=zrank(λ/μ)$. We show the equivalence between the validity of the zrank conjecture and the nonsingularity of restricted Cauchy matrices. In support of Stanley's conjecture we give affirmative answers for some special cases.

Rota's basis conjecture, open since 1989, states that if B_1, B_2, ..., B_n are n bases of a vector space of rank n, then there is an nxn grid of vectors such that the vectors in the ith row are precisely the elements of B_i and such that every column is also a basis. It is shown that Rota's basis conjecture follows from a similar conjecture that involves only three bases instead of n bases: If M is a matroid of rank n that is a disjoint union of 3 bases, and I_1, ..., I_n are disjoint independent sets with |I_i| <= 3, then there exists an nx3 grid G that contains each element of M exactly once, with the elements of I_i appearing in row i, such that the three columns of G are bases of M.

A graph property (i.e., a set of graphs) is induced-hereditary or additive if it is closed under taking induced-subgraphs or disjoint unions. If $\cP$ and $\cQ$ are properties, the product $\cP \circ \cQ$ consists of all graphs $G$ for which there is a partition of the vertex set of $G$ into (possibly empty) subsets $A$ and $B$ with $G[A] \in \cP$ and $G[B] \in \cQ$. A property is reducible if it is the product of two other properties, and irreducible otherwise. We completely describe the few reducible induced-hereditary properties that have a unique factorisation into irreducibles. Analogs of compositive and additive induced-hereditary properties are introduced and characterised in the style of Scheinerman [{\em Discrete Math}. {\bf 55} (1985) 185--193]. One of these provides an alternative proof that an additive hereditary property factors into irreducible additive hereditary properties.

For a graph G and integer r\geq 1 we denote the collection of independent r-sets of G by I^{(r)}(G). If v\in V(G) then I_v^{(r)}(G) is the collection of all independent r-sets containing v. A graph G, is said to be r-EKR, for r\geq 1, iff no intersecting family A\subseteq I^{(r)}(G) is larger than max_{v\in V(G)}|I^{(r)}_v(G)|. There are various graphs which are known to have this property: the empty graph of order n\geq 2r (this is the celebrated Erdos-Ko-Rado theorem), any disjoint union of at least r copies of K_t for t\geq 2, and any cycle. In this paper we show how these results can be extended to other classes of graphs via a compression proof technique. In particular we show that any disjoint union of at least r complete graphs, each of order at least two, is r-EKR. We also show that paths are r-EKR for all r\geq 1.

For a graph G and integer r \geq 1 we denote the family of independent r-sets of V(G) by I^{(r)}(G). A graph G is said to be r-EKR if no intersecting subfamily of I^{(r)}(G) is larger than the largest such family all of whose members contain some fixed v \in V(G). If this inequality is always strict, then G is said to be strictly r-EKR. We show that if a graph G is r-EKR then its lexicographic product with any complete graph is r-EKR. For any graph G, we define μ(G) to be the minimum size of a maximal independent vertex set. We conjecture that, if 1 \leq r \leq 1/2μ(G), then G is r-EKR, and if r<1/2μ(G), then G is strictly r-EKR. This is known to be true when G is an empty graph, a cycle, a path or the disjoint union of complete graphs. We show that it is also true when G is the disjoint union of a pair of complete multipartite graphs.

An additive hereditary graph property is a set of graphs, closed under isomorphism and under taking subgraphs and disjoint unions. Let ${\cal P}_1, >..., {\cal P}_n$ be additive hereditary graph properties. A graph $G$ has property $({\cal P}_1 \circ ... \circ {\cal P}_n)$ if there is a partition $(V_1, ..., V_n)$ of $V(G)$ into $n$ sets such that, for all $i$, the induced subgraph $G[V_i]$ is in ${\cal P}_i$. A property ${\cal P}$ is reducible if there are properties ${\cal Q}$, ${\cal R}$ such that ${\cal P} = {\cal Q} \circ {\cal R}$; otherwise it is irreducible. Mihók, Semanišin and Vasky [J. Graph Theory {\bf 33} (2000), 44--53] gave a factorisation for any additive hereditary property ${\cal P}$ into a given number $dc({\cal P})$ of irreducible additive hereditary factors. Mihók [Discuss. Math. Graph Theory {\bf 20} (2000), 143--153] gave a similar factorisation for properties that are additive and induced-hereditary (closed under taking induced-subgraphs and disjoint unions). Their results left open the possiblity of different factorisations, maybe even with a different number of factors; we prove here that the given factorisations are, in fact, unique.

We try to understand the behavior of exterior algebraic shifting with respect to basic constructions on simplicial complexes, like union and join. In particular we give a complete combinatorial description of the shifting of a disjoint union, and more generally of a union along a simplex, in terms of the shifting of its components. As a corollary, we prove the following, conjectured by Kalai: $Δ(K \cup L) = Δ(Δ(K) \cup Δ(L))$, where $K,L$ are complexes, $\cup$ means disjoint union, and $Δ$ is the exterior shifting operator. We give an example showing that replacing the operation 'union' with the operation 'join' in the above equation is wrong, disproving a conjecture made by Kalai. We adopt a homological point of view on the algebraic shifting operator, which is used throughout this work.