{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:ILOYKWENC7G4CJPEKCB7SUGLIW","short_pith_number":"pith:ILOYKWEN","schema_version":"1.0","canonical_sha256":"42dd85588d17cdc125e45083f950cb458acdc168a373dc53daa4bf80b95e60c1","source":{"kind":"arxiv","id":"2604.09333","version":2},"attestation_state":"computed","paper":{"title":"Zero asymptotics for successive derivatives of hyperexponential functions with finite essential singularities","license":"http://creativecommons.org/licenses/by/4.0/","headline":"After removing forced singular factors from the numerator, the zeros of high-order derivatives of hyperexponential functions converge in the plane to the Voronoi edges of all finite singular points plus weighted atoms at the essential ones.","cross_cats":["math.CA"],"primary_cat":"math.CV","authors_text":"Boris Shapiro, Christian H\\\"agg","submitted_at":"2026-04-10T14:01:04Z","abstract_excerpt":"P\\'olya's shire theorem identifies the final set of zeros of successive derivatives of an arbitrary meromorphic function with at least one pole with the Voronoi diagram of its finite poles. We prove a fixed-scale zero-counting law for hyperexponential functions $f=(P/Q)\\exp(S/T)$, allowing ordinary poles and finite essential singularities of arbitrary order and position, thus extending P\\'olya's picture beyond the rational, polynomial-exponential, and one-dimensional finite-essential-singularity settings. After the forced singular factors are removed from the numerator of $f^{(n)}$, the normal"},"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":"2604.09333","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CV","submitted_at":"2026-04-10T14:01:04Z","cross_cats_sorted":["math.CA"],"title_canon_sha256":"24a2af0a163a96d37783dc74e2440cc946d90b9af5304715c01e51bd3c919713","abstract_canon_sha256":"b4acae87c90691fcbb138b23fc34f16ac7bb127e40bf97f35cfdb72aeb1e8e8e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:01:41.220139Z","signature_b64":"1jgrC6pGleqI4WcL9txo6xsnogyKnvuxX7gpc8bXPbIbzMYThrPdw5WAlkSuFjEp21+eHfQt6YTfO1b2slaeBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"42dd85588d17cdc125e45083f950cb458acdc168a373dc53daa4bf80b95e60c1","last_reissued_at":"2026-05-20T00:01:41.219383Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:01:41.219383Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Zero asymptotics for successive derivatives of hyperexponential functions with finite essential singularities","license":"http://creativecommons.org/licenses/by/4.0/","headline":"After removing forced singular factors from the numerator, the zeros of high-order derivatives of hyperexponential functions converge in the plane to the Voronoi edges of all finite singular points plus weighted atoms at the essential ones.","cross_cats":["math.CA"],"primary_cat":"math.CV","authors_text":"Boris Shapiro, Christian H\\\"agg","submitted_at":"2026-04-10T14:01:04Z","abstract_excerpt":"P\\'olya's shire theorem identifies the final set of zeros of successive derivatives of an arbitrary meromorphic function with at least one pole with the Voronoi diagram of its finite poles. We prove a fixed-scale zero-counting law for hyperexponential functions $f=(P/Q)\\exp(S/T)$, allowing ordinary poles and finite essential singularities of arbitrary order and position, thus extending P\\'olya's picture beyond the rational, polynomial-exponential, and one-dimensional finite-essential-singularity settings. After the forced singular factors are removed from the numerator of $f^{(n)}$, the normal"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"After the forced singular factors are removed from the numerator of f^{(n)}, the normalized zero-counting measures converge in the original z-plane to the classical Voronoi edge measure generated by all finite singular sites, augmented by explicitly weighted atoms at the finite essential singularities.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The function belongs to the hyperexponential class f=(P/Q)exp(S/T) whose finite essential singularities are of arbitrary but finite order and whose exponent S/T satisfies the stated polynomial-growth condition; the proof relies on this form to separate forced singular factors and to apply potential-theoretic limits without additional growth restrictions.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"The authors extend Pólya's shire theorem to hyperexponential functions f=(P/Q)exp(S/T), showing that normalized zero-counting measures of derivatives converge to a Voronoi edge measure augmented by weighted atoms at essential singularities, with explicit microscopic cluster laws.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"After removing forced singular factors from the numerator, the zeros of high-order derivatives of hyperexponential functions converge in the plane to the Voronoi edges of all finite singular points plus weighted atoms at the essential ones.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"7494ac73e2c6d8b62d0dff06475eb5b3c9113922c49af9c5b3dacbb6c7e2c964"},"source":{"id":"2604.09333","kind":"arxiv","version":2},"verdict":{"id":"c1750307-5f59-409a-93d9-e213690344b8","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-19T18:14:51.240918Z","strongest_claim":"After the forced singular factors are removed from the numerator of f^{(n)}, the normalized zero-counting measures converge in the original z-plane to the classical Voronoi edge measure generated by all finite singular sites, augmented by explicitly weighted atoms at the finite essential singularities.","one_line_summary":"The authors extend Pólya's shire theorem to hyperexponential functions f=(P/Q)exp(S/T), showing that normalized zero-counting measures of derivatives converge to a Voronoi edge measure augmented by weighted atoms at essential singularities, with explicit microscopic cluster laws.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The function belongs to the hyperexponential class f=(P/Q)exp(S/T) whose finite essential singularities are of arbitrary but finite order and whose exponent S/T satisfies the stated polynomial-growth condition; the proof relies on this form to separate forced singular factors and to apply potential-theoretic limits without additional growth restrictions.","pith_extraction_headline":"After removing forced singular factors from the numerator, the zeros of high-order derivatives of hyperexponential functions converge in the plane to the Voronoi edges of all finite singular points plus weighted atoms at the essential ones."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2604.09333/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":28,"sample":[{"doi":"","year":2017,"title":"R. Bøgvad and C. Hägg,A refinement for rational functions of Pólya’s method to construct Voronoi diagrams, J. Math. Anal. Appl.452(2017), no. 1, 312–334. 1, 2","work_id":"3211ae3b-3bdd-4a29-968d-be3f2629c5d5","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2025,"title":"R. Bøgvad, B. Shapiro, G. Tahar, and S. Warakkagun,The translation geometry of Pólya’s shires, arXiv:2503.07895 (2025), to appear inDuke Mathematical Journal. 1, 2","work_id":"025bdaba-7044-4780-ba1e-63385fd57f94","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2014,"title":"S. Chen, R. Feng, and M. F. Singer,Parallel Telescoping and Parameterized Picard–Vessiot Theory, Proceedings of ISSAC 2014, ACM, New York, 2014, pp. 137–144. 2","work_id":"60684445-8d8e-47c0-b49c-0e350c6f104b","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1991,"title":"J. G. Clunie and A. Edrei,Zeros of successive derivatives of analytic functions having a single essential singularity II, J. Anal. Math.56(1991), 141–185. 1, 2","work_id":"45009811-39d6-4e46-a024-f2e8c26f4c24","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1999,"title":"Deift,Orthogonal Polynomials and Random Matrices: a Riemann–Hilbert Approach, Courant Lecture Notes in Mathematics3, Amer","work_id":"b00499dd-c8d2-4fcb-a09f-e503461cb0d0","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":28,"snapshot_sha256":"d618b376723c2547fbc7fb0141412fabe5d8a3546b6bde38c8018faf0e473b9b","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2604.09333","created_at":"2026-05-20T00:01:41.219503+00:00"},{"alias_kind":"arxiv_version","alias_value":"2604.09333v2","created_at":"2026-05-20T00:01:41.219503+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.09333","created_at":"2026-05-20T00:01:41.219503+00:00"},{"alias_kind":"pith_short_12","alias_value":"ILOYKWENC7G4","created_at":"2026-05-20T00:01:41.219503+00:00"},{"alias_kind":"pith_short_16","alias_value":"ILOYKWENC7G4CJPE","created_at":"2026-05-20T00:01:41.219503+00:00"},{"alias_kind":"pith_short_8","alias_value":"ILOYKWEN","created_at":"2026-05-20T00:01:41.219503+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/ILOYKWENC7G4CJPEKCB7SUGLIW","json":"https://pith.science/pith/ILOYKWENC7G4CJPEKCB7SUGLIW.json","graph_json":"https://pith.science/api/pith-number/ILOYKWENC7G4CJPEKCB7SUGLIW/graph.json","events_json":"https://pith.science/api/pith-number/ILOYKWENC7G4CJPEKCB7SUGLIW/events.json","paper":"https://pith.science/paper/ILOYKWEN"},"agent_actions":{"view_html":"https://pith.science/pith/ILOYKWENC7G4CJPEKCB7SUGLIW","download_json":"https://pith.science/pith/ILOYKWENC7G4CJPEKCB7SUGLIW.json","view_paper":"https://pith.science/paper/ILOYKWEN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2604.09333&json=true","fetch_graph":"https://pith.science/api/pith-number/ILOYKWENC7G4CJPEKCB7SUGLIW/graph.json","fetch_events":"https://pith.science/api/pith-number/ILOYKWENC7G4CJPEKCB7SUGLIW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ILOYKWENC7G4CJPEKCB7SUGLIW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ILOYKWENC7G4CJPEKCB7SUGLIW/action/storage_attestation","attest_author":"https://pith.science/pith/ILOYKWENC7G4CJPEKCB7SUGLIW/action/author_attestation","sign_citation":"https://pith.science/pith/ILOYKWENC7G4CJPEKCB7SUGLIW/action/citation_signature","submit_replication":"https://pith.science/pith/ILOYKWENC7G4CJPEKCB7SUGLIW/action/replication_record"}},"created_at":"2026-05-20T00:01:41.219503+00:00","updated_at":"2026-05-20T00:01:41.219503+00:00"}