{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:ZD2OSGPYH7KYEAGLQTNMY4S6YD","short_pith_number":"pith:ZD2OSGPY","canonical_record":{"source":{"id":"1110.1263","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-10-06T13:52:34Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"64757b9d8bdb457e4010f9cf20424b7890d09db62ed4bc67180f90134e28c282","abstract_canon_sha256":"f0a174ded10a4bff3eaf0bca07c8705aabd4dc7315c60dbbdc98e40cb1c8d3e6"},"schema_version":"1.0"},"canonical_sha256":"c8f4e919f83fd58200cb84dacc725ec0f2c6ebc518e85b5bd038c16f41195f9e","source":{"kind":"arxiv","id":"1110.1263","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1110.1263","created_at":"2026-05-18T04:11:32Z"},{"alias_kind":"arxiv_version","alias_value":"1110.1263v1","created_at":"2026-05-18T04:11:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.1263","created_at":"2026-05-18T04:11:32Z"},{"alias_kind":"pith_short_12","alias_value":"ZD2OSGPYH7KY","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"ZD2OSGPYH7KYEAGL","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"ZD2OSGPY","created_at":"2026-05-18T12:26:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:ZD2OSGPYH7KYEAGLQTNMY4S6YD","target":"record","payload":{"canonical_record":{"source":{"id":"1110.1263","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-10-06T13:52:34Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"64757b9d8bdb457e4010f9cf20424b7890d09db62ed4bc67180f90134e28c282","abstract_canon_sha256":"f0a174ded10a4bff3eaf0bca07c8705aabd4dc7315c60dbbdc98e40cb1c8d3e6"},"schema_version":"1.0"},"canonical_sha256":"c8f4e919f83fd58200cb84dacc725ec0f2c6ebc518e85b5bd038c16f41195f9e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:11:32.406907Z","signature_b64":"STmAV8ib3asHB7xBXXS+RHL6VM35vRFwyWJCREcd1C3Zs5U0Dcf9Bt7HIICGqiaLneUCl4CEXdbTisNJeuEEBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c8f4e919f83fd58200cb84dacc725ec0f2c6ebc518e85b5bd038c16f41195f9e","last_reissued_at":"2026-05-18T04:11:32.406234Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:11:32.406234Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1110.1263","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-18T04:11:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6Rx7pcwwtAICiB7NXfYabpIdXHqYGCcGUSxH3J8JSK01oqfUA6yLotkfRE76ZHJc9Q5bZ9PO7Vx/uHuKHFhFCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T14:00:00.122833Z"},"content_sha256":"bd15af0fdd1f3a5a7f715e91d6a75c2cf09c0697ad15414b5b49594d18c11b93","schema_version":"1.0","event_id":"sha256:bd15af0fdd1f3a5a7f715e91d6a75c2cf09c0697ad15414b5b49594d18c11b93"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:ZD2OSGPYH7KYEAGLQTNMY4S6YD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Two-Way Automata Making Choices Only at the Endmarkers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.FL","authors_text":"Bruno Guillon, Giovanni Pighizzini, Viliam Geffert","submitted_at":"2011-10-06T13:52:34Z","abstract_excerpt":"The question of the state-size cost for simulation of two-way nondeterministic automata (2NFAs) by two-way deterministic automata (2DFAs) was raised in 1978 and, despite many attempts, it is still open. Subsequently, the problem was attacked by restricting the power of 2DFAs (e.g., using a restricted input head movement) to the degree for which it was already possible to derive some exponential gaps between the weaker model and the standard 2NFAs. Here we use an opposite approach, increasing the power of 2DFAs to the degree for which it is still possible to obtain a subexponential conversion f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.1263","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-18T04:11:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YpbQQ3qXS6K5EQNbmzVa1M0+GSX/TEGDgyjyP9HwNYoFKSMXehA8cTyqZgrHKI8EAzH9rBKLNuMhIwHEHBv7DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T14:00:00.123181Z"},"content_sha256":"26370d64e34173d801723ac6e749d533967c24dafee7611f3966e772973d2e35","schema_version":"1.0","event_id":"sha256:26370d64e34173d801723ac6e749d533967c24dafee7611f3966e772973d2e35"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZD2OSGPYH7KYEAGLQTNMY4S6YD/bundle.json","state_url":"https://pith.science/pith/ZD2OSGPYH7KYEAGLQTNMY4S6YD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZD2OSGPYH7KYEAGLQTNMY4S6YD/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-03T14:00:00Z","links":{"resolver":"https://pith.science/pith/ZD2OSGPYH7KYEAGLQTNMY4S6YD","bundle":"https://pith.science/pith/ZD2OSGPYH7KYEAGLQTNMY4S6YD/bundle.json","state":"https://pith.science/pith/ZD2OSGPYH7KYEAGLQTNMY4S6YD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZD2OSGPYH7KYEAGLQTNMY4S6YD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:ZD2OSGPYH7KYEAGLQTNMY4S6YD","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":"f0a174ded10a4bff3eaf0bca07c8705aabd4dc7315c60dbbdc98e40cb1c8d3e6","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-10-06T13:52:34Z","title_canon_sha256":"64757b9d8bdb457e4010f9cf20424b7890d09db62ed4bc67180f90134e28c282"},"schema_version":"1.0","source":{"id":"1110.1263","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1110.1263","created_at":"2026-05-18T04:11:32Z"},{"alias_kind":"arxiv_version","alias_value":"1110.1263v1","created_at":"2026-05-18T04:11:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.1263","created_at":"2026-05-18T04:11:32Z"},{"alias_kind":"pith_short_12","alias_value":"ZD2OSGPYH7KY","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"ZD2OSGPYH7KYEAGL","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"ZD2OSGPY","created_at":"2026-05-18T12:26:47Z"}],"graph_snapshots":[{"event_id":"sha256:26370d64e34173d801723ac6e749d533967c24dafee7611f3966e772973d2e35","target":"graph","created_at":"2026-05-18T04:11:32Z","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 question of the state-size cost for simulation of two-way nondeterministic automata (2NFAs) by two-way deterministic automata (2DFAs) was raised in 1978 and, despite many attempts, it is still open. Subsequently, the problem was attacked by restricting the power of 2DFAs (e.g., using a restricted input head movement) to the degree for which it was already possible to derive some exponential gaps between the weaker model and the standard 2NFAs. Here we use an opposite approach, increasing the power of 2DFAs to the degree for which it is still possible to obtain a subexponential conversion f","authors_text":"Bruno Guillon, Giovanni Pighizzini, Viliam Geffert","cross_cats":["cs.CC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-10-06T13:52:34Z","title":"Two-Way Automata Making Choices Only at the Endmarkers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.1263","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:bd15af0fdd1f3a5a7f715e91d6a75c2cf09c0697ad15414b5b49594d18c11b93","target":"record","created_at":"2026-05-18T04:11:32Z","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":"f0a174ded10a4bff3eaf0bca07c8705aabd4dc7315c60dbbdc98e40cb1c8d3e6","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-10-06T13:52:34Z","title_canon_sha256":"64757b9d8bdb457e4010f9cf20424b7890d09db62ed4bc67180f90134e28c282"},"schema_version":"1.0","source":{"id":"1110.1263","kind":"arxiv","version":1}},"canonical_sha256":"c8f4e919f83fd58200cb84dacc725ec0f2c6ebc518e85b5bd038c16f41195f9e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c8f4e919f83fd58200cb84dacc725ec0f2c6ebc518e85b5bd038c16f41195f9e","first_computed_at":"2026-05-18T04:11:32.406234Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:11:32.406234Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"STmAV8ib3asHB7xBXXS+RHL6VM35vRFwyWJCREcd1C3Zs5U0Dcf9Bt7HIICGqiaLneUCl4CEXdbTisNJeuEEBA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:11:32.406907Z","signed_message":"canonical_sha256_bytes"},"source_id":"1110.1263","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bd15af0fdd1f3a5a7f715e91d6a75c2cf09c0697ad15414b5b49594d18c11b93","sha256:26370d64e34173d801723ac6e749d533967c24dafee7611f3966e772973d2e35"],"state_sha256":"3744da02d0179bc44c9fa3f90f371f5c61cdf3d7fed31a86b325acb44e754c2f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EtwIjQfjA4dBBeAYN+mwKlhBLDaX72Ax/Dt58HtC2tbVpzzTS3U48pBXZOB7eXEThKIFnFDOyziok15r3NEKBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T14:00:00.125385Z","bundle_sha256":"f8405e53f9b2a8b9884a76524ac9fd09ba9c8877f75b594e12196e157bf0b23f"}}