{"id":"912d52fd-b8a0-4672-9b71-8ad64eb81f98","arxiv_id":"2506.10216","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A Jordan domain whose hyperbolic metric is phi-integrable with integral of 1/phi finite admits Sobolev homeomorphic extensions for every boundary parametrization, and the condition is sharp.","lead":"This math paper proves a general condition on how strongly the hyperbolic metric of a planar region can be integrated, and shows that under that condition every boundary parametrization extends to a Sobolev homeomorphism inside the disk. It also constructs a sharp counterexample showing the condition cannot be relaxed.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Sharpness proof is internally inconsistent: in Theorem 1.6 the arcs A_n have length π/(4n), whose total diverges, so they cannot be pairwise disjoint as required for φ to be well-defined; the counterexample construction must be repaired.","rationale":"Reader's concern about Theorem 2.2 condition 2: I believe it is not the true obstruction. The family of points ξ_{n,j}=F(θ_{n,j}) with F=f^{-1}∘φ inherits the dyadic nesting/disjointness from the standard dyadic tree; hyperbolic geodesics for nested boundary intervals are nested and for disjoint intervals are disjoint, so the crosscuts Γ_{n,j} satisfy condition 2. The paper should state this, but the gap is easily filled. The more serious issue is in Theorem 1.6: the A_n intervals as defined cannot be pairwise disjoint, and the proof explicitly needs disjointness to define φ. This invalidates the sharpness theorem as written. I also note the unstated use of [4, Lemma 3.2]. The main extension theorem (Theorem 1.4) appears conditionally correct. Thus the CONDITIONAL verdict is retained, but the conditions should include repairing the counterexample construction, not merely adding the disjointness verification.","tokens_in":12927,"tokens_out":31985,"duration_ms":362019,"concrete_test":"Compute |A_n| = π/(4n) and ∑_{n=1}^N |A_n| = (π/4) H_N → ∞; since ∂D has length 2π, no pairwise disjoint A_n with these lengths can exist. Then check whether modifying the length to π/4^n (or any summable ℓ_n with ∑ ℓ_n 4^n = ∞) removes the overlap: for ℓ_n=π/4^n, A_n are disjoint and the divergence estimate ∑ |A_n| 4^n = ∞ still holds, which would confirm the construction is repairable. If no such modification is made, Theorem 1.6 lacks a valid boundary parametrization.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Read as written, the construction in Theorem 1.6 is impossible. The arcs A_n = {e^{i(α+β)}: α=π−π/2^n, β∈[0,π/(4n)]} have length π/(4n). They are mapped by g_n onto pairwise disjoint intervals I(θ_n,δ_n), so injectivity of φ forces the A_n to be pairwise disjoint. But ∑_{n≥1} π/(4n)=∞, while any pairwise disjoint collection of arcs on the unit circle has total length at most 2π. For n≥4 the intervals already overlap (A_4 ends at π, A_5 starts at 174.375° and crosses π). Hence φ is not well-defined at the overlaps, and the W^{1,1} non-extension argument built on these intervals collapses. Since Theorem 1.5 is deduced from Theorem 1.6, the sharpness claim is not established by the present proof. This looks repairable (replace π/(4n) by a summable length such as π/4^n), but as written the core counterexample is invalid. The final transfer of integrability in Theorem 1.5 also invokes [4, Lemma 3.2] without stating the lemma or verifying its hypotheses, another uncheckable step.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies homeomorphic Sobolev extensions of boundary parametrizations of planar Jordan domains under a general integrability condition on the hyperbolic metric. Theorem 1.4 asserts that if ∫_Ω φ(h_Ω(z0,z)) dz < ∞ with φ satisfying Assumption 1.3 and ∫_1^∞ 1/φ(s) ds < ∞, then every boundary parametrization extends as a homeomorphism in W^{1,p}(D,C) for all p∈[1,2). Theorem 1.5 claims sharpness: when the tail integral diverges, a Jordan domain can be built satisfying the φ-integrability condition but admitting a boundary parametrization with no homeomorphic W^{1,1} extension. The sufficiency proof follows the Koski–Onninen crosscut method and generalizes a lemma from Bouchala et al. The sharpness proof constructs a domain of infinite internal diameter and invokes a new Theorem 1.6. The main technical problems are that the crosscut disjointness required by Theorem 2.2 is never verified, and the counterexample construction in Theorem 1.6 uses boundary arcs whose total length diverges, making them unable to be pairwise disjoint; this invalidates the sharpness proof as written.","tokens_in":13177,"tokens_out":14201,"duration_ms":158565,"significance":"If the gaps are repaired, the sufficiency theorem would be a natural and valuable generalization of the L^q-integrability result of Bouchala et al. [4] to a Orlicz-type scale, and the proposed sharpness condition (1.4) is the right critical exponent in the model case φ(t)=t(log(e+t))^α. The paper uses published tools rather than circular reasoning; the strategy of Lemma 2.3 follows the established method of [4, Lemma 2.4], and the counterexample is explicit and potentially checkable. However, in its present form the sharpness claim is not established because the central counterexample is internally inconsistent, and the sufficiency proof omits a load-bearing geometric verification. The paper is likely repairable, but the current version cannot be accepted.","major_comments":[{"comment":"The arcs A_n = {e^{i(α+β)} : α=π−π/2^n, β∈[0,π/(4n)]} have length π/(4n), so ∑_{n≥1} |A_n| = ∞. Since each g_n maps A_n homeomorphically onto a pairwise disjoint interval I(θ_n,δ_n), injectivity of the boundary parametrization φ forces the A_n to be pairwise disjoint. This is impossible: for instance A_4 ends at angle π and A_5 begins at angle π−π/32 < π, so A_4∩A_5 is nonempty. Consequently φ is not well-defined and the lower-bound argument for the W^{1,1} energy collapses. Because Theorem 1.5 is deduced from Theorem 1.6, the sharpness claim is not proved. The construction is repairable by taking summable lengths such as π/4^n, but as written the counterexample is invalid.","section":"Section 3, proof of Theorem 1.6"},{"comment":"Theorem 2.2 is applied to the family of crosscuts Γ_{n,j}=f(γ_{n,j}) for all n≥n_0 and j=1,…,2^n, but condition 2 of Theorem 2.2 — pairwise disjointness of all crosscuts apart from endpoints — is never verified. Lemma 2.6 proves disjointness only for the geodesics belonging to a single finite cycle {x_0,…,x_k}. For dyadic intervals at different dyadic scales, disjointness is not automatic from the construction and requires an argument, for example showing that a child geodesic lies in the component of D cut off by its parent geodesic. Without this verification, the series estimate (2.1) cannot be applied to the permitted family, so the proof of Theorem 1.4 is incomplete at a load-bearing point.","section":"Section 2, proof of Theorem 1.4"},{"comment":"The proof invokes 'the internal geodesic γ⊂Ω connecting f(0) and f(eω)' in the case d_I(f(0),f(eω))=∞. Internal geodesics are defined only for finite internal distance, so this requires a limiting argument using approximate geodesics between points at finite distance. The subsequent construction of the sequence {x_n} and the inequalities (3.2)–(3.3) depend on this object. This is repairable, but as written it is a gap in the derivation of (3.1).","section":"Section 3, proof of Theorem 1.6, first paragraph"},{"comment":"The folding construction that converts the unbounded domain R into a bounded Jordan domain Ω is described only informally: the text refers to 'twisting parts', 'pipes', and figures, and states choices such as m_d and s_d with 'It is easy to check' rather than a rigorous verification. In addition, the final conclusion ∫_Ω φ(h_Ω(z0,z)) dz < ∞ is justified by citing [4, Lemma 3.2] without stating the lemma or verifying its hypotheses after the folding. Since Theorem 1.5 depends on this construction, the sharpness example is not fully checkable as written.","section":"Section 3, proof of Theorem 1.5"}],"minor_comments":[{"comment":"There are several typos: 'Thenrem 1.4' in the proof of Theorem 1.4, 'Cauchy–Schwartz' should be 'Cauchy–Schwarz', 'homeomorpic' in the proof of Theorem 1.5, and 'line segement' in the proof of Theorem 1.6.","section":"Throughout"},{"comment":"The internal distance d_I is defined only for points in Ω, but Lemma 2.6 and Theorem 1.6 use expressions such as d_I(f(0),f(ω)) for boundary points ω∈∂D and diam_I(Ω)=sup_{x,y∈∂Ω}d_I(x,y); the limiting definition for boundary points should be stated explicitly.","section":"Section 2, definition of internal distance"},{"comment":"The sets A_m are initially defined as subsets of the unit disk with polar coordinates, but later they are used as subsets of H+ in expressions such as h_{H+}(ω,T(0)) and g(A_m); the change of variables under T should be made explicit.","section":"Lemma 2.3"},{"comment":"The summation-by-parts formula in part (ii) contains index inconsistencies (k vs j) and appears to drop a factor; a standard integral-comparison proof would be simpler and clearer.","section":"Lemma 3.3"},{"comment":"The definition of i_n and the sentence 'We assume, for convenience, that the sequence {i_n} is strictly increasing' need justification; the display (3.11) also has an indexing typo (the lower limit should be i_n+1 rather than i_{n+1}).","section":"Section 3, proof of Theorem 1.5"},{"comment":"In the radial-energy estimate, the line 'the equivalence constant relies on ϵ' is vague, and the argument should explicitly state that Φ(ηe^{it}) lies in D(Φ(0),ϵ) by the choice of η, which is needed to compare the radial image length with the internal distance from the boundary of D(Φ(0),ϵ).","section":"Section 3, proof of Theorem 1.6"}],"recommendation":"major_revision","confidential_remarks":"The self-citation to [4] is legitimate because the present results directly generalize that work, and the cited theorems are published and independently argued. The main concern for the editor is that the sharpness proof as written is not merely incomplete but internally inconsistent: the arcs A_n in Theorem 1.6 cannot be pairwise disjoint with divergent total length. This is repairable, but the repair is nontrivial and the proof of Theorem 1.5 should be revisited carefully after it. The sufficiency side also needs a rigorous verification of the crosscut disjointness condition. The paper fits the journal's scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Xilin Zhou has a decent paper here. Theorem 1.4 extends the L^q-integrability result of Bouchala et al. to a sharp phi-scale: if the hyperbolic metric is phi-integrable and the tail of 1/phi converges, then every boundary parametrization has a W^{1,p} homeomorphic extension for p<2. That is a real generalization, and the proof adapts the Koski-Onninen dyadic crosscut machinery competently. Lemma 2.3 is the heart, and the Cauchy-Schwarz summation is clean. The sharpness idea—using a domain of infinite internal diameter—is natural, and Theorem 1.5 is a plausible claim.\n\nThe soft spots are mostly fixable, except one that is not. In Theorem 1.6, the arcs A_n are declared to have length pi/(4n). Their total length diverges, so they cannot be pairwise disjoint on the unit circle. In fact A_4 already reaches pi and A_5 starts before pi and crosses it. Because the intervals I(theta_n, delta_n) are pairwise disjoint, injectivity of phi forces the A_n to be disjoint; they are not, so phi is not well-defined. That is a genuine flaw in the counterexample as written. It is easy to repair—take the lengths to be summable but still with |A_n| 4^n non-summable, e.g., |A_n| = c 4^{-n}—but the current text does not do it.\n\nTwo smaller gaps: the proof invokes Theorem 2.2 without checking that the crosscuts Gamma_{n,j} are pairwise disjoint across different dyadic scales. This is probably true for hyperbolic geodesics between boundary points coming from a homeomorphic image of a nested dyadic set, but it should be stated or proved. And Theorem 1.5 borrows [4, Lemma 3.2] without stating the lemma or verifying its hypotheses, so the final integrability transfer is not independently checkable.\n\nThe citation pattern is fine: the author cites the prior paper he coauthored because that is the result being generalized.\n\nBottom line: the main theorem is likely correct and worth publishing. The counterexample needs repair before the sharpness claim is established. I would send this to a serious referee and ask for those specific revisions.","headline":"A solid phi-scale generalization of the L^q-extension theorem, but the sharpness construction as written has a repairable geometric inconsistency.","tokens_in":13698,"tokens_out":11238,"would_cite":true,"duration_ms":123319,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46E35","30C62","58E20"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that a Jordan domain's φ-integrable hyperbolic metric yields homeomorphic W^{1,p} extensions for all p<2 precisely when ∫_1^∞ 1/φ(s) ds is finite, and constructs a sharp counterexample when it diverges.","keywords":["Sobolev homeomorphism","Sobolev extension","hyperbolic metric","Jordan domain","phi-integrability","dyadic crosscuts","internal diameter","sharp threshold"],"falsifier":"Plot the hyperbolic geodesics joining consecutive dyadic boundary points $e^{{2π i j/2^n}}$ in the unit disk: if any two geodesics from different dyadic scales meet in the open disk, the pairwise-disjointness condition used in the proof of Theorem 1.4 would fail for the natural family, and the proof would need a different crosscut selection to stand.","tokens_in":12705,"feed_emoji":"⭕","tokens_out":21677,"duration_ms":195318,"temperature":0.7,"pith_summary":"This paper asks when every homeomorphic parametrization of the boundary of a planar Jordan domain can be extended to a Sobolev homeomorphism of the whole disk. Building on the recent L^q-integrability criterion, the author replaces the power q by an arbitrary weight function φ and proves that the extension exists for every boundary homeomorphism exactly when φ satisfies a mild subadditivity and the tail integral of 1/φ is finite. When that tail diverges, the paper constructs a Jordan domain with φ-integrable hyperbolic metric whose boundary has a parametrization admitting no $W^{{1,1}}$ homeomorphic extension, so the threshold is sharp. The result settles the refined-scale question for functions like t(log(e+t))^α: the dividing line is α>1.","feed_headline":"∫1/φ finite ⇒ Sobolev extensions for φ-integrable circle maps","feed_subtitle":"Infinite tail of 1/φ yields a Jordan circle map with no W^{1,1} extension.","key_machinery":"The engine is the Koski–Onninen dyadic crosscut criterion [11, Theorem 3.1] (Theorem 2.2 here): a boundary homeomorphism extends to a $W^{{1,p}}$ homeomorphism if one can exhibit a dyadic family of boundary arcs and, for each arc, a crosscut Γ_{n,j} inside the domain such that the length series (2.1) converges and the crosscuts are pairwise disjoint. The key estimate (Lemma 2.3) bounds the squared Euclidean length of a single crosscut (the image under the Riemann map of a short hyperbolic geodesic) by a constant times (∫_1^∞ 1/φ(s) ds)(∫_Δ φ(h_Ω(z0,·)) dz), where Δ is the region between the crosscut and the boundary arc. The proof moves the two geodesic endpoints to ±1 by a Möbius transformation, decomposes the upper half-plane into the annular regions A_m, uses the lower bound h(ω,T(0)) ≥ |m| log 2, and applies Cauchy–Schwarz; the finiteness of the tail integral makes the series over scales convergent. The counterexample rests on a separate construction: a half-disk glued to trapezoids with heights a_n satisfying ∑ $a_n^{2}$ φ(n) < ∞ while ∑ a_n = ∞, then folded into rectangles of summable widths to produce a Jordan domain of infinite internal diameter.","core_discovery":"The central claim is Theorem 1.4: let Ω be a Jordan domain, z0∈Ω, and let φ be continuous, strictly increasing to infinity, with φ(s+t) ≤ M(φ(s)+φ(t)). If ∫_Ω φ(h_Ω(z0,z)) dz < ∞ and ∫_1^∞ ds/φ(s) < ∞, then every homeomorphic parametrization φ:∂D→∂Ω has a homeomorphic extension in $W^{{1,p}}$(D,C) for every p∈[1,2). Theorem 1.5 shows the condition on the tail integral is necessary in a strong sense: when it diverges, there exists a Jordan domain satisfying the φ-integrability condition (for instance with G=D when φ allows) whose boundary has a homeomorphism with no $W^{{1,1}}$ extension. The paper also proves that the hypotheses of the positive theorem force the internal diameter of Ω to be finite, and that infinite internal diameter always prevents some boundary homeomorphism from having a $W^{{1,1}}$ extension (Theorem 1.6).","pith_inferences":["The tail integral ∫_1^∞ 1/φ(s) ds appears as a quantitative weight: the constant in the length estimate (Lemma 2.3) is proportional to the square root of this tail, so one can expect explicit bounds on the W^{1,p} norm of the extension in terms of this tail and the total φ-mass, which the paper does not state.","The folding construction in Theorem 1.5 creates domains with infinite internal diameter; a similar folding with different scalings might produce domains where W^{1,p} extension exists exactly for p < p0 for some p0∈[1,2), filling the gap between the W^{1,1} failure and the all-p<2 theorem.","The proof's disjointness condition could be automated: for a given Jordan domain, checking pairwise disjointness of the dyadic geodesic images might be decidable from the conformal map, and if it fails for one dyadic system, one could try other dyadic schemes before concluding non-extendability."],"forward_implications":["The L^q-integrability theorem of [4] for q>1 is a special case, and the proof extends to critical scales like φ(t)=t(log(e+t))^α with α>1, yielding W^{1,p} homeomorphic extensions for all p<2.","The counterexample shows that for α≤1, there are Jordan domains with φ-integrable hyperbolic metric but whose boundary homeomorphisms are not all W^{1,1}-extendable; in particular, the threshold α>1 is sharp.","Under the hypotheses of Theorem 1.4, the internal diameter of Ω is finite (Lemma 2.6), so any Jordan domain with infinite internal diameter is automatically outside the extension class.","The sufficient condition is independent of the chosen base point z0, because the hyperbolic metric changes by a controlled factor under a change of base point, and the integral condition remains finite.","The theorem gives a parameter-free criterion: the extension holds for any φ satisfying the mild quasi-subadditivity, not just power functions."],"supporting_citations":[{"why":"Supplies the previous L^q-integrability theorem and the q=1 counterexample that this paper generalizes; Lemma 2.3 extends [4, Lemma 2.4] and the counterexample uses [4, Lemma 3.2] to compare hyperbolic and quasi-hyperbolic integrability.","marker":"[4]"},{"why":"Provides Theorem 3.1 (here Theorem 2.2), the dyadic crosscut criterion that is the engine of the positive extension theorem.","marker":"[11]"},{"why":"Gehring–Hayman inequality is used in Lemma 2.6 to compare internal distances with the lengths of the hyperbolic geodesic crosscuts, yielding the finite internal diameter conclusion.","marker":"[7]"}],"fun_headline_variants":["φ-integrable hyperbolic metric ⇒ Sobolev extensions","Sobolev homeomorphic extensions for φ-integrable metrics","Sharpness: divergent tail of 1/φ blocks W^{1,1} extension","Generalized integrability condition for Sobolev circle maps","Homeomorphic Sobolev extensions for wider integrability"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The positive extension proof assumes that the crosscuts chosen from the dyadic family are pairwise disjoint across all scales, a geometric property that the paper states without proof; if two of these crosscuts crossed in the interior, the Koski–Onninen criterion could not be applied to that family.","fun_headline_variants_meta":{"raw":{"variants":["φ-integrable hyperbolic metric ⇒ Sobolev extensions","Sobolev homeomorphic extensions for φ-integrable metrics","Sharpness: divergent tail of 1/φ blocks W^{1,1} extension","Generalized integrability condition for Sobolev circle maps","Homeomorphic Sobolev extensions for wider integrability"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000839,"raw_usage":{"total_tokens":3635,"prompt_tokens":899,"completion_tokens":2736,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":515,"completion_tokens_details":{"reasoning_tokens":2645}},"tokens_in":515,"tokens_out":2736,"duration_ms":20426,"temperature":1.0,"reasoning_tokens":2645,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T04:33:11.097057+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Plot the hyperbolic geodesics joining consecutive dyadic boundary points $e^{{2π i j/2^n}}$ in the unit disk: if any two geodesics from different dyadic scales meet in the open disk, the pairwise-disjointness condition used in the proof of Theorem 1.4 would fail for the natural family, and the proof would need a different crosscut selection to stand.","supporting_citations":[{"cited_title":"Bouchala, J","cited_arxiv_id":null,"evidence_quote":"Supplies the previous L^q-integrability theorem and the q=1 counterexample that this paper generalizes; Lemma 2.3 extends [4, Lemma 2.4] and the counterexample uses [4, Lemma 3.2] to compare hyperbolic and quasi-hyperbolic integrability."},{"cited_title":"Koski, J","cited_arxiv_id":null,"evidence_quote":"Provides Theorem 3.1 (here Theorem 2.2), the dyadic crosscut criterion that is the engine of the positive extension theorem."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gehring–Hayman inequality is used in Lemma 2.6 to compare internal distances with the lengths of the hyperbolic geodesic crosscuts, yielding the finite internal diameter conclusion."}],"review_version":1}