English

Harmonic LCM patterns and sunflower-free capacity

Number Theory 2025-12-24 v1 Combinatorics

Abstract

Fix an integer k3k\ge 3. Call a set A[N]A\subseteq [N] LCM-kk-free if it does not contain distinct a1,,aka_1,\dots,a_k such that lcm(ai,aj)\mathrm{lcm}(a_i,a_j) is the same for all 1i<jk1\le i<j\le k. Define fk(N):=max{aA1a:A[N] is LCM-k-free}. f_k(N):=\max\left\{\sum_{a\in A}\frac1a: A\subseteq [N] \text{ is LCM-$k$-free}\right\}. Addressing a problem of Erd\H{o}s, we prove an explicit unconditional lower bound fk(N)(logN)cko(1),ck:=k2e((k2)!)1/(k2). f_k(N)\ge (\log N)^{c_k-o(1)}, \qquad c_k:=\frac{k-2}{e((k-2)!)^{1/(k-2)}}. Let Fk(n)F_k(n) denote the maximum size of a kk-sunflower-free family of subsets of [n][n], and define the Erd\H{o}s--Szemer\'edi kk-sunflower-free capacity by μkS:=lim supnFk(n)1/n\mu_k^{\mathrm S}:=\limsup_{n\to\infty}F_k(n)^{1/n}. Motivated by a remark of Erd\H{o}s relating this problem to the sunflower conjecture, we show that (logN)logμkSo(1)fk(N)(logN)μkS1+o(1). (\log N)^{\log\mu_k^{\mathrm S}-o(1)} \le f_k(N) \ll (\log N)^{\mu_k^{\mathrm S}-1+o(1)}. Furthermore, we show that the Erd\H{o}s--Szemer\'edi sunflower conjecture fails for this fixed kk (i.e. μkS=2\mu_k^{\mathrm S}=2) if and only if fk(N)=(logN)1o(1)f_k(N)=(\log N)^{1-o(1)}.

Keywords

Cite

@article{arxiv.2512.20055,
  title  = {Harmonic LCM patterns and sunflower-free capacity},
  author = {Quanyu Tang and Shengtong Zhang},
  journal= {arXiv preprint arXiv:2512.20055},
  year   = {2025}
}

Comments

19 pages. Comments and suggestions are welcome

R2 v1 2026-07-01T08:38:02.124Z