{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:IUQN7TXTLJ7ER4JM3WGX647KLT","short_pith_number":"pith:IUQN7TXT","canonical_record":{"source":{"id":"2503.21007","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-03-26T21:48:50Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"64064809591907857aec7343f18235bc3a22f29dbc8acdf90187345cba44640c","abstract_canon_sha256":"0272d6b2ea02f3d359f0b1f11a7ff0d7d3d8d8bdc92c92bf8036db9cb31ac9dd"},"schema_version":"1.0"},"canonical_sha256":"4520dfcef35a7e48f12cdd8d7f73ea5ccc78cd4d868b735e2c0ef25a4c8649a1","source":{"kind":"arxiv","id":"2503.21007","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.21007","created_at":"2026-05-20T01:04:53Z"},{"alias_kind":"arxiv_version","alias_value":"2503.21007v2","created_at":"2026-05-20T01:04:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.21007","created_at":"2026-05-20T01:04:53Z"},{"alias_kind":"pith_short_12","alias_value":"IUQN7TXTLJ7E","created_at":"2026-05-20T01:04:53Z"},{"alias_kind":"pith_short_16","alias_value":"IUQN7TXTLJ7ER4JM","created_at":"2026-05-20T01:04:53Z"},{"alias_kind":"pith_short_8","alias_value":"IUQN7TXT","created_at":"2026-05-20T01:04:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:IUQN7TXTLJ7ER4JM3WGX647KLT","target":"record","payload":{"canonical_record":{"source":{"id":"2503.21007","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-03-26T21:48:50Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"64064809591907857aec7343f18235bc3a22f29dbc8acdf90187345cba44640c","abstract_canon_sha256":"0272d6b2ea02f3d359f0b1f11a7ff0d7d3d8d8bdc92c92bf8036db9cb31ac9dd"},"schema_version":"1.0"},"canonical_sha256":"4520dfcef35a7e48f12cdd8d7f73ea5ccc78cd4d868b735e2c0ef25a4c8649a1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T01:04:53.314836Z","signature_b64":"ds+LDc2tb2fvixCJTJ+xpw8G9xffhHHFiE3PXTvGRQOaxxnKMWvUHjePYNA5qKVHlFNGC8f7+F+MPudK7bfiAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4520dfcef35a7e48f12cdd8d7f73ea5ccc78cd4d868b735e2c0ef25a4c8649a1","last_reissued_at":"2026-05-20T01:04:53.314053Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T01:04:53.314053Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.21007","source_version":2,"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-20T01:04:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ro2gQN9pcKCfeAtFGt8oBASZno4Igsp9svv00a4eZ+YhGRMSrQ+MCz16o/Fayh8TjaPHqKI/Cq5RMEeZIfjfBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T11:34:18.500960Z"},"content_sha256":"f111e96678d3eba419de5dc3bd50d1ee3f38e7c135186fc0236f66667c595eff","schema_version":"1.0","event_id":"sha256:f111e96678d3eba419de5dc3bd50d1ee3f38e7c135186fc0236f66667c595eff"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:IUQN7TXTLJ7ER4JM3WGX647KLT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bounds on Deep Neural Network Partial Derivatives with Respect to Parameters","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Brandon C. Fallin, Cristian F. Nino, Omkar Sudhir Patil, Rebecca G. Hart, Warren E. Dixon","submitted_at":"2025-03-26T21:48:50Z","abstract_excerpt":"Deep neural networks (DNNs) have emerged as a powerful tool with a growing body of literature exploring Lyapunov-based approaches for real-time system identification and control. These methods depend on establishing bounds for the second partial derivatives of DNNs with respect to their parameters, a requirement often assumed but rarely addressed explicitly. This paper provides rigorous mathematical formulations of polynomial bounds on both the first and second partial derivatives of DNNs with respect to their parameters. We present lemmas that characterize these bounds for fully-connected DNN"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.21007","kind":"arxiv","version":2},"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/2503.21007/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-05-20T01:04:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pNrT5ES2ITsh7Jm7AmSkCcOwDkPQh1QR6osNet6eqG3kJMLZulNsruuR8nyHqE7d7TSpjJUXAvglZRo0HZBpCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T11:34:18.501336Z"},"content_sha256":"bdd2ad9686911ff5e7b5d2d444cf0978d063d8d669e0e4f99023ff8d91939c46","schema_version":"1.0","event_id":"sha256:bdd2ad9686911ff5e7b5d2d444cf0978d063d8d669e0e4f99023ff8d91939c46"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IUQN7TXTLJ7ER4JM3WGX647KLT/bundle.json","state_url":"https://pith.science/pith/IUQN7TXTLJ7ER4JM3WGX647KLT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IUQN7TXTLJ7ER4JM3WGX647KLT/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-30T11:34:18Z","links":{"resolver":"https://pith.science/pith/IUQN7TXTLJ7ER4JM3WGX647KLT","bundle":"https://pith.science/pith/IUQN7TXTLJ7ER4JM3WGX647KLT/bundle.json","state":"https://pith.science/pith/IUQN7TXTLJ7ER4JM3WGX647KLT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IUQN7TXTLJ7ER4JM3WGX647KLT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:IUQN7TXTLJ7ER4JM3WGX647KLT","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":"0272d6b2ea02f3d359f0b1f11a7ff0d7d3d8d8bdc92c92bf8036db9cb31ac9dd","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-03-26T21:48:50Z","title_canon_sha256":"64064809591907857aec7343f18235bc3a22f29dbc8acdf90187345cba44640c"},"schema_version":"1.0","source":{"id":"2503.21007","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.21007","created_at":"2026-05-20T01:04:53Z"},{"alias_kind":"arxiv_version","alias_value":"2503.21007v2","created_at":"2026-05-20T01:04:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.21007","created_at":"2026-05-20T01:04:53Z"},{"alias_kind":"pith_short_12","alias_value":"IUQN7TXTLJ7E","created_at":"2026-05-20T01:04:53Z"},{"alias_kind":"pith_short_16","alias_value":"IUQN7TXTLJ7ER4JM","created_at":"2026-05-20T01:04:53Z"},{"alias_kind":"pith_short_8","alias_value":"IUQN7TXT","created_at":"2026-05-20T01:04:53Z"}],"graph_snapshots":[{"event_id":"sha256:bdd2ad9686911ff5e7b5d2d444cf0978d063d8d669e0e4f99023ff8d91939c46","target":"graph","created_at":"2026-05-20T01:04: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2503.21007/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Deep neural networks (DNNs) have emerged as a powerful tool with a growing body of literature exploring Lyapunov-based approaches for real-time system identification and control. These methods depend on establishing bounds for the second partial derivatives of DNNs with respect to their parameters, a requirement often assumed but rarely addressed explicitly. This paper provides rigorous mathematical formulations of polynomial bounds on both the first and second partial derivatives of DNNs with respect to their parameters. We present lemmas that characterize these bounds for fully-connected DNN","authors_text":"Brandon C. Fallin, Cristian F. Nino, Omkar Sudhir Patil, Rebecca G. Hart, Warren E. Dixon","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-03-26T21:48:50Z","title":"Bounds on Deep Neural Network Partial Derivatives with Respect to Parameters"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.21007","kind":"arxiv","version":2},"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:f111e96678d3eba419de5dc3bd50d1ee3f38e7c135186fc0236f66667c595eff","target":"record","created_at":"2026-05-20T01:04: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":"0272d6b2ea02f3d359f0b1f11a7ff0d7d3d8d8bdc92c92bf8036db9cb31ac9dd","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-03-26T21:48:50Z","title_canon_sha256":"64064809591907857aec7343f18235bc3a22f29dbc8acdf90187345cba44640c"},"schema_version":"1.0","source":{"id":"2503.21007","kind":"arxiv","version":2}},"canonical_sha256":"4520dfcef35a7e48f12cdd8d7f73ea5ccc78cd4d868b735e2c0ef25a4c8649a1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4520dfcef35a7e48f12cdd8d7f73ea5ccc78cd4d868b735e2c0ef25a4c8649a1","first_computed_at":"2026-05-20T01:04:53.314053Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T01:04:53.314053Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ds+LDc2tb2fvixCJTJ+xpw8G9xffhHHFiE3PXTvGRQOaxxnKMWvUHjePYNA5qKVHlFNGC8f7+F+MPudK7bfiAw==","signature_status":"signed_v1","signed_at":"2026-05-20T01:04:53.314836Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.21007","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f111e96678d3eba419de5dc3bd50d1ee3f38e7c135186fc0236f66667c595eff","sha256:bdd2ad9686911ff5e7b5d2d444cf0978d063d8d669e0e4f99023ff8d91939c46"],"state_sha256":"b6a593cff33f652baad3c8a3de016db8a54c2c24815ce83f495a6a296147861f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iV2yUI+rHjKxeh7tI0AaULb2AWbkeZcioK/ywPR6jY3brtLdsoSAWek+G+rS2WG1Q7tuWSKCDzce42r9Jp1TCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T11:34:18.503250Z","bundle_sha256":"8e04afab568ad2c72659f05ecacd7f2b16eebec8968fc57a1e0d451a3442111f"}}