加载中…
We study the maximum size of a set system that contains no -Venn diagram, denoted by , as a trace. For every fixed , we prove , improving the direct Sauer-Shelah bound . In particular, for the exponent decreases from to . The proof starts from the theorem of Keevash, Leader, Long and Wagner for and uses induction on in which two new Venn regions are forced for free at each added edge. We also record lower-bound constructions for Venn diagrams in fixed uniformity, explicit bounds for the -uniform -Venn problem, and a fixed uniformity trace result for the loose triangle.

生成讲解博客的中文版本

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