{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:6BP4HB3J267XEFNSIHGREWJD6M","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"231de233d9ca15c59d2f778e1dd2fd0de17a0845f92f7451b271d2434ef3109b","cross_cats_sorted":["cs.IT","math.IT","math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2026-05-13T19:08:10Z","title_canon_sha256":"947944391e95fae0a7c7dcd29b71f176509554059329a7b5d3ba69a30a17b779"},"schema_version":"1.0","source":{"id":"2605.14046","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.14046","created_at":"2026-05-17T23:39:12Z"},{"alias_kind":"arxiv_version","alias_value":"2605.14046v1","created_at":"2026-05-17T23:39:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14046","created_at":"2026-05-17T23:39:12Z"},{"alias_kind":"pith_short_12","alias_value":"6BP4HB3J267X","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"6BP4HB3J267XEFNS","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"6BP4HB3J","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:0c7be3fcc7f1cb7257a931950de40c848fdc6ec19d0455363241128125e15bee","target":"graph","created_at":"2026-05-17T23:39:12Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"Using Galois group actions and invariant divisor techniques, we establish necessary and sufficient conditions for non-speciality with no constraint on the support, yielding explicit constructions where previous methods fail."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The Galois group actions on divisors remain sufficient to certify non-speciality for arbitrary ramification patterns without hidden exceptions or additional constraints in the three regimes covered."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A Galois-invariant technique gives necessary and sufficient conditions for non-special divisors on general Kummer extensions, producing explicit LCP AG codes across three ramification regimes that meet or approach the Goppa bound."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Galois group actions and invariant divisors give necessary and sufficient conditions for non-speciality in Kummer extensions with arbitrary ramification."}],"snapshot_sha256":"ecf33c2aa6a86e06c25e2d42d23b2835fe4d182c9e2fa2e9e9b7423da02d540c"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Linear Complementary Pairs (LCP) of algebraic geometry (AG) codes offer strong resistance against side-channel and fault-injection attacks, but their construction depends critically on the explicit identification of non-special divisors of degree $g$ and $g-1$. Existing constructions are restricted to Kummer extensions where divisors are supported exclusively on totally ramified places, significantly limiting the range of applicable function fields and codes. We remove this restriction by developing a framework for general Kummer extensions $y^m = \\prod_{i=1}^r (x-\\alpha_i)^{\\lambda_i}$ over f","authors_text":"Adler Marques, Saeed Tafazolian, Yuri da Silva","cross_cats":["cs.IT","math.IT","math.NT"],"headline":"Galois group actions and invariant divisors give necessary and sufficient conditions for non-speciality in Kummer extensions with arbitrary ramification.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2026-05-13T19:08:10Z","title":"Construction of Non-special Divisors on Kummer Covers With Arbritary Ramification For LCP Codes"},"references":{"count":16,"internal_anchors":1,"resolved_work":16,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"On the existence of non-special divisors of degreegandg−1 in algebraic function fields overF q,","work_id":"6786a9f4-98b0-408f-81b8-5b23cd1c6506","year":2006},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"On linear complementary pairs of algebraic geometry codes over finite fields,","work_id":"9081e3b3-df81-415c-b338-7f013502f2bd","year":2024},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"On linear complementary pairs of codes,","work_id":"030ffad1-95df-41d1-a638-61a2bff467be","year":2018},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Linear complementary dual codes and linear complementary pairs of AG codes in function fields,","work_id":"cffd8969-792c-4dcf-841a-dc9294a394ec","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"On generalized Weierstrass Semigroups in arbi- trary Kummer extensions ofF q(x),","work_id":"ca322b00-c916-4282-ad03-03904b8ae220","year":2026}],"snapshot_sha256":"264523d6aafe71d243390f5b4286ef52896194f6d17abecf3e50c307bd4ff5f4"},"source":{"id":"2605.14046","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-15T02:33:53.226515Z","id":"eae7445a-8a96-4dee-975f-bbf0e04c0ba7","model_set":{"reader":"grok-4.3"},"one_line_summary":"A Galois-invariant technique gives necessary and sufficient conditions for non-special divisors on general Kummer extensions, producing explicit LCP AG codes across three ramification regimes that meet or approach the Goppa bound.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Galois group actions and invariant divisors give necessary and sufficient conditions for non-speciality in Kummer extensions with arbitrary ramification.","strongest_claim":"Using Galois group actions and invariant divisor techniques, we establish necessary and sufficient conditions for non-speciality with no constraint on the support, yielding explicit constructions where previous methods fail.","weakest_assumption":"The Galois group actions on divisors remain sufficient to certify non-speciality for arbitrary ramification patterns without hidden exceptions or additional constraints in the three regimes covered."}},"verdict_id":"eae7445a-8a96-4dee-975f-bbf0e04c0ba7"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:20f357d3c881df8a6d37156865dca157ef619133e95e223cdacfdabea26462c3","target":"record","created_at":"2026-05-17T23:39:12Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"231de233d9ca15c59d2f778e1dd2fd0de17a0845f92f7451b271d2434ef3109b","cross_cats_sorted":["cs.IT","math.IT","math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2026-05-13T19:08:10Z","title_canon_sha256":"947944391e95fae0a7c7dcd29b71f176509554059329a7b5d3ba69a30a17b779"},"schema_version":"1.0","source":{"id":"2605.14046","kind":"arxiv","version":1}},"canonical_sha256":"f05fc38769d7bf7215b241cd125923f30f7fde707566925008f5e53c96ed1b72","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f05fc38769d7bf7215b241cd125923f30f7fde707566925008f5e53c96ed1b72","first_computed_at":"2026-05-17T23:39:12.693435Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:12.693435Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"65Vi9uecPi6IdSZptVDHRpd/z5WrrRqvwBCeVr0RxLaI9h3/ozPjwHsCnidwXH3BfeqtxLNH7S/ECwtdJZMkBQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:12.694067Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.14046","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:20f357d3c881df8a6d37156865dca157ef619133e95e223cdacfdabea26462c3","sha256:0c7be3fcc7f1cb7257a931950de40c848fdc6ec19d0455363241128125e15bee"],"state_sha256":"02239d2dbe88d2bd1126427dec53901065d1ac4197b340dbf5924d8054ef6455"}