{"id":"c9b3eaf1-2d40-4b7f-87de-549a1dade39b","arxiv_id":"2606.28244","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":8.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Constructs α-Hölder continuous solutions with α = exp(-c_n K) for uniformly elliptic equations with ellipticity ratio K in d ≥ 3, proving the sharpness of the Bombieri-Giusti exponent.","lead":"The paper constructs solutions to uniformly elliptic equations in dimensions three and higher that are only Hölder continuous with exponent exp(-c_n K), where K is the ellipticity constant. This result shows that the dependence on K in the known Harnack inequality is sharp, disproving a conjecture, which is of interest to researchers in PDE regularity theory.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"Verification that constructed u are weak solutions to div(A ∇u)=0 with measurable A satisfying the exact ellipticity bounds K^{-1} and K","rationale":"The reader’s weakest_assumption is exactly the load-bearing step required for the construction to be a valid counter-example. Because the full text is now supplied, the same technical verification remains the decisive check; no other internal inconsistency is visible from the abstract-level claim.","tokens_in":1612,"tokens_out":358,"duration_ms":54293,"concrete_test":"Take the explicit (or limiting) pair (A,u) from the paper’s construction section; substitute directly into the weak form and verify ∫ A(x)∇u(x)·∇ϕ(x) dx =0 for a dense set of test functions ϕ, while simultaneously confirming the quadratic-form bounds K^{-1}≤ξ·A(x)ξ/|ξ|^2≤K a.e. by direct computation or measure-theoretic estimate.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires explicit construction of u ∈ W^{1,2}_loc that is exactly α-Hölder with α=exp(-c_n K) but no better, together with measurable A obeying K^{-1}I ≤ A ≤ KI in the quadratic-form sense, such that ∫ A ∇u · ∇ϕ dx =0 for all ϕ∈C_c^∞. The weakest link is passage from the (likely layered or singular) definition of A and u to the integral identity; any approximation, limiting procedure, or failure to confirm u∈W^{1,2} or the precise eigenvalue bounds on A would invalidate the optimality statement for the Bombieri–Giusti exponent.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper constructs, in dimensions n≥3, α-Hölder continuous weak solutions u to div(A∇u)=0 where A is measurable and satisfies K^{-1}I ≤ A ≤ KI in the quadratic-form sense. The Hölder exponent is α=exp(−c_n K) for a dimension-dependent constant c_n>0. This is claimed to show that the exponent arising from the Bombieri–Giusti Harnack inequality is optimal in its dependence on K, disproving a conjecture that a milder dependence is possible except in two dimensions.","tokens_in":1753,"tokens_out":472,"duration_ms":55465,"significance":"If the construction is valid, the result supplies the first explicit counterexamples establishing sharpness of the K-dependence in the De Giorgi–Nash–Moser Hölder theory for n≥3. The explicit nature of the construction (with no free parameters or ad-hoc fitting) is a strength that permits direct checking of the claimed optimality.","major_comments":[{"comment":"§3 (construction of A and u): the manuscript must supply an explicit verification that the defined u lies in W^{1,2}_loc and satisfies ∫ A∇u·∇ϕ dx=0 for every ϕ∈C_c^∞, together with a direct confirmation that the quadratic-form bounds on A are exactly K^{-1} and K (no relaxation or limiting procedure that could alter the constants). Any gap here is load-bearing for the optimality statement.","section":"§3"},{"comment":"Theorem 1.1 and the accompanying lower-bound argument: the claim that u fails to be β-Hölder for every β>exp(−c_n K) must be proved by exhibiting a concrete sequence of points or scales where the oscillation ratio exceeds any larger exponent; without this, the asserted sharpness of the Bombieri–Giusti exponent remains incomplete.","section":"Theorem 1.1"}],"minor_comments":[{"comment":"Notation for the dimension-dependent constant c_n should be introduced with an explicit formula or bound once it appears, rather than left as an existential constant.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and for identifying points where the presentation of the construction and sharpness argument can be strengthened. We respond to each major comment below.","responses":[{"response":"We agree that explicit verification is required. In the revised version we will insert a dedicated paragraph in §3 that computes ∇u directly from the piecewise definition of u, verifies square-integrability on compact sets by summing the geometric series of gradients on the annuli, and checks the weak form by direct integration against an arbitrary test function ϕ∈C_c^∞, using the fact that the jumps of the normal derivative are arranged to cancel. The quadratic-form bounds will be confirmed by evaluating the Rayleigh quotient on the eigenvectors of the explicitly defined matrix A at each point, showing that the eigenvalues are precisely K^{-1} and K with no limiting procedure involved.","revision_made":"yes","referee_comment":"[§3] §3 (construction of A and u): the manuscript must supply an explicit verification that the defined u lies in W^{1,2}_loc and satisfies ∫ A∇u·∇ϕ dx=0 for every ϕ∈C_c^∞, together with a direct confirmation that the quadratic-form bounds on A are exactly K^{-1} and K (no relaxation or limiting procedure that could alter the constants). Any gap here is load-bearing for the optimality statement."},{"response":"We accept that the lower-bound argument must be made fully explicit. In the revision we will add, immediately after the statement of Theorem 1.1, a lemma that constructs an explicit sequence of points x_k and radii r_k = 2^{-k} along which the oscillation of u satisfies osc_{B(x_k,r_k)} u ≥ C r_k^α with α = exp(−c_n K) and C independent of k; the ratio then tends to infinity for any larger exponent β > α. The sequence is obtained by iterating the annular construction at dyadic scales and choosing centers where the jump in the solution is maximal.","revision_made":"yes","referee_comment":"[Theorem 1.1] Theorem 1.1 and the accompanying lower-bound argument: the claim that u fails to be β-Hölder for every β>exp(−c_n K) must be proved by exhibiting a concrete sequence of points or scales where the oscillation ratio exceeds any larger exponent; without this, the asserted sharpness of the Bombieri–Giusti exponent remains incomplete."}],"tokens_in":1299,"tokens_out":536,"duration_ms":31423,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core result here is a construction of weak solutions to div(A ∇u) = 0 in dimensions n ≥ 3 where u is α-Hölder with α = exp(-c_n K) but not better, for measurable A with eigenvalues between K^{-1} and K. This directly shows the exponent coming out of the Bombieri-Giusti inequality cannot be improved in its K-dependence, which settles the conjecture in the negative for n > 2.\n\nThe paper's contribution is the explicit build of both u and A that forces this exact rate. It separates the two-dimensional case, where better behavior is known, from higher dimensions. The approach appears to rely on a carefully chosen layered or singular structure to control the oscillation decay.\n\nThe main soft spot is verification that the constructed u lies in W^{1,2}_loc and satisfies the weak equation exactly, with A obeying the eigenvalue bounds pointwise almost everywhere. The stress-test note correctly flags that any gap in passing from the definition of A and u to the integral identity would undermine the optimality claim. If the paper supplies a complete check of these points without hidden approximations, the argument holds; otherwise the sharpness statement rests on thin ground.\n\nThis is aimed at researchers in elliptic regularity who care about sharp constants in De Giorgi-Nash-Moser theory. A reader working on Harnack inequalities or counterexamples in PDE will get direct value from the construction. The work deserves serious referee time because it targets a concrete open question with a reproducible counterexample rather than abstract existence.","headline":"Guerra constructs examples showing the Bombieri-Giusti Hölder exponent is sharp with exp(-c_n K) dependence in dimensions 3 and higher.","tokens_in":2213,"tokens_out":392,"would_cite":true,"duration_ms":34805,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"In dimensions three and higher, solutions to uniformly elliptic equations can be no better than exp(-c_n K)-Hölder continuous.","keywords":["Hölder continuity","uniformly elliptic equations","measurable coefficients","De Giorgi-Nash-Moser theory","Bombieri-Giusti inequality","ellipticity constant","weak solutions"],"falsifier":"Verification that one of the constructed functions fails to be a weak solution, or exhibits a strictly better Hölder exponent than exp(-c_n K), would disprove the claim.","tokens_in":2498,"feed_emoji":"","tokens_out":646,"duration_ms":25579,"temperature":0.7,"pith_summary":"The paper constructs explicit weak solutions to uniformly elliptic equations with measurable coefficients whose ellipticity ratio is K. These solutions are only α-Hölder continuous for α = exp(-c_n K) when the dimension n is at least three. This matches the exponent obtained from the Bombieri-Giusti Harnack inequality and shows that the dependence on K cannot be improved in general. The result disproves a conjecture that a better exponent should hold. The two-dimensional case remains distinct, as the construction does not apply there.","feed_headline":"Elliptic PDE solutions achieve only exp(-cK) Hölder regularity in n≥3","feed_subtitle":"Explicit construction shows the Bombieri-Giusti exponent is sharp in its K-dependence, disproving a conjecture outside two dimensions.","key_machinery":"Explicit construction of weak solutions achieving the lower bound α = exp(-c_n K) on the Hölder exponent.","core_discovery":"We construct α-Hölder continuous solutions with α = exp(- c_n K) in three and higher dimensions for uniformly elliptic equations with measurable coefficients whose eigenvalues lie between K^{-1} and K. This shows that the Hölder exponent from the Bombieri-Giusti Harnack inequality is optimal in its dependence on K, except in two dimensions.","pith_inferences":["The result separates the two-dimensional case from all higher dimensions in terms of the worst-case regularity for rough coefficients.","It indicates that dimension-dependent phenomena govern the sharpness of Harnack-type inequalities for elliptic operators.","Similar exponential losses may appear in related regularity statements for systems or for parabolic equations with the same ellipticity class."],"forward_implications":["The Bombieri-Giusti inequality supplies the optimal Hölder exponent in dimensions n ≥ 3 for equations with measurable coefficients.","No general improvement to the De Giorgi-Nash-Moser Hölder exponent is possible without additional assumptions on the coefficients.","Any proof of a stronger exponent in higher dimensions must fail for some choice of measurable coefficients satisfying the ellipticity bounds.","The two-dimensional theory admits better exponents that cannot be recovered by the same methods in higher dimensions."],"fun_headline_variants":["Sharp Hölder exponent exp(-c_n K) for elliptic PDEs in n≥3","Measurable elliptic coefficients give α-Hölder with α=exp(-cK) in n≥3","Bombieri-Giusti exponent shown sharp in K for elliptic PDEs n≥3","Hölder solutions constructed with exponent exp(-c_n K) disproving conjecture","Elliptic PDEs with bounded ellipticity K have exp(-c_n K) Hölder in n≥3"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The constructed functions are weak solutions to the elliptic equation with the stated measurable coefficients and eigenvalue bounds.","fun_headline_variants_meta":{"raw":{"variants":["Sharp Hölder exponent exp(-c_n K) for elliptic PDEs in n≥3","Measurable elliptic coefficients give α-Hölder with α=exp(-cK) in n≥3","Bombieri-Giusti exponent shown sharp in K for elliptic PDEs n≥3","Hölder solutions constructed with exponent exp(-c_n K) disproving conjecture","Elliptic PDEs with bounded ellipticity K have exp(-c_n K) Hölder in n≥3"]},"model":"grok-4.3","cost_usd":0.004937,"raw_usage":{"total_tokens":2356,"prompt_tokens":547,"num_sources_used":0,"completion_tokens":110,"cost_in_usd_ticks":49374500,"prompt_tokens_details":{"text_tokens":547,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1699,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":547,"tokens_out":110,"duration_ms":25355,"temperature":1.0,"reasoning_tokens":1699,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-29T03:01:04.226841+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Verification that one of the constructed functions fails to be a weak solution, or exhibits a strictly better Hölder exponent than exp(-c_n K), would disprove the claim.","supporting_citations":[],"review_version":1}