English

$L$-systems and the Lov\'asz number

Combinatorics 2024-08-15 v3 Information Theory math.IT

Abstract

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

Keywords

Cite

@article{arxiv.2402.05818,
  title  = {$L$-systems and the Lov\'asz number},
  author = {William Linz},
  journal= {arXiv preprint arXiv:2402.05818},
  year   = {2024}
}

Comments

21 pages; modified the statement of Theorem 1.6 and expanded the proof of Lemma 2.11; some minor revisions

R2 v1 2026-06-28T14:43:07.409Z