<p>Given integers <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_136_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(n&gt; k &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>&gt;</mo> <mi>k</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, and a set of integers <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_136_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="98" /> </InlineMediaObject> <EquationSource Format="TEX">\(L \subset [0, k-1]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo>⊂</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>k</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>, an <i>L</i>-<i>system</i> is a family of sets <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_136_Article_IEq3.gif" Format="GIF" Height="43" Rendition="HTML" Resolution="72" Type="Linedraw" Width="93" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {F}\subset \left( {\begin{array}{c}[n]\\ k\end{array}}\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">F</mi> <mo>⊂</mo> <mfenced close=")" open="("> <mrow> <mtable> <mtr> <mtd> <mrow> <mo stretchy="false">[</mo> <mi>n</mi> <mo stretchy="false">]</mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mi>k</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_136_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="97" /> </InlineMediaObject> <EquationSource Format="TEX">\(|F \cap F'| \in L\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> <mi>F</mi> <mo>∩</mo> </mrow> <msup> <mi>F</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">|</mo> <mo>∈</mo> <mi>L</mi> </mrow> </mrow> </math></EquationSource> </InlineEquation> for distinct <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_136_Article_IEq5.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(F, F'\in \mathcal {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo>,</mo> <msup> <mi>F</mi> <mo>′</mo> </msup> <mo>∈</mo> <mi mathvariant="script">F</mi> </mrow> </math></EquationSource> </InlineEquation>. <i>L</i>-systems correspond to independent sets in a certain generalized Johnson graph <i>G</i>(<i>n</i>,&#xa0;<i>k</i>,&#xa0;<i>L</i>), so that the maximum size of an <i>L</i>-system is equivalent to finding the independence number of the graph <i>G</i>(<i>n</i>,&#xa0;<i>k</i>,&#xa0;<i>L</i>). The <i>Lovász number</i> <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_136_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(\vartheta (G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϑ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a semidefinite programming approximation of the independence number <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_136_Article_IEq7.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> of a graph <i>G</i>. In this paper, we determine the leading order term of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_136_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\(\vartheta (G(n, k, L))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϑ</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>k</mi> <mo>,</mo> <mi>L</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of any generalized Johnson graph with <i>k</i> and <i>L</i> fixed and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_136_Article_IEq9.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>. As an application of this theorem, we give an explicit construction of a graph <i>G</i> on <i>n</i> vertices with a large gap between the Lovász number and the Shannon capacity <i>c</i>(<i>G</i>). Specifically, we prove that for any <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_136_Article_IEq10.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(\epsilon &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϵ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, for infinitely many <i>n</i> there is a generalized Johnson graph <i>G</i> on <i>n</i> vertices which has ratio <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_136_Article_IEq11.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="154" /> </InlineMediaObject> <EquationSource Format="TEX">\(\vartheta (G)/c(G) = \Omega (n^{1-\epsilon })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϑ</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <mi>c</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi mathvariant="normal">Ω</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mrow> <mn>1</mn> <mo>-</mo> <mi>ϵ</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, which improves on all known constructions. The graph <i>G</i> <i>a fortiori</i> also has ratio <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_136_Article_IEq12.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="158" /> </InlineMediaObject> <EquationSource Format="TEX">\(\vartheta (G)/\alpha (G) = \Omega (n^{1-\epsilon })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϑ</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <mi>α</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi mathvariant="normal">Ω</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mrow> <mn>1</mn> <mo>-</mo> <mi>ϵ</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, which greatly improves on the best known explicit construction.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

L-Systems and the Lovász Number

  • William Linz

摘要

Given integers \(n> k > 0\) n > k > 0 , and a set of integers \(L \subset [0, k-1]\) L [ 0 , k - 1 ] , an L-system is a family of sets \(\mathcal {F}\subset \left( {\begin{array}{c}[n]\\ k\end{array}}\right) \) F [ n ] k such that \(|F \cap F'| \in L\) | F F | L for distinct \(F, F'\in \mathcal {F}\) F , F F . L-systems correspond to independent sets in a certain generalized Johnson graph G(nkL), so that the maximum size of an L-system is equivalent to finding the independence number of the graph G(nkL). The Lovász number \(\vartheta (G)\) ϑ ( G ) is a semidefinite programming approximation of the independence number \(\alpha \) α of a graph G. In this paper, we determine the leading order term of \(\vartheta (G(n, k, L))\) ϑ ( G ( n , k , L ) ) of any generalized Johnson graph with k and L fixed and \(n\rightarrow \infty \) n . As an application of this theorem, we give an explicit construction of a graph G on n vertices with a large gap between the Lovász number and the Shannon capacity c(G). Specifically, we prove that for any \(\epsilon > 0\) ϵ > 0 , for infinitely many n there is a generalized Johnson graph G on n vertices which has ratio \(\vartheta (G)/c(G) = \Omega (n^{1-\epsilon })\) ϑ ( G ) / c ( G ) = Ω ( n 1 - ϵ ) , which improves on all known constructions. The graph G a fortiori also has ratio \(\vartheta (G)/\alpha (G) = \Omega (n^{1-\epsilon })\) ϑ ( G ) / α ( G ) = Ω ( n 1 - ϵ ) , which greatly improves on the best known explicit construction.