{"id":"0e6353ff-aa02-43fc-aad3-e01de6955cfa","arxiv_id":"2608.18068","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The vector Riesz transform on R^n has weak-type (1,1) norm at most 2 for every dimension n, settling Stein's dimension-free problem.","lead":"Researchers prove that the vector Riesz transform satisfies a weak-type (1,1) inequality with constant 2 in every dimension, resolving a problem posed by Elias Stein at the 1986 International Congress of Mathematicians. The proof introduces a new decomposition based on fractional obstacle problems and Lewy-Stampacchia estimates.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Theorem 1.1 uses an unjustified equality (assuming disjoint supports of μ_+ and μ_-) in the final L² estimate; the triangle inequality repairs it, so the announced bound remains conditionally sound.","rationale":"The load-bearing concern is the one already identified by the reader: the final L² estimate in the proof of Theorem 1.1 contains an equality that presupposes disjoint supports of the two obstacle densities μ_+ and μ_-, which is not a consequence of Theorem 1.2 and fails in simple symmetric examples. This is a genuine flaw in the written proof, but it is not fatal to the mathematical claim. Substituting the triangle inequality |μ| ≤ μ_+ + μ_- for the false equality restores the chain with the same constant 2. I checked the remainder of the argument: the decomposition theorem is supported by a coercive variational problem, a Lewy–Stampacchia estimate, the mass identity, and H¹ regularity for α=1; these pieces are internally consistent. Minor sign conventions for the composition R ∘ (-Δ)^{1/2} differ from the text's ∇u, but this does not affect the set inclusion or the bound because the gradient term vanishes off Ω. The density extension from L¹∩L² to L¹ is standard and preserves the weak-type constant. No additional obstacles to the central claim were found. Since the reader's conditional verdict already reflects this necessary correction, the appropriate recommendation is to keep the verdict unchanged.","tokens_in":11477,"tokens_out":23940,"duration_ms":145533,"concrete_test":"Apply Theorem 1.2 to f_+ = f_- = 1_{B(0,1)} in R^n (e.g., n=1, α=1). By uniqueness of the minimizer, μ_+ = μ_-, so ∫|μ_+ - μ_-|dx = 0 while ∫(μ_+ + μ_-)dx = 2∥f_+∥_1, directly disproving the equality used in the proof of Theorem 1.1. Then verify that replacing the equality with the inequality ∫|μ|dx ≤ ∥f∥_1 still yields λ|{|Rf|>λ}| ≤ 2∥f∥_1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 1.1 (Section 1), the chain ∥μ∥²_{L²} ≤ λ∫|μ|dx = λ∫(μ_+ + μ_-)dx = λ(∥f_+∥_1 + ∥f_-∥_1) = λ∥f∥_1 relies on the equality ∫|μ|dx = ∫(μ_+ + μ_-)dx. This equality holds only if μ_+ and μ_- have disjoint supports, but no such disjointness is established. It is generically false: for any nonzero nonnegative f∈L¹∩L² with f_+ = f_- = f, uniqueness of the minimizer (Theorem 4.1) gives μ_+ = μ_- and u_+ = u_-, so the two supports coincide and the equality fails. The argument is easily repaired by replacing this equality with the triangle inequality |μ| ≤ μ_+ + μ_-, giving ∫|μ|dx ≤ ∥f_+∥_1 + ∥f_-∥_1 = ∥f∥_1, and then ∥μ∥²_{L²} ≤ λ∥f∥_1 as needed. The rest of the proof (set inclusion, λ|Ω| ≤ ∥f∥_1, and Chebyshev) is unaffected, so the central claim is not undermined, but the written proof contains a gap requiring correction.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper proves Theorem 1.1: for every f in L^1(R^n), the vector Riesz transform R=(R_1,...,R_n) satisfies the weak-type (1,1) bound ||Rf||_{L^{1,∞}} ≤ 2||f||_{L^1}, with the constant 2 independent of the dimension n. This would settle Stein's 1986 problem on dimension-free weak-type bounds. The proof introduces a decomposition theorem (Theorem 1.2) for nonnegative f in L^1∩L^2: for each λ>0 and 0<α<2 there exist nonnegative μ and u such that f = μ + (-Δ)^{α/2}u, with 0≤μ≤λ, ||μ||_1 = ||f||_1, μ=λ on the positivity set of u, and the measure of that set controlled by ||f||_1/λ. The decomposition is established by solving an obstacle problem for the fractional Laplacian on R^n, proving existence and uniqueness of minimizers, deriving variational inequalities, and proving a Lewy-Stampacchia estimate on unbounded domains. Theorem 1.1 follows by applying the decomposition with α=1 to f_+ and f_- and controlling the superlevel set of |Rf| by the union of the two positivity sets and the superlevel set of |Rμ|.","tokens_in":11732,"tokens_out":12623,"duration_ms":102699,"significance":"If correct, the paper settles a well-known open problem and improves the previously known dimension dependence for the component Riesz transforms from O(log n) to a dimension-free constant 2 for the vector Riesz transform. The paper's main strength is its self-contained development: the Lewy-Stampacchia estimate is proved on unbounded domains rather than imported as a black box, and the constant 2 is derived from the argument rather than fitted. The decomposition theorem is stated for general 0<α<2 and is likely to be of independent interest. The proof is detailed and largely checkable; the main written gap in the proof of Theorem 1.1 is an unjustified equality in one displayed chain, which is readily repaired without changing the conclusion. The authors' disclosure of AI assistance is transparent and does not itself affect the mathematical assessment.","major_comments":[{"comment":"The chain displaying ||μ||_{L^2}^2 ≤ λ∫|μ| dx = λ∫(μ_+ + μ_-) dx = λ(||f_+||_1 + ||f_-||_1) = λ||f||_1 contains an equality that is not justified and is generally false. The functions μ_+ and μ_- are obtained by applying Theorem 1.2 separately to f_+ and f_-; they are nonnegative, but their supports need not be disjoint. For example, if f_+ = f_- = g with g a nonzero nonnegative function, then uniqueness of the minimizer in Theorem 4.1 gives μ_+ = μ_- and hence μ = 0, while μ_+ + μ_- is positive on the common support. The intended argument is repaired by replacing this equality with the pointwise inequality |μ| ≤ μ_+ + μ_-, which yields ||μ||_{L^2}^2 ≤ λ∫|μ| dx ≤ λ(||f_+||_1 + ||f_-||_1) = λ||f||_1. The remainder of the proof of Theorem 1.1 is unaffected, but as written this step is a genuine gap in the proof of the main theorem and must be corrected.","section":"Section 1, proof of Theorem 1.1"}],"minor_comments":[{"comment":"After applying (5.2) with φ = χ_ρ, the displayed identity reads ∫ μ χ_ρ dx = ∫ f χ_ρ dx + E_α(u,χ_ρ), but (5.2) gives the same expression with a minus sign before E_α(u,χ_ρ). The conclusion is unaffected because E_α(u,χ_ρ) → 0, but the sign should be corrected. In addition, the phrase 'and the fact that to see' is an incomplete sentence and should be rewritten.","section":"Section 5, Lemma 5.1, proof"},{"comment":"The density reduction 'By density, we may assume f∈L^1∩L^2' is standard but is used before the Riesz transform is known to be bounded on L^1; a one-sentence justification, for example by truncation f_k = f 1_{|f|≤k} and convergence in measure together with lower semicontinuity of the weak-L^1 quasinorm, would make the proof fully self-contained.","section":"Section 1, proof of Theorem 1.1"},{"comment":"There is a typo 'it’s negative part' where 'its negative part' is intended.","section":"Section 3, Lemma 3.4"}],"recommendation":"major_revision","confidential_remarks":"The sole substantive issue is the unjustified equality in the proof of Theorem 1.1; it is localized and has an immediate fix via the triangle inequality, so the central claim appears sound. I recommend major revision rather than rejection because the proof of the main theorem as written contains a mathematical gap, even though the repair is small. The AI-assistance disclosure is unusually transparent and the authors state they verified the content; I do not see this as a mathematical concern for the report."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper settles a real open problem: the vector Riesz transform has a weak-type (1,1) bound with a dimension-free constant, specifically 2. That's a genuine advance over Janakiraman's logarithmic bound for the components, which only gave a √n log n vector estimate. The proof is not a routine Calderón–Zygmund adaptation; the fractional obstacle decomposition in Theorem 1.2 is original and the authors prove the needed Lewy–Stampacchia estimate on unbounded domains rather than importing it. The technical work is detailed, self-contained, and mostly correct. The constant 2 matching the known strong-type constant is a nice bonus.\n\nThe soft spot is in the proof of Theorem 1.1, exactly where the stress-test note points. In bounding ∥μ∥²_{L²}, the paper writes ∫|μ|dx = ∫(μ_+ + μ_-)dx. That equality expects μ_+ and μ_- to have disjoint supports, which is not established and is generally false: the obstacle solutions can have overlapping positive parts even when f_+ and f_- are disjointly supported. The stress-test's example with f_+ = f_- = f is not the actual setup (the positive and negative parts of f are disjoint), but the concern itself stands. The fix is trivial: replace the equality with the triangle inequality ∫|μ|dx ≤ ∫(μ_+ + μ_-)dx, and the same bound follows. Everything else in the Theorem 1.1 argument—the set inclusion, the measure bound on Ω, and the Chebyshev step—is unaffected. So this is a minor, repairable slip in an otherwise sound proof.\n\nThe AI statement is unusual but not a problem. The authors disclose LLM involvement and state they have independently verified and rewritten the mathematical content. That is transparent and doesn't change the mathematics on the page.\n\nMy take: the central claim is very likely correct, and the proof is substantial enough to warrant serious refereeing. A referee should ask the authors to fix the equality and perhaps add a sentence clarifying that the L¹ mass preservation holds for each μ_±, which makes the repaired inequality immediate. I would also want the density argument checked—it's standard, but the constant should be seen to pass to L¹ uniformly.\n\nThis paper deserves peer review, not desk rejection. If you work in harmonic analysis or singular integrals, it's worth your time; the decomposition technique may propagate. For a reading group, it would make a good session on modern obstacle-problem methods in harmonic analysis.","headline":"A serious, largely convincing proof of Stein's dimension-free weak-type bound with constant 2; one displayed equality in the final estimate is wrong as written, but the triangle inequality repairs it, so the result should survive referee scrutiny.","tokens_in":811,"tokens_out":760,"would_cite":true,"duration_ms":55817,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":["42B20","35R11","49J40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The vector Riesz transform satisfies a weak-type (1,1) bound with constant 2 in all dimensions.","keywords":["vector Riesz transform","weak type (1,1)","dimension-free bound","obstacle problem","fractional Laplacian","Lewy-Stampacchia estimate","partial balayage","variational inequality"],"falsifier":"Compute the obstacle decomposition at some level $\\lambda$ for a one-dimensional pair of adjacent blobs, such as $f_+=\\mathbf{1}_{[-2,-1]}$ and $f_-=\\mathbf{1}_{[1,2]}$; if the sets where $\\mu_+$ and $\\mu_-$ are positive overlap, the proof's displayed equality is false. Then evaluate $\\lambda|\\{|Rf|>\\lambda\\}|/\\|f\\|_1$ directly for that $f$; any value exceeding $2$ would disprove Theorem 1.1, while a consistent value below $2$ would leave the theorem intact and only require a repaired line in the proof.","tokens_in":11256,"feed_emoji":"📏","tokens_out":12239,"duration_ms":107807,"temperature":0.7,"pith_summary":"This paper claims that the vector Riesz transform on $\\mathbb{R}^n$ obeys the weak-type $(1,1)$ bound $\\|Rf\\|_{L^{1,\\infty}(\\mathbb{R}^n)} \\le 2\\|f\\|_{L^1(\\mathbb{R}^n)}$ with a constant that is independent of the dimension $n$. The proof decomposes a nonnegative function as $f = \\mu + (-\\Delta)^{1/2}u$, where $\\mu$ is bounded by the level $\\lambda$, carries the full $L^1$ mass of $f$, and equals $\\lambda$ on the set where $u$ is positive; a Lewy–Stampacchia estimate for a fractional obstacle problem supplies this decomposition. Applying the decomposition separately to $f_+$ and $f_-$ turns the Riesz transform into $R\\mu + \\nabla u$, so the large level set of $Rf$ is controlled by the support of $u$ and by $R\\mu$. If correct, the theorem improves the previous logarithmic-in-$n$ weak-type bound to an absolute constant and answers the 1986 problem from the International Congress of Mathematicians in the affirmative.","feed_headline":"Riesz transform weak-type bound is 2 in every dimension","feed_subtitle":"A fractional obstacle decomposition plus a Lewy-Stampacchia estimate settles a 1986 problem from the International Congress of…","key_machinery":"The load-bearing object is a variational obstacle problem for the fractional Laplacian: minimize $J_\\lambda(v)=\\tfrac12 E_\\alpha(v)-\\int_{\\mathbb{R}^n}(f-\\lambda)v\\,dx$ over nonnegative $v$ in the energy space $X_\\alpha$, for $0<\\alpha<2$. The unique minimizer $u$ determines a distribution $\\eta=(-\\Delta)^{\\alpha/2}u-(f-\\lambda)$ that is a nonnegative measure, and the Lewy–Stampacchia estimate $0\\le\\eta\\le(\\lambda-f)_+$ bounds it pointwise. Setting $\\mu=\\lambda-\\eta$ then gives the decomposition $f=\\mu+(-\\Delta)^{\\alpha/2}u$ with the three key properties: $\\mu$ has the same $L^1$ mass as $f$, $\\mu$ never exceeds $\\lambda$, and $\\mu$ coincides with $\\lambda$ on the positivity set of $u$. For $\\alpha\\ge1$ the minimizer is in $H^1$, so $\\nabla u$ vanishes outside that set; this gradient property is what converts the Riesz transform identity into a level-set estimate.","core_discovery":"The central discovery is that the full vector Riesz transform $R=(R_1,\\dots,R_n)$ maps $L^1(\\mathbb{R}^n)$ into weak $L^1$ with operator constant at most $2$ for every dimension $n$, settling a question posed in 1986. The route is structural rather than generic: instead of a Calderón–Zygmund decomposition, the paper uses the identity $R=\\nabla(-\\Delta)^{-1/2}$ and builds, for each nonnegative datum and each level $\\lambda$, a decomposition $f=\\mu+(-\\Delta)^{1/2}u$ whose pieces satisfy $\\|\\mu\\|_{L^\\infty}\\le\\lambda$, $\\|\\mu\\|_{L^1}=\\|f\\|_{L^1}$, $\\mu=\\lambda$ on $\\{u>0\\}$, and $\\nabla u=0$ off that set. With $f=f_+-f_-$, the corresponding $\\mu$ and $u$ give $Rf=R\\mu+\\nabla u$, the set $\\{|Rf|>\\lambda\\}$ is contained in $\\{u>0\\}\\cup\\{|R\\mu|>\\lambda\\}$, and the mass and support bounds make each part cost at most $\\|f\\|_{L^1}$. The stated theorem includes the component bounds as a direct consequence.","pith_inferences":["The displayed equality $\\int_{\\mathbb{R}^n}|\\mu|\\,dx=\\int_{\\mathbb{R}^n}(\\mu_++\\mu_-)\\,dx$ in the proof of Theorem 1.1 assumes $\\mu_+$ and $\\mu_-$ have disjoint supports; that disjointness is neither proved nor generally true, but replacing the equality by the triangle inequality preserves the estimate, so the gap is repairable.","The same partial-balayage construction may yield dimension-free weak-type bounds for other singular integrals with a 'gradient of $(-\\Delta)^{-1/2}$' structure, provided the unbounded-domain fractional obstacle and Lewy–Stampacchia steps can be replicated.","A numerical check of the obstacle decomposition in low dimensions could test whether the constant $2$ is sharp or whether smaller constants hold for special classes of data."],"forward_implications":["The component Riesz transforms $R_j$ inherit the bound with constant $2$, since $|R_jf|\\le|Rf|$ pointwise.","The previous best dimensional dependence, logarithmic in $n$, is replaced by an absolute constant, resolving the 1986 weak-type question in the affirmative.","The constant $2$ coincides with the dimension-free strong-type $L^p$ constant, so the weak-type result sits on the same scale as the sharp martingale-based estimates.","Because the decomposition is proved for $0<\\alpha<2$ while only $\\alpha=1$ is used, the same obstacle machinery is available for other operators built from fractional Laplacians.","Interpolating the dimension-free weak-type estimate with the known $L^2$ bound yields dimension-free strong-type estimates for $R$ with constants independent of $n$."],"supporting_citations":[{"why":"Provides the previous best weak-type bound with logarithmic dependence on dimension, the benchmark Theorem 1.1 improves.","marker":"[10]"},{"why":"States the 1986 dimensional weak-type question for Riesz transforms that the paper answers affirmatively.","marker":"[20]"},{"why":"Establishes the dimension-free strong-type bound with constant 2 that the new weak-type constant matches.","marker":"[4]"},{"why":"Establishes Lewy–Stampacchia type estimates for fractional obstacle problems on bounded domains, adapted here to the unbounded case.","marker":"[17]"},{"why":"Supplies the variational inequality framework used to derive the minimizer identities and the measure bound.","marker":"[12]"},{"why":"Records the fractional Sobolev and Gagliardo identities used throughout the energy analysis.","marker":"[6]"}],"fun_headline_variants":["Vector Riesz: weak-type bound 2 for every n","Riesz transform: universal weak-type constant 2","Settling Stein's 1986 question: Riesz bound 2","Dimension-free Riesz weak-type bound is 2","Riesz transform: constant 2 independent of dimension"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the obstacle decomposition of Theorem 1.2 exists with its claimed mass, support, and gradient properties; in the proof of Theorem 1.1 this is applied to $f_+$ and $f_-$ separately, where a subsidiary equality $\\int|\\mu|=\\int(\\mu_++\\mu_-)$ additionally assumes the supports of $\\mu_+$ and $\\mu_-$ are disjoint, which is not established, although the triangle inequality would repair that step.","fun_headline_variants_meta":{"raw":{"variants":["Vector Riesz: weak-type bound 2 for every n","Riesz transform: universal weak-type constant 2","Settling Stein's 1986 question: Riesz bound 2","Dimension-free Riesz weak-type bound is 2","Riesz transform: constant 2 independent of dimension"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000287,"raw_usage":{"total_tokens":1664,"prompt_tokens":901,"completion_tokens":763,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":517,"completion_tokens_details":{"reasoning_tokens":680}},"tokens_in":517,"tokens_out":763,"duration_ms":7706,"temperature":1.0,"reasoning_tokens":680,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-27T20:08:15.137078+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the obstacle decomposition at some level $\\lambda$ for a one-dimensional pair of adjacent blobs, such as $f_+=\\mathbf{1}_{[-2,-1]}$ and $f_-=\\mathbf{1}_{[1,2]}$; if the sets where $\\mu_+$ and $\\mu_-$ are positive overlap, the proof's displayed equality is false. Then evaluate $\\lambda|\\{|Rf|>\\lambda\\}|/\\|f\\|_1$ directly for that $f$; any value exceeding $2$ would disprove Theorem 1.1, while a consistent value below $2$ would leave the theorem intact and only require a repaired line in the proof.","supporting_citations":[{"cited_title":"Janakiraman,Weak-type estimates for singular integrals and the Riesz transform, Indiana Univ","cited_arxiv_id":null,"evidence_quote":"Provides the previous best weak-type bound with logarithmic dependence on dimension, the benchmark Theorem 1.1 improves."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"States the 1986 dimensional weak-type question for Riesz transforms that the paper answers affirmatively."},{"cited_title":"Ba˜ nuelos and G","cited_arxiv_id":null,"evidence_quote":"Establishes the dimension-free strong-type bound with constant 2 that the new weak-type constant matches."},{"cited_title":"Servadei and E","cited_arxiv_id":null,"evidence_quote":"Establishes Lewy–Stampacchia type estimates for fractional obstacle problems on bounded domains, adapted here to the unbounded case."},{"cited_title":"Kinderlehrer and G","cited_arxiv_id":null,"evidence_quote":"Supplies the variational inequality framework used to derive the minimizer identities and the measure bound."},{"cited_title":"Di Nezza, G","cited_arxiv_id":null,"evidence_quote":"Records the fractional Sobolev and Gagliardo identities used throughout the energy analysis."}],"review_version":1}