Digraph Coloring Games and Game-Perfectness

In this thesis the game chromatic number of a digraph is introduced as a game-theoretic variant of the dichromatic number. This notion generalizes the well-known game chromatic number of a graph. An extended model also takes into account relaxed colorings and asymmetric move sequences. Game-perfectness is defined as a game-theoretic variant of perfectness of a graph, and is generalized to digraphs. We examine upper and lower bounds for the game chromatic number of several classes of digraphs. In the last part of the thesis, we characterize game-perfect digraphs with small clique number, and prove general results concerning game-perfectness. Some results are verified with the help of a computer program that is discussed in the appendix

On characterizing game-perfect graphs by forbidden induced subgraphs

A graph $G$ is called $g$-perfect if, for any induced subgraph $H$ of $G$, the game chromatic number of $H$ equals the clique number of $H$. A graph $G$ is called $g$-col-perfect if, for any induced subgraph $H$ of $G$, the game coloring number of $H$ equals the clique number of $H$. In this paper we characterize the classes of $g$-perfect resp. $g$-col-perfect graphs by a set of forbidden induced subgraphs and explicitly. Moreover, we study similar notions for variants of the game chromatic number, namely $B$-perfect and $[A,B]$-perfect graphs, and for several variants of the game coloring number, and characterize the classes of these graphs

Defective and Clustered Graph Colouring

Consider the following two ways to colour the vertices of a graph where the requirement that adjacent vertices get distinct colours is relaxed. A colouring has "defect" $d$ if each monochromatic component has maximum degree at most $d$. A colouring has "clustering" $c$ if each monochromatic component has at most $c$ vertices. This paper surveys research on these types of colourings, where the first priority is to minimise the number of colours, with small defect or small clustering as a secondary goal. List colouring variants are also considered. The following graph classes are studied: outerplanar graphs, planar graphs, graphs embeddable in surfaces, graphs with given maximum degree, graphs with given maximum average degree, graphs excluding a given subgraph, graphs with linear crossing number, linklessly or knotlessly embeddable graphs, graphs with given Colin de Verdi\`ere parameter, graphs with given circumference, graphs excluding a fixed graph as an immersion, graphs with given thickness, graphs with given stack- or queue-number, graphs excluding $K_t$ as a minor, graphs excluding $K_{s,t}$ as a minor, and graphs excluding an arbitrary graph $H$ as a minor. Several open problems are discussed.Comment: This is a preliminary version of a dynamic survey to be published in the Electronic Journal of Combinatoric

The Incidence Hopf Algebra of Graphs

This is the published version, also available here: http://dx.doi.org/10.1137/110820075.The graph algebra is a commutative, cocommutative, graded, connected incidence Hopf algebra, whose basis elements correspond to finite graphs, and whose Hopf product and coproduct admit simple combinatorial descriptions. We give a new formula for the antipode in the graph algebra in terms of acyclic orientations; our formula contains many fewer terms than Takeuchi's and Schmitt's more general formulas for the antipode in an incidence Hopf algebra. Applications include several formulas (some old and some new) for evaluations of the Tutte polynomial

Popular progression differences in vector spaces II

Green used an arithmetic analogue of Szemer\'edi's celebrated regularity lemma to prove the following strengthening of Roth's theorem in vector spaces. For every $\alpha>0$, $\beta<\alpha^3$, and prime number $p$, there is a least positive integer $n_p(\alpha,\beta)$ such that if $n \geq n_p(\alpha,\beta)$, then for every subset of $\mathbb{F}_p^n$ of density at least $\alpha$ there is a nonzero $d$ for which the density of three-term arithmetic progressions with common difference $d$ is at least $\beta$. We determine for $p \geq 19$ the tower height of $n_p(\alpha,\beta)$ up to an absolute constant factor and an additive term depending only on $p$. In particular, if we want half the random bound (so $\beta=\alpha^3/2$), then the dimension $n$ required is a tower of twos of height $\Theta \left((\log p) \log \log (1/\alpha)\right)$. It turns out that the tower height in general takes on a different form in several different regions of $\alpha$ and $\beta$, and different arguments are used both in the upper and lower bounds to handle these cases.Comment: 34 pages including appendi

Combinatorics

Combinatorics is a fundamental mathematical discipline which focuses on the study of discrete objects and their properties. The current workshop brought together researchers from diverse fields such as Extremal and Probabilistic Combinatorics, Discrete Geometry, Graph theory, Combinatorial Optimization and Algebraic Combinatorics for a fruitful interaction. New results, methods and developments and future challenges were discussed. This is a report on the meeting containing abstracts of the presentations and a summary of the problem session

Combinatorics in Schubert varieties and Specht modules

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, June 2011."June 2011." Cataloged from PDF version of thesis.Includes bibliographical references (p. 57-59).This thesis consists of two parts. Both parts are devoted to finding links between geometric/algebraic objects and combinatorial objects. In the first part of the thesis, we link Schubert varieties in the full flag variety with hyperplane arrangements. Schubert varieties are parameterized by elements of the Weyl group. For each element of the Weyl group, we construct certain hyperplane arrangement. We show that the generating function for regions of this arrangement coincides with the Poincaré polynomial if and only if the Schubert variety is rationally smooth. For classical types the arrangements are (signed) graphical arrangements coning from (signed) graphs. Using this description, we also find an explicit combinatorial formula for the Poincaré polynomial in type A. The second part is about Specht modules of general diagram. For each diagram, we define a new class of polytopes and conjecture that the normalized volume of the polytope coincides with the dimension of the corresponding Specht module in many cases. We give evidences to this conjecture including the proofs for skew partition shapes and forests, as well as the normalized volume of the polytope for the toric staircase diagrams. We also define new class of toric tableaux of certain shapes, and conjecture the generating function of the tableaux is the Frobenius character of the corresponding Specht module. For a toric ribbon diagram, this is consistent with the previous conjecture. We also show that our conjecture is intimately related to Postnikov's conjecture on toric Specht modules and McNamara's conjecture of cylindric Schur positivity.by Hwanchul Yoo.Ph.D