{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:BVSMKMZAD7XVPEJZFK5JKVHUXT","short_pith_number":"pith:BVSMKMZA","schema_version":"1.0","canonical_sha256":"0d64c533201fef5791392aba9554f4bcc7e88c52eeca2efbf6085982e1ff88c8","source":{"kind":"arxiv","id":"2605.16985","version":1},"attestation_state":"computed","paper":{"title":"On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"The first-order theory of single-variable Presburger arithmetic expanded by perfect fixed powers or degree-at-most-three polynomials is decidable.","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Emil Rugaard Wieser, Jo\\\"el Ouaknine, Joris Nieuwveld, Madhavan Venkatesh, Mihir Vahanwala, Piotr Bacik","submitted_at":"2026-05-16T13:11:32Z","abstract_excerpt":"We consider expansions of Presburger arithmetic with families of monadic polynomial predicates. (Examples of such predicates are the set of perfect squares, or the set of integers of the form $2n^3-5n+3$, etc.) Although the full attendant first-order theories are well known to be undecidable, very little is known when one restricts the number of variables. In the case of single-variable theories, we obtain positive results for the following two families of predicates: (i) for perfect fixed powers, decidability ofthe corresponding theory follows from the solvability of hyperellipticDiophantine "},"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":true,"formal_links_present":true},"canonical_record":{"source":{"id":"2605.16985","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-16T13:11:32Z","cross_cats_sorted":[],"title_canon_sha256":"ecb4ee45dee16effed225d4701b81ee7c366464c7ad07ac044adac82f475dfef","abstract_canon_sha256":"5fea301183d0cef8068dab829f448ef11b62bae9fb6634a48abd4cf1b206670b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:03:34.472107Z","signature_b64":"wL4b2VBs5Iuq9pzIbzqPbQUEN9bOjna3lUAcfwooz32rQBWocLWdeWSLn46uTf+golae02D9D88+Vhtpv4XNDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0d64c533201fef5791392aba9554f4bcc7e88c52eeca2efbf6085982e1ff88c8","last_reissued_at":"2026-05-20T00:03:34.471495Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:03:34.471495Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"The first-order theory of single-variable Presburger arithmetic expanded by perfect fixed powers or degree-at-most-three polynomials is decidable.","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Emil Rugaard Wieser, Jo\\\"el Ouaknine, Joris Nieuwveld, Madhavan Venkatesh, Mihir Vahanwala, Piotr Bacik","submitted_at":"2026-05-16T13:11:32Z","abstract_excerpt":"We consider expansions of Presburger arithmetic with families of monadic polynomial predicates. (Examples of such predicates are the set of perfect squares, or the set of integers of the form $2n^3-5n+3$, etc.) Although the full attendant first-order theories are well known to be undecidable, very little is known when one restricts the number of variables. In the case of single-variable theories, we obtain positive results for the following two families of predicates: (i) for perfect fixed powers, decidability ofthe corresponding theory follows from the solvability of hyperellipticDiophantine "},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"In the case of single-variable theories, we obtain positive results for the following two families of predicates: (i) for perfect fixed powers, decidability of the corresponding theory follows from the solvability of hyperelliptic Diophantine equations; and (ii) for polynomials of degree at most three, we establish decidability by relying on the low genus of the resulting algebraic curves.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The logical decidability transfers directly from the solvability of the associated hyperelliptic Diophantine equations or from the low genus of the algebraic curves produced by the polynomial predicates (abstract, paragraph beginning 'In the case of single-variable theories').","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Decidability is shown for single-variable Presburger expansions with fixed powers via hyperelliptic Diophantine solvability and with degree-at-most-three polynomials via low-genus curves, with hardness results when restrictions are removed.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"The first-order theory of single-variable Presburger arithmetic expanded by perfect fixed powers or degree-at-most-three polynomials is decidable.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"55cfa45c2cdb6679c090f418582cfbb8c1e818265791731e4153162e2711a017"},"source":{"id":"2605.16985","kind":"arxiv","version":1},"verdict":{"id":"843c7dd5-efd0-450a-bddc-602d36da3d28","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-19T18:47:29.306572Z","strongest_claim":"In the case of single-variable theories, we obtain positive results for the following two families of predicates: (i) for perfect fixed powers, decidability of the corresponding theory follows from the solvability of hyperelliptic Diophantine equations; and (ii) for polynomials of degree at most three, we establish decidability by relying on the low genus of the resulting algebraic curves.","one_line_summary":"Decidability is shown for single-variable Presburger expansions with fixed powers via hyperelliptic Diophantine solvability and with degree-at-most-three polynomials via low-genus curves, with hardness results when restrictions are removed.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The logical decidability transfers directly from the solvability of the associated hyperelliptic Diophantine equations or from the low genus of the algebraic curves produced by the polynomial predicates (abstract, paragraph beginning 'In the case of single-variable theories').","pith_extraction_headline":"The first-order theory of single-variable Presburger arithmetic expanded by perfect fixed powers or degree-at-most-three polynomials is decidable."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.16985/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"citation_quote_validity","ran_at":"2026-05-19T19:50:04.901404Z","status":"completed","version":"0.1.0","findings_count":0},{"name":"cited_work_retraction","ran_at":"2026-05-19T19:23:51.616578Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_title_agreement","ran_at":"2026-05-19T19:01:18.838228Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T19:00:47.512610Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"claim_evidence","ran_at":"2026-05-19T18:41:56.211549Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"ai_meta_artifact","ran_at":"2026-05-19T18:33:26.299810Z","status":"skipped","version":"1.0.0","findings_count":0}],"snapshot_sha256":"48e8b7c27a8759cf0ac0592afa2c51eb73f18174bd1ce8369812b8222f493929"},"references":{"count":61,"sample":[{"doi":"10.4230/lipics.mfcs.2025.72","year":2025,"title":"Starchak , editor =","work_id":"3c30854e-dbc0-4cf1-bbc4-3004ffa93bae","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.4230/lipics.icalp.2023.112","year":2023,"title":"The Complexity of","work_id":"e7a04c48-e29a-41d4-bcd8-b4563d074679","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1996,"title":"The American Mathematical Monthly , volume =","work_id":"678f1484-4aa4-4f2b-a46a-ee031e70a729","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":null,"title":"Primary cyclotomic units and a proof of","work_id":"e6f53aa1-ff76-479a-bac4-80adace8ad0a","ref_index":6,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2006,"title":"Classical and modular approaches to exponential","work_id":"3d59b041-80f5-4939-a270-fdcea9139a54","ref_index":7,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":61,"snapshot_sha256":"503fa81d4167dc9f5fe78ad82884bdd0e9a576fa9a0800882aa5d48dcfd3000a","internal_anchors":0},"formal_canon":{"evidence_count":1,"snapshot_sha256":"197d8df3112505957303550e8339eb765fa961932964c86c01a4cf81957d8bbb"},"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":"2605.16985","created_at":"2026-05-20T00:03:34.471581+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.16985v1","created_at":"2026-05-20T00:03:34.471581+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.16985","created_at":"2026-05-20T00:03:34.471581+00:00"},{"alias_kind":"pith_short_12","alias_value":"BVSMKMZAD7XV","created_at":"2026-05-20T00:03:34.471581+00:00"},{"alias_kind":"pith_short_16","alias_value":"BVSMKMZAD7XVPEJZ","created_at":"2026-05-20T00:03:34.471581+00:00"},{"alias_kind":"pith_short_8","alias_value":"BVSMKMZA","created_at":"2026-05-20T00:03:34.471581+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":1,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/BVSMKMZAD7XVPEJZFK5JKVHUXT","json":"https://pith.science/pith/BVSMKMZAD7XVPEJZFK5JKVHUXT.json","graph_json":"https://pith.science/api/pith-number/BVSMKMZAD7XVPEJZFK5JKVHUXT/graph.json","events_json":"https://pith.science/api/pith-number/BVSMKMZAD7XVPEJZFK5JKVHUXT/events.json","paper":"https://pith.science/paper/BVSMKMZA"},"agent_actions":{"view_html":"https://pith.science/pith/BVSMKMZAD7XVPEJZFK5JKVHUXT","download_json":"https://pith.science/pith/BVSMKMZAD7XVPEJZFK5JKVHUXT.json","view_paper":"https://pith.science/paper/BVSMKMZA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.16985&json=true","fetch_graph":"https://pith.science/api/pith-number/BVSMKMZAD7XVPEJZFK5JKVHUXT/graph.json","fetch_events":"https://pith.science/api/pith-number/BVSMKMZAD7XVPEJZFK5JKVHUXT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BVSMKMZAD7XVPEJZFK5JKVHUXT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BVSMKMZAD7XVPEJZFK5JKVHUXT/action/storage_attestation","attest_author":"https://pith.science/pith/BVSMKMZAD7XVPEJZFK5JKVHUXT/action/author_attestation","sign_citation":"https://pith.science/pith/BVSMKMZAD7XVPEJZFK5JKVHUXT/action/citation_signature","submit_replication":"https://pith.science/pith/BVSMKMZAD7XVPEJZFK5JKVHUXT/action/replication_record"}},"created_at":"2026-05-20T00:03:34.471581+00:00","updated_at":"2026-05-20T00:03:34.471581+00:00"}