{"id":"48b0c5cb-d07b-4d42-bf33-b264ce638a0c","arxiv_id":"2411.13129","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Linear and radial stretch maps on the affine-additive group are proved to minimize the mean quasiconformal distortion functional within classes of maps with prescribed boundary behavior.","lead":"Mathematicians prove that two concrete maps on a 3D curved space, called the affine-additive group, distort less on average than any other map moving points between certain box-shaped regions. The work extends a known stretch map technique from the Heisenberg group to a different geometry where prior tools did not directly apply.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: Step 6's modulus comparison is asserted, but it follows from a short precomposition argument and is not a fatal flaw.","rationale":"The reader correctly identifies Step 6 as the weakest point of the proof, and the manuscript does omit the argument behind the modulus comparison. But the reader's formulation asks for more than is needed: it suggests f(Γ) must coincide, up to modulus zero, with the full family of connecting curves in the target. The actual requirement is the inclusion f0(Γ0) ⊆ f(Γ) up to modulus zero, and this follows from the boundary conditions via the quasiconformal self-map g = f^{-1} ∘ f0. Because g fixes the distinguished boundary components and is quasiconformal, g(Γ0) is a horizontal curve family in Γ up to modulus zero, giving the desired inequality by monotonicity. I also checked the volume normalizations in Proposition 2.1, the MSP computations, and the admissibility of ρ0 on the extended families; these are consistent. The main theorems therefore appear correct, but the paper should explicitly include the Step 6 argument rather than asserting it. Keeping the conditional verdict is the appropriate response: the gap is real but readily fixable, so no rejection is warranted.","tokens_in":24703,"tokens_out":33796,"duration_ms":329146,"concrete_test":"Analytically verify the missing inclusion: for a generic f in Fk, define g = f^{-1} ∘ fk and check (i) g(Ω) = Ω, (ii) g maps each prescribed boundary component to itself, and (iii) g(Γ0) ⊆ Γ up to a modulus-zero subfamily. Substituting the explicit boundary conditions from Sections 3.1, 3.2, and 5 confirms all three, which completes Step 6 and hence Theorems 1.2 and 1.3.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's concern targets Step 6 of Theorems 1.2 and 1.3: the inequality Mod4(f0(Γ0)) ≤ Mod4(f(Γ)) for all f in Fk is asserted without proof. This is indeed the load-bearing step, since Theorem 1.1 needs exactly this comparison. However, the gap is patchable. For any f in Fk, set g = f^{-1} ∘ f0. The boundary conditions imply g(Ω) = Ω and g maps each distinguished boundary component to itself. Since g is quasiconformal, it sends horizontal curves to horizontal curves up to a zero-4-modulus subfamily, using the a.e. contact condition and absolute continuity on almost every curve. Hence for every γ in Γ0, g(γ) joins the same boundary components and lies in Γ up to modulus zero, so g(Γ0) ⊆ Γ up to modulus zero. Therefore f0(Γ0) = f(g(Γ0)) ⊆ f(Γ) up to modulus zero, and monotonicity of modulus gives Mod4(f0(Γ0)) ≤ Mod4(f(Γ)). The comparison is thus valid once this one-paragraph argument is supplied; the manuscript as written leaves it to the reader.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies extremal quasiconformal mappings on the affine-additive group AA = R x H_C^1. It introduces linear and radial stretch maps, proves a general criterion (Theorem 1.1) for a map with the minimal stretching property and constant distortion along a foliation to minimize the mean distortion functional, and applies this criterion to prove extremality of the linear stretch map in two settings (Theorem 1.2, k<1 and k>1) and of the radial stretch map in a cylindrical-logarithmic setting (Theorem 1.3). The proofs rely on the 4-modulus of curve families, explicit computations of extremal densities, Beltrami coefficients, and boundary conditions, and are supported by a substantial appendix on quasiconformal mappings and modulus in the affine-additive group.","tokens_in":24999,"tokens_out":19285,"duration_ms":170914,"significance":"If the main theorems hold, the paper is a solid contribution to sub-Riemannian quasiconformal geometry, extending Gr\"otzsch-type extremal problems from the Heisenberg group to the affine-additive group. The explicit computations of extremal densities, Beltrami coefficients, MSP conditions, and modulus values are careful and appear correct. The method is a variant of the authors' previous Heisenberg-group work, so the novelty is moderate but appropriate for the setting. However, the paper as written leaves a load-bearing modulus inequality asserted rather than proved, so the main minimization results are not fully established in the submitted text.","major_comments":[{"comment":"In each application of Theorem 1.1, Step 6 asserts without proof that Mod4(fk(Gamma0)) <= Mod4(f(Gamma)) for every f in Fk, citing absolute continuity of quasiconformal maps on almost every curve and the boundary conditions. This inequality is exactly the hypothesis needed to apply Theorem 1.1, so it is load-bearing for the minimization claims. The assertion is true, but the manuscript should supply the short argument: for f in Fk, set g = f^{-1} composed with fk; the boundary conditions imply g(Omega) = Omega and g maps each distinguished boundary component to itself. Since g is quasiconformal, for all curves in Gamma0 outside a zero-4-modulus subfamily, g composed with gamma is horizontal and joins the same boundary components, hence lies in Gamma up to modulus zero. Therefore fk(Gamma0) = f(g(Gamma0)) is contained in f(Gamma) up to modulus zero, and monotonicity of modulus gives Mod4(fk(Gamma0)) <= Mod4(f(Gamma)). I recommend adding this argument, or a lemma making it precise, to the proofs of Theorems 1.2 and 1.3.","section":"Theorems 1.2 and 1.3, Step 6 in the proofs (Sections 3.1, 3.2, 5.1)"}],"minor_comments":[{"comment":"The curve family Gamma0 is defined with lambda in (0,1/2), but the foliation and the subsequent integration use lambda in (1/2,1); the interval in the definition of Gamma0 should be (1/2,1).","section":"Section 3.1, Step 3"},{"comment":"The heading 'Proof of Thereom 1.1' contains a typo: 'Thereom' should be 'Theorem'.","section":"Section 2.1"},{"comment":"The notation 'M4(f0(Gamma0))' appears once in the upper-bound part of the proof; it should be 'Mod4(f0(Gamma0))'.","section":"Proposition 2.6, proof"},{"comment":"The text says 'cylidrical-logarithmic coordinates'; this should be 'cylindrical-logarithmic coordinates'.","section":"Section 4"},{"comment":"The abstract contains 'strech maps'; the intended word is 'stretch maps'.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":"The main structural result appears sound, and the missing modulus comparison is genuinely patchable by the precomposition argument described in the major comment. I do not see grounds for rejection. The paper fits the journal's scope, and the explicit computations are a strength. With the Step 6 argument expanded and the typographical issues corrected, the paper would be acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a real result, not a repackaging. The authors construct linear and radial stretch maps on the affine-additive group and prove they minimize the mean distortion functional in their respective boundary-value classes. The affine-additive group is conformally hyperbolic and not quasiconformally equivalent to the Heisenberg group, so the Heisenberg examples from [8,9] do not transfer directly. The cylindrical-logarithmic coordinates and the radial stretch map are genuinely new, and the main structural theorem (1.1) is a clean adaptation of the MSP method.\n\nWhat the paper does well: the framework in Section 2 is careful. Proposition 2.1 gives the extremal density for a foliating family; Proposition 2.4 is the modulus-distortion inequality; Proposition 2.6 computes the modulus of the image family under MSP and constant distortion. The computations for the linear case, both k<1 and k>1, and for the radial case check out. The appendix supplies the needed background on quasiconformal maps in the affine-additive group, making the paper reasonably self-contained. This is honest, solid work.\n\nSoft spots: Step 6 in Theorems 1.2 and 1.3 asserts the key inequality Mod4(f0(Γ0)) ≤ Mod4(f(Γ)) for all f in Fk without proof. The reader worried this is a real gap. It is not fatal: for f in Fk, set g = f^{-1}∘f0. The boundary conditions give g(Ω)=Ω and preserve the distinguished boundary components. Since g is quasiconformal, it sends horizontal curves to horizontal curves up to a zero-4-modulus subfamily, so g(Γ0) ⊆ Γ up to modulus zero, and then f0(Γ0) = f(g(Γ0)) ⊆ f(Γ) up to modulus zero. Monotonicity of modulus gives the inequality. The manuscript should include this one-paragraph argument; leaving it to the reader is the main weakness.\n\nThe introduction also says minimizers in the class of 'all quasiconformal mappings' while the theorems use boundary-condition classes Fk. That is an overstatement, but a minor one; the theorems themselves are precise.\n\nNo issue with the citation pattern: the self-citations are to the Heisenberg analogues and the authors' own hyperbolicity paper, which is exactly what this paper builds on.\n\nBottom line: this deserves a serious referee. The gap is patchable, the computations are reproducible, and the result is new. I would send it to review with a request to expand Step 6.","headline":"A solid extension of the modulus/MSP method to a new sub-Riemannian group; the load-bearing modulus comparison is asserted but follows from a short standard argument, so the paper is conditionally acceptable.","tokens_in":25449,"tokens_out":3648,"would_cite":true,"duration_ms":34187,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C17","30L10"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that explicit linear and radial stretch maps on the affine-additive group minimize the mean quasiconformal distortion functional within classes of maps with prescribed boundary conditions, via a modulus-of-curve-families…","keywords":["affine-additive group","quasiconformal maps","mean distortion functional","minimal stretching property","modulus of curve families","linear stretch map","radial stretch map","Grötzsch problem"],"falsifier":"Compute the 4-modulus of the full family $\\Gamma$ of horizontal curves joining the two boundary components in the target domain ($\\Omega_k$ for the linear map, $D^k_{r_0,\\psi_0}$ for the radial map) and compare it with $Mod_4(f_k(\\Gamma_0))$ as given by Proposition 2.6. If some admissible quasiconformal map $f\\in F_k$ has an image family $f(\\Gamma)$ whose modulus is strictly larger than $Mod_4(f_k(\\Gamma_0))$, then the key inequality $Mod_4(f_k(\\Gamma_0))\\le Mod_4(f(\\Gamma))$ fails and the proof of extremality does not go through.","tokens_in":24515,"feed_emoji":"📐","tokens_out":15425,"duration_ms":120351,"temperature":0.7,"pith_summary":"This paper studies extremal quasiconformal maps on the affine-additive group, a sub-Riemannian metric-measure space built from the upper half-plane. It constructs two explicit maps—the linear stretch $f_k(a,\\lambda+it)=(ka,\\lambda+ikt)$ and the radial stretch $f_k$ written in cylindrical-logarithmic coordinates—and proves that each minimizes the mean square distortion $\\int_\\Omega K(p,f)^2\\rho_0(p)^4\\,d\\mu_{AA}(p)$ among all quasiconformal maps in a class $F_k$ with prescribed boundary conditions. The proof is carried by a modulus-of-curve-families method: the candidate maps satisfy the minimal stretching property for a foliation of horizontal curves, which converts a modulus comparison into the distortion inequality. If correct, these are the first extremal quasiconformal mappings established on this conformally hyperbolic space, paralleling the classical Grötzsch problem and its sub-Riemannian analogue.","feed_headline":"Stretch maps minimize quasiconformal distortion in a Thurston geometry","feed_subtitle":"Linear and radial stretch maps are shown to be extremal for the mean distortion functional on the affine-additive group.","key_machinery":"The carrying mechanism is the $4$-modulus of horizontal curve families together with the minimal stretching property (MSP). A quasiconformal map $f_0$ has MSP for a family $\\Gamma_0$ of horizontal curves when, along almost every curve, the Beltrami coefficient $\\mu_{f_0}$ times the derivative ratio $\\dot\\gamma_I/\\dot\\gamma_I$ is a negative real number, which means the curves point in the direction of least stretching. For a foliation $\\gamma:(c,d)\\times\\Delta\\to\\Omega$ whose volume element splits as $d\\mu_{AA}(\\gamma(s,\\delta))=|\\dot\\gamma(s,\\delta)|_H^4\\,ds\\,d\\nu(\\delta)$, the density $\\rho_0(p)=1/((d-c)|\\dot\\gamma(\\gamma^{-1}(p))|_H)$ is extremal for $Mod_4(\\Gamma_0)$, and Theorem 1.1 turns the modulus comparison $Mod_4(f_0(\\Gamma_0))\\le Mod_4(f(\\Gamma))$ into the mean-distortion inequality. The proofs of Theorems 1.2 and 1.3 verify MSP, constancy of $K(\\cdot,f_k)$ along the foliation, and admissibility of $\\rho_0$ for the larger family $\\Gamma$ of all horizontal curves joining the two boundary components.","core_discovery":"The central claim is that two explicit homeomorphisms of the affine-additive group are extremal for the mean distortion functional $\\int_\\Omega K(p,f)^2 \\rho_0(p)^4\\,d\\mu_{AA}(p)$. Theorem 1.2 asserts that the linear stretch map $f_k(a,\\lambda+it)=(ka,\\lambda+ikt)$ satisfies $K_{f_k}^2 \\le (\\int_\\Omega K(\\cdot,f)^2\\rho_0^4\\,d\\mu_{AA})/(\\int_\\Omega \\rho_0^4\\,d\\mu_{AA})$ for every admissible quasiconformal map $f$ in the class $F_k$ between the two defined domains, and Theorem 1.3 asserts the corresponding integral inequality for the radial stretch map $f_k(a,\\xi,\\psi)=(a-\\psi/2+\\tfrac12\\arctan(\\tan\\psi/k),\\,k\\xi,\\,\\arctan(\\tan\\psi/k))$ on truncated cylindric shells. In both cases the map is an orientation-preserving quasiconformal map whose distortion is constant along the foliating curves, and the boundary conditions fix the two distinguished boundary components.","pith_inferences":["A testable extension is to apply the same MSP-plus-modulus recipe to other solvable sub-Riemannian groups whose Haar measure splits as $|\\dot\\gamma|_H^4\\,ds\\,d\\nu$ along a horizontal foliation; wherever that splitting holds, the analogous stretch map should minimize the same mean functional.","If the implicit surjectivity assumption on the curve family fails, the extremality statements in Theorems 1.2 and 1.3 may still be true, but a sharper modulus comparison not relying on exact preservation of the joining family would be needed.","The open-question calculation in Section 6 gives a strict inequality between the modulus ratio and $K_{f_k}^2$ for $\\psi_0\\in(\\pi/4,\\pi/2)$, suggesting that maximal-distortion minimality of the radial map is sensitive to the opening angle and might fail for large $\\psi_0$.","The formal substitution $k=-1$ in Remark 5.4 produces a contactomorphism, so the radial construction has a conformal member; this raises a natural uniqueness question for the mean-distortion minimizers."],"forward_implications":["The linear stretch map also minimizes the maximal distortion $K_f$ within the same class (Corollaries 3.1 and 3.2).","The radial stretch map minimizes the mean distortion on truncated cylindric shells for $0<k<1$, while the case $k>1$ is not treated and would require a different argument (Remark 5.1).","The method yields a reusable recipe: choose a horizontal foliation, verify the minimal stretching property and constancy of distortion along the foliation, then extend the curve family to all curves joining the boundary components.","The extremal maps are explicit contact transformations, so they supply concrete examples of extremal quasiconformal mappings in a conformally hyperbolic sub-Riemannian geometry."],"supporting_citations":[{"why":"supplies the modulus method and the minimal stretching property template that the proofs adapt to the affine-additive group.","marker":"[8]"},{"why":"gives the uniqueness result for the mean-distortion minimizer in the earlier sub-Riemannian case, motivating the functional studied here.","marker":"[9]"},{"why":"establishes conformal hyperbolicity and the dimension and Sobolev framework for quasiconformal maps on the affine-additive group.","marker":"[6]"},{"why":"provides the absolute-continuity-on-curves result used to control image curve families up to modulus zero in the key comparison step.","marker":"[10]"},{"why":"poses the classical Grötzsch problem whose affine-additive analogues are solved by the linear and radial stretch maps.","marker":"[15]"},{"why":"demonstrates the modulus-of-curve-families approach to extremality that Theorem 1.1 formalizes.","marker":"[7]"}],"fun_headline_variants":["Stretch maps minimize quasiconformal distortion on affine-additive group","Stretch maps are extremal for mean distortion in affine-additive","Minimizers of mean distortion: stretch maps in affine-additive","Stretch maps beat all in mean quasiconformal distortion on affine-additive","Extremal stretch maps minimize mean distortion on affine-additive group"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof depends on assuming that every allowed curve joining the two boundary faces of the target domain is, apart from an ignorably small family, the image of a curve from the source family; if a non-negligible family of such curves is missed, the key modulus comparison can fail and the minimizer conclusion would not follow.","fun_headline_variants_meta":{"raw":{"variants":["Stretch maps minimize quasiconformal distortion on affine-additive group","Stretch maps are extremal for mean distortion in affine-additive","Minimizers of mean distortion: stretch maps in affine-additive","Stretch maps beat all in mean quasiconformal distortion on affine-additive","Extremal stretch maps minimize mean distortion on affine-additive group"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000787,"raw_usage":{"total_tokens":3412,"prompt_tokens":829,"completion_tokens":2583,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":445,"completion_tokens_details":{"reasoning_tokens":2490}},"tokens_in":445,"tokens_out":2583,"duration_ms":19177,"temperature":1.0,"reasoning_tokens":2490,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T16:49:25.499532+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the 4-modulus of the full family $\\Gamma$ of horizontal curves joining the two boundary components in the target domain ($\\Omega_k$ for the linear map, $D^k_{r_0,\\psi_0}$ for the radial map) and compare it with $Mod_4(f_k(\\Gamma_0))$ as given by Proposition 2.6. If some admissible quasiconformal map $f\\in F_k$ has an image family $f(\\Gamma)$ whose modulus is strictly larger than $Mod_4(f_k(\\Gamma_0))$, then the key inequality $Mod_4(f_k(\\Gamma_0))\\le Mod_4(f(\\Gamma))$ fails and the proof of extremality does not go through.","supporting_citations":[{"cited_title":"Balogh, K","cited_arxiv_id":null,"evidence_quote":"supplies the modulus method and the minimal stretching property template that the proofs adapt to the affine-additive group."},{"cited_title":"Balogh, K","cited_arxiv_id":null,"evidence_quote":"gives the uniqueness result for the mean-distortion minimizer in the earlier sub-Riemannian case, motivating the functional studied here."},{"cited_title":"Hyperbolicity of the sub-Riemannian affine-additive group","cited_arxiv_id":"2407.04635","evidence_quote":"establishes conformal hyperbolicity and the dimension and Sobolev framework for quasiconformal maps on the affine-additive group."},{"cited_title":"Balogh, P","cited_arxiv_id":null,"evidence_quote":"provides the absolute-continuity-on-curves result used to control image curve families up to modulus zero in the key comparison step."},{"cited_title":"Gr¨ otzsch.¨Uber einige Extremalprobleme der konformen Abbildung","cited_arxiv_id":null,"evidence_quote":"poses the classical Grötzsch problem whose affine-additive analogues are solved by the linear and radial stretch maps."},{"cited_title":"Balogh, K","cited_arxiv_id":null,"evidence_quote":"demonstrates the modulus-of-curve-families approach to extremality that Theorem 1.1 formalizes."}],"review_version":1}