{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:PELU6J5W5PPCGY6XI6KZIPSHQQ","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":"6f61ec844a6718367e289e7a6dd4fd08bada24f6464f7e7b0c73942d4db18cd5","cross_cats_sorted":["cs.CC","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-01-23T11:25:50Z","title_canon_sha256":"8ad8fc8ce98e3e314adea72c02e8d296989de14087dbdea416513f29741616f7"},"schema_version":"1.0","source":{"id":"1901.07825","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.07825","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"arxiv_version","alias_value":"1901.07825v1","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.07825","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"pith_short_12","alias_value":"PELU6J5W5PPC","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"PELU6J5W5PPCGY6X","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"PELU6J5W","created_at":"2026-05-18T12:33:24Z"}],"graph_snapshots":[{"event_id":"sha256:3cb976e1dc80b977bffa0160cbf7ccfc6d5309fb871e65131a5010632ffacee0","target":"graph","created_at":"2026-05-17T23:55:39Z","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 consider families of symmetric linear programs (LPs) that decide a property of graphs (or other relational structures) in the sense that, for each size of graph, there is an LP defining a polyhedral lift that separates the integer points corresponding to graphs with the property from those corresponding to graphs without the property. We show that this is equivalent, with at most polynomial blow-up in size, to families of symmetric Boolean circuits with threshold gates. In particular, when we consider polynomial-size LPs, the model is equivalent to definability in a non-uniform version of f","authors_text":"Albert Atserias, Anuj Dawar, Joanna Ochremiak","cross_cats":["cs.CC","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-01-23T11:25:50Z","title":"On the Power of Symmetric Linear Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.07825","kind":"arxiv","version":1},"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:c7d54d62ad042b438ed845a3b2de4e0acc1dc27567b7e77881bcba0d1d602d5e","target":"record","created_at":"2026-05-17T23:55:39Z","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":"6f61ec844a6718367e289e7a6dd4fd08bada24f6464f7e7b0c73942d4db18cd5","cross_cats_sorted":["cs.CC","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-01-23T11:25:50Z","title_canon_sha256":"8ad8fc8ce98e3e314adea72c02e8d296989de14087dbdea416513f29741616f7"},"schema_version":"1.0","source":{"id":"1901.07825","kind":"arxiv","version":1}},"canonical_sha256":"79174f27b6ebde2363d74795943e47840bfa51d3e34b6b7ee49d6d3c02470dcd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"79174f27b6ebde2363d74795943e47840bfa51d3e34b6b7ee49d6d3c02470dcd","first_computed_at":"2026-05-17T23:55:39.645254Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:55:39.645254Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"afRDDTqvIATQ/pazyqO0ydp2hhn12VgWyHpuzt42DTg8AkHcM17xRv5PmiutTxgVmnTgXN0nhTvYV4pnvjjrCg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:55:39.645655Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.07825","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c7d54d62ad042b438ed845a3b2de4e0acc1dc27567b7e77881bcba0d1d602d5e","sha256:3cb976e1dc80b977bffa0160cbf7ccfc6d5309fb871e65131a5010632ffacee0"],"state_sha256":"9e298bfa2456d586e1d257077145b3f399232cf2de26fac55c3cd02c8439c869"}