{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:4QGIOLZQ3CJQ75TBIWB5IM2WGH","short_pith_number":"pith:4QGIOLZQ","canonical_record":{"source":{"id":"1003.3047","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-03-15T23:16:02Z","cross_cats_sorted":["cs.DM","math.CO"],"title_canon_sha256":"53a57199d2d0c7db7785d9ec398e6ad20555debe52751d4304c99f46e88aa4e5","abstract_canon_sha256":"584cd94c866087b6290ac09a67f82442313f872cf10690de4f00853a167cd9d6"},"schema_version":"1.0"},"canonical_sha256":"e40c872f30d8930ff6614583d4335631efec2c450c1aa61c0c5ce7b2ac6d2ff3","source":{"kind":"arxiv","id":"1003.3047","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1003.3047","created_at":"2026-05-18T02:24:37Z"},{"alias_kind":"arxiv_version","alias_value":"1003.3047v2","created_at":"2026-05-18T02:24:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1003.3047","created_at":"2026-05-18T02:24:37Z"},{"alias_kind":"pith_short_12","alias_value":"4QGIOLZQ3CJQ","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_16","alias_value":"4QGIOLZQ3CJQ75TB","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_8","alias_value":"4QGIOLZQ","created_at":"2026-05-18T12:26:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:4QGIOLZQ3CJQ75TBIWB5IM2WGH","target":"record","payload":{"canonical_record":{"source":{"id":"1003.3047","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-03-15T23:16:02Z","cross_cats_sorted":["cs.DM","math.CO"],"title_canon_sha256":"53a57199d2d0c7db7785d9ec398e6ad20555debe52751d4304c99f46e88aa4e5","abstract_canon_sha256":"584cd94c866087b6290ac09a67f82442313f872cf10690de4f00853a167cd9d6"},"schema_version":"1.0"},"canonical_sha256":"e40c872f30d8930ff6614583d4335631efec2c450c1aa61c0c5ce7b2ac6d2ff3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:24:37.043036Z","signature_b64":"Aah8cGz/jU7Ot3rOGywxlrbcaB5rkACzraDWxT/CoU+ufvSQSYQ1541bOPNDP/z/opqHdwUHc3L13DE2+3mkBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e40c872f30d8930ff6614583d4335631efec2c450c1aa61c0c5ce7b2ac6d2ff3","last_reissued_at":"2026-05-18T02:24:37.042404Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:24:37.042404Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1003.3047","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:24:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XaAKENCTDXSQtHlIds2pU9un1Mrt2UDBkd0GDjhPnzhDJH9zj7BhbX0kDkzRU68SO/L36F8TCepklS9soyMODw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T09:16:29.394620Z"},"content_sha256":"3ca56fad9ace0d8f5652197432e9b14cc87e9ed4230be06f68c147a211357279","schema_version":"1.0","event_id":"sha256:3ca56fad9ace0d8f5652197432e9b14cc87e9ed4230be06f68c147a211357279"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:4QGIOLZQ3CJQ75TBIWB5IM2WGH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Relative Strength of Pebbling and Resolution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","math.CO"],"primary_cat":"cs.CC","authors_text":"Jakob Nordstr\\\"om","submitted_at":"2010-03-15T23:16:02Z","abstract_excerpt":"The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven a useful tool for studying resolution-based proof systems when comparing the strength of different subsystems, showing bounds on proof space, and establishing size-space trade-offs. The typical approach has been to encode the pebble game played on a graph as a CNF formula and then argue that proofs of this formula must inherit (various aspects of) the pebbling properties of the underlying graph. Unfortunately, the reductions used here are not tight. To simulate resolution proo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1003.3047","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:24:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tDSdUpUU3mNmc1VefJaNMxSAiAAEJeaIAztzU9cokwbLznpYy6ImrFvFbeJuCaasb66in2xSj7FDahTD3MS4CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T09:16:29.395288Z"},"content_sha256":"3e2c81790d79301267e3233c9bf473e8e8da56e92a15a983798fc47d1fc4422a","schema_version":"1.0","event_id":"sha256:3e2c81790d79301267e3233c9bf473e8e8da56e92a15a983798fc47d1fc4422a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4QGIOLZQ3CJQ75TBIWB5IM2WGH/bundle.json","state_url":"https://pith.science/pith/4QGIOLZQ3CJQ75TBIWB5IM2WGH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4QGIOLZQ3CJQ75TBIWB5IM2WGH/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-09T09:16:29Z","links":{"resolver":"https://pith.science/pith/4QGIOLZQ3CJQ75TBIWB5IM2WGH","bundle":"https://pith.science/pith/4QGIOLZQ3CJQ75TBIWB5IM2WGH/bundle.json","state":"https://pith.science/pith/4QGIOLZQ3CJQ75TBIWB5IM2WGH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4QGIOLZQ3CJQ75TBIWB5IM2WGH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:4QGIOLZQ3CJQ75TBIWB5IM2WGH","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":"584cd94c866087b6290ac09a67f82442313f872cf10690de4f00853a167cd9d6","cross_cats_sorted":["cs.DM","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-03-15T23:16:02Z","title_canon_sha256":"53a57199d2d0c7db7785d9ec398e6ad20555debe52751d4304c99f46e88aa4e5"},"schema_version":"1.0","source":{"id":"1003.3047","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1003.3047","created_at":"2026-05-18T02:24:37Z"},{"alias_kind":"arxiv_version","alias_value":"1003.3047v2","created_at":"2026-05-18T02:24:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1003.3047","created_at":"2026-05-18T02:24:37Z"},{"alias_kind":"pith_short_12","alias_value":"4QGIOLZQ3CJQ","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_16","alias_value":"4QGIOLZQ3CJQ75TB","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_8","alias_value":"4QGIOLZQ","created_at":"2026-05-18T12:26:04Z"}],"graph_snapshots":[{"event_id":"sha256:3e2c81790d79301267e3233c9bf473e8e8da56e92a15a983798fc47d1fc4422a","target":"graph","created_at":"2026-05-18T02:24:37Z","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 last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven a useful tool for studying resolution-based proof systems when comparing the strength of different subsystems, showing bounds on proof space, and establishing size-space trade-offs. The typical approach has been to encode the pebble game played on a graph as a CNF formula and then argue that proofs of this formula must inherit (various aspects of) the pebbling properties of the underlying graph. Unfortunately, the reductions used here are not tight. To simulate resolution proo","authors_text":"Jakob Nordstr\\\"om","cross_cats":["cs.DM","math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-03-15T23:16:02Z","title":"On the Relative Strength of Pebbling and Resolution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1003.3047","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:3ca56fad9ace0d8f5652197432e9b14cc87e9ed4230be06f68c147a211357279","target":"record","created_at":"2026-05-18T02:24:37Z","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":"584cd94c866087b6290ac09a67f82442313f872cf10690de4f00853a167cd9d6","cross_cats_sorted":["cs.DM","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-03-15T23:16:02Z","title_canon_sha256":"53a57199d2d0c7db7785d9ec398e6ad20555debe52751d4304c99f46e88aa4e5"},"schema_version":"1.0","source":{"id":"1003.3047","kind":"arxiv","version":2}},"canonical_sha256":"e40c872f30d8930ff6614583d4335631efec2c450c1aa61c0c5ce7b2ac6d2ff3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e40c872f30d8930ff6614583d4335631efec2c450c1aa61c0c5ce7b2ac6d2ff3","first_computed_at":"2026-05-18T02:24:37.042404Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:24:37.042404Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Aah8cGz/jU7Ot3rOGywxlrbcaB5rkACzraDWxT/CoU+ufvSQSYQ1541bOPNDP/z/opqHdwUHc3L13DE2+3mkBg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:24:37.043036Z","signed_message":"canonical_sha256_bytes"},"source_id":"1003.3047","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3ca56fad9ace0d8f5652197432e9b14cc87e9ed4230be06f68c147a211357279","sha256:3e2c81790d79301267e3233c9bf473e8e8da56e92a15a983798fc47d1fc4422a"],"state_sha256":"3eaa13f97b81f0f5903cacf14d32e42d4e0b8ca667166188c3c9ab12601bfa8e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NVdbIKQRmlj4FjlxbJ91hTc1gLMcQs0+JmvXmq8uuerwngxkvconYRuh/i+QIeENLDszO4oGH4LwxI5/9XynAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T09:16:29.399033Z","bundle_sha256":"9014e68b37555563ad9eab6caa666a29f371d84f2a9ae240dd56123d979473a8"}}