{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:GENJU7CJJINZ53AFGXDYUGE6EB","short_pith_number":"pith:GENJU7CJ","schema_version":"1.0","canonical_sha256":"311a9a7c494a1b9eec0535c78a189e2067387195ec1a1e0c678ab362337d6237","source":{"kind":"arxiv","id":"2503.17884","version":1},"attestation_state":"computed","paper":{"title":"A Galois-Theoretic Complexity Measure for Solving Systems of Algebraic Equations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"math.AG","authors_text":"Timothy Duff","submitted_at":"2025-03-22T23:53:27Z","abstract_excerpt":"Motivated by applications of algebraic geometry, we introduce the Galois width, a quantity characterizing the complexity of solving algebraic equations in a restricted model of computation allowing only field arithmetic and adjoining polynomial roots. We explain why practical heuristics such as monodromy give (at least) lower bounds on this quantity, and discuss problems in geometry, optimization, statistics, and computer vision for which knowledge of the Galois width either leads to improvements over standard solution techniques or rules out this possibility entirely."},"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":"2503.17884","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2025-03-22T23:53:27Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"50a42b76427b2694c97a73cea73f608d0aefb9b14ac20b6ec0a4e727ff79cf2d","abstract_canon_sha256":"905db32849509fedfb0941f3ce835be0c31a35f9a3c26771b2e22e24c4ce4b19"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:37:57.791258Z","signature_b64":"8VR2CvKv7/iNoaNLE6swAYHzUEtr4f7m0U6luCJMzeFZalj/BwB2sXwTjSgJkfKOqAp2jQduzKQo8kj3YS9BBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"311a9a7c494a1b9eec0535c78a189e2067387195ec1a1e0c678ab362337d6237","last_reissued_at":"2026-07-05T10:37:57.790442Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:37:57.790442Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Galois-Theoretic Complexity Measure for Solving Systems of Algebraic Equations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"math.AG","authors_text":"Timothy Duff","submitted_at":"2025-03-22T23:53:27Z","abstract_excerpt":"Motivated by applications of algebraic geometry, we introduce the Galois width, a quantity characterizing the complexity of solving algebraic equations in a restricted model of computation allowing only field arithmetic and adjoining polynomial roots. We explain why practical heuristics such as monodromy give (at least) lower bounds on this quantity, and discuss problems in geometry, optimization, statistics, and computer vision for which knowledge of the Galois width either leads to improvements over standard solution techniques or rules out this possibility entirely."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.17884","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/2503.17884/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":"2503.17884","created_at":"2026-07-05T10:37:57.790549+00:00"},{"alias_kind":"arxiv_version","alias_value":"2503.17884v1","created_at":"2026-07-05T10:37:57.790549+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.17884","created_at":"2026-07-05T10:37:57.790549+00:00"},{"alias_kind":"pith_short_12","alias_value":"GENJU7CJJINZ","created_at":"2026-07-05T10:37:57.790549+00:00"},{"alias_kind":"pith_short_16","alias_value":"GENJU7CJJINZ53AF","created_at":"2026-07-05T10:37:57.790549+00:00"},{"alias_kind":"pith_short_8","alias_value":"GENJU7CJ","created_at":"2026-07-05T10:37:57.790549+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.15970","citing_title":"Copositive Matrices with Ordered Off-Diagonal Entries","ref_index":248,"is_internal_anchor":false},{"citing_arxiv_id":"2605.00278","citing_title":"Elimination Templates in Macaulay2","ref_index":4,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/GENJU7CJJINZ53AFGXDYUGE6EB","json":"https://pith.science/pith/GENJU7CJJINZ53AFGXDYUGE6EB.json","graph_json":"https://pith.science/api/pith-number/GENJU7CJJINZ53AFGXDYUGE6EB/graph.json","events_json":"https://pith.science/api/pith-number/GENJU7CJJINZ53AFGXDYUGE6EB/events.json","paper":"https://pith.science/paper/GENJU7CJ"},"agent_actions":{"view_html":"https://pith.science/pith/GENJU7CJJINZ53AFGXDYUGE6EB","download_json":"https://pith.science/pith/GENJU7CJJINZ53AFGXDYUGE6EB.json","view_paper":"https://pith.science/paper/GENJU7CJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2503.17884&json=true","fetch_graph":"https://pith.science/api/pith-number/GENJU7CJJINZ53AFGXDYUGE6EB/graph.json","fetch_events":"https://pith.science/api/pith-number/GENJU7CJJINZ53AFGXDYUGE6EB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GENJU7CJJINZ53AFGXDYUGE6EB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GENJU7CJJINZ53AFGXDYUGE6EB/action/storage_attestation","attest_author":"https://pith.science/pith/GENJU7CJJINZ53AFGXDYUGE6EB/action/author_attestation","sign_citation":"https://pith.science/pith/GENJU7CJJINZ53AFGXDYUGE6EB/action/citation_signature","submit_replication":"https://pith.science/pith/GENJU7CJJINZ53AFGXDYUGE6EB/action/replication_record"}},"created_at":"2026-07-05T10:37:57.790549+00:00","updated_at":"2026-07-05T10:37:57.790549+00:00"}