Simple Graph Density Inequalities
with no Sum of Squares Proofs
Grigoriy Blekherman
School of Mathematics, Georgia Institute of Technology,
686 Cherry Street
Atlanta, GA 30332
[email protected]
,
Annie Raymond
Department of Mathematics and Statistics,
Lederle Graduate Research Tower, 1623D,
University of Massachusetts Amherst
710 N. Pleasant Street
Amherst, MA 01003
[email protected]
,
Mohit Singh
H. Milton Stewart School of
Industrial and Systems Engineering, Georgia Institute of Technology,
755 Ferst Drive, NW, Atlanta, GA 30332
[email protected]
and
Rekha R. Thomas
Department of Mathematics, University of Washington, Box
354350, Seattle, WA 98195, USA
[email protected]
Abstract.
Establishing inequalities among graph densities is a central
pursuit in extremal combinatorics. A standard tool to certify the nonnegativity of a graph density expression
is to write it as a sum of squares. In this paper, we identify a simple condition under which a graph density expression cannot be a sum of squares. Using this result, we prove that the
Blakley-Roy inequality does not have a sum of squares certificate when the path length is odd.
We also show that the same Blakley-Roy inequalities cannot be certified by sums of squares using a multiplier of the form one plus a sum of squares. These results answer two questions raised by Lovász. Our main tool is used again to show that the smallest open case of Sidorenko’s conjectured inequality cannot be certified by a sum of squares.
Finally, we show that our setup is equivalent to existing frameworks by Razborov and Lovász-Szegedy, and thus our results hold in these settings too.
Grigoriy Blekherman was partially supported by NSF grant DMS-1352073. This material is partially based upon work supported by the National Science Foundation under Grant No. 1440140, while Annie Raymond and Rekha Thomas were in residence at the Mathematical Sciences Research Institute in Berkeley, California, during the fall of 2017.
Mohit Singh was partially supposed by NSF grant CCF-1717947 and Rekha Thomas was partially supported by
NSF grant DMS-1719538.
1. Introduction
A graph G has vertex set V(G) and edge set E(G). All graphs are assumed to be simple, without loops or multiple edges. The homomorphism density of a graph H in a graph G, denoted by t(H;G), is the probability that a random map from V(H) to V(G) is a graph homomorphism, i.e., it maps every edge of H to an edge of G. An inequality between homomorphism densities refers to an inequality between t(Hi;G), for some finite graphs Hi, that is valid for all graphs G.
Many results and problems in extremal graph theory can be restated as inequalities between homomorphism densities [LovaszBook, Razborov07]. The Cauchy-Schwarz inequality has been one of the powerful tools used to verify density inequalities for graphs and hypergraphs [MR3002572, LovaszBook, MR2680226, MR3007147]. This proof method is equivalent to the general sum of squares (sos) proof method that has been widely used in optimization [blekherman2012semidefinite]. Moreover, sos proofs naturally yield to a computerized search via semidefinite programming. It was shown in [MR2921000] that every true inequality between homomorphism densities is a limit of Cauchy-Schwarz inequalities.
On the other hand, Hatami and Norine [HN11] show significant computational limitations on verifying inequalities between homomorphism densities.
Firstly, they show that the problem of verifying the validity of an inequality between homomorphism densities is undecidable. Moreover, they also show that there are valid linear inequalities between graph homomorphism densities that do not have a finite sos proof.
Despite the above negative results, the limitations of the sos proof method in proving a particular graph density inequality of interest has been unclear. The examples arising from [HN11] do not shed much light on natural graph density inequalities in extremal graph theory.
In this paper, we give a simple criterion that rules out sos proofs for the validity of a given graph density inequality. As a corollary of our method, we obtain that certain classical graph density inequalities cannot be proven via the sos method. Moreover, we also show that the smallest unresolved instance of the celebrated Sidorenko’s conjecture cannot be resolved via the sos method.
To describe our results, we begin with a few definitions about the gluing algebra of graphs. We refer the reader to Lovász [LovaszBook] for a broader exposition. A graph is partially labeled if a subset of its vertices are labeled with elements of N:={1,2,3,…} such that no vertex receives more than one label. If no
vertices of H are labeled then H is unlabeled.
Let A denote the vector space of all formal finite R-linear combinations of partially labeled graphs without isolated vertices, including
the empty graph with no vertices which we denote as 1. We call an element a=∑αiHi of A a graph combination, each αiHi a term of a, and each Hi a constituent graph of a. The degree of a term αiHi, αi=0, is the number of edges in Hi. We say that a is homogeneous of degree d if all its terms have degree d.
Let A∅ denote the subalgebra of A spanned by unlabeled graphs. We view elements a∈A∅ as functions that can be evaluated on unlabeled graphs G via homomorphism densities. An element a=∑αiHi of A∅ is called nonnegative if ∑αit(Hi;G)≥0 for all graphs G.
The vector space A has a product defined as follows. For two labeled graphs H1 and H2, form the new labeled graph H1H2 by gluing together the vertices in the two graphs with the same label, and keeping only one copy of any edge that may have doubled in the process. Equipped with this product, A becomes an R-algebra with the empty graph as its multiplicative identity.
The algebra A admits a simple linear map into A∅ that removes the labels in a graph combination to create a graph combination of unlabeled graphs. We call this map unlabeling and denote it by [[⋅]].
A sum of squares (sos) in A∅ is a finite sum of unlabeled squares of graph combinations ai∈A, namely,
∑[[ai2]]. It can be easily seen that a sos is a nonnegative graph combination.
Definition 1.1**.**
An unlabeled graph F is called a trivial square if whenever F=[[H2]] for some labeled graph H, then H is a fully labeled copy of F.
In Lemma 2.8, we give a characterization of trivial squares in terms of automorphisms of the underlying graph. Our main result is the following theorem that gives a sufficient condition for when a graph combination is not a sos.
Theorem 1.2**.**
Let f=∑s=1tλsFs be a graph combination of unlabeled graphs Fs and dmin be the minimum degree of any Fs. Suppose f satisfies the following conditions:
- (1)
there exists an s such that the degree of Fs is equal to dmin and λs<0, and
2. (2)
for every s such that degree of Fs equals dmin and λs>0, Fs is a trivial square.
Then f is a not a sos.
As a first application of our theorem, we consider the Blakley-Roy inequality [blakley1965holder]. Let Pk denote the path of length k and e denote the graph with a single edge. Then the Blakley-Roy inequality asserts that for every k, the combination Pk−ek is nonnegative. Indeed various proofs of this inequality have been obtained, for instance [blakley1965holder, li2011logarithimic]. We show the following result.
Corollary 1.3**.**
For any odd integer k≥3, Pk is a trivial square. Therefore, for every odd k≥3 and for all λ∈R, λPk−ek is not a sos.
The above result answers Question 17(b) in Lovász [LovaszOpenProblems] which asked whether the Blakley-Roy inequality has a sos proof.
In [LovaszOpenProblems] Lovász also considered a more general certificate of nonnegativity: it is easy to see that f is a nonnegative graph combination if there exists a sos graph combination g such that f(1+g) is sos.
Theorem 1.2 shows that for homogeneous graph combinations, such nonnegativity certificates are no more powerful than usual sos. In particular, the Blakley-Roy inequality for odd paths cannot be certified in this way.
Corollary 1.4**.**
For any λ∈R and for any k≥3 and odd, there is no sos g such that (λPk−ek)(1+g) is a sos.
This resolves question 21 of [LovaszOpenProblems] which asked for an explicit example of a valid homomorphism density inequality without such multiplicative certificates. The existence of such inequalities already followed from the undecidability result of [HN11].
As a final corollary, we consider Sidorenko’s conjecture [Sid93] that states that for every bipartite graph H, the graph combination H−e∣E(H)∣ is nonnegative. A special case of this conjecture, which is known to be true, is the Blakely-Roy inequality.
While it has been verified for various graph families, the smallest H for which the conjecture remains open is H=K5,5∖C10 where K5,5 is the complete bipartite graph where both parts contain five vertices, and C10 is a Hamiltonian cycle with 10 vertices [conlon2018sidorenko]. We show that Theorem 1.2
implies that the above inequality cannot be resolved using the sos proof
method.
Corollary 1.5**.**
If H=K5,5∖C10, then H is a trivial square, and H−e15 is not a sos. Moreover, there is no sos g such that (H−e15)(1+g) is a sos.
Our main technical tool is Lemma 2.4, which shows that for any sos f=∑λsFs=∑[[ai2]] with ai=∑αijHij, there exists a term λsFs of minimal degree in f such that Fs only
arises as a square [[Hij2]], and consequently, λs>0. From this, we derive Theorem 2.7, which shows that in decomposing homogeneous graph combinations as sums of squares, we are severely restricted in the types of graphs that can be used in the underlying squares. In forthcoming work we will show how these restrictions can be used to classify all homogeneous sums of squares of degrees 3 and 4 [BRSThom].
This paper is organized as follows. In Section 2 we prove our main results on sums of squares in the gluing algebra A. In Section 3 we discuss the relation between our gluing algebra and the Cauchy-Schwarz calculus of Razborov as well as the very closely related gluing algebras of Lovász-Szegedy. These connections prove that the three results presented in Corollaries 1.3, 1.4 and 1.5 also hold in any of these settings.
Acknowledgments. We thank Prasad Tetali for bringing to our attention the smallest open case of Sidorenko’s conjecture. We also want to thank Alexander Razborov for useful discussions about this paper.
2. The Gluing Algebra and its Sums of Squares
Recall the algebra A from the introduction spanned by partially labeled graphs as a R-vector space. We call
A a gluing algebra since multiplication in it works by gluing graphs along vertices with the
same labels. For example, \leavevmodeto41.64pt\vboxto29.36pt\pgfpicture\makeatletter\lower-14.24126ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt0.0pt\pgfsys@curveto1.42264pt0.7857pt0.7857pt1.42264pt0.0pt1.42264pt\pgfsys@curveto-0.7857pt1.42264pt-1.42264pt0.7857pt-1.42264pt0.0pt\pgfsys@curveto-1.42264pt-0.7857pt-0.7857pt-1.42264pt0.0pt-1.42264pt\pgfsys@curveto0.7857pt-1.42264pt1.42264pt-0.7857pt1.42264pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.05.15564pt-2.57777pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 3 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt11.7811pt\pgfsys@curveto1.42264pt12.5668pt0.7857pt13.20374pt0.0pt13.20374pt\pgfsys@curveto-0.7857pt13.20374pt-1.42264pt12.5668pt-1.42264pt11.7811pt\pgfsys@curveto-1.42264pt10.99539pt-0.7857pt10.35846pt0.0pt10.35846pt\pgfsys@curveto0.7857pt10.35846pt1.42264pt10.99539pt1.42264pt11.7811pt\pgfsys@closepath\pgfsys@moveto0.0pt11.7811pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt11.7811pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-5.15564pt11.7811pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto-6.90784pt-8.33047pt\pgfsys@curveto-6.90784pt-7.54477pt-7.54477pt-6.90784pt-8.33047pt-6.90784pt\pgfsys@curveto-9.11618pt-6.90784pt-9.75311pt-7.54477pt-9.75311pt-8.33047pt\pgfsys@curveto-9.75311pt-9.11618pt-9.11618pt-9.75311pt-8.33047pt-9.75311pt\pgfsys@curveto-7.54477pt-9.75311pt-6.90784pt-9.11618pt-6.90784pt-8.33047pt\pgfsys@closepath\pgfsys@moveto-8.33047pt-8.33047pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-8.33047pt-8.33047pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-17.48611pt-10.90825pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 1 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto9.75311pt-8.33047pt\pgfsys@curveto9.75311pt-7.54477pt9.11618pt-6.90784pt8.33047pt-6.90784pt\pgfsys@curveto7.54477pt-6.90784pt6.90784pt-7.54477pt6.90784pt-8.33047pt\pgfsys@curveto6.90784pt-9.11618pt7.54477pt-9.75311pt8.33047pt-9.75311pt\pgfsys@curveto9.11618pt-9.75311pt9.75311pt-9.11618pt9.75311pt-8.33047pt\pgfsys@closepath\pgfsys@moveto8.33047pt-8.33047pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.08.33047pt-8.33047pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.013.48611pt-10.90825pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 2 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@moveto0.0pt10.15846pt\pgfsys@lineto0.0pt1.62263pt\pgfsys@moveto-1.14737pt-1.14737pt\pgfsys@lineto-7.1831pt-7.1831pt\pgfsys@moveto-7.1831pt-7.1831pt\pgfsys@lineto-1.14737pt-1.14737pt\pgfsys@moveto1.14737pt-1.14737pt\pgfsys@lineto7.1831pt-7.1831pt\pgfsys@stroke\pgfsys@invoke \pgfsys@moveto-6.70784pt-8.33047pt\pgfsys@lineto6.70784pt-8.33047pt\pgfsys@stroke\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture⋅\leavevmodeto37.64pt\vboxto20.15pt\pgfpicture\makeatletter\lower-14.24126ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt0.0pt\pgfsys@curveto1.42264pt0.7857pt0.7857pt1.42264pt0.0pt1.42264pt\pgfsys@curveto-0.7857pt1.42264pt-1.42264pt0.7857pt-1.42264pt0.0pt\pgfsys@curveto-1.42264pt-0.7857pt-0.7857pt-1.42264pt0.0pt-1.42264pt\pgfsys@curveto0.7857pt-1.42264pt1.42264pt-0.7857pt1.42264pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.05.15564pt-2.57777pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 1 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto-6.90784pt-8.33047pt\pgfsys@curveto-6.90784pt-7.54477pt-7.54477pt-6.90784pt-8.33047pt-6.90784pt\pgfsys@curveto-9.11618pt-6.90784pt-9.75311pt-7.54477pt-9.75311pt-8.33047pt\pgfsys@curveto-9.75311pt-9.11618pt-9.11618pt-9.75311pt-8.33047pt-9.75311pt\pgfsys@curveto-7.54477pt-9.75311pt-6.90784pt-9.11618pt-6.90784pt-8.33047pt\pgfsys@closepath\pgfsys@moveto-8.33047pt-8.33047pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-8.33047pt-8.33047pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-17.48611pt-10.90825pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 2 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto9.75311pt-8.33047pt\pgfsys@curveto9.75311pt-7.54477pt9.11618pt-6.90784pt8.33047pt-6.90784pt\pgfsys@curveto7.54477pt-6.90784pt6.90784pt-7.54477pt6.90784pt-8.33047pt\pgfsys@curveto6.90784pt-9.11618pt7.54477pt-9.75311pt8.33047pt-9.75311pt\pgfsys@curveto9.11618pt-9.75311pt9.75311pt-9.11618pt9.75311pt-8.33047pt\pgfsys@closepath\pgfsys@moveto8.33047pt-8.33047pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.08.33047pt-8.33047pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.013.48611pt-8.33047pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@moveto7.1831pt-7.1831pt\pgfsys@lineto1.14737pt-1.14737pt\pgfsys@moveto-1.14737pt-1.14737pt\pgfsys@lineto-7.1831pt-7.1831pt\pgfsys@stroke\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture=\leavevmodeto41.64pt\vboxto29.36pt\pgfpicture\makeatletter\lower-23.44458ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt0.0pt\pgfsys@curveto1.42264pt0.7857pt0.7857pt1.42264pt0.0pt1.42264pt\pgfsys@curveto-0.7857pt1.42264pt-1.42264pt0.7857pt-1.42264pt0.0pt\pgfsys@curveto-1.42264pt-0.7857pt-0.7857pt-1.42264pt0.0pt-1.42264pt\pgfsys@curveto0.7857pt-1.42264pt1.42264pt-0.7857pt1.42264pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.05.15564pt-2.57777pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 2 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto-6.90784pt-8.33047pt\pgfsys@curveto-6.90784pt-7.54477pt-7.54477pt-6.90784pt-8.33047pt-6.90784pt\pgfsys@curveto-9.11618pt-6.90784pt-9.75311pt-7.54477pt-9.75311pt-8.33047pt\pgfsys@curveto-9.75311pt-9.11618pt-9.11618pt-9.75311pt-8.33047pt-9.75311pt\pgfsys@curveto-7.54477pt-9.75311pt-6.90784pt-9.11618pt-6.90784pt-8.33047pt\pgfsys@closepath\pgfsys@moveto-8.33047pt-8.33047pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-8.33047pt-8.33047pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-17.48611pt-10.90825pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 3 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto9.75311pt-8.33047pt\pgfsys@curveto9.75311pt-7.54477pt9.11618pt-6.90784pt8.33047pt-6.90784pt\pgfsys@curveto7.54477pt-6.90784pt6.90784pt-7.54477pt6.90784pt-8.33047pt\pgfsys@curveto6.90784pt-9.11618pt7.54477pt-9.75311pt8.33047pt-9.75311pt\pgfsys@curveto9.11618pt-9.75311pt9.75311pt-9.11618pt9.75311pt-8.33047pt\pgfsys@closepath\pgfsys@moveto8.33047pt-8.33047pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.08.33047pt-8.33047pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.013.48611pt-10.90825pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 1 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto-6.90784pt-20.11157pt\pgfsys@curveto-6.90784pt-19.32587pt-7.54477pt-18.68893pt-8.33047pt-18.68893pt\pgfsys@curveto-9.11618pt-18.68893pt-9.75311pt-19.32587pt-9.75311pt-20.11157pt\pgfsys@curveto-9.75311pt-20.89728pt-9.11618pt-21.53421pt-8.33047pt-21.53421pt\pgfsys@curveto-7.54477pt-21.53421pt-6.90784pt-20.89728pt-6.90784pt-20.11157pt\pgfsys@closepath\pgfsys@moveto-8.33047pt-20.11157pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-8.33047pt-20.11157pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-13.48611pt-20.11157pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto9.75311pt-20.11157pt\pgfsys@curveto9.75311pt-19.32587pt9.11618pt-18.68893pt8.33047pt-18.68893pt\pgfsys@curveto7.54477pt-18.68893pt6.90784pt-19.32587pt6.90784pt-20.11157pt\pgfsys@curveto6.90784pt-20.89728pt7.54477pt-21.53421pt8.33047pt-21.53421pt\pgfsys@curveto9.11618pt-21.53421pt9.75311pt-20.89728pt9.75311pt-20.11157pt\pgfsys@closepath\pgfsys@moveto8.33047pt-20.11157pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.08.33047pt-20.11157pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.013.48611pt-20.11157pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@moveto1.14737pt-1.14737pt\pgfsys@lineto7.1831pt-7.1831pt\pgfsys@moveto6.70784pt-8.33047pt\pgfsys@lineto-6.70784pt-8.33047pt\pgfsys@moveto-7.1831pt-7.1831pt\pgfsys@lineto-1.14737pt-1.14737pt\pgfsys@stroke\pgfsys@invoke \pgfsys@moveto-8.33047pt-9.95311pt\pgfsys@lineto-8.33047pt-18.48894pt\pgfsys@stroke\pgfsys@invoke \pgfsys@moveto8.33047pt-9.95311pt\pgfsys@lineto8.33047pt-18.48894pt\pgfsys@stroke\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture.
For a fixed finite set of labels L⊂N, let AL denote the subalgebra of A spanned by all
graphs whose label sets are contained in L. Then A∅ is the subalgebra of A spanned by unlabeled graphs.
Lemma 2.1**.**
Let H1 and H2 be two partially labeled graphs such that
[TABLE]
Then deg(H1H2)=deg(H12)=deg(H22). Further, deg(H1)=deg(H2) and
H1 and H2 have the same set of fully labeled edges.
Proof.
Suppose Hi has degree di and li fully labeled edges. Then deg(Hi2)=2di−li.
Let c be the number of fully-labeled edges that are common to both H1 and H2. Then c≤min{l1,l2} and deg(H1H2)=d1+d2−c.
We are given that
d1+d2−c≤min{2d1−l1,2d2−l2}, which implies that
[TABLE]
The extremes of the two inequalities give that d1=d2, while adding the two inequalities
gives that l1+l2−2c=0. Since c≤min{l1,l2}, it follows that l1=l2=c.
∎
The unlabeling map [[⋅]]:A→A∅ removes the labels in a graph combination.
Note that for any partially labeled graph H, deg(H)=deg([[H]]). A sum of squares (sos) in A is a finite sum of unlabeled squares of graph combinations ai∈A, namely,
∑[[ai2]]. By definition, a sos in A lies in A∅.
Example 2.2**.**
The Blakley-Roy inequality for a path of length two, \leavevmodeto19.51pt\vboxto11.18pt\pgfpicture\makeatletter\lower-9.75311ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt0.0pt\pgfsys@curveto1.42264pt0.7857pt0.7857pt1.42264pt0.0pt1.42264pt\pgfsys@curveto-0.7857pt1.42264pt-1.42264pt0.7857pt-1.42264pt0.0pt\pgfsys@curveto-1.42264pt-0.7857pt-0.7857pt-1.42264pt0.0pt-1.42264pt\pgfsys@curveto0.7857pt-1.42264pt1.42264pt-0.7857pt1.42264pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto-6.90784pt-8.33047pt\pgfsys@curveto-6.90784pt-7.54477pt-7.54477pt-6.90784pt-8.33047pt-6.90784pt\pgfsys@curveto-9.11618pt-6.90784pt-9.75311pt-7.54477pt-9.75311pt-8.33047pt\pgfsys@curveto-9.75311pt-9.11618pt-9.11618pt-9.75311pt-8.33047pt-9.75311pt\pgfsys@curveto-7.54477pt-9.75311pt-6.90784pt-9.11618pt-6.90784pt-8.33047pt\pgfsys@closepath\pgfsys@moveto-8.33047pt-8.33047pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-8.33047pt-8.33047pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto9.75311pt-8.33047pt\pgfsys@curveto9.75311pt-7.54477pt9.11618pt-6.90784pt8.33047pt-6.90784pt\pgfsys@curveto7.54477pt-6.90784pt6.90784pt-7.54477pt6.90784pt-8.33047pt\pgfsys@curveto6.90784pt-9.11618pt7.54477pt-9.75311pt8.33047pt-9.75311pt\pgfsys@curveto9.11618pt-9.75311pt9.75311pt-9.11618pt9.75311pt-8.33047pt\pgfsys@closepath\pgfsys@moveto8.33047pt-8.33047pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.08.33047pt-8.33047pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@moveto7.1831pt-7.1831pt\pgfsys@lineto1.14737pt-1.14737pt\pgfsys@moveto-1.14737pt-1.14737pt\pgfsys@lineto-7.1831pt-7.1831pt\pgfsys@stroke\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture−\leavevmodeto7.51pt\vboxto14.63pt\pgfpicture\makeatletter\lower-13.20374ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt0.0pt\pgfsys@curveto1.42264pt0.7857pt0.7857pt1.42264pt0.0pt1.42264pt\pgfsys@curveto-0.7857pt1.42264pt-1.42264pt0.7857pt-1.42264pt0.0pt\pgfsys@curveto-1.42264pt-0.7857pt-0.7857pt-1.42264pt0.0pt-1.42264pt\pgfsys@curveto0.7857pt-1.42264pt1.42264pt-0.7857pt1.42264pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt-11.7811pt\pgfsys@curveto1.42264pt-10.99539pt0.7857pt-10.35846pt0.0pt-10.35846pt\pgfsys@curveto-0.7857pt-10.35846pt-1.42264pt-10.99539pt-1.42264pt-11.7811pt\pgfsys@curveto-1.42264pt-12.5668pt-0.7857pt-13.20374pt0.0pt-13.20374pt\pgfsys@curveto0.7857pt-13.20374pt1.42264pt-12.5668pt1.42264pt-11.7811pt\pgfsys@closepath\pgfsys@moveto0.0pt-11.7811pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt-11.7811pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-4.66791pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@moveto0.0pt-10.15846pt\pgfsys@lineto0.0pt-1.62263pt\pgfsys@stroke\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture\leavevmodeto7.51pt\vboxto14.63pt\pgfpicture\makeatletter\lower-13.20374ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt0.0pt\pgfsys@curveto1.42264pt0.7857pt0.7857pt1.42264pt0.0pt1.42264pt\pgfsys@curveto-0.7857pt1.42264pt-1.42264pt0.7857pt-1.42264pt0.0pt\pgfsys@curveto-1.42264pt-0.7857pt-0.7857pt-1.42264pt0.0pt-1.42264pt\pgfsys@curveto0.7857pt-1.42264pt1.42264pt-0.7857pt1.42264pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt-11.7811pt\pgfsys@curveto1.42264pt-10.99539pt0.7857pt-10.35846pt0.0pt-10.35846pt\pgfsys@curveto-0.7857pt-10.35846pt-1.42264pt-10.99539pt-1.42264pt-11.7811pt\pgfsys@curveto-1.42264pt-12.5668pt-0.7857pt-13.20374pt0.0pt-13.20374pt\pgfsys@curveto0.7857pt-13.20374pt1.42264pt-12.5668pt1.42264pt-11.7811pt\pgfsys@closepath\pgfsys@moveto0.0pt-11.7811pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt-11.7811pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-4.66791pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@moveto0.0pt-10.15846pt\pgfsys@lineto0.0pt-1.62263pt\pgfsys@stroke\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture≥0, has a sum of squares proof as follows ([LovaszBook], pages 28-29).
[TABLE]
We will now investigate the structure of homogeneous
graph combinations that are sos. Their properties and limitations are the key ingredients in the proof of our main results.
We begin with the following lemma whose proof will be postponed to the end of this section.
Lemma 2.3**.**
- (1)
If F and H are two partially labeled graphs such that [[(F−H)2]]=0, then F=H.
2. (2)
Suppose ∑i=1kαi[[(Fi−Hi)2]]=0 with αi≥0 and Fi=Hi for each i, then αi=0 for all i.
Lemma 2.4**.**
Let f=∑λsFs=∑[[ai2]] be a sos in A with ai=∑αijHij. Let d be the minimum degree of any cross product HijHik within any ai. Then
there exists a term λsFs in f of degree d such that Fs only
arises via squares [[Hij2]], and consequently, λs>0.
Proof.
Let A∅d denote the vector space spanned by all unlabeled graphs of degree d. Let C be the cone in A∅d generated by all unlabeled squares of the form [[(F−H)2]] where F and H are distinct partially labeled graphs such that deg(F2)=deg(H2)=deg(FH)=d. Since d is fixed,
there are only finitely many possibilities for the generators [[(F−H)2]] of C and hence C is polyhedral, and therefore, closed. Furthermore, C is pointed by Lemma 2.3 (2). Since C is closed and pointed, its dual cone C∗ is full-dimensional in (A∅d)∗. Therefore, we may pick a sufficiently generic linear functional L:A∅d→R from the interior of C∗ that will not only have the property that L(a)>0 for all nonzero a∈C, but also takes distinct values on the finitely many unlabeled graphs of degree d in A∅d.
Consider all distinct graphs [[HijHik]] of degree d that can be formed by multiplying two constituent graphs in any ai and then unlabeling, including the unlabeled squares [[Hij2]].
Let F be the unique largest graph in this list in the total order induced by L, and suppose F=[[HijHik]] for some i and j=k. By Lemma 2.1 we have that
d=deg(F)=deg(Hij2)=deg(Hik2). Since Hij=Hik, by Lemma 2.3 (1), [[(Hij−Hik)2]] is a nonzero generator
of the cone C, and hence, L([[(Hij−Hik)2]])>0. This implies that
L([[Hij2]])+L([[Hik2]])>2L([[HijHik]]). Therefore, at least one of L([[Hij2]]) or
L([[Hik2]]) is strictly greater than L(F) which contradicts the choice of F. Thus F only arises via squares of the form [[Hij2]] for some Hij. Therefore, it must be a constituent graph of f and setting Fs=F proves the lemma.
∎
Corollary 2.5**.**
Let f=∑[[ai2]] be a sos in A with ai=∑αijHij and let d be the lowest degree of a term in f. Then the degree d component of f is again a sos, ∑[[ci2]], where all cross products of terms in each ci have degree d.
Proof.
By Lemma 2.4, we know that d is the lowest degree of any cross product [[HijHik]] of graphs Hij,Hik in an ai. Let fd be the degree d component of f. For each i, let bi denote the graph combination obtained from ai by deleting all terms αijHij for which deg[[Hij2]]>d. By Lemma 2.1, a deleted term αijHij from ai could not have cross multiplied with another term αikHik in ai to produce a term of degree d. Therefore, the
degree d component of ∑[[bi2]] is precisely fd.
Suppose G,H,K are three partially labeled graphs in some bi with
deg(GH)=deg(HK)=d. Then by Lemma 2.1,
deg(G2)=deg(H2)=deg(K2)=d and G,H,K all have the same set of fully labeled edges. Let c be the number of fully labeled edges in G,H,K.
Then d=deg(G2)=2deg(G)−c which implies that c=2deg(G)−d. Similarly,
c=2deg(K)−d and hence deg(G)=deg(K).
Therefore, deg(GK)=deg(G)+deg(K)−c=2deg(G)−2deg(G)+d=d.
To conclude, if deg(GH)=deg(HK)=d, then also deg(GK)=d. This means that we may define an equivalence relation by saying G∼H if deg(GH)=d.
Now group the terms in each bi so that all constituent graphs in a group are equivalent in the above sense. Suppose the graph combinations
corresponding to each group are bi1,bi2,…,biti. By construction, all cross products of terms in any bij have degree d. Consider the new sos expression
g:=∑i∑j=1ti[[bij2]]. By construction, deg(g)=d. For each i, all terms in ∑j=1ti[[bij2]] occur among the terms of [[bi2]]. By our regrouping of terms in a bi, a
term in the expansion of [[bi2]] is absent from ∑j=1ti[[bij2]] if and only if its degree is larger than d. Therefore, g=fd, and we have obtained an sos expression ∑[[ci2]]:=∑i∑j=1ti[[bij2]] for fd of the desired form.
∎
We illustrate the previous corollary with the following example.
Example 2.6**.**
[TABLE]
Here, d=3 and f3=2\leavevmodeto19.51pt\vboxto22.96pt\pgfpicture\makeatletter\lower-9.75311ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt0.0pt\pgfsys@curveto1.42264pt0.7857pt0.7857pt1.42264pt0.0pt1.42264pt\pgfsys@curveto-0.7857pt1.42264pt-1.42264pt0.7857pt-1.42264pt0.0pt\pgfsys@curveto-1.42264pt-0.7857pt-0.7857pt-1.42264pt0.0pt-1.42264pt\pgfsys@curveto0.7857pt-1.42264pt1.42264pt-0.7857pt1.42264pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt11.7811pt\pgfsys@curveto1.42264pt12.5668pt0.7857pt13.20374pt0.0pt13.20374pt\pgfsys@curveto-0.7857pt13.20374pt-1.42264pt12.5668pt-1.42264pt11.7811pt\pgfsys@curveto-1.42264pt10.99539pt-0.7857pt10.35846pt0.0pt10.35846pt\pgfsys@curveto0.7857pt10.35846pt1.42264pt10.99539pt1.42264pt11.7811pt\pgfsys@closepath\pgfsys@moveto0.0pt11.7811pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt11.7811pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto-6.90784pt-8.33047pt\pgfsys@curveto-6.90784pt-7.54477pt-7.54477pt-6.90784pt-8.33047pt-6.90784pt\pgfsys@curveto-9.11618pt-6.90784pt-9.75311pt-7.54477pt-9.75311pt-8.33047pt\pgfsys@curveto-9.75311pt-9.11618pt-9.11618pt-9.75311pt-8.33047pt-9.75311pt\pgfsys@curveto-7.54477pt-9.75311pt-6.90784pt-9.11618pt-6.90784pt-8.33047pt\pgfsys@closepath\pgfsys@moveto-8.33047pt-8.33047pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-8.33047pt-8.33047pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto9.75311pt-8.33047pt\pgfsys@curveto9.75311pt-7.54477pt9.11618pt-6.90784pt8.33047pt-6.90784pt\pgfsys@curveto7.54477pt-6.90784pt6.90784pt-7.54477pt6.90784pt-8.33047pt\pgfsys@curveto6.90784pt-9.11618pt7.54477pt-9.75311pt8.33047pt-9.75311pt\pgfsys@curveto9.11618pt-9.75311pt9.75311pt-9.11618pt9.75311pt-8.33047pt\pgfsys@closepath\pgfsys@moveto8.33047pt-8.33047pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.08.33047pt-8.33047pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@moveto0.0pt10.15846pt\pgfsys@lineto0.0pt1.62263pt\pgfsys@moveto-1.14737pt-1.14737pt\pgfsys@lineto-7.1831pt-7.1831pt\pgfsys@moveto-7.1831pt-7.1831pt\pgfsys@lineto-1.14737pt-1.14737pt\pgfsys@moveto1.14737pt-1.14737pt\pgfsys@lineto7.1831pt-7.1831pt\pgfsys@stroke\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture+\leavevmodeto7.51pt\vboxto14.63pt\pgfpicture\makeatletter\lower-13.20374ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt0.0pt\pgfsys@curveto1.42264pt0.7857pt0.7857pt1.42264pt0.0pt1.42264pt\pgfsys@curveto-0.7857pt1.42264pt-1.42264pt0.7857pt-1.42264pt0.0pt\pgfsys@curveto-1.42264pt-0.7857pt-0.7857pt-1.42264pt0.0pt-1.42264pt\pgfsys@curveto0.7857pt-1.42264pt1.42264pt-0.7857pt1.42264pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt-11.7811pt\pgfsys@curveto1.42264pt-10.99539pt0.7857pt-10.35846pt0.0pt-10.35846pt\pgfsys@curveto-0.7857pt-10.35846pt-1.42264pt-10.99539pt-1.42264pt-11.7811pt\pgfsys@curveto-1.42264pt-12.5668pt-0.7857pt-13.20374pt0.0pt-13.20374pt\pgfsys@curveto0.7857pt-13.20374pt1.42264pt-12.5668pt1.42264pt-11.7811pt\pgfsys@closepath\pgfsys@moveto0.0pt-11.7811pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt-11.7811pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-4.66791pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@moveto0.0pt-10.15846pt\pgfsys@lineto0.0pt-1.62263pt\pgfsys@stroke\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture\leavevmodeto7.51pt\vboxto14.63pt\pgfpicture\makeatletter\lower-13.20374ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt0.0pt\pgfsys@curveto1.42264pt0.7857pt0.7857pt1.42264pt0.0pt1.42264pt\pgfsys@curveto-0.7857pt1.42264pt-1.42264pt0.7857pt-1.42264pt0.0pt\pgfsys@curveto-1.42264pt-0.7857pt-0.7857pt-1.42264pt0.0pt-1.42264pt\pgfsys@curveto0.7857pt-1.42264pt1.42264pt-0.7857pt1.42264pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt-11.7811pt\pgfsys@curveto1.42264pt-10.99539pt0.7857pt-10.35846pt0.0pt-10.35846pt\pgfsys@curveto-0.7857pt-10.35846pt-1.42264pt-10.99539pt-1.42264pt-11.7811pt\pgfsys@curveto-1.42264pt-12.5668pt-0.7857pt-13.20374pt0.0pt-13.20374pt\pgfsys@curveto0.7857pt-13.20374pt1.42264pt-12.5668pt1.42264pt-11.7811pt\pgfsys@closepath\pgfsys@moveto0.0pt-11.7811pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt-11.7811pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-4.66791pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@moveto0.0pt-10.15846pt\pgfsys@lineto0.0pt-1.62263pt\pgfsys@stroke\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture\leavevmodeto7.51pt\vboxto14.63pt\pgfpicture\makeatletter\lower-13.20374ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt0.0pt\pgfsys@curveto1.42264pt0.7857pt0.7857pt1.42264pt0.0pt1.42264pt\pgfsys@curveto-0.7857pt1.42264pt-1.42264pt0.7857pt-1.42264pt0.0pt\pgfsys@curveto-1.42264pt-0.7857pt-0.7857pt-1.42264pt0.0pt-1.42264pt\pgfsys@curveto0.7857pt-1.42264pt1.42264pt-0.7857pt1.42264pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt-11.7811pt\pgfsys@curveto1.42264pt-10.99539pt0.7857pt-10.35846pt0.0pt-10.35846pt\pgfsys@curveto-0.7857pt-10.35846pt-1.42264pt-10.99539pt-1.42264pt-11.7811pt\pgfsys@curveto-1.42264pt-12.5668pt-0.7857pt-13.20374pt0.0pt-13.20374pt\pgfsys@curveto0.7857pt-13.20374pt1.42264pt-12.5668pt1.42264pt-11.7811pt\pgfsys@closepath\pgfsys@moveto0.0pt-11.7811pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt-11.7811pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-4.66791pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@moveto0.0pt-10.15846pt\pgfsys@lineto0.0pt-1.62263pt\pgfsys@stroke\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture−2\leavevmodeto14.63pt\vboxto14.63pt\pgfpicture\makeatletter\lower-1.42264ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt0.0pt\pgfsys@curveto1.42264pt0.7857pt0.7857pt1.42264pt0.0pt1.42264pt\pgfsys@curveto-0.7857pt1.42264pt-1.42264pt0.7857pt-1.42264pt0.0pt\pgfsys@curveto-1.42264pt-0.7857pt-0.7857pt-1.42264pt0.0pt-1.42264pt\pgfsys@curveto0.7857pt-1.42264pt1.42264pt-0.7857pt1.42264pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt11.7811pt\pgfsys@curveto1.42264pt12.5668pt0.7857pt13.20374pt0.0pt13.20374pt\pgfsys@curveto-0.7857pt13.20374pt-1.42264pt12.5668pt-1.42264pt11.7811pt\pgfsys@curveto-1.42264pt10.99539pt-0.7857pt10.35846pt0.0pt10.35846pt\pgfsys@curveto0.7857pt10.35846pt1.42264pt10.99539pt1.42264pt11.7811pt\pgfsys@closepath\pgfsys@moveto0.0pt11.7811pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt11.7811pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto13.20374pt11.7811pt\pgfsys@curveto13.20374pt12.5668pt12.5668pt13.20374pt11.7811pt13.20374pt\pgfsys@curveto10.99539pt13.20374pt10.35846pt12.5668pt10.35846pt11.7811pt\pgfsys@curveto10.35846pt10.99539pt10.99539pt10.35846pt11.7811pt10.35846pt\pgfsys@curveto12.5668pt10.35846pt13.20374pt10.99539pt13.20374pt11.7811pt\pgfsys@closepath\pgfsys@moveto11.7811pt11.7811pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.011.7811pt11.7811pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto13.20374pt0.0pt\pgfsys@curveto13.20374pt0.7857pt12.5668pt1.42264pt11.7811pt1.42264pt\pgfsys@curveto10.99539pt1.42264pt10.35846pt0.7857pt10.35846pt0.0pt\pgfsys@curveto10.35846pt-0.7857pt10.99539pt-1.42264pt11.7811pt-1.42264pt\pgfsys@curveto12.5668pt-1.42264pt13.20374pt-0.7857pt13.20374pt0.0pt\pgfsys@closepath\pgfsys@moveto11.7811pt0.0pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.011.7811pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@moveto0.0pt1.62263pt\pgfsys@lineto0.0pt10.15846pt\pgfsys@moveto1.62263pt11.7811pt\pgfsys@lineto10.15846pt11.7811pt\pgfsys@moveto11.7811pt10.15846pt\pgfsys@lineto11.7811pt1.62263pt\pgfsys@stroke\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture. Following the procedure from Corollary 2.5, we obtain two equivalence classes {\leavevmodeto37.64pt\vboxto20.15pt\pgfpicture\makeatletter\lower-14.24126ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt0.0pt\pgfsys@curveto1.42264pt0.7857pt0.7857pt1.42264pt0.0pt1.42264pt\pgfsys@curveto-0.7857pt1.42264pt-1.42264pt0.7857pt-1.42264pt0.0pt\pgfsys@curveto-1.42264pt-0.7857pt-0.7857pt-1.42264pt0.0pt-1.42264pt\pgfsys@curveto0.7857pt-1.42264pt1.42264pt-0.7857pt1.42264pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.05.15564pt-2.57777pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 2 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto-6.90784pt-8.33047pt\pgfsys@curveto-6.90784pt-7.54477pt-7.54477pt-6.90784pt-8.33047pt-6.90784pt\pgfsys@curveto-9.11618pt-6.90784pt-9.75311pt-7.54477pt-9.75311pt-8.33047pt\pgfsys@curveto-9.75311pt-9.11618pt-9.11618pt-9.75311pt-8.33047pt-9.75311pt\pgfsys@curveto-7.54477pt-9.75311pt-6.90784pt-9.11618pt-6.90784pt-8.33047pt\pgfsys@closepath\pgfsys@moveto-8.33047pt-8.33047pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-8.33047pt-8.33047pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-17.48611pt-10.90825pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 1 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto9.75311pt-8.33047pt\pgfsys@curveto9.75311pt-7.54477pt9.11618pt-6.90784pt8.33047pt-6.90784pt\pgfsys@curveto7.54477pt-6.90784pt6.90784pt-7.54477pt6.90784pt-8.33047pt\pgfsys@curveto6.90784pt-9.11618pt7.54477pt-9.75311pt8.33047pt-9.75311pt\pgfsys@curveto9.11618pt-9.75311pt9.75311pt-9.11618pt9.75311pt-8.33047pt\pgfsys@closepath\pgfsys@moveto8.33047pt-8.33047pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.08.33047pt-8.33047pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.013.48611pt-8.33047pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@moveto7.1831pt-7.1831pt\pgfsys@lineto1.14737pt-1.14737pt\pgfsys@moveto-1.14737pt-1.14737pt\pgfsys@lineto-7.1831pt-7.1831pt\pgfsys@stroke\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture,\leavevmodeto37.64pt\vboxto20.15pt\pgfpicture\makeatletter\lower-14.24126ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt0.0pt\pgfsys@curveto1.42264pt0.7857pt0.7857pt1.42264pt0.0pt1.42264pt\pgfsys@curveto-0.7857pt1.42264pt-1.42264pt0.7857pt-1.42264pt0.0pt\pgfsys@curveto-1.42264pt-0.7857pt-0.7857pt-1.42264pt0.0pt-1.42264pt\pgfsys@curveto0.7857pt-1.42264pt1.42264pt-0.7857pt1.42264pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.05.15564pt-2.57777pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 1 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto-6.90784pt-8.33047pt\pgfsys@curveto-6.90784pt-7.54477pt-7.54477pt-6.90784pt-8.33047pt-6.90784pt\pgfsys@curveto-9.11618pt-6.90784pt-9.75311pt-7.54477pt-9.75311pt-8.33047pt\pgfsys@curveto-9.75311pt-9.11618pt-9.11618pt-9.75311pt-8.33047pt-9.75311pt\pgfsys@curveto-7.54477pt-9.75311pt-6.90784pt-9.11618pt-6.90784pt-8.33047pt\pgfsys@closepath\pgfsys@moveto-8.33047pt-8.33047pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-8.33047pt-8.33047pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-17.48611pt-10.90825pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 2 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto9.75311pt-8.33047pt\pgfsys@curveto9.75311pt-7.54477pt9.11618pt-6.90784pt8.33047pt-6.90784pt\pgfsys@curveto7.54477pt-6.90784pt6.90784pt-7.54477pt6.90784pt-8.33047pt\pgfsys@curveto6.90784pt-9.11618pt7.54477pt-9.75311pt8.33047pt-9.75311pt\pgfsys@curveto9.11618pt-9.75311pt9.75311pt-9.11618pt9.75311pt-8.33047pt\pgfsys@closepath\pgfsys@moveto8.33047pt-8.33047pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.08.33047pt-8.33047pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.013.48611pt-8.33047pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@moveto7.1831pt-7.1831pt\pgfsys@lineto1.14737pt-1.14737pt\pgfsys@moveto-1.14737pt-1.14737pt\pgfsys@lineto-7.1831pt-7.1831pt\pgfsys@stroke\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture} and {\leavevmodeto13.91pt\vboxto23.6pt\pgfpicture\makeatletter\lower-17.69188ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt0.0pt\pgfsys@curveto1.42264pt0.7857pt0.7857pt1.42264pt0.0pt1.42264pt\pgfsys@curveto-0.7857pt1.42264pt-1.42264pt0.7857pt-1.42264pt0.0pt\pgfsys@curveto-1.42264pt-0.7857pt-0.7857pt-1.42264pt0.0pt-1.42264pt\pgfsys@curveto0.7857pt-1.42264pt1.42264pt-0.7857pt1.42264pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.05.15564pt-2.57777pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 1 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt-11.7811pt\pgfsys@curveto1.42264pt-10.99539pt0.7857pt-10.35846pt0.0pt-10.35846pt\pgfsys@curveto-0.7857pt-10.35846pt-1.42264pt-10.99539pt-1.42264pt-11.7811pt\pgfsys@curveto-1.42264pt-12.5668pt-0.7857pt-13.20374pt0.0pt-13.20374pt\pgfsys@curveto0.7857pt-13.20374pt1.42264pt-12.5668pt1.42264pt-11.7811pt\pgfsys@closepath\pgfsys@moveto0.0pt-11.7811pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt-11.7811pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.05.15564pt-14.35887pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke 3 \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@moveto0.0pt-10.15846pt\pgfsys@lineto0.0pt-1.62263pt\pgfsys@stroke\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture\leavevmodeto7.51pt\vboxto14.63pt\pgfpicture\makeatletter\lower-13.20374ptto0.0pt\pgfsys@beginscope\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@setlinewidth0.4pt\pgfsys@invoke \nullfontto0.0pt\pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt0.0pt\pgfsys@curveto1.42264pt0.7857pt0.7857pt1.42264pt0.0pt1.42264pt\pgfsys@curveto-0.7857pt1.42264pt-1.42264pt0.7857pt-1.42264pt0.0pt\pgfsys@curveto-1.42264pt-0.7857pt-0.7857pt-1.42264pt0.0pt-1.42264pt\pgfsys@curveto0.7857pt-1.42264pt1.42264pt-0.7857pt1.42264pt0.0pt\pgfsys@closepath\pgfsys@moveto0.0pt0.0pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \definecolor[named]pgffillcolorrgb0,0,0\pgfsys@color@gray@fill0\pgfsys@invoke \pgfsys@moveto1.42264pt-11.7811pt\pgfsys@curveto1.42264pt-10.99539pt0.7857pt-10.35846pt0.0pt-10.35846pt\pgfsys@curveto-0.7857pt-10.35846pt-1.42264pt-10.99539pt-1.42264pt-11.7811pt\pgfsys@curveto-1.42264pt-12.5668pt-0.7857pt-13.20374pt0.0pt-13.20374pt\pgfsys@curveto0.7857pt-13.20374pt1.42264pt-12.5668pt1.42264pt-11.7811pt\pgfsys@closepath\pgfsys@moveto0.0pt-11.7811pt\pgfsys@fill\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.00.0pt-11.7811pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@beginscope\pgfsys@invoke \pgfsys@beginscope\pgfsys@invoke \pgfsys@transformcm1.00.00.01.0-4.66791pt0.0pt\pgfsys@invoke \definecolorpgfstrokecolorrgb0,0,0\pgfsys@color@rgb@stroke000\pgfsys@invoke \pgfsys@color@rgb@fill000\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \pgfsys@moveto0.0pt-10.15846pt\pgfsys@lineto0.0pt-1.62263pt\pgfsys@stroke\pgfsys@invoke \pgfsys@invoke\lxSVG@closescope\pgfsys@endscope \hss\pgfsys@discardpath\pgfsys@invoke\lxSVG@closescope\pgfsys@endscope\hss\lxSVG@closescope\endpgfpicture}. Therefore, we see that
[TABLE]
The above results prove an important structural property of homogeneous graph combinations that are sos which we record in the following theorem. This property will play a crucial role in this paper.
Theorem 2.7**.**
Every homogeneous graph combination of degree d that is a sos has a sos expression of the form ∑[[ai2]] where all cross products of terms in any ai have degree d.
Recall the definition of a trivial square of Definition 1.1. We now prove a characterization of trivial squares using automorphisms of the graph.
Lemma 2.8**.**
An unlabeled connected graph G is a non-trivial square, i.e., G=[[F2]] for some partially labeled graph F that is not a fully labeled copy of G, if and only if there is an automorphism φ of G such that
- (1)
φ* is an involution,*
2. (2)
φ* fixes a non-empty proper subset of the vertices of G, and*
3. (3)
the vertices v that are not fixed by φ can be partitioned into two groups,
each group consisting of one vertex from the pair {v,φ(v)}, such that there are no edges
between vertices in the two groups.
Proof.
Suppose G=[[F2]] is a non-trivial square. Consider the map φ:V(G)→V(G) that fixes all vertices of G that were labeled in F2, and sends an unlabeled vertex v of F2 to v′ where v and v′ are copies of the same unlabeled vertex in F. Then φ is an automorphism of G that is also an involution.
Since G is connected, F is not unlabeled, and it is not fully labeled by assumption.
Therefore, φ fixes a non-empty proper subset of the vertices of G.
The first group of vertices in (3) is made up of the unlabeled vertices v in F and the second
group is made up of the duplicates v′ of unlabeled vertices in F that exist in F2.
Conversely, suppose G has an automorphism φ with properties (1)-(3).
Then consider the graph
F obtained by identifying vertices v and φ(v) and deleting a second copy of any edge that gets doubled in this process. Observe that Property (3) ensures that no edge is more than doubled, and no loops are
created, and therefore F is a simple graph. Label all vertices of F that identified with themselves with distinct labels to create a partially labeled graph F~.
It follows by construction that G=[[F~2]]. Since φ fixes a non-empty proper set of vertices of G, only a proper set of vertices of F~ are labeled, hence
G is a non-trivial square.
∎
Example 2.9** (Paths).**
Let Pk be an unlabeled path with k edges and k+1 vertices v1,…,vk+1.
Using Lemma 2.8 one can argue that a path Pk of odd length k is a trivial square.
Every graph automorphism φ of Pk has to send v1 to either itself or to vk+1. Each choice
completely determines φ since adjacent vertices have to be sent to adjacent vertices. If v1 is sent to v1 then
φ is the trivial involution that fixes all vertices in Pk. If v1 is sent to vk+1 then v2 is sent to vk, etc until vk+1 is sent to v1.
This involution doesn’t fix any vertices in Pk. Either way, we see from Lemma 2.8 that
Pk is a trivial square.
On the other hand, if k is even, then P=[[F2]] where F is a path of length 2k with the first vertex labeled 1.
The notion of trivial squares together with Theorem 2.7 will provide us with a tool to recognize homogeneous graph combinations that are not sos.
We can now prove Theorem 1.2 from the introduction.
Proof of Theorem 1.2.
Let fdmin be the (homogeneous) lowest degree component of f. By
Corollary 2.5, if f is a sos, then fdmin is a sos. By Theorem 2.7,
fdmin=∑[[ai2]] where all unlabeled cross products of constituent graphs in each ai have degree dmin. We also know from Lemma 2.4 that one of the Fs in fdmin only arises as [[Hij2]] for some Hij in some ai and then λs>0. By assumption, whenever λs>0, Fs is a trivial square, which means that Fs=[[Hij]] for some i and j and Hij is fully labeled.
Pick a trivial square Fs in fdmin and suppose Fs=[[Hij]].
For the same i and j, consider the cross product [[HijHik]] for some j=k. Since Hij=Hik as partially labeled graphs, their product has degree larger than d which is a contradiction. So it must be that Hij is the only constituent graph of ai and ai=αijHij. Therefore, we may remove all occurrences of fully labeled graphs that square and unlabel to Fs from the sos decomposition ∑[[ai2]] to get an sos expression for
f′=fdmin−λsFs. Repeating this procedure, we may remove all trivial squares from fdmin to get a graph combination fˉ with only negative coefficients that is still an sos. This is a contradiction since
we showed in Lemma 2.4 that a sos always has a term with a positive coefficient.
∎
We will now apply Theorem 1.2 to prove our main results.
The first application is to show that the Blakley-Roy inequality Pk−ek≥0, for k≥3 and odd, cannot be certified by sums of squares in the gluing algebra.
It follows that this result provides a
negative answer to Problem 17 (b) in [LovaszOpenProblems] which asked whether the Blakley-Roy inequality has a sos certificate (see Section 3 for details).
Proof of Corollary 1.3.
If λ≤0 then λPk−ek is not sos by Lemma 2.4 which says that every homogenous sos has a term with a positive coefficient.
If λ>0, the result follows from Theorem 1.2 and Example 2.9 which showed that Pk is a trivial square.
∎
Problem 21 in [LovaszOpenProblems] asks the general question as to whether it is always possible to
certify the nonnegativity of a graph combination f by multiplying it with (1+g) where
g is sos and having the product be a sos? It was shown in [HN11] that the answer is no.
We provide the first explicit example of this by showing that for f=λPk−ek there are no sos g∈A∅ such that
f(1+g) is a sos. Using results of Section 3, it will follow that this
answers Lovász’s question negatively.
Proof of Corollary 1.4.
Let f=λPk−ek for any λ∈R where k is odd which we just showed is not a sos. Suppose there was a sos g∈A∅ such that f(1+g) is sos.
Then the lowest degree part of f(1+g) is precisely f which is not a sos.
This contradicts Corollary 2.5
which says that the lowest degree part of a sos is again sos.
∎
Sidorenko’s conjecture is that H−e∣E(H)∣≥0 when H is a bipartite graph.
Note that Pk−ek≥0 is an instance of this and has several proofs as mentioned in the introduction.
The smallest open case of Sidorenko’s conjecture is to establish the inequality for H=K5,5∖C10 where K5,5 is the complete bipartite graph with two color classes of size five and C10 is a Hamiltonian cycle through the 10 vertices of K5,5. Our tools show that it is not possible to use sos to establish the nonnegativity of H−e∣E(H)∣ when
H=K5,5∖C10.
e$$d$$c$$b$$a$$j$$i$$h$$g$$f
H=K5,5∖C10 labeled as in the proof of Corollary 1.5
Proof of Corollary 1.5.
We use Lemma 2.8 to show that H=K5,5∖C10 is a trivial square. The conclusion follows from Theorem 1.2 with the same argument as in Corollary 1.4.
We first argue that the automorphism group of H is the dihedral group D10 which is the automorphism group of the 10-cycle C10. Observe that there is a unique (up to swapping colors) two-coloring of H. Any involution of H either permutes the vertices within each color class, or swaps the two color classes. The complement Hˉ of H is a 10-cycle with two complete graphs K5 on the even and odd vertices respectively. Any automorphism φ of H is also an automorphism of Hˉ. The above argument shows that φ sends edges of the union of the two K5’s to themselves. Therefore φ sends the edges of the 10-cycle to itself, and thus the automorphism group of H is a subgroup of D10. However, it is easy to see that automorphisms of the 10-cycle are also automorphisms of H, and the automorphism group of H is D10.
There are 11 involutions in D10, ten of which are reflections and one is rotation by 180 degrees. We want to argue that each of these involutions violate at least one of the properties (1)-(3) of
Lemma 2.8. Five of the reflections and the rotation do not fix any vertices which violates property (2). The remaining five reflections about the diagonals are involutions that fix two vertices of H. We will argue that these reflections violate property (3). It suffices to argue this for one of them. Consider the reflection of H about its horizontal diagonal. This involution fixes vertices a and f, but sends b↦j, c↦i,
d↦h and e↦g. Now we check whether the vertices that are not fixed by the involution can be partitioned as in (3). We see that vertices b,c,d,e have to be in the same group since
there are edges connecting one to the next. But then g,h,i,j also belong to this group because of the diagonals.
Thus it is not possible to divide the vertices that are not fixed by the involution into two groups as in (3), and H is a trivial square.
∎
We note that the proof of Lemma 2.4 says something special about the
sos decomposition of homogeneous graph combinations of the form F1−F2. Recall the cone C from the proof of the lemma that was generated by
unlabeled squares of the form [[(F−H)2]] where deg(F2)=deg(H2)=deg(FH)=d. Since C is polyhedral, it has a finite inequality description which allows one to test for membership in C.
Proposition 2.10**.**
A graph combination f=F1−F2 where F1,F2 are two unlabeled graphs of the same degree is a sos
if and only if it has a sos decomposition of the form ∑λij[[(Hi−Hj)2]] with λij≥0.
Proof.
Suppose f is a sos but f∈C. Since C is pointed,
there is a linear functional L such that
L(f)<0 and L(c)>0 for all nonzero c∈C. Since L(F1)<L(F2), the proof of Lemma 2.4 says that F2 is a square and its coefficient in f is
positive which is a contradiction. Therefore, f lies in C which means that
f=∑λij[[(Hi−Hj)2]] for some λij≥0.
∎
The rest of this section is devoted to the proof of Lemma 2.3. This needs the notion of nonnegativity of a graph combination which we saw briefly in the introduction.
For this, we will need to view elements a∈A as functions that can be evaluated on unlabeled graphs G, including those with isolated vertices. We closely follow the exposition in [HN11].
Recall that a graph homomorphism between two unlabeled graphs H and G is an adjacency preserving map h:V(H)→V(G) such that
h(i)h(j)∈E(G) if ij∈E(H). The homomorphism density of H in G, denoted as t(H;G) is the
probability that a random map from V(H)→V(G) is a homomorphism. Define
t(1;G):=1 for all G. Now suppose H is a partially labeled graph and LH is its set of labels.
Given a map φ:LH→V(G), define the homomorphism density t(H;G,φ) as the
probability that a random map from V(H) to V(G) is a homomorphism conditioned on the
event that the labeled vertices in H are mapped to V(G) according to φ. Then, by the rules of conditional probability, t([[H]];G) is the (positively) weighted average of the conditional probabilities t(H;G,φ) over all maps φ.
For a combination of partially labeled graphs a=∑i=1tαiHi, let La=∪i=1tLHi be the union of all label sets of all constituent graphs of a. Then for a
fixed map φ:La→V(G), define t(a;G,φ):=∑αit(Hi;G,φ∣LHi).
Suppose we now fix a label set L and a map φ:L→V(G). Then
if H1 and H2 are two partially labeled graphs whose label sets LH1 and LH2 are contained in L,
t(H1H2;G,φ)=t(H1;G,φ∣LH1)t(H2;G,φ∣LH2). Recall that AL
was the subalgebra of A consisting of all partially labeled graphs whose label sets are contained in L. Then we have that
t(−;G,φ) is a homomorphism from AL to R.
We say that a∈A is nonnegative if t(a;G,φ)≥0 for all
unlabeled graphs G and maps φ:La→V(G).
Note that any partially labeled graph H is nonnegative
since t(H;G,φ) is a probability. By the same reason, H2 and [[H2]] are also nonnegative, but graph combinations a∈A are not necessarily nonnegative since they have
arbitrary coefficients. However, if a∈A, then a2 is nonnegative since
t is a homomorphism. In particular, any sos ∑[[ai2]]∈A is nonnegative.
To prove Lemma 2.3, we will need the notion of weighted graph homomorphisms as in [LovaszBook, §5.2]. A node-weighted graph G is one with node weights ωu(G) on the nodes u∈V(G). To a map h:V(H)→V(G), define
ωh(H,G):=∏u∈V(H)ωh(u)(G). The number of weighted homomorphisms (resp. weighted injective homomorphisms) from
H to G is then ∑ωh(H,G) where the sum varies over all homomorphisms h:nonzeroV(H)→V(G) (resp. all injective homomorphisms h:V(H)→V(G)).
Proof of Lemma 2.3.
- (1)
We need to show that if [[(F−H)2]]=0 then F=H. Suppose 0=[[(F−H)2]]=[[F2]]+[[H2]]−2[[FH]].
Then [[F2]]=[[H2]]=[[FH]] since density functions of unlabeled graphs are linearly independent [LovaszBook, Corollary 5.45].
This implies that F and H must have the same number of vertices, and the same set of labels L. Indeed, you see this by counting the number of vertices in each of the three graphs [[F2]],[[H2]] and [[FH]], differentiated by how many are labeled in F and H, and how many labels are shared between F and H.
If for a graph G and a map φ:L→V(G), t(F;G,φ)=t(H;G,φ),
then t((F−H)2;G,φ)>0 which implies that t([[(F−H)2]],G)>0, contradicting that [[(F−H)2]]=0. Our proof strategy will be to show that if F=H then there is a graph G and a map φ:L→V(G) such that t(F;G,φ)=t(H;G,φ).
In order to construct the graph G, we follow the proof of [LovaszBook, Proposition 5.44]. Weigh the unlabeled vertices in both F and H with distinct variables xi and call these weighted graphs F~ and H~.
Then consider the 2×2 matrix M with rows indexed by F and H, with columns indexed by
F~ and H~ and entries equal to the number of weighted homomorphisms from F,H to
F~,H~, where the (commonly) labeled vertices of F (resp. H) and F~ (resp. H~) map to each other.
The matrix M is filled with polynomials and hence, det(M) is a polynomial. We observe that rank(M)=2, i.e., det(M) is not identically zero. Indeed, since the variables xi are all distinct,
the multilinear component of det(M) is det(M′), where M′ is the matrix with entries equal to the number of
weighted injective homomorphisms from F (resp. H) to F~ (resp. H~),
which is nonzero, since M′ is upper/lower triangular, and its diagonal entries are nonzero polynomials.
Hence, det(M) is not the zero polynomial, which shows that for an algebraically independent
substitution of the xi’s, det(M) will not vanish.
This means that there is some choice of positive integer values for the xi’s that will keep the matrix
M non-singular. Substitute each xi with such a positive integer to get a new matrix M and replace a vertex v of weight m in F~ or H~ with m copies of itself (each with the same neighborhood that v had) to obtain graphs G1 and G2.
The matrix with entries equal to the number of homomorphisms from H and F, to G1 and G2, such that
the commonly labeled vertices are mapped to each other is still M. Here φ is again the map that sends L to V(G1) and V(G2). Converting these entries to homomorphism
densities involves dividing each column in the matrix by a constant which keeps the resulting matrix
again non-singular. Therefore, its rows are not scalar multiples of each other, and either t(F;G1,φ)=t(H;G1,φ), or t(F;G2,φ)=t(H;G2,φ).
2. (2)
For λi≥0,
∑λi[[(Fi−Hi)2]]=0 if and only if for each i, either λi=0 or
[[(Fi−Hi)2]]=0. We have that [[(F−H)2]]=0 if and only if F=H. Since Fi=Hi for each i, it must be that λi=0 for all i.
∎
3. Translation of our gluing algebra to other settings
The goal of this section is to show that the existence of a sum of squares certificate is equivalent in Razborov’s flag algebra and Lovász-Szegedy’s gluing algebra and Hatami-Norine’s gluing algebra, and the gluing algebra we presented in Section 2. Therefore Corollaries 1.3, 1.4 and 1.5 hold in these settings as well.
Relation to Lovász-Szegedy.
A family of gluing algebras very similar to ours was introduced in the work of Lovász and Szegedy [MR2921000]. The only difference is that they allowed combinations of graphs with isolated vertices, and the graphs in each algebra were required to have the same labels. However, the resulting unlabeled sos expressions are the same up to removing isolated vertices, which does not affect homomorphism densities.
Let f be a graph combination in A∅. Suppose that we have a sos expression f=∑[[ai2]] where each ai is in AL where L=[k]={1,…,k} and where ai=∑j=1tαijHij. For each constituent partially labeled graph Hij with label set LHij, define Hˉij to be the graph Hij with k−∣LHij∣ labeled isolated vertices attached, where new vertices are labeled with the labels from [k]\LHij. We thus obtain a sos ∑aˉi2 in the Lovász-Szegedy algebra of k-labeled quantum graphs. Observe that after unlabeling the expressions, ∑[[ai2]] and ∑[[aˉi2]] are equivalent up to adding or removing isolated vertices.
Similarly, start with a sos expression in the algebra of k-labeled quantum graphs ∑aˉi2. For a constituent partially k-labeled graph Gˉ define G to be the partially labeled graph obtained from Gˉ by removing the isolated vertices. This gives a sum of squares expression in A, which agrees with the Lovász-Szegedy sum of squares up to removing isolated vertices.
Relation to Hatami-Norine.
A variant of Lovász-Szegedy gluing algebra was defined by Hatami and Norine in [HN11]. Our gluing algebra A is isomorphic to the quotient algebra in their paper. The partially labeled graph H with no isolated vertices is just an explicit coset representative of the quotient by the ideal K generated by all differences of the form empty graph minus 1-vertex graph with a label (or unlabeled). We refer to [HN11] for more details.
Relation to Razborov’s Flag Algebras.
A different algebra was used in the work of Razborov in [Razborov07]. There, partially labeled graphs are called flags. The main difference is that flag algebras are concerned with induced subgraph density, while homomorphism density is known to be asymptotically equal to non-induced subgraph density. A well-known Möbius transformation relates induced and non-induced subgraph densities via a change of basis. Multiplication in the flag algebras looks syntactically different from the gluing algebra, however after passing through the Möbius transformation and its inverse, the two multiplications are the same. Therefore Cauchy-Schwarz proofs in the flag algebras are equivalent to sos proofs in the gluing algebra. We refer to [RSST] and [RST] for more details.
References