{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:4SU3VTAT54CQHOXRWQGX73O4VS","short_pith_number":"pith:4SU3VTAT","canonical_record":{"source":{"id":"2307.11747","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2023-07-21T17:57:31Z","cross_cats_sorted":["cs.LO","math.DS","math.LO"],"title_canon_sha256":"56b5969980f222c0636dbdcb318e8c1a5ac95fbe5c8f8f19308ac19ae5141e05","abstract_canon_sha256":"1f640889d00dc592be0e4af76dd40bf0ef92104be27b9436901fdfa8944b6621"},"schema_version":"1.0"},"canonical_sha256":"e4a9bacc13ef0503baf1b40d7feddcaca585ab7f77f18787b9ebf61a97a9873f","source":{"kind":"arxiv","id":"2307.11747","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.11747","created_at":"2026-07-05T07:44:55Z"},{"alias_kind":"arxiv_version","alias_value":"2307.11747v2","created_at":"2026-07-05T07:44:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.11747","created_at":"2026-07-05T07:44:55Z"},{"alias_kind":"pith_short_12","alias_value":"4SU3VTAT54CQ","created_at":"2026-07-05T07:44:55Z"},{"alias_kind":"pith_short_16","alias_value":"4SU3VTAT54CQHOXR","created_at":"2026-07-05T07:44:55Z"},{"alias_kind":"pith_short_8","alias_value":"4SU3VTAT","created_at":"2026-07-05T07:44:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:4SU3VTAT54CQHOXRWQGX73O4VS","target":"record","payload":{"canonical_record":{"source":{"id":"2307.11747","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2023-07-21T17:57:31Z","cross_cats_sorted":["cs.LO","math.DS","math.LO"],"title_canon_sha256":"56b5969980f222c0636dbdcb318e8c1a5ac95fbe5c8f8f19308ac19ae5141e05","abstract_canon_sha256":"1f640889d00dc592be0e4af76dd40bf0ef92104be27b9436901fdfa8944b6621"},"schema_version":"1.0"},"canonical_sha256":"e4a9bacc13ef0503baf1b40d7feddcaca585ab7f77f18787b9ebf61a97a9873f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:44:55.280932Z","signature_b64":"HlSNFfFBpirPq42bUyIl5YLdz4mXicFWUYx1TyxSnxrT0r5jFTWG+lxUNQ9q6DU5GQNHcoWkb6oxTWcFzKjkDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e4a9bacc13ef0503baf1b40d7feddcaca585ab7f77f18787b9ebf61a97a9873f","last_reissued_at":"2026-07-05T07:44:55.280448Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:44:55.280448Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2307.11747","source_version":2,"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-07-05T07:44:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/uAEHH4XJ++6aQI/zQWHnCmXeESYwmgMLSwGtC3lmsgmKwTHW+MXMGovLSEoeUhSgCcFutEgXCSSzmB+kRISBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T19:08:13.006629Z"},"content_sha256":"710e5e161a0587ec0a06b5827a08eb178514fc3730da9563ab583c668eb07432","schema_version":"1.0","event_id":"sha256:710e5e161a0587ec0a06b5827a08eb178514fc3730da9563ab583c668eb07432"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:4SU3VTAT54CQHOXRWQGX73O4VS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","math.DS","math.LO"],"primary_cat":"cs.CC","authors_text":"Manon Blanc, Olivier Bournez","submitted_at":"2023-07-21T17:57:31Z","abstract_excerpt":"We prove that functions over the reals computable in polynomial time can be characterised using discrete ordinary differential equations (ODE), also known as finite differences. We also provide a characterisation of functions computable in polynomial space over the reals.\n  In particular, this covers space complexity, while existing characterisations were only able to cover time complexity, and were restricted to functions over the integers. We prove furthermore that no artificial sign or test function is needed even for time complexity.\n  At a technical level, this is obtained by proving that"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.11747","kind":"arxiv","version":2},"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/2307.11747/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"},"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-07-05T07:44:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UdF7AefrMSPbxcIpKFKkdwcqrAKYGuA1qazrT9YHHTEFTEiRYnif6eCIQL0s6OfwddfBHtPJ4CfF7qzRsJe1Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T19:08:13.007538Z"},"content_sha256":"8e2f15d0cb250a459eb791441835ae43b8a7bc2d761a113492537b43b5fe711f","schema_version":"1.0","event_id":"sha256:8e2f15d0cb250a459eb791441835ae43b8a7bc2d761a113492537b43b5fe711f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4SU3VTAT54CQHOXRWQGX73O4VS/bundle.json","state_url":"https://pith.science/pith/4SU3VTAT54CQHOXRWQGX73O4VS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4SU3VTAT54CQHOXRWQGX73O4VS/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-08-11T19:08:13Z","links":{"resolver":"https://pith.science/pith/4SU3VTAT54CQHOXRWQGX73O4VS","bundle":"https://pith.science/pith/4SU3VTAT54CQHOXRWQGX73O4VS/bundle.json","state":"https://pith.science/pith/4SU3VTAT54CQHOXRWQGX73O4VS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4SU3VTAT54CQHOXRWQGX73O4VS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:4SU3VTAT54CQHOXRWQGX73O4VS","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":"1f640889d00dc592be0e4af76dd40bf0ef92104be27b9436901fdfa8944b6621","cross_cats_sorted":["cs.LO","math.DS","math.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2023-07-21T17:57:31Z","title_canon_sha256":"56b5969980f222c0636dbdcb318e8c1a5ac95fbe5c8f8f19308ac19ae5141e05"},"schema_version":"1.0","source":{"id":"2307.11747","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.11747","created_at":"2026-07-05T07:44:55Z"},{"alias_kind":"arxiv_version","alias_value":"2307.11747v2","created_at":"2026-07-05T07:44:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.11747","created_at":"2026-07-05T07:44:55Z"},{"alias_kind":"pith_short_12","alias_value":"4SU3VTAT54CQ","created_at":"2026-07-05T07:44:55Z"},{"alias_kind":"pith_short_16","alias_value":"4SU3VTAT54CQHOXR","created_at":"2026-07-05T07:44:55Z"},{"alias_kind":"pith_short_8","alias_value":"4SU3VTAT","created_at":"2026-07-05T07:44:55Z"}],"graph_snapshots":[{"event_id":"sha256:8e2f15d0cb250a459eb791441835ae43b8a7bc2d761a113492537b43b5fe711f","target":"graph","created_at":"2026-07-05T07:44:55Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2307.11747/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We prove that functions over the reals computable in polynomial time can be characterised using discrete ordinary differential equations (ODE), also known as finite differences. We also provide a characterisation of functions computable in polynomial space over the reals.\n  In particular, this covers space complexity, while existing characterisations were only able to cover time complexity, and were restricted to functions over the integers. We prove furthermore that no artificial sign or test function is needed even for time complexity.\n  At a technical level, this is obtained by proving that","authors_text":"Manon Blanc, Olivier Bournez","cross_cats":["cs.LO","math.DS","math.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2023-07-21T17:57:31Z","title":"Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.11747","kind":"arxiv","version":2},"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:710e5e161a0587ec0a06b5827a08eb178514fc3730da9563ab583c668eb07432","target":"record","created_at":"2026-07-05T07:44:55Z","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":"1f640889d00dc592be0e4af76dd40bf0ef92104be27b9436901fdfa8944b6621","cross_cats_sorted":["cs.LO","math.DS","math.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2023-07-21T17:57:31Z","title_canon_sha256":"56b5969980f222c0636dbdcb318e8c1a5ac95fbe5c8f8f19308ac19ae5141e05"},"schema_version":"1.0","source":{"id":"2307.11747","kind":"arxiv","version":2}},"canonical_sha256":"e4a9bacc13ef0503baf1b40d7feddcaca585ab7f77f18787b9ebf61a97a9873f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e4a9bacc13ef0503baf1b40d7feddcaca585ab7f77f18787b9ebf61a97a9873f","first_computed_at":"2026-07-05T07:44:55.280448Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:44:55.280448Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HlSNFfFBpirPq42bUyIl5YLdz4mXicFWUYx1TyxSnxrT0r5jFTWG+lxUNQ9q6DU5GQNHcoWkb6oxTWcFzKjkDw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:44:55.280932Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.11747","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:710e5e161a0587ec0a06b5827a08eb178514fc3730da9563ab583c668eb07432","sha256:8e2f15d0cb250a459eb791441835ae43b8a7bc2d761a113492537b43b5fe711f"],"state_sha256":"bcfac47dbf1a498400a974c6e662a0eda31fcb8ee29ec98bd8969782580a7cdd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LPZyGF9V9J8QQ/1L+niCXfX1OFUAvMyPMPLyxnYoQbnPleti1vCmCv10iQs7EptQBN26vAb/HO2BmJjdKOFoCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T19:08:13.014247Z","bundle_sha256":"a573e98b542137ff25d56722490c3ca305566e4fc4180212d5c69aec0f136754"}}