{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:BW53LRZ4BDNEB4GR2WVRTBASXP","short_pith_number":"pith:BW53LRZ4","canonical_record":{"source":{"id":"1806.06543","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2018-06-18T08:18:04Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"b9c121fac03cdb8565d81c5a6d92e18cf32ad895158ade8ac0037976276a50de","abstract_canon_sha256":"0c507ac6063054160acd1e5b081ae7e40de904c23a6550f9a50f6ec67a1f6dd8"},"schema_version":"1.0"},"canonical_sha256":"0dbbb5c73c08da40f0d1d5ab198412bbe9c847c77553e7cc1535fd913a1b826b","source":{"kind":"arxiv","id":"1806.06543","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.06543","created_at":"2026-05-17T23:54:11Z"},{"alias_kind":"arxiv_version","alias_value":"1806.06543v1","created_at":"2026-05-17T23:54:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.06543","created_at":"2026-05-17T23:54:11Z"},{"alias_kind":"pith_short_12","alias_value":"BW53LRZ4BDNE","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"BW53LRZ4BDNEB4GR","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"BW53LRZ4","created_at":"2026-05-18T12:32:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:BW53LRZ4BDNEB4GR2WVRTBASXP","target":"record","payload":{"canonical_record":{"source":{"id":"1806.06543","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2018-06-18T08:18:04Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"b9c121fac03cdb8565d81c5a6d92e18cf32ad895158ade8ac0037976276a50de","abstract_canon_sha256":"0c507ac6063054160acd1e5b081ae7e40de904c23a6550f9a50f6ec67a1f6dd8"},"schema_version":"1.0"},"canonical_sha256":"0dbbb5c73c08da40f0d1d5ab198412bbe9c847c77553e7cc1535fd913a1b826b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:54:11.319616Z","signature_b64":"UYMwAR1WXywhBnhFMpjn9ZMFLEQyAUdX73kZyQpwH4yJkM8FDB41/BDfKCSBT1L8dxCgJHThLr3jbpOTYTg1CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0dbbb5c73c08da40f0d1d5ab198412bbe9c847c77553e7cc1535fd913a1b826b","last_reissued_at":"2026-05-17T23:54:11.319106Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:54:11.319106Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1806.06543","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:54:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mSVzh8eFqFdz8PPFlD5g0ATM+LPaQ/m9Tuoqx1s7V6KozHRZzXRIy4CEakg407BG0XOpAn47X8hNylNktDofBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T02:06:09.366588Z"},"content_sha256":"b96b666eb4641a2531fdc4801c15e22dde8d8c48f3ff685918f20f8c145ed4f8","schema_version":"1.0","event_id":"sha256:b96b666eb4641a2531fdc4801c15e22dde8d8c48f3ff685918f20f8c145ed4f8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:BW53LRZ4BDNEB4GR2WVRTBASXP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fast Coefficient Computation for Algebraic Power Series in Positive Characteristic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"math.NT","authors_text":"Alin Bostan (SPECFUN), Gilles Christol (IMJ), Philippe Dumas (SPECFUN), Xavier Caruso (LAGA)","submitted_at":"2018-06-18T08:18:04Z","abstract_excerpt":"We revisit Christol's theorem on algebraic power series in positive characteristic and propose yet another proof for it. This new proof combines several ingredients and advantages of existing proofs, which make it very well-suited for algorithmic purposes. We apply the construction used in the new proof to the design of a new efficient algorithm for computing the $N$th coefficient of a given algebraic power series over a perfect field of characteristic~$p$. It has several nice features: it is more general, more natural and more efficient than previous algorithms. Not only the arithmetic comple"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.06543","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":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:54:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MSDfb3VQ9Z/5YsvrVwCtZRn3niJUMhtsG/qmhoh3QfES2V764GIUwnnBmSGYncbLMYkYbXAbT+6yukm6vyfBCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T02:06:09.367342Z"},"content_sha256":"7788b751118e8518b0e3a28e3fe6afa59dc90c9e0ec0c8a0a9c1ea97c882411c","schema_version":"1.0","event_id":"sha256:7788b751118e8518b0e3a28e3fe6afa59dc90c9e0ec0c8a0a9c1ea97c882411c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BW53LRZ4BDNEB4GR2WVRTBASXP/bundle.json","state_url":"https://pith.science/pith/BW53LRZ4BDNEB4GR2WVRTBASXP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BW53LRZ4BDNEB4GR2WVRTBASXP/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-09T02:06:09Z","links":{"resolver":"https://pith.science/pith/BW53LRZ4BDNEB4GR2WVRTBASXP","bundle":"https://pith.science/pith/BW53LRZ4BDNEB4GR2WVRTBASXP/bundle.json","state":"https://pith.science/pith/BW53LRZ4BDNEB4GR2WVRTBASXP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BW53LRZ4BDNEB4GR2WVRTBASXP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:BW53LRZ4BDNEB4GR2WVRTBASXP","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":"0c507ac6063054160acd1e5b081ae7e40de904c23a6550f9a50f6ec67a1f6dd8","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2018-06-18T08:18:04Z","title_canon_sha256":"b9c121fac03cdb8565d81c5a6d92e18cf32ad895158ade8ac0037976276a50de"},"schema_version":"1.0","source":{"id":"1806.06543","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.06543","created_at":"2026-05-17T23:54:11Z"},{"alias_kind":"arxiv_version","alias_value":"1806.06543v1","created_at":"2026-05-17T23:54:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.06543","created_at":"2026-05-17T23:54:11Z"},{"alias_kind":"pith_short_12","alias_value":"BW53LRZ4BDNE","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"BW53LRZ4BDNEB4GR","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"BW53LRZ4","created_at":"2026-05-18T12:32:16Z"}],"graph_snapshots":[{"event_id":"sha256:7788b751118e8518b0e3a28e3fe6afa59dc90c9e0ec0c8a0a9c1ea97c882411c","target":"graph","created_at":"2026-05-17T23:54:11Z","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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We revisit Christol's theorem on algebraic power series in positive characteristic and propose yet another proof for it. This new proof combines several ingredients and advantages of existing proofs, which make it very well-suited for algorithmic purposes. We apply the construction used in the new proof to the design of a new efficient algorithm for computing the $N$th coefficient of a given algebraic power series over a perfect field of characteristic~$p$. It has several nice features: it is more general, more natural and more efficient than previous algorithms. Not only the arithmetic comple","authors_text":"Alin Bostan (SPECFUN), Gilles Christol (IMJ), Philippe Dumas (SPECFUN), Xavier Caruso (LAGA)","cross_cats":["cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2018-06-18T08:18:04Z","title":"Fast Coefficient Computation for Algebraic Power Series in Positive Characteristic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.06543","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:b96b666eb4641a2531fdc4801c15e22dde8d8c48f3ff685918f20f8c145ed4f8","target":"record","created_at":"2026-05-17T23:54:11Z","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":"0c507ac6063054160acd1e5b081ae7e40de904c23a6550f9a50f6ec67a1f6dd8","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2018-06-18T08:18:04Z","title_canon_sha256":"b9c121fac03cdb8565d81c5a6d92e18cf32ad895158ade8ac0037976276a50de"},"schema_version":"1.0","source":{"id":"1806.06543","kind":"arxiv","version":1}},"canonical_sha256":"0dbbb5c73c08da40f0d1d5ab198412bbe9c847c77553e7cc1535fd913a1b826b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0dbbb5c73c08da40f0d1d5ab198412bbe9c847c77553e7cc1535fd913a1b826b","first_computed_at":"2026-05-17T23:54:11.319106Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:54:11.319106Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UYMwAR1WXywhBnhFMpjn9ZMFLEQyAUdX73kZyQpwH4yJkM8FDB41/BDfKCSBT1L8dxCgJHThLr3jbpOTYTg1CQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:54:11.319616Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.06543","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b96b666eb4641a2531fdc4801c15e22dde8d8c48f3ff685918f20f8c145ed4f8","sha256:7788b751118e8518b0e3a28e3fe6afa59dc90c9e0ec0c8a0a9c1ea97c882411c"],"state_sha256":"146de3f848eba740fe8253df75fa3ee6d1e62b931aa9c68ae6c5f5874ceeb325"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ILplUb+72fN/7d8lyST3PXfJ4W3ao5nt1uKQBT+qMLqGpYc4XzgLvRH3Y7JgyZrA8IoR8A9mTsR4GVvrbeNwCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T02:06:09.371526Z","bundle_sha256":"de25092fd2ecaadc86578242871326e915175d13fc0586a0a71c5f997cba9a85"}}