Pairwise meets of antichains in $\mathbb{Z}^d$
The meet of two points in $\mathbb{Z}^d$ is their coordinatewise minimum. We show that every finite antichain $A$ in $\mathbb{Z}^d$ has at least $c_d |A|^{d/(d-1)}$ distinct pairwise meets, where $c_d > 0$ depends only on $d$, and that the exponent $d/(d-1)$ is best possible. As a corollary we obtain an isoperimetric inequality for downsets: every finite downset $D$ in $\mathbb{Z}^d_{\geq 0}$ satisfies $|D| \geq c_d |\max(D)|^{d/(d-1)}$, where $\max(D)$ is its set of maximal elements. By prime factorization the meet bound also yields a lower bound on greatest common divisors: a primitive set…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.08772
curl -X POST /api/v1/records/arxiv/2606.08772/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.08772/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'