411 research outputs found
Coloring Complexes and Combinatorial Hopf Monoids
We generalize the notion of coloring complex of a graph to linearized
combinatorial Hopf monoids. These are a generalization of the notion of
coloring complex of a graph. We determine when a combinatorial Hopf monoid has
such a construction, and discover some inequalities that are satisfied by the
quasisymmetric function invariants associated to the combinatorial Hopf monoid.
We show that the collection of all such coloring complexes forms a
combinatorial Hopf monoid, which is the terminal object in the category of
combinatorial Hopf monoids with convex characters. We also study several
examples of combinatorial Hopf monoids.Comment: 37 pages, 5 figure
Quantum Query Complexity of Subgraph Isomorphism and Homomorphism
Let be a fixed graph on vertices. Let iff the input
graph on vertices contains as a (not necessarily induced) subgraph.
Let denote the cardinality of a maximum independent set of . In
this paper we show:
where
denotes the quantum query complexity of .
As a consequence we obtain a lower bounds for in terms of several
other parameters of such as the average degree, minimum vertex cover,
chromatic number, and the critical probability.
We also use the above bound to show that for any
, improving on the previously best known bound of . Until
very recently, it was believed that the quantum query complexity is at least
square root of the randomized one. Our bound for
matches the square root of the current best known bound for the randomized
query complexity of , which is due to Gr\"oger.
Interestingly, the randomized bound of for
still remains open.
We also study the Subgraph Homomorphism Problem, denoted by , and
show that .
Finally we extend our results to the -uniform hypergraphs. In particular,
we show an bound for quantum query complexity of the Subgraph
Isomorphism, improving on the previously known bound. For the
Subgraph Homomorphism, we obtain an bound for the same.Comment: 16 pages, 2 figure
Chromatic Numbers of Simplicial Manifolds
Higher chromatic numbers of simplicial complexes naturally
generalize the chromatic number of a graph. In any fixed dimension
, the -chromatic number of -complexes can become arbitrarily
large for [6,18]. In contrast, , and only
little is known on for .
A particular class of -complexes are triangulations of -manifolds. As a
consequence of the Map Color Theorem for surfaces [29], the 2-chromatic number
of any fixed surface is finite. However, by combining results from the
literature, we will see that for surfaces becomes arbitrarily large
with growing genus. The proof for this is via Steiner triple systems and is
non-constructive. In particular, up to now, no explicit triangulations of
surfaces with high were known.
We show that orientable surfaces of genus at least 20 and non-orientable
surfaces of genus at least 26 have a 2-chromatic number of at least 4. Via a
projective Steiner triple systems, we construct an explicit triangulation of a
non-orientable surface of genus 2542 and with face vector
that has 2-chromatic number 5 or 6. We also give orientable examples with
2-chromatic numbers 5 and 6.
For 3-dimensional manifolds, an iterated moment curve construction [18] along
with embedding results [6] can be used to produce triangulations with
arbitrarily large 2-chromatic number, but of tremendous size. Via a topological
version of the geometric construction of [18], we obtain a rather small
triangulation of the 3-dimensional sphere with face vector
and 2-chromatic number 5.Comment: 22 pages, 11 figures, revised presentatio
- …