Given integers , and a set of integers , an \emph{-system} is a family of sets such that for distinct . -systems correspond to independent sets in a certain generalized Johnson graph , so that the maximum size of an -system is equivalent to finding the independence number of the graph . The \emph{Lovász number} is a semidefinite programming approximation of the independence number of a graph . In this paper, we determine the leading order term of of any generalized Johnson graph with and fixed and . As an application of this theorem, we give an explicit construction of a graph on vertices with a large gap between the Lovász number and the Shannon capacity . Specifically, we prove that for any , for infinitely many there is a generalized Johnson graph on vertices which has ratio , which improves on all known constructions. The graph also has ratio , which greatly improves on the best known explicit construction.

生成讲解博客的中文版本

生成AI智能校验的中文版本