{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:6CLJTWBW2DKWRKXCY3XO6RCY5V","short_pith_number":"pith:6CLJTWBW","schema_version":"1.0","canonical_sha256":"f09699d836d0d568aae2c6eeef4458ed43a94666be0ca9fdb9f7420f224664e2","source":{"kind":"arxiv","id":"2412.04972","version":2},"attestation_state":"computed","paper":{"title":"Undecidability of polynomial inequalities in tournaments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Fan Wei, Hao Chen, Jie Ma, Yupeng Lin","submitted_at":"2024-12-06T11:46:11Z","abstract_excerpt":"Many fundamental problems in extremal combinatorics are equivalent to proving certain polynomial inequalities in graph homomorphism densities. In 2011, a breakthrough result by Hatami and Norine showed that it is undecidable to verify polynomial inequalities in graph homomorphism densities. Recently, Blekherman, Raymond and Wei extended this result by showing that it is also undecidable to determine the validity of polynomial inequalities in homomorphism densities for weighted graphs with edge weights taking real values. These two results resolved a question of Lov\\'asz. In this paper, we cons"},"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":"2412.04972","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2024-12-06T11:46:11Z","cross_cats_sorted":[],"title_canon_sha256":"145e5d00cac7446ea228429e4d52758882e68e4bfa1bd876326941151c56a4e8","abstract_canon_sha256":"d246c219bf401f7eecabb9f94cb25b60f823517ba48ff3bb4d3ced1cd836f3e2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:46:00.635142Z","signature_b64":"I+TQeHnimbHUnkqBWjtiT+zJ0FZ/m6v6bpvf/OXymeUP/fzobojDl3l7ZvHPuIcW3UnTEL4WS9NRADwN0wi7BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f09699d836d0d568aae2c6eeef4458ed43a94666be0ca9fdb9f7420f224664e2","last_reissued_at":"2026-07-05T09:46:00.634696Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:46:00.634696Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Undecidability of polynomial inequalities in tournaments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Fan Wei, Hao Chen, Jie Ma, Yupeng Lin","submitted_at":"2024-12-06T11:46:11Z","abstract_excerpt":"Many fundamental problems in extremal combinatorics are equivalent to proving certain polynomial inequalities in graph homomorphism densities. In 2011, a breakthrough result by Hatami and Norine showed that it is undecidable to verify polynomial inequalities in graph homomorphism densities. Recently, Blekherman, Raymond and Wei extended this result by showing that it is also undecidable to determine the validity of polynomial inequalities in homomorphism densities for weighted graphs with edge weights taking real values. These two results resolved a question of Lov\\'asz. In this paper, we cons"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.04972","kind":"arxiv","version":2},"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/2412.04972/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":"2412.04972","created_at":"2026-07-05T09:46:00.634754+00:00"},{"alias_kind":"arxiv_version","alias_value":"2412.04972v2","created_at":"2026-07-05T09:46:00.634754+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.04972","created_at":"2026-07-05T09:46:00.634754+00:00"},{"alias_kind":"pith_short_12","alias_value":"6CLJTWBW2DKW","created_at":"2026-07-05T09:46:00.634754+00:00"},{"alias_kind":"pith_short_16","alias_value":"6CLJTWBW2DKWRKXC","created_at":"2026-07-05T09:46:00.634754+00:00"},{"alias_kind":"pith_short_8","alias_value":"6CLJTWBW","created_at":"2026-07-05T09:46:00.634754+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2506.12151","citing_title":"On Domination Exponents for Pairs of Graphs","ref_index":9,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6CLJTWBW2DKWRKXCY3XO6RCY5V","json":"https://pith.science/pith/6CLJTWBW2DKWRKXCY3XO6RCY5V.json","graph_json":"https://pith.science/api/pith-number/6CLJTWBW2DKWRKXCY3XO6RCY5V/graph.json","events_json":"https://pith.science/api/pith-number/6CLJTWBW2DKWRKXCY3XO6RCY5V/events.json","paper":"https://pith.science/paper/6CLJTWBW"},"agent_actions":{"view_html":"https://pith.science/pith/6CLJTWBW2DKWRKXCY3XO6RCY5V","download_json":"https://pith.science/pith/6CLJTWBW2DKWRKXCY3XO6RCY5V.json","view_paper":"https://pith.science/paper/6CLJTWBW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2412.04972&json=true","fetch_graph":"https://pith.science/api/pith-number/6CLJTWBW2DKWRKXCY3XO6RCY5V/graph.json","fetch_events":"https://pith.science/api/pith-number/6CLJTWBW2DKWRKXCY3XO6RCY5V/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6CLJTWBW2DKWRKXCY3XO6RCY5V/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6CLJTWBW2DKWRKXCY3XO6RCY5V/action/storage_attestation","attest_author":"https://pith.science/pith/6CLJTWBW2DKWRKXCY3XO6RCY5V/action/author_attestation","sign_citation":"https://pith.science/pith/6CLJTWBW2DKWRKXCY3XO6RCY5V/action/citation_signature","submit_replication":"https://pith.science/pith/6CLJTWBW2DKWRKXCY3XO6RCY5V/action/replication_record"}},"created_at":"2026-07-05T09:46:00.634754+00:00","updated_at":"2026-07-05T09:46:00.634754+00:00"}