{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:C6H5OZIJAFHVNJFNKDJNAMAD7G","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":"de53d50af8403774abab57ad762fe5c221a32ad1ecdb7cbfe241780f053fb14b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-12-15T04:27:57Z","title_canon_sha256":"84dd3edd17c2077ad34ae8019b63aa0d1c5805ea7c576c3ff90b091a50665b7a"},"schema_version":"1.0","source":{"id":"1512.04644","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.04644","created_at":"2026-05-18T01:23:22Z"},{"alias_kind":"arxiv_version","alias_value":"1512.04644v2","created_at":"2026-05-18T01:23:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.04644","created_at":"2026-05-18T01:23:22Z"},{"alias_kind":"pith_short_12","alias_value":"C6H5OZIJAFHV","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_16","alias_value":"C6H5OZIJAFHVNJFN","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_8","alias_value":"C6H5OZIJ","created_at":"2026-05-18T12:29:14Z"}],"graph_snapshots":[{"event_id":"sha256:fb2eed9ac73089f5413e8c4b668ed03a472c51408e44766941fbcfbd82cc2569","target":"graph","created_at":"2026-05-18T01:23:22Z","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":"This paper considers state-of-the-art convex relaxations for the AC power flow equations and introduces new valid cuts based on convex envelopes and lifted nonlinear constraints. These valid linear inequalities strengthen existing semidefinite and quadratic programming relaxations and dominate existing cuts proposed in the litterature. Together with model intersections and bound tightening, the new linear cuts close 8 of the remaining 16 open test cases in the NESTA archive for the AC Optimal Power Flow problem.","authors_text":"Carleton Coffrin, Hassan Hijazi, Pascal Van Hentenryck","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-12-15T04:27:57Z","title":"Strengthening the SDP Relaxation of AC Power Flows with Convex Envelopes, Bound Tightening, and Lifted Nonlinear Cuts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.04644","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:5cebaaf941cda9e300601e7e79744c53a776b0bb4515b35dcee73a12543db443","target":"record","created_at":"2026-05-18T01:23:22Z","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":"de53d50af8403774abab57ad762fe5c221a32ad1ecdb7cbfe241780f053fb14b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-12-15T04:27:57Z","title_canon_sha256":"84dd3edd17c2077ad34ae8019b63aa0d1c5805ea7c576c3ff90b091a50665b7a"},"schema_version":"1.0","source":{"id":"1512.04644","kind":"arxiv","version":2}},"canonical_sha256":"178fd76509014f56a4ad50d2d03003f9baca225e89a94face2dcd6bb8562848b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"178fd76509014f56a4ad50d2d03003f9baca225e89a94face2dcd6bb8562848b","first_computed_at":"2026-05-18T01:23:22.497407Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:23:22.497407Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tc5AQ2bKMsqeys8W5EcCuCwH5jTQcmvK401hwa+cY7iq8WVkbai2YN+l0R90K4MF0akPPdGsNKXkhc1VCxpDAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:23:22.498086Z","signed_message":"canonical_sha256_bytes"},"source_id":"1512.04644","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5cebaaf941cda9e300601e7e79744c53a776b0bb4515b35dcee73a12543db443","sha256:fb2eed9ac73089f5413e8c4b668ed03a472c51408e44766941fbcfbd82cc2569"],"state_sha256":"33f45cc026272d69ecf78263fa6974981c00fd9aa55ef3a79c398fda900899b7"}