{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:A6V5PKWBD4LEQEPLNLI7VPKZVM","short_pith_number":"pith:A6V5PKWB","canonical_record":{"source":{"id":"2409.20355","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-09-30T14:51:59Z","cross_cats_sorted":[],"title_canon_sha256":"fc163de1f4775258081f2134040ba6d7477407f280319cfa37939ed5490b1a2a","abstract_canon_sha256":"afa77d6d555d471fcd59db2a3969ee09116ca31ffcea6d687928c2efd76e0cfb"},"schema_version":"1.0"},"canonical_sha256":"07abd7aac11f164811eb6ad1fabd59ab3834f288760221ec4275328435b52766","source":{"kind":"arxiv","id":"2409.20355","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.20355","created_at":"2026-07-05T09:13:42Z"},{"alias_kind":"arxiv_version","alias_value":"2409.20355v1","created_at":"2026-07-05T09:13:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.20355","created_at":"2026-07-05T09:13:42Z"},{"alias_kind":"pith_short_12","alias_value":"A6V5PKWBD4LE","created_at":"2026-07-05T09:13:42Z"},{"alias_kind":"pith_short_16","alias_value":"A6V5PKWBD4LEQEPL","created_at":"2026-07-05T09:13:42Z"},{"alias_kind":"pith_short_8","alias_value":"A6V5PKWB","created_at":"2026-07-05T09:13:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:A6V5PKWBD4LEQEPLNLI7VPKZVM","target":"record","payload":{"canonical_record":{"source":{"id":"2409.20355","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-09-30T14:51:59Z","cross_cats_sorted":[],"title_canon_sha256":"fc163de1f4775258081f2134040ba6d7477407f280319cfa37939ed5490b1a2a","abstract_canon_sha256":"afa77d6d555d471fcd59db2a3969ee09116ca31ffcea6d687928c2efd76e0cfb"},"schema_version":"1.0"},"canonical_sha256":"07abd7aac11f164811eb6ad1fabd59ab3834f288760221ec4275328435b52766","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:13:42.240835Z","signature_b64":"WnfiVL6cOeBNt6eaVezodJqPJRaNldZfLrJWJo7KxpEGXP8ALIcOlwKAjHG519CW0zqPyhw/HNKqzk+FH7xiCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"07abd7aac11f164811eb6ad1fabd59ab3834f288760221ec4275328435b52766","last_reissued_at":"2026-07-05T09:13:42.240347Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:13:42.240347Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2409.20355","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-07-05T09:13:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UspgJ+TzbOyAn1IpvvZmaU5HSpWJ76U9uR5ojiNW3GIOYyXxySHQT5LiM/1ldbyCb3s8Qt7IQZu1q1R/u9a0BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T05:33:28.628109Z"},"content_sha256":"75de77d48912c0c140c599d2f029b811e6b9ccfb37642f628455b073f0e3db48","schema_version":"1.0","event_id":"sha256:75de77d48912c0c140c599d2f029b811e6b9ccfb37642f628455b073f0e3db48"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:A6V5PKWBD4LEQEPLNLI7VPKZVM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Finding quadratic underestimators for optimal value functions of nonconvex all-quadratic problems via copositive optimization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Immanuel Bomze, Markus Gabl","submitted_at":"2024-09-30T14:51:59Z","abstract_excerpt":"Modeling parts of an optimization problem as an optimal value function that depends on a top-level decision variable is a regular occurrence in optimization and an essential ingredient for methods such as Benders Decomposition. It often allows for the disentanglement of computational complexity and exploitation of special structures in the lower-level problem that define the optimal value functions. If this problem is convex, duality theory can be used to build piecewise affine models of the optimal value function over which the top-level problem can be optimized efficiently. In this text, we "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.20355","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2409.20355/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T09:13:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9DZzMgU7OcBrbwAnfRTo8BVLz1OtJzkmyNSYu4RriptqvDvyGisCkMgm7a612Jr+8y6KiqTtCdvSNQlqYonvDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T05:33:28.628519Z"},"content_sha256":"69fc23ad70febc89decf131c379970c1eb026003b7fbf92106ed2cd75510e12b","schema_version":"1.0","event_id":"sha256:69fc23ad70febc89decf131c379970c1eb026003b7fbf92106ed2cd75510e12b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A6V5PKWBD4LEQEPLNLI7VPKZVM/bundle.json","state_url":"https://pith.science/pith/A6V5PKWBD4LEQEPLNLI7VPKZVM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A6V5PKWBD4LEQEPLNLI7VPKZVM/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-07-07T05:33:28Z","links":{"resolver":"https://pith.science/pith/A6V5PKWBD4LEQEPLNLI7VPKZVM","bundle":"https://pith.science/pith/A6V5PKWBD4LEQEPLNLI7VPKZVM/bundle.json","state":"https://pith.science/pith/A6V5PKWBD4LEQEPLNLI7VPKZVM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A6V5PKWBD4LEQEPLNLI7VPKZVM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:A6V5PKWBD4LEQEPLNLI7VPKZVM","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":"afa77d6d555d471fcd59db2a3969ee09116ca31ffcea6d687928c2efd76e0cfb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-09-30T14:51:59Z","title_canon_sha256":"fc163de1f4775258081f2134040ba6d7477407f280319cfa37939ed5490b1a2a"},"schema_version":"1.0","source":{"id":"2409.20355","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.20355","created_at":"2026-07-05T09:13:42Z"},{"alias_kind":"arxiv_version","alias_value":"2409.20355v1","created_at":"2026-07-05T09:13:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.20355","created_at":"2026-07-05T09:13:42Z"},{"alias_kind":"pith_short_12","alias_value":"A6V5PKWBD4LE","created_at":"2026-07-05T09:13:42Z"},{"alias_kind":"pith_short_16","alias_value":"A6V5PKWBD4LEQEPL","created_at":"2026-07-05T09:13:42Z"},{"alias_kind":"pith_short_8","alias_value":"A6V5PKWB","created_at":"2026-07-05T09:13:42Z"}],"graph_snapshots":[{"event_id":"sha256:69fc23ad70febc89decf131c379970c1eb026003b7fbf92106ed2cd75510e12b","target":"graph","created_at":"2026-07-05T09:13:42Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2409.20355/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Modeling parts of an optimization problem as an optimal value function that depends on a top-level decision variable is a regular occurrence in optimization and an essential ingredient for methods such as Benders Decomposition. It often allows for the disentanglement of computational complexity and exploitation of special structures in the lower-level problem that define the optimal value functions. If this problem is convex, duality theory can be used to build piecewise affine models of the optimal value function over which the top-level problem can be optimized efficiently. In this text, we ","authors_text":"Immanuel Bomze, Markus Gabl","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-09-30T14:51:59Z","title":"Finding quadratic underestimators for optimal value functions of nonconvex all-quadratic problems via copositive optimization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.20355","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:75de77d48912c0c140c599d2f029b811e6b9ccfb37642f628455b073f0e3db48","target":"record","created_at":"2026-07-05T09:13:42Z","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":"afa77d6d555d471fcd59db2a3969ee09116ca31ffcea6d687928c2efd76e0cfb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-09-30T14:51:59Z","title_canon_sha256":"fc163de1f4775258081f2134040ba6d7477407f280319cfa37939ed5490b1a2a"},"schema_version":"1.0","source":{"id":"2409.20355","kind":"arxiv","version":1}},"canonical_sha256":"07abd7aac11f164811eb6ad1fabd59ab3834f288760221ec4275328435b52766","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"07abd7aac11f164811eb6ad1fabd59ab3834f288760221ec4275328435b52766","first_computed_at":"2026-07-05T09:13:42.240347Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:13:42.240347Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WnfiVL6cOeBNt6eaVezodJqPJRaNldZfLrJWJo7KxpEGXP8ALIcOlwKAjHG519CW0zqPyhw/HNKqzk+FH7xiCg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:13:42.240835Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.20355","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:75de77d48912c0c140c599d2f029b811e6b9ccfb37642f628455b073f0e3db48","sha256:69fc23ad70febc89decf131c379970c1eb026003b7fbf92106ed2cd75510e12b"],"state_sha256":"7d9c193356513081f0e769b7b5a777837962d99f3fefc5c178a63cdfa43effc6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EhTowww+oASAb8mqg9KGQQx9GygE4m/0VaUb8lIt/YqwqJGwxX5QFswHb1KkHUMp1OOw471vS+EGUZ9BOxf2AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T05:33:28.631400Z","bundle_sha256":"55c944a01679c3df4c98338c1ac15ddbd8497f5427d86d7a0919691c61c05c6e"}}