{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:ZW5JFSYKQSE4C7EVQSALGC2O4N","short_pith_number":"pith:ZW5JFSYK","schema_version":"1.0","canonical_sha256":"cdba92cb0a8489c17c958480b30b4ee3766909b91d6e74c51de05348b9d37552","source":{"kind":"arxiv","id":"2605.13868","version":1},"attestation_state":"computed","paper":{"title":"On the Constructive Dimension Spectrum of Polynomials","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Every polynomial curve has an effective dimension spectrum containing at least two points","cross_cats":[],"primary_cat":"math.GM","authors_text":"Prajval Koul, Satyadev Nandakumar","submitted_at":"2026-05-03T05:06:11Z","abstract_excerpt":"Recently, Stull [18], [17] resolved a long-standing open problem posed by Lutz, on whether the set of effective Hausdorff dimensions of points on a straight line in $\\mathbb{R}^2$ -- the effective dimension spectrum of the line -- contains a unit interval. This question is related to problems in classical fractal geometry like the Kakeya conjecture and Furstenberg sets. Stull posed an open question on the dimension spectra of polynomial curves. For the first result, with new techniques which adapt the theory of classical real root-finding of polynomials to the current setting, we show that the"},"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.13868","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GM","submitted_at":"2026-05-03T05:06:11Z","cross_cats_sorted":[],"title_canon_sha256":"20fbb403daaef89d073f7adc3bb1c2cc50739adea8aa0176415255a7cbdaa935","abstract_canon_sha256":"69a543178faf610c5438ac379dc9972104c6f5109d0987fc479393a07bbd8817"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:15.605930Z","signature_b64":"3/muv7js+dvNhAF90bfkTvjG5PfAkbGtq5c/g7QIcQqs7WqhSq5qZ6/a3X8qpevm/B3YGiyRimEICl7kOz/OAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cdba92cb0a8489c17c958480b30b4ee3766909b91d6e74c51de05348b9d37552","last_reissued_at":"2026-05-17T23:39:15.605382Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:15.605382Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the Constructive Dimension Spectrum of Polynomials","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Every polynomial curve has an effective dimension spectrum containing at least two points","cross_cats":[],"primary_cat":"math.GM","authors_text":"Prajval Koul, Satyadev Nandakumar","submitted_at":"2026-05-03T05:06:11Z","abstract_excerpt":"Recently, Stull [18], [17] resolved a long-standing open problem posed by Lutz, on whether the set of effective Hausdorff dimensions of points on a straight line in $\\mathbb{R}^2$ -- the effective dimension spectrum of the line -- contains a unit interval. This question is related to problems in classical fractal geometry like the Kakeya conjecture and Furstenberg sets. Stull posed an open question on the dimension spectra of polynomial curves. For the first result, with new techniques which adapt the theory of classical real root-finding of polynomials to the current setting, we show that the"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"we show that the dimension spectra of every polynomial curve contains at least two points. This answers an open question posed by Stull.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The adaptation of classical real root-finding techniques to the effective dimension setting preserves the necessary properties and can be carried out constructively without hidden inconsistencies or unstated assumptions.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"The effective dimension spectrum of every polynomial curve contains at least two points, with the conjecture resolved for the subfamily of low-dimensional coefficient polynomials.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Every polynomial curve has an effective dimension spectrum containing at least two points","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"13f23ff37c3b57d2bd52eaf22e360717ad63270cbec296e6e78de77ecc161cf8"},"source":{"id":"2605.13868","kind":"arxiv","version":1},"verdict":{"id":"7ece7bd0-c931-431d-aa7c-63b27773cf0c","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T07:18:46.801401Z","strongest_claim":"we show that the dimension spectra of every polynomial curve contains at least two points. This answers an open question posed by Stull.","one_line_summary":"The effective dimension spectrum of every polynomial curve contains at least two points, with the conjecture resolved for the subfamily of low-dimensional coefficient polynomials.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The adaptation of classical real root-finding techniques to the effective dimension setting preserves the necessary properties and can be carried out constructively without hidden inconsistencies or unstated assumptions.","pith_extraction_headline":"Every polynomial curve has an effective dimension spectrum containing at least two points"},"references":{"count":24,"sample":[{"doi":"10.1145/2786566","year":2015,"title":"Adam Case and Jack H. Lutz. Mutual dimension. ACM Trans. Comput. Theory , 7(3):12:1--12:26, 2015. https://doi.org/10.1145/2786566 doi:10.1145/2786566","work_id":"0a78bf9e-ac88-4077-9ec3-937caf0a8b00","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":null,"title":"Exercices de mathématique","work_id":"ccf8cfeb-c438-48de-8f2b-b17a87de7b52","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2008,"title":"Algorithmic Randomness and Complexity","work_id":"50d1f263-1e30-4992-a1a4-c1cbe63b4cf8","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1007/978-3-030-11298-1","year":2019,"title":"2019 , isbn =","work_id":"a6fd7be3-e470-4f49-9f0d-198da4c808b9","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2000,"title":"J. H. Lutz. Gales and the constructive dimension of individual sequences. In Proceedings of the 27th International Colloquium on Automata, Languages, and Programming , pages 902--913, 2000. Revised as","work_id":"6105848d-11ec-47c1-b8d4-6a9a879becbc","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":24,"snapshot_sha256":"caf87b4df68cbb56bbf72bbb95892b63c9f189e633ff6cdf6ca76db15357f86f","internal_anchors":0},"formal_canon":{"evidence_count":2,"snapshot_sha256":"cf27b5411603f6a1d1c6db46b476d12d68d1ae3ee6c58f4d28e266f8f316f844"},"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.13868","created_at":"2026-05-17T23:39:15.605473+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.13868v1","created_at":"2026-05-17T23:39:15.605473+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13868","created_at":"2026-05-17T23:39:15.605473+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZW5JFSYKQSE4","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZW5JFSYKQSE4C7EV","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZW5JFSYK","created_at":"2026-05-18T12:33:37.589309+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":2,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ZW5JFSYKQSE4C7EVQSALGC2O4N","json":"https://pith.science/pith/ZW5JFSYKQSE4C7EVQSALGC2O4N.json","graph_json":"https://pith.science/api/pith-number/ZW5JFSYKQSE4C7EVQSALGC2O4N/graph.json","events_json":"https://pith.science/api/pith-number/ZW5JFSYKQSE4C7EVQSALGC2O4N/events.json","paper":"https://pith.science/paper/ZW5JFSYK"},"agent_actions":{"view_html":"https://pith.science/pith/ZW5JFSYKQSE4C7EVQSALGC2O4N","download_json":"https://pith.science/pith/ZW5JFSYKQSE4C7EVQSALGC2O4N.json","view_paper":"https://pith.science/paper/ZW5JFSYK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.13868&json=true","fetch_graph":"https://pith.science/api/pith-number/ZW5JFSYKQSE4C7EVQSALGC2O4N/graph.json","fetch_events":"https://pith.science/api/pith-number/ZW5JFSYKQSE4C7EVQSALGC2O4N/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZW5JFSYKQSE4C7EVQSALGC2O4N/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZW5JFSYKQSE4C7EVQSALGC2O4N/action/storage_attestation","attest_author":"https://pith.science/pith/ZW5JFSYKQSE4C7EVQSALGC2O4N/action/author_attestation","sign_citation":"https://pith.science/pith/ZW5JFSYKQSE4C7EVQSALGC2O4N/action/citation_signature","submit_replication":"https://pith.science/pith/ZW5JFSYKQSE4C7EVQSALGC2O4N/action/replication_record"}},"created_at":"2026-05-17T23:39:15.605473+00:00","updated_at":"2026-05-17T23:39:15.605473+00:00"}