arXiv++ Combinatorics

Suppose that pebbles are distributed on the vertices of a directed graph D. A directed pebbling step u -> v along an arc u -> v removes two pebbles from u and places one pebble on v. We study the stacking number stack(D), the least integer t >= 2 such that every configuration with t pebbles can be transformed by a finite sequence of pebbling steps into a configuration with all pebbles on a single vertex, and the clearing number clear(D), defined analogously by requiring a final configuration with one pebble. Our main result is the formula stack(C_n) = n(2^{n-1}-1)+1 for the directed n-cycle C_n, for n >= 2. We also prove that, for finite simple digraphs with at least two vertices, stack(D) is defined precisely for strongly connected digraphs, and clear(D) is defined precisely for strongly connected digraphs whose directed cycle lengths have greatest common divisor 1.

Suppose that pebbles are distributed on the vertices of a graph G. A pebbling step along an edge uv removes two pebbles from u and places one pebble on v. We introduce two new graph parameters: stack(G): the least integer t such that every configuration with t pebbles can be transformed, by a finite sequence of pebbling steps, into a configuration with all pebbles on a single vertex. clear(G): defined analogously, but requiring that from every configuration with t pebbles, all but one pebble can be removed. We prove that stack(G) is defined exactly for connected graphs, and that clear(G) is defined exactly for connected non-bipartite graphs. We also establish general upper bounds for these parameters; in particular, stack(G), clear(G) <= 2 |V(G)| 2^diam(G), where diam(G) denotes the diameter of G. Among our exact results are the equalities stack(K_n) = clear(K_n) = n + 1, stack(K_{m,n}) = 3 max{m,n} + 1, stack(P_n) = 2^n - 1. We also establish general lower bounds in terms of the independence number and odd closed walks. For cycles, the situation is more delicate. We prove the lower bounds stack(C_{2n}) >= 2^{n+1} - 1, clear(C_{2n+1}) >= 3 * 2^n - 2, and formulate the Almost Stacked Hypothesis, motivated by Sjostrand's cover pebbling theorem. Assuming this hypothesis, we obtain stack(C_{2n}) = 2^{n+1} - 1, clear(C_{2n+1}) = 3 * 2^n - 2. At present, we do not have a conjecture for the exact value of stack(C_{2n+1}). Finally, computational evidence leads us to a conjectural closed formula for the stacking number of a tree in terms of the distances and degrees of the vertices relative to a chosen root.

A coloring of a direct product of graphs is said to be {\em trivial} iff it is induced by some coloring of a factor of the product. A graph $G$ is trivially power colorable iff every coloring of a finite power of $G$ with $χ(G)$-many colors is trivial. Greenwell and Lovász proved that the finite complete graphs $K_n$ for $n\ge 3$ are trivially power colorable. Generalizing their result we define a much wider class of trivially power-colorable graphs: if $G$ is a finite, connected graph with $χ(G)\ge 3$ and every vertex of $G$ is in a clique of size $χ(G)$, then $G$ is trivially power-colorable. As an application of this result, we give a complete characterization of trivially power-colorable cographs. Finally, we give a structural description of the colorings of infinite powers of trivially power-colorable finite graphs.

We investigate the infinite version of the $k$-switch problem of Greenwell and Lovász. Given infinite cardinals $κ$ and $λ$, for functions $x,y\in {}^λκ$ we say that they are totally different if $x(i)\ne y(i)$ for each $i\in λ$. A function $F:{}^λκ\longrightarrow κ $ is a proper coloring if $F(x)\ne F(y)$ whenever $x$ and $y$ are totally different elements of ${}^λκ $. We say that $F$ is weakly uniform iff there are pairwise totally different functions $\{r_α:α<κ\}\subset {}^λκ$ such that $F(r_α)=α$; $F$ is tight if there is no proper coloring $G:{}^λκ\longrightarrow κ$ such that there is exactly one $x\in {}^λκ$ with $G(x)\ne F(x)$. We show that given a proper coloring $F:{}^λκ\to κ$, the following statements are equivalent $F$ is weakly uniform, there is a $κ ^{+}$-complete ultrafilter $\mathscr{U}$ on $λ$ and there is a permutation $π\in Symm(κ)$ such that for each $x\in {}^λκ$ we have $$F(x)=π(α)\ \Longleftrightarrow \ \{i\in λ: x(i)=α\} \in \mathscr{U}.$$ We also show that there are tight proper colorings which cannot be obtained such a way.

Seymour proved that the chromatic numbers and the list chromatic numbers of loop-free finite matroids are the same. In this paper we prove the same statement for infinite, loop-free finitary matroids.

A graph property is said to be elusive ( evasive) if every algorithm testing this property by asking questions of the form "is there an edge between vertices x and y" requires, in the worst case, to ask about all pairs of vertices. The unsettled Aanderaa-Karp-Rosenberg conjecture is that every monotone graph property is elusive for finite vertex sets. We show that the situation is completely different for infinite vertex sets: the monotone graph properties "every vertex has degree at least n" and "every connected components has size at least n" where n is a natural number, are not elusive for infinite vertex sets, but the monotone graph property "the graph contains a cycle" is elusive for arbitrary vertex sets. On the other hand, we also prove that every algorithm testing some natural monotone graph properties, e.g "every vertex has degree at least n" or "connected" on the vertex set omega should check "lots of edges", more precisely, all the edges of an infinite complete subgraph.

In this paper a hypergraph will be identified with the family of its edges. A hypergraph $\mathcal E$ possesses property $C(k,ρ)$ iff $|\bigcap \mathcal E'|<ρ$ for each $\mathcal E'\in {[\mathcal E]}^{k}$. A vertex set $Y\subset \bigcup\mathcal E$ is a "vertex cover" of $\mathcal E$ iff $E\cap Y\ne \emptyset$ for each $E\in \mathcal E$. A vertex cover $Y$ is "minimal" iff no proper subset of $Y$ is vertex cover. If $A$ is a set and $S$ is a set of cardinals, write $$ {[A]}^{S}=\{B\subset A: |B|\in S\}. $$ If $λ$ and $ρ$ are cardinals, $S$ is a set of cardinals, $k\in ω$, then we write $$\mathbf M({λ},{S},{k},{μ})\to \mathbf{MinVC} $$ iff every hypergraph $\mathcal E\subset {[λ]}^{S}$ possessing property $C({k},{ρ})$ has a minimal vertex cover. If $S=\{κ\}$, then we simply write $\mathbf M({λ},κ,{k},{μ})\to \mathbf{MinVC}$ for $\mathbf M({λ},\{κ\},{k},{μ})\to \mathbf{MinVC}$ A set $S$ of cardinals is "nowhere stationary" iff $S\cap α$ is not stationary in $α$ for any ordinal $α$ with $cf(α)>ω$. Countable sets of cardinals, and sets of successor cardinals are nowhere stationary. In this paper we prove: (1) $\mathbf M({λ},{S},{2},{k})\to \mathbf{MinVC}$ for each nowhere stationary set $S$ of cardinals and $ω\le λ$, (2) $\mathbf M({λ},{κ} ,{2},{ρ})\to \mathbf{MinVC}$ provided $ρ<\beth_ω\le κ\le λ$, (3) $\mathbf M({λ},{ω},{r},{k})\to \mathbf{MinVC}$ provided $ω\le λ$ and $k,r\in ω$, (4) $\mathbf M({λ},{ω_1},{3},{k})\to \mathbf{MinVC}$ provided $ω_1\le λ$ and $k\in ω$.