{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:73ZILREEHAULC3UBBWVF42RPIA","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":"7d8f5b345b0218b22ce65e91fa78448f2f740b521fa46d8ba0a82e5634dab4a0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2022-05-04T16:36:23Z","title_canon_sha256":"9ae6c6cad6b52518bb168d48b7614afb8f2e5bb5a3b7f5ced5ccd67ce211fda2"},"schema_version":"1.0","source":{"id":"2205.02168","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.02168","created_at":"2026-07-05T08:54:00Z"},{"alias_kind":"arxiv_version","alias_value":"2205.02168v3","created_at":"2026-07-05T08:54:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.02168","created_at":"2026-07-05T08:54:00Z"},{"alias_kind":"pith_short_12","alias_value":"73ZILREEHAUL","created_at":"2026-07-05T08:54:00Z"},{"alias_kind":"pith_short_16","alias_value":"73ZILREEHAULC3UB","created_at":"2026-07-05T08:54:00Z"},{"alias_kind":"pith_short_8","alias_value":"73ZILREE","created_at":"2026-07-05T08:54:00Z"}],"graph_snapshots":[{"event_id":"sha256:0d8f2484c45caebda5fce32a3f52f86ddba65eb39a8f952c9101f52b93831b11","target":"graph","created_at":"2026-07-05T08:54:00Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2205.02168/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"It is well-known that Resolution proofs can be efficiently simulated by Sherali-Adams (SA) proofs. We show, however, that any such simulation needs to exploit huge coefficients: Resolution cannot be efficiently simulated by SA when the coefficients are written in unary. We also show that Reversible Resolution (a variant of MaxSAT Resolution) cannot be efficiently simulated by Nullstellensatz (NS).\n  These results have consequences for total NP search problems. First, we characterise the classes PPADS, PPAD, SOPL by unary-SA, unary-NS, and Reversible Resolution, respectively. Second, we show th","authors_text":"Alexandros Hollender, Gilbert Maystre, Mika G\\\"o\\\"os, Ran Tao, Robert Robere, Siddhartha Jain, William Pires","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2022-05-04T16:36:23Z","title":"Separations in Proof Complexity and TFNP"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.02168","kind":"arxiv","version":3},"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:821ec9828e8f162248b9baa6d97b218555163d6251cdbb82448fe1f432907927","target":"record","created_at":"2026-07-05T08:54:00Z","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":"7d8f5b345b0218b22ce65e91fa78448f2f740b521fa46d8ba0a82e5634dab4a0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2022-05-04T16:36:23Z","title_canon_sha256":"9ae6c6cad6b52518bb168d48b7614afb8f2e5bb5a3b7f5ced5ccd67ce211fda2"},"schema_version":"1.0","source":{"id":"2205.02168","kind":"arxiv","version":3}},"canonical_sha256":"fef285c4843828b16e810daa5e6a2f4018c432b7e0751af82e298b69a6cb8999","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fef285c4843828b16e810daa5e6a2f4018c432b7e0751af82e298b69a6cb8999","first_computed_at":"2026-07-05T08:54:00.125804Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:54:00.125804Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"a33qPcioOPmFsX0YxR8nxZz1rr6UnTUeDV/dWwcs3g75lD1Dx1h9hjf4OvtKdoHBzn9uGv62YihQV2tpilWGCA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:54:00.126225Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.02168","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:821ec9828e8f162248b9baa6d97b218555163d6251cdbb82448fe1f432907927","sha256:0d8f2484c45caebda5fce32a3f52f86ddba65eb39a8f952c9101f52b93831b11"],"state_sha256":"af306ac217c83230eec50233c110b8a07befaf1553339b753eaff5219e098374"}