{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:L6JPVJFR3UXWHZLRLSVV4SSGEH","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":"18a5ab194156a0c9cc0bdb4fe98ee91010872b87bb8b3cf693ed29923917b171","cross_cats_sorted":["cs.LO","math.CT","quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-11-08T21:03:18Z","title_canon_sha256":"657d5a96b3af7101f068668aa9a2d0d86a92962eae876a95239671b645f87198"},"schema_version":"1.0","source":{"id":"1811.03678","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.03678","created_at":"2026-05-17T23:58:43Z"},{"alias_kind":"arxiv_version","alias_value":"1811.03678v2","created_at":"2026-05-17T23:58:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.03678","created_at":"2026-05-17T23:58:43Z"},{"alias_kind":"pith_short_12","alias_value":"L6JPVJFR3UXW","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_16","alias_value":"L6JPVJFR3UXWHZLR","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_8","alias_value":"L6JPVJFR","created_at":"2026-05-18T12:32:33Z"}],"graph_snapshots":[{"event_id":"sha256:c4bdbed23b34bc8931d5e21d86ee46a057dfe3abc54001096f469af5b9e77d84","target":"graph","created_at":"2026-05-17T23:58:43Z","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":"Our main models of computation (the Turing Machine and the RAM) make fundamental assumptions about which primitive operations are realizable. The consensus is that these include logical operations like conjunction, disjunction and negation, as well as reading and writing to memory locations. This perspective conforms to a macro-level view of physics and indeed these operations are realizable using macro-level devices involving thousands of electrons. This point of view is however incompatible with quantum mechanics, or even elementary thermodynamics, as both imply that information is a conserv","authors_text":"Amr Sabry, Jacques Carette, Roshan P. James","cross_cats":["cs.LO","math.CT","quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-11-08T21:03:18Z","title":"Embracing the Laws of Physics: Three Reversible Models of Computation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.03678","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:4ca7a3e4766de33c5f10a330151d0c27d64b3261a76a98ff95e78c3930c576c8","target":"record","created_at":"2026-05-17T23:58:43Z","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":"18a5ab194156a0c9cc0bdb4fe98ee91010872b87bb8b3cf693ed29923917b171","cross_cats_sorted":["cs.LO","math.CT","quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-11-08T21:03:18Z","title_canon_sha256":"657d5a96b3af7101f068668aa9a2d0d86a92962eae876a95239671b645f87198"},"schema_version":"1.0","source":{"id":"1811.03678","kind":"arxiv","version":2}},"canonical_sha256":"5f92faa4b1dd2f63e5715cab5e4a4621cacacea15f7b86a5cdaab097fe627526","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5f92faa4b1dd2f63e5715cab5e4a4621cacacea15f7b86a5cdaab097fe627526","first_computed_at":"2026-05-17T23:58:43.231596Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:58:43.231596Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"62L9eu0ODvS/SBxxIl+SfFJeAIuiSXYDvj4ekApaqKRwsLydBJebesAeLrdFQErgQPlJdWwCoApJ5Nt7Tsg+Dw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:58:43.232098Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.03678","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4ca7a3e4766de33c5f10a330151d0c27d64b3261a76a98ff95e78c3930c576c8","sha256:c4bdbed23b34bc8931d5e21d86ee46a057dfe3abc54001096f469af5b9e77d84"],"state_sha256":"81ef32b420584cefd9c86122b40b9431e37afa848adfb45329606b7af39b30d4"}