{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:4I2QWV7VK3DTTBDXLAUM23T65X","short_pith_number":"pith:4I2QWV7V","canonical_record":{"source":{"id":"2502.08855","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-02-13T00:14:14Z","cross_cats_sorted":[],"title_canon_sha256":"d84238befc3bc2a973e75387c119e800331513f65265a7d763e01e749a266ade","abstract_canon_sha256":"3fc08c7098a00ad281eeebb525a9d32e91863df1530ca593dc16201f154c1797"},"schema_version":"1.0"},"canonical_sha256":"e2350b57f556c73984775828cd6e7eede1d85b880571cb3536a8a538c9a143d5","source":{"kind":"arxiv","id":"2502.08855","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.08855","created_at":"2026-07-05T10:13:48Z"},{"alias_kind":"arxiv_version","alias_value":"2502.08855v1","created_at":"2026-07-05T10:13:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.08855","created_at":"2026-07-05T10:13:48Z"},{"alias_kind":"pith_short_12","alias_value":"4I2QWV7VK3DT","created_at":"2026-07-05T10:13:48Z"},{"alias_kind":"pith_short_16","alias_value":"4I2QWV7VK3DTTBDX","created_at":"2026-07-05T10:13:48Z"},{"alias_kind":"pith_short_8","alias_value":"4I2QWV7V","created_at":"2026-07-05T10:13:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:4I2QWV7VK3DTTBDXLAUM23T65X","target":"record","payload":{"canonical_record":{"source":{"id":"2502.08855","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-02-13T00:14:14Z","cross_cats_sorted":[],"title_canon_sha256":"d84238befc3bc2a973e75387c119e800331513f65265a7d763e01e749a266ade","abstract_canon_sha256":"3fc08c7098a00ad281eeebb525a9d32e91863df1530ca593dc16201f154c1797"},"schema_version":"1.0"},"canonical_sha256":"e2350b57f556c73984775828cd6e7eede1d85b880571cb3536a8a538c9a143d5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:13:48.683235Z","signature_b64":"o0cEdqGYN6wSGhFhf9bJSW/oVla33UWA5YG26QncjGCuep+/ZH1+UARK8LQrrBe6JB2sPIA8cDfVXt5VhwkoAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e2350b57f556c73984775828cd6e7eede1d85b880571cb3536a8a538c9a143d5","last_reissued_at":"2026-07-05T10:13:48.682764Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:13:48.682764Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.08855","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-05T10:13:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q08Ro9IHe3k0LE+G06dQFIMlNKD/r0Knlu/zzkJOSZuzcsTV0zS21SXQM4NaANyw1CMfBGdYFYVwKF7pYbEoDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T17:43:09.041583Z"},"content_sha256":"6fcf66da4dbd54af6dc23361048af822e94ebd391fc77a0af39f918dd4a6ae4c","schema_version":"1.0","event_id":"sha256:6fcf66da4dbd54af6dc23361048af822e94ebd391fc77a0af39f918dd4a6ae4c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:4I2QWV7VK3DTTBDXLAUM23T65X","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the tightness of linear relaxations of alternative mixed integer programming formulations for the generator maintenance scheduling problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Tiago Andrade","submitted_at":"2025-02-13T00:14:14Z","abstract_excerpt":"This paper presents a comprehensive theoretical analysis of six distinct Mixed-Integer Programming (MIP) formulations for preventive Generator Maintenance Scheduling (GMS), a critical problem for ensuring the reliability and efficiency of power systems. By comparing the tightness of their linear relaxations, we identify which formulations offer superior dual bound and, thus, better computational performance. Our analysis includes establishing relationships between the formulations through definitions, lemmas, and propositions, demonstrating that some formulations provide tighter relaxations th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.08855","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/2502.08855/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-05T10:13:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3IzbkClVgfJ9cwNT1otIuuXVMBkddL1vSCmxzC8RBh+KrOfTeuUB88K7LwRF1kBaQzGMhwgKRnCK9JabsvJ2CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T17:43:09.042382Z"},"content_sha256":"ac79d6808a1540e0fcc29800b4d01d8a11fadd31bfeca685dbd3db1c4e31e166","schema_version":"1.0","event_id":"sha256:ac79d6808a1540e0fcc29800b4d01d8a11fadd31bfeca685dbd3db1c4e31e166"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4I2QWV7VK3DTTBDXLAUM23T65X/bundle.json","state_url":"https://pith.science/pith/4I2QWV7VK3DTTBDXLAUM23T65X/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4I2QWV7VK3DTTBDXLAUM23T65X/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-08-17T17:43:09Z","links":{"resolver":"https://pith.science/pith/4I2QWV7VK3DTTBDXLAUM23T65X","bundle":"https://pith.science/pith/4I2QWV7VK3DTTBDXLAUM23T65X/bundle.json","state":"https://pith.science/pith/4I2QWV7VK3DTTBDXLAUM23T65X/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4I2QWV7VK3DTTBDXLAUM23T65X/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:4I2QWV7VK3DTTBDXLAUM23T65X","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":"3fc08c7098a00ad281eeebb525a9d32e91863df1530ca593dc16201f154c1797","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-02-13T00:14:14Z","title_canon_sha256":"d84238befc3bc2a973e75387c119e800331513f65265a7d763e01e749a266ade"},"schema_version":"1.0","source":{"id":"2502.08855","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.08855","created_at":"2026-07-05T10:13:48Z"},{"alias_kind":"arxiv_version","alias_value":"2502.08855v1","created_at":"2026-07-05T10:13:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.08855","created_at":"2026-07-05T10:13:48Z"},{"alias_kind":"pith_short_12","alias_value":"4I2QWV7VK3DT","created_at":"2026-07-05T10:13:48Z"},{"alias_kind":"pith_short_16","alias_value":"4I2QWV7VK3DTTBDX","created_at":"2026-07-05T10:13:48Z"},{"alias_kind":"pith_short_8","alias_value":"4I2QWV7V","created_at":"2026-07-05T10:13:48Z"}],"graph_snapshots":[{"event_id":"sha256:ac79d6808a1540e0fcc29800b4d01d8a11fadd31bfeca685dbd3db1c4e31e166","target":"graph","created_at":"2026-07-05T10:13:48Z","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/2502.08855/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents a comprehensive theoretical analysis of six distinct Mixed-Integer Programming (MIP) formulations for preventive Generator Maintenance Scheduling (GMS), a critical problem for ensuring the reliability and efficiency of power systems. By comparing the tightness of their linear relaxations, we identify which formulations offer superior dual bound and, thus, better computational performance. Our analysis includes establishing relationships between the formulations through definitions, lemmas, and propositions, demonstrating that some formulations provide tighter relaxations th","authors_text":"Tiago Andrade","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-02-13T00:14:14Z","title":"On the tightness of linear relaxations of alternative mixed integer programming formulations for the generator maintenance scheduling problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.08855","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:6fcf66da4dbd54af6dc23361048af822e94ebd391fc77a0af39f918dd4a6ae4c","target":"record","created_at":"2026-07-05T10:13:48Z","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":"3fc08c7098a00ad281eeebb525a9d32e91863df1530ca593dc16201f154c1797","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-02-13T00:14:14Z","title_canon_sha256":"d84238befc3bc2a973e75387c119e800331513f65265a7d763e01e749a266ade"},"schema_version":"1.0","source":{"id":"2502.08855","kind":"arxiv","version":1}},"canonical_sha256":"e2350b57f556c73984775828cd6e7eede1d85b880571cb3536a8a538c9a143d5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e2350b57f556c73984775828cd6e7eede1d85b880571cb3536a8a538c9a143d5","first_computed_at":"2026-07-05T10:13:48.682764Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:13:48.682764Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"o0cEdqGYN6wSGhFhf9bJSW/oVla33UWA5YG26QncjGCuep+/ZH1+UARK8LQrrBe6JB2sPIA8cDfVXt5VhwkoAA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:13:48.683235Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.08855","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6fcf66da4dbd54af6dc23361048af822e94ebd391fc77a0af39f918dd4a6ae4c","sha256:ac79d6808a1540e0fcc29800b4d01d8a11fadd31bfeca685dbd3db1c4e31e166"],"state_sha256":"78d9a5aeb636a6491f33879a9ab0274a9df5c087553d0e25f967c21bf3b41443"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uDTK1EBnNJ3VwkZJCJHBNWKm+a8N3kk/kxD+D8YcyRLl62orynpgdObc+L3d5v/IHrlkPJVEntJasLz0ALzRCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T17:43:09.051088Z","bundle_sha256":"c3d7361d20824dfd0ca2ba45a7689b082db314d7f0d1ea63789581b9f358fd82"}}