{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:OR5F5Z3PUYDEFZOQ7I3T2UWFLQ","short_pith_number":"pith:OR5F5Z3P","canonical_record":{"source":{"id":"1503.03610","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2015-03-12T07:10:13Z","cross_cats_sorted":["math.GR","math.MG","math.OC"],"title_canon_sha256":"67533fc75f1fcc513c571474c0af11b4a6cfa7a4f0c13a37200e5f17ae3e4a59","abstract_canon_sha256":"00e0168b3eab4388ca559dc1bb9fe7cefca86f434849c61595d1fac1d32f2ac3"},"schema_version":"1.0"},"canonical_sha256":"747a5ee76fa60642e5d0fa373d52c55c1fe09ad5d9a70847acce258fffbfd89f","source":{"kind":"arxiv","id":"1503.03610","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.03610","created_at":"2026-05-18T00:54:41Z"},{"alias_kind":"arxiv_version","alias_value":"1503.03610v1","created_at":"2026-05-18T00:54:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.03610","created_at":"2026-05-18T00:54:41Z"},{"alias_kind":"pith_short_12","alias_value":"OR5F5Z3PUYDE","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"OR5F5Z3PUYDEFZOQ","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"OR5F5Z3P","created_at":"2026-05-18T12:29:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:OR5F5Z3PUYDEFZOQ7I3T2UWFLQ","target":"record","payload":{"canonical_record":{"source":{"id":"1503.03610","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2015-03-12T07:10:13Z","cross_cats_sorted":["math.GR","math.MG","math.OC"],"title_canon_sha256":"67533fc75f1fcc513c571474c0af11b4a6cfa7a4f0c13a37200e5f17ae3e4a59","abstract_canon_sha256":"00e0168b3eab4388ca559dc1bb9fe7cefca86f434849c61595d1fac1d32f2ac3"},"schema_version":"1.0"},"canonical_sha256":"747a5ee76fa60642e5d0fa373d52c55c1fe09ad5d9a70847acce258fffbfd89f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:54:41.714633Z","signature_b64":"whmWSmXr3sN9aqzIWuI4FOWVdZYIhbM9hXLBX670MGXRqLFskd2cxX1/xKCS86U1dd6oX/qFozNWgG7q1JXzDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"747a5ee76fa60642e5d0fa373d52c55c1fe09ad5d9a70847acce258fffbfd89f","last_reissued_at":"2026-05-18T00:54:41.714213Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:54:41.714213Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1503.03610","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-18T00:54:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a25ilTkZwKQsgRZDxrUfAd75YdlKDGrPXjwPdHoxJMT2oeiL+YimBGH7daxdZj0Sajzb27UBWtNWK7YqTbeqCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T17:37:29.523445Z"},"content_sha256":"423acdfc074c687982553bfa830599e5d9fa21ee80433bb0fdebb43a21be656e","schema_version":"1.0","event_id":"sha256:423acdfc074c687982553bfa830599e5d9fa21ee80433bb0fdebb43a21be656e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:OR5F5Z3PUYDEFZOQ7I3T2UWFLQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sard Property for the endpoint map on some Carnot groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GR","math.MG","math.OC"],"primary_cat":"math.DG","authors_text":"Alessandro Ottazzi, Davide Vittone, Enrico Le Donne, Pierre Pansu, Richard Montgomery","submitted_at":"2015-03-12T07:10:13Z","abstract_excerpt":"In Carnot-Caratheodory or sub-Riemannian geometry, one of the major open problems is whether the conclusions of Sard's theorem holds for the endpoint map, a canonical map from an infinite-dimensional path space to the underlying finite-dimensional manifold. The set of critical values for the endpoint map is also known as abnormal set, being the set of endpoints of abnormal extremals leaving the base point. We prove that a strong version of Sard's property holds for all step-2 Carnot groups and several other classes of Lie groups endowed with left-invariant distributions. Namely, we prove that "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.03610","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-18T00:54:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z1ZubNx/CoDdR06ZIFnvVtkxvEwc7VgjbhSRCNkc7bfSTbvDvj87gNnQGG6ZwqrxAlw0a8flr+qbXhWSnqRNDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T17:37:29.523794Z"},"content_sha256":"c917184e3e1d8965383a3d5f245748374fd7f55d98b0b1e6a5fb36c155050d06","schema_version":"1.0","event_id":"sha256:c917184e3e1d8965383a3d5f245748374fd7f55d98b0b1e6a5fb36c155050d06"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OR5F5Z3PUYDEFZOQ7I3T2UWFLQ/bundle.json","state_url":"https://pith.science/pith/OR5F5Z3PUYDEFZOQ7I3T2UWFLQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OR5F5Z3PUYDEFZOQ7I3T2UWFLQ/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-02T17:37:29Z","links":{"resolver":"https://pith.science/pith/OR5F5Z3PUYDEFZOQ7I3T2UWFLQ","bundle":"https://pith.science/pith/OR5F5Z3PUYDEFZOQ7I3T2UWFLQ/bundle.json","state":"https://pith.science/pith/OR5F5Z3PUYDEFZOQ7I3T2UWFLQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OR5F5Z3PUYDEFZOQ7I3T2UWFLQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:OR5F5Z3PUYDEFZOQ7I3T2UWFLQ","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":"00e0168b3eab4388ca559dc1bb9fe7cefca86f434849c61595d1fac1d32f2ac3","cross_cats_sorted":["math.GR","math.MG","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2015-03-12T07:10:13Z","title_canon_sha256":"67533fc75f1fcc513c571474c0af11b4a6cfa7a4f0c13a37200e5f17ae3e4a59"},"schema_version":"1.0","source":{"id":"1503.03610","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.03610","created_at":"2026-05-18T00:54:41Z"},{"alias_kind":"arxiv_version","alias_value":"1503.03610v1","created_at":"2026-05-18T00:54:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.03610","created_at":"2026-05-18T00:54:41Z"},{"alias_kind":"pith_short_12","alias_value":"OR5F5Z3PUYDE","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"OR5F5Z3PUYDEFZOQ","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"OR5F5Z3P","created_at":"2026-05-18T12:29:34Z"}],"graph_snapshots":[{"event_id":"sha256:c917184e3e1d8965383a3d5f245748374fd7f55d98b0b1e6a5fb36c155050d06","target":"graph","created_at":"2026-05-18T00:54:41Z","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 Carnot-Caratheodory or sub-Riemannian geometry, one of the major open problems is whether the conclusions of Sard's theorem holds for the endpoint map, a canonical map from an infinite-dimensional path space to the underlying finite-dimensional manifold. The set of critical values for the endpoint map is also known as abnormal set, being the set of endpoints of abnormal extremals leaving the base point. We prove that a strong version of Sard's property holds for all step-2 Carnot groups and several other classes of Lie groups endowed with left-invariant distributions. Namely, we prove that ","authors_text":"Alessandro Ottazzi, Davide Vittone, Enrico Le Donne, Pierre Pansu, Richard Montgomery","cross_cats":["math.GR","math.MG","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2015-03-12T07:10:13Z","title":"Sard Property for the endpoint map on some Carnot groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.03610","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:423acdfc074c687982553bfa830599e5d9fa21ee80433bb0fdebb43a21be656e","target":"record","created_at":"2026-05-18T00:54:41Z","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":"00e0168b3eab4388ca559dc1bb9fe7cefca86f434849c61595d1fac1d32f2ac3","cross_cats_sorted":["math.GR","math.MG","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2015-03-12T07:10:13Z","title_canon_sha256":"67533fc75f1fcc513c571474c0af11b4a6cfa7a4f0c13a37200e5f17ae3e4a59"},"schema_version":"1.0","source":{"id":"1503.03610","kind":"arxiv","version":1}},"canonical_sha256":"747a5ee76fa60642e5d0fa373d52c55c1fe09ad5d9a70847acce258fffbfd89f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"747a5ee76fa60642e5d0fa373d52c55c1fe09ad5d9a70847acce258fffbfd89f","first_computed_at":"2026-05-18T00:54:41.714213Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:54:41.714213Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"whmWSmXr3sN9aqzIWuI4FOWVdZYIhbM9hXLBX670MGXRqLFskd2cxX1/xKCS86U1dd6oX/qFozNWgG7q1JXzDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:54:41.714633Z","signed_message":"canonical_sha256_bytes"},"source_id":"1503.03610","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:423acdfc074c687982553bfa830599e5d9fa21ee80433bb0fdebb43a21be656e","sha256:c917184e3e1d8965383a3d5f245748374fd7f55d98b0b1e6a5fb36c155050d06"],"state_sha256":"ca0669e0f52eb750f4fc76120284c6f23032cca69ba13a7a8865fde9db3b85a5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uhTxuOycekJxMZcW4L6JxlBZf++SZy+BUGzfRa2Zy/X7vT6LBCwyy3NW2rmcbmYhICJTQhAEnyGoLOAVH33OBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T17:37:29.525763Z","bundle_sha256":"a705e6e3fc4a891fe09892b6ab3a44e7fc2dfe3f1ae85a421bca85cd84b8032f"}}