arXiv++ Combinatorics

We examine the computational complexity of approximately counting the list H-colourings of a graph. We discover a natural graph-theoretic trichotomy based on the structure of the graph H. If H is an irreflexive bipartite graph or a reflexive complete graph then counting list H-colourings is trivially in polynomial time. Otherwise, if H is an irreflexive bipartite permutation graph or a reflexive proper interval graph then approximately counting list H-colourings is equivalent to #BIS, the problem of approximately counting independent sets in a bipartite graph. This is a well-studied problem which is believed to be of intermediate complexity -- it is believed that it does not have an FPRAS, but that it is not as difficult as approximating the most difficult counting problems in #P. For every other graph H, approximately counting list H-colourings is complete for #P with respect to approximation-preserving reductions (so there is no FPRAS unless NP=RP). Two pleasing features of the trichotomy are (i) it has a natural formulation in terms of hereditary graph classes, and (ii) the proof is largely self-contained and does not require any universal algebra (unlike similar dichotomies in the weighted case). We are able to extend the hardness results to the bounded-degree setting, showing that all hardness results apply to input graphs with maximum degree at most 6.

The notion of resolving sets in a graph was introduced by Slater (1975) and Harary and Melter (1976) as a way of uniquely identifying every vertex in a graph. A set of vertices in a graph is a resolving set if for any pair of vertices x and y there is a vertex in the set which has distinct distances to x and y. A smallest resolving set in a graph is called a metric basis and its size, the metric dimension of the graph. The problem of computing the metric dimension of a graph is a well-known NP-hard problem and while it was known to be polynomial time solvable on trees, it is only recently that efforts have been made to understand its computational complexity on various restricted graph classes. In recent work, Foucaud et al. (2015) showed that this problem is NP-complete even on interval graphs. They complemented this result by also showing that it is fixed-parameter tractable (FPT) parameterized by the metric dimension of the graph. In this work, we show that this FPT result can in fact be extended to all graphs of bounded tree-length. This includes well-known classes like chordal graphs, AT-free graphs and permutation graphs. We also show that this problem is FPT parameterized by the modular-width of the input graph.

This is a set of working notes which give a second proof of the Shareshian--Wachs conjecture, the first (and recent) proof being by Brosnan and Chow in November 2015. The conjecture relates some symmetric functions constructed combinatorially out of unit interval graphs (their $q$-chromatic quasisymmetric functions), and some symmetric functions constructed algebro-geometrically out of Tymoczko's representation of the symmetric group on the equivariant cohomology ring of a family of subvarieties of the complex flag variety, called regular semisimple Hessenberg varieties. Brosnan and Chow's proof is based in part on the idea of deforming the Hessenberg varieties. The proof given here, in contrast, is based on the idea of recursively decomposing Hessenberg varieties, using a new Hopf algebra as the organizing principle for this recursion. We hope that taken together, each approach will shed some light on the other, since there are still many outstanding questions regarding the objects under study.

We present a new efficient combinatorial algorithm for recognizing if a given symmetric matrix is Robinsonian, i.e., if its rows and columns can be simultaneously reordered so that entries are monotone nondecreasing in rows and columns when moving toward the diagonal. As main ingredient we introduce a new algorithm, named Similarity-First-Search (SFS), which extends Lexicographic Breadth-First Search (Lex-BFS) to weighted graphs and which we use in a multisweep algorithm to recognize Robinsonian matrices. Since Robinsonian binary matrices correspond to unit interval graphs, our algorithm can be seen as a generalization to weighted graphs of the 3-sweep Lex-BFS algorithm of Corneil for recognizing unit interval graphs. This new recognition algorithm is extremely simple and it exploits new insight on the combinatorial structure of Robinsonian matrices. For an $n\times n$ nonnegative matrix with $m$ nonzero entries, it terminates in $n-1$ SFS sweeps, with overall running time $O(n^2 +nm\log n)$.

Choi {\it et al.} [{J.~Choi, K.~S.~Kim, S.~-R.~Kim, J.~Y.~Lee, and Y.~Sano}: {On the competition graphs of $d$-partial orders}, \emph{Discrete Applied Mathematics} (2015), \texttt{http://dx.doi.org/10.1016/j.dam.2015.11.004}] introduced the notion of the partial order competition dimension of a graph. It was shown that complete graphs, interval graphs, and trees, which are chordal graphs, have partial order competition dimensions at most three. In this paper, we study the partial order competition dimensions of chordal graphs. We show that chordal graphs have partial order competition dimensions at most three if the graphs are diamond-free. Moreover, we also show the existence of chordal graphs containing diamonds whose partial order competition dimensions are greater than three.

In 1969, Roberts introduced proper and unit interval graphs and proved that these classes are equal. Natural generalizations of unit interval graphs called $k$-length interval graphs were considered in which the number of different lengths of intervals is limited by $k$. Even after decades of research, no insight into their structure is known and the complexity of recognition is open even for $k=2$. We propose generalizations of proper interval graphs called $k$-nested interval graphs in which there are no chains of $k+1$ intervals nested in each other. It is easy to see that $k$-nested interval graphs are a superclass of $k$-length interval graphs. We give a linear-time recognition algorithm for $k$-nested interval graphs. This algorithm adds a missing piece to Gajarský et al. [FOCS 2015] to show that testing FO properties on interval graphs is FPT with respect to the nesting $k$ and the length of the formula, while the problem is W2-hard when parameterized just by the length of the formula. We show that a generalization of recognition called partial representation extension is NP-hard for $k$-length interval graphs, even when $k=2$, while Klavík et al. show that it is polynomial-time solvable for $k$-nested interval graphs.

The class of closed graphs by a linear ordering on their sets of vertices is investigated. A recent characterization of such a class of graphs is analyzed by using tools from the proper interval graph theory.

A \textit{distinguishing coloring} of a graph $G$ is a coloring of the vertices so that every nontrivial automorphism of $G$ maps some vertex to a vertex with a different color. The \textit{distinguishing number} of $G$ is the minimum $k$ such that $G$ has a distinguishing coloring where each vertex is assigned a color from $\{1,\ldots,k\}$. A \textit{list assignment} to $G$ is an assignment $L=\{L(v)\}_{v\in V(G)}$ of lists of colors to the vertices of $G$. A \textit{distinguishing $L$-coloring} of $G$ is a distinguishing coloring of $G$ where the color of each vertex $v$ comes from $L(v)$. The {\it list distinguishing number} of $G$ is the minimum $k$ such that every list assignment to $G$ in which $|L(v)|=k$ for all $v\in V(G)$ yields a distinguishing $L$-coloring of $G$. We prove that if $G$ is an interval graph, then its distinguishing number and list distinguishing number are equal.

A graph $G$ is a \emph{max point-tolerance (MPT)} graph if each vertex $v$ of $G$ can be mapped to a \emph{pointed-interval} $(I_v, p_v)$ where $I_v$ is an interval of $\mathbb{R}$ and $p_v \in I_v$ such that $uv$ is an edge of $G$ iff $I_u \cap I_v \supseteq \{p_u, p_v\}$. MPT graphs model relationships among DNA fragments in genome-wide association studies as well as basic transmission problems in telecommunications. We formally introduce this graph class, characterize it, study combinatorial optimization problems on it, and relate it to several well known graph classes. We characterize MPT graphs as a special case of several 2D geometric intersection graphs; namely, triangle, rectangle, L-shape, and line segment intersection graphs. We further characterize MPT as having certain linear orders on their vertex set. Our last characterization is that MPT graphs are precisely obtained by intersecting special pairs of interval graphs. We also show that, on MPT graphs, the maximum weight independent set problem can be solved in polynomial time, the coloring problem is NP-complete, and the clique cover problem has a 2-approximation. Finally, we demonstrate several connections to known graph classes; e.g., MPT graphs strictly contain interval graphs and outerplanar graphs, but are incomparable to permutation, chordal, and planar graphs.

We consider the problems of finding optimal identifying codes, (open) locating-dominating sets and resolving sets of an interval or a permutation graph. In these problems, one asks to find a subset of vertices, normally called a \emph{solution} set, using which all vertices of the graph are distinguished. The identification can be done by considering the neighborhood within the solution set, or by employing the distances to the solution vertices. Normally the goal is to minimize the size of the solution set then. Here we study the case of interval graphs, unit interval graphs, (bipartite) permutation graphs and cographs. For these classes of graphs we give tight lower bounds for the size of such solution sets depending on the order of the input graph. While such lower bounds for the general class of graphs are in logarithmic order, the improved bounds in these special classes are of the order of either quadratic root or linear in terms of number of vertices. Moreover, the results for cographs lead to linear-time algorithms to solve the considered problems on inputs that are cographs.

In this thesis, which is supervised by Dr. David Penman, we examine random interval graphs. Recall that such a graph is defined by letting $X_{1},\ldots X_{n},Y_{1},\ldots Y_{n}$ be $2n$ independent random variables, with uniform distribution on $[0,1]$. We then say that the $i$th of the $n$ vertices is the interval $[X_{i},Y_{i}]$ if $X_{i}<Y_{i}$ and the interval $[Y_{i},X_{i}]$ if $Y_{i}<X_{i}$. We then say that two vertices are adjacent if and only if the corresponding intervals intersect. We recall from our MA902 essay that fact that in such a graph, each edge arises with probability $2/3$, and use this fact to obtain estimates of the number of edges. Next, we turn to how these edges are spread out, seeing that (for example) the range of degrees for the vertices is much larger than classically, by use of an interesting geometrical lemma. We further investigate the maximum degree, showing it is always very close to the maximum possible value $(n-1)$, and the striking result that it is equal to $(n-1)$ with probability exactly $2/3$. We also recall a result on the minimum degree, and contrast all these results with the much narrower range of values obtained in the alternative \lq comparable\rq\, model $G(n,2/3)$ (defined later). We then study clique numbers, chromatic numbers and independence numbers in the Random Interval Graphs, presenting (for example) a result on independence numbers which is proved by considering the largest chain in the associated interval order. Last, we make some brief remarks about other ways to define random interval graphs, and extensions of random interval graphs, including random dot product graphs and other ways to define random interval graphs. We also discuss some areas these ideas should be usable in. We close with a summary and some comments.

When each vertex is assigned a set, the intersection graph generated by the sets is the graph in which two distinct vertices are joined by an edge if and only if their assigned sets have a nonempty intersection. An interval graph is an intersection graph generated by intervals in the real line. A chordal graph can be considered as an intersection graph generated by subtrees of a tree. In 1999, Karoński, Scheinerman and Singer-Cohen [Combin Probab Comput 8 (1999), 131--159] introduced a random intersection graph by taking randomly assigned sets. The random intersection graph $G(n,m;p)$ has $n$ vertices and sets assigned to the vertices are chosen to be i.i.d. random subsets of a fixed set $M$ of size $m$ where each element of $M$ belongs to each random subset with probability $p$, independently of all other elements in $M$. Fill, Scheinerman and Singer-Cohen [Random Struct Algorithms 16 (2000), 156--176] showed that the total variation distance between the random graph $G(n,m;p)$ and the Erdös-Rényi graph $G(n,\hat{p})$ tends to $0$ for any $0 \leq p=p(n) \leq 1$ if $m=n^α$, $α>6$, where $\hat{p}$ is chosen so that the expected numbers of edges in the two graphs are the same. In this paper, it is proved that the total variation distance still tends to $0$ for any $0 \leq p=p(n) \leq 1$ whenever $m \gg n^4$.

First-fit is the online graph coloring algorithm that considers vertices one at a time in some order and assigns each vertex the least positive integer not used already on a neighbor. The maximum number of colors used by first-fit on graph G over all vertex orders is denoted χ_{FF}(G). The exact value of R := \sup_G [χ_{FF}(G) / ω(G)] over interval graphs G is unknown. Pemmaraju, Raman, and Varadarajan (2004) proved R <= 10, and this can be improved to 8. Witsenhausen (1976) and Chrobak and Ślusarek (1988) showed R >= 4, and Ślusarek (1993) improved this to 4.45. We prove R >= 5.

An \emph{asteroidal triple} is a set of three independent vertices in a graph such that any two vertices in the set are connected by a path which avoids the neighbourhood of the third. A classical result by Lekkerkerker and Boland \cite{6} showed that interval graphs are precisely the chordal graphs that do not have asteroidal triples. Interval graphs are chordal, as are the \emph{directed path graphs} and the \emph{path graphs}. Similar to Lekkerkerker and Boland, Cameron, Hoáng, and Lévêque \cite{4} gave a characterization of directed path graphs by a "special type" of asteroidal triple, and asked whether or not there was such a characterization for path graphs. We give strong evidence that asteroidal triples alone are insufficient to characterize the family of path graphs, and give a new characterization of path graphs via a forbidden induced subgraph family that we call \emph{sun systems}. Key to our new characterization is the study of \emph{asteroidal sets} in sun systems, which are a natural generalization of asteroidal triples. Our characterization of path graphs by forbidding sun systems also generalizes a characterization of directed path graphs by forbidding odd suns that was given by Chaplick et al.~\cite{9}.

An interval graph is considered improper if and only if it has a representation such that an interval contains another interval. Previously these have been investigated in terms of balance and minimal forbidden interval subgraphs for the class of 1-improper interval graphs. This paper investigates the minimal forbidden interval sub-graphs further, generalizing results to all p-improper interval graphs. It is apparent that there are many different types of possible minimal forbidden subgraphs that fall into four broad categories.

It was proved by Raychaudhuri in 1987 that if a graph power $G^{k-1}$ is an interval graph, then so is the next power $G^k$. This result was extended to $m$-trapezoid graphs by Flotow in 1995. We extend the statement for interval graphs by showing that any interval representation of $G^{k-1}$ can be extended to an interval representation of $G^k$ that induces the same left endpoint and right endpoint orders. The same holds for unit interval graphs. We also show that a similar fact does not hold for trapezoid graphs.

Choi {\it et al.} [{J.~Choi, K.~S.~Kim, S.~-R.~Kim, J.~Y.~Lee, and Y.~Sano}: {On the competition graphs of $d$-partial orders}, \emph{Discrete Applied Mathematics} (2015), \texttt{http://dx.doi.org/10.1016/j.dam.2015.11.004}] introduced the notion of the partial order competition dimension of a graph. It was shown that complete graphs, interval graphs, and trees, which are chordal graphs, have partial order competition dimensions at most three. In this paper, we study the partial order competition dimensions of chordal graphs. We show that chordal graphs have partial order competition dimensions at most three if the graphs are diamond-free. Moreover, we also show the existence of chordal graphs containing diamonds whose partial order competition dimensions are greater than three.

The boxicity of a graph $G=(V,E)$ is the smallest integer $k$ for which there exist $k$ interval graphs $G_i=(V,E_i)$, $1 \le i \le k$, such that $E=E_1 \cap \cdots \cap E_k$. In the first part of this note, we prove that every graph on $m$ edges has boxicity $O(\sqrt{m \log m})$, which is asymptotically best possible. We use this result to study the connection between the boxicity of graphs and their Colin de Verdière invariant, which share many similarities. Known results concerning the two parameters suggest that for any graph $G$, the boxicity of $G$ is at most the Colin de Verdière invariant of $G$, denoted by $μ(G)$. We observe that every graph $G$ has boxicity $O(μ(G)^4(\log μ(G))^2)$, while there are graphs $G$ with boxicity $Ω(μ(G)\sqrt{\log μ(G)})$. In the second part of this note, we focus on graphs embeddable on a surface of Euler genus $g$. We prove that these graphs have boxicity $O(\sqrt{g}\log g)$, while some of these graphs have boxicity $Ω(\sqrt{g \log g})$. This improves the previously best known upper and lower bounds. These results directly imply a nearly optimal bound on the dimension of the adjacency poset of graphs on surfaces.

Let $α(G)$ and $β(G)$, denote the size of a largest independent set and the clique cover number of an undirected graph $G$. Let $H$ be an interval graph with $V(G)=V(H)$ and $E(G)\subseteq E(H)$, and let $φ(G,H)$ denote the maximum of ${β(G[W])\over α(G[W])}$ overall induced subgraphs $G[W]$ of $G$ that are cliques in $H$. The main result of this paper is to prove that for any graph $G$ $${β(G)}\le 2 α(H)φ(G,H)(\log α(H)+1),$$ where, $α(H)$ is the size of a largest independent set in $H$. We further provide a generalization that significantly unifies or improves some past algorithmic and structural results concerning the clique cover number for some well known intersection graphs.

A universal representation theorem is derived that shows any graph is the intersection graph of one chordal graph, a number of co-bipartite graphs, and one unit interval graph. Central to the the result is the notion of the clique cover width which is a generalization of the bandwidth parameter. Specifically, we show that any planar graph is the intersection graph of one chordal graph, four co-bipartite graphs, and one unit interval graph. Equivalently, any planar graph is the intersection graph of a chordal graph and a graph that has {clique cover width} of at most seven. We further describe the extensions of the results to graphs drawn on surfaces and graphs excluding a minor of crossing number of at most one.