{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:76PBU3YZZZTJB7J23EQ4NEBKCI","short_pith_number":"pith:76PBU3YZ","canonical_record":{"source":{"id":"1609.08059","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-09-23T16:13:28Z","cross_cats_sorted":["math.CA"],"title_canon_sha256":"902965a76d81f323b1e07d4eab246091ceeae9291d09bda36c67d0aecd79674b","abstract_canon_sha256":"59c749dfd8395ecd6d003813cc09b5c9542aab680958db16b584484488df1917"},"schema_version":"1.0"},"canonical_sha256":"ff9e1a6f19ce6690fd3ad921c6902a12134cd4991eb49b78d1e2033c9d728984","source":{"kind":"arxiv","id":"1609.08059","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.08059","created_at":"2026-05-18T00:44:19Z"},{"alias_kind":"arxiv_version","alias_value":"1609.08059v3","created_at":"2026-05-18T00:44:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.08059","created_at":"2026-05-18T00:44:19Z"},{"alias_kind":"pith_short_12","alias_value":"76PBU3YZZZTJ","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_16","alias_value":"76PBU3YZZZTJB7J2","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_8","alias_value":"76PBU3YZ","created_at":"2026-05-18T12:30:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:76PBU3YZZZTJB7J23EQ4NEBKCI","target":"record","payload":{"canonical_record":{"source":{"id":"1609.08059","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-09-23T16:13:28Z","cross_cats_sorted":["math.CA"],"title_canon_sha256":"902965a76d81f323b1e07d4eab246091ceeae9291d09bda36c67d0aecd79674b","abstract_canon_sha256":"59c749dfd8395ecd6d003813cc09b5c9542aab680958db16b584484488df1917"},"schema_version":"1.0"},"canonical_sha256":"ff9e1a6f19ce6690fd3ad921c6902a12134cd4991eb49b78d1e2033c9d728984","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:19.752389Z","signature_b64":"byNmhfj4Z1O3lTkOzDagigh8TtAdIvUDguLma+zo/s0r9u7qgQEADeFMwo6HKRHv39f5n4PywLX3JABtcB3MBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ff9e1a6f19ce6690fd3ad921c6902a12134cd4991eb49b78d1e2033c9d728984","last_reissued_at":"2026-05-18T00:44:19.751899Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:19.751899Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.08059","source_version":3,"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-18T00:44:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lnm0g7rpiWmwpBXGJRBgPFguMdIIJn+BRmToRQ8MpojX3GQ6uhQ9ib0MwMIRodoIDcJcQk6JibmJznmAw7blAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T08:19:48.912937Z"},"content_sha256":"7c50dc13182bcbdc1f3aa506910ffadf444cbd96388c6589a3f4d532c42b5c9f","schema_version":"1.0","event_id":"sha256:7c50dc13182bcbdc1f3aa506910ffadf444cbd96388c6589a3f4d532c42b5c9f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:76PBU3YZZZTJB7J23EQ4NEBKCI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length (Journal version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CA"],"primary_cat":"cs.CC","authors_text":"Amaury Pouly, Daniel S. Gra\\c{a}a, Olivier Bournez","submitted_at":"2016-09-23T16:13:28Z","abstract_excerpt":"The outcomes of this paper are twofold. Implicit complexity.\n  We provide an implicit characterization of polynomial time computation in terms of ordinary differential equations: we characterize the class PTIME of languages computable in polynomial time in terms of differential equations with polynomial right-hand side. This result gives a purely continuous elegant and simple characterization of PTIME. We believe it is the first time complexity classes are characterized using only ordinary differential equations. Our characterization extends to functions computable in polynomial time over the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.08059","kind":"arxiv","version":3},"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-18T00:44:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H5WFGi+FbmpoY/7kthgHf6dlVzj7qaWku90JBfkFNEFkZjEQhfUF01gJ12FZKgL1P0owuNBeSL9vnpDC/bEhDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T08:19:48.913289Z"},"content_sha256":"0a39a31e234a21217b8775214f93f87891edf94cde5b464ada24fa1101801086","schema_version":"1.0","event_id":"sha256:0a39a31e234a21217b8775214f93f87891edf94cde5b464ada24fa1101801086"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/76PBU3YZZZTJB7J23EQ4NEBKCI/bundle.json","state_url":"https://pith.science/pith/76PBU3YZZZTJB7J23EQ4NEBKCI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/76PBU3YZZZTJB7J23EQ4NEBKCI/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-03T08:19:48Z","links":{"resolver":"https://pith.science/pith/76PBU3YZZZTJB7J23EQ4NEBKCI","bundle":"https://pith.science/pith/76PBU3YZZZTJB7J23EQ4NEBKCI/bundle.json","state":"https://pith.science/pith/76PBU3YZZZTJB7J23EQ4NEBKCI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/76PBU3YZZZTJB7J23EQ4NEBKCI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:76PBU3YZZZTJB7J23EQ4NEBKCI","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":"59c749dfd8395ecd6d003813cc09b5c9542aab680958db16b584484488df1917","cross_cats_sorted":["math.CA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-09-23T16:13:28Z","title_canon_sha256":"902965a76d81f323b1e07d4eab246091ceeae9291d09bda36c67d0aecd79674b"},"schema_version":"1.0","source":{"id":"1609.08059","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.08059","created_at":"2026-05-18T00:44:19Z"},{"alias_kind":"arxiv_version","alias_value":"1609.08059v3","created_at":"2026-05-18T00:44:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.08059","created_at":"2026-05-18T00:44:19Z"},{"alias_kind":"pith_short_12","alias_value":"76PBU3YZZZTJ","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_16","alias_value":"76PBU3YZZZTJB7J2","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_8","alias_value":"76PBU3YZ","created_at":"2026-05-18T12:30:04Z"}],"graph_snapshots":[{"event_id":"sha256:0a39a31e234a21217b8775214f93f87891edf94cde5b464ada24fa1101801086","target":"graph","created_at":"2026-05-18T00:44:19Z","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":"The outcomes of this paper are twofold. Implicit complexity.\n  We provide an implicit characterization of polynomial time computation in terms of ordinary differential equations: we characterize the class PTIME of languages computable in polynomial time in terms of differential equations with polynomial right-hand side. This result gives a purely continuous elegant and simple characterization of PTIME. We believe it is the first time complexity classes are characterized using only ordinary differential equations. Our characterization extends to functions computable in polynomial time over the ","authors_text":"Amaury Pouly, Daniel S. Gra\\c{a}a, Olivier Bournez","cross_cats":["math.CA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-09-23T16:13:28Z","title":"Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length (Journal version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.08059","kind":"arxiv","version":3},"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:7c50dc13182bcbdc1f3aa506910ffadf444cbd96388c6589a3f4d532c42b5c9f","target":"record","created_at":"2026-05-18T00:44:19Z","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":"59c749dfd8395ecd6d003813cc09b5c9542aab680958db16b584484488df1917","cross_cats_sorted":["math.CA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-09-23T16:13:28Z","title_canon_sha256":"902965a76d81f323b1e07d4eab246091ceeae9291d09bda36c67d0aecd79674b"},"schema_version":"1.0","source":{"id":"1609.08059","kind":"arxiv","version":3}},"canonical_sha256":"ff9e1a6f19ce6690fd3ad921c6902a12134cd4991eb49b78d1e2033c9d728984","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ff9e1a6f19ce6690fd3ad921c6902a12134cd4991eb49b78d1e2033c9d728984","first_computed_at":"2026-05-18T00:44:19.751899Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:19.751899Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"byNmhfj4Z1O3lTkOzDagigh8TtAdIvUDguLma+zo/s0r9u7qgQEADeFMwo6HKRHv39f5n4PywLX3JABtcB3MBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:19.752389Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.08059","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7c50dc13182bcbdc1f3aa506910ffadf444cbd96388c6589a3f4d532c42b5c9f","sha256:0a39a31e234a21217b8775214f93f87891edf94cde5b464ada24fa1101801086"],"state_sha256":"bc79e34220c37838c7cda49bfdf349241682f77b823df7840cc3668c15befe5e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sFPak2yJTxOxDUZ1sY+P65Dx8Sas5tvAJwI3U3TF1gnbmmY6mYJ81R86NVOxZKhxHC0J31h1sPan4p/OPgrXDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T08:19:48.915287Z","bundle_sha256":"6d88f9d7e3816a7efa597078a75749ecd01f54be0f8a305c5221e91f44409074"}}