{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:XOTUA3IQULRIENMMC5HPPSN2H6","short_pith_number":"pith:XOTUA3IQ","canonical_record":{"source":{"id":"1704.01736","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-06T07:52:15Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"bbbb81724877f58094ce720751581c2b34754af5ae6b208f21824e8cda47e28f","abstract_canon_sha256":"522470bf8b949c5f276ccad9a00e4669fc6fd8466de080e900a587b40d1e8f63"},"schema_version":"1.0"},"canonical_sha256":"bba7406d10a2e282358c174ef7c9ba3f8065e519b957b0c3d922f8126a377488","source":{"kind":"arxiv","id":"1704.01736","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.01736","created_at":"2026-05-18T00:46:54Z"},{"alias_kind":"arxiv_version","alias_value":"1704.01736v1","created_at":"2026-05-18T00:46:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.01736","created_at":"2026-05-18T00:46:54Z"},{"alias_kind":"pith_short_12","alias_value":"XOTUA3IQULRI","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"XOTUA3IQULRIENMM","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"XOTUA3IQ","created_at":"2026-05-18T12:31:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:XOTUA3IQULRIENMMC5HPPSN2H6","target":"record","payload":{"canonical_record":{"source":{"id":"1704.01736","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-06T07:52:15Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"bbbb81724877f58094ce720751581c2b34754af5ae6b208f21824e8cda47e28f","abstract_canon_sha256":"522470bf8b949c5f276ccad9a00e4669fc6fd8466de080e900a587b40d1e8f63"},"schema_version":"1.0"},"canonical_sha256":"bba7406d10a2e282358c174ef7c9ba3f8065e519b957b0c3d922f8126a377488","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:54.421416Z","signature_b64":"OnO4bCOwdNl9eWNesyencyAf3jp6o7Y7QnwE81Jf8q0k45udbcSa0WhPEgyqBQfwzBJBj16SONMY8vx2T9sCDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bba7406d10a2e282358c174ef7c9ba3f8065e519b957b0c3d922f8126a377488","last_reissued_at":"2026-05-18T00:46:54.420896Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:54.420896Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1704.01736","source_version":1,"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:46:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1e/7cViDs2LdNvk3b9BR6PFVFORNLufdPEtzf8x8lJzAqfnTN9poC4XWpusQ2Cyzmab0E0lJ9PYEJFS4zVG3CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T17:24:02.425882Z"},"content_sha256":"79c7a0048e34f62e527fd7d7e27d5d2fce5f1b4724be26810a5887a13d4aa639","schema_version":"1.0","event_id":"sha256:79c7a0048e34f62e527fd7d7e27d5d2fce5f1b4724be26810a5887a13d4aa639"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:XOTUA3IQULRIENMMC5HPPSN2H6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Generalized Satisfiability Problems via Operator Assignments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.LO","authors_text":"Albert Atserias, Phokion G. Kolaitis, Simone Severini","submitted_at":"2017-04-06T07:52:15Z","abstract_excerpt":"Schaefer introduced a framework for generalized satisfiability problems on the Boolean domain and characterized the computational complexity of such problems. We investigate an algebraization of Schaefer's framework in which the Fourier transform is used to represent constraints by multilinear polynomials in a unique way. The polynomial representation of constraints gives rise to a relaxation of the notion of satisfiability in which the values to variables are linear operators on some Hilbert space. For the case of constraints given by a system of linear equations over the two-element field, t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.01736","kind":"arxiv","version":1},"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:46:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xcxt8hZE9iigXHreAROfC+IUNoY7VCinIfMeJTd4MRs6Eg8dcfKGGzQrSIMopV9Zkl3/gWTWQsqtrUg+ZqNGAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T17:24:02.426233Z"},"content_sha256":"0be7fca451c20255430dfe60acdd104d2a118ff154d453bea1f74fb45358163d","schema_version":"1.0","event_id":"sha256:0be7fca451c20255430dfe60acdd104d2a118ff154d453bea1f74fb45358163d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XOTUA3IQULRIENMMC5HPPSN2H6/bundle.json","state_url":"https://pith.science/pith/XOTUA3IQULRIENMMC5HPPSN2H6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XOTUA3IQULRIENMMC5HPPSN2H6/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-28T17:24:02Z","links":{"resolver":"https://pith.science/pith/XOTUA3IQULRIENMMC5HPPSN2H6","bundle":"https://pith.science/pith/XOTUA3IQULRIENMMC5HPPSN2H6/bundle.json","state":"https://pith.science/pith/XOTUA3IQULRIENMMC5HPPSN2H6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XOTUA3IQULRIENMMC5HPPSN2H6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:XOTUA3IQULRIENMMC5HPPSN2H6","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":"522470bf8b949c5f276ccad9a00e4669fc6fd8466de080e900a587b40d1e8f63","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-06T07:52:15Z","title_canon_sha256":"bbbb81724877f58094ce720751581c2b34754af5ae6b208f21824e8cda47e28f"},"schema_version":"1.0","source":{"id":"1704.01736","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.01736","created_at":"2026-05-18T00:46:54Z"},{"alias_kind":"arxiv_version","alias_value":"1704.01736v1","created_at":"2026-05-18T00:46:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.01736","created_at":"2026-05-18T00:46:54Z"},{"alias_kind":"pith_short_12","alias_value":"XOTUA3IQULRI","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"XOTUA3IQULRIENMM","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"XOTUA3IQ","created_at":"2026-05-18T12:31:56Z"}],"graph_snapshots":[{"event_id":"sha256:0be7fca451c20255430dfe60acdd104d2a118ff154d453bea1f74fb45358163d","target":"graph","created_at":"2026-05-18T00:46:54Z","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":"Schaefer introduced a framework for generalized satisfiability problems on the Boolean domain and characterized the computational complexity of such problems. We investigate an algebraization of Schaefer's framework in which the Fourier transform is used to represent constraints by multilinear polynomials in a unique way. The polynomial representation of constraints gives rise to a relaxation of the notion of satisfiability in which the values to variables are linear operators on some Hilbert space. For the case of constraints given by a system of linear equations over the two-element field, t","authors_text":"Albert Atserias, Phokion G. Kolaitis, Simone Severini","cross_cats":["quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-06T07:52:15Z","title":"Generalized Satisfiability Problems via Operator Assignments"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.01736","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:79c7a0048e34f62e527fd7d7e27d5d2fce5f1b4724be26810a5887a13d4aa639","target":"record","created_at":"2026-05-18T00:46:54Z","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":"522470bf8b949c5f276ccad9a00e4669fc6fd8466de080e900a587b40d1e8f63","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-06T07:52:15Z","title_canon_sha256":"bbbb81724877f58094ce720751581c2b34754af5ae6b208f21824e8cda47e28f"},"schema_version":"1.0","source":{"id":"1704.01736","kind":"arxiv","version":1}},"canonical_sha256":"bba7406d10a2e282358c174ef7c9ba3f8065e519b957b0c3d922f8126a377488","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bba7406d10a2e282358c174ef7c9ba3f8065e519b957b0c3d922f8126a377488","first_computed_at":"2026-05-18T00:46:54.420896Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:46:54.420896Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OnO4bCOwdNl9eWNesyencyAf3jp6o7Y7QnwE81Jf8q0k45udbcSa0WhPEgyqBQfwzBJBj16SONMY8vx2T9sCDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:46:54.421416Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.01736","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:79c7a0048e34f62e527fd7d7e27d5d2fce5f1b4724be26810a5887a13d4aa639","sha256:0be7fca451c20255430dfe60acdd104d2a118ff154d453bea1f74fb45358163d"],"state_sha256":"64a916f73b9e41f74f4ce1ffebcecb85e97473df3163c4c28a35212f799cbb47"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a7+Tpm7R2PlabAWTfkuHpyEsLFmi0L1b660/sUFyE0xTt4hJwp73dAfys7ylCGI+f2mfXqu1T3jSujor6sjGDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T17:24:02.428468Z","bundle_sha256":"1fd33a319c9c0b72f22f43e37f7a44c95cb1d394eb1b1acad70a16ba8e4f639b"}}