{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:EJ6P7FXBQ5BQBKKM32I7JLK6UE","short_pith_number":"pith:EJ6P7FXB","canonical_record":{"source":{"id":"1306.3056","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-06-13T08:56:38Z","cross_cats_sorted":[],"title_canon_sha256":"5ffda2a4bdc0f4a9a317ac1caa50043b7a54b7da1a345ee755569696c4f19df7","abstract_canon_sha256":"42c6e3ee7d6db25e094a990c8d2e1e2dbfe9465155067f6a5206ce5b95d7b19c"},"schema_version":"1.0"},"canonical_sha256":"227cff96e1874300a94cde91f4ad5ea137eaf835410cfb6b8cc953dddcfa4669","source":{"kind":"arxiv","id":"1306.3056","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.3056","created_at":"2026-05-18T02:28:32Z"},{"alias_kind":"arxiv_version","alias_value":"1306.3056v2","created_at":"2026-05-18T02:28:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.3056","created_at":"2026-05-18T02:28:32Z"},{"alias_kind":"pith_short_12","alias_value":"EJ6P7FXBQ5BQ","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"EJ6P7FXBQ5BQBKKM","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"EJ6P7FXB","created_at":"2026-05-18T12:27:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:EJ6P7FXBQ5BQBKKM32I7JLK6UE","target":"record","payload":{"canonical_record":{"source":{"id":"1306.3056","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-06-13T08:56:38Z","cross_cats_sorted":[],"title_canon_sha256":"5ffda2a4bdc0f4a9a317ac1caa50043b7a54b7da1a345ee755569696c4f19df7","abstract_canon_sha256":"42c6e3ee7d6db25e094a990c8d2e1e2dbfe9465155067f6a5206ce5b95d7b19c"},"schema_version":"1.0"},"canonical_sha256":"227cff96e1874300a94cde91f4ad5ea137eaf835410cfb6b8cc953dddcfa4669","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:28:32.051205Z","signature_b64":"BxH5kknCnMZ7aDh0omkmkYMq1r1Z9d8eOvkd0fnkX6iPUmyNkPVNDMvHFVziO+ZJaeh0jlG+y+Yp6gIg8nzEBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"227cff96e1874300a94cde91f4ad5ea137eaf835410cfb6b8cc953dddcfa4669","last_reissued_at":"2026-05-18T02:28:32.050540Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:28:32.050540Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1306.3056","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-18T02:28:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Kti6XQT0pOWid/nZ5xmv5J96OnFRNDDJ0gqWYPvgWknSkibWZUfZrlxDCmNsvA95DzwYPZgXCXzSpYNEsKLYAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T19:31:47.587163Z"},"content_sha256":"092a38be6dd186ce1041ac698eba0450a90afc2a9ef3e38e03ccd6094dbadf37","schema_version":"1.0","event_id":"sha256:092a38be6dd186ce1041ac698eba0450a90afc2a9ef3e38e03ccd6094dbadf37"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:EJ6P7FXBQ5BQBKKM32I7JLK6UE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the quantifier-free dynamic complexity of Reachability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Thomas Schwentick, Thomas Zeume","submitted_at":"2013-06-13T08:56:38Z","abstract_excerpt":"The dynamic complexity of the reachability query is studied in the dynamic complexity framework of Patnaik and Immerman, restricted to quantifier-free update formulas.\n  It is shown that, with this restriction, the reachability query cannot be dynamically maintained, neither with binary auxiliary relations nor with unary auxiliary functions, and that ternary auxiliary relations are more powerful with respect to graph queries than binary auxiliary relations.\n  Further inexpressibility results are given for the reachability query in a different setting as well as for a syntactical restriction of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.3056","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-18T02:28:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v62xD18/OADH76BTlTY2fzi8h/WAFMviuNscRIm6fS6Z7lGkXkQViuLspFQr5q72uElfwS9j1g8A+2B/4uIsBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T19:31:47.587525Z"},"content_sha256":"1a26dd6740144d003d16438297f4ef39a386e199f4d5771d45ce1bfa61cce739","schema_version":"1.0","event_id":"sha256:1a26dd6740144d003d16438297f4ef39a386e199f4d5771d45ce1bfa61cce739"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EJ6P7FXBQ5BQBKKM32I7JLK6UE/bundle.json","state_url":"https://pith.science/pith/EJ6P7FXBQ5BQBKKM32I7JLK6UE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EJ6P7FXBQ5BQBKKM32I7JLK6UE/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-03T19:31:47Z","links":{"resolver":"https://pith.science/pith/EJ6P7FXBQ5BQBKKM32I7JLK6UE","bundle":"https://pith.science/pith/EJ6P7FXBQ5BQBKKM32I7JLK6UE/bundle.json","state":"https://pith.science/pith/EJ6P7FXBQ5BQBKKM32I7JLK6UE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EJ6P7FXBQ5BQBKKM32I7JLK6UE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:EJ6P7FXBQ5BQBKKM32I7JLK6UE","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":"42c6e3ee7d6db25e094a990c8d2e1e2dbfe9465155067f6a5206ce5b95d7b19c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-06-13T08:56:38Z","title_canon_sha256":"5ffda2a4bdc0f4a9a317ac1caa50043b7a54b7da1a345ee755569696c4f19df7"},"schema_version":"1.0","source":{"id":"1306.3056","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.3056","created_at":"2026-05-18T02:28:32Z"},{"alias_kind":"arxiv_version","alias_value":"1306.3056v2","created_at":"2026-05-18T02:28:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.3056","created_at":"2026-05-18T02:28:32Z"},{"alias_kind":"pith_short_12","alias_value":"EJ6P7FXBQ5BQ","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"EJ6P7FXBQ5BQBKKM","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"EJ6P7FXB","created_at":"2026-05-18T12:27:43Z"}],"graph_snapshots":[{"event_id":"sha256:1a26dd6740144d003d16438297f4ef39a386e199f4d5771d45ce1bfa61cce739","target":"graph","created_at":"2026-05-18T02:28: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 dynamic complexity of the reachability query is studied in the dynamic complexity framework of Patnaik and Immerman, restricted to quantifier-free update formulas.\n  It is shown that, with this restriction, the reachability query cannot be dynamically maintained, neither with binary auxiliary relations nor with unary auxiliary functions, and that ternary auxiliary relations are more powerful with respect to graph queries than binary auxiliary relations.\n  Further inexpressibility results are given for the reachability query in a different setting as well as for a syntactical restriction of","authors_text":"Thomas Schwentick, Thomas Zeume","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-06-13T08:56:38Z","title":"On the quantifier-free dynamic complexity of Reachability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.3056","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:092a38be6dd186ce1041ac698eba0450a90afc2a9ef3e38e03ccd6094dbadf37","target":"record","created_at":"2026-05-18T02:28: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":"42c6e3ee7d6db25e094a990c8d2e1e2dbfe9465155067f6a5206ce5b95d7b19c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-06-13T08:56:38Z","title_canon_sha256":"5ffda2a4bdc0f4a9a317ac1caa50043b7a54b7da1a345ee755569696c4f19df7"},"schema_version":"1.0","source":{"id":"1306.3056","kind":"arxiv","version":2}},"canonical_sha256":"227cff96e1874300a94cde91f4ad5ea137eaf835410cfb6b8cc953dddcfa4669","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"227cff96e1874300a94cde91f4ad5ea137eaf835410cfb6b8cc953dddcfa4669","first_computed_at":"2026-05-18T02:28:32.050540Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:28:32.050540Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BxH5kknCnMZ7aDh0omkmkYMq1r1Z9d8eOvkd0fnkX6iPUmyNkPVNDMvHFVziO+ZJaeh0jlG+y+Yp6gIg8nzEBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:28:32.051205Z","signed_message":"canonical_sha256_bytes"},"source_id":"1306.3056","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:092a38be6dd186ce1041ac698eba0450a90afc2a9ef3e38e03ccd6094dbadf37","sha256:1a26dd6740144d003d16438297f4ef39a386e199f4d5771d45ce1bfa61cce739"],"state_sha256":"b8fc430580ad42d23914a928cd6a3b6d08987ce7d7def4da55ce8ca12b429670"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JVOjLpmbn57xKHsZGvHuVk6mzTBYY+AiD+LMSOYwDcOPK/XRoMQ/wgqTNa2ITGhQQRSHDueoEx7M+XgSuFLbAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T19:31:47.589639Z","bundle_sha256":"12e3c148f6fd5381e7f034603e2edf8cad926144d0a3f515223b3890a2e1b9b5"}}