{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:SA4ZAKPNCIO7KBYC3UBSFWYZML","short_pith_number":"pith:SA4ZAKPN","canonical_record":{"source":{"id":"1709.07726","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-09-21T17:57:56Z","cross_cats_sorted":[],"title_canon_sha256":"3070730a530c6796333943986e182d8589face8ffd03f0286f72912f6050839b","abstract_canon_sha256":"011f1c29805d6ce8faa08155a9bf225df97aa5b3ef1da340f8458b5ea4386c27"},"schema_version":"1.0"},"canonical_sha256":"90399029ed121df50702dd0322db1962e394631e990f036ef0ff01f5fde0db9e","source":{"kind":"arxiv","id":"1709.07726","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.07726","created_at":"2026-05-18T00:00:43Z"},{"alias_kind":"arxiv_version","alias_value":"1709.07726v3","created_at":"2026-05-18T00:00:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.07726","created_at":"2026-05-18T00:00:43Z"},{"alias_kind":"pith_short_12","alias_value":"SA4ZAKPNCIO7","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"SA4ZAKPNCIO7KBYC","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"SA4ZAKPN","created_at":"2026-05-18T12:31:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:SA4ZAKPNCIO7KBYC3UBSFWYZML","target":"record","payload":{"canonical_record":{"source":{"id":"1709.07726","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-09-21T17:57:56Z","cross_cats_sorted":[],"title_canon_sha256":"3070730a530c6796333943986e182d8589face8ffd03f0286f72912f6050839b","abstract_canon_sha256":"011f1c29805d6ce8faa08155a9bf225df97aa5b3ef1da340f8458b5ea4386c27"},"schema_version":"1.0"},"canonical_sha256":"90399029ed121df50702dd0322db1962e394631e990f036ef0ff01f5fde0db9e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:00:43.699210Z","signature_b64":"u6Zi/pm7sJcPuDTbM4kwEUXH7f1ZrpTN/0Tqr94OD6gqNuPTIQ+qSm3gzB0y3v5I6ngT/HK9lWrEWr3aAhD6CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"90399029ed121df50702dd0322db1962e394631e990f036ef0ff01f5fde0db9e","last_reissued_at":"2026-05-18T00:00:43.698771Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:00:43.698771Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1709.07726","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-05-18T00:00:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1/v47hSq6MHMRmu7/4HmsXe0egm75IAYi3hf7lBWbKolez0JMgP9kaoR2fmK8akHzx/irUyIXKTULA50LWYsCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T21:21:08.368956Z"},"content_sha256":"f5ad807ce3223eaae347b3e9303713882c62c585db61edad4c3bf798d4d3c783","schema_version":"1.0","event_id":"sha256:f5ad807ce3223eaae347b3e9303713882c62c585db61edad4c3bf798d4d3c783"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:SA4ZAKPNCIO7KBYC3UBSFWYZML","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A coordinate-free theory of virtual holonomic constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Alessandro Costalunga, Luca Consolini, Manfredi Maggiore","submitted_at":"2017-09-21T17:57:56Z","abstract_excerpt":"This paper presents a coordinate-free formulation of virtual holonomic constraints for underactuated Lagrangian control systems on Riemannian manifolds. It is shown that when a virtual constraint enjoys a regularity property, the constrained dynamics are described by an affine connection dynamical system. The affine connection of the constrained system has an elegant relationship to the Riemannian connection of the original Lagrangian control system. Necessary and sufficient conditions are given for the constrained dynamics to be Lagrangian. A key condition is that the affine connection of the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.07726","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":""},"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:00:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TPnvJ7oD8JlR35+bLcYHKT/b/lCzUA4BUUr+RO/qtRovUUUtBaCekYEjPNcMZ90pT8e9OmElggXjVe1U29TIAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T21:21:08.369680Z"},"content_sha256":"bee7537f38025ceb38a8c1e820a93b5831d282eaa39282ea7b790a23ec31870c","schema_version":"1.0","event_id":"sha256:bee7537f38025ceb38a8c1e820a93b5831d282eaa39282ea7b790a23ec31870c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SA4ZAKPNCIO7KBYC3UBSFWYZML/bundle.json","state_url":"https://pith.science/pith/SA4ZAKPNCIO7KBYC3UBSFWYZML/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SA4ZAKPNCIO7KBYC3UBSFWYZML/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-27T21:21:08Z","links":{"resolver":"https://pith.science/pith/SA4ZAKPNCIO7KBYC3UBSFWYZML","bundle":"https://pith.science/pith/SA4ZAKPNCIO7KBYC3UBSFWYZML/bundle.json","state":"https://pith.science/pith/SA4ZAKPNCIO7KBYC3UBSFWYZML/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SA4ZAKPNCIO7KBYC3UBSFWYZML/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:SA4ZAKPNCIO7KBYC3UBSFWYZML","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":"011f1c29805d6ce8faa08155a9bf225df97aa5b3ef1da340f8458b5ea4386c27","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-09-21T17:57:56Z","title_canon_sha256":"3070730a530c6796333943986e182d8589face8ffd03f0286f72912f6050839b"},"schema_version":"1.0","source":{"id":"1709.07726","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.07726","created_at":"2026-05-18T00:00:43Z"},{"alias_kind":"arxiv_version","alias_value":"1709.07726v3","created_at":"2026-05-18T00:00:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.07726","created_at":"2026-05-18T00:00:43Z"},{"alias_kind":"pith_short_12","alias_value":"SA4ZAKPNCIO7","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"SA4ZAKPNCIO7KBYC","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"SA4ZAKPN","created_at":"2026-05-18T12:31:43Z"}],"graph_snapshots":[{"event_id":"sha256:bee7537f38025ceb38a8c1e820a93b5831d282eaa39282ea7b790a23ec31870c","target":"graph","created_at":"2026-05-18T00:00:43Z","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":"This paper presents a coordinate-free formulation of virtual holonomic constraints for underactuated Lagrangian control systems on Riemannian manifolds. It is shown that when a virtual constraint enjoys a regularity property, the constrained dynamics are described by an affine connection dynamical system. The affine connection of the constrained system has an elegant relationship to the Riemannian connection of the original Lagrangian control system. Necessary and sufficient conditions are given for the constrained dynamics to be Lagrangian. A key condition is that the affine connection of the","authors_text":"Alessandro Costalunga, Luca Consolini, Manfredi Maggiore","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-09-21T17:57:56Z","title":"A coordinate-free theory of virtual holonomic constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.07726","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:f5ad807ce3223eaae347b3e9303713882c62c585db61edad4c3bf798d4d3c783","target":"record","created_at":"2026-05-18T00:00:43Z","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":"011f1c29805d6ce8faa08155a9bf225df97aa5b3ef1da340f8458b5ea4386c27","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-09-21T17:57:56Z","title_canon_sha256":"3070730a530c6796333943986e182d8589face8ffd03f0286f72912f6050839b"},"schema_version":"1.0","source":{"id":"1709.07726","kind":"arxiv","version":3}},"canonical_sha256":"90399029ed121df50702dd0322db1962e394631e990f036ef0ff01f5fde0db9e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"90399029ed121df50702dd0322db1962e394631e990f036ef0ff01f5fde0db9e","first_computed_at":"2026-05-18T00:00:43.698771Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:00:43.698771Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u6Zi/pm7sJcPuDTbM4kwEUXH7f1ZrpTN/0Tqr94OD6gqNuPTIQ+qSm3gzB0y3v5I6ngT/HK9lWrEWr3aAhD6CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:00:43.699210Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.07726","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f5ad807ce3223eaae347b3e9303713882c62c585db61edad4c3bf798d4d3c783","sha256:bee7537f38025ceb38a8c1e820a93b5831d282eaa39282ea7b790a23ec31870c"],"state_sha256":"e4b8e3f9611dc388d16f5abd903edfdeb9fc475675f8f06b6ea5fccd3a77d8ba"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HiT0JdxMSoWbDqOgEraNO23ni5ykHBjszrax1r1Kea5YYm2UymA0YQhzVwBRiWCFqIQ2fukbL1vx3H5p0KglAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T21:21:08.373453Z","bundle_sha256":"51e87b67f7dfdd5e9fa22d4a2753847f26b17eadb2ee099ea1e99c1037fe5440"}}