{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:TDQPQ2ZIF4D6Y62YSR54L7OT77","short_pith_number":"pith:TDQPQ2ZI","canonical_record":{"source":{"id":"2405.03051","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.OC","submitted_at":"2024-05-05T20:49:52Z","cross_cats_sorted":[],"title_canon_sha256":"b973696d1d614cde033648e8377b2cd1ba557a0de005042f68f7ba9017c2fdfb","abstract_canon_sha256":"760d7c9de679c03314c6f1a8c46bd83060d9b0aca194da6d06dfa970ce0e8f14"},"schema_version":"1.0"},"canonical_sha256":"98e0f86b282f07ec7b58947bc5fdd3fffad954f9c275f0eba1f1b0b9b53544dd","source":{"kind":"arxiv","id":"2405.03051","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.03051","created_at":"2026-07-05T08:15:57Z"},{"alias_kind":"arxiv_version","alias_value":"2405.03051v1","created_at":"2026-07-05T08:15:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.03051","created_at":"2026-07-05T08:15:57Z"},{"alias_kind":"pith_short_12","alias_value":"TDQPQ2ZIF4D6","created_at":"2026-07-05T08:15:57Z"},{"alias_kind":"pith_short_16","alias_value":"TDQPQ2ZIF4D6Y62Y","created_at":"2026-07-05T08:15:57Z"},{"alias_kind":"pith_short_8","alias_value":"TDQPQ2ZI","created_at":"2026-07-05T08:15:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:TDQPQ2ZIF4D6Y62YSR54L7OT77","target":"record","payload":{"canonical_record":{"source":{"id":"2405.03051","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.OC","submitted_at":"2024-05-05T20:49:52Z","cross_cats_sorted":[],"title_canon_sha256":"b973696d1d614cde033648e8377b2cd1ba557a0de005042f68f7ba9017c2fdfb","abstract_canon_sha256":"760d7c9de679c03314c6f1a8c46bd83060d9b0aca194da6d06dfa970ce0e8f14"},"schema_version":"1.0"},"canonical_sha256":"98e0f86b282f07ec7b58947bc5fdd3fffad954f9c275f0eba1f1b0b9b53544dd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:15:57.814658Z","signature_b64":"P4Gy4QNiS1MpvHwhTeOfhchzu0s+kpD6Idfa6n2shewxmVjDzdKzzAU+6UaAuN1By1C+FK5r5RQgtbCDLM0ICg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"98e0f86b282f07ec7b58947bc5fdd3fffad954f9c275f0eba1f1b0b9b53544dd","last_reissued_at":"2026-07-05T08:15:57.814245Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:15:57.814245Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.03051","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-05T08:15:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ARLUZiwbVQ0ni/8WYDUSy30XIC3y5d+8uakyOGMfbhvkxzfmwgBgXWtlX/GHwQIBhCBYkeLQ9pmQRXbjvH0YCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T07:03:58.053341Z"},"content_sha256":"971fdd8f42678d6989ca20871c33af8082f66cc92f0254ebde01b1245ab77116","schema_version":"1.0","event_id":"sha256:971fdd8f42678d6989ca20871c33af8082f66cc92f0254ebde01b1245ab77116"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:TDQPQ2ZIF4D6Y62YSR54L7OT77","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Real-time solution of quadratic optimization problems with banded matrices and indicator variables","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Andres Gomez, Leonardo Lozano, Shaoning Han","submitted_at":"2024-05-05T20:49:52Z","abstract_excerpt":"We consider mixed-integer quadratic optimization problems with banded matrices and indicator variables. These problems arise pervasively in statistical inference problems with time-series data, where the banded matrix captures the temporal relationship of the underlying process. In particular, the problem studied arises in monitoring problems, where the decision-maker wants to detect changes or anomalies. We propose to solve these problems using decision diagrams. In particular we show how to exploit the temporal dependencies to construct diagrams with size polynomial in the number of decision"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.03051","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/2405.03051/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-05T08:15:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kcGZwAeoHb7DWNKY9Ugw1JtCXFPR+jIw4mD1XkCWc8asdBkyFO6aFUpNCRaZ2gYbE/QPPW1OHNxiC1owArGIAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T07:03:58.054150Z"},"content_sha256":"13b39de72564e4d756a9035e1047f081318c02fc2467e9865ffd667fb30e2050","schema_version":"1.0","event_id":"sha256:13b39de72564e4d756a9035e1047f081318c02fc2467e9865ffd667fb30e2050"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TDQPQ2ZIF4D6Y62YSR54L7OT77/bundle.json","state_url":"https://pith.science/pith/TDQPQ2ZIF4D6Y62YSR54L7OT77/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TDQPQ2ZIF4D6Y62YSR54L7OT77/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-10T07:03:58Z","links":{"resolver":"https://pith.science/pith/TDQPQ2ZIF4D6Y62YSR54L7OT77","bundle":"https://pith.science/pith/TDQPQ2ZIF4D6Y62YSR54L7OT77/bundle.json","state":"https://pith.science/pith/TDQPQ2ZIF4D6Y62YSR54L7OT77/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TDQPQ2ZIF4D6Y62YSR54L7OT77/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:TDQPQ2ZIF4D6Y62YSR54L7OT77","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":"760d7c9de679c03314c6f1a8c46bd83060d9b0aca194da6d06dfa970ce0e8f14","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.OC","submitted_at":"2024-05-05T20:49:52Z","title_canon_sha256":"b973696d1d614cde033648e8377b2cd1ba557a0de005042f68f7ba9017c2fdfb"},"schema_version":"1.0","source":{"id":"2405.03051","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.03051","created_at":"2026-07-05T08:15:57Z"},{"alias_kind":"arxiv_version","alias_value":"2405.03051v1","created_at":"2026-07-05T08:15:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.03051","created_at":"2026-07-05T08:15:57Z"},{"alias_kind":"pith_short_12","alias_value":"TDQPQ2ZIF4D6","created_at":"2026-07-05T08:15:57Z"},{"alias_kind":"pith_short_16","alias_value":"TDQPQ2ZIF4D6Y62Y","created_at":"2026-07-05T08:15:57Z"},{"alias_kind":"pith_short_8","alias_value":"TDQPQ2ZI","created_at":"2026-07-05T08:15:57Z"}],"graph_snapshots":[{"event_id":"sha256:13b39de72564e4d756a9035e1047f081318c02fc2467e9865ffd667fb30e2050","target":"graph","created_at":"2026-07-05T08:15:57Z","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/2405.03051/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We consider mixed-integer quadratic optimization problems with banded matrices and indicator variables. These problems arise pervasively in statistical inference problems with time-series data, where the banded matrix captures the temporal relationship of the underlying process. In particular, the problem studied arises in monitoring problems, where the decision-maker wants to detect changes or anomalies. We propose to solve these problems using decision diagrams. In particular we show how to exploit the temporal dependencies to construct diagrams with size polynomial in the number of decision","authors_text":"Andres Gomez, Leonardo Lozano, Shaoning Han","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.OC","submitted_at":"2024-05-05T20:49:52Z","title":"Real-time solution of quadratic optimization problems with banded matrices and indicator variables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.03051","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:971fdd8f42678d6989ca20871c33af8082f66cc92f0254ebde01b1245ab77116","target":"record","created_at":"2026-07-05T08:15:57Z","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":"760d7c9de679c03314c6f1a8c46bd83060d9b0aca194da6d06dfa970ce0e8f14","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.OC","submitted_at":"2024-05-05T20:49:52Z","title_canon_sha256":"b973696d1d614cde033648e8377b2cd1ba557a0de005042f68f7ba9017c2fdfb"},"schema_version":"1.0","source":{"id":"2405.03051","kind":"arxiv","version":1}},"canonical_sha256":"98e0f86b282f07ec7b58947bc5fdd3fffad954f9c275f0eba1f1b0b9b53544dd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"98e0f86b282f07ec7b58947bc5fdd3fffad954f9c275f0eba1f1b0b9b53544dd","first_computed_at":"2026-07-05T08:15:57.814245Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:15:57.814245Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"P4Gy4QNiS1MpvHwhTeOfhchzu0s+kpD6Idfa6n2shewxmVjDzdKzzAU+6UaAuN1By1C+FK5r5RQgtbCDLM0ICg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:15:57.814658Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.03051","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:971fdd8f42678d6989ca20871c33af8082f66cc92f0254ebde01b1245ab77116","sha256:13b39de72564e4d756a9035e1047f081318c02fc2467e9865ffd667fb30e2050"],"state_sha256":"ced2e812c393be5f46c7ed465e8868c159566a1b8c7d2e375e31c56fbd6767ef"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OPnSGtGRH9zpAqdvL+ys8VBpEUoRCQYfKja6xi1RGZj0fXxqowR5fBkdFZBzay0TCynPdA+HKyZc0GL5qTPWDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T07:03:58.058902Z","bundle_sha256":"523a148d7df7362bb7337ac7f02e896e5de2af016363d80179f4a433eec5393b"}}