{"id":"1f4814b4-14d9-4980-849b-979ac10dc88b","arxiv_id":"2412.06366","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Random fractals from Brownian motion, SLE, and CLE are almost surely not quasisymmetrically equivalent to canonical spaces such as line segments, rays, or round carpets.","lead":"This paper studies random fractal shapes from Brownian motion, SLE curves, and conformal loop ensembles, and asks whether they can be stretched in a controlled way to match simple standard shapes. It finds that almost all of these random objects resist such controlled stretching, so they cannot be quasisymmetrically uniformized to lines, segments, or round carpets.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.3's proof relies on a misstated Whyburn theorem: condition (3) makes the carpet empty, and the density argument only proves closure membership, not membership. The CLE space is not established as a metric carpet as written.","rationale":"The reader already flagged the closure-versus-membership slip in Theorem 1.3, but identified Proposition 4.4 and the weak-limit step as the primary load-bearing concerns. I see the Theorem 1.3/Whyburn issue as more directly damaging: it is an internal contradiction in the statement and proof, whereas Proposition 4.4 is an external theorem that is plausible and the weak-limit transfer can likely be repaired by local absolute continuity of whole-plane SLE with respect to radial SLE. The SLE loop measure strategy for non-quasiroundness is coherent and likely correct, so a full reject is not warranted. The manuscript should be accepted only after the carpet theorem is repaired and the proof of Theorem 4.6 is made independent of the problematic closure step. Thus the reader's conditional verdict remains appropriate.","tokens_in":17174,"tokens_out":15232,"duration_ms":168725,"concrete_test":"Re-run the proof of Theorem 1.3 with the closure convention: after the loop-soup density step, record the valid conclusion z in closure(union D_n) instead of z in union D_n, and restate Whyburn (Thm 4.1) with D a closed disk and (3) replaced by 'union D_n is dense in D'. Then check that the corrected statement matches [HL23, Thm 5.1] and that a finite-scale CLE sample still has nonempty complement with every neighborhood of every remaining point meeting some loop interior. If the corrected Whyburn does not yield a compact Sierpinski carpet, Theorem 1.3 is unproved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central carpet claim is not yet supported. Theorem 4.1 (Whyburn) is stated with Dn disjoint open disks in a simply connected domain D and condition (3) union Dn = D, and then says D\\union Dn is a Sierpinski carpet. If (3) holds, the complement is empty, not a carpet; if D is not compact, D\\union Dn need not be compact. The proof of Theorem 1.3 repeats the problem: it shows for each z in D and epsilon>0 that B(z,epsilon) meets union Dn, which gives z in closure(union Dn), and then concludes z in union Dn and hence union Dn = D. Only density has been shown. If union Dn were all of D, there would be no points of the CLE space at all, contradicting the intended carpet and Theorem 4.6. A correct argument would either use Whyburn for a compact closed disk with union Dn dense, or identify the CLE space as the closure of D minus the loop interiors. This issue is internal and precedes the non-quasiround proof; Theorem 1.4 cannot be assessed until Theorem 1.3 has a valid carpet statement.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies quasisymmetric uniformization of several random fractals: the trace and graph of Brownian motion, various SLE_κ and SLE_κ(ρ) curves, and the CLE_κ gasket for κ ∈ (8/3, 4]. The main claims are that Brownian arcs and SLE rays/arcs are almost surely not quasiarcs/quasirays (Theorems 1.1 and 1.2), and that the CLE_κ space is almost surely a topological Sierpiński carpet but is not quasiround (Theorems 1.3 and 1.4). The proofs for Brownian motion use the Tukia–Väisälä bounded-turning characterization; the SLE proofs combine lack of 1/2-Hölder regularity of the driving function with known Loewner equation results; the carpet proofs invoke Whyburn's theorem, a relation between SLE loop measure and whole-plane CLE, and a comparison with nested CLE.","tokens_in":17314,"tokens_out":10544,"duration_ms":106181,"significance":"If the proofs are completed, the paper provides a coherent set of negative results showing that several natural random fractal spaces do not admit quasisymmetric uniformizations to standard canonical spaces. The Brownian and chordal/radial SLE results are plausible additions to the literature, and the carpet non-quasiroundness statement, if established, would be a valuable stochastic counterpart to the Bonk–Kleiner program. The paper also usefully collects relevant background and formulates open questions. However, the central carpet theorem is currently not proven as written due to a misstatement of Whyburn's theorem and an invalid density-to-equality inference, and the negative carpet result depends on an unproved external preprint result. The significance is therefore conditional on repairing these load-bearing points.","major_comments":[{"comment":"Theorem 4.1 is misstated: condition (3) says ⋃ D_n = D, which would make D \\ ⋃ D_n the empty set, not a Sierpiński carpet. Moreover, if D is a simply connected open domain, D \\ ⋃ D_n is not compact. In the proof of Theorem 1.3, the argument shows only that every z with rational coordinates lies in the closure of ⋃ D_n, which establishes density, not equality. The sentence 'Thus z ∈ ⋃ D_n' is therefore unjustified, and the subsequent conclusion ⋃ D_n = D is false in general. A correct proof would need to apply a correct version of Whyburn's theorem to a compact closed disk (or the sphere) with ∪ D_n dense, and would need to clarify the definition of the CLE space as a compact metric space, for instance by including the outer boundary or taking a compactification.","section":"Section 4, Theorem 4.1 and proof of Theorem 1.3"},{"comment":"Theorem 4.6, and hence Theorem 1.4, depends on Proposition 4.4, which is cited as [ACSW, Theorem 1.1]. This is a nontrivial equality between the SLE_κ loop measure and the counting measure on whole-plane CLE_κ loops, and [ACSW] is a preprint co-authored by one of the present authors. The manuscript does not prove this result, and the conclusion that the expected number of quasicircle loops in whole-plane CLE is zero rests entirely on it. The authors should either supply a proof of Proposition 4.4 or replace it with a reference to a published, independent source. As it stands, the transfer from the SLE loop measure to CLE loop counts is a load-bearing unproved dependency.","section":"Section 4, Proposition 4.4 and Theorem 4.6"},{"comment":"In the weak-limit argument for whole-plane SLE, the proof defines Ω_a as the ν_a-event that the sample curve is not a quasiray and then asserts 'ν(Ω_∞) = 1' for Ω_∞ = ∩_{n=1}^∞ Ω_{1/n}. This preservation of the non-quasiray property under weak convergence is not automatic and is not proved. The events Ω_a are defined under the approximating measures ν_a, and the limit measure ν could, in principle, assign positive mass to curves that are quasirays while each approximating measure assigns mass zero to that set. This gap affects both the whole-plane SLE_κ and whole-plane SLE_κ(ρ) statements in Theorem 1.2.","section":"Section 3, proof of Theorem 1.2(3)"}],"minor_comments":[{"comment":"The title appears as 'QUASISYMMETRIC GEOMETRY OF LOW-DIMENSIONAL RANDOM SP ACES' with an unwanted space in 'SPACES'.","section":"Title page"},{"comment":"The reference '[BE19, Corollay 4.14]' contains a typo: 'Corollay' should be 'Corollary'.","section":"Section 1.1, last paragraph"},{"comment":"The sentence 'Ahlfors pointed out that a curve is the image of a quasiconformal mapping from C to C if and only if it is bounded turning' is imprecise: the classical Ahlfors criterion characterizes quasicircles, while the corresponding characterization of quasiarcs is due to Tukia and Väisälä [TV80]. The intended argument is clear, but the wording should be corrected.","section":"Section 3, proof of Theorem 1.2"},{"comment":"The phrase 'the driving function W_t are mutually absolutely continuous' has a subject-verb disagreement; it should be 'the driving function W_t is mutually absolutely continuous'.","section":"Section 3, proof of Theorem 1.2, SLE_κ(ρ) paragraph"},{"comment":"In the proof of Lemma 3.1, the constant C is used both for the probability P(E_{i,j} ∩ F_{i,j}) = 1 - C and later for a different constant C_1; renaming one of these would avoid confusion.","section":"Section 3, Lemma 3.1 proof"}],"recommendation":"major_revision","confidential_remarks":"The paper's main carpet claim is not established as written: the statement of Whyburn's theorem is internally inconsistent, and the proof of Theorem 1.3 confuses density with equality. This is fixable by reformulating the theorem with the correct hypothesis (dense union of disks in a closed disk) and by carefully defining the CLE space as a compact metric space. The additional reliance on the unpublished preprint [ACSW] for Proposition 4.4, which is co-authored by one of the present authors, is a further concern that the editor may wish to weigh. The Brownian and SLE quasiarc results appear largely sound but also contain a weak-limit step that needs justification. I recommend major revision rather than rejection because the identified gaps are localized and plausibly repairable within the manuscript's scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here is the quick read. The CLE_kappa non-quasiround result is a genuine new negative theorem and the paper's main contribution. The arc results for Brownian motion and SLE are mostly folklore, and the authors say so themselves; having them written out is useful but not the selling point. The problem is that the proof of the carpet theorem, as written, does not work. The Whyburn criterion is misstated: condition (3) Union D_n = D would make the complement empty, not a Sierpinski carpet. The intended hypothesis is density, and the proof only shows z lies in the closure of Union D_n before concluding z lies in Union D_n. That is a closure-versus-membership slip, and it is load-bearing. The CLE space is not actually established as a metric carpet. The fix is likely routine, but it has to be done.\n\nWhat the paper does well: the structure is clear, the loop-soup construction is used in the right place, and the route to non-quasiround via SLE loop measure, quasicircle measure zero, and the counting-measure identity (4.2) is a good idea. The dependence on the preprint [ACSW] is transparent, not circular, but it does make Theorem 4.6 contingent on an unpublished result. A referee should ask whether that result is in reliable shape.\n\nSecond soft spot: in Theorem 1.2, the whole-plane SLE case is handled by taking a weak limit of radial SLE laws and asserting that the almost-sure non-quasiray event survives the limit. Weak convergence alone does not preserve such an event; an argument is missing. This too is load-bearing because Theorem 1.4 uses the whole-plane statement.\n\nThe citation pattern is normal. No manufactured flaws here; these are genuine gaps, but they are contained and probably fixable. The paper deserves a serious referee, not a desk reject. If I were editor, I would send it to review and require a major revision: fix Theorem 4.1/1.3, justify the weak-limit step, and either prove or verify Proposition 4.4.","headline":"Real new CLE non-quasiround theorem, but the carpet proof has a genuine Whyburn/density error; deserves a serious referee and a major revision.","tokens_in":17920,"tokens_out":3880,"would_cite":false,"duration_ms":40680,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["30L10","60D05"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the CLE_κ carpet—the space outside the loops of a conformal loop ensemble—is homeomorphic to the Sierpiński carpet yet almost surely admits no quasisymmetric map to a round carpet, because each loop boundary fails…","keywords":["Brownian motion","SLE","CLE carpet","Sierpinski carpet","quasiarc","quasicircle","quasisymmetric uniformization","random fractals"],"falsifier":"Verify the [ACSW] identification directly: compute the $\\mathrm{SLE}_\\kappa$ loop measure of a set of quasicircles and compare it with the expected number of whole-plane $\\mathrm{CLE}_\\kappa$ loops that are quasicircles; the paper predicts both are zero. A complementary experiment is to simulate $\\mathrm{CLE}_\\kappa$ for $\\kappa \\in (8/3,4]$ and check whether any loop boundary satisfies the bounded-turning condition with a uniform constant on a set of positive probability—the paper predicts this never happens.","tokens_in":16890,"feed_emoji":"🌀","tokens_out":9876,"duration_ms":87125,"temperature":0.7,"pith_summary":"This paper asks which naturally arising random fractals can be quasisymmetrically uniformized to simple canonical spaces, and answers negatively for several of them. It proves that the trace and graph of Brownian motion, and the chordal, radial, and whole-plane variants of $\\mathrm{SLE}_\\kappa$, are almost surely not quasiarcs, so they cannot be quasisymmetrically straightened to intervals or rays. For the conformal loop ensemble $\\mathrm{CLE}_\\kappa$ with $\\kappa \\in (8/3,4]$, it proves that the set of points not surrounded by any loop is almost surely homeomorphic to the standard Sierpiński carpet, but is almost surely not quasisymmetrically equivalent to a round carpet. The stronger mechanism is that almost surely no boundary circle of the carpet is a quasicircle, which is a quasisymmetric invariant that a round carpet cannot avoid.","feed_headline":"CLE carpets stay Sierpiński yet refuse round-carpet maps","feed_subtitle":"For κ in (8/3,4], every loop boundary fails to be a quasicircle, blocking all quasisymmetric uniformization.","key_machinery":"The load-bearing mechanism is the $\\mathrm{SLE}_\\kappa$ loop measure, an infinite measure on simple loops built by concatenating a whole-plane $\\mathrm{SLE}_\\kappa(2)$ arc with a chordal $\\mathrm{SLE}_\\kappa$ arc, together with the cited identification [ACSW] that this loop measure equals the counting measure on the loops of the whole-plane $\\mathrm{CLE}_\\kappa$. Because whole-plane $\\mathrm{SLE}_\\kappa$ subarcs are almost surely not quasiarcs, Proposition 4.3 shows the loop measure assigns zero mass to quasicircles; the counting-measure identification and the Markov/nested structure of $\\mathrm{CLE}_\\kappa$ then transfer this zero to every $\\mathrm{CLE}_\\kappa$ loop boundary. For the arc statements, the criterion that quasiarcs are exactly the doubling, bounded-turning metric spaces is what turns non-$1/2$-Hölder driving functions into non-quasiarc conclusions.","core_discovery":"The central claim, stated as Theorems 1.3 and 1.4, is that for $\\kappa \\in (8/3,4]$ the $\\mathrm{CLE}_\\kappa$ space is a random Sierpiński carpet in the topological sense but is quasisymmetrically non-uniformizable. The topological half follows from a classical characterization of planar Sierpiński carpets: the disjoint simple loops have diameters tending to zero, and the Brownian loop soup construction shows every point is eventually surrounded, so the complement is a standard carpet. The quasisymmetric half is the stronger Theorem 4.6: almost surely, every loop boundary in the $\\mathrm{CLE}_\\kappa$ configuration fails to be a quasicircle. Since the boundary circles of a round carpet are quasicircles, and quasisymmetric homeomorphisms preserve quasicircles, no quasisymmetric map can send the $\\mathrm{CLE}_\\kappa$ carpet to a round carpet.","pith_inferences":["A natural extension is to test whether other random loop ensembles, such as nested $\\mathrm{CLE}_\\kappa$ or Brownian loop-soup clusters, inherit the same quasisymmetric non-uniformizability through the same loop-measure argument.","The paper's Section 5 question about conformal dimension suggests a quantitative version: if the conformal dimension of the $\\mathrm{CLE}_\\kappa$ carpet equals its Hausdorff dimension, then quasisymmetric maps cannot reduce dimension at all, making the obstruction much stronger.","One could numerically measure the bounded-turning constant of $\\mathrm{CLE}_\\kappa$ loop boundaries; the paper predicts it is almost surely unbounded, and the divergence rate may encode $\\kappa$.","The dependence on the external [ACSW] result means the main carpet theorem is conditional until that identification is independently established; if it fails, Proposition 4.3 and Theorem 4.6 would need a different route."],"forward_implications":["For every $\\kappa \\in (8/3,4]$, the $\\mathrm{CLE}_\\kappa$ carpet has the topology of the standard Sierpiński carpet but admits no quasisymmetric parametrization by a round carpet.","Almost surely, every boundary component of the $\\mathrm{CLE}_\\kappa$ carpet is not a quasicircle, so the failure of uniformization is visible at the level of individual loops.","Brownian motion traces and graphs, and all the $\\mathrm{SLE}_\\kappa$ variants treated here, contain no quasiarcs almost surely, so they cannot be quasisymmetrically parametrized by intervals, rays, or circles.","The topological and quasisymmetric classifications of these random spaces diverge: they are homeomorphic to standard models, yet quasisymmetrically incompatible with them."],"supporting_citations":[{"why":"Supplies the characterization of quasiarcs as doubling bounded-turning metric spaces, the criterion used to show Brownian and SLE arcs are not quasiarcs.","marker":"[TV80]"},{"why":"Shows that curves with non-1/2-Hölder Loewner driving functions are not quasiconformal images of intervals, used for the SLE non-quasiarc conclusions.","marker":"[MR05]"},{"why":"Provides Lévy's modulus of continuity and the Brownian scaling and Markov facts used in the Borel-Cantelli argument for Brownian motion.","marker":"[MP10]"},{"why":"Defines CLE_κ via Brownian loop soup and proves the Markovian characterization, the construction used for topological carpetness and the transfer to nested CLE.","marker":"[SW12]"},{"why":"Gives the infinite total mass of Brownian loops in any ball, used to show every point of the domain is surrounded by loops.","marker":"[LW04]"},{"why":"States the key identification that the SLE_κ loop measure equals the counting measure on whole-plane CLE_κ loops, the unproved load-bearing input for Theorem 4.6.","marker":"[ACSW]"},{"why":"Introduces the SLE loop measure whose definition underlies Proposition 4.3 and the counting-measure statement.","marker":"[Zha21]"},{"why":"Supplies the construction of whole-plane and nested CLE used in Lemma 4.5 to pass from whole-plane to domain CLE.","marker":"[KW16]"},{"why":"Gives the topological characterization of planar Sierpiński carpets used in Theorem 1.3.","marker":"[Why58]"}],"fun_headline_variants":["Sierpiński carpets that refuse round-carpet maps","CLE carpets: topologically standard, quasisymmetrically wild","Random Sierpiński carpets defy quasisymmetric uniformization","CLE-κ carpets: Sierpiński but not roundable","Quasisymmetric uniformization fails for CLE carpets"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of Theorem 4.6, and hence of Theorem 1.4, rests on the external result cited as [ACSW]—not proved in this paper—that the $\\mathrm{SLE}_\\kappa$ loop measure equals the counting measure on loops of the whole-plane $\\mathrm{CLE}_\\kappa$; if that identification fails, the main negative carpet theorem has no support.","fun_headline_variants_meta":{"raw":{"variants":["Sierpiński carpets that refuse round-carpet maps","CLE carpets: topologically standard, quasisymmetrically wild","Random Sierpiński carpets defy quasisymmetric uniformization","CLE-κ carpets: Sierpiński but not roundable","Quasisymmetric uniformization fails for CLE carpets"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000564,"raw_usage":{"total_tokens":2645,"prompt_tokens":883,"completion_tokens":1762,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":499,"completion_tokens_details":{"reasoning_tokens":1675}},"tokens_in":499,"tokens_out":1762,"duration_ms":15638,"temperature":1.0,"reasoning_tokens":1675,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T19:46:30.223415+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Verify the [ACSW] identification directly: compute the $\\mathrm{SLE}_\\kappa$ loop measure of a set of quasicircles and compare it with the expected number of whole-plane $\\mathrm{CLE}_\\kappa$ loops that are quasicircles; the paper predicts both are zero. A complementary experiment is to simulate $\\mathrm{CLE}_\\kappa$ for $\\kappa \\in (8/3,4]$ and check whether any loop boundary satisfies the bounded-turning condition with a uniform constant on a set of positive probability—the paper predicts this never happens.","supporting_citations":[],"review_version":1}