{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:C6XS6XQXTZYFEAJ5E42ISGHDDI","short_pith_number":"pith:C6XS6XQX","schema_version":"1.0","canonical_sha256":"17af2f5e179e7052013d27348918e31a17d1ec862cf4326a9f5e53be7ba288ea","source":{"kind":"arxiv","id":"2505.07378","version":1},"attestation_state":"computed","paper":{"title":"Undecidability of Polynomial Inequalities in Subset Densities and Additive Energies","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CC","math.LO"],"primary_cat":"math.CO","authors_text":"Yaqiao Li","submitted_at":"2025-05-12T09:23:53Z","abstract_excerpt":"Many results in extremal graph theory can be formulated as certain polynomial inequalities in graph homomorphism densities. Answering fundamental questions raised by Lov{\\'a}sz, Szegedy and Razborov, Hatami and Norine proved that determining the validity of an arbitrary such polynomial inequality in graph homomorphism densities is undecidable. We observe that many results in additive combinatorics can also be formulated as polynomial inequalities in subset's density and its variants. Based on techniques introduced in Hatami and Norine, together with algebraic and graph construction and Fourier"},"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":"2505.07378","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2025-05-12T09:23:53Z","cross_cats_sorted":["cs.CC","math.LO"],"title_canon_sha256":"a213dbfca833d7d4f9f4e0fece7057572ca2a56247f06a633f634342edd1f639","abstract_canon_sha256":"b2e97dde9653b991c0dc0057923429743cb6df37af4d236433813bd266ee638b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:01:47.020728Z","signature_b64":"1g8ynqtb2ocQN/bPeKk9ZmOauVHGV4SNlU7KIIw/Gqgxt7Tq7fg5bjNp8R5BypfBXCxVUhRFRYOf/e1i/h44BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"17af2f5e179e7052013d27348918e31a17d1ec862cf4326a9f5e53be7ba288ea","last_reissued_at":"2026-07-05T11:01:47.020194Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:01:47.020194Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Undecidability of Polynomial Inequalities in Subset Densities and Additive Energies","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CC","math.LO"],"primary_cat":"math.CO","authors_text":"Yaqiao Li","submitted_at":"2025-05-12T09:23:53Z","abstract_excerpt":"Many results in extremal graph theory can be formulated as certain polynomial inequalities in graph homomorphism densities. Answering fundamental questions raised by Lov{\\'a}sz, Szegedy and Razborov, Hatami and Norine proved that determining the validity of an arbitrary such polynomial inequality in graph homomorphism densities is undecidable. We observe that many results in additive combinatorics can also be formulated as polynomial inequalities in subset's density and its variants. Based on techniques introduced in Hatami and Norine, together with algebraic and graph construction and Fourier"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.07378","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/2505.07378/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":"2505.07378","created_at":"2026-07-05T11:01:47.020265+00:00"},{"alias_kind":"arxiv_version","alias_value":"2505.07378v1","created_at":"2026-07-05T11:01:47.020265+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.07378","created_at":"2026-07-05T11:01:47.020265+00:00"},{"alias_kind":"pith_short_12","alias_value":"C6XS6XQXTZYF","created_at":"2026-07-05T11:01:47.020265+00:00"},{"alias_kind":"pith_short_16","alias_value":"C6XS6XQXTZYFEAJ5","created_at":"2026-07-05T11:01:47.020265+00:00"},{"alias_kind":"pith_short_8","alias_value":"C6XS6XQX","created_at":"2026-07-05T11:01:47.020265+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/C6XS6XQXTZYFEAJ5E42ISGHDDI","json":"https://pith.science/pith/C6XS6XQXTZYFEAJ5E42ISGHDDI.json","graph_json":"https://pith.science/api/pith-number/C6XS6XQXTZYFEAJ5E42ISGHDDI/graph.json","events_json":"https://pith.science/api/pith-number/C6XS6XQXTZYFEAJ5E42ISGHDDI/events.json","paper":"https://pith.science/paper/C6XS6XQX"},"agent_actions":{"view_html":"https://pith.science/pith/C6XS6XQXTZYFEAJ5E42ISGHDDI","download_json":"https://pith.science/pith/C6XS6XQXTZYFEAJ5E42ISGHDDI.json","view_paper":"https://pith.science/paper/C6XS6XQX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2505.07378&json=true","fetch_graph":"https://pith.science/api/pith-number/C6XS6XQXTZYFEAJ5E42ISGHDDI/graph.json","fetch_events":"https://pith.science/api/pith-number/C6XS6XQXTZYFEAJ5E42ISGHDDI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/C6XS6XQXTZYFEAJ5E42ISGHDDI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/C6XS6XQXTZYFEAJ5E42ISGHDDI/action/storage_attestation","attest_author":"https://pith.science/pith/C6XS6XQXTZYFEAJ5E42ISGHDDI/action/author_attestation","sign_citation":"https://pith.science/pith/C6XS6XQXTZYFEAJ5E42ISGHDDI/action/citation_signature","submit_replication":"https://pith.science/pith/C6XS6XQXTZYFEAJ5E42ISGHDDI/action/replication_record"}},"created_at":"2026-07-05T11:01:47.020265+00:00","updated_at":"2026-07-05T11:01:47.020265+00:00"}