{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:GRDA3MZWMJEYEZ7CUTCL7RNFOR","short_pith_number":"pith:GRDA3MZW","canonical_record":{"source":{"id":"1606.04486","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-14T18:18:58Z","cross_cats_sorted":[],"title_canon_sha256":"06ef8c217cd19ea6a9a157d3824b16d95d444786f5f0bf8e55a8fd6f42587b4b","abstract_canon_sha256":"eaad375d7f6fa9ac22b29514cd4bd7f0fcd16deae36a38558ab3c0a773214704"},"schema_version":"1.0"},"canonical_sha256":"34460db33662498267e2a4c4bfc5a574402a74db288270e4a409fff85eb761aa","source":{"kind":"arxiv","id":"1606.04486","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.04486","created_at":"2026-05-18T01:12:25Z"},{"alias_kind":"arxiv_version","alias_value":"1606.04486v1","created_at":"2026-05-18T01:12:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.04486","created_at":"2026-05-18T01:12:25Z"},{"alias_kind":"pith_short_12","alias_value":"GRDA3MZWMJEY","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"GRDA3MZWMJEYEZ7C","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"GRDA3MZW","created_at":"2026-05-18T12:30:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:GRDA3MZWMJEYEZ7CUTCL7RNFOR","target":"record","payload":{"canonical_record":{"source":{"id":"1606.04486","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-14T18:18:58Z","cross_cats_sorted":[],"title_canon_sha256":"06ef8c217cd19ea6a9a157d3824b16d95d444786f5f0bf8e55a8fd6f42587b4b","abstract_canon_sha256":"eaad375d7f6fa9ac22b29514cd4bd7f0fcd16deae36a38558ab3c0a773214704"},"schema_version":"1.0"},"canonical_sha256":"34460db33662498267e2a4c4bfc5a574402a74db288270e4a409fff85eb761aa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:25.540978Z","signature_b64":"a1AI/pdA577AIjCCymneZePFkhEd6DxEBDF7eh83DtkKocQsOn4UZl1861Bbtdx0+thaJdlvxv1N9MsF8kgCBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"34460db33662498267e2a4c4bfc5a574402a74db288270e4a409fff85eb761aa","last_reissued_at":"2026-05-18T01:12:25.540658Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:25.540658Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.04486","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-18T01:12:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YLL77nYnqkN8rR0BXiZx5pIZAyrx+He5ISvGqMWt4XzDbbzpvVxDV2D+DH6HQ0FJ0bxt11naOUl5rEGa8W8nDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T05:58:16.054403Z"},"content_sha256":"890ffb3eabf88a36254d52f2ba0a8bca2628e9a29ed2f4096d10a049bff3c635","schema_version":"1.0","event_id":"sha256:890ffb3eabf88a36254d52f2ba0a8bca2628e9a29ed2f4096d10a049bff3c635"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:GRDA3MZWMJEYEZ7CUTCL7RNFOR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Lifted Convex Quadratic Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Kristian Kersting, Leonard Kleinhans, Martin Mladenov","submitted_at":"2016-06-14T18:18:58Z","abstract_excerpt":"Symmetry is the essential element of lifted inference that has recently demon- strated the possibility to perform very efficient inference in highly-connected, but symmetric probabilistic models models. This raises the question, whether this holds for optimisation problems in general. Here we show that for a large class of optimisation methods this is actually the case. More precisely, we introduce the concept of fractional symmetries of convex quadratic programs (QPs), which lie at the heart of many machine learning approaches, and exploit it to lift, i.e., to compress QPs. These lifted QPs c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.04486","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-18T01:12:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LTi3mvFsdtqh04ELGAzeHruvktQZhLj140txf7pzT4tUYryyER7MduibYyM7mIHYF0RPiauuIGz0t2RqWIMIAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T05:58:16.054779Z"},"content_sha256":"e7b3a8e8facfebca56b177e6209ade5908a1ad04e00076757def4895363b886f","schema_version":"1.0","event_id":"sha256:e7b3a8e8facfebca56b177e6209ade5908a1ad04e00076757def4895363b886f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GRDA3MZWMJEYEZ7CUTCL7RNFOR/bundle.json","state_url":"https://pith.science/pith/GRDA3MZWMJEYEZ7CUTCL7RNFOR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GRDA3MZWMJEYEZ7CUTCL7RNFOR/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-28T05:58:16Z","links":{"resolver":"https://pith.science/pith/GRDA3MZWMJEYEZ7CUTCL7RNFOR","bundle":"https://pith.science/pith/GRDA3MZWMJEYEZ7CUTCL7RNFOR/bundle.json","state":"https://pith.science/pith/GRDA3MZWMJEYEZ7CUTCL7RNFOR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GRDA3MZWMJEYEZ7CUTCL7RNFOR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:GRDA3MZWMJEYEZ7CUTCL7RNFOR","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":"eaad375d7f6fa9ac22b29514cd4bd7f0fcd16deae36a38558ab3c0a773214704","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-14T18:18:58Z","title_canon_sha256":"06ef8c217cd19ea6a9a157d3824b16d95d444786f5f0bf8e55a8fd6f42587b4b"},"schema_version":"1.0","source":{"id":"1606.04486","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.04486","created_at":"2026-05-18T01:12:25Z"},{"alias_kind":"arxiv_version","alias_value":"1606.04486v1","created_at":"2026-05-18T01:12:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.04486","created_at":"2026-05-18T01:12:25Z"},{"alias_kind":"pith_short_12","alias_value":"GRDA3MZWMJEY","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"GRDA3MZWMJEYEZ7C","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"GRDA3MZW","created_at":"2026-05-18T12:30:19Z"}],"graph_snapshots":[{"event_id":"sha256:e7b3a8e8facfebca56b177e6209ade5908a1ad04e00076757def4895363b886f","target":"graph","created_at":"2026-05-18T01:12:25Z","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":"Symmetry is the essential element of lifted inference that has recently demon- strated the possibility to perform very efficient inference in highly-connected, but symmetric probabilistic models models. This raises the question, whether this holds for optimisation problems in general. Here we show that for a large class of optimisation methods this is actually the case. More precisely, we introduce the concept of fractional symmetries of convex quadratic programs (QPs), which lie at the heart of many machine learning approaches, and exploit it to lift, i.e., to compress QPs. These lifted QPs c","authors_text":"Kristian Kersting, Leonard Kleinhans, Martin Mladenov","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-14T18:18:58Z","title":"Lifted Convex Quadratic Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.04486","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:890ffb3eabf88a36254d52f2ba0a8bca2628e9a29ed2f4096d10a049bff3c635","target":"record","created_at":"2026-05-18T01:12:25Z","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":"eaad375d7f6fa9ac22b29514cd4bd7f0fcd16deae36a38558ab3c0a773214704","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-14T18:18:58Z","title_canon_sha256":"06ef8c217cd19ea6a9a157d3824b16d95d444786f5f0bf8e55a8fd6f42587b4b"},"schema_version":"1.0","source":{"id":"1606.04486","kind":"arxiv","version":1}},"canonical_sha256":"34460db33662498267e2a4c4bfc5a574402a74db288270e4a409fff85eb761aa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"34460db33662498267e2a4c4bfc5a574402a74db288270e4a409fff85eb761aa","first_computed_at":"2026-05-18T01:12:25.540658Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:25.540658Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"a1AI/pdA577AIjCCymneZePFkhEd6DxEBDF7eh83DtkKocQsOn4UZl1861Bbtdx0+thaJdlvxv1N9MsF8kgCBw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:25.540978Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.04486","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:890ffb3eabf88a36254d52f2ba0a8bca2628e9a29ed2f4096d10a049bff3c635","sha256:e7b3a8e8facfebca56b177e6209ade5908a1ad04e00076757def4895363b886f"],"state_sha256":"77da4f73ec5220de2e3ec512dbd6c9078819e7fdab189c551358ae7f67f65200"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SbUy2zpUFurGNv6puIJmwH2+eLlLp71/mbOXpW2V3SDK117BJIA1tG4R1hVUeNClbHMBpVrdV0RL0iJitV4YCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T05:58:16.056789Z","bundle_sha256":"e4af81426dcd3f6071f09084f29ada7501d9d70b4d94cfae7bbca0605bdb1b00"}}