3 research outputs found
Boxicity and separation dimension
A family of permutations of the vertices of a hypergraph is
called 'pairwise suitable' for if, for every pair of disjoint edges in ,
there exists a permutation in in which all the vertices in one
edge precede those in the other. The cardinality of a smallest such family of
permutations for is called the 'separation dimension' of and is denoted
by . Equivalently, is the smallest natural number so that
the vertices of can be embedded in such that any two
disjoint edges of can be separated by a hyperplane normal to one of the
axes. We show that the separation dimension of a hypergraph is equal to the
'boxicity' of the line graph of . This connection helps us in borrowing
results and techniques from the extensive literature on boxicity to study the
concept of separation dimension.Comment: This is the full version of a paper by the same name submitted to
WG-2014. Some results proved in this paper are also present in
arXiv:1212.6756. arXiv admin note: substantial text overlap with
arXiv:1212.675
Separation dimension of bounded degree graphs
The 'separation dimension' of a graph is the smallest natural number
for which the vertices of can be embedded in such that any
pair of disjoint edges in can be separated by a hyperplane normal to one of
the axes. Equivalently, it is the smallest possible cardinality of a family
of total orders of the vertices of such that for any two
disjoint edges of , there exists at least one total order in
in which all the vertices in one edge precede those in the other. In general,
the maximum separation dimension of a graph on vertices is . In this article, we focus on bounded degree graphs and show that the
separation dimension of a graph with maximum degree is at most
. We also demonstrate that the above bound is nearly
tight by showing that, for every , almost all -regular graphs have
separation dimension at least .Comment: One result proved in this paper is also present in arXiv:1212.675
Coloring and covering problems on graphs
The \emph{separation dimension} of a graph , written , is the minimum number of linear orderings of such that every two nonincident edges are ``separated'' in some ordering, meaning that both endpoints of one edge appear before both endpoints of the other. We introduce the \emph{fractional separation dimension} , which is the minimum of such that some linear orderings (repetition allowed) separate every two nonincident edges at least times.
In contrast to separation dimension, we show fractional separation dimension is bounded: always , with equality if and only if contains . There is no stronger bound even for bipartite graphs, since . We also compute for cycles and some complete tripartite graphs. We show that when is a tree and present a sequence of trees on which the value tends to . We conjecture that when the -free -vertex graph maximizing is .
We also consider analogous problems for circular orderings, where pairs of nonincident edges are separated unless their endpoints alternate. Let be the number of circular orderings needed to separate all pairs, and let be the fractional version. Among our results: (1) if and only is outerplanar. (2) when is bipartite. (3) . (4) , with equality if and only if . (5) .
A \emph{star -coloring} is a proper -coloring where the union of any two color classes induces a star forest. While every planar graph is 4-colorable, not every planar graph is star 4-colorable. One method to produce a star 4-coloring is to partition the vertex set into a 2-independent set and a forest; such a partition is called an \emph{\Ifp}. We use discharging to prove that every graph with maximum average degree less than has an \Ifp, which is sharp and improves the result of Bu, Cranston, Montassier, Raspaud, and Wang (2009). As a corollary, we gain that every planar graph with girth at least 10 has a star 4-coloring.
A proper vertex coloring of a graph is \emph{-dynamic} if for each , at least colors appear in . We investigate -dynamic versions of coloring and list coloring. We prove that planar and toroidal graphs are 3-dynamically 10-choosable, and this bound is sharp for toroidal graphs.
Given a proper total -coloring of a graph , we define the \emph{sum value} of a vertex to be . The smallest integer such that has a proper total -coloring whose sum values form a proper coloring is the \emph{neighbor sum distinguishing total chromatic number} . Pil{\'s}niak and Wo{\'z}niak~(2013) conjectured that for any simple graph with maximum degree . We prove this bound to be asymptotically correct by showing that . The main idea of our argument relies on Przyby{\l}o's proof (2014) for neighbor sum distinguishing edge-coloring