{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:YHF77FPIZ5XVZUT7F76PUUVUFB","short_pith_number":"pith:YHF77FPI","canonical_record":{"source":{"id":"1512.06955","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-12-22T04:39:11Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"f3f80c94828381275c30f5ac6fd82ba95fab86fa2687a6d66498a0198157483a","abstract_canon_sha256":"d6cb461ba2ca7448c5ff2012351dd72dcb0e358502d09350a453a7d8d5771a0e"},"schema_version":"1.0"},"canonical_sha256":"c1cbff95e8cf6f5cd27f2ffcfa52b42871569859186ffe104a47bbb57a58eb17","source":{"kind":"arxiv","id":"1512.06955","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.06955","created_at":"2026-05-18T01:23:53Z"},{"alias_kind":"arxiv_version","alias_value":"1512.06955v1","created_at":"2026-05-18T01:23:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.06955","created_at":"2026-05-18T01:23:53Z"},{"alias_kind":"pith_short_12","alias_value":"YHF77FPIZ5XV","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"YHF77FPIZ5XVZUT7","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"YHF77FPI","created_at":"2026-05-18T12:29:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:YHF77FPIZ5XVZUT7F76PUUVUFB","target":"record","payload":{"canonical_record":{"source":{"id":"1512.06955","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-12-22T04:39:11Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"f3f80c94828381275c30f5ac6fd82ba95fab86fa2687a6d66498a0198157483a","abstract_canon_sha256":"d6cb461ba2ca7448c5ff2012351dd72dcb0e358502d09350a453a7d8d5771a0e"},"schema_version":"1.0"},"canonical_sha256":"c1cbff95e8cf6f5cd27f2ffcfa52b42871569859186ffe104a47bbb57a58eb17","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:23:53.345372Z","signature_b64":"+wF1McoBNhDEYW4sVXGdnHqrSymmQvv7za9IzRhNAKuFBtpoQZOAO4I0w+QGQkpgWoIUxI11a2VXHePCDKE4CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c1cbff95e8cf6f5cd27f2ffcfa52b42871569859186ffe104a47bbb57a58eb17","last_reissued_at":"2026-05-18T01:23:53.344700Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:23:53.344700Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1512.06955","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-05-18T01:23:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6CItksWpGriJ71puH29oZZUB51+6cF59aZeNHmAZJLxH1/vmUkQVgKYRJHjZWdBeyu3iiEwLahf+n41ANDluAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T23:21:47.133548Z"},"content_sha256":"4f733ed0469fa8a08aa6781cfcb30286ee84b32ca8beafab4b7778fa763298a5","schema_version":"1.0","event_id":"sha256:4f733ed0469fa8a08aa6781cfcb30286ee84b32ca8beafab4b7778fa763298a5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:YHF77FPIZ5XVZUT7F76PUUVUFB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Global Dynamical Solvers for Nonlinear Programming Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"math.OC","authors_text":"Iasson Karafyllis, Miroslav Krstic","submitted_at":"2015-12-22T04:39:11Z","abstract_excerpt":"We construct a family of globally defined dynamical systems for a nonlinear programming problem, such that: (a) the equilibrium points are the unknown (and sought) critical points of the problem, (b) for every initial condition, the solution of the corresponding initial value problem converges to the set of critical points, (c) every strict local minimum is locally asymptotically stable, (d) the feasible set is a positively invariant set, and (e) the dynamical system is given explicitly and does not involve the unknown critical points of the problem. No convexity assumption is employed. The co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.06955","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":""},"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-18T01:23:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qTZ29HqE+yk1xH/QfYoMLxAxOs6eZ6Mh9+BiZSBwtgx44kruqr4NdpRmzUU60volIhYlROM2ALOEpuOOpM3VDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T23:21:47.134161Z"},"content_sha256":"fb9802f8f1738ef3dd251c3a68a3bb387700dd087ebe3ce03480e2bf8c221968","schema_version":"1.0","event_id":"sha256:fb9802f8f1738ef3dd251c3a68a3bb387700dd087ebe3ce03480e2bf8c221968"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YHF77FPIZ5XVZUT7F76PUUVUFB/bundle.json","state_url":"https://pith.science/pith/YHF77FPIZ5XVZUT7F76PUUVUFB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YHF77FPIZ5XVZUT7F76PUUVUFB/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-05-31T23:21:47Z","links":{"resolver":"https://pith.science/pith/YHF77FPIZ5XVZUT7F76PUUVUFB","bundle":"https://pith.science/pith/YHF77FPIZ5XVZUT7F76PUUVUFB/bundle.json","state":"https://pith.science/pith/YHF77FPIZ5XVZUT7F76PUUVUFB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YHF77FPIZ5XVZUT7F76PUUVUFB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:YHF77FPIZ5XVZUT7F76PUUVUFB","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":"d6cb461ba2ca7448c5ff2012351dd72dcb0e358502d09350a453a7d8d5771a0e","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-12-22T04:39:11Z","title_canon_sha256":"f3f80c94828381275c30f5ac6fd82ba95fab86fa2687a6d66498a0198157483a"},"schema_version":"1.0","source":{"id":"1512.06955","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.06955","created_at":"2026-05-18T01:23:53Z"},{"alias_kind":"arxiv_version","alias_value":"1512.06955v1","created_at":"2026-05-18T01:23:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.06955","created_at":"2026-05-18T01:23:53Z"},{"alias_kind":"pith_short_12","alias_value":"YHF77FPIZ5XV","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"YHF77FPIZ5XVZUT7","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"YHF77FPI","created_at":"2026-05-18T12:29:50Z"}],"graph_snapshots":[{"event_id":"sha256:fb9802f8f1738ef3dd251c3a68a3bb387700dd087ebe3ce03480e2bf8c221968","target":"graph","created_at":"2026-05-18T01:23:53Z","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":"We construct a family of globally defined dynamical systems for a nonlinear programming problem, such that: (a) the equilibrium points are the unknown (and sought) critical points of the problem, (b) for every initial condition, the solution of the corresponding initial value problem converges to the set of critical points, (c) every strict local minimum is locally asymptotically stable, (d) the feasible set is a positively invariant set, and (e) the dynamical system is given explicitly and does not involve the unknown critical points of the problem. No convexity assumption is employed. The co","authors_text":"Iasson Karafyllis, Miroslav Krstic","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-12-22T04:39:11Z","title":"Global Dynamical Solvers for Nonlinear Programming Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.06955","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:4f733ed0469fa8a08aa6781cfcb30286ee84b32ca8beafab4b7778fa763298a5","target":"record","created_at":"2026-05-18T01:23:53Z","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":"d6cb461ba2ca7448c5ff2012351dd72dcb0e358502d09350a453a7d8d5771a0e","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-12-22T04:39:11Z","title_canon_sha256":"f3f80c94828381275c30f5ac6fd82ba95fab86fa2687a6d66498a0198157483a"},"schema_version":"1.0","source":{"id":"1512.06955","kind":"arxiv","version":1}},"canonical_sha256":"c1cbff95e8cf6f5cd27f2ffcfa52b42871569859186ffe104a47bbb57a58eb17","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c1cbff95e8cf6f5cd27f2ffcfa52b42871569859186ffe104a47bbb57a58eb17","first_computed_at":"2026-05-18T01:23:53.344700Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:23:53.344700Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+wF1McoBNhDEYW4sVXGdnHqrSymmQvv7za9IzRhNAKuFBtpoQZOAO4I0w+QGQkpgWoIUxI11a2VXHePCDKE4CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:23:53.345372Z","signed_message":"canonical_sha256_bytes"},"source_id":"1512.06955","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4f733ed0469fa8a08aa6781cfcb30286ee84b32ca8beafab4b7778fa763298a5","sha256:fb9802f8f1738ef3dd251c3a68a3bb387700dd087ebe3ce03480e2bf8c221968"],"state_sha256":"b4b1910bf43b746d692d4229b7fef274f3a8d3a4199fd86e4a2a6f019650950c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uYGD0BNfJR6ZMFM0Vofe00nrXjwc6D3nEbWthNufyrGHlk8fcvtJ9i1KDvG1PKJ4eHAB3QUVCYdhh1pv7V16DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T23:21:47.137434Z","bundle_sha256":"4f548910513ca0265cb1397c633180d5c200edfb0ebc880c8e19dddb707b4218"}}