{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:762L3TU3IO2BL6UM3HMRC24MT4","short_pith_number":"pith:762L3TU3","canonical_record":{"source":{"id":"1703.01217","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2017-03-03T15:51:23Z","cross_cats_sorted":["math.DS"],"title_canon_sha256":"f78c4cb82b298db509ccfed60bec1b458f02bdf5f6e2a9bb56cccc47739267db","abstract_canon_sha256":"a2decf65c7dd18f1917d094f6e69e0506f846d37530f9ae6bcd63caad129e130"},"schema_version":"1.0"},"canonical_sha256":"ffb4bdce9b43b415fa8cd9d9116b8c9f1c175f1a2a0a06f42e3fb8b4093383ed","source":{"kind":"arxiv","id":"1703.01217","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.01217","created_at":"2026-05-18T00:31:55Z"},{"alias_kind":"arxiv_version","alias_value":"1703.01217v4","created_at":"2026-05-18T00:31:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.01217","created_at":"2026-05-18T00:31:55Z"},{"alias_kind":"pith_short_12","alias_value":"762L3TU3IO2B","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_16","alias_value":"762L3TU3IO2BL6UM","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_8","alias_value":"762L3TU3","created_at":"2026-05-18T12:31:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:762L3TU3IO2BL6UM3HMRC24MT4","target":"record","payload":{"canonical_record":{"source":{"id":"1703.01217","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2017-03-03T15:51:23Z","cross_cats_sorted":["math.DS"],"title_canon_sha256":"f78c4cb82b298db509ccfed60bec1b458f02bdf5f6e2a9bb56cccc47739267db","abstract_canon_sha256":"a2decf65c7dd18f1917d094f6e69e0506f846d37530f9ae6bcd63caad129e130"},"schema_version":"1.0"},"canonical_sha256":"ffb4bdce9b43b415fa8cd9d9116b8c9f1c175f1a2a0a06f42e3fb8b4093383ed","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:31:55.990993Z","signature_b64":"HmtXuOt+rzcMYM2x2FBXQvchNVMOMICRK3zLpB7/oX0oh0vh5otdaa4IJzwSvPsQEGPYf1wymr+/z8bSo2xEAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ffb4bdce9b43b415fa8cd9d9116b8c9f1c175f1a2a0a06f42e3fb8b4093383ed","last_reissued_at":"2026-05-18T00:31:55.990569Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:31:55.990569Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.01217","source_version":4,"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-05-18T00:31:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n0FaYNRy/a+pyABqCqXkcUfZ/DyjH8nilbGg1Y6bocnRfdKiz9Fz1HsNz9UPQlOQWhqlALRAks9sgmTkHaqRBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T13:32:34.179280Z"},"content_sha256":"30b419571b689a466981c39e57f56aa698aa8eaa4a696898d69bfe7dae9dd3f1","schema_version":"1.0","event_id":"sha256:30b419571b689a466981c39e57f56aa698aa8eaa4a696898d69bfe7dae9dd3f1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:762L3TU3IO2BL6UM3HMRC24MT4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On linear-quadratic optimal control of implicit difference equations","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.DS"],"primary_cat":"math.OC","authors_text":"Daniel Bankmann, Matthias Voigt","submitted_at":"2017-03-03T15:51:23Z","abstract_excerpt":"In this work we investigate explicit and implicit difference equations and the corresponding infinite time horizon linear-quadratic optimal control problem. We derive conditions for feasibility of the optimal control problem as well as existence and uniqueness of optimal controls under certain weaker assumptions compared to the standard approaches in the literature which are using algebraic Riccati equations. To this end, we introduce and analyze a discrete-time Lur'e equation and a corresponding Kalman-Yakubovich-Popov inequality. We show that solvability of the Kalman-Yakubovich-Popov inequa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.01217","kind":"arxiv","version":4},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T00:31:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pxRw8pL0rKquZr8EE8Oh4dcwKYQOjTyT7CmoDKl4SNNo3Ms7iJAC9Z5l+8CdfjWE0fbqtCXIeutF4I1lpZVLAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T13:32:34.179641Z"},"content_sha256":"50a0e9447698d342ba6a8ad4a5802b6d0292c85868672d396ea80285ad4ea416","schema_version":"1.0","event_id":"sha256:50a0e9447698d342ba6a8ad4a5802b6d0292c85868672d396ea80285ad4ea416"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/762L3TU3IO2BL6UM3HMRC24MT4/bundle.json","state_url":"https://pith.science/pith/762L3TU3IO2BL6UM3HMRC24MT4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/762L3TU3IO2BL6UM3HMRC24MT4/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-06-27T13:32:34Z","links":{"resolver":"https://pith.science/pith/762L3TU3IO2BL6UM3HMRC24MT4","bundle":"https://pith.science/pith/762L3TU3IO2BL6UM3HMRC24MT4/bundle.json","state":"https://pith.science/pith/762L3TU3IO2BL6UM3HMRC24MT4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/762L3TU3IO2BL6UM3HMRC24MT4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:762L3TU3IO2BL6UM3HMRC24MT4","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":"a2decf65c7dd18f1917d094f6e69e0506f846d37530f9ae6bcd63caad129e130","cross_cats_sorted":["math.DS"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2017-03-03T15:51:23Z","title_canon_sha256":"f78c4cb82b298db509ccfed60bec1b458f02bdf5f6e2a9bb56cccc47739267db"},"schema_version":"1.0","source":{"id":"1703.01217","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.01217","created_at":"2026-05-18T00:31:55Z"},{"alias_kind":"arxiv_version","alias_value":"1703.01217v4","created_at":"2026-05-18T00:31:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.01217","created_at":"2026-05-18T00:31:55Z"},{"alias_kind":"pith_short_12","alias_value":"762L3TU3IO2B","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_16","alias_value":"762L3TU3IO2BL6UM","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_8","alias_value":"762L3TU3","created_at":"2026-05-18T12:31:03Z"}],"graph_snapshots":[{"event_id":"sha256:50a0e9447698d342ba6a8ad4a5802b6d0292c85868672d396ea80285ad4ea416","target":"graph","created_at":"2026-05-18T00:31:55Z","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"},"paper":{"abstract_excerpt":"In this work we investigate explicit and implicit difference equations and the corresponding infinite time horizon linear-quadratic optimal control problem. We derive conditions for feasibility of the optimal control problem as well as existence and uniqueness of optimal controls under certain weaker assumptions compared to the standard approaches in the literature which are using algebraic Riccati equations. To this end, we introduce and analyze a discrete-time Lur'e equation and a corresponding Kalman-Yakubovich-Popov inequality. We show that solvability of the Kalman-Yakubovich-Popov inequa","authors_text":"Daniel Bankmann, Matthias Voigt","cross_cats":["math.DS"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2017-03-03T15:51:23Z","title":"On linear-quadratic optimal control of implicit difference equations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.01217","kind":"arxiv","version":4},"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:30b419571b689a466981c39e57f56aa698aa8eaa4a696898d69bfe7dae9dd3f1","target":"record","created_at":"2026-05-18T00:31:55Z","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":"a2decf65c7dd18f1917d094f6e69e0506f846d37530f9ae6bcd63caad129e130","cross_cats_sorted":["math.DS"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2017-03-03T15:51:23Z","title_canon_sha256":"f78c4cb82b298db509ccfed60bec1b458f02bdf5f6e2a9bb56cccc47739267db"},"schema_version":"1.0","source":{"id":"1703.01217","kind":"arxiv","version":4}},"canonical_sha256":"ffb4bdce9b43b415fa8cd9d9116b8c9f1c175f1a2a0a06f42e3fb8b4093383ed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ffb4bdce9b43b415fa8cd9d9116b8c9f1c175f1a2a0a06f42e3fb8b4093383ed","first_computed_at":"2026-05-18T00:31:55.990569Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:31:55.990569Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HmtXuOt+rzcMYM2x2FBXQvchNVMOMICRK3zLpB7/oX0oh0vh5otdaa4IJzwSvPsQEGPYf1wymr+/z8bSo2xEAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:31:55.990993Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.01217","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:30b419571b689a466981c39e57f56aa698aa8eaa4a696898d69bfe7dae9dd3f1","sha256:50a0e9447698d342ba6a8ad4a5802b6d0292c85868672d396ea80285ad4ea416"],"state_sha256":"4c5faadd99245451c470e35c9288a8d721a43ae6ec97686967a86fbaa766fa88"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KcsL5zo07+0IZDiGmmd3A9+UfZsITh/rqMHnO8oiFe+ZLUEbvotXS92BY3GnsJUC3ix1B0Imh1U3flKHM8DOAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T13:32:34.181492Z","bundle_sha256":"f191eace39e81149466c123fea44b6e524fd713039c94217c317935841b7733f"}}