{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:WLZO3POSQB5JJKHUB3EZHFHEMJ","short_pith_number":"pith:WLZO3POS","canonical_record":{"source":{"id":"2604.18929","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2026-04-21T00:08:49Z","cross_cats_sorted":["math-ph","math.MP","math.PR"],"title_canon_sha256":"4329161bc9d009ac815bbb79e4f58cddfc7eac334a491973f64a8bbe95585ffe","abstract_canon_sha256":"3dfa76665155f8b3c594f570172a8c2f398d22137181715c50dd9bbca6bdcd4b"},"schema_version":"1.0"},"canonical_sha256":"b2f2edbdd2807a94a8f40ec99394e462504a1a8e684074043192a0467137e3af","source":{"kind":"arxiv","id":"2604.18929","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.18929","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"arxiv_version","alias_value":"2604.18929v3","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.18929","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"pith_short_12","alias_value":"WLZO3POSQB5J","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"pith_short_16","alias_value":"WLZO3POSQB5JJKHU","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"pith_short_8","alias_value":"WLZO3POS","created_at":"2026-05-20T00:05:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:WLZO3POSQB5JJKHUB3EZHFHEMJ","target":"record","payload":{"canonical_record":{"source":{"id":"2604.18929","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2026-04-21T00:08:49Z","cross_cats_sorted":["math-ph","math.MP","math.PR"],"title_canon_sha256":"4329161bc9d009ac815bbb79e4f58cddfc7eac334a491973f64a8bbe95585ffe","abstract_canon_sha256":"3dfa76665155f8b3c594f570172a8c2f398d22137181715c50dd9bbca6bdcd4b"},"schema_version":"1.0"},"canonical_sha256":"b2f2edbdd2807a94a8f40ec99394e462504a1a8e684074043192a0467137e3af","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:05:45.016230Z","signature_b64":"fuJrMRjWlSqSO3C1aimFd0kL7JSNbbHpPVInGjzboG2IwmniPJEXOYZ2HSjLc6bZMLmMWT4VP2tEkLyn4onyCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b2f2edbdd2807a94a8f40ec99394e462504a1a8e684074043192a0467137e3af","last_reissued_at":"2026-05-20T00:05:45.015561Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:05:45.015561Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2604.18929","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-20T00:05:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P+aPQYHRDdcjluaNI56EIEGxsn5i4RH8O2eKipFARzXYa/p1wJNkqzMp/OMSZmh3d78OVV9tBanrCv+e0QnOBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T00:14:46.089800Z"},"content_sha256":"3201d6de48e649836e6a27c1aee986bd7a33b3d45f26759a2458f91cfaea495e","schema_version":"1.0","event_id":"sha256:3201d6de48e649836e6a27c1aee986bd7a33b3d45f26759a2458f91cfaea495e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:WLZO3POSQB5JJKHUB3EZHFHEMJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Transfer Operators and SRB Measures for Axiom A Diffeomorphisms: Spectral Gap, Structural Stability, and the Gibbs Equivalence Theorem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"The Gibbs Equivalence Theorem for SRB measures on mixing basic sets of Axiom A diffeomorphisms follows from structural stability, transfer-operator spectral gaps, and the Pesin entropy formula.","cross_cats":["math-ph","math.MP","math.PR"],"primary_cat":"math.DS","authors_text":"Abdoulaye Thiam","submitted_at":"2026-04-21T00:08:49Z","abstract_excerpt":"We develop the Ruelle transfer operator theory for Axiom A diffeomorphisms and construct Sinai-Ruelle-Bowen measures, carrying the symbolic spectral results of Part I [64] over to smooth dynamics through the Markov partition coding of Part III [66]. This Part contains four Main Theorems. The first proves structural stability of Axiom A diffeomorphisms satisfying the strong transversality condition, with an explicit H\\\"older exponent for the conjugating homeomorphism in terms of the hyperbolicity data, refining the classical results of Robbin and Robinson. The second establishes quasi-compactne"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"The Gibbs Equivalence Theorem, assembling the symbolic, variational, spectral, and geometric characterizations of the equilibrium state on a mixing basic set, follows from these four Main Theorems together with the imported results of Parts I and III [64,66].","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The results depend on the Markov partition coding from Part III [66] to transfer symbolic spectral results from Part I [64] to smooth dynamics, plus the strong transversality condition for the structural stability theorem.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Proves structural stability with explicit Hölder exponent, transfer operator quasi-compactness with spectral gap, SRB measures as unique equilibrium states with explicit unstable densities, and Pesin entropy formula for Axiom A diffeomorphisms, yielding the Gibbs Equivalence Theorem.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"The Gibbs Equivalence Theorem for SRB measures on mixing basic sets of Axiom A diffeomorphisms follows from structural stability, transfer-operator spectral gaps, and the Pesin entropy formula.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"641d943c3071974ac22c8597b01bb40335394314b9579bb3b6bdb907bcdc898e"},"source":{"id":"2604.18929","kind":"arxiv","version":3},"verdict":{"id":"d6650388-7132-441c-acf7-4fc1649c0049","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-10T02:18:52.421083Z","strongest_claim":"The Gibbs Equivalence Theorem, assembling the symbolic, variational, spectral, and geometric characterizations of the equilibrium state on a mixing basic set, follows from these four Main Theorems together with the imported results of Parts I and III [64,66].","one_line_summary":"Proves structural stability with explicit Hölder exponent, transfer operator quasi-compactness with spectral gap, SRB measures as unique equilibrium states with explicit unstable densities, and Pesin entropy formula for Axiom A diffeomorphisms, yielding the Gibbs Equivalence Theorem.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The results depend on the Markov partition coding from Part III [66] to transfer symbolic spectral results from Part I [64] to smooth dynamics, plus the strong transversality condition for the structural stability theorem.","pith_extraction_headline":"The Gibbs Equivalence Theorem for SRB measures on mixing basic sets of Axiom A diffeomorphisms follows from structural stability, transfer-operator spectral gaps, and the Pesin entropy formula."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2604.18929/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":"d6650388-7132-441c-acf7-4fc1649c0049"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-20T00:05:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ESdJC0/r5Jx0HwW5UwbKIFUUiGE0iara0jzqu7fMLqNpDKPp7kTbAs/O8O+jf2PLRzCjWE3/GlypcVDo55hTDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T00:14:46.090390Z"},"content_sha256":"589beec2eaf860b23f6f0ddfc91d418d7fdedff28ce891d37a3b5260db21cc9e","schema_version":"1.0","event_id":"sha256:589beec2eaf860b23f6f0ddfc91d418d7fdedff28ce891d37a3b5260db21cc9e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WLZO3POSQB5JJKHUB3EZHFHEMJ/bundle.json","state_url":"https://pith.science/pith/WLZO3POSQB5JJKHUB3EZHFHEMJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WLZO3POSQB5JJKHUB3EZHFHEMJ/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-28T00:14:46Z","links":{"resolver":"https://pith.science/pith/WLZO3POSQB5JJKHUB3EZHFHEMJ","bundle":"https://pith.science/pith/WLZO3POSQB5JJKHUB3EZHFHEMJ/bundle.json","state":"https://pith.science/pith/WLZO3POSQB5JJKHUB3EZHFHEMJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WLZO3POSQB5JJKHUB3EZHFHEMJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:WLZO3POSQB5JJKHUB3EZHFHEMJ","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":"3dfa76665155f8b3c594f570172a8c2f398d22137181715c50dd9bbca6bdcd4b","cross_cats_sorted":["math-ph","math.MP","math.PR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2026-04-21T00:08:49Z","title_canon_sha256":"4329161bc9d009ac815bbb79e4f58cddfc7eac334a491973f64a8bbe95585ffe"},"schema_version":"1.0","source":{"id":"2604.18929","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.18929","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"arxiv_version","alias_value":"2604.18929v3","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.18929","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"pith_short_12","alias_value":"WLZO3POSQB5J","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"pith_short_16","alias_value":"WLZO3POSQB5JJKHU","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"pith_short_8","alias_value":"WLZO3POS","created_at":"2026-05-20T00:05:45Z"}],"graph_snapshots":[{"event_id":"sha256:589beec2eaf860b23f6f0ddfc91d418d7fdedff28ce891d37a3b5260db21cc9e","target":"graph","created_at":"2026-05-20T00:05:45Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"The Gibbs Equivalence Theorem, assembling the symbolic, variational, spectral, and geometric characterizations of the equilibrium state on a mixing basic set, follows from these four Main Theorems together with the imported results of Parts I and III [64,66]."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The results depend on the Markov partition coding from Part III [66] to transfer symbolic spectral results from Part I [64] to smooth dynamics, plus the strong transversality condition for the structural stability theorem."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Proves structural stability with explicit Hölder exponent, transfer operator quasi-compactness with spectral gap, SRB measures as unique equilibrium states with explicit unstable densities, and Pesin entropy formula for Axiom A diffeomorphisms, yielding the Gibbs Equivalence Theorem."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"The Gibbs Equivalence Theorem for SRB measures on mixing basic sets of Axiom A diffeomorphisms follows from structural stability, transfer-operator spectral gaps, and the Pesin entropy formula."}],"snapshot_sha256":"641d943c3071974ac22c8597b01bb40335394314b9579bb3b6bdb907bcdc898e"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2604.18929/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We develop the Ruelle transfer operator theory for Axiom A diffeomorphisms and construct Sinai-Ruelle-Bowen measures, carrying the symbolic spectral results of Part I [64] over to smooth dynamics through the Markov partition coding of Part III [66]. This Part contains four Main Theorems. The first proves structural stability of Axiom A diffeomorphisms satisfying the strong transversality condition, with an explicit H\\\"older exponent for the conjugating homeomorphism in terms of the hyperbolicity data, refining the classical results of Robbin and Robinson. The second establishes quasi-compactne","authors_text":"Abdoulaye Thiam","cross_cats":["math-ph","math.MP","math.PR"],"headline":"The Gibbs Equivalence Theorem for SRB measures on mixing basic sets of Axiom A diffeomorphisms follows from structural stability, transfer-operator spectral gaps, and the Pesin entropy formula.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2026-04-21T00:08:49Z","title":"Transfer Operators and SRB Measures for Axiom A Diffeomorphisms: Spectral Gap, Structural Stability, and the Gibbs Equivalence Theorem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.18929","kind":"arxiv","version":3},"verdict":{"created_at":"2026-05-10T02:18:52.421083Z","id":"d6650388-7132-441c-acf7-4fc1649c0049","model_set":{"reader":"grok-4.3"},"one_line_summary":"Proves structural stability with explicit Hölder exponent, transfer operator quasi-compactness with spectral gap, SRB measures as unique equilibrium states with explicit unstable densities, and Pesin entropy formula for Axiom A diffeomorphisms, yielding the Gibbs Equivalence Theorem.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"The Gibbs Equivalence Theorem for SRB measures on mixing basic sets of Axiom A diffeomorphisms follows from structural stability, transfer-operator spectral gaps, and the Pesin entropy formula.","strongest_claim":"The Gibbs Equivalence Theorem, assembling the symbolic, variational, spectral, and geometric characterizations of the equilibrium state on a mixing basic set, follows from these four Main Theorems together with the imported results of Parts I and III [64,66].","weakest_assumption":"The results depend on the Markov partition coding from Part III [66] to transfer symbolic spectral results from Part I [64] to smooth dynamics, plus the strong transversality condition for the structural stability theorem."}},"verdict_id":"d6650388-7132-441c-acf7-4fc1649c0049"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:3201d6de48e649836e6a27c1aee986bd7a33b3d45f26759a2458f91cfaea495e","target":"record","created_at":"2026-05-20T00:05:45Z","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":"3dfa76665155f8b3c594f570172a8c2f398d22137181715c50dd9bbca6bdcd4b","cross_cats_sorted":["math-ph","math.MP","math.PR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2026-04-21T00:08:49Z","title_canon_sha256":"4329161bc9d009ac815bbb79e4f58cddfc7eac334a491973f64a8bbe95585ffe"},"schema_version":"1.0","source":{"id":"2604.18929","kind":"arxiv","version":3}},"canonical_sha256":"b2f2edbdd2807a94a8f40ec99394e462504a1a8e684074043192a0467137e3af","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b2f2edbdd2807a94a8f40ec99394e462504a1a8e684074043192a0467137e3af","first_computed_at":"2026-05-20T00:05:45.015561Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:05:45.015561Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fuJrMRjWlSqSO3C1aimFd0kL7JSNbbHpPVInGjzboG2IwmniPJEXOYZ2HSjLc6bZMLmMWT4VP2tEkLyn4onyCg==","signature_status":"signed_v1","signed_at":"2026-05-20T00:05:45.016230Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.18929","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3201d6de48e649836e6a27c1aee986bd7a33b3d45f26759a2458f91cfaea495e","sha256:589beec2eaf860b23f6f0ddfc91d418d7fdedff28ce891d37a3b5260db21cc9e"],"state_sha256":"7fe64697d0be6a890eddd01a3b9d14fa4277b6b35678da293ba64a791594ad19"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DWit0uE3NVuo3HTDirV+U8TNa5oLLS5aTCFjs+oi9FsRO/YDRDZND24WaEESRiOuzbSxHneVJioG+2h7mhBzDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T00:14:46.093037Z","bundle_sha256":"77e15c236bfd2542d6d0d7f35573bc024eefa8d150e91cb203760291dc49d604"}}