{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:OCPAFUII2N57W3MX5DX6KBBIA6","short_pith_number":"pith:OCPAFUII","canonical_record":{"source":{"id":"2306.03808","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-06-06T15:50:49Z","cross_cats_sorted":[],"title_canon_sha256":"a6676ac3a5aaeb0ac96bc75dcdf3e6f8e9e9e3f2d21b44aeed22c343e1ff9f37","abstract_canon_sha256":"fdd2cd4ea4a94713ebb66387a0e7d37a0bbf663bf3f8a095edba4de77e9c804b"},"schema_version":"1.0"},"canonical_sha256":"709e02d108d37bfb6d97e8efe50428078952a40d2399f28bcf76b6f4ceb8b41a","source":{"kind":"arxiv","id":"2306.03808","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.03808","created_at":"2026-07-05T09:29:23Z"},{"alias_kind":"arxiv_version","alias_value":"2306.03808v3","created_at":"2026-07-05T09:29:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.03808","created_at":"2026-07-05T09:29:23Z"},{"alias_kind":"pith_short_12","alias_value":"OCPAFUII2N57","created_at":"2026-07-05T09:29:23Z"},{"alias_kind":"pith_short_16","alias_value":"OCPAFUII2N57W3MX","created_at":"2026-07-05T09:29:23Z"},{"alias_kind":"pith_short_8","alias_value":"OCPAFUII","created_at":"2026-07-05T09:29:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:OCPAFUII2N57W3MX5DX6KBBIA6","target":"record","payload":{"canonical_record":{"source":{"id":"2306.03808","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-06-06T15:50:49Z","cross_cats_sorted":[],"title_canon_sha256":"a6676ac3a5aaeb0ac96bc75dcdf3e6f8e9e9e3f2d21b44aeed22c343e1ff9f37","abstract_canon_sha256":"fdd2cd4ea4a94713ebb66387a0e7d37a0bbf663bf3f8a095edba4de77e9c804b"},"schema_version":"1.0"},"canonical_sha256":"709e02d108d37bfb6d97e8efe50428078952a40d2399f28bcf76b6f4ceb8b41a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:29:23.705602Z","signature_b64":"G4En29EvNPKjCPaj2X+FDj4Qd7LDp3ttFTmj5RkIfVSFQPqA23m3eKsUMFpIossFUFy4UvSEytzbOnDwFahICw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"709e02d108d37bfb6d97e8efe50428078952a40d2399f28bcf76b6f4ceb8b41a","last_reissued_at":"2026-07-05T09:29:23.705101Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:29:23.705101Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2306.03808","source_version":3,"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-05T09:29:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hRFJNiqxEDOEGbePNktGB9/NCaAQsM6cRMgFWTRuyHOnln3YfXJW/+Ph19qfP/kB6UdQKpuLJnsqK4bzpksfBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T11:00:58.362297Z"},"content_sha256":"91bb473cc48fa7a4f787626e9542c5950566932a6dbfc70ea88d2e5d1b038dfb","schema_version":"1.0","event_id":"sha256:91bb473cc48fa7a4f787626e9542c5950566932a6dbfc70ea88d2e5d1b038dfb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:OCPAFUII2N57W3MX5DX6KBBIA6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Aubry-Mather theory for optimal control systems with nonholonomic constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Cristian Mendico, Piermarco Cannarsa","submitted_at":"2023-06-06T15:50:49Z","abstract_excerpt":"In this work, we extend Aubry-Mather theory to the case of control systems with nonholonomic constraints. In this framework, we consider an optimal control problem where admissible trajectories are solutions of a control-affine equation. Such an equation is associated with a family of smooth vector fields that satisfy the Hormander condition, which implies the controllability of the system. In this case, the Hamiltonian fails to be coercive, so results for Tonelli Hamiltonians cannot be applied. To overcome these obstacles, we develop an intrinsic approach based on the metric properties of the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.03808","kind":"arxiv","version":3},"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/2306.03808/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-05T09:29:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BC8R9bswfo6qaIlKrUMjBZSJlGI4A4zLNORLKF7HQUcjk2MEaJBKNbakOB9kZ9oj4WCxp06nnx/JcEVH50ObAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T11:00:58.362681Z"},"content_sha256":"61ddd61b3d1250e921d7be234edee3677a0ee3a90e6b671474fd0418556054a1","schema_version":"1.0","event_id":"sha256:61ddd61b3d1250e921d7be234edee3677a0ee3a90e6b671474fd0418556054a1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OCPAFUII2N57W3MX5DX6KBBIA6/bundle.json","state_url":"https://pith.science/pith/OCPAFUII2N57W3MX5DX6KBBIA6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OCPAFUII2N57W3MX5DX6KBBIA6/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-07T11:00:58Z","links":{"resolver":"https://pith.science/pith/OCPAFUII2N57W3MX5DX6KBBIA6","bundle":"https://pith.science/pith/OCPAFUII2N57W3MX5DX6KBBIA6/bundle.json","state":"https://pith.science/pith/OCPAFUII2N57W3MX5DX6KBBIA6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OCPAFUII2N57W3MX5DX6KBBIA6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:OCPAFUII2N57W3MX5DX6KBBIA6","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":"fdd2cd4ea4a94713ebb66387a0e7d37a0bbf663bf3f8a095edba4de77e9c804b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-06-06T15:50:49Z","title_canon_sha256":"a6676ac3a5aaeb0ac96bc75dcdf3e6f8e9e9e3f2d21b44aeed22c343e1ff9f37"},"schema_version":"1.0","source":{"id":"2306.03808","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.03808","created_at":"2026-07-05T09:29:23Z"},{"alias_kind":"arxiv_version","alias_value":"2306.03808v3","created_at":"2026-07-05T09:29:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.03808","created_at":"2026-07-05T09:29:23Z"},{"alias_kind":"pith_short_12","alias_value":"OCPAFUII2N57","created_at":"2026-07-05T09:29:23Z"},{"alias_kind":"pith_short_16","alias_value":"OCPAFUII2N57W3MX","created_at":"2026-07-05T09:29:23Z"},{"alias_kind":"pith_short_8","alias_value":"OCPAFUII","created_at":"2026-07-05T09:29:23Z"}],"graph_snapshots":[{"event_id":"sha256:61ddd61b3d1250e921d7be234edee3677a0ee3a90e6b671474fd0418556054a1","target":"graph","created_at":"2026-07-05T09:29:23Z","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/2306.03808/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this work, we extend Aubry-Mather theory to the case of control systems with nonholonomic constraints. In this framework, we consider an optimal control problem where admissible trajectories are solutions of a control-affine equation. Such an equation is associated with a family of smooth vector fields that satisfy the Hormander condition, which implies the controllability of the system. In this case, the Hamiltonian fails to be coercive, so results for Tonelli Hamiltonians cannot be applied. To overcome these obstacles, we develop an intrinsic approach based on the metric properties of the","authors_text":"Cristian Mendico, Piermarco Cannarsa","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-06-06T15:50:49Z","title":"Aubry-Mather theory for optimal control systems with nonholonomic constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.03808","kind":"arxiv","version":3},"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:91bb473cc48fa7a4f787626e9542c5950566932a6dbfc70ea88d2e5d1b038dfb","target":"record","created_at":"2026-07-05T09:29:23Z","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":"fdd2cd4ea4a94713ebb66387a0e7d37a0bbf663bf3f8a095edba4de77e9c804b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-06-06T15:50:49Z","title_canon_sha256":"a6676ac3a5aaeb0ac96bc75dcdf3e6f8e9e9e3f2d21b44aeed22c343e1ff9f37"},"schema_version":"1.0","source":{"id":"2306.03808","kind":"arxiv","version":3}},"canonical_sha256":"709e02d108d37bfb6d97e8efe50428078952a40d2399f28bcf76b6f4ceb8b41a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"709e02d108d37bfb6d97e8efe50428078952a40d2399f28bcf76b6f4ceb8b41a","first_computed_at":"2026-07-05T09:29:23.705101Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:29:23.705101Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"G4En29EvNPKjCPaj2X+FDj4Qd7LDp3ttFTmj5RkIfVSFQPqA23m3eKsUMFpIossFUFy4UvSEytzbOnDwFahICw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:29:23.705602Z","signed_message":"canonical_sha256_bytes"},"source_id":"2306.03808","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:91bb473cc48fa7a4f787626e9542c5950566932a6dbfc70ea88d2e5d1b038dfb","sha256:61ddd61b3d1250e921d7be234edee3677a0ee3a90e6b671474fd0418556054a1"],"state_sha256":"2104e5c817382dd68ede99f53945ff91676a11a40f5b72708c07dbdde426c159"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g1CSzU6ZuuJ4Qdsy9Z+BjXnIl3OoprXGb/Ixl+jVN9RPCeiOgXvIgCLulXW04RozlS1og9/XIU2fBHdNsT+sDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T11:00:58.364611Z","bundle_sha256":"5d17f39b22a5d02b8262de80d086141fe788f5b74161fa98a84286b2ff148fe1"}}