{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:KIMZOKRIGIAQNA5KRSWOCJLPZL","short_pith_number":"pith:KIMZOKRI","schema_version":"1.0","canonical_sha256":"5219972a2832010683aa8cace1256fcafce8993c92ba18b7c045033c9ae0da66","source":{"kind":"arxiv","id":"2503.14844","version":1},"attestation_state":"computed","paper":{"title":"A semidefinite programming approach to cross $2$-intersecting families","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Hajime Tanaka, Norihide Tokushige","submitted_at":"2025-03-19T02:58:50Z","abstract_excerpt":"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."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2503.14844","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2025-03-19T02:58:50Z","cross_cats_sorted":[],"title_canon_sha256":"0ffe733e6c1b38e2aa67d18a32d007ff73753db86d95d5a463127c2b2eb9a4df","abstract_canon_sha256":"b41992ef2c58e6abb7efc54b29d10a15a2d1fe650f8b4a1524c3f432ccc2b87d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:34:25.738220Z","signature_b64":"lBpEe0kGWIeTzW6dKfVtXlAyWsqq5uFD6iOQnu3aLq0rLQlo1c/3a/zeJXW6wdh/y9vmlPscdQmvjpOfgVZ/CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5219972a2832010683aa8cace1256fcafce8993c92ba18b7c045033c9ae0da66","last_reissued_at":"2026-07-05T10:34:25.737592Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:34:25.737592Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A semidefinite programming approach to cross $2$-intersecting families","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Hajime Tanaka, Norihide Tokushige","submitted_at":"2025-03-19T02:58:50Z","abstract_excerpt":"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."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.14844","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2503.14844/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2503.14844","created_at":"2026-07-05T10:34:25.737668+00:00"},{"alias_kind":"arxiv_version","alias_value":"2503.14844v1","created_at":"2026-07-05T10:34:25.737668+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.14844","created_at":"2026-07-05T10:34:25.737668+00:00"},{"alias_kind":"pith_short_12","alias_value":"KIMZOKRIGIAQ","created_at":"2026-07-05T10:34:25.737668+00:00"},{"alias_kind":"pith_short_16","alias_value":"KIMZOKRIGIAQNA5K","created_at":"2026-07-05T10:34:25.737668+00:00"},{"alias_kind":"pith_short_8","alias_value":"KIMZOKRI","created_at":"2026-07-05T10:34:25.737668+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.09557","citing_title":"On $\\ell$-weakly cross $t$-intersecting families for sets and vector spaces","ref_index":24,"is_internal_anchor":false},{"citing_arxiv_id":"2605.19424","citing_title":"On extremal cross $t$-intersecting families with $t$-covering number conditions","ref_index":29,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/KIMZOKRIGIAQNA5KRSWOCJLPZL","json":"https://pith.science/pith/KIMZOKRIGIAQNA5KRSWOCJLPZL.json","graph_json":"https://pith.science/api/pith-number/KIMZOKRIGIAQNA5KRSWOCJLPZL/graph.json","events_json":"https://pith.science/api/pith-number/KIMZOKRIGIAQNA5KRSWOCJLPZL/events.json","paper":"https://pith.science/paper/KIMZOKRI"},"agent_actions":{"view_html":"https://pith.science/pith/KIMZOKRIGIAQNA5KRSWOCJLPZL","download_json":"https://pith.science/pith/KIMZOKRIGIAQNA5KRSWOCJLPZL.json","view_paper":"https://pith.science/paper/KIMZOKRI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2503.14844&json=true","fetch_graph":"https://pith.science/api/pith-number/KIMZOKRIGIAQNA5KRSWOCJLPZL/graph.json","fetch_events":"https://pith.science/api/pith-number/KIMZOKRIGIAQNA5KRSWOCJLPZL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KIMZOKRIGIAQNA5KRSWOCJLPZL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KIMZOKRIGIAQNA5KRSWOCJLPZL/action/storage_attestation","attest_author":"https://pith.science/pith/KIMZOKRIGIAQNA5KRSWOCJLPZL/action/author_attestation","sign_citation":"https://pith.science/pith/KIMZOKRIGIAQNA5KRSWOCJLPZL/action/citation_signature","submit_replication":"https://pith.science/pith/KIMZOKRIGIAQNA5KRSWOCJLPZL/action/replication_record"}},"created_at":"2026-07-05T10:34:25.737668+00:00","updated_at":"2026-07-05T10:34:25.737668+00:00"}