# Discrete Mathematics (cs.DM)

• A graph with chromatic number $k$ is called $k$-chromatic. Using computational methods, we show that the smallest triangle-free 6-chromatic graphs have at least 32 and at most 40 vertices. We also determine the complete set of all triangle-free 5-chromatic graphs up to 23 vertices and all triangle-free 5-chromatic graphs on 24 vertices with maximum degree at most 7. This implies that Reed's conjecture holds for triangle-free graphs up to at least 24 vertices. Finally, we determine that the smallest regular triangle-free 5-chromatic graphs have 24 vertices.
• Jul 25 2017 cs.DM arXiv:1707.07436v1
A graph $G=(V,E)$ is a pairwise compatibility graph (PCG) if there exists an edge-weighted tree $T$ and two non-negative real numbers $d_{min}$ and $d_{max}$, $d_{min} \leq d_{max}$, such that each node $u \in V$ is uniquely associated to a leaf of $T$ and there is an edge $(u,v) \in E$ if and only if $d_{min} \leq d_{T} (u, v) \leq d_{max}$, where $d_{T} (u, v)$ is the sum of the weights of the edges on the unique path $P_{T}(u,v)$ from $u$ to $v$ in $T$. Understanding which graph classes lie inside and which ones outside the PCG class is an important issue. In this paper we propose a new proof technique that allows us to show that some interesting classes of graphs have empty intersection with PCG. As an example, we use this technique to show that wheels and graphs obtained as strong product between a cycle and $P_2$ are not PCGs.
• The study of time-varying (dynamic) networks (graphs) is of fundamental importance for computer network analytics. Several methods have been proposed to detect the effect of significant structural changes in a time series of graphs. The main contribution of this work is a detailed analysis of a dynamic community graph model. This model is formed by adding new vertices, and randomly attaching them to the existing nodes. It is a dynamic extension of the well-known stochastic blockmodel. The goal of the work is to detect the time at which the graph dynamics switches from a normal evolution -- where balanced communities grow at the same rate -- to an abnormal behavior -- where communities start merging. In order to circumvent the problem of decomposing each graph into communities, we use a metric to quantify changes in the graph topology as a function of time. The detection of anomalies becomes one of testing the hypothesis that the graph is undergoing a significant structural change. In addition the the theoretical analysis of the test statistic, we perform Monte Carlo simulations of our dynamic graph model to demonstrate that our test can detect changes in graph topology.
• A family ${\mathcal F}$ of graphs has the Erdős-Pósa property if for every graph $G$, the maximum number of pairwise disjoint subgraphs isomorphic to members of ${\mathcal F}$ contained in $G$ and the minimum size of a set of vertices of $G$ hitting all such subgraphs are bounded by functions of each other. Robertson and Seymour proved that if ${\mathcal F}$ consists of $H$-minors for some fixed graph $H$, then the planarity of $H$ is equivalent with the Erdős-Pósa property. Thomas conjectured that the planarity is no longer required if the requirement for those $H$-minors being pairwise disjoint is replaced with being half-integrally disjoint. In this paper, we prove that this half-integral version of Erdős-Pósa property holds with respect to the topological minor containment, which easily implies Thomas' conjecture. Indeed, we prove an even stronger statement in which those subdivisions are rooted at any choice of prescribed subsets of vertices. Precisely, we prove that for every graph $H$, there exists a function $f$ such that for every graph $G$, every sequence $(R_v: v \in V(H))$ of subsets of $V(G)$ and every integer $k$, either there exist $k$ subgraphs $G_1,G_2,...,G_k$ of $G$ such that every vertex of $G$ belongs to at most two of $G_1,...,G_k$ and each $G_i$ is isomorphic to a subdivision of $H$ whose branch vertex corresponding to $v$ belongs to $R_v$ for each $v \in V(H)$, or there exists a set $Z \subseteq V(G)$ with size at most $f(k)$ intersecting all subgraphs of $G$ isomorphic to a subdivision of $H$ whose branch vertex corresponding to $v$ belongs to $R_v$ for each $v \in V(H)$. Applications of this theorem include generalizations of algorithmic meta-theorems and structure theorems for $H$-topological minor free (or $H$-minor free) graphs to graphs that do not half-integrally pack many $H$-topological minors (or $H$-minors).