{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:Y43DL2V35SULWLAJ4ST35SEFSB","short_pith_number":"pith:Y43DL2V3","schema_version":"1.0","canonical_sha256":"c73635eabbeca8bb2c09e4a7bec885907ae1f73860d413c29ab9e17523165f37","source":{"kind":"arxiv","id":"2605.17680","version":1},"attestation_state":"computed","paper":{"title":"On singular integrals with non-negative kernels in the Heisenberg group","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"L^2 boundedness of the K_4 singular integral on a 1-Ahlfors regular set in the Heisenberg group implies it lies in a 1-Ahlfors regular curve.","cross_cats":["math.MG"],"primary_cat":"math.CA","authors_text":"Lingxiao Zhang, Sean Li, Vasileios Chousionis","submitted_at":"2026-05-17T22:41:12Z","abstract_excerpt":"In this paper we revisit nonnegative kernels in the first Heisenberg group $\\He$, and in particular we further study the family $$K_\\alpha(x,y,z)= \\frac{|z|^{\\alpha/2}}{\\|(x,y,z)\\|_{H}^{\\alpha+1}}, \\quad \\alpha>0,$$ which was introduced in \\cite{CL}.\n  We first show that if $E \\subset \\He$ is a $1$-Ahlfors regular set and the SIO associated with the kernel $K_4$ is $L^2(E)$-bounded, then $E$ is contained in a $1$-Ahlfors regular curve. Combined with the converse implication which was obtained by F\\\"assler and Orponen in \\cite{FO1dim}, our result provides a characterization of uniform $1$-recti"},"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":true},"canonical_record":{"source":{"id":"2605.17680","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2026-05-17T22:41:12Z","cross_cats_sorted":["math.MG"],"title_canon_sha256":"030dd550635b01938a8a6333c504a8839bf2da42b813b623a42fc7d42bd1b714","abstract_canon_sha256":"f20c870ef6d46c6293f68e03f6c40050090fcb08fa56aca1d3142d19765cf305"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:04:52.428590Z","signature_b64":"ZaDvS2RopuODALPp/3T+e9GewyqXWFeuLh1WxJFcqJtDsj0s0je1/9S18ERuMpe4oYgOTthni6dWRZ9FtPZ4BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c73635eabbeca8bb2c09e4a7bec885907ae1f73860d413c29ab9e17523165f37","last_reissued_at":"2026-05-20T00:04:52.427713Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:04:52.427713Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On singular integrals with non-negative kernels in the Heisenberg group","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"L^2 boundedness of the K_4 singular integral on a 1-Ahlfors regular set in the Heisenberg group implies it lies in a 1-Ahlfors regular curve.","cross_cats":["math.MG"],"primary_cat":"math.CA","authors_text":"Lingxiao Zhang, Sean Li, Vasileios Chousionis","submitted_at":"2026-05-17T22:41:12Z","abstract_excerpt":"In this paper we revisit nonnegative kernels in the first Heisenberg group $\\He$, and in particular we further study the family $$K_\\alpha(x,y,z)= \\frac{|z|^{\\alpha/2}}{\\|(x,y,z)\\|_{H}^{\\alpha+1}}, \\quad \\alpha>0,$$ which was introduced in \\cite{CL}.\n  We first show that if $E \\subset \\He$ is a $1$-Ahlfors regular set and the SIO associated with the kernel $K_4$ is $L^2(E)$-bounded, then $E$ is contained in a $1$-Ahlfors regular curve. Combined with the converse implication which was obtained by F\\\"assler and Orponen in \\cite{FO1dim}, our result provides a characterization of uniform $1$-recti"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"If E subset He is a 1-Ahlfors regular set and the singular integral operator associated with the kernel K_4 is L^2(E)-bounded, then E is contained in a 1-Ahlfors regular curve.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The 1-Ahlfors regularity of the set E together with the non-negativity and precise homogeneity of the kernel K_4 are assumed to control the maximal function and cancellation properties needed for the implication to hold.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"L2-boundedness of the SIO with kernel K_4 on 1-Ahlfors regular sets in the Heisenberg group characterizes containment in 1-Ahlfors regular curves, with negative results for alpha in (0,2) and a bounded operator on a purely 1-unrectifiable set.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"L^2 boundedness of the K_4 singular integral on a 1-Ahlfors regular set in the Heisenberg group implies it lies in a 1-Ahlfors regular curve.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"26686f0fd2a79c7e2c57e7919b18a1c30592647922daf00619976045dcfd0f1a"},"source":{"id":"2605.17680","kind":"arxiv","version":1},"verdict":{"id":"ea6d1be5-9ffa-43df-9bb4-21f91a5bfaeb","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-19T21:57:23.462304Z","strongest_claim":"If E subset He is a 1-Ahlfors regular set and the singular integral operator associated with the kernel K_4 is L^2(E)-bounded, then E is contained in a 1-Ahlfors regular curve.","one_line_summary":"L2-boundedness of the SIO with kernel K_4 on 1-Ahlfors regular sets in the Heisenberg group characterizes containment in 1-Ahlfors regular curves, with negative results for alpha in (0,2) and a bounded operator on a purely 1-unrectifiable set.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The 1-Ahlfors regularity of the set E together with the non-negativity and precise homogeneity of the kernel K_4 are assumed to control the maximal function and cancellation properties needed for the implication to hold.","pith_extraction_headline":"L^2 boundedness of the K_4 singular integral on a 1-Ahlfors regular set in the Heisenberg group implies it lies in a 1-Ahlfors regular curve."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.17680/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"doi_title_agreement","ran_at":"2026-05-19T22:31:19.430957Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T22:11:05.116198Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"cited_work_retraction","ran_at":"2026-05-19T21:51:58.768459Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"shingle_duplication","ran_at":"2026-05-19T21:49:44.473472Z","status":"skipped","version":"0.1.0","findings_count":0},{"name":"citation_quote_validity","ran_at":"2026-05-19T21:49:44.256680Z","status":"skipped","version":"0.1.0","findings_count":0},{"name":"ai_meta_artifact","ran_at":"2026-05-19T21:33:23.528872Z","status":"skipped","version":"1.0.0","findings_count":0},{"name":"claim_evidence","ran_at":"2026-05-19T21:21:57.440974Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"63fd1e0f2f6bbbab4d79262f06b10bbd98ebf03d868b5c66bcbd6dd6d976de62"},"references":{"count":22,"sample":[{"doi":"","year":2012,"title":"V . Chousionis, J. Mateu, L. Prat, and X. Tolsa. Calderón-Zygmund kernels and rectifiability in the plane.Adv. Math., 231(1):535–568, 2012","work_id":"caac5554-57bb-4442-a905-405751c9c0ce","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2017,"title":"Nonnegative kernels and 1-rectifiability in the Heisenberg group.Anal","work_id":"954215f6-00eb-44ae-a4a0-bb26d1d6dfa7","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2025,"title":"Singular integrals onC 1,α intrinsic graphs in step 2 Carnot groups.J","work_id":"63c47907-e998-4235-8d09-3bd7662491d5","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1990,"title":"Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1990","work_id":"128ef251-16b4-4b81-be01-403bd6b9f6b2","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2017,"title":"A new family of singular integral operators whoseL 2-boundedness implies rectifiability.J","work_id":"1a847e2a-c3a5-4609-ac91-2f76a5611e3f","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":22,"snapshot_sha256":"d3919b6551061adfe2656451f764d0745933ee7d8b5fd63b6cde55733fa16904","internal_anchors":0},"formal_canon":{"evidence_count":2,"snapshot_sha256":"3a7bbf597630a46a8d7fc71362984f2b1e8a509bc1eb3126f089120950c7c428"},"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.17680","created_at":"2026-05-20T00:04:52.427861+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.17680v1","created_at":"2026-05-20T00:04:52.427861+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.17680","created_at":"2026-05-20T00:04:52.427861+00:00"},{"alias_kind":"pith_short_12","alias_value":"Y43DL2V35SUL","created_at":"2026-05-20T00:04:52.427861+00:00"},{"alias_kind":"pith_short_16","alias_value":"Y43DL2V35SULWLAJ","created_at":"2026-05-20T00:04:52.427861+00:00"},{"alias_kind":"pith_short_8","alias_value":"Y43DL2V3","created_at":"2026-05-20T00:04:52.427861+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":2,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/Y43DL2V35SULWLAJ4ST35SEFSB","json":"https://pith.science/pith/Y43DL2V35SULWLAJ4ST35SEFSB.json","graph_json":"https://pith.science/api/pith-number/Y43DL2V35SULWLAJ4ST35SEFSB/graph.json","events_json":"https://pith.science/api/pith-number/Y43DL2V35SULWLAJ4ST35SEFSB/events.json","paper":"https://pith.science/paper/Y43DL2V3"},"agent_actions":{"view_html":"https://pith.science/pith/Y43DL2V35SULWLAJ4ST35SEFSB","download_json":"https://pith.science/pith/Y43DL2V35SULWLAJ4ST35SEFSB.json","view_paper":"https://pith.science/paper/Y43DL2V3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.17680&json=true","fetch_graph":"https://pith.science/api/pith-number/Y43DL2V35SULWLAJ4ST35SEFSB/graph.json","fetch_events":"https://pith.science/api/pith-number/Y43DL2V35SULWLAJ4ST35SEFSB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Y43DL2V35SULWLAJ4ST35SEFSB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Y43DL2V35SULWLAJ4ST35SEFSB/action/storage_attestation","attest_author":"https://pith.science/pith/Y43DL2V35SULWLAJ4ST35SEFSB/action/author_attestation","sign_citation":"https://pith.science/pith/Y43DL2V35SULWLAJ4ST35SEFSB/action/citation_signature","submit_replication":"https://pith.science/pith/Y43DL2V35SULWLAJ4ST35SEFSB/action/replication_record"}},"created_at":"2026-05-20T00:04:52.427861+00:00","updated_at":"2026-05-20T00:04:52.427861+00:00"}