{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:LXD4C7ZEAHX6FSHC42GS5RYHSJ","short_pith_number":"pith:LXD4C7ZE","canonical_record":{"source":{"id":"1610.05375","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-10-17T23:14:32Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"0c4e959329d53963dd3aa1e0283d623d0284c351235dc5aa39ad902e5657e47b","abstract_canon_sha256":"63de535dbab1d18cbb17133b4c183b5ea1f9a1e614adbfe86bd131b92c3846bf"},"schema_version":"1.0"},"canonical_sha256":"5dc7c17f2401efe2c8e2e68d2ec70792598927ad3793563e37dd9a8baae24b10","source":{"kind":"arxiv","id":"1610.05375","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.05375","created_at":"2026-05-18T01:00:18Z"},{"alias_kind":"arxiv_version","alias_value":"1610.05375v2","created_at":"2026-05-18T01:00:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.05375","created_at":"2026-05-18T01:00:18Z"},{"alias_kind":"pith_short_12","alias_value":"LXD4C7ZEAHX6","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_16","alias_value":"LXD4C7ZEAHX6FSHC","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_8","alias_value":"LXD4C7ZE","created_at":"2026-05-18T12:30:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:LXD4C7ZEAHX6FSHC42GS5RYHSJ","target":"record","payload":{"canonical_record":{"source":{"id":"1610.05375","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-10-17T23:14:32Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"0c4e959329d53963dd3aa1e0283d623d0284c351235dc5aa39ad902e5657e47b","abstract_canon_sha256":"63de535dbab1d18cbb17133b4c183b5ea1f9a1e614adbfe86bd131b92c3846bf"},"schema_version":"1.0"},"canonical_sha256":"5dc7c17f2401efe2c8e2e68d2ec70792598927ad3793563e37dd9a8baae24b10","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:00:18.918439Z","signature_b64":"EMNhEmeNhpw+wJoppnqDN5TeUD7Cvn6FCvs7NUTwQaCHTVTCKwLQJdp+cX0MX0uLHWOW3PRMZzhPklHbPeMACw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5dc7c17f2401efe2c8e2e68d2ec70792598927ad3793563e37dd9a8baae24b10","last_reissued_at":"2026-05-18T01:00:18.917754Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:00:18.917754Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1610.05375","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:00:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xLil6TPGrEWlagDEBOBRT/s+3HfQKcfEgE7PN10PDt+R4lCQj2T3d2b8CGMJLz70mQpfjzSs7+h2z1hPK9aSCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T08:03:27.424182Z"},"content_sha256":"23dd5bdfb85609fc97f492c14b127ea8ed8c39bae23398e76d9b060f2564b30e","schema_version":"1.0","event_id":"sha256:23dd5bdfb85609fc97f492c14b127ea8ed8c39bae23398e76d9b060f2564b30e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:LXD4C7ZEAHX6FSHC42GS5RYHSJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Compact Linearization for Binary Quadratic Problems subject to Assignment Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"math.OC","authors_text":"Sven Mallach","submitted_at":"2016-10-17T23:14:32Z","abstract_excerpt":"We prove new necessary and sufficient conditions to carry out a compact linearization approach for a general class of binary quadratic problems subject to assignment constraints as it has been proposed by Liberti in 2007. The new conditions resolve inconsistencies that can occur when the original method is used. We also present a mixed-integer linear program to compute a minimally-sized linearization. When all the assignment constraints have non-overlapping variable support, this program is shown to have a totally unimodular constraint matrix. Finally, we give a polynomial-time combinatorial a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.05375","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:00:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pUBVR8vQqqCJTAqAM352lLAuHcwiA2XIXMmcMILWKB1B51EAlFukqvPLDVoY7F9uPTDP8xIpedkgGyyesmjFAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T08:03:27.424554Z"},"content_sha256":"2838c42490c3e9031e330903ca06a79a34b62d2ed55740d2fdddae66e99595bb","schema_version":"1.0","event_id":"sha256:2838c42490c3e9031e330903ca06a79a34b62d2ed55740d2fdddae66e99595bb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LXD4C7ZEAHX6FSHC42GS5RYHSJ/bundle.json","state_url":"https://pith.science/pith/LXD4C7ZEAHX6FSHC42GS5RYHSJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LXD4C7ZEAHX6FSHC42GS5RYHSJ/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-05T08:03:27Z","links":{"resolver":"https://pith.science/pith/LXD4C7ZEAHX6FSHC42GS5RYHSJ","bundle":"https://pith.science/pith/LXD4C7ZEAHX6FSHC42GS5RYHSJ/bundle.json","state":"https://pith.science/pith/LXD4C7ZEAHX6FSHC42GS5RYHSJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LXD4C7ZEAHX6FSHC42GS5RYHSJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:LXD4C7ZEAHX6FSHC42GS5RYHSJ","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":"63de535dbab1d18cbb17133b4c183b5ea1f9a1e614adbfe86bd131b92c3846bf","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-10-17T23:14:32Z","title_canon_sha256":"0c4e959329d53963dd3aa1e0283d623d0284c351235dc5aa39ad902e5657e47b"},"schema_version":"1.0","source":{"id":"1610.05375","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.05375","created_at":"2026-05-18T01:00:18Z"},{"alias_kind":"arxiv_version","alias_value":"1610.05375v2","created_at":"2026-05-18T01:00:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.05375","created_at":"2026-05-18T01:00:18Z"},{"alias_kind":"pith_short_12","alias_value":"LXD4C7ZEAHX6","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_16","alias_value":"LXD4C7ZEAHX6FSHC","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_8","alias_value":"LXD4C7ZE","created_at":"2026-05-18T12:30:29Z"}],"graph_snapshots":[{"event_id":"sha256:2838c42490c3e9031e330903ca06a79a34b62d2ed55740d2fdddae66e99595bb","target":"graph","created_at":"2026-05-18T01:00:18Z","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 prove new necessary and sufficient conditions to carry out a compact linearization approach for a general class of binary quadratic problems subject to assignment constraints as it has been proposed by Liberti in 2007. The new conditions resolve inconsistencies that can occur when the original method is used. We also present a mixed-integer linear program to compute a minimally-sized linearization. When all the assignment constraints have non-overlapping variable support, this program is shown to have a totally unimodular constraint matrix. Finally, we give a polynomial-time combinatorial a","authors_text":"Sven Mallach","cross_cats":["cs.DM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-10-17T23:14:32Z","title":"Compact Linearization for Binary Quadratic Problems subject to Assignment Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.05375","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:23dd5bdfb85609fc97f492c14b127ea8ed8c39bae23398e76d9b060f2564b30e","target":"record","created_at":"2026-05-18T01:00:18Z","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":"63de535dbab1d18cbb17133b4c183b5ea1f9a1e614adbfe86bd131b92c3846bf","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-10-17T23:14:32Z","title_canon_sha256":"0c4e959329d53963dd3aa1e0283d623d0284c351235dc5aa39ad902e5657e47b"},"schema_version":"1.0","source":{"id":"1610.05375","kind":"arxiv","version":2}},"canonical_sha256":"5dc7c17f2401efe2c8e2e68d2ec70792598927ad3793563e37dd9a8baae24b10","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5dc7c17f2401efe2c8e2e68d2ec70792598927ad3793563e37dd9a8baae24b10","first_computed_at":"2026-05-18T01:00:18.917754Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:00:18.917754Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EMNhEmeNhpw+wJoppnqDN5TeUD7Cvn6FCvs7NUTwQaCHTVTCKwLQJdp+cX0MX0uLHWOW3PRMZzhPklHbPeMACw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:00:18.918439Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.05375","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:23dd5bdfb85609fc97f492c14b127ea8ed8c39bae23398e76d9b060f2564b30e","sha256:2838c42490c3e9031e330903ca06a79a34b62d2ed55740d2fdddae66e99595bb"],"state_sha256":"bfd6e596d3198b37cb032a5a64e3641c4ef86ebd7c332960b768a2073a10c5c1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sy8lODgsUr1y9MWgTO1x4kyKumZ/HsPGnGLE4Kz2Kjn/CtfNXrySSAdCYKcpPrK3XJCutMqtACAh3NSiQU41Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T08:03:27.427471Z","bundle_sha256":"3833a818b985ab83d43c04ba1ba802d51085a7a4eee113ddcc789d10d82daeef"}}