{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:JKN3IHOSQXYXQL2C7QFZOTYA22","short_pith_number":"pith:JKN3IHOS","schema_version":"1.0","canonical_sha256":"4a9bb41dd285f1782f42fc0b974f00d697c023c353ba1586b85d315493cd8577","source":{"kind":"arxiv","id":"2605.13273","version":1},"attestation_state":"computed","paper":{"title":"Continuity properties of partial entropy","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"For C^{1+α} diffeomorphisms, partial entropy in every direction is upper semi-continuous whenever the sums of Lyapunov exponents are continuous.","cross_cats":[],"primary_cat":"math.DS","authors_text":"Gang Liao, Huirong Tao, Jiagang Yang, Yao Tong","submitted_at":"2026-05-13T09:50:11Z","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":true,"formal_links_present":false},"canonical_record":{"source":{"id":"2605.13273","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2026-05-13T09:50:11Z","cross_cats_sorted":[],"title_canon_sha256":"9d7d626163fbd111f2c9ded67ff04d3b5ade75b3c13253d18c7f783766417585","abstract_canon_sha256":"14baa8965897cf8d38c8b8e01faaf35e3c4e5c2da761d4a391d46b71815d33ba"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:44:49.260000Z","signature_b64":"l9buDtFS6IkyycjKC23MI4vUsxDj1Vsn/sO8xsSBVpbXYx+MFJyg+rFr33JF+xIRN4oJXoLQBG0EXCbpYI8PDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4a9bb41dd285f1782f42fc0b974f00d697c023c353ba1586b85d315493cd8577","last_reissued_at":"2026-05-18T02:44:49.259585Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:44:49.259585Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Continuity properties of partial entropy","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"For C^{1+α} diffeomorphisms, partial entropy in every direction is upper semi-continuous whenever the sums of Lyapunov exponents are continuous.","cross_cats":[],"primary_cat":"math.DS","authors_text":"Gang Liao, Huirong Tao, Jiagang Yang, Yao Tong","submitted_at":"2026-05-13T09:50:11Z","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"},"claims":{"count":4,"items":[{"kind":"strongest_claim","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.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","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.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","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.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"For C^{1+α} diffeomorphisms, partial entropy in every direction is upper semi-continuous whenever the sums of Lyapunov exponents are continuous.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"5b334b8bb0f07e3a7b8f383600c24d99e47bf5bc2ed6f86610e12b2081cbf013"},"source":{"id":"2605.13273","kind":"arxiv","version":1},"verdict":{"id":"b61bd8be-6bb0-4131-8c69-a5d60467f8b5","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-14T18:31:01.155417Z","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.","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","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.","pith_extraction_headline":"For C^{1+α} diffeomorphisms, partial entropy in every direction is upper semi-continuous whenever the sums of Lyapunov exponents are continuous."},"references":{"count":91,"sample":[{"doi":"","year":2011,"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","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1977,"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","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2009,"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","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2010,"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","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2026,"title":"On the loss of upper semi-continuity of metric entropy for $C^{r}$ diffeomorphisms","work_id":"969081af-1b8b-47dc-9e6e-e282515cb74d","ref_index":5,"cited_arxiv_id":"2604.05611","is_internal_anchor":true}],"resolved_work":91,"snapshot_sha256":"c656b46c4a0dc4a8ec224f0e38cf59ddab288a86ee5f69e9906a62964566da82","internal_anchors":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.13273","created_at":"2026-05-18T02:44:49.259652+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.13273v1","created_at":"2026-05-18T02:44:49.259652+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13273","created_at":"2026-05-18T02:44:49.259652+00:00"},{"alias_kind":"pith_short_12","alias_value":"JKN3IHOSQXYX","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_16","alias_value":"JKN3IHOSQXYXQL2C","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_8","alias_value":"JKN3IHOS","created_at":"2026-05-18T12:33:37.589309+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JKN3IHOSQXYXQL2C7QFZOTYA22","json":"https://pith.science/pith/JKN3IHOSQXYXQL2C7QFZOTYA22.json","graph_json":"https://pith.science/api/pith-number/JKN3IHOSQXYXQL2C7QFZOTYA22/graph.json","events_json":"https://pith.science/api/pith-number/JKN3IHOSQXYXQL2C7QFZOTYA22/events.json","paper":"https://pith.science/paper/JKN3IHOS"},"agent_actions":{"view_html":"https://pith.science/pith/JKN3IHOSQXYXQL2C7QFZOTYA22","download_json":"https://pith.science/pith/JKN3IHOSQXYXQL2C7QFZOTYA22.json","view_paper":"https://pith.science/paper/JKN3IHOS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.13273&json=true","fetch_graph":"https://pith.science/api/pith-number/JKN3IHOSQXYXQL2C7QFZOTYA22/graph.json","fetch_events":"https://pith.science/api/pith-number/JKN3IHOSQXYXQL2C7QFZOTYA22/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JKN3IHOSQXYXQL2C7QFZOTYA22/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JKN3IHOSQXYXQL2C7QFZOTYA22/action/storage_attestation","attest_author":"https://pith.science/pith/JKN3IHOSQXYXQL2C7QFZOTYA22/action/author_attestation","sign_citation":"https://pith.science/pith/JKN3IHOSQXYXQL2C7QFZOTYA22/action/citation_signature","submit_replication":"https://pith.science/pith/JKN3IHOSQXYXQL2C7QFZOTYA22/action/replication_record"}},"created_at":"2026-05-18T02:44:49.259652+00:00","updated_at":"2026-05-18T02:44:49.259652+00:00"}