2,249 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
Cuts in matchings of 3-connected cubic graphs
We discuss conjectures on Hamiltonicity in cubic graphs (Tait, Barnette,
Tutte), on the dichromatic number of planar oriented graphs (Neumann-Lara), and
on even graphs in digraphs whose contraction is strongly connected
(Hochst\"attler). We show that all of them fit into the same framework related
to cuts in matchings. This allows us to find a counterexample to the conjecture
of Hochst\"attler and show that the conjecture of Neumann-Lara holds for all
planar graphs on at most 26 vertices. Finally, we state a new conjecture on
bipartite cubic oriented graphs, that naturally arises in this setting.Comment: 12 pages, 5 figures, 1 table. Improved expositio
On the containment problem
The purpose of this note is to provide an overview of the containment problem
for symbolic and ordinary powers of homogeneous ideals, related conjectures and
examples. We focus here on ideals with zero dimensional support. This is an
area of ongoing active research. We conclude the note with a list of potential
promising paths of further research.Comment: 13 pages, 1 figur
Nash Williams Conjecture and the Dominating Cycle Conjecture
The disproved Nash Williams conjecture states that every 4-regular
4-connected graph has a hamiltonian cycle. We show that a modification of this
conjecture is equivalent to the Dominating Cycle Conjecture
Generation and Properties of Snarks
For many of the unsolved problems concerning cycles and matchings in graphs
it is known that it is sufficient to prove them for \emph{snarks}, the class of
nontrivial 3-regular graphs which cannot be 3-edge coloured. In the first part
of this paper we present a new algorithm for generating all non-isomorphic
snarks of a given order. Our implementation of the new algorithm is 14 times
faster than previous programs for generating snarks, and 29 times faster for
generating weak snarks. Using this program we have generated all non-isomorphic
snarks on vertices. Previously lists up to vertices have been
published. In the second part of the paper we analyze the sets of generated
snarks with respect to a number of properties and conjectures. We find that
some of the strongest versions of the cycle double cover conjecture hold for
all snarks of these orders, as does Jaeger's Petersen colouring conjecture,
which in turn implies that Fulkerson's conjecture has no small counterexamples.
In contrast to these positive results we also find counterexamples to eight
previously published conjectures concerning cycle coverings and the general
cycle structure of cubic graphs.Comment: Submitted for publication V2: various corrections V3: Figures updated
and typos corrected. This version differs from the published one in that the
Arxiv-version has data about the automorphisms of snarks; Journal of
Combinatorial Theory. Series B. 201
A counterexample to Thiagarajan's conjecture on regular event structures
We provide a counterexample to a conjecture by Thiagarajan (1996 and 2002)
that regular event structures correspond exactly to event structures obtained
as unfoldings of finite 1-safe Petri nets. The same counterexample is used to
disprove a closely related conjecture by Badouel, Darondeau, and Raoult (1999)
that domains of regular event structures with bounded -cliques are
recognizable by finite trace automata. Event structures, trace automata, and
Petri nets are fundamental models in concurrency theory. There exist nice
interpretations of these structures as combinatorial and geometric objects.
Namely, from a graph theoretical point of view, the domains of prime event
structures correspond exactly to median graphs; from a geometric point of view,
these domains are in bijection with CAT(0) cube complexes.
A necessary condition for both conjectures to be true is that domains of
regular event structures (with bounded -cliques) admit a regular nice
labeling. To disprove these conjectures, we describe a regular event domain
(with bounded -cliques) that does not admit a regular nice labeling.
Our counterexample is derived from an example by Wise (1996 and 2007) of a
nonpositively curved square complex whose universal cover is a CAT(0) square
complex containing a particular plane with an aperiodic tiling. We prove that
other counterexamples to Thiagarajan's conjecture arise from aperiodic 4-way
deterministic tile sets of Kari and Papasoglu (1999) and Lukkarila (2009).
On the positive side, using breakthrough results by Agol (2013) and Haglund
and Wise (2008, 2012) from geometric group theory, we prove that Thiagarajan's
conjecture is true for regular event structures whose domains occur as
principal filters of hyperbolic CAT(0) cube complexes which are universal
covers of finite nonpositively curved cube complexes
- …