{"id":"814a39d8-015c-4006-9b39-39f4a994ed31","arxiv_id":"2603.15328","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For Borel E,F in the plane with dim_H E > 1, dim_H E + dim_H F > 2, and F having equal Hausdorff and packing dimension, some y in F has pinned distance set Delta_y(E) of positive Lebesgue measure.","lead":"This mathematics paper proves that if a two-dimensional set E has dimension greater than 1 and a second regular set F has dimension large enough that the two dimensions add to more than 2, then distances from E to at least one point of F cover a positive-length range. The result settles a 'regular case' of the long-open Falconer distance-set problem.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 5's disjoint-support measure reduction is asserted without proof; it is load-bearing because Propositions 3.2, 3.3, and 4.1 all require disjointly supported measures with strong Frostman/Minkowski properties.","rationale":"I read the paper in good faith and found the core multi-scale estimates plausible: the L¹ bad-part estimate and the L² ball-inflation argument are substantial and, modulo the standard typographical slip in Proposition 3.3 Step 1, appear internally coherent. The single weakest point is the reduction in Section 5 from the dimension hypotheses to the disjointly supported measures required by Propositions 3.2, 3.3, and 4.1. This is exactly the reader's weakest_assumption. It is load-bearing because every estimate in the proof assumes disjoint supports and the theorem statement does not guarantee disjointness of E and F. The missing step is not a contradiction in the argument, but an omitted justification; the theorem may still be true and the proof likely repairable. I therefore do not change the reader's CONDITIONAL verdict. I am not manufacturing a concern: the text explicitly says 'By the discussion in Section 2' but Section 2 only gives subsets with upper Minkowski dimension below dim_P E+ε, not a disjoint pair with the required dimensions and Minkowski control. A concrete splitting-lemma test would settle whether the gap is merely expository or substantive.","tokens_in":20566,"tokens_out":41078,"duration_ms":348581,"concrete_test":"Settle the missing reduction by proving or disproving the following splitting lemma: for every Borel E,F⊂[0,1]^2 with dim_H E>1, dim_H E+dim_H F>2, and dim_H F=dim_P F, there exist compact disjoint A⊂E and B⊂F with dim_H A>1, dim_H B>2-s, and dim_M B<dim_H B+δ². A concrete way to test the critical overlapping case E=F is to take an IFS attractor K of dimension D∈(1,2), for instance D=1.2, and explicitly construct two disjoint Cantor subsets A,B⊂K satisfying the inequalities. If such a construction succeeds for representative self-similar sets, the Section 5 reduction is likely valid; if one can construct a Borel set with equal Hausdorff and packing dimension that admits no such disjoint pair, then the proof of Theorem 1.1 is incomplete as written.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 1.1, Section 5 states that the dimension hypotheses yield a probability measure µ on E with finite s-energy for some s>1 and a Frostman measure ν on F of dimension t>2-s with dim_M suppν < t+δ². It then invokes Propositions 3.2, 3.3, and 4.1, each of which explicitly assumes disjoint supports and uses that separation in the proof (e.g., 'as dist(y,suppµ)≈1' in Step 1 of Proposition 3.3). The theorem, however, allows E and F to overlap; the extreme case is E=F. The 'discussion in Section 2' cited in Section 5 only guarantees, for a given measure, a subset E_i with dim_M E_i < dim_P E + ε; it does not produce two disjoint compact subsets with prescribed Hausdorff dimensions and upper Minkowski control. If E=F, one must split a single Borel set of dimension >1 into disjoint subsets A and B with dim_H A>1 and dim_H B>2-s, and additionally dim_M B<dim_H B+δ². No splitting lemma is stated or proved. Without such a reduction, the L¹ bad-part estimate (3.16) and the L² good-part estimate (Proposition 4.1) cannot be applied, so the final inequality 1 ≤ ... + |Δ_y(E)|^{1/2}·(...) does not yield |Δ_y(E)|>0. This is the most load-bearing gap in the written proof; it is likely repairable by a standard splitting argument, but it is not present.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims Theorem 1.1: if E and F are Borel sets in the plane with dim_H E > 1, dim_H E + dim_H F > 2, and F having equal Hausdorff and packing dimension, then there exists y in F such that the pinned distance set Δ_y(E) has positive Lebesgue measure. The proof introduces a multi-scale Good-Bad decomposition (Section 3) and a multi-scale Mizohata-Takeuchi-type L2 estimate (Section 4), then applies them in Section 5. The argument extends the single-scale GIOU decomposition, uses Orponen's radial projection estimates, and develops an L2 ball inflation argument. A baby version of the MT-type estimate is stated as Proposition 1.2. The final step bounds the bad part by <1/100 and the good part by a finite L2 norm, yielding |Δ_y(E)| > 0 for some y.","tokens_in":20979,"tokens_out":25145,"duration_ms":195739,"significance":"If correct, Theorem 1.1 would be a substantial advance: it removes the dim_H F > 1 condition from GIOU and settles the distance set problem for regular pin sets (dim_H F = dim_P F). The multi-scale Good-Bad decomposition and the L2 ball inflation are novel and likely to be influential. The paper is largely self-contained, with clear citations to external results (Orponen, GIOU, the author's earlier L2 identity) and detailed proofs of the new estimates. However, the manuscript as written has a load-bearing gap in the measure reduction at the start of Section 5, so the central claim is not fully established in the present form.","major_comments":[{"comment":"The proof asserts that the dimension hypotheses yield a probability measure µ on E with finite s-energy for some s>1, and a Frostman measure ν on F of dimension t>2-s with dim_M suppν < t+δ², and then invokes Propositions 3.2 and 4.1. Both propositions explicitly require disjoint supports, and their proofs use dist(y,suppµ)≈1 (e.g., Proposition 3.3, Step 1). The theorem allows E and F to overlap, including E=F. The 'discussion in Section 2' cited here only gives, for a given measure, a subset with smaller upper Minkowski dimension; it does not produce two disjoint compact subsets with the required Hausdorff dimensions and upper Minkowski control. A splitting/reduction argument must be supplied. Without it, the L1 bad-part estimate (3.16) and the L2 good-part estimate (Proposition 4.1) cannot be applied, and the final inequality does not yield |Δ_y(E)|>0. This is a load-bearing gap, thoug","section":"Section 5 (Proof of Theorem 1.1)"}],"minor_comments":[{"comment":"The tube in the definition of Bad_{r,r',µ} and in the subsequent containment is written as T_{r/r'×1}(x;y), but should be T_{r'/r×1}(x;y). As written, the dimensions are inverted and inconsistent with the covering by r'/r×1 tubes and with the use in Step 3.","section":"Proposition 3.3, Step 1"},{"comment":"In the definition of packing dimension, 'E_i is bounded' should be 'each E_i is bounded' (or 'the E_i are bounded').","section":"Section 2, packing dimension definition"},{"comment":"The sentence 'I hope that the heuristic argument in the previous subsection helps...' is informal and could be moved to a remark or removed.","section":"Section 4.2, Lemma 4.4 proof"},{"comment":"The statement 'Bad_i is a subset of the construction in Proposition 3.3 below (it seems easier to compare their complement)' is too terse. A short explanation, e.g., covering dilated tubes by un-dilated ones, would improve readability.","section":"Section 3.2, after (3.15)"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses a major open problem and the multi-scale estimates appear sound. The main obstruction is the missing disjoint-support measure reduction in Section 5; if the author supplies a standard splitting argument, I expect the paper to be publishable. The typo in Proposition 3.3 Step 1 is not consequential. I recommend major revision to fix the measure reduction and clarify the subset inclusion."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know. First, the main result is real: if F has equal Hausdorff and packing dimension, dim_H E > 1, and dim_H E + dim_H F > 2, then some y in F has pinned distance set of positive Lebesgue measure. That is the first positive-measure result at the threshold in the regular case, and it goes beyond Guth–Iosevich–Ou–Wang, which needed dim_H F > 1 and 3 dim_H E + dim_H F > 5. Second, the proof is not self-contained in one important place: Section 5 asserts that you can find disjointly supported probability measures µ on E and ν on F with the Frostman/Minkowski properties the later propositions require, and it does not actually prove that reduction. The stress-test note is right that this matters — Propositions 3.2, 3.3, and 4.1 all use disjointness, and E and F are allowed to overlap. I think the gap is repairable by a standard splitting argument, but it is not written, and the reader has to supply it.\n\nWhat is genuinely new is the multi-scale Good–Bad decomposition and the L2 ball-inflation argument for the good part. The author is honest that it is not a direct generalization of GIOU; the bad-tube removal is done differently, using Orponen's radial projections on E and an L2 technique on F, which is what removes the dim_H F > 1 restriction. Proposition 1.2, the baby multi-scale Mizohata–Takeuchi estimate with r_{j+1} ≤ r_j^2, is interesting in its own right, and the heuristic in Section 4.1 is clear. I did not find circularity; the auxiliary estimates come from cited external results and the author's earlier L2 identity.\n\nThe main soft spot is the missing disjoint-support measure reduction. It is load-bearing, but it is likely fixable. The tube-dimension typo in Proposition 3.3 Step 1 (T_{r/r'} versus T_{r'/r}) is exactly what it looks like — a typo, easy to correct, not a mathematical error. Section 5 is too terse generally; 'by the discussion in Section 2' is doing too much work. There are also places where constants in exponents are left implicit, which is normal for this area but slows verification.\n\nWho should read this: anyone working on distance sets, radial projections, or Mizohata–Takeuchi-type estimates. It deserves a serious referee — the claimed advance is substantial and the mechanism is new. My advice: send it to review, and ask the referee to request a written proof of the measure-splitting lemma and a cleanup of the typo. If those are supplied, the theorem stands.","headline":"Genuinely new regular-case pinned distance theorem at the natural threshold — likely correct, but the write-up skips a load-bearing measure-splitting step.","tokens_in":21483,"tokens_out":2274,"would_cite":true,"duration_ms":20671,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["28A78","42B10","42B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper establishes that in the plane, if E has Hausdorff dimension above 1 and F is a regular set whose dimension pushes the sum above 2, then some point y in F has a pinned distance set of positive Lebesgue measure.","keywords":["pinned distance set","Lebesgue measure","distance set problem","Hausdorff dimension","packing dimension","Good-Bad decomposition","Mizohata–Takeuchi-type estimate","Fourier restriction"],"falsifier":"A direct falsifier would be a pair of Borel sets E,F⊂[0,1]² with dim_H E > 1, dim_H E + dim_H F > 2, and dim_H F = dim_P F such that |Δ_y(E)| = 0 for every y∈F. A more targeted check is to test the measure-reduction step: exhibit such E,F of overlapping support for which no disjointly supported probability measures µ on E and ν on F satisfy I_s(µ) < ∞ for some s > 1, ν(B(x,r)) ≤ C r^t with t > 2−s, and the upper Minkowski dimension of supp ν strictly below t+δ²; this would invalidate the proof's reduction even if the theorem remains true.","tokens_in":20458,"feed_emoji":"📏","tokens_out":9784,"duration_ms":86887,"temperature":0.7,"pith_summary":"The paper proves a planar distance-set statement: whenever a Borel set E has Hausdorff dimension above 1 and a second Borel set F has equal Hausdorff and packing dimension with the two dimensions summing above 2, some point y in F sees a pinned distance set of positive Lebesgue measure. This is the regular case of the long-standing distance-set problem, and it improves on earlier results that required the pin set to have dimension above 1 or stronger dimension-sum conditions. The proof works through a multi-scale decomposition of the measure on E into good and bad directional components, together with new multi-scale weighted extension estimates whose power loss is an arbitrarily small R^{Cδ}. If correct, the argument reduces the distance-set question for regular sets to a measure-selection step plus these harmonic-analysis estimates.","feed_headline":"Regular pins force positive-length distance sets","feed_subtitle":"When E has dimension above 1 and a regular F pushes the dimension sum past 2, one pin in F sees positive-length distances.","key_machinery":"The engine is a multi-scale Good-Bad decomposition. At each dyadic scale, a tube is declared bad if the normalized measure on the pin set F assigns it more than R^{10δ}(r_j/r_{j+1})^{min(t,1)} of the mass of the containing cube, where t is the dimension of F; bad tubes are removed and their L¹ contribution is bounded through a radial-projection incidence estimate. The surviving good tubes are controlled by a new L² ball-inflation lemma, which iteratively passes from small spatial cubes to larger ones while losing only a factor R^{Cδ} per step. This yields a multi-scale Mizohata–Takeuchi-type estimate—a weighted Fourier-extension bound in terms of the best weight on tubes—with arbitrary small","core_discovery":"The central claim is Theorem 1.1: for Borel E,F⊂R² with Hausdorff dimension of E greater than 1, Hausdorff dimension of E plus Hausdorff dimension of F greater than 2, and F having equal Hausdorff and packing dimension, there exists y∈F for which the pinned distance set Δ_y(E) = {|x−y| : x∈E} has positive Lebesgue measure. In particular, every planar set with equal Hausdorff and packing dimension greater than 1 contains a pin whose pinned distance set has positive length. The proof splits the measure of E at every scale into 'good' tubes, directed along caps that are light for the measure on F, and 'bad' tubes, which are controlled by a geometric incidence estimate. The good part is handled","pith_inferences":["If the measure-selection step in Section 5 can be adapted to overlapping E and F—for example by passing to disjoint compact subsets preserving the required dimensions—the same L¹/L² estimate structure would likely prove the full planar distance-set theorem without the regularity assumption on F. This is an editorial extrapolation; the paper does not provide that reduction.","The L² ball-inflation method appears transferable to other pinned problems where single-scale refined decoupling was previously used; testing it on the endpoint dim_H E = 1 or in higher-dimensional Euclidean spaces is a natural next step.","The multi-scale estimates suggest that even if single-scale Mizohata–Takeuchi-type inequalities must lose a fixed power, multi-scale versions escape that loss; this may inform the local form of the conjecture.","A useful diagnostic is to search for overlapping Borel sets E,F satisfying the theorem's dimension hypotheses for which no disjointly supported Frostman measures with the stated energy and Minkowski-dimension bounds can be chosen; this would locate the failure precisely even if the theorem itself remains true."],"forward_implications":["Any planar set E with equal Hausdorff and packing dimension greater than 1 has a point y∈E whose pinned distance set has positive Lebesgue measure.","The proof admits pin sets F of Hausdorff dimension at most 1, removing the previous barrier dim_H F > 1 whenever F is regular and the total dimension sum exceeds 2.","The new multi-scale estimate with arbitrary small power-loss reproduces the sharp single-scale extension estimate up to R^{Cδ}, so it is consistent with known sharpness while showing a multi-scale gain.","The theorem settles the regular case of the distance-set problem in the plane, leaving the non-regular case and the endpoint dim_H E = 1 open.","The framework deliberately avoids deep L^p decoupling theory, so the same two-estimate structure may apply to other pinned geometric problems."],"fun_headline_variants":["Regular pins ensure positive measured distances","A regular pin sees positive Lebesgue distance set","Equal dimensions yield a pin with positive distances","Some pin in regular F sees positive-length distances"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"Everything hinges on the assertion in the final proof that from dim_H E > 1, dim_H E + dim_H F > 2, and dim_H F = dim_P F one can choose probability measures on E and F that are disjointly supported and satisfy the energy, Frostman, and upper-Minkowski-dimension conditions used in Propositions 3.2 and 4.1; the paper states this step without proving the reduction when E and F overlap.","fun_headline_variants_meta":{"raw":{"variants":["Regular pins ensure positive measured distances","A regular pin sees positive Lebesgue distance set","Equal dimensions yield a pin with positive distances","Some pin in regular F sees positive-length distances"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000291,"raw_usage":{"total_tokens":1505,"prompt_tokens":681,"completion_tokens":824,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":425,"completion_tokens_details":{"reasoning_tokens":768}},"tokens_in":425,"tokens_out":824,"duration_ms":8280,"temperature":1.0,"reasoning_tokens":768,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T18:06:46.979994+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct falsifier would be a pair of Borel sets E,F⊂[0,1]² with dim_H E > 1, dim_H E + dim_H F > 2, and dim_H F = dim_P F such that |Δ_y(E)| = 0 for every y∈F. A more targeted check is to test the measure-reduction step: exhibit such E,F of overlapping support for which no disjointly supported probability measures µ on E and ν on F satisfy I_s(µ) < ∞ for some s > 1, ν(B(x,r)) ≤ C r^t with t > 2−s, and the upper Minkowski dimension of supp ν strictly below t+δ²; this would invalidate the proof's reduction even if the theorem remains true.","supporting_citations":[],"review_version":2}