{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:G23KZNBIXICNQCMAJVBO6JAWWG","short_pith_number":"pith:G23KZNBI","schema_version":"1.0","canonical_sha256":"36b6acb428ba04d809804d42ef2416b1afb0a83e4b032cc02c2122457e438e82","source":{"kind":"arxiv","id":"2607.02153","version":1},"attestation_state":"computed","paper":{"title":"Local polynomial factorisation: improving the Montes algorithm","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Poteaux Adrien, Weimann Martin","submitted_at":"2026-07-02T13:27:04Z","abstract_excerpt":"We improve significantly the Nart-Montes algorithm for factoring\n  polynomials over a complete discrete valuation ring $\\mathbb{A}$. Our first\n  contribution is to extend the Hensel lemma in the context of\n  generalised Newton polygons, from which we derive a new divide and\n  conquer strategy. Also, if $\\mathbb{A}$ has residual characteristic zero or\n  high enough, we prove that approximate roots are convenient\n  representatives of types, leading finally to an almost optimal\n  complexity both for irreducibility and factorisation issues, plus\n  the cost of factorisations above the residue field"},"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":"2607.02153","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SC","submitted_at":"2026-07-02T13:27:04Z","cross_cats_sorted":[],"title_canon_sha256":"09c9507188a46e9933f791cd6e0f214ee22e48acccb90bd94d4a4e82d184fb6b","abstract_canon_sha256":"9627d113b5f80a8681e3204c3464f0f84d088b12d90083d94dc6c36833820d7b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-03T01:17:43.534297Z","signature_b64":"T/MI1blfwu1D7iXCaTxklEmyu74dLNgSln3ChAszSK978laNPNEyYb5DQ7scG9xX+CNW8shuEmGE19F+USukDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"36b6acb428ba04d809804d42ef2416b1afb0a83e4b032cc02c2122457e438e82","last_reissued_at":"2026-07-03T01:17:43.533941Z","signature_status":"signed_v1","first_computed_at":"2026-07-03T01:17:43.533941Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Local polynomial factorisation: improving the Montes algorithm","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Poteaux Adrien, Weimann Martin","submitted_at":"2026-07-02T13:27:04Z","abstract_excerpt":"We improve significantly the Nart-Montes algorithm for factoring\n  polynomials over a complete discrete valuation ring $\\mathbb{A}$. Our first\n  contribution is to extend the Hensel lemma in the context of\n  generalised Newton polygons, from which we derive a new divide and\n  conquer strategy. Also, if $\\mathbb{A}$ has residual characteristic zero or\n  high enough, we prove that approximate roots are convenient\n  representatives of types, leading finally to an almost optimal\n  complexity both for irreducibility and factorisation issues, plus\n  the cost of factorisations above the residue field"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.02153","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/2607.02153/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":"2607.02153","created_at":"2026-07-03T01:17:43.534007+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.02153v1","created_at":"2026-07-03T01:17:43.534007+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.02153","created_at":"2026-07-03T01:17:43.534007+00:00"},{"alias_kind":"pith_short_12","alias_value":"G23KZNBIXICN","created_at":"2026-07-03T01:17:43.534007+00:00"},{"alias_kind":"pith_short_16","alias_value":"G23KZNBIXICNQCMA","created_at":"2026-07-03T01:17:43.534007+00:00"},{"alias_kind":"pith_short_8","alias_value":"G23KZNBI","created_at":"2026-07-03T01:17:43.534007+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/G23KZNBIXICNQCMAJVBO6JAWWG","json":"https://pith.science/pith/G23KZNBIXICNQCMAJVBO6JAWWG.json","graph_json":"https://pith.science/api/pith-number/G23KZNBIXICNQCMAJVBO6JAWWG/graph.json","events_json":"https://pith.science/api/pith-number/G23KZNBIXICNQCMAJVBO6JAWWG/events.json","paper":"https://pith.science/paper/G23KZNBI"},"agent_actions":{"view_html":"https://pith.science/pith/G23KZNBIXICNQCMAJVBO6JAWWG","download_json":"https://pith.science/pith/G23KZNBIXICNQCMAJVBO6JAWWG.json","view_paper":"https://pith.science/paper/G23KZNBI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.02153&json=true","fetch_graph":"https://pith.science/api/pith-number/G23KZNBIXICNQCMAJVBO6JAWWG/graph.json","fetch_events":"https://pith.science/api/pith-number/G23KZNBIXICNQCMAJVBO6JAWWG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/G23KZNBIXICNQCMAJVBO6JAWWG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/G23KZNBIXICNQCMAJVBO6JAWWG/action/storage_attestation","attest_author":"https://pith.science/pith/G23KZNBIXICNQCMAJVBO6JAWWG/action/author_attestation","sign_citation":"https://pith.science/pith/G23KZNBIXICNQCMAJVBO6JAWWG/action/citation_signature","submit_replication":"https://pith.science/pith/G23KZNBIXICNQCMAJVBO6JAWWG/action/replication_record"}},"created_at":"2026-07-03T01:17:43.534007+00:00","updated_at":"2026-07-03T01:17:43.534007+00:00"}