{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:GYUXCPV4JZ6UE5EMCSDWYCLXLR","short_pith_number":"pith:GYUXCPV4","canonical_record":{"source":{"id":"1606.02577","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-06-08T14:32:44Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"679718c33b3557ab5434a4bdb0b958f8b8828a990511cac809ec4081d2df61d4","abstract_canon_sha256":"433979f971f38d35de26c7a48c36cd7f32551ed1373bed6edf2f40c513880512"},"schema_version":"1.0"},"canonical_sha256":"3629713ebc4e7d42748c14876c09775c7923a3cafd615606c527ee243dca0078","source":{"kind":"arxiv","id":"1606.02577","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.02577","created_at":"2026-05-18T00:39:47Z"},{"alias_kind":"arxiv_version","alias_value":"1606.02577v2","created_at":"2026-05-18T00:39:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.02577","created_at":"2026-05-18T00:39:47Z"},{"alias_kind":"pith_short_12","alias_value":"GYUXCPV4JZ6U","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"GYUXCPV4JZ6UE5EM","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"GYUXCPV4","created_at":"2026-05-18T12:30:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:GYUXCPV4JZ6UE5EMCSDWYCLXLR","target":"record","payload":{"canonical_record":{"source":{"id":"1606.02577","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-06-08T14:32:44Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"679718c33b3557ab5434a4bdb0b958f8b8828a990511cac809ec4081d2df61d4","abstract_canon_sha256":"433979f971f38d35de26c7a48c36cd7f32551ed1373bed6edf2f40c513880512"},"schema_version":"1.0"},"canonical_sha256":"3629713ebc4e7d42748c14876c09775c7923a3cafd615606c527ee243dca0078","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:47.712458Z","signature_b64":"5PSYwbNqQCHk97dc8mQZacyOg9sncO0BsHsaX6rIqX3nSJCXgB44QfJ3QGI741JEhmY+FNzJwche9ipbFKF/Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3629713ebc4e7d42748c14876c09775c7923a3cafd615606c527ee243dca0078","last_reissued_at":"2026-05-18T00:39:47.711811Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:47.711811Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.02577","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-18T00:39:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QQDc6AZ0FL6tpMb5PpRV72lDQMWn53KQFU7zIVFAljMpE9IyW/XUdQXo5ox5oIHjE4KlEgy5rGTeqWXjqIpkBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T17:18:57.627360Z"},"content_sha256":"fb73d57ea2f428f5323d569ba7c5e101a540f73edd30477651c929d373caf6bf","schema_version":"1.0","event_id":"sha256:fb73d57ea2f428f5323d569ba7c5e101a540f73edd30477651c929d373caf6bf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:GYUXCPV4JZ6UE5EMCSDWYCLXLR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The power of Sherali-Adams relaxations for general-valued CSPs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"cs.CC","authors_text":"Johan Thapper, Stanislav Zivny","submitted_at":"2016-06-08T14:32:44Z","abstract_excerpt":"We give a precise algebraic characterisation of the power of Sherali-Adams relaxations for solvability of valued constraint satisfaction problems to optimality. The condition is that of bounded width which has already been shown to capture the power of local consistency methods for decision CSPs and the power of semidefinite programming for robust approximation of CSPs.\n  Our characterisation has several algorithmic and complexity consequences. On the algorithmic side, we show that several novel and many known valued constraint languages are tractable via the third level of the Sherali-Adams r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.02577","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-18T00:39:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6PvrArhjY6g9xpGIagWmcEd6S60zKsoj9r2WnOreWszhYxzqta0+NhnhZ4KFPlOp1K5r0pzfAnOxHexNYUYyAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T17:18:57.627839Z"},"content_sha256":"5cdc6daf65be463331a263dd4846ac294363bc1a131083e17c6d6c8b34a6f927","schema_version":"1.0","event_id":"sha256:5cdc6daf65be463331a263dd4846ac294363bc1a131083e17c6d6c8b34a6f927"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GYUXCPV4JZ6UE5EMCSDWYCLXLR/bundle.json","state_url":"https://pith.science/pith/GYUXCPV4JZ6UE5EMCSDWYCLXLR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GYUXCPV4JZ6UE5EMCSDWYCLXLR/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-27T17:18:57Z","links":{"resolver":"https://pith.science/pith/GYUXCPV4JZ6UE5EMCSDWYCLXLR","bundle":"https://pith.science/pith/GYUXCPV4JZ6UE5EMCSDWYCLXLR/bundle.json","state":"https://pith.science/pith/GYUXCPV4JZ6UE5EMCSDWYCLXLR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GYUXCPV4JZ6UE5EMCSDWYCLXLR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:GYUXCPV4JZ6UE5EMCSDWYCLXLR","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":"433979f971f38d35de26c7a48c36cd7f32551ed1373bed6edf2f40c513880512","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-06-08T14:32:44Z","title_canon_sha256":"679718c33b3557ab5434a4bdb0b958f8b8828a990511cac809ec4081d2df61d4"},"schema_version":"1.0","source":{"id":"1606.02577","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.02577","created_at":"2026-05-18T00:39:47Z"},{"alias_kind":"arxiv_version","alias_value":"1606.02577v2","created_at":"2026-05-18T00:39:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.02577","created_at":"2026-05-18T00:39:47Z"},{"alias_kind":"pith_short_12","alias_value":"GYUXCPV4JZ6U","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"GYUXCPV4JZ6UE5EM","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"GYUXCPV4","created_at":"2026-05-18T12:30:19Z"}],"graph_snapshots":[{"event_id":"sha256:5cdc6daf65be463331a263dd4846ac294363bc1a131083e17c6d6c8b34a6f927","target":"graph","created_at":"2026-05-18T00:39:47Z","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":"We give a precise algebraic characterisation of the power of Sherali-Adams relaxations for solvability of valued constraint satisfaction problems to optimality. The condition is that of bounded width which has already been shown to capture the power of local consistency methods for decision CSPs and the power of semidefinite programming for robust approximation of CSPs.\n  Our characterisation has several algorithmic and complexity consequences. On the algorithmic side, we show that several novel and many known valued constraint languages are tractable via the third level of the Sherali-Adams r","authors_text":"Johan Thapper, Stanislav Zivny","cross_cats":["cs.DM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-06-08T14:32:44Z","title":"The power of Sherali-Adams relaxations for general-valued CSPs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.02577","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:fb73d57ea2f428f5323d569ba7c5e101a540f73edd30477651c929d373caf6bf","target":"record","created_at":"2026-05-18T00:39:47Z","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":"433979f971f38d35de26c7a48c36cd7f32551ed1373bed6edf2f40c513880512","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-06-08T14:32:44Z","title_canon_sha256":"679718c33b3557ab5434a4bdb0b958f8b8828a990511cac809ec4081d2df61d4"},"schema_version":"1.0","source":{"id":"1606.02577","kind":"arxiv","version":2}},"canonical_sha256":"3629713ebc4e7d42748c14876c09775c7923a3cafd615606c527ee243dca0078","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3629713ebc4e7d42748c14876c09775c7923a3cafd615606c527ee243dca0078","first_computed_at":"2026-05-18T00:39:47.711811Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:47.711811Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5PSYwbNqQCHk97dc8mQZacyOg9sncO0BsHsaX6rIqX3nSJCXgB44QfJ3QGI741JEhmY+FNzJwche9ipbFKF/Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:47.712458Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.02577","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fb73d57ea2f428f5323d569ba7c5e101a540f73edd30477651c929d373caf6bf","sha256:5cdc6daf65be463331a263dd4846ac294363bc1a131083e17c6d6c8b34a6f927"],"state_sha256":"b2dd0129bb681da9b4249543e3279349c15fb0b2149058b9b21f22e852b36252"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"meOs+MRTZM51lIWA8d6FBRxpGKa26Z3HJ6TlsCx8G/2SJ61qjVHOdPih9IXbZWOwdmpG3qq/V9U4YG8BQdoTAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T17:18:57.631028Z","bundle_sha256":"8430012ebb8ab45c51502ae69e928dcf0ccd37bf59822b8c0c721ba7d1bb39e2"}}