{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:V6G4QG7KX5DAZ2FN3U24LFEOQO","short_pith_number":"pith:V6G4QG7K","canonical_record":{"source":{"id":"2607.00383","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-07-01T03:26:41Z","cross_cats_sorted":[],"title_canon_sha256":"99ef1e9b244511dc5ef18487738d8bb6f455a056b7165e809ecd3688f5046373","abstract_canon_sha256":"46c479708826fac927ec124096759ddc531d916b89906858ddda7a3095e40bea"},"schema_version":"1.0"},"canonical_sha256":"af8dc81beabf460ce8addd35c5948e8395803c88b98a8ad7acc5252a688268f1","source":{"kind":"arxiv","id":"2607.00383","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.00383","created_at":"2026-07-02T01:17:41Z"},{"alias_kind":"arxiv_version","alias_value":"2607.00383v1","created_at":"2026-07-02T01:17:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.00383","created_at":"2026-07-02T01:17:41Z"},{"alias_kind":"pith_short_12","alias_value":"V6G4QG7KX5DA","created_at":"2026-07-02T01:17:41Z"},{"alias_kind":"pith_short_16","alias_value":"V6G4QG7KX5DAZ2FN","created_at":"2026-07-02T01:17:41Z"},{"alias_kind":"pith_short_8","alias_value":"V6G4QG7K","created_at":"2026-07-02T01:17:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:V6G4QG7KX5DAZ2FN3U24LFEOQO","target":"record","payload":{"canonical_record":{"source":{"id":"2607.00383","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-07-01T03:26:41Z","cross_cats_sorted":[],"title_canon_sha256":"99ef1e9b244511dc5ef18487738d8bb6f455a056b7165e809ecd3688f5046373","abstract_canon_sha256":"46c479708826fac927ec124096759ddc531d916b89906858ddda7a3095e40bea"},"schema_version":"1.0"},"canonical_sha256":"af8dc81beabf460ce8addd35c5948e8395803c88b98a8ad7acc5252a688268f1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-02T01:17:41.828901Z","signature_b64":"5EdW2fvM7F6j8jBof9sRBy51L9SFif5UiODgeM1/O+U+92kHbRqBhUoKG4J4pHWwcErH/cdkzW1NhiGRbBybDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"af8dc81beabf460ce8addd35c5948e8395803c88b98a8ad7acc5252a688268f1","last_reissued_at":"2026-07-02T01:17:41.828487Z","signature_status":"signed_v1","first_computed_at":"2026-07-02T01:17:41.828487Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.00383","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-02T01:17:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PTEbbzIpVlecewWcLZadRdKVI4IomB0JLy+PDjLniVkzVCjun7Rcv/l2DMFZ5gTllKRS7Dny7Hk1vrHu/BYOAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T20:53:12.458937Z"},"content_sha256":"85fa77a08cbfd4bfad980fb8c17c645dee6c2eb882587c21b7fe9233cc9231ed","schema_version":"1.0","event_id":"sha256:85fa77a08cbfd4bfad980fb8c17c645dee6c2eb882587c21b7fe9233cc9231ed"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:V6G4QG7KX5DAZ2FN3U24LFEOQO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Regularized Model Predictive Control via Contractivity and Implicit Lur'e Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Alexander Davydov, Anand Gokhale, Francesco Bullo, Ryotaro Shima","submitted_at":"2026-07-01T03:26:41Z","abstract_excerpt":"This paper develops a contraction-based stability analysis for regularized model predictive control (MPC), whose feedback law is defined implicitly by a finite-horizon optimal control problem with an additional regularizing cost. The proposed approach interprets regularized MPC as an implicit Lur'e system, in which the regularizing cost perturbs the optimality conditions. We develop a multiplier-based contraction framework for implicit Lur'e systems and derive linear matrix inequality conditions for regularized MPC with three broad classes of regularizers: convex smooth stage costs, convex clo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.00383","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/2607.00383/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-02T01:17:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6T9Vm67qwBYIJqo1tEQhgtVSbYFcMVWVcRpXvOQ92lu1bFQDp6BzDxaGRIdzX2CURDWP7yl1FG4VD5HY06v8BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T20:53:12.459310Z"},"content_sha256":"1ac3b99242fbbc2841b76273ab4c7fb76919abc97699b69bd71d25a6ce718a3c","schema_version":"1.0","event_id":"sha256:1ac3b99242fbbc2841b76273ab4c7fb76919abc97699b69bd71d25a6ce718a3c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/V6G4QG7KX5DAZ2FN3U24LFEOQO/bundle.json","state_url":"https://pith.science/pith/V6G4QG7KX5DAZ2FN3U24LFEOQO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/V6G4QG7KX5DAZ2FN3U24LFEOQO/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-02T20:53:12Z","links":{"resolver":"https://pith.science/pith/V6G4QG7KX5DAZ2FN3U24LFEOQO","bundle":"https://pith.science/pith/V6G4QG7KX5DAZ2FN3U24LFEOQO/bundle.json","state":"https://pith.science/pith/V6G4QG7KX5DAZ2FN3U24LFEOQO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/V6G4QG7KX5DAZ2FN3U24LFEOQO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:V6G4QG7KX5DAZ2FN3U24LFEOQO","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":"46c479708826fac927ec124096759ddc531d916b89906858ddda7a3095e40bea","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-07-01T03:26:41Z","title_canon_sha256":"99ef1e9b244511dc5ef18487738d8bb6f455a056b7165e809ecd3688f5046373"},"schema_version":"1.0","source":{"id":"2607.00383","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.00383","created_at":"2026-07-02T01:17:41Z"},{"alias_kind":"arxiv_version","alias_value":"2607.00383v1","created_at":"2026-07-02T01:17:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.00383","created_at":"2026-07-02T01:17:41Z"},{"alias_kind":"pith_short_12","alias_value":"V6G4QG7KX5DA","created_at":"2026-07-02T01:17:41Z"},{"alias_kind":"pith_short_16","alias_value":"V6G4QG7KX5DAZ2FN","created_at":"2026-07-02T01:17:41Z"},{"alias_kind":"pith_short_8","alias_value":"V6G4QG7K","created_at":"2026-07-02T01:17:41Z"}],"graph_snapshots":[{"event_id":"sha256:1ac3b99242fbbc2841b76273ab4c7fb76919abc97699b69bd71d25a6ce718a3c","target":"graph","created_at":"2026-07-02T01:17:41Z","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/2607.00383/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper develops a contraction-based stability analysis for regularized model predictive control (MPC), whose feedback law is defined implicitly by a finite-horizon optimal control problem with an additional regularizing cost. The proposed approach interprets regularized MPC as an implicit Lur'e system, in which the regularizing cost perturbs the optimality conditions. We develop a multiplier-based contraction framework for implicit Lur'e systems and derive linear matrix inequality conditions for regularized MPC with three broad classes of regularizers: convex smooth stage costs, convex clo","authors_text":"Alexander Davydov, Anand Gokhale, Francesco Bullo, Ryotaro Shima","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-07-01T03:26:41Z","title":"Regularized Model Predictive Control via Contractivity and Implicit Lur'e Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.00383","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:85fa77a08cbfd4bfad980fb8c17c645dee6c2eb882587c21b7fe9233cc9231ed","target":"record","created_at":"2026-07-02T01:17:41Z","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":"46c479708826fac927ec124096759ddc531d916b89906858ddda7a3095e40bea","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-07-01T03:26:41Z","title_canon_sha256":"99ef1e9b244511dc5ef18487738d8bb6f455a056b7165e809ecd3688f5046373"},"schema_version":"1.0","source":{"id":"2607.00383","kind":"arxiv","version":1}},"canonical_sha256":"af8dc81beabf460ce8addd35c5948e8395803c88b98a8ad7acc5252a688268f1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"af8dc81beabf460ce8addd35c5948e8395803c88b98a8ad7acc5252a688268f1","first_computed_at":"2026-07-02T01:17:41.828487Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-02T01:17:41.828487Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5EdW2fvM7F6j8jBof9sRBy51L9SFif5UiODgeM1/O+U+92kHbRqBhUoKG4J4pHWwcErH/cdkzW1NhiGRbBybDA==","signature_status":"signed_v1","signed_at":"2026-07-02T01:17:41.828901Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.00383","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85fa77a08cbfd4bfad980fb8c17c645dee6c2eb882587c21b7fe9233cc9231ed","sha256:1ac3b99242fbbc2841b76273ab4c7fb76919abc97699b69bd71d25a6ce718a3c"],"state_sha256":"29a2ca212511ddfd31ca7353fd715c9b23d9ee613f5519b4e022338615b0ac68"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+VB0QT5GPpktyhbJMBkzvllE07iUCQjzpfWlsM/9EEI4IGkdQRn3E3JhNF6HgHzsZrsNjmw7MZj2yd2x+lxjCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T20:53:12.461299Z","bundle_sha256":"cfa59af3478e0230f2a4769107abe284effe74888e4f370befb0c239a34f6527"}}