Pith. sign in

REVIEW 4 cited by

A semidefinite programming approach to cross 2-intersecting families

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2503.14844 v1 pith:KIMZOKRI submitted 2025-03-19 math.CO

A semidefinite programming approach to cross 2-intersecting families

classification math.CO
keywords mathcalelementfamiliesprogrammingresultsemidefiniteapproachbinom
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
Share X Bluesky LinkedIn Reddit HN
read the original abstract

Let $k\geq 2$ and $n\geq 3(k-1)$. Let $\mathcal{F}$ and $\mathcal{G}$ be families of $k$-element subsets of an $n$-element set. Suppose that $|F\cap G|\geq 2$ for all $F\in\mathcal{F}$ and $G\in\mathcal{G}$. We show that $|\mathcal{F}||\mathcal{G}|\leq\binom{n-2}{k-2}^2$, and determine the extremal configurations. This settles the last unsolved case of a recent result by Zhang and Wu (J. Combin. Theory Ser. B, 2025). We also obtain the corresponding result in the product measure setting. Our proof is done by solving semidefinite programming problems.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Extremal cross $t$-intersecting families under $t$-covering number constraints for vector spaces

    math.CO 2026-08 conditional novelty 6.0

    For cross t-intersecting families of k- and l-dimensional subspaces with no common t-subspace, the product-maximizing pairs are exactly three explicit families A, H, and C.

  2. On extremal cross $t$-intersecting families with $t$-covering number conditions

    math.CO 2026-05 unverdicted novelty 5.0

    The paper characterizes extremal cross t-intersecting families maximizing |F1| |F2| under tau_t(F1), tau_t(F2) >= t+1 and describes maximal t-intersecting families with tau_t = t+1.

  3. On $\ell$-weakly cross $t$-intersecting families for sets and vector spaces

    math.CO 2026-05 unverdicted novelty 5.0

    For n large enough, the product of the sizes of two ℓ-weakly cross t-intersecting families of k- and k'-dimensional subspaces is at most the product of two Gaussian binomial coefficients.

  4. On $\ell$-weakly cross $t$-intersecting families for sets and vector spaces

    math.CO 2026-05 unverdicted novelty 5.0

    Alternative proof for the set case of the ℓ-weakly cross t-intersecting theorem plus an explicit product bound |F|·|G| ≤ Gaussian-binomial product for subspaces when n meets a stated lower bound.