1 The Oriented Chromatic Polynomial
Let be a mixed graph. That is, is a graph in which a subset (possibly empty) of the edges have been oriented to be arcs. We say that is an oriented colouring of when is an oriented colouring when is restricted to the arcs and a proper colouring when is restricted to the edges. Notice that if every pair of vertices is either adjacent or at the ends of a directed path of length , then every vertrex must receive a distinct colour in every colouring. We define the oriented chromatic polynomial of a mixed graph analogously to that of oriented graphs. In this section we observe that the oriented chromatic polynomial introduced by Sopena can be generalized as the oriented chromatic polynomial of mixed graphs. This generalization allows us to find an explicit expression for the third coefficient of the oriented chromatic polynomial of mixed graphs. As every oriented graph is a mixed graph with an empty arc set, this expression leads us to an explicit expression for the third coefficient of the chromatic polynomial of an oriented graph. The expression for the third coefficient provides us with a tool to study chromatically invariant oriented graphs.
We begin by providing a recursive formula for the oriented chromatic polynomial of mixed graphs. Let be a mixed graph. If every pair of vertices is either adjacent or at the ends of a directed path of length (a dipath), then
Otherwise, let and be a pair of vertices that are neither adjacent nor at the ends of a directed path of length two. In this case we have
where

is the mixed graph formed from by adding an edge between and ; and

is the mixed graph formed from by identifying and into a single vertex, deleting all parallel arcs and edges, and deleting any edge that is parallel with an arc.
Following the usual convention of having the picture of a graph stand in for its polynomial, an example of this recursion is provided in Figure 2.
The correctness of this reduction follows from the proof of the reduction provided in [21]. The appendix gives Maple code for generating the oriented chromatic polynomial of a mixed graph.
For a mixed graph , let be the set of pairs of vertices that are at the ends of an induced dipath.
In Figure 1 we have .
Theorem 1.1.
[21] For any mixed graph with vertices

is a polynomial of order in ;

the coefficient of is ;

has no constant term;

the coefficient of is ; and

if has an isolated vertex , then .
Let be an mixed graph with nonincident arcs . We say that the arcs are obstructing, when

and are not the ends of a dipath;

and are not the ends of a dipath and

.
Let denote the set of unordered pairs of obstructing arcs in , a mixed graph. In Figure 1 we have
Lemma 1.2.
If or , then .
Proof.
Observe that every colouring of using colours is a colouring of . However if has an induced dipath or a pair of obstructing arcs, then the converse does not hold. As such, there exists such that . ∎
Let be the coefficient of in .
Theorem 1.3.
For a mixed graph , we have
where is the set of induced subgraphs isomorphic to in .
Proof.
Let be a minimum counterexample with respect to number of vertices. Among all such counter examples, let be the one that maximizes . Note that we may further assume by adding an edge between every pair of vertices in . The resulting mixed graph has the same set of oriented colourings, and thus the same oriented chromatic polynomial.
The oriented chromatic polynomial of a mixed complete graph on is equal to the chromatic polynomial of a complete graph on vertices. The third coefficient of such a graph is given by [19]. Therefore the claim holds for mixed complete graphs. As is a minimum counter example, is not a complete mixed graph. As such there exists such that and are not adjacent, nor at the ends of a dipath. Therefore . By the choice of , the claim holds for both and .
Let be the set of common neighbours of and in . Each of these common neighbours forms a triangle in . And so . Further observe that in , the arcs/edges from and to a common neighbour becomes a single adjacency in . Therefore .
A pair of obstructing arcs in is not obstructing in if and only if and are the head and tail, in some order, of the pair of obstructing arcs. Let be the set of such arcs. No new obstructing arcs can be created by adding an edge. Therefore = . Also note that a pair of obstructing arcs in form a dipath in with centre vertex . All other induced dipaths in are retained in , as and are not the ends of a dipath. Therefore .
(1) 
Thus the claim holds for , contradicting the choice of as a minimum counter example. ∎
For the case , we arrive at the desired result for oriented graphs.
Corollary 1.4.
For an oriented graph , we have
We further note that in the case , we arrive at the usual result for the third coefficient of the chromatic polynomial: .
2 Oriented Chromatic Equivalence
A folklore construction gives an orientation of so that the resulting oriented graph has chromatic number . This common example is used to convince the reader that the oriented chromatic number and the chromatic number of the underlying simple graph can be arbitrarily far apart. We note, however that the set of colourings of using colours is exactly that of colourings of using colours. And so though the chromatic number of differs greatly to , there is still a relationship between colourings of and colourings of some simple graph. In this section we find a set of sufficient conditions so that the colourings of an oriented graph are exactly those of some simple graph . We conclude this section by using these sufficient conditions to compute the chromatic polynomial of orientations of stars.
We are interested in the following decision problems:
CHROMINVAR
Instance: A graph .
Question: Is there an orientation such that ?
OCHROMINVAR
Instance: An oriented graph .
Question: Does ?
OCHROMEQUIV
Instance: An oriented graph .
Question: Is there a graph such that ?
Figure 3 gives an example of an oriented graph and a graph so that and are chromatically equivalent.
Let be an oriented graph. Let be the mixed graph resulting from by adding an edge between and whenever and are at the ends of an induced dipath.
We observe the following.
Lemma 2.1.
.
Proof.
is a subgraph of .
Therefore .
Every oriented colouring of using colours is also an oriented colouring of , therefore .
∎
Theorem 2.2.
For , an oriented graph, if and only if .
Proof.
By Lemma 2.1 it suffices to show . Notice that has no obstructing arcs if and only if has no obstructing arcs. By Lemma 1.2 is suffices to show that if has no obstructing arcs, then every colouring of is an oriented colouring of . Let be a colouring of . Since is a proper colouring, if is not an oriented colouring of , then the second condition of oriented colouring as been violated. However, this not possible as has neither an induced dipath nor a pair of obstructing arcs. ∎
Recall the result of Corollary 1.4.
If has no pair of obstructing arcs, then in we have .
And so .
Notice that this is exactly the third coefficient of the chromatic polynomial of .
Corollary 2.3.
An oriented graph is chromatically invariant if and only if has no induced dipath and is free.
Proof.
Assume has no induced dipath and that is free. It follows directly that has no obstructing arcs and that . The conclusion follows by Theorem 2.2.
Let be a chromatically invariant oriented graph. Therefore every proper colouring of is an oriented colouring of . Therefore has no induced dipath, nor does contain a pair of obstructing arcs. Since contains no pair of obstructing arcs, if contains an induced copy of , say , then without loss of generality, there must be an induced dipath between and . This contradicts that contains no induced dipath. Therefore has no induced dipath and is free. ∎
Introduced by GhouilaHouri, oriented graphs that contain no induced dipath are called quasitransitive.
Theorem 2.4.
[13] A graph admits a quasitransitive orientation if and only if is a comparability graph.
Theorem 2.5.
An oriented graph is chromatically invariant if and only if it is a quasitransitive orientation of a free comparability graph
Together, these two theorems fully classify chromatically invariant oriented graphs, as well as those graphs that admit a chromatically invariant orientation.
This closes an open problem posed by Sopena in [21]
As comparability graphs can be recognized in polynomial time [23], we arrive at the following classification of CHROMINVAR and OCHROMINVAR.
Corollary 2.6.
The decision problems CHROMINVAR and OCHROMINVAR are Polynomial.
We note that such an orientation of a free comparability graph need not be unique (up to converse). There are many methods in the literature (for example see [1]) that give a quasitransitive orientation of a comparability graph. A common element of these methods is the construction of an auxiliary graph, , so that a colouring of corresponds to a quasitransitive orientation. Such constructions imply that a comparability graph has a unique quasitransitive orientation (up to converse) if and only if is connected. As such constructions can be carried out in polynomial time, we find that given a free comparability graph , one may find in polynomial time an orientation of , , so that .
Comparability graphs yield a forbidden subgraph characterization [12].
Let be the set of graphs given in Figure 4 together with .
The set is the set of free graphs that are also forbidden subgraphs of a comparability graph.
By Theorem 2.5, together with are the family of forbidden subgraphs of those graphs that underlie chromatically invariant oriented graphs.
Corollary 2.7.
A graph admits an chromatically invariant orientation if and only if is free.
We now consider an application of Theorem 2.2 and find the oriented chromatic polynomial of the family of orientations of stars. Let be the orientation of a star on vertices, with centre vertex , so that has inneigbours and outneighbours.
Corollary 2.8.
Proof.
Observe that has no obstructing arcs.
Further observe that consists of a copy of together with a universal vertex.
By Theorem 2.2, we have .
∎
Conversely, using the results from Section 1, one can find families of oriented graphs for which there is no chromatically equivalent graph. Let be an orientation of for some . Recalling the notation of the previous section we have

;

;

; and

.
If there exists such that , then by Theorem 1.1 and Corollary 1.4, it must be that has vertices, edges and copies of .
A simple counting argument implies that no such can exist.
Conjecture 2.9.
Let be an oriented graph. There is a graph such that and are chromatically equivalent if and only if has no obstructing pairs of arcs.
When restricted to oriented graphs that contain no pair of obstructing arcs, OCHROMEQUIV is Polynomial – every instance is a YES instance. However, for arbitrary inputs is not clear if OCHROMEQUIV is contained in NP, as constructing the chromatic polynomial of a graph is NPhard. We conjecture, however, that those oriented graphs with no obstructing arcs are the only oriented graphs whose colourings have a onetoone correspondence with the colourings of some graph . If Conjecture 2.9 is true, then OCHROMEQUIV is Polynomial for arbitrary inputs.
Conjecture 2.9 is not true when we allow to be a mixed graph, even when we require . Let be the mixed graph formed from a pair of disjoint arcs by adding an edge between the heads and an edge between the tails. Using the reduction given in Section 1, we find . Notably, this is exactly the chromatic polynomial of the example, , given in Figure 2. The oriented graph has . Therefore . Further . And so by Theorem 2.2 we have . In particular, has a pair of obstructing arcs, but yet there is graph such that . From this example, one may generate an example on vertices for any by repeatedly adding universal vertices to and .
3 Roots of Oriented Chromatic Polynomials
The location of the roots of polynomials has been well studied for a variety of graph polynomials, such independence, domination, reliability and chromatic polynomials. In this section we provide a results regarding the roots of the oriented chromatic polynomial. Chromatic polynomials have roots that are dense in the complex plane [20]. Their coefficients alternate in sign and hence have no negative real roots [18]. We show the following:
Theorem 3.1.
For every integer , there exists an oriented graph so that has a root where .
Proof.
Let be the oriented graph on vertices that consists of a directed path with leaves, directed from to .
The oriented chromatic polynomial can be computed in the following way. Vertex has colour choices, has colour choices and has colour choices. Now for we have two options. If is the same colour as then the leaves have choices of colour, since it can not be the same colour at or . If is a different colour than the others in the path it has colour choices and the leaves have colour choices. This means
The polynomial has real roots at . We show that we can obtain arbitrarily large negative real roots by showing that a real root exists between and for even.
Observe,
It can be shown that if
The quantity is bounded above by , and for all values of , therefore for all even values of .
Now consider .
Clearly when
Let . The derivative of this function is
.
It is the case that , thus there exists so that for all , is an increasing function, as the derivative of is positive and hence and for large values of .
It then follows by the intermediate value theorem that can have an arbitrarily large negative root. ∎
A chromatic polynomial cannot have root in the interval [18]. We have shown that oriented chromatic polynomials can have negative real roots. In addition, there exist oriented chromatic polynomials in the interval , as has a root at . Open problems regarding the roots of oriented chromatic polynomials include: does there exist an oriented graph whose real roots lie in ? What is the closure of the complex roots for the oriented chromatic polynomial?
4 Conclusion
The study of oriented graphs often goes handinhand with that of signed graphs. Though the methods contained herein will extend to the study of chromatic polynomials of signed graphs, there will be a marked difference in the classification of chromatically invariant signed graphs. For example, letting all the edges of be positive leads to a chromatically invariant signed graph. However, every possible orientation of leads to an oriented graph that is not chromatically invariant. Of course, with this approach, every graph can have edge signs trivially assigned so that the resulting signed graph has the same chromatic polynomial as the underlying graph. And so one may require that there is at least one edge of each sign. With this added restriction it is unclear if chromatically invariant signed graphs can be identified in polynomial time, as we expect the characterization to require that signs be given so that there is no where the edges have different signs. Similarly, the generalization of signed graphs and oriented graphs to mixed graphs should yield a definition of a chromatic polynomial that obeys the reduction outlined in Section 1. Consequently we expect the results of Theorems 1.1 and 1.3 to generalize in the same manner. One may also ask, then, for which graphs is there an assignment of arcs, edges, and corresponding colours, so that the resulting mixed graph is chromatically invariant. We have shown that for oriented graphs that must be a free comparability graph.
Acknowledgments
The authors thank Gary MacGillivray for discussions regarding the recursive construction of the oriented chromatic polynomial.
References
 [1] J. BangJensen and G. Z. Gutin. Digraphs: theory, algorithms and applications. Springer Science & Business Media, 2008.
 [2] J. BangJensen, P. Hell, and G. MacGillivray. The Complexity of Colouring by Semicomplete Digraphs. SIAM Journal on Discrete Mathematics, 1(3):281–298, 1988.
 [3] J. Bensmail, C. Duffy, and S. Sen. Analogues of cliques for colored mixed graphs. Graphs and Combinatorics, 33(4):735–750, 2017.

[4]
B.Jackson.
A zerofree interval for the chromatic polynomials of graphs.
Combinatorics, Probability and Computing
, 2:325–336, 1993.  [5] B.Jackson. The zerofree interval for the chromatic polynomials of graphs. Combinatorics, Probability and Computing, 6:497–506, 1997.
 [6] J. Bondy and U. Murty. Graph Theory. Number 244 in Graduate Texts in Mathematics. Springer, 2008.
 [7] O. Borodin, A. Kostochka, J. Nešetřil, A. Raspaud, and E. Sopena. On the Maximum Average Degree and the Oriented Chromatic Number of a Graph. Discrete Mathematics, 206:77–89, 1999.
 [8] B. Courcelle. The Monadic Second Order Logic of Graphs VI: On several representations of graphs by relational structures. Discrete Applied Mathematics, 54:117–149, 1994.
 [9] C. Duffy, G. MacGillivray, and E. Sopena. Oriented colourings of graphs with maximum degree three and four. Discrete Mathematics. To appear.
 [10] J. Dybizbański and A. Szepietowski. The oriented chromatic number of Halin graphs. Information Processing Letters, 114(1):45–49, 2014.
 [11] G. Fertin, A. Raspaud, and A. Roychowdhury. On the Oriented Chromatic Number of Grids. Inform. Proc. Letters, 85:261–266, 2003.
 [12] T. Gallai. Transitiv orientierbare graphen. Acta Mathematica Hungarica, 18(12):25–66, 1967.
 [13] A. GhouilaHouri. Caractérisation des graphes non orientés dont on peut orienter les arětes de manière à obtenir le graphe d’une relation d’ordre. C. R. Acad. Sci. Paris, 254:1370 – 1371, 1962.
 [14] W. F. Klostermeyer and G. MacGillivray. Pushing vertices and oriented colorings. Bull. Inst. Combin. Appl, 40:49–58, 2004.
 [15] J. Nešetril and E. Sopena. On the oriented game chromatic number. Electron. J. Combin, 8(2):R14, 2001.
 [16] P. Ochem, A. Pinlou, and E. Sopena. On the Oriented Chromatic Index of Oriented Graphs. Journal of Graph Theory, 57(4):313–332, 2008.
 [17] A. Raspaud and E. Sopena. Good and SemiStrong Colorings of Oriented Graphs. Information Processing Letters, 51:171–174, 1994.
 [18] R. Read and W. Tutte. Selected Topics in Graph Theory 3, Chapter: Chromatic Polynomial. Number 244. Academic Press Ltd., 1988.
 [19] R. C. Read. An introduction to chromatic polynomials. Journal of Combinatorial Theory, 4(1):52–71, 1968.
 [20] A. Sokal. Chromatic roots are dense in the whole complex plane. Combinatorics, Probability and Computing, 13(2):221–261, 2004.
 [21] E. Sopena. Computing chromatic polynomial of oriented graphs. Université de Bordeaux 1/CNRS. Laboratoire Bordelais de Recherche en Informatique [LaBRI], 1994.
 [22] E. Sopena. Homomorphisms and Colourings of Oriented Graphs: An updated survey. Discrete Mathematics, 339(7):1993–2005, 2016.
 [23] J. Spinrad. On comparability and permutation graphs. SIAM Journal on Computing, 14(3):658–670, 1985.
 [24] Z. Tuza and M. Voigt. Oriented list colorings of graphs. Journal of Graph Theory, 36(4):217–229, 2001.
Appendix
See pages  of MapleCode
Comments
There are no comments yet.