{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:TKRTF5WB4TTVJ3GC6UIYCJJ6KO","short_pith_number":"pith:TKRTF5WB","canonical_record":{"source":{"id":"1509.05415","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2015-09-17T20:15:34Z","cross_cats_sorted":["math.AP","math.SP"],"title_canon_sha256":"20ffdc27f776190a338932a5a4255092300313b5da1794978ca74c54694579c4","abstract_canon_sha256":"d833a6394994a0f3f11b42830afb4b5c43545ecc91017418a294371981ccd600"},"schema_version":"1.0"},"canonical_sha256":"9aa332f6c1e4e754ecc2f51181253e538658c75a74d536904d6452b564500693","source":{"kind":"arxiv","id":"1509.05415","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.05415","created_at":"2026-05-17T23:54:27Z"},{"alias_kind":"arxiv_version","alias_value":"1509.05415v3","created_at":"2026-05-17T23:54:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.05415","created_at":"2026-05-17T23:54:27Z"},{"alias_kind":"pith_short_12","alias_value":"TKRTF5WB4TTV","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"TKRTF5WB4TTVJ3GC","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"TKRTF5WB","created_at":"2026-05-18T12:29:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:TKRTF5WB4TTVJ3GC6UIYCJJ6KO","target":"record","payload":{"canonical_record":{"source":{"id":"1509.05415","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2015-09-17T20:15:34Z","cross_cats_sorted":["math.AP","math.SP"],"title_canon_sha256":"20ffdc27f776190a338932a5a4255092300313b5da1794978ca74c54694579c4","abstract_canon_sha256":"d833a6394994a0f3f11b42830afb4b5c43545ecc91017418a294371981ccd600"},"schema_version":"1.0"},"canonical_sha256":"9aa332f6c1e4e754ecc2f51181253e538658c75a74d536904d6452b564500693","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:54:27.208537Z","signature_b64":"9/25vjx5IvBUbWfAE/S0kLwiU85faHbKknDr3mkY8/QM3R2j5jZn/bJATPvgNQKL66dKJdhhLwqcRVNL4XMbBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9aa332f6c1e4e754ecc2f51181253e538658c75a74d536904d6452b564500693","last_reissued_at":"2026-05-17T23:54:27.207786Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:54:27.207786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1509.05415","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-17T23:54:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zlNjyHB968HuPy0OuWcvCOUHabyuJAIcdZz8wv4/SANAwcBhst7pHPv6UUxpyqcqlUuY1QR5LJXRksgYcYNCBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T20:19:42.772091Z"},"content_sha256":"9b4b969a03063133921edc552605cde13429cdcfc41482776af2ecc7940ba5ed","schema_version":"1.0","event_id":"sha256:9b4b969a03063133921edc552605cde13429cdcfc41482776af2ecc7940ba5ed"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:TKRTF5WB4TTVJ3GC6UIYCJJ6KO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A sub-Riemannian Santal\\'o formula with applications to isoperimetric inequalities and first Dirichlet eigenvalue of hypoelliptic operators","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AP","math.SP"],"primary_cat":"math.DG","authors_text":"Dario Prandi, Luca Rizzi, Marcello Seri","submitted_at":"2015-09-17T20:15:34Z","abstract_excerpt":"In this paper we prove a sub-Riemannian version of the classical Santal\\'o formula: a result in integral geometry that describes the intrinsic Liouville measure on the unit cotangent bundle in terms of the geodesic flow. Our construction works under quite general assumptions, satisfied by any sub-Riemannian structure associated with a Riemannian foliation with totally geodesic leaves (e.g. CR and QC manifolds with symmetries), any Carnot group, and some non-equiregular structures such as the Martinet one. A key ingredient is a \"reduction procedure\" that allows to consider only a simple subset "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.05415","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-17T23:54:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yUqL292X9qT/GFF3WzNrxNxLKHOWKqjk9PJguTrmi+ZGHIXg5JHj0LaBz5aMBq5TpIRPjwND9/NwGoHu3t04BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T20:19:42.772440Z"},"content_sha256":"a0f74f0c4265ff049116cdb5955965a9d9f8f5a64c42c735d78bdecbf2f82c8f","schema_version":"1.0","event_id":"sha256:a0f74f0c4265ff049116cdb5955965a9d9f8f5a64c42c735d78bdecbf2f82c8f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TKRTF5WB4TTVJ3GC6UIYCJJ6KO/bundle.json","state_url":"https://pith.science/pith/TKRTF5WB4TTVJ3GC6UIYCJJ6KO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TKRTF5WB4TTVJ3GC6UIYCJJ6KO/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-01T20:19:42Z","links":{"resolver":"https://pith.science/pith/TKRTF5WB4TTVJ3GC6UIYCJJ6KO","bundle":"https://pith.science/pith/TKRTF5WB4TTVJ3GC6UIYCJJ6KO/bundle.json","state":"https://pith.science/pith/TKRTF5WB4TTVJ3GC6UIYCJJ6KO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TKRTF5WB4TTVJ3GC6UIYCJJ6KO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:TKRTF5WB4TTVJ3GC6UIYCJJ6KO","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":"d833a6394994a0f3f11b42830afb4b5c43545ecc91017418a294371981ccd600","cross_cats_sorted":["math.AP","math.SP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2015-09-17T20:15:34Z","title_canon_sha256":"20ffdc27f776190a338932a5a4255092300313b5da1794978ca74c54694579c4"},"schema_version":"1.0","source":{"id":"1509.05415","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.05415","created_at":"2026-05-17T23:54:27Z"},{"alias_kind":"arxiv_version","alias_value":"1509.05415v3","created_at":"2026-05-17T23:54:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.05415","created_at":"2026-05-17T23:54:27Z"},{"alias_kind":"pith_short_12","alias_value":"TKRTF5WB4TTV","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"TKRTF5WB4TTVJ3GC","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"TKRTF5WB","created_at":"2026-05-18T12:29:42Z"}],"graph_snapshots":[{"event_id":"sha256:a0f74f0c4265ff049116cdb5955965a9d9f8f5a64c42c735d78bdecbf2f82c8f","target":"graph","created_at":"2026-05-17T23:54:27Z","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 prove a sub-Riemannian version of the classical Santal\\'o formula: a result in integral geometry that describes the intrinsic Liouville measure on the unit cotangent bundle in terms of the geodesic flow. Our construction works under quite general assumptions, satisfied by any sub-Riemannian structure associated with a Riemannian foliation with totally geodesic leaves (e.g. CR and QC manifolds with symmetries), any Carnot group, and some non-equiregular structures such as the Martinet one. A key ingredient is a \"reduction procedure\" that allows to consider only a simple subset ","authors_text":"Dario Prandi, Luca Rizzi, Marcello Seri","cross_cats":["math.AP","math.SP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2015-09-17T20:15:34Z","title":"A sub-Riemannian Santal\\'o formula with applications to isoperimetric inequalities and first Dirichlet eigenvalue of hypoelliptic operators"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.05415","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:9b4b969a03063133921edc552605cde13429cdcfc41482776af2ecc7940ba5ed","target":"record","created_at":"2026-05-17T23:54:27Z","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":"d833a6394994a0f3f11b42830afb4b5c43545ecc91017418a294371981ccd600","cross_cats_sorted":["math.AP","math.SP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2015-09-17T20:15:34Z","title_canon_sha256":"20ffdc27f776190a338932a5a4255092300313b5da1794978ca74c54694579c4"},"schema_version":"1.0","source":{"id":"1509.05415","kind":"arxiv","version":3}},"canonical_sha256":"9aa332f6c1e4e754ecc2f51181253e538658c75a74d536904d6452b564500693","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9aa332f6c1e4e754ecc2f51181253e538658c75a74d536904d6452b564500693","first_computed_at":"2026-05-17T23:54:27.207786Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:54:27.207786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9/25vjx5IvBUbWfAE/S0kLwiU85faHbKknDr3mkY8/QM3R2j5jZn/bJATPvgNQKL66dKJdhhLwqcRVNL4XMbBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:54:27.208537Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.05415","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b4b969a03063133921edc552605cde13429cdcfc41482776af2ecc7940ba5ed","sha256:a0f74f0c4265ff049116cdb5955965a9d9f8f5a64c42c735d78bdecbf2f82c8f"],"state_sha256":"a80e304c3071095d2d0953e3a8e4ea1d09bb5a85c6a4df5188c0e9cfb910bb97"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T6b4cK3RUGk4gwQJgLgNPdrmwkD/sfZqSWP6jfQGEb9tE1BryAYYgkXG4KscwzdpWDJulbKX3Q8enZLI+XNkDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T20:19:42.774248Z","bundle_sha256":"ebcf8c7458bf544dcbaf473178875e10929464214b1e27068f611e2feb4f7618"}}