{"id":"4572425e-20af-4846-9f52-f226f173da52","arxiv_id":"1908.04421","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"This paper proves that non-abelian Carnot groups have infinite Lipschitz dimension and computes the Lipschitz dimension of snowflakes, trees, buildings, and Sierpinski carpets.","lead":"A mathematician computed a new 'Lipschitz dimension' for several fractal and geometric spaces, showing that some spaces are so tangled they cannot be flattened into any Euclidean space at all. The result gives a new tool for deciding when one space can be stretched without tearing into another.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the central argument for Theorem 5.8 is sound and the external input, Pansu's theorem, is standard rather than a load-bearing gap.","rationale":"The reader's conditional verdict stems from the external reliance on Pansu's theorem and from a minor gap in Theorem 5.4. I agree that Theorem 5.4 needs a small fix, but I do not regard Pansu's theorem as a correctness risk for the central claim: it is a standard, established result and its application here is routine. My pass through Theorem 5.8 and its supporting results (Corollaries 4.16 and 4.17, Proposition 4.15, and the geometry of Carnot groups) revealed no internal inconsistency or hidden assumption that would threaten the conclusion that non-abelian Carnot groups have infinite Lipschitz dimension. The proof of Theorem 5.8 is short but complete modulo standard facts, and Corollary 5.10 follows from the same mechanism along with the weak-tangent bound on Lipschitz dimension. Therefore no new objection is raised, and the reader's CONDITIONAL verdict can stand unchanged.","tokens_in":31379,"tokens_out":18277,"duration_ms":201768,"concrete_test":"Recompute the tangent-package identification in Section 5.3.2 for the Heisenberg group H: take an arbitrary Lipschitz f:H->R^n, write the Pansu rescalings F_λ(y)=λ(f(x·δ_{λ^{-1}}y)-f(x)), and verify directly that the packages ((H,λd,x),(R^n,λ||,f(x)),f) converge, after the isometries y->x·δ_{λ^{-1}}y and w->λ(w-f(x)), to ((H,0),(R^n,0),Df(x)); then check that every such Df(x) vanishes on the center. If the limit is indeed Df(x), the contradiction with lightness is forced.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I examined the proof of Theorem 5.8. The chain of reasoning is: a hypothetical Lipschitz light map f:G->R^n has, by Pansu's theorem, an almost-everywhere derivative Df(x) that is a Lie group homomorphism commuting with dilations; Df(x) therefore kills the connected commutator subgroup [G,G]; and Df(x) is a weak tangent of f, so by Corollary 4.16 it must itself be Lipschitz light and hence light, which is impossible because it collapses a nontrivial connected set. Each step checks out. Pansu's theorem is a deep but established external result, not a contested assumption. The identification of Df(x) as a weak tangent follows from the explicit coordinate isometries y -> x·δ_{λ^{-1}}y on the domain and w -> λ(w-f(x)) on R^n, after which Pansu's convergence is exactly convergence of the conjugated mapping packages. The only real defect I see is the one already noted by the reader, a missing normalization of the maps h_λ in the proof of Theorem 5.4; that is confined to the snowflake computation and is repaired by translating each h_λ so that h_λ(0)=0. It has no bearing on Theorem 5.8, Corollary 5.9, or Corollary 5.10.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops the theory of the Lipschitz dimension dim_L introduced by Cheeger and Kleiner, which is defined as the minimal n for which a metric space admits a Lipschitz light map into R^n. The main contributions are: a weak-tangent characterization of Lipschitz light maps (Theorem 4.19); behavior of dim_L under products, unions, and Gromov-Hausdorff limits; computations of dim_L for metric trees, Euclidean buildings, snowflakes of Euclidean spaces, Carnot groups, subsets of R, and self-covering fractals; relationships with Nagata, Hausdorff, and Assouad dimensions; an upper bound on Cheeger's analytic dimension by dim_L; and mapping-theoretic results showing non-invariance under quasisymmetric and snowflake maps. A central result is Theorem 5.8, asserting that every non-abelian Carnot group has infinite Lipschitz dimension, which yields a short proof of quasi-isometric non-embedding into spaces of finite Lipschitz dimension.","tokens_in":31472,"tokens_out":29241,"duration_ms":296791,"significance":"If the results stand, this is a valuable contribution to the metric geometry of quantitative dimension theories. The most striking result, Theorem 5.8, gives a clean and conceptually simple proof that non-abelian Carnot groups have infinite Lipschitz dimension, using Pansu's theorem and the weak-tangent machinery; this is an elegant explanation of a previously known quasi-isometric non-embedding phenomenon. The weak-tangent characterization in Theorem 4.19 is a useful tool and is applied fruitfully throughout. The paper is careful and largely self-contained, with standard external inputs (Assouad embedding, Pansu differentiation, Lang-Schlichenmaier constructions, Cheeger's differentiation theory) clearly identified. I found one substantive proof gap, in the normalization of rescaled maps in Theorem 5.4, but it is local and easily repaired; the central arguments for Theorem 5.8 and its corollaries are sound.","major_comments":[{"comment":"The assertion that the maps h_λ(t) = λ^ε h(t/λ) subconverge to a bi-Lipschitz embedding of X = (R, |·|^ε) into R^{n-1} is not justified as written. Unless h(0) = 0, these maps are not normalized and can diverge, since h_λ(0) = λ^ε h(0) tends to infinity. The gap is repaired by replacing h_λ with t ↦ λ^ε (h(t/λ) - h(0)); the translated maps remain uniformly bi-Lipschitz, send 0 to 0, and then subconverge by Arzelà-Ascoli on compact intervals to the desired embedding. This fix is local and does not affect Theorem 5.8, Corollary 5.9, or Corollary 5.10, but the proof as printed should be corrected.","section":"§5.2, proof of Theorem 5.4"}],"minor_comments":[{"comment":"The statement appears to be trivially true as written: since α ∈ (0,1), the condition k > (n-1)/α forces k ≥ n, and then any E ⊆ R^n has dim_L(E) ≤ n by the isometric inclusion E ↪ R^n, which is Lipschitz light because preimages of sets of diameter ≤ r are contained in those sets. The proof, however, treats π^{-1}(p) as an (n-k)-plane, which is only meaningful for k ≤ n. Please clarify the intended range of k or simplify the theorem.","section":"§5.2, Theorem 5.6"},{"comment":"In the hypothesis, the expression H^n(g(X)) should presumably be H^n(g(Z)), since g is defined on Z and not on all of X.","section":"§8.3, Corollary 8.10"},{"comment":"The phrase 'rescaled translates of K, inside K' is immediately qualified by allowing the copies to contain points outside K; please rephrase to avoid the apparent contradiction.","section":"§5.5, Definition 5.15"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"David has produced a genuinely useful paper. The main new results are all here: non-abelian Carnot groups have infinite Lipschitz dimension (Thm 5.8), snowflakes of R have Lipschitz dimension 1 (Thm 5.4), Sierpinski carpets and gasket have dimension 1 (Cor 5.17), and Lipschitz dimension bounds Cheeger analytic dimension (Thm 7.6). I checked the central argument for Theorem 5.8 and it works: a hypothetical Lipschitz light map to R^n would, by Pansu's theorem, have derivatives that are Lie homomorphisms killing the commutator subgroup; that same derivative is a weak tangent and by Corollary 4.16 must be light, contradiction. The weak-tangent characterization (Thm 4.19) is the right tool and the paper uses it honestly.\n\nThe only soft spot is the one you noted: in the proof of Theorem 5.4, the rescaled maps h_lambda(t) = lambda^epsilon h(t/lambda) are not locally bounded as written, so subconvergence needs a normalization (translate to fix h_lambda(0)=0). That is a minor, fixable gap, confined to the snowflake computation. It does not affect Theorem 5.8, the Sierpinski results, or the analytic-dimension theorem. The stress-test note confirms this.\n\nOn Theorem 7.6: the proof uses Proposition 7.5 from the author's own [14] and Schioppa [40] independently. Not circular; I would just make sure the citation makes the independent provenance clear. The citation pattern is otherwise fine; the paper is careful about overlap with Pauls.\n\nWho is this for? People working in metric dimension theory, quasi-isometric rigidity, or differentiability spaces. The paper is a solid source of examples and techniques. It deserves a serious referee; the existing minor gap should be fixed, but the verdict should be accept after minor revision.","headline":"Solid, new results on Lipschitz dimension; the only flaw I found is a fixable normalization gap in the snowflake proof.","tokens_in":32242,"tokens_out":1830,"would_cite":true,"duration_ms":17348,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["30L99","54F45","53C23"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that every non-abelian Carnot group has infinite Lipschitz dimension: no Lipschitz light map into any Euclidean space exists.","keywords":["Lipschitz dimension","Carnot groups","Lipschitz light maps","Pansu differentiation","quasi-isometric embeddings","Nagata dimension","weak tangents","Sierpinski carpets"],"falsifier":"Exhibit a Lipschitz light map from the first Heisenberg group with its sub-Riemannian metric to $\\mathbb{R}^n$ for some finite $n$; Theorem 5.8 says no such map exists. The direct check is to take any candidate $f$ and test the defining bound: for all $r>0$ and all $W\\subset\\mathbb{R}^n$ of diameter at most $r$, every $r$-component of $f^{-1}(W)$ has diameter at most $Cr$.","tokens_in":30988,"feed_emoji":"♾️","tokens_out":9372,"duration_ms":80214,"temperature":0.7,"pith_summary":"The paper studies the Lipschitz dimension introduced by Cheeger and Kleiner, a quantitative analogue of topological dimension defined through Lipschitz light maps into Euclidean spaces. It establishes that non-abelian Carnot groups, such as the Heisenberg group with its sub-Riemannian metric, have infinite Lipschitz dimension. It also computes this dimension for products of metric trees, Euclidean buildings, snowflakes of Euclidean spaces, Sierpinski carpets, and the Sierpinski gasket, and compares it with Nagata, Hausdorff, Assouad, and Cheeger analytic dimensions. A corollary is a short proof that non-abelian Carnot groups do not quasi-isometrically embed into any space of finite Lipschitz dimension.","feed_headline":"Non-abelian Carnot groups have infinite Lipschitz dimension","feed_subtitle":"No Lipschitz light map sends them to Euclidean space, so they cannot be quantitatively parametrized in finite dimension.","key_machinery":"The central object is the Lipschitz light map: a $C$-Lipschitz map $f:X\\to Y$ such that for every $r>0$ and every $W\\subset Y$ with $\\operatorname{diam}(W)\\le r$, the $r$-components of $f^{-1}(W)$ have diameter at most $Cr$. Lipschitz dimension is the smallest $n$ for which such a map into $\\mathbb{R}^n$ exists. The proving engine is the weak-tangent calculus: rescaling domain and target and passing to Gromov-Hausdorff limits. Theorem 4.19 shows that, for complete doubling spaces, a Lipschitz map is Lipschitz light if and only if every weak tangent is light. For Carnot groups, Pansu differentiation supplies a weak tangent $Df(x)$ that is a Lie group homomorphism commuting with dilations; in a non-abelian Carnot group such a homomorphism must collapse the connected commutator subgroup, contradicting lightness. Other sections use a Lang-Schlichenmaier criterion to compute dimensions of trees and buildings, a self-covering argument for fractals, and convergence arguments for snowflakes and analytic dimension.","core_discovery":"The central claim is Theorem 5.8: if $G$ is a non-abelian Carnot group, then $\\dim_L(G)=\\infty$. Equivalently, for every $n$, every Lipschitz map $f:G\\to\\mathbb{R}^n$ fails to be Lipschitz light, meaning there is a scale $r$ and a small set $W\\subset\\mathbb{R}^n$ whose preimage contains arbitrarily large $r$-components. The proof combines Pansu's differentiation theorem with the paper's weak-tangent characterization of Lipschitz light maps: at almost every point, $f$ has a weak tangent $Df(x)$ that is a Lie group homomorphism commuting with the dilations of $G$, and any such homomorphism collapses the connected commutator subgroup of $G$ to a point. Because a weak tangent of a Lipschitz light map must itself be Lipschitz light, hence light, this collapse is impossible. Thus non-abelian Carnot groups admit no Lipschitz light map into any Euclidean space, and in particular no bi-Lipschitz embedding into one.","pith_inferences":["The proof gives a template for showing that a space has infinite Lipschitz dimension: find a weak tangent that is a homomorphism with a connected kernel. The same template may apply to other nilpotent Lie groups with dilation structures, not only Carnot groups.","Because Carnot groups have finite Nagata, Hausdorff, and Assouad dimensions, their infinite Lipschitz dimension shows that Lipschitz dimension records a genuinely different, more rigid quantitative obstruction, one sensitive to commutator structure at infinitesimal scales.","The quasi-isometric non-embedding corollary suggests a coarse-geometric counterpart: any space of finite Lipschitz dimension has weak tangents of finite Lipschitz dimension, so coarse embeddings into such spaces can be ruled out by exhibiting a weak tangent with infinite Lipschitz dimension.","For the Heisenberg group, the result implies that any projection or coding map into $\\mathbb{R}^n$ must collapse a connected set at some scale, so quantitative finite-dimensional parametrizations of sub-Riemannian spaces cannot be faithful."],"forward_implications":["Non-abelian Carnot groups admit no bi-Lipschitz embedding into any Euclidean space, since such an embedding would be Lipschitz light.","Non-abelian Carnot groups do not quasi-isometrically embed into any space of finite Lipschitz dimension; in particular, they do not embed into finite products of metric trees or finite-rank Euclidean buildings.","Every compact positive-measure subset of a non-abelian Carnot group also has infinite Lipschitz dimension.","Products of $n$ metric trees, rank-$n$ Euclidean buildings, and snowflakes of $\\mathbb{R}^n$ each have Lipschitz dimension exactly $n$; Sierpinski carpets and the Sierpinski gasket have Lipschitz dimension $1$.","For any complete Lipschitz differentiability space, the Cheeger analytic dimension is no larger than the Lipschitz dimension."],"supporting_citations":[{"why":"defines Lipschitz light maps and the Lipschitz dimension that the paper studies.","marker":"[9]"},{"why":"Pansu's differentiation theorem produces the tangent homomorphism $Df(x)$ used in Theorem 5.8.","marker":"[38]"},{"why":"supplies Gromov-Hausdorff convergence and compactness for mapping packages used in Theorem 4.19 and Corollary 4.16.","marker":"[13]"},{"why":"provides the Lang-Schlichenmaier maps from trees and buildings satisfying Lemma 5.1, giving the dimension computations.","marker":"[31]"},{"why":"gives a tangent isometric to $G$ for positive-measure compact subsets, used in Corollary 5.9.","marker":"[32]"},{"why":"states the quasi-isometric non-embedding result for Carnot groups that Corollary 5.10 complements.","marker":"[39]"},{"why":"established that Carnot groups have finite Nagata dimension, used in Section 6 to contrast with infinite Lipschitz dimension.","marker":"[34]"},{"why":"supplies Assouad's embedding theorem and standard metric dimension facts used for snowflakes and doubling spaces.","marker":"[23]"},{"why":"Cheeger's differentiation theory defines the analytic dimension bounded by Lipschitz dimension in Theorem 7.6.","marker":"[8]"}],"fun_headline_variants":["Infinite Lipschitz dimension for non-abelian Carnot groups","Carnot groups require infinite Lipschitz dimension","Non-abelian Carnot groups: Lipschitz dimension = infinity","No Lipschitz light map sends Carnot groups to Euclidean space"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes Pansu's differentiation theorem: a Lipschitz map from a Carnot group to Euclidean space has a tangent group homomorphism at almost every point, and if that theorem did not apply, the contradiction in Theorem 5.8 would not follow.","fun_headline_variants_meta":{"raw":{"variants":["Infinite Lipschitz dimension for non-abelian Carnot groups","Carnot groups require infinite Lipschitz dimension","Non-abelian Carnot groups: Lipschitz dimension = infinity","No Lipschitz light map sends Carnot groups to Euclidean space"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000277,"raw_usage":{"total_tokens":1628,"prompt_tokens":904,"completion_tokens":724,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":520,"completion_tokens_details":{"reasoning_tokens":650}},"tokens_in":520,"tokens_out":724,"duration_ms":7310,"temperature":1.0,"reasoning_tokens":650,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:45:53.549621+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a Lipschitz light map from the first Heisenberg group with its sub-Riemannian metric to $\\mathbb{R}^n$ for some finite $n$; Theorem 5.8 says no such map exists. The direct check is to take any candidate $f$ and test the defining bound: for all $r>0$ and all $W\\subset\\mathbb{R}^n$ of diameter at most $r$, every $r$-component of $f^{-1}(W)$ has diameter at most $Cr$.","supporting_citations":[{"cited_title":"Cheeger and B","cited_arxiv_id":null,"evidence_quote":"defines Lipschitz light maps and the Lipschitz dimension that the paper studies."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Pansu's differentiation theorem produces the tangent homomorphism $Df(x)$ used in Theorem 5.8."},{"cited_title":"Fractured fractals and broken d reams","cited_arxiv_id":null,"evidence_quote":"supplies Gromov-Hausdorff convergence and compactness for mapping packages used in Theorem 4.19 and Corollary 4.16."},{"cited_title":"Lang and T","cited_arxiv_id":null,"evidence_quote":"provides the Lang-Schlichenmaier maps from trees and buildings satisfying Lemma 5.1, giving the dimension computations."},{"cited_title":"Le Donne","cited_arxiv_id":null,"evidence_quote":"gives a tangent isometric to $G$ for positive-measure compact subsets, used in Corollary 5.9."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"states the quasi-isometric non-embedding result for Carnot groups that Corollary 5.10 complements."},{"cited_title":"Le Donne and T","cited_arxiv_id":null,"evidence_quote":"established that Carnot groups have finite Nagata dimension, used in Section 6 to contrast with infinite Lipschitz dimension."},{"cited_title":"Lectures on analysis on metric spaces","cited_arxiv_id":null,"evidence_quote":"supplies Assouad's embedding theorem and standard metric dimension facts used for snowflakes and doubling spaces."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Cheeger's differentiation theory defines the analytic dimension bounded by Lipschitz dimension in Theorem 7.6."}],"review_version":1}