{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:GVBTNUKD4LXQ576DCO3N4ZRVTP","short_pith_number":"pith:GVBTNUKD","canonical_record":{"source":{"id":"1602.00477","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-01T11:19:29Z","cross_cats_sorted":[],"title_canon_sha256":"be82b0a5e6a20eb6be3d24551ab3dbd242455fd6a48e82df0421cade6c18dae2","abstract_canon_sha256":"d30957a5da92f731140436d6ce7764bb513f90040829e9b00650ada7bd8e4048"},"schema_version":"1.0"},"canonical_sha256":"354336d143e2ef0effc313b6de66359bd7dab49e81e209d115c584bd64587fc8","source":{"kind":"arxiv","id":"1602.00477","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.00477","created_at":"2026-05-18T01:15:32Z"},{"alias_kind":"arxiv_version","alias_value":"1602.00477v2","created_at":"2026-05-18T01:15:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.00477","created_at":"2026-05-18T01:15:32Z"},{"alias_kind":"pith_short_12","alias_value":"GVBTNUKD4LXQ","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"GVBTNUKD4LXQ576D","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"GVBTNUKD","created_at":"2026-05-18T12:30:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:GVBTNUKD4LXQ576DCO3N4ZRVTP","target":"record","payload":{"canonical_record":{"source":{"id":"1602.00477","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-01T11:19:29Z","cross_cats_sorted":[],"title_canon_sha256":"be82b0a5e6a20eb6be3d24551ab3dbd242455fd6a48e82df0421cade6c18dae2","abstract_canon_sha256":"d30957a5da92f731140436d6ce7764bb513f90040829e9b00650ada7bd8e4048"},"schema_version":"1.0"},"canonical_sha256":"354336d143e2ef0effc313b6de66359bd7dab49e81e209d115c584bd64587fc8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:15:32.064528Z","signature_b64":"mA70uQfDqda3shmT1pdnip0xiVeDcbup8EcnDh9xjahQCacYonlwWDGgVi3XM4JNRGgVbp2ZMkb3YdXRPFKdAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"354336d143e2ef0effc313b6de66359bd7dab49e81e209d115c584bd64587fc8","last_reissued_at":"2026-05-18T01:15:32.063784Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:15:32.063784Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.00477","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-05-18T01:15:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O29bylPYSB08OmNkgNwcfbXGTolt0s/19pFkuVDbW0hz0acOvCO5AGWCyu3kY4omR8IUOLxcsR+e3nGdtCPWCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T21:37:46.267648Z"},"content_sha256":"c4d84bdc7dd16bc8b2e0dcc36eab5bd083de9093cd6975748469b945beb75dff","schema_version":"1.0","event_id":"sha256:c4d84bdc7dd16bc8b2e0dcc36eab5bd083de9093cd6975748469b945beb75dff"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:GVBTNUKD4LXQ576DCO3N4ZRVTP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Matthias Englert, Patrick Totzke, Ranko Lazi\\'c","submitted_at":"2016-02-01T11:19:29Z","abstract_excerpt":"Blondin et al. showed at LICS 2015 that two-dimensional vector addition systems with states have reachability witnesses of length exponential in the number of states and polynomial in the norm of vectors. The resulting guess-and-verify algorithm is optimal (PSPACE), but only if the input vectors are given in binary. We answer positively the main question left open by their work, namely establish that reachability witnesses of pseudo-polynomial length always exist. Hence, when the input vectors are given in unary, the improved guess-and-verify algorithm requires only logarithmic space."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.00477","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":""},"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-18T01:15:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gw1cMGoEneEISpKfa6S48Egy+NGmmUu33EW+fFS7m5clP5b6c1YoSLgiPrPGasmo1ftFQlch7W3HB0NFIi6OCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T21:37:46.268010Z"},"content_sha256":"338ee3b51e851527554307f128afb5c2a03ee3682b500386a76d613dd3c60338","schema_version":"1.0","event_id":"sha256:338ee3b51e851527554307f128afb5c2a03ee3682b500386a76d613dd3c60338"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GVBTNUKD4LXQ576DCO3N4ZRVTP/bundle.json","state_url":"https://pith.science/pith/GVBTNUKD4LXQ576DCO3N4ZRVTP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GVBTNUKD4LXQ576DCO3N4ZRVTP/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-05-27T21:37:46Z","links":{"resolver":"https://pith.science/pith/GVBTNUKD4LXQ576DCO3N4ZRVTP","bundle":"https://pith.science/pith/GVBTNUKD4LXQ576DCO3N4ZRVTP/bundle.json","state":"https://pith.science/pith/GVBTNUKD4LXQ576DCO3N4ZRVTP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GVBTNUKD4LXQ576DCO3N4ZRVTP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:GVBTNUKD4LXQ576DCO3N4ZRVTP","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":"d30957a5da92f731140436d6ce7764bb513f90040829e9b00650ada7bd8e4048","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-01T11:19:29Z","title_canon_sha256":"be82b0a5e6a20eb6be3d24551ab3dbd242455fd6a48e82df0421cade6c18dae2"},"schema_version":"1.0","source":{"id":"1602.00477","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.00477","created_at":"2026-05-18T01:15:32Z"},{"alias_kind":"arxiv_version","alias_value":"1602.00477v2","created_at":"2026-05-18T01:15:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.00477","created_at":"2026-05-18T01:15:32Z"},{"alias_kind":"pith_short_12","alias_value":"GVBTNUKD4LXQ","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"GVBTNUKD4LXQ576D","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"GVBTNUKD","created_at":"2026-05-18T12:30:19Z"}],"graph_snapshots":[{"event_id":"sha256:338ee3b51e851527554307f128afb5c2a03ee3682b500386a76d613dd3c60338","target":"graph","created_at":"2026-05-18T01:15: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":"Blondin et al. showed at LICS 2015 that two-dimensional vector addition systems with states have reachability witnesses of length exponential in the number of states and polynomial in the norm of vectors. The resulting guess-and-verify algorithm is optimal (PSPACE), but only if the input vectors are given in binary. We answer positively the main question left open by their work, namely establish that reachability witnesses of pseudo-polynomial length always exist. Hence, when the input vectors are given in unary, the improved guess-and-verify algorithm requires only logarithmic space.","authors_text":"Matthias Englert, Patrick Totzke, Ranko Lazi\\'c","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-01T11:19:29Z","title":"Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.00477","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:c4d84bdc7dd16bc8b2e0dcc36eab5bd083de9093cd6975748469b945beb75dff","target":"record","created_at":"2026-05-18T01:15: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":"d30957a5da92f731140436d6ce7764bb513f90040829e9b00650ada7bd8e4048","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-01T11:19:29Z","title_canon_sha256":"be82b0a5e6a20eb6be3d24551ab3dbd242455fd6a48e82df0421cade6c18dae2"},"schema_version":"1.0","source":{"id":"1602.00477","kind":"arxiv","version":2}},"canonical_sha256":"354336d143e2ef0effc313b6de66359bd7dab49e81e209d115c584bd64587fc8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"354336d143e2ef0effc313b6de66359bd7dab49e81e209d115c584bd64587fc8","first_computed_at":"2026-05-18T01:15:32.063784Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:15:32.063784Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mA70uQfDqda3shmT1pdnip0xiVeDcbup8EcnDh9xjahQCacYonlwWDGgVi3XM4JNRGgVbp2ZMkb3YdXRPFKdAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:15:32.064528Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.00477","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c4d84bdc7dd16bc8b2e0dcc36eab5bd083de9093cd6975748469b945beb75dff","sha256:338ee3b51e851527554307f128afb5c2a03ee3682b500386a76d613dd3c60338"],"state_sha256":"8b80caba57a2ca2b9e5c5db520014cd97838aef38b8cc12dc6a20fada20586bc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZHMoPhGfvgD6hxF128YRIgK5Jin/KP80VTDc7pwBJ4TqDf7McdJ4TSzsJ92ftbXtpt58GcNrjThcinrplikyAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T21:37:46.270612Z","bundle_sha256":"a7e2cc3b1bff54f73d82e308e4170fc5d0b1eea86ac27d12c1ee47e000cddb77"}}