{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:L7BHBDM7G6HL5YCHRHYHT6ZKVL","short_pith_number":"pith:L7BHBDM7","canonical_record":{"source":{"id":"1509.01946","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2015-09-07T08:31:09Z","cross_cats_sorted":["math-ph","math.MP"],"title_canon_sha256":"4034d486b164fbc9d03b2346c9d11b48013974b5e856b8a2bf06ba4a0e23f390","abstract_canon_sha256":"ee073c6db63818c629f6160776c20b224f02470d0abc508b7ee9495f13f869bc"},"schema_version":"1.0"},"canonical_sha256":"5fc2708d9f378ebee04789f079fb2aaad5f1db6074818f226337dd31f9eb65d7","source":{"kind":"arxiv","id":"1509.01946","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.01946","created_at":"2026-05-18T01:18:18Z"},{"alias_kind":"arxiv_version","alias_value":"1509.01946v2","created_at":"2026-05-18T01:18:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.01946","created_at":"2026-05-18T01:18:18Z"},{"alias_kind":"pith_short_12","alias_value":"L7BHBDM7G6HL","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"L7BHBDM7G6HL5YCH","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"L7BHBDM7","created_at":"2026-05-18T12:29:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:L7BHBDM7G6HL5YCHRHYHT6ZKVL","target":"record","payload":{"canonical_record":{"source":{"id":"1509.01946","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2015-09-07T08:31:09Z","cross_cats_sorted":["math-ph","math.MP"],"title_canon_sha256":"4034d486b164fbc9d03b2346c9d11b48013974b5e856b8a2bf06ba4a0e23f390","abstract_canon_sha256":"ee073c6db63818c629f6160776c20b224f02470d0abc508b7ee9495f13f869bc"},"schema_version":"1.0"},"canonical_sha256":"5fc2708d9f378ebee04789f079fb2aaad5f1db6074818f226337dd31f9eb65d7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:18:18.303656Z","signature_b64":"BjstAy7OQGrQKioGA9MORdrH8YjJStkl3Y7egPXTUmuK8QdRH7PaceMWrIaMr88/hU5L4ry4XXO2wewHwkwQDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5fc2708d9f378ebee04789f079fb2aaad5f1db6074818f226337dd31f9eb65d7","last_reissued_at":"2026-05-18T01:18:18.303135Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:18:18.303135Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1509.01946","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-18T01:18:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iCCG/6CnbmvQ11N0JgW0OpWxu7138m8v6asE546UjL78T2XyCcX0I0rjzCsVL6nmomJ+NupmREF5+22Il8FWAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T10:26:02.727526Z"},"content_sha256":"9f09778c659075973aaed4c29f57325547469bf919d3a8243def63d08296a20e","schema_version":"1.0","event_id":"sha256:9f09778c659075973aaed4c29f57325547469bf919d3a8243def63d08296a20e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:L7BHBDM7G6HL5YCHRHYHT6ZKVL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Implicit Lagrange-Routh Equations and Dirac Reduction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math-ph","math.MP"],"primary_cat":"math.DG","authors_text":"Eduardo Garc\\'ia-Tora\\~no Andr\\'es, Hiroaki Yoshimura, Tom Mestdag","submitted_at":"2015-09-07T08:31:09Z","abstract_excerpt":"In this paper, we make a generalization of Routh's reduction method for Lagrangian systems with symmetry to the case where not any regularity condition is imposed on the Lagrangian. First, we show how implicit Lagrange-Routh equations can be obtained from the Hamilton-Pontryagin principle, by making use of an anholonomic frame, and how these equations can be reduced. To do this, we keep the momentum constraint implicit throughout and we make use of a Routhian function defined on a certain submanifold of the Pontryagin bundle. Then, we show how the reduced implicit Lagrange-Routh equations can "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.01946","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":""},"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:18:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Jhoa926aAvqBnla/DVxyxyGzfXAMkoMR21cW94TtTP0XUEu1nksyX+UieYVwS0JSDoTlJg7txxz5y7dstX+jDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T10:26:02.727873Z"},"content_sha256":"53555c407db6033e6b83b3ded3e1e3dcdbf229c3ea60351830b40d8f6a2ca417","schema_version":"1.0","event_id":"sha256:53555c407db6033e6b83b3ded3e1e3dcdbf229c3ea60351830b40d8f6a2ca417"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L7BHBDM7G6HL5YCHRHYHT6ZKVL/bundle.json","state_url":"https://pith.science/pith/L7BHBDM7G6HL5YCHRHYHT6ZKVL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L7BHBDM7G6HL5YCHRHYHT6ZKVL/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-24T10:26:02Z","links":{"resolver":"https://pith.science/pith/L7BHBDM7G6HL5YCHRHYHT6ZKVL","bundle":"https://pith.science/pith/L7BHBDM7G6HL5YCHRHYHT6ZKVL/bundle.json","state":"https://pith.science/pith/L7BHBDM7G6HL5YCHRHYHT6ZKVL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L7BHBDM7G6HL5YCHRHYHT6ZKVL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:L7BHBDM7G6HL5YCHRHYHT6ZKVL","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":"ee073c6db63818c629f6160776c20b224f02470d0abc508b7ee9495f13f869bc","cross_cats_sorted":["math-ph","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2015-09-07T08:31:09Z","title_canon_sha256":"4034d486b164fbc9d03b2346c9d11b48013974b5e856b8a2bf06ba4a0e23f390"},"schema_version":"1.0","source":{"id":"1509.01946","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.01946","created_at":"2026-05-18T01:18:18Z"},{"alias_kind":"arxiv_version","alias_value":"1509.01946v2","created_at":"2026-05-18T01:18:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.01946","created_at":"2026-05-18T01:18:18Z"},{"alias_kind":"pith_short_12","alias_value":"L7BHBDM7G6HL","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"L7BHBDM7G6HL5YCH","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"L7BHBDM7","created_at":"2026-05-18T12:29:29Z"}],"graph_snapshots":[{"event_id":"sha256:53555c407db6033e6b83b3ded3e1e3dcdbf229c3ea60351830b40d8f6a2ca417","target":"graph","created_at":"2026-05-18T01:18:18Z","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 paper, we make a generalization of Routh's reduction method for Lagrangian systems with symmetry to the case where not any regularity condition is imposed on the Lagrangian. First, we show how implicit Lagrange-Routh equations can be obtained from the Hamilton-Pontryagin principle, by making use of an anholonomic frame, and how these equations can be reduced. To do this, we keep the momentum constraint implicit throughout and we make use of a Routhian function defined on a certain submanifold of the Pontryagin bundle. Then, we show how the reduced implicit Lagrange-Routh equations can ","authors_text":"Eduardo Garc\\'ia-Tora\\~no Andr\\'es, Hiroaki Yoshimura, Tom Mestdag","cross_cats":["math-ph","math.MP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2015-09-07T08:31:09Z","title":"Implicit Lagrange-Routh Equations and Dirac Reduction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.01946","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:9f09778c659075973aaed4c29f57325547469bf919d3a8243def63d08296a20e","target":"record","created_at":"2026-05-18T01:18:18Z","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":"ee073c6db63818c629f6160776c20b224f02470d0abc508b7ee9495f13f869bc","cross_cats_sorted":["math-ph","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2015-09-07T08:31:09Z","title_canon_sha256":"4034d486b164fbc9d03b2346c9d11b48013974b5e856b8a2bf06ba4a0e23f390"},"schema_version":"1.0","source":{"id":"1509.01946","kind":"arxiv","version":2}},"canonical_sha256":"5fc2708d9f378ebee04789f079fb2aaad5f1db6074818f226337dd31f9eb65d7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5fc2708d9f378ebee04789f079fb2aaad5f1db6074818f226337dd31f9eb65d7","first_computed_at":"2026-05-18T01:18:18.303135Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:18:18.303135Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BjstAy7OQGrQKioGA9MORdrH8YjJStkl3Y7egPXTUmuK8QdRH7PaceMWrIaMr88/hU5L4ry4XXO2wewHwkwQDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:18:18.303656Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.01946","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9f09778c659075973aaed4c29f57325547469bf919d3a8243def63d08296a20e","sha256:53555c407db6033e6b83b3ded3e1e3dcdbf229c3ea60351830b40d8f6a2ca417"],"state_sha256":"36509cb2e359a15a8911a041f1616bf8e1803cd56afaff26e081ab9d84429a54"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Pzy1H9CsqnHmQGMmBWIBu+/2SLfDmRO7QBYP+gr18WRmRXTgUXNm9260ZV9hyz6cTo1Fv8pJ+tmqZedx9f30CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T10:26:02.729803Z","bundle_sha256":"d6575806c5514d44352d8ff592f66b0cd4d4277a50f7131decab374ad8f3ede3"}}