English

On symmetric intersecting families of vectors

Combinatorics 2021-07-01 v4 Classical Analysis and ODEs

Abstract

A family of vectors A[k]nA \subset [k]^n is said to be intersecting if any two elements of AA agree on at least one coordinate. We prove, for fixed k3k \ge 3, that the size of a symmetric intersecting subfamily of [k]n[k]^n is o(kn)o(k^n), which is in stark contrast to the case of the Boolean hypercube (where k=2k =2). Our main contribution addresses limitations of existing technology: while there is now some spectral machinery, developed by Ellis and the third author, to tackle extremal problems in set theory involving symmetry, this machinery relies crucially on the interplay between up-sets and biased product measures on the Boolean hypercube, features that are notably absent in the problem at hand; here, we describe a method for circumventing these barriers.

Keywords

Cite

@article{arxiv.1909.11578,
  title  = {On symmetric intersecting families of vectors},
  author = {Sean Eberhard and Jeff Kahn and Bhargav Narayanan and Sophie Spirkl},
  journal= {arXiv preprint arXiv:1909.11578},
  year   = {2021}
}

Comments

6 pages; It has been brought to our attention that our main result (with slightly worse estimates) may be deduced from earlier work of Dinur, Friedgut and Regev, and this revision acknowledges this fact