{"id":"81402dea-11aa-4ad3-9f9e-16d802844937","arxiv_id":"2412.11190","paper_version":1,"verdict":"REJECT","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"high","formal_verification":"none","parameter_count":1,"one_line_summary":"A claimed construction of a 1-rectifiable set Γ with a 1-dimensional Γ-Besicovitch set fails because the defining sequences cannot exist.","lead":"This paper claims to construct a 1-dimensional set that contains a rotated copy of a non-trivial 1-rectifiable curve in every direction, answering an open question by Marianna Csörnyei. The construction relies on sequences that are internally inconsistent, so the paper does not currently prove the claimed result.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The sequence conditions (2) and (3) in Section 2 are inconsistent for n=1, forcing c≥1; hence no such δ_n, Δ_n exist and Γ is not defined.","rationale":"The reader's weakest_assumption identifies precisely the load-bearing flaw. All subsequent lemmas and the final theorem depend on the existence of sequences satisfying (1)–(4). Substituting n = 1 into (2) and (3) produces an immediate contradiction with c < 1, independent of any other choices. Since the inductive construction of S_n and Γ cannot begin without these sequences, the main claim is unsupported. The paper is clearly written and the intended result would be significant, but the proof as written is invalid. I see no reason to alter the reader's REJECT verdict.","tokens_in":14142,"tokens_out":2907,"duration_ms":25001,"concrete_test":"Independently re-derive conditions (2) and (3) at n = 1: the inequalities Δ2 ≤ c δ2 and δ2 ≤ c Δ2 imply δ2 ≤ c^2 δ2, hence 1 ≤ c^2, impossible for 0 < c < 1. This analytic check settles that the assumed sequences cannot exist, so the construction has no valid starting point.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Section 2, the proof assumes positive decreasing sequences δ_n, Δ_n with δ1 = Δ1 = 1 satisfying (2) Δ_{n+1} ≤ c δ_{n+1}^n and (3) δ_{n+1} ≤ c Δ_{n+1} δ_n for a fixed constant c < 1. Substituting n = 1 gives Δ2 ≤ c δ2 and δ2 ≤ c Δ2. Combining these yields δ2 ≤ c^2 δ2, so δ2(1 - c^2) ≤ 0; since δ2 > 0, we must have c ≥ 1, contradicting c < 1. Therefore no such sequences exist. The construction of Γ as the intersection of the nested sets S_n depends critically on these sequences: the rectangles Q_{n,j} have side lengths δ_n and Δ_n, the estimates in Lemmas 2–4 use (2) and (3), and Section 4's dimension analysis relies on the additional relation (48) together with (2) and (3). With the assumptions unsatisfiable, the sets Γ and B are not defined, so Theorem 1 is not established.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to construct a nontrivial 1-rectifiable planar set Γ with positive Hausdorff dimension for which there exists a 1-dimensional Γ-Besicovitch set, answering a question of Csörnyei. The construction defines Γ as an intersection of nested unions of rectangles governed by two positive decreasing sequences {δ_n} and {∆_n} satisfying conditions (1)–(4) in Section 2. Subsequent sections estimate the number and measure of rectangles, build a candidate Besicovitch set B, and prove that the domain of Γ can have any prescribed Hausdorff dimension s ∈ [0,1]. The paper is organized around a detailed inductive construction with several lemmas (Lemmas 2–7) and a dimension computation in Section 4.","tokens_in":14468,"tokens_out":9422,"duration_ms":73284,"significance":"If the construction were valid, it would provide a significant affirmative answer to a well-known open question, moving beyond circle-covered examples and giving a 1-rectifiable set with parallel tangents almost everywhere that admits a 1-dimensional Γ-Besicovitch set. The paper merits credit for a concrete and ambitious inductive strategy, for clearly situating the problem relative to previous work by Chang–Csörnyei and others, and for including explicit estimates in Lemmas 3–6. However, the central sequence conditions are mutually inconsistent, so the sets Γ and B are, as defined, non-existent; this prevents the main theorem from being established.","major_comments":[{"comment":"The defining conditions for the sequences {δ_n} and {∆_n} are inconsistent for any c < 1. Setting n = 1 in (2) gives ∆_2 ≤ cδ_2, while (3) with n = 1 gives δ_2 ≤ c∆_2δ_1 = c∆_2. Combining these yields δ_2 ≤ c^2δ_2, and since δ_2 > 0, this forces c ≥ 1, contradicting the stated c < 1. Therefore no positive decreasing sequences satisfying (1)–(3) exist, so the rectangles Q_{n,j}, the nested sets S_n, and Γ are never defined. This invalidates Theorem 1, and all subsequent estimates that rely on these sequences (Lemmas 2–4 and the dimension analysis in Section 4) rest on a false premise.","section":"Section 2, equations (2)–(3)"},{"comment":"The proof of the dimension bound contains an unsupported inference. The text states 'From (2), we see that Δ_{n+1}^{1/(n+1)} ≤ c^{1/(n+1)} δ_n', but (2) is Δ_{n+1} ≤ cδ_{n+1}^n, which gives Δ_{n+1}^{1/(n+1)} ≤ c^{1/(n+1)} δ_{n+1}^{n/(n+1)}, not a bound by δ_n. This inequality is used to obtain the containment B(cΔ_{n+1}^{1+1/(n+1)}) ⊂ B(θ_{n+1}) and hence the estimate dim_H B = 1. The step can potentially be repaired using monotonicity and δ_n ≤ 1, but it is not justified as written, and the proof of Lemma 5 currently has a gap at exactly the point where the dimension conclusion is drawn.","section":"Section 3, Lemma 5"}],"minor_comments":[{"comment":"There are several typographical issues: 'For each rectangle inSn' should read 'in S_n', 'monotonous' should be 'monotone', and '1-dimenionsal set' in Lemma 5 should be '1-dimensional set'.","section":"Throughout"},{"comment":"The symbol Q_{n,j} is reused: earlier it denotes the rectangle with bottom-left corner p_{n,j}, while in (32) it denotes a larger rectangle centered at p_{n,j}. This notation clash makes the containment statement 'Q_{n,j} centered at p_{n,j} that contain Q_{n,j}' difficult to parse.","section":"Section 3, equation (32)"},{"comment":"The union in (37) is written as ⋃_{K<θ_nθ_{n+1}^{-1}} T'_{n+1,lθ_{n+1}}, but the subscript of T' should be Kθ_{n+1} rather than lθ_{n+1}; the label is inconsistent with the preceding definition.","section":"Section 3, equation (37)"},{"comment":"The chain showing that (48) implies (3) is terse; adding the intermediate inequality δ_{n+1}^{n(1/s_{n+1}-1)} ≤ δ_n^{n/(n+1)} ≤ δ_n would make the argument easier to follow.","section":"Section 4, verification of (3) from (48)"},{"comment":"In the case s = 0, the estimate δ_p^{s'-1/p} < 1 is asserted for p such that 1/p < s'; since δ_p ≤ 1, the bound is correct, but the sentence should state explicitly that s' > 1/p is used to make the exponent negative.","section":"Section 4, proof of dim(P_x(Γ)) ≤ s"}],"recommendation":"reject","confidential_remarks":"The inconsistency in equations (2)–(3) is elementary and would be caught by checking the case n = 1; it is surprising that this survived in the submitted version. The topic is well aligned with the journal's scope and the intended construction is creative, but as it stands the central object is not defined. If the author can replace the inconsistent inequalities with a consistent set of conditions and rework the estimates, a future version might be worth reconsidering."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me cut to the chase. This paper claims to answer Csörnyei's open question by constructing a 1-rectifiable set with parallel tangents a.e. and a 1-dimensional Γ-Besicovitch set. The construction is clever in spirit, but it is built on an impossible premise. In Section 2, the author assumes positive decreasing sequences δ_n, Δ_n with δ_1=Δ_1=1 and (2) Δ_{n+1} ≤ c δ_{n+1}^n and (3) δ_{n+1} ≤ c Δ_{n+1} δ_n for a fixed c<1. Taking n=1 gives Δ_2 ≤ c δ_2 and δ_2 ≤ c Δ_2. Combining yields δ_2 ≤ c^2 δ_2, so c≥1. Since c<1, no such sequences exist. The entire inductive construction of the nested rectangles S_n, and hence Γ and B, is therefore void. This is not a subtle gap; it is an elementary contradiction at the very first step.\n\nThe paper is not without merit. The question is genuinely important, the idea of using nested rectangles and rotation-generated translations is original, and the writing is clear. The author is honest about the dependence on the sequences, and the later estimates (Lemmas 3, 4, 6) are worked out in detail. If the sequence conditions could be repaired—perhaps by allowing c to grow or by changing the exponent in (2)—the approach might lead somewhere. But as written, the proof cannot get off the ground.\n\nThere is also a secondary issue in Lemma 5 where the author infers Δ_{n+1}^{1/(n+1)} ≤ c^{1/(n+1)} δ_n from (2). That does not follow, since (2) gives Δ_{n+1}^{1/(n+1)} ≤ c^{1/(n+1)} δ_{n+1}^{n/(n+1)}, and δ_{n+1} ≤ δ_n alone doesn't finish the job. But this is minor compared to the main contradiction.\n\nWho is this paper for? Someone working on Kakeya-type problems for rectifiable sets might find the construction idea worth studying, but only as a starting point. I would not cite it as a proven result. My recommendation: this should not be published as is. If it is submitted, I would suggest a referee be sent it, because the flaw is concrete and the underlying idea might be salvageable, but the current version should be rejected.","headline":"The construction fails at the first step: the sequence conditions in Section 2 are inconsistent, so Γ and B are never defined.","tokens_in":14905,"tokens_out":3566,"would_cite":false,"duration_ms":27921,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["28A78","28A75","28A80"],"pacs":[],"model":"deepseek-v4-flash","headline":"A construction of a nontrivial 1-rectifiable set Γ with a 1-dimensional Γ-Besicovitch set.","keywords":["Besicovitch set","Kakeya set","1-rectifiable set","Hausdorff dimension","Cantor set","tangent field","monotone function graph","rotated copies"],"falsifier":"Check the parameter conditions at $n=1$: from $\\Delta_2 \\le c\\delta_2$ and $\\delta_2 \\le c\\delta_1\\Delta_2 = c\\Delta_2$, multiplying gives $\\Delta_2\\delta_2 \\le c^2\\Delta_2\\delta_2$, hence $c^2 \\ge 1$, contradicting $c<1$. Exhibiting a valid pair of sequences satisfying all four conditions with some $c<1$ would refute this check; otherwise the construction as stated cannot be instantiated.","tokens_in":13930,"feed_emoji":"📐","tokens_out":10161,"duration_ms":77292,"temperature":0.7,"pith_summary":"The paper addresses the question of which rectifiable planar sets Γ admit a Γ-Besicovitch set—a set containing a rotated copy of Γ in every direction—of Hausdorff dimension below 2. It claims that a nontrivial 1-rectifiable set Γ, realized as the graph of a monotone function over a measure-zero Cantor set, admits a Γ-Besicovitch set of Hausdorff dimension 1. If correct, this settles an open problem in the affirmative and shows that a set whose tangents are vertical almost everywhere, so its tangent field resembles that of a line, can still have a dimension-1 Γ-Besicovitch set. The construction is explicit: Γ is a nested intersection of finite unions of thin rectangles, and the Besicovitch set is assembled from rotated, translated thickened copies of those rectangles.","feed_headline":"New construction yields a 1-D Besicovitch set for a Cantor graph","feed_subtitle":"The curve is a monotone function graph on a measure-zero Cantor domain, with vertical tangents almost everywhere.","key_machinery":"The central object is a nested family of rectangles $Q_{n,j}$ with $x$-projection length $\\delta_n$ and $y$-projection close to $\\Delta_n$, together with a rule that replaces each rectangle by smaller rectangles positioned at points $p_{n,j,k}$ obtained by rotating the corner $p_{n,j}$ about a centre $\\alpha_{n+1}$ on a circular arc through multiples of the angle $\\theta_{n+1} = c\\Delta_{n+1}\\delta_n$. The identity $p_{n,j,k+l} = e^{-il\\theta_{n+1}}p_{n,j,k} + p_{n,1,l+1}$ makes the point configuration invariant under a rotation-and-translation step, and that self-overlap is what lets the $\\Gamma$-Besicovitch set $B = \\bigcap_{n}\\bigcup_{l \\le \\theta_n^{-1}} T_{n,l\\theta_n}$ be shown to have Hausdorff dimension 1.","core_discovery":"This paper's central claim is the existence of a nontrivial 1-rectifiable planar set $\\Gamma$ with positive 1-dimensional Hausdorff measure that is the graph of a monotone function over a measure-zero Cantor set, and for which there is a $\\Gamma$-Besicovitch set of Hausdorff dimension 1. The Cantor domain can be prescribed to have any Hausdorff dimension $s \\in [0,1]$. The proof constructs $\\Gamma$ as the countable intersection of nested sets $S_n$, each a finite union of axis-parallel rectangles with $x$-length $\\delta_n$ and $y$-length close to $\\Delta_n$, and the dimension-1 set $B$ is defined as a nested union of rotated, translated thickened rectangles. The argument revolves around the identity $p_{n,j,k+l} = e^{-il\\theta_{n+1}}p_{n,j,k} + p_{n,1,l+1}$, which creates systematic overlaps between the rotated copies and controls the measure of thin neighbourhoods of $B$.","pith_inferences":["Not made in the paper: the parameter conditions (2) and (3) should be checked for consistency. At $n=1$ they imply $\\Delta_2 \\le c\\delta_2$ and $\\delta_2 \\le c\\Delta_2$, so $c^2 \\ge 1$, contradicting $c<1$; if no admissible sequences exist, the construction as written has no starting point.","If one could repair the parameter choice, the same rotation-translation identity suggests a recipe for other sparse graphs whose tangents are vertical on a null set, possibly yielding $\\Gamma$-Besicovitch sets of intermediate dimension.","The dimension-tuning equation $\\delta_n = c\\Delta_n^{1/s_n}$ indicates a one-parameter family of examples; testing whether the mechanism survives with slower decay of $\\delta_n$ would clarify where the dimension-1 phenomenon ends."],"forward_implications":["A valid construction would answer the open question affirmatively: a nontrivial 1-rectifiable set can have a $\\Gamma$-Besicovitch set of dimension 1.","The example would lie outside the known circular-arc family, since $\\Gamma$ has positive length and parallel tangents almost everywhere and so is not covered by a low-dimensional union of concentric circles.","The parameter $s \\in [0,1]$ gives a continuum of Cantor-graph domains, so the dimension of the domain can be tuned without forcing the $\\Gamma$-Besicovitch dimension above 1.","The result would separate this monotone Cantor-graph case from the $C^3$ non-circular arc case, where the $\\Gamma$-Besicovitch set is known to have dimension 2."],"supporting_citations":[{"why":"Provides the background result that every rectifiable planar set has a measure-zero set containing rotated copies of a full-measure subset in every direction, and raises the dimension question.","marker":"[1]"},{"why":"Proves that non-circular $C^3$ arcs force $\\Gamma$-Besicovitch sets to have dimension 2, the benchmark the paper's example must evade.","marker":"[2]"},{"why":"Gives another proof of the dimension-2 phenomenon for non-circular arcs, supporting the curvature obstruction.","marker":"[3]"},{"why":"Studies Cantor graphs and gives a lower bound on the dimension of their $\\Gamma$-Besicovitch sets, motivating the construction.","marker":"[4]"}],"fun_headline_variants":["1-D Besicovitch set from a Cantor graph","Cantor graph yields 1-D Besicovitch set in plane","Monotone Cantor graph gives 1-D Besicovitch set","Any Cantor dimension supports a 1-D Besicovitch set"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction assumes one can fix a constant $c<1$ and positive decreasing sequences $\\delta_n,\\Delta_n \\to 0$ satisfying $\\delta_1=\\Delta_1=1$, $\\Delta_{n+1} \\le c\\delta_{n+1}^n$, $\\delta_{n+1} \\le c\\Delta_{n+1}\\delta_n$, and an integrality condition; every later estimate relies on these inequalities, so if no such sequences exist the construction cannot begin.","fun_headline_variants_meta":{"raw":{"variants":["1-D Besicovitch set from a Cantor graph","Cantor graph yields 1-D Besicovitch set in plane","Monotone Cantor graph gives 1-D Besicovitch set","Any Cantor dimension supports a 1-D Besicovitch set"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000369,"raw_usage":{"total_tokens":1906,"prompt_tokens":803,"completion_tokens":1103,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":419,"completion_tokens_details":{"reasoning_tokens":1025}},"tokens_in":419,"tokens_out":1103,"duration_ms":8209,"temperature":1.0,"reasoning_tokens":1025,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T15:12:33.313194+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check the parameter conditions at $n=1$: from $\\Delta_2 \\le c\\delta_2$ and $\\delta_2 \\le c\\delta_1\\Delta_2 = c\\Delta_2$, multiplying gives $\\Delta_2\\delta_2 \\le c^2\\Delta_2\\delta_2$, hence $c^2 \\ge 1$, contradicting $c<1$. Exhibiting a valid pair of sequences satisfying all four conditions with some $c<1$ would refute this check; otherwise the construction as stated cannot be instantiated.","supporting_citations":[{"cited_title":"The Kakeya needle problem and the existence of Besicovitch and Nikodym sets for rectifiable sets,","cited_arxiv_id":null,"evidence_quote":"Provides the background result that every rectifiable planar set has a measure-zero set containing rotated copies of a full-measure subset in every direction, and raises the dimension question."},{"cited_title":"On the Wolff circular maximal function,","cited_arxiv_id":null,"evidence_quote":"Gives another proof of the dimension-2 phenomenon for non-circular arcs, supporting the curvature obstruction."},{"cited_title":"Hausdorff dimension of Besicovitch sets of Cantor graphs,","cited_arxiv_id":null,"evidence_quote":"Studies Cantor graphs and gives a lower bound on the dimension of their $\\Gamma$-Besicovitch sets, motivating the construction."}],"review_version":1}