arXiv++ Combinatorics

A {\it star-factor} of a graph $G$ is a spanning subgraph of $G$ such that each of its component is a star. Clearly, every graph without isolated vertices has a star factor. A graph $G$ is called {\it star-uniform} if all star-factors of $G$ have the same number of components. To characterize star-uniform graphs was an open problem posed by Hartnell and Rall, which is motivated by the minimum cost spanning tree and the optimal assignment problems. We use the concepts of factor-criticality and domination number to characterize all star-uniform graphs with the minimum degree at least two. Our proof is heavily relied on Gallai-Edmonds Matching Structure Theorem.

A {\it star-factor} of a graph $G$ is a spanning subgraph of $G$ such that each component of which is a star. An {\it edge-weighting} of $G$ is a function $w: E(G)\longrightarrow \mathbb{N}^+$, where $\mathbb{N}^+$ is the set of positive integers. Let $Ω$ be the family of all graphs $G$ such that every star-factor of $G$ has the same weights under a fixed edge-weighting $w$. In this paper, we present a simple structural characterization of the graphs in $Ω$ that have girth at least five.

A (3,4)-biregular bigraph G is a bipartite graph where all vertices in one part have degree 3 and all vertices in the other part have degree 4. A path factor of G is a spanning subgraph whose components are nontrivial paths. We prove that a simple (3,4)-biregular bigraph always has a path factor such that the endpoints of each path have degree three. Moreover we suggest a polynomial algorithm for the construction of such a path factor.

Oriented ribbon graphs (dessins d'enfant) are graphs embedded in oriented surfaces. A quasi-tree of a ribbon graph is a spanning subgraph with one face, which is described by an ordered chord diagram. We show that for any link diagram $L$, there is an associated ribbon graph whose quasi-trees correspond bijectively to spanning trees of the graph obtained by checkerboard coloring $L$. This correspondence preserves the bigrading used for the spanning tree model of Khovanov homology, whose Euler characteristic is the Jones polynomial of $L$. Thus, Khovanov homology can be expressed in terms of ribbon graphs, with generators given by ordered chord diagrams.

Oriented ribbon graphs (dessins d'enfant) are graphs embedded in oriented surfaces. The Bollobás-Riordan-Tutte polynomial is a three-variable polynomial that extends the Tutte polynomial to oriented ribbon graphs. A quasi-tree of a ribbon graph is a spanning subgraph with one face, which is described by an ordered chord diagram. We generalize the spanning tree expansion of the Tutte polynomial to a quasi-tree expansion of the Bollobás-Riordan-Tutte polynomial.

An interval coloring of a graph G is a proper coloring of E(G) by positive integers such that the colors on the edges incident to any vertex are consecutive. A (3,4)-biregular bigraph is a bipartite graph in which each vertex of one part has degree 3 and each vertex of the other has degree 4; it is unknown whether these all have interval colorings. We prove that G has an interval coloring using 6 colors when G is a (3,4)-biregular bigraph having a spanning subgraph whose components are paths with endpoints at 3-valent vertices and lengths in {2,4,6,8}. We provide sufficient conditions for the existence of such a subgraph.

For any graph G with n edges, the spanning subgraphs and the orientations of G are both counted by the evaluation T_G(2,2)=2^n of its Tutte polynomial. We define a bijection $Φ$ between spanning subgraphs and orientations and explore its enumerative consequences regarding the Tutte polynomial. The bijection $Φ$ is closely related to a recent characterization of the Tutte polynomial relying on a combinatorial embedding of the graph G, that is, on a choice of cyclic order of the edges around each vertex. Among other results, we obtain a combinatorial interpretation for each of the evaluations T_G(i,j), 0\leq i,j \leq 2 of the Tutte polynomial in terms of orientations. The strength of our approach is to derive all these interpretations by specializing the bijection $Φ$ in various ways. For instance, we obtain a bijection between the connected subgraphs of G (counted by T_G(1,2)) and the root-connected orientations. We also obtain a bijection between the forests (counted by T_G(2,1)) and outdegree sequences which specializes into a bijection between spanning trees (counted by T_G(1,1)) and root-connected outdegree sequences. We also define a bijection between spanning trees and recurrent configurations of the sandpile model. Combining our results we obtain a bijection between recurrent configurations and root-connected outdegree sequences which leaves the configurations at level 0 unchanged.

This thesis concerns the study of homogeneous factorisations of complete graphs with edge-transitive factors. A factorisation of a complete graph $K_n$ is a partition of its edges into disjoint classes. Each class of edges in a factorisation of $K_n$ corresponds to a spanning subgraph called a factor. If all the factors are isomorphic to one another, then a factorisation of $K_n$ is called an isomorphic factorisation. A homogeneous factorisation of a complete graph is an isomorphic factorisation where there exists a group $G$ which permutes the factors transitively, and a normal subgroup $M$ of $G$ such that each factor is $M$-vertex-transitive. If $M$ also acts edge-transitively on each factor, then a homogeneous factorisation of $K_n$ is called an edge-transitive homogeneous factorisation. The aim of this thesis is to study edge-transitive homogeneous factorisations of $K_n$. We achieve a nearly complete explicit classification except for the case where $G$ is an affine 2-homogeneous group of the form $Z_p^R \rtimes G_0$, where $G_0 \leq ΓL(1,p^R)$. In this case, we obtain necessary and sufficient arithmetic conditions on certain parameters for such factorisations to exist, and give a generic construction that specifies the homogeneous factorisation completely, given that the conditions on the parameters hold. Moreover, we give two constructions of infinite families of examples where we specify the parameters explicitly. In the second infinite family, the arc-transitive factors are generalisations of certain arc-transitive, self-complementary graphs constructed by Peisert in 2001.

We study the maximum out forests of a (weighted) digraph and the matrix of maximum out forests. A maximum out forest of a digraph G is a spanning subgraph of G that consists of disjoint diverging trees and has the maximum possible number of arcs. If a digraph contains any out arborescences, then maximum out forests coincide with them. We provide a new proof to the Markov chain tree theorem saying that the matrix of Ces`aro limiting probabilities of an arbitrary stationary finite Markov chain coincides with the normalized matrix of maximum out forests of the weighted digraph that corresponds to the Markov chain. We discuss the applications of the matrix of maximum out forests and its transposition, the matrix of limiting accessibilities of a digraph, to the problems of preference aggregation, measuring the vertex proximity, and uncovering the structure of a digraph.

A \emph{$k$--decomposition} of the complete graph $K_n$ is a decomposition of $K_n$ into $k$ spanning subgraphs $G_1,...,G_k$. For a graph parameter $p$, let $p(k;K_n)$ denote the maximum of $\displaystyle \sum_{j=1}^{k} p(G_j)$ over all $k$--decompositions of $K_n$. It is known that $χ(k;K_n) = omega(k;K_n)$ for $k \leq 3$ and conjectured that this equality holds for all $k$. In an attempt to get a handle on this, we study convex combinations of $ω$ and $χ$; namely, the graph parameters $A_r(G) = (1-r) ω(G) + r χ(G)$ for $0 \leq r \leq 1$. It is proven that $A_r(k;K_n) \leq n + {k \choose 2}$ for small $r$. In addition, we prove some generalizations of a theorem of Kostochka, et al. \cite{kostochka}.

If we fix a spanning subgraph $H$ of a graph $G$, we can define a chromatic number of $H$ with respect to $G$ and we show that it coincides with the chromatic number of a double covering of $G$ with co-support $H$. We also find a few estimations for the chromatic numbers of $H$ with respect to $G$.

For a finite undirected multigraph G=(V,E) and functions f,g:V-->\NN, let N_f^g(G,j) denote the number of (f,g)-factors of G with exactly j edges. The Heilmann-Lieb Theorem implies that \sum_j N_0^1(G,j) t^j is a polynomial with only real (negative) zeros, and hence that the sequence {N_0^1(G,j)} is strictly logarithmically concave. Separate generalizations of this theorem were obtained by Ruelle and by the author. We unify, simplify, and generalize these results by means of the Grace-Szegö-Walsh Coincidence Theorem.

Let G be a finite simple graph with automorphism group A(G). Then a spanning subgraph U of G is a fixing subgraph of G if G contains exactly $| A(G)|/ | A(G) \cap A(U)| $ subgraphs isomorphic to U: the graph G must always contain at least this number. If in addition $A(U) \subseteq A(G)$ then U is a strong fixing subgraph. Fixing subgraphs are important in many areas of graph theory. We consider them in the context of Hamiltonian graphs

Let S_m denote the m-vertex simple digraph formed by m-1 edges with a common tail. Let f(m) denote the minimum n such that every n-vertex tournament has a spanning subgraph consisting of n/m disjoint copies of S_m. We prove that m lg m - m lg lg m <= f(m) <= 4m^2 - 6m for sufficiently large m.

For a finite multigraph G, the reliability function of G is the probability R_G(q) that if each edge of G is deleted independantly with probability q then the remaining edges of G induce a connected spanning subgraph of G; this is a polynomial function of q. In 1992, Brown and Colbourn conjectured that for any connected multigraph G, if the complex number q is such that R_G(q)=0 then |q|<=1. We verify that this conjectured property of R_G(q) holds if G is a series-parallel network. The proof is by an application of the Hermite-Biehler Theorem and development of a theory of higher-order interlacing for polynomials with only real nonpositive zeros. We conclude by establishing some new inequalities which are satisfied by the f-vector of any matroid without coloops, and by discussing some stronger inequalities which would follow (in the cographic case) from the Brown-Colbourn Conjecture, and are hence true for cographic matroids of series-parallel networks.