{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:TDQPQ2ZIF4D6Y62YSR54L7OT77","short_pith_number":"pith:TDQPQ2ZI","schema_version":"1.0","canonical_sha256":"98e0f86b282f07ec7b58947bc5fdd3fffad954f9c275f0eba1f1b0b9b53544dd","source":{"kind":"arxiv","id":"2405.03051","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2405.03051","created_at":"2026-07-05T08:15:57.814303+00:00"},{"alias_kind":"arxiv_version","alias_value":"2405.03051v1","created_at":"2026-07-05T08:15:57.814303+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.03051","created_at":"2026-07-05T08:15:57.814303+00:00"},{"alias_kind":"pith_short_12","alias_value":"TDQPQ2ZIF4D6","created_at":"2026-07-05T08:15:57.814303+00:00"},{"alias_kind":"pith_short_16","alias_value":"TDQPQ2ZIF4D6Y62Y","created_at":"2026-07-05T08:15:57.814303+00:00"},{"alias_kind":"pith_short_8","alias_value":"TDQPQ2ZI","created_at":"2026-07-05T08:15:57.814303+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2608.01385","citing_title":"Coordinate Optimality Reformulation for Mixed-Integer Convex Programs with Indicators","ref_index":34,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/TDQPQ2ZIF4D6Y62YSR54L7OT77","json":"https://pith.science/pith/TDQPQ2ZIF4D6Y62YSR54L7OT77.json","graph_json":"https://pith.science/api/pith-number/TDQPQ2ZIF4D6Y62YSR54L7OT77/graph.json","events_json":"https://pith.science/api/pith-number/TDQPQ2ZIF4D6Y62YSR54L7OT77/events.json","paper":"https://pith.science/paper/TDQPQ2ZI"},"agent_actions":{"view_html":"https://pith.science/pith/TDQPQ2ZIF4D6Y62YSR54L7OT77","download_json":"https://pith.science/pith/TDQPQ2ZIF4D6Y62YSR54L7OT77.json","view_paper":"https://pith.science/paper/TDQPQ2ZI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2405.03051&json=true","fetch_graph":"https://pith.science/api/pith-number/TDQPQ2ZIF4D6Y62YSR54L7OT77/graph.json","fetch_events":"https://pith.science/api/pith-number/TDQPQ2ZIF4D6Y62YSR54L7OT77/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TDQPQ2ZIF4D6Y62YSR54L7OT77/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TDQPQ2ZIF4D6Y62YSR54L7OT77/action/storage_attestation","attest_author":"https://pith.science/pith/TDQPQ2ZIF4D6Y62YSR54L7OT77/action/author_attestation","sign_citation":"https://pith.science/pith/TDQPQ2ZIF4D6Y62YSR54L7OT77/action/citation_signature","submit_replication":"https://pith.science/pith/TDQPQ2ZIF4D6Y62YSR54L7OT77/action/replication_record"}},"created_at":"2026-07-05T08:15:57.814303+00:00","updated_at":"2026-07-05T08:15:57.814303+00:00"}