Van der Holst and Pendavingh introduced a graph parameter , which coincides with the more famous Colin de Verdi`{e}re graph parameter for small values. However, the definition of is much more geometric/topological directly reflecting embeddability properties of the graph. They proved and conjectured $\mu(G) \leq \sigma(G)G$. We confirm this conjecture. As far as we know, this is the first topological upper bound on which is, in general, tight. Equality between and does not hold in general as van der Holst and Pendavingh showed that there is a graph with and . We show that the gap appears on much smaller values, namely, we exhibit a graph for which and . We also prove that, in general, the gap can be large: The incidence graphs of finite projective planes of order satisfy $\mu(H_q) \in O(q^{3/2})\sigma(H_q) \geq q^2$.

生成讲解博客的中文版本

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