{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:CXX6LQYZ6RHRTPHDZGNZWBIDQL","short_pith_number":"pith:CXX6LQYZ","canonical_record":{"source":{"id":"1502.05086","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-17T23:02:32Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"cc40bba0d9dc7e675533f4252658053f7a2be492a969fcd0ac35ff59012989ec","abstract_canon_sha256":"4e47fbc84ec79af3bec2755a228acf5912314e74ce6999525f96503b687d3862"},"schema_version":"1.0"},"canonical_sha256":"15efe5c319f44f19bce3c99b9b050382fd7cd0d3041cb4c78637134db6574954","source":{"kind":"arxiv","id":"1502.05086","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.05086","created_at":"2026-05-18T01:13:28Z"},{"alias_kind":"arxiv_version","alias_value":"1502.05086v2","created_at":"2026-05-18T01:13:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.05086","created_at":"2026-05-18T01:13:28Z"},{"alias_kind":"pith_short_12","alias_value":"CXX6LQYZ6RHR","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"CXX6LQYZ6RHRTPHD","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"CXX6LQYZ","created_at":"2026-05-18T12:29:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:CXX6LQYZ6RHRTPHDZGNZWBIDQL","target":"record","payload":{"canonical_record":{"source":{"id":"1502.05086","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-17T23:02:32Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"cc40bba0d9dc7e675533f4252658053f7a2be492a969fcd0ac35ff59012989ec","abstract_canon_sha256":"4e47fbc84ec79af3bec2755a228acf5912314e74ce6999525f96503b687d3862"},"schema_version":"1.0"},"canonical_sha256":"15efe5c319f44f19bce3c99b9b050382fd7cd0d3041cb4c78637134db6574954","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:13:28.728055Z","signature_b64":"RXWj3zpSAyl4CDxefRalo/ql91vts1yLuj2v/My5heaSSYMQ5PujN04YOILSW2bSZelBt8wDts5+kE+WIi6KBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"15efe5c319f44f19bce3c99b9b050382fd7cd0d3041cb4c78637134db6574954","last_reissued_at":"2026-05-18T01:13:28.727657Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:13:28.727657Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.05086","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-18T01:13:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P++ic/F0XTumK9oroUTv2sxKy5q5Q465I1Jjyxv+DiYbh2O0j6bVsTNRiOn3UEeIxlBwryqxeWhMxaJFZwmxCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T04:27:48.387598Z"},"content_sha256":"1e34d3a2fe6dc31526a8535d1c159e3379d14f2482789db3c0f4701c31439329","schema_version":"1.0","event_id":"sha256:1e34d3a2fe6dc31526a8535d1c159e3379d14f2482789db3c0f4701c31439329"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:CXX6LQYZ6RHRTPHDZGNZWBIDQL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Galois Connection for Weighted (Relational) Clones of Infinite Size","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"cs.CC","authors_text":"Peter Fulla, Stanislav Zivny","submitted_at":"2015-02-17T23:02:32Z","abstract_excerpt":"A Galois connection between clones and relational clones on a fixed finite domain is one of the cornerstones of the so-called algebraic approach to the computational complexity of non-uniform Constraint Satisfaction Problems (CSPs). Cohen et al. established a Galois connection between finitely-generated weighted clones and finitely-generated weighted relational clones [SICOMP'13], and asked whether this connection holds in general. We answer this question in the affirmative for weighted (relational) clones with real weights and show that the complexity of the corresponding valued CSPs is prese"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.05086","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-18T01:13:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4qbb1fK+AO/KI3UVgPKyAWnAk9bPq16slrwSx9Hu4BgTbMWOKRzlmwFB7eQuZS8lXDZ4Z4M0wcuJ5b2G12VjBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T04:27:48.387944Z"},"content_sha256":"b5c7a982f01928c87a4c997a15a739faccf0f7893b43932ddcb955b87032a2ee","schema_version":"1.0","event_id":"sha256:b5c7a982f01928c87a4c997a15a739faccf0f7893b43932ddcb955b87032a2ee"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CXX6LQYZ6RHRTPHDZGNZWBIDQL/bundle.json","state_url":"https://pith.science/pith/CXX6LQYZ6RHRTPHDZGNZWBIDQL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CXX6LQYZ6RHRTPHDZGNZWBIDQL/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-03T04:27:48Z","links":{"resolver":"https://pith.science/pith/CXX6LQYZ6RHRTPHDZGNZWBIDQL","bundle":"https://pith.science/pith/CXX6LQYZ6RHRTPHDZGNZWBIDQL/bundle.json","state":"https://pith.science/pith/CXX6LQYZ6RHRTPHDZGNZWBIDQL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CXX6LQYZ6RHRTPHDZGNZWBIDQL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:CXX6LQYZ6RHRTPHDZGNZWBIDQL","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":"4e47fbc84ec79af3bec2755a228acf5912314e74ce6999525f96503b687d3862","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-17T23:02:32Z","title_canon_sha256":"cc40bba0d9dc7e675533f4252658053f7a2be492a969fcd0ac35ff59012989ec"},"schema_version":"1.0","source":{"id":"1502.05086","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.05086","created_at":"2026-05-18T01:13:28Z"},{"alias_kind":"arxiv_version","alias_value":"1502.05086v2","created_at":"2026-05-18T01:13:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.05086","created_at":"2026-05-18T01:13:28Z"},{"alias_kind":"pith_short_12","alias_value":"CXX6LQYZ6RHR","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"CXX6LQYZ6RHRTPHD","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"CXX6LQYZ","created_at":"2026-05-18T12:29:17Z"}],"graph_snapshots":[{"event_id":"sha256:b5c7a982f01928c87a4c997a15a739faccf0f7893b43932ddcb955b87032a2ee","target":"graph","created_at":"2026-05-18T01:13:28Z","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":"A Galois connection between clones and relational clones on a fixed finite domain is one of the cornerstones of the so-called algebraic approach to the computational complexity of non-uniform Constraint Satisfaction Problems (CSPs). Cohen et al. established a Galois connection between finitely-generated weighted clones and finitely-generated weighted relational clones [SICOMP'13], and asked whether this connection holds in general. We answer this question in the affirmative for weighted (relational) clones with real weights and show that the complexity of the corresponding valued CSPs is prese","authors_text":"Peter Fulla, Stanislav Zivny","cross_cats":["cs.DM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-17T23:02:32Z","title":"A Galois Connection for Weighted (Relational) Clones of Infinite Size"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.05086","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:1e34d3a2fe6dc31526a8535d1c159e3379d14f2482789db3c0f4701c31439329","target":"record","created_at":"2026-05-18T01:13:28Z","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":"4e47fbc84ec79af3bec2755a228acf5912314e74ce6999525f96503b687d3862","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-17T23:02:32Z","title_canon_sha256":"cc40bba0d9dc7e675533f4252658053f7a2be492a969fcd0ac35ff59012989ec"},"schema_version":"1.0","source":{"id":"1502.05086","kind":"arxiv","version":2}},"canonical_sha256":"15efe5c319f44f19bce3c99b9b050382fd7cd0d3041cb4c78637134db6574954","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"15efe5c319f44f19bce3c99b9b050382fd7cd0d3041cb4c78637134db6574954","first_computed_at":"2026-05-18T01:13:28.727657Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:13:28.727657Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RXWj3zpSAyl4CDxefRalo/ql91vts1yLuj2v/My5heaSSYMQ5PujN04YOILSW2bSZelBt8wDts5+kE+WIi6KBg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:13:28.728055Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.05086","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1e34d3a2fe6dc31526a8535d1c159e3379d14f2482789db3c0f4701c31439329","sha256:b5c7a982f01928c87a4c997a15a739faccf0f7893b43932ddcb955b87032a2ee"],"state_sha256":"b044d55592ebefa42bcdbc1b7884b878e223ff45efedcfc4d6530d82ff5c34a2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"opE42n7Oadq6E5G0qgFNdDFzvepZ9b/8pRl5sT9Hu8uTjIyC2iCYnEv82TvKq0HwUFEwPY6zT9gJK3u44jLlAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T04:27:48.389935Z","bundle_sha256":"9a20a3f7d5b11e00e844d147c039a281303973a829a3643d5a2bdcc0fd9b19cc"}}