{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:A4BO4TBLFIUXAV6R6YFIKKSIGC","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":"0dd15048b6a74ab65ab76e0469465f49fed5d4104045c934244bbe3470728429","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2013-09-23T18:09:30Z","title_canon_sha256":"76a4fa5d5b07b9b2564ee53ea1346f7f0fd6e0e9561907701a2ca5112713acfe"},"schema_version":"1.0","source":{"id":"1309.5902","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.5902","created_at":"2026-05-18T03:12:33Z"},{"alias_kind":"arxiv_version","alias_value":"1309.5902v1","created_at":"2026-05-18T03:12:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.5902","created_at":"2026-05-18T03:12:33Z"},{"alias_kind":"pith_short_12","alias_value":"A4BO4TBLFIUX","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_16","alias_value":"A4BO4TBLFIUXAV6R","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_8","alias_value":"A4BO4TBL","created_at":"2026-05-18T12:27:38Z"}],"graph_snapshots":[{"event_id":"sha256:fcc7967c3ed95dd0f762e6518c78a5198955acc452adec00d8a4e7a591be9f20","target":"graph","created_at":"2026-05-18T03:12:33Z","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":"Using Dwork's theory, we prove a broad generalisation of his famous p-adic formal congruences theorem. This enables us to prove certain p-adic congruences for the generalized hypergeometric series with rational parameters; in particular, they hold for any prime number p and not only for almost all primes. Along the way, using Christol's functions, we provide an explicit formula for the \"Eisenstein constant\" of any globally bounded hypergeometric series with rational parameters. As an application of these results, we obtain an arithmetic statement of a new type concerning the integrality of Tay","authors_text":"Eric Delaygue (ICJ), Julien Roques (IF), Tanguy Rivoal (IF)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2013-09-23T18:09:30Z","title":"On Dwork's p-adic formal congruences theorem and hypergeometric mirror maps"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.5902","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:8f0d233dcb61da48c3ea689546985fb9e92bdd72ede46939e82ef66d12f4627a","target":"record","created_at":"2026-05-18T03:12:33Z","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":"0dd15048b6a74ab65ab76e0469465f49fed5d4104045c934244bbe3470728429","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2013-09-23T18:09:30Z","title_canon_sha256":"76a4fa5d5b07b9b2564ee53ea1346f7f0fd6e0e9561907701a2ca5112713acfe"},"schema_version":"1.0","source":{"id":"1309.5902","kind":"arxiv","version":1}},"canonical_sha256":"0702ee4c2b2a297057d1f60a852a4830b829bf006098026929b695ec3fba3750","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0702ee4c2b2a297057d1f60a852a4830b829bf006098026929b695ec3fba3750","first_computed_at":"2026-05-18T03:12:33.770175Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:12:33.770175Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/0jbTeXHGhk02OFYYkaU+OpF3fHtFPoBwgXB8NxXlLoci/mgjQ8pKk2p/46vsuoz1APpG5N+huuNdahRs0UFCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:12:33.770912Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.5902","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8f0d233dcb61da48c3ea689546985fb9e92bdd72ede46939e82ef66d12f4627a","sha256:fcc7967c3ed95dd0f762e6518c78a5198955acc452adec00d8a4e7a591be9f20"],"state_sha256":"045c455cb3b762359696be06db62d977b77dc122521e10c041d584fa6c5eef43"}