3,118 research outputs found
Connection Matrices and the Definability of Graph Parameters
In this paper we extend and prove in detail the Finite Rank Theorem for
connection matrices of graph parameters definable in Monadic Second Order Logic
with counting (CMSOL) from B. Godlin, T. Kotek and J.A. Makowsky (2008) and
J.A. Makowsky (2009). We demonstrate its vast applicability in simplifying
known and new non-definability results of graph properties and finding new
non-definability results for graph parameters. We also prove a Feferman-Vaught
Theorem for the logic CFOL, First Order Logic with the modular counting
quantifiers
Sabidussi Versus Hedetniemi for Three Variations of the Chromatic Number
We investigate vector chromatic number, Lovasz theta of the complement, and
quantum chromatic number from the perspective of graph homomorphisms. We prove
an analog of Sabidussi's theorem for each of these parameters, i.e. that for
each of the parameters, the value on the Cartesian product of graphs is equal
to the maximum of the values on the factors. We also prove an analog of
Hedetniemi's conjecture for Lovasz theta of the complement, i.e. that its value
on the categorical product of graphs is equal to the minimum of its values on
the factors. We conjecture that the analogous results hold for vector and
quantum chromatic number, and we prove that this is the case for some special
classes of graphs.Comment: 18 page
- …