{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:KZ46C6B333J73XC5GXS3WGP3JB","short_pith_number":"pith:KZ46C6B3","schema_version":"1.0","canonical_sha256":"5679e1783bded3fddc5d35e5bb19fb485272bd87032e27b784d9bcba3266b162","source":{"kind":"arxiv","id":"2412.14917","version":2},"attestation_state":"computed","paper":{"title":"Undecidability in the Ramsey theory of polynomial equations and Hilbert's tenth problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO","math.DS"],"primary_cat":"math.LO","authors_text":"Bill Mance, Sohail Farhangi, Steve Jackson","submitted_at":"2024-12-19T14:50:43Z","abstract_excerpt":"We show that several sets of interest arising from the study of partition regularity and density Ramsey theory of polynomial equations over integral domains are undecidable. In particular, we show that the set of homogeneous polynomials $p \\in \\mathbb{Z}[x_1,\\cdots,x_n]$ for which the equation $p(x_1,\\cdots,x_n) = 0$ is partition regular over $\\mathbb{Z}\\setminus\\{0\\}$ is undecidable conditional on Hilbert's tenth problem for $\\mathbb{Q}$. For other integral domains, we get the analogous result unconditionally. More generally, we determine the exact lightface complexity of the various sets of "},"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.14917","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2024-12-19T14:50:43Z","cross_cats_sorted":["math.CO","math.DS"],"title_canon_sha256":"ef1ddacdc61b8343620f3d1879f5beae6ca62f46c07440d3ddea5ee9ad6f23fe","abstract_canon_sha256":"db3f1ae044e57f6cd0b618653c563fc4cfc247fb6683e6b4ac91d65854e65baf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:01:02.854094Z","signature_b64":"ypcGFStN5rhCyJbY/7oDpeNuG1TF/k/L39QILvl5zSYIyymaHRji40xH5CUwe/w7axsd6g2im5WRhY5Pl+v8Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5679e1783bded3fddc5d35e5bb19fb485272bd87032e27b784d9bcba3266b162","last_reissued_at":"2026-07-05T11:01:02.853646Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:01:02.853646Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Undecidability in the Ramsey theory of polynomial equations and Hilbert's tenth problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO","math.DS"],"primary_cat":"math.LO","authors_text":"Bill Mance, Sohail Farhangi, Steve Jackson","submitted_at":"2024-12-19T14:50:43Z","abstract_excerpt":"We show that several sets of interest arising from the study of partition regularity and density Ramsey theory of polynomial equations over integral domains are undecidable. In particular, we show that the set of homogeneous polynomials $p \\in \\mathbb{Z}[x_1,\\cdots,x_n]$ for which the equation $p(x_1,\\cdots,x_n) = 0$ is partition regular over $\\mathbb{Z}\\setminus\\{0\\}$ is undecidable conditional on Hilbert's tenth problem for $\\mathbb{Q}$. For other integral domains, we get the analogous result unconditionally. More generally, we determine the exact lightface complexity of the various sets of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.14917","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.14917/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.14917","created_at":"2026-07-05T11:01:02.853697+00:00"},{"alias_kind":"arxiv_version","alias_value":"2412.14917v2","created_at":"2026-07-05T11:01:02.853697+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.14917","created_at":"2026-07-05T11:01:02.853697+00:00"},{"alias_kind":"pith_short_12","alias_value":"KZ46C6B333J7","created_at":"2026-07-05T11:01:02.853697+00:00"},{"alias_kind":"pith_short_16","alias_value":"KZ46C6B333J73XC5","created_at":"2026-07-05T11:01:02.853697+00:00"},{"alias_kind":"pith_short_8","alias_value":"KZ46C6B3","created_at":"2026-07-05T11:01:02.853697+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2502.00312","citing_title":"Extensibility and denseness of periodic semigroup actions","ref_index":15,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/KZ46C6B333J73XC5GXS3WGP3JB","json":"https://pith.science/pith/KZ46C6B333J73XC5GXS3WGP3JB.json","graph_json":"https://pith.science/api/pith-number/KZ46C6B333J73XC5GXS3WGP3JB/graph.json","events_json":"https://pith.science/api/pith-number/KZ46C6B333J73XC5GXS3WGP3JB/events.json","paper":"https://pith.science/paper/KZ46C6B3"},"agent_actions":{"view_html":"https://pith.science/pith/KZ46C6B333J73XC5GXS3WGP3JB","download_json":"https://pith.science/pith/KZ46C6B333J73XC5GXS3WGP3JB.json","view_paper":"https://pith.science/paper/KZ46C6B3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2412.14917&json=true","fetch_graph":"https://pith.science/api/pith-number/KZ46C6B333J73XC5GXS3WGP3JB/graph.json","fetch_events":"https://pith.science/api/pith-number/KZ46C6B333J73XC5GXS3WGP3JB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KZ46C6B333J73XC5GXS3WGP3JB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KZ46C6B333J73XC5GXS3WGP3JB/action/storage_attestation","attest_author":"https://pith.science/pith/KZ46C6B333J73XC5GXS3WGP3JB/action/author_attestation","sign_citation":"https://pith.science/pith/KZ46C6B333J73XC5GXS3WGP3JB/action/citation_signature","submit_replication":"https://pith.science/pith/KZ46C6B333J73XC5GXS3WGP3JB/action/replication_record"}},"created_at":"2026-07-05T11:01:02.853697+00:00","updated_at":"2026-07-05T11:01:02.853697+00:00"}