{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:JKN3IHOSQXYXQL2C7QFZOTYA22","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":"14baa8965897cf8d38c8b8e01faaf35e3c4e5c2da761d4a391d46b71815d33ba","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2026-05-13T09:50:11Z","title_canon_sha256":"9d7d626163fbd111f2c9ded67ff04d3b5ade75b3c13253d18c7f783766417585"},"schema_version":"1.0","source":{"id":"2605.13273","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13273","created_at":"2026-05-18T02:44:49Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13273v1","created_at":"2026-05-18T02:44:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13273","created_at":"2026-05-18T02:44:49Z"},{"alias_kind":"pith_short_12","alias_value":"JKN3IHOSQXYX","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"JKN3IHOSQXYXQL2C","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"JKN3IHOS","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:ae7a238136c5e639a80ac208d4b0ef38a532164c5aad8aaf901a078473dc34d6","target":"graph","created_at":"2026-05-18T02:44:49Z","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":"We establish a general criterion on the upper semi-continuity of partial entropy in all directions for C^{1+α} diffeomorphisms: it holds when the respective sums of Lyapunov exponents are continuous."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The diffeomorphism must be C^{1+α} and the sums of Lyapunov exponents must be continuous; the criterion fails to apply if either condition is dropped."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Partial entropies are upper semi-continuous for C^{1+α} diffeomorphisms when Lyapunov exponent sums are continuous, implying the same property at generic ergodic measures."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"For C^{1+α} diffeomorphisms, partial entropy in every direction is upper semi-continuous whenever the sums of Lyapunov exponents are continuous."}],"snapshot_sha256":"5b334b8bb0f07e3a7b8f383600c24d99e47bf5bc2ed6f86610e12b2081cbf013"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We establish a general criterion on the upper semi-continuity of partial entropy in all directions for $C^{1+\\alpha}$ diffeomorphisms: it holds when the respective sums of Lyapunov exponents are continuous. This addresses, in arbitrary dimensions, the converse aspect of the entropic continuity of the Lyapunov exponents established by Buzzi, Crovisier, and Sarig. Consequently, the entropy (and all the partial entropies) is always upper semi-continuous at generic ergodic measures of every $C^{1+\\alpha}$ diffeomorphism, which extends the $C^{\\infty}$ result of Newhouse.\n  Numerous applications an","authors_text":"Gang Liao, Huirong Tao, Jiagang Yang, Yao Tong","cross_cats":[],"headline":"For C^{1+α} diffeomorphisms, partial entropy in every direction is upper semi-continuous whenever the sums of Lyapunov exponents are continuous.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2026-05-13T09:50:11Z","title":"Continuity properties of partial entropy"},"references":{"count":91,"internal_anchors":2,"resolved_work":91,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"F. Abdenur, C. Bonatti, and S. Crovisier. Nonuniform hyperbolicity forC 1-generic diffeomor- phisms.Israel J. Math., 183:1–60, 2011","work_id":"ad796388-e505-4fd7-ab15-ce17a506d9ae","year":2011},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"V. S. Afraimovich, V. V. Bykov, and L. P. Shilnikov. The origin and structure of the Lorenz attractor.Dokl. Akad. Nauk SSSR, 234(2):336–339, 1977","work_id":"6d272045-5cbb-446f-b53d-a9c6ebfbab0b","year":1977},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"V. Araujo, M. J. Pacifico, E. R. Pujals, and M. Viana. Singular-hyperbolic attractors are chaotic.Trans. Amer. Math. Soc., 361(5):2431–2485, 2009","work_id":"85700e0e-2bbb-4815-9ed9-a7c5ea80c5bb","year":2009},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"A. Avila and M. Viana. Extremal Lyapunov exponents: an invariance principle and applications. Invent. Math., 181(1):115–189, 2010","work_id":"65c1d8e3-ea37-4147-a1eb-ff2da89159e8","year":2010},{"cited_arxiv_id":"2604.05611","doi":"","is_internal_anchor":true,"ref_index":5,"title":"On the loss of upper semi-continuity of metric entropy for $C^{r}$ diffeomorphisms","work_id":"969081af-1b8b-47dc-9e6e-e282515cb74d","year":2026}],"snapshot_sha256":"c656b46c4a0dc4a8ec224f0e38cf59ddab288a86ee5f69e9906a62964566da82"},"source":{"id":"2605.13273","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T18:31:01.155417Z","id":"b61bd8be-6bb0-4131-8c69-a5d60467f8b5","model_set":{"reader":"grok-4.3"},"one_line_summary":"Partial entropies are upper semi-continuous for C^{1+α} diffeomorphisms when Lyapunov exponent sums are continuous, implying the same property at generic ergodic measures.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"For C^{1+α} diffeomorphisms, partial entropy in every direction is upper semi-continuous whenever the sums of Lyapunov exponents are continuous.","strongest_claim":"We establish a general criterion on the upper semi-continuity of partial entropy in all directions for C^{1+α} diffeomorphisms: it holds when the respective sums of Lyapunov exponents are continuous.","weakest_assumption":"The diffeomorphism must be C^{1+α} and the sums of Lyapunov exponents must be continuous; the criterion fails to apply if either condition is dropped."}},"verdict_id":"b61bd8be-6bb0-4131-8c69-a5d60467f8b5"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:3bee73184aeedc1a873e2fb2b22c8c93aaaa43099e1dcba1e1e86f4d187d9daa","target":"record","created_at":"2026-05-18T02:44:49Z","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":"14baa8965897cf8d38c8b8e01faaf35e3c4e5c2da761d4a391d46b71815d33ba","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2026-05-13T09:50:11Z","title_canon_sha256":"9d7d626163fbd111f2c9ded67ff04d3b5ade75b3c13253d18c7f783766417585"},"schema_version":"1.0","source":{"id":"2605.13273","kind":"arxiv","version":1}},"canonical_sha256":"4a9bb41dd285f1782f42fc0b974f00d697c023c353ba1586b85d315493cd8577","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4a9bb41dd285f1782f42fc0b974f00d697c023c353ba1586b85d315493cd8577","first_computed_at":"2026-05-18T02:44:49.259585Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:44:49.259585Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"l9buDtFS6IkyycjKC23MI4vUsxDj1Vsn/sO8xsSBVpbXYx+MFJyg+rFr33JF+xIRN4oJXoLQBG0EXCbpYI8PDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:44:49.260000Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.13273","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3bee73184aeedc1a873e2fb2b22c8c93aaaa43099e1dcba1e1e86f4d187d9daa","sha256:ae7a238136c5e639a80ac208d4b0ef38a532164c5aad8aaf901a078473dc34d6"],"state_sha256":"279e06c95b82ac5bf238151729e6c8705f0dff4cd77d223c82a261b1fc7e0785"}