{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:KRSZJG6IPY6W6YGMYPLCNYXDBD","short_pith_number":"pith:KRSZJG6I","canonical_record":{"source":{"id":"1808.08806","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-08-23T18:33:36Z","cross_cats_sorted":[],"title_canon_sha256":"81d1ed85172e5efa6ea5738fd40f05f2d010a670b816a11cb457e56b665447f9","abstract_canon_sha256":"e9a762be0e9c4ec7cd161de51fca141932725bfaf0ca60733fa19c97b7288d4a"},"schema_version":"1.0"},"canonical_sha256":"5465949bc87e3d6f60ccc3d626e2e308fbdcb31271b10227e98429a17adb4f65","source":{"kind":"arxiv","id":"1808.08806","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.08806","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"arxiv_version","alias_value":"1808.08806v1","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.08806","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"pith_short_12","alias_value":"KRSZJG6IPY6W","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_16","alias_value":"KRSZJG6IPY6W6YGM","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_8","alias_value":"KRSZJG6I","created_at":"2026-05-18T12:32:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:KRSZJG6IPY6W6YGMYPLCNYXDBD","target":"record","payload":{"canonical_record":{"source":{"id":"1808.08806","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-08-23T18:33:36Z","cross_cats_sorted":[],"title_canon_sha256":"81d1ed85172e5efa6ea5738fd40f05f2d010a670b816a11cb457e56b665447f9","abstract_canon_sha256":"e9a762be0e9c4ec7cd161de51fca141932725bfaf0ca60733fa19c97b7288d4a"},"schema_version":"1.0"},"canonical_sha256":"5465949bc87e3d6f60ccc3d626e2e308fbdcb31271b10227e98429a17adb4f65","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:07:13.179555Z","signature_b64":"qZRsrFn28ZfbfulaYZA+PvgNg85FKJmyjAnKXbmf0KN8Y0wj+TuLfJlsrm/AEXGtw/ZHhoM8Db7FheA7bW21DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5465949bc87e3d6f60ccc3d626e2e308fbdcb31271b10227e98429a17adb4f65","last_reissued_at":"2026-05-18T00:07:13.178957Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:07:13.178957Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.08806","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:07:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N7sbQLw7HRMZzOg7WpNgpXkkTWlKFd8BA92UJlmQulkNl0d2YQ4p0yFJUZeERdUdaRRiw4seLrtM9lkX+QHsDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T09:42:47.847190Z"},"content_sha256":"8aac77191ca034971f82c52a1a4268eb25c0dc1e1b80929dd0bb9ea4693610c2","schema_version":"1.0","event_id":"sha256:8aac77191ca034971f82c52a1a4268eb25c0dc1e1b80929dd0bb9ea4693610c2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:KRSZJG6IPY6W6YGMYPLCNYXDBD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Compact Linearization for Binary Quadratic Problems Comprising Linear Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Sven Mallach","submitted_at":"2018-08-23T18:33:36Z","abstract_excerpt":"In this paper, the compact linearization approach originally proposed for binary quadratic programs with assignment constraints is generalized to such programs with arbitrary linear equations and inequalities that have positive coefficients and right hand sides. Quadratic constraints may exist in addition, and the technique may as well be applied if these impose the only nonlinearities, i.e., the objective function is linear. We present special cases of linear constraints (along with prominent combinatorial optimization problems where these occur) such that the associated compact linearization"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.08806","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:07:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AUC9cngH6jP3RKDB1o+FBiy6fjN5iPFnqIx87eOmZ3/0fMKwkgRKe1yXQSwX+qkB+4Kj0vjuyNzgFp3Qwk0zAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T09:42:47.847607Z"},"content_sha256":"f3c430d2b8c660bfcd8802d4c984092c746b999cbeb0c764a425d051175fa2c8","schema_version":"1.0","event_id":"sha256:f3c430d2b8c660bfcd8802d4c984092c746b999cbeb0c764a425d051175fa2c8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KRSZJG6IPY6W6YGMYPLCNYXDBD/bundle.json","state_url":"https://pith.science/pith/KRSZJG6IPY6W6YGMYPLCNYXDBD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KRSZJG6IPY6W6YGMYPLCNYXDBD/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-05T09:42:47Z","links":{"resolver":"https://pith.science/pith/KRSZJG6IPY6W6YGMYPLCNYXDBD","bundle":"https://pith.science/pith/KRSZJG6IPY6W6YGMYPLCNYXDBD/bundle.json","state":"https://pith.science/pith/KRSZJG6IPY6W6YGMYPLCNYXDBD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KRSZJG6IPY6W6YGMYPLCNYXDBD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:KRSZJG6IPY6W6YGMYPLCNYXDBD","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":"e9a762be0e9c4ec7cd161de51fca141932725bfaf0ca60733fa19c97b7288d4a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-08-23T18:33:36Z","title_canon_sha256":"81d1ed85172e5efa6ea5738fd40f05f2d010a670b816a11cb457e56b665447f9"},"schema_version":"1.0","source":{"id":"1808.08806","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.08806","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"arxiv_version","alias_value":"1808.08806v1","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.08806","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"pith_short_12","alias_value":"KRSZJG6IPY6W","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_16","alias_value":"KRSZJG6IPY6W6YGM","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_8","alias_value":"KRSZJG6I","created_at":"2026-05-18T12:32:33Z"}],"graph_snapshots":[{"event_id":"sha256:f3c430d2b8c660bfcd8802d4c984092c746b999cbeb0c764a425d051175fa2c8","target":"graph","created_at":"2026-05-18T00:07:13Z","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":"In this paper, the compact linearization approach originally proposed for binary quadratic programs with assignment constraints is generalized to such programs with arbitrary linear equations and inequalities that have positive coefficients and right hand sides. Quadratic constraints may exist in addition, and the technique may as well be applied if these impose the only nonlinearities, i.e., the objective function is linear. We present special cases of linear constraints (along with prominent combinatorial optimization problems where these occur) such that the associated compact linearization","authors_text":"Sven Mallach","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-08-23T18:33:36Z","title":"Compact Linearization for Binary Quadratic Problems Comprising Linear Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.08806","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:8aac77191ca034971f82c52a1a4268eb25c0dc1e1b80929dd0bb9ea4693610c2","target":"record","created_at":"2026-05-18T00:07:13Z","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":"e9a762be0e9c4ec7cd161de51fca141932725bfaf0ca60733fa19c97b7288d4a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-08-23T18:33:36Z","title_canon_sha256":"81d1ed85172e5efa6ea5738fd40f05f2d010a670b816a11cb457e56b665447f9"},"schema_version":"1.0","source":{"id":"1808.08806","kind":"arxiv","version":1}},"canonical_sha256":"5465949bc87e3d6f60ccc3d626e2e308fbdcb31271b10227e98429a17adb4f65","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5465949bc87e3d6f60ccc3d626e2e308fbdcb31271b10227e98429a17adb4f65","first_computed_at":"2026-05-18T00:07:13.178957Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:07:13.178957Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qZRsrFn28ZfbfulaYZA+PvgNg85FKJmyjAnKXbmf0KN8Y0wj+TuLfJlsrm/AEXGtw/ZHhoM8Db7FheA7bW21DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:07:13.179555Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.08806","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8aac77191ca034971f82c52a1a4268eb25c0dc1e1b80929dd0bb9ea4693610c2","sha256:f3c430d2b8c660bfcd8802d4c984092c746b999cbeb0c764a425d051175fa2c8"],"state_sha256":"561f6402f27aeaa1a8d36ee8945649327e8ade8170001cf96f57102de20b44dc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d9c5oZPiIqjG9e2sBU19bC2m/RjyKwV6Y7VCKkogrugkozY/3DvptIA7olE6l0fESRzmRTfvn0917ey717bcCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T09:42:47.849619Z","bundle_sha256":"30a8a82f43071c5dbef4a4b7f4f01810a93c435c2578d273848964ed65622c2a"}}