4,082 research outputs found
Third case of the Cyclic Coloring Conjecture
The Cyclic Coloring Conjecture asserts that the vertices of every plane graph
with maximum face size D can be colored using at most 3D/2 colors in such a way
that no face is incident with two vertices of the same color. The Cyclic
Coloring Conjecture has been proven only for two values of D: the case D=3 is
equivalent to the Four Color Theorem and the case D=4 is equivalent to
Borodin's Six Color Theorem, which says that every graph that can be drawn in
the plane with each edge crossed by at most one other edge is 6-colorable. We
prove the case D=6 of the conjecture
Minimal counterexamples and discharging method
Recently, the author found that there is a common mistake in some papers by
using minimal counterexample and discharging method. We first discuss how the
mistake is generated, and give a method to fix the mistake. As an illustration,
we consider total coloring of planar or toroidal graphs, and show that: if
is a planar or toroidal graph with maximum degree at most , where
, then the total chromatic number is at most .Comment: 8 pages. Preliminary version, comments are welcom
Interval total colorings of graphs
A total coloring of a graph is a coloring of its vertices and edges such
that no adjacent vertices, edges, and no incident vertices and edges obtain the
same color. An \emph{interval total -coloring} of a graph is a total
coloring of with colors such that at least one vertex or edge
of is colored by , , and the edges incident to each vertex
together with are colored by consecutive colors, where
is the degree of the vertex in . In this paper we investigate
some properties of interval total colorings. We also determine exact values of
the least and the greatest possible number of colors in such colorings for some
classes of graphs.Comment: 23 pages, 1 figur
On the Pauli graphs of N-qudits
A comprehensive graph theoretical and finite geometrical study of the
commutation relations between the generalized Pauli operators of N-qudits is
performed in which vertices/points correspond to the operators and edges/lines
join commuting pairs of them. As per two-qubits, all basic properties and
partitionings of the corresponding Pauli graph are embodied in the geometry of
the generalized quadrangle of order two. Here, one identifies the operators
with the points of the quadrangle and groups of maximally commuting subsets of
the operators with the lines of the quadrangle. The three basic partitionings
are (a) a pencil of lines and a cube, (b) a Mermin's array and a bipartite-part
and (c) a maximum independent set and the Petersen graph. These factorizations
stem naturally from the existence of three distinct geometric hyperplanes of
the quadrangle, namely a set of points collinear with a given point, a grid and
an ovoid, which answer to three distinguished subsets of the Pauli graph,
namely a set of six operators commuting with a given one, a Mermin's square,
and set of five mutually non-commuting operators, respectively. The generalized
Pauli graph for multiple qubits is found to follow from symplectic polar spaces
of order two, where maximal totally isotropic subspaces stand for maximal
subsets of mutually commuting operators. The substructure of the (strongly
regular) N-qubit Pauli graph is shown to be pseudo-geometric, i. e., isomorphic
to a graph of a partial geometry. Finally, the (not strongly regular) Pauli
graph of a two-qutrit system is introduced; here it turns out more convenient
to deal with its dual in order to see all the parallels with the two-qubit case
and its surmised relation with the generalized quadrangle Q(4, 3), the dual
ofW(3).Comment: 17 pages. Expanded section on two-qutrits, Quantum Information and
Computation (2007) accept\'
- …