Recognition: unknown
Cartesian products of Sierpi\'nski carpets do not attain their conformal dimension
Pith reviewed 2026-05-10 00:37 UTC · model grok-4.3
The pith
Cartesian products of the Sierpiński carpet do not attain their conformal dimension for k at least 2.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that the Cartesian product S^k of the Sierpiński carpet S with itself, for every k at least 2, does not attain its conformal dimension. The proof uses the Sobolev spaces and energy measures on S constructed by Shimizu, Kigami, and Murugan and Shimizu, together with a singularity result for energy measures from the theory of analysis on fractals. This yields a general non-attainment theorem for any product metric space X^k, k at least 2, expressed solely in terms of the self-similarity and energy measures of the factor X; the theorem applies in particular to the Sierpiński gasket, the Menger sponge, and the Laakso diamond.
What carries the argument
The general non-attainment criterion for the conformal dimension of X^k (k at least 2) stated in terms of self-similarity and energy measures of the factor X, which forces the measures on the product to be singular.
If this is right
- The k-fold products of the Sierpiński gasket do not attain their conformal dimension.
- The k-fold products of the Menger sponge do not attain their conformal dimension.
- The k-fold products of the Laakso diamond do not attain their conformal dimension.
- The non-attainment holds for any self-similar space X equipped with energy measures to which the singularity result applies.
Where Pith is reading between the lines
- The open question for the single carpet S itself may be approachable by seeing whether the same singularity obstruction can be circumvented in one factor.
- Conformal dimension of these fractals is strictly smaller than the value suggested by naive dimension-counting once products are formed.
- The criterion may extend to other product constructions, such as glued or snowflaked versions of the same factors.
Load-bearing premise
The singularity result for energy measures extends from the factor space to the product space in the precise way required to block attainment of conformal dimension.
What would settle it
An explicit computation of the conformal dimension of S^2 that equals its Hausdorff dimension, or a direct verification that the relevant energy measures on the product are not singular, would disprove the claim.
read the original abstract
It is a long-standing open question to determine whether the Sierpi\'nski carpet attains its conformal dimension or not. While this problem remains unresolved, we prove that Cartesian products $\mathbb{S}^k$, where $\mathbb{S}$ is the Sierpi\'nski carpet and $k \geq 2$, do not attain their conformal dimension. Our approach is based on the Sobolev spaces and energy measures on $\mathbb{S}$ -- constructed by Shimizu, Kigami, and Murugan and Shimizu -- together with a certain singularity result of energy measures from the theory of analysis on fractals. This work formulates a general non-attainment result of conformal dimension for product metric spaces $X^k$ for $k \geq 2$ in terms of self-similarity and energy measures of the factor $X$. It applies, in particular, to the cases where $X$ is the Sierpi\'nski carpet, the Sierpi\'nski gasket, the Menger sponge, and the Laakso diamond.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to prove that Cartesian products S^k of the Sierpiński carpet S with itself, for k ≥ 2, do not attain their conformal dimension. It formulates a general non-attainment theorem for products X^k (k ≥ 2) of self-similar spaces X that admit energy measures satisfying a mutual singularity property, drawing on Sobolev space and energy measure constructions from Shimizu, Kigami, Murugan and related works, together with a cited singularity result from analysis on fractals. The result is stated to apply in particular to the carpet, gasket, Menger sponge, and Laakso diamond.
Significance. If the argument is complete, the work supplies the first examples of fractal products that fail to attain conformal dimension and offers a general criterion in terms of self-similarity and energy measures that unifies several cases. This advances the study of conformal dimension on products and provides concrete information even while the single-carpet question remains open. The explicit use of established energy-measure constructions is a methodological strength.
major comments (2)
- [General non-attainment theorem] The general non-attainment theorem (formulated after the introduction and proved in the main body): the argument requires that the mutual singularity property of energy measures on the factor X transfers to the product space X^k equipped with the product metric and induced Dirichlet form. The manuscript appears to invoke the singularity result directly on the product without a self-contained verification that the product energy measure remains mutually singular in the precise sense needed to obtain the contradiction with attainment of conformal dimension.
- [Application to the Sierpiński carpet] Application to the Sierpiński carpet (the case highlighted in the abstract and introduction): while the energy measures on the carpet are taken from prior constructions, the manuscript does not explicitly confirm that these measures satisfy the hypotheses of the general theorem in a way that forces non-attainment specifically for the carpet products; the transfer step remains the least detailed link.
minor comments (2)
- [Abstract] The abstract refers to 'a certain singularity result' without identifying the precise property or the reference; a brief parenthetical clarification would improve readability.
- Notation for the conformal dimension and the product metric could be introduced more explicitly at the first appearance to aid readers unfamiliar with the fractal-analysis literature.
Simulated Author's Rebuttal
We thank the referee for the careful reading and insightful comments, which help strengthen the presentation of our results. We address each major comment below and will incorporate clarifications in the revised manuscript.
read point-by-point responses
-
Referee: [General non-attainment theorem] The argument requires that the mutual singularity property of energy measures on the factor X transfers to the product space X^k equipped with the product metric and induced Dirichlet form. The manuscript appears to invoke the singularity result directly on the product without a self-contained verification that the product energy measure remains mutually singular in the precise sense needed to obtain the contradiction with attainment of conformal dimension.
Authors: We agree that the transfer step merits an explicit, self-contained verification. The product Dirichlet form is constructed as the sum of the lifted forms from each factor, and the associated energy measure is the product of the individual energy measures. Mutual singularity on the factors then lifts to the product via standard measure-theoretic arguments (Fubini-type disintegration). In the revision we will insert a short lemma immediately preceding the general theorem that states and proves this transfer property in the precise form required for the contradiction argument, including the relevant definitions of mutual singularity for the product measures. revision: yes
-
Referee: [Application to the Sierpiński carpet] While the energy measures on the carpet are taken from prior constructions, the manuscript does not explicitly confirm that these measures satisfy the hypotheses of the general theorem in a way that forces non-attainment specifically for the carpet products; the transfer step remains the least detailed link.
Authors: We will add a dedicated subsection in the applications section that verifies each hypothesis of the general theorem for the Sierpiński carpet. This will cite the precise statements from Shimizu, Kigami, and Murugan-Shimizu establishing the existence of the required energy measures, their mutual singularity, and the self-similarity properties, thereby making the application to carpet products fully explicit and self-contained. revision: yes
Circularity Check
No significant circularity; derivation uses external independent results on energy measures
full rationale
The paper establishes a general non-attainment theorem for conformal dimension of X^k (k≥2) conditioned on self-similarity and a mutual singularity property of energy measures on the factor X. These energy measures and the singularity result are imported from prior independent literature (Shimizu-Kigami-Murugan et al.) rather than fitted or defined within the present work. The application to Sierpiński carpet products follows directly from the known properties of the factor without any self-definitional loop, fitted-input renaming, or load-bearing self-citation chain. The central claim therefore remains independent of its own inputs.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Singularity result of energy measures on fractals
Reference graph
Works this paper leans on
-
[1]
arXiv preprint arXiv:2602.05477 , year=
On the Resistance Conjecture , author=. arXiv preprint arXiv:2602.05477 , year=
-
[2]
2025 , howpublished =
Yang, Meng , title =. 2025 , howpublished =
2025
-
[3]
On Hausdorff Dimension of Recurrent Net Fractals , urldate =
Sergio Stella , journal =. On Hausdorff Dimension of Recurrent Net Fractals , urldate =
-
[4]
2024 , Journal =
Contraction properties and differentiability of p -energy forms with applications to nonlinear potential theory on self-similar sets , author=. 2024 , Journal =
2024
-
[5]
Geometry of measures in
Preiss, David , journal=. Geometry of measures in. 1987 , publisher=
1987
-
[6]
Barlow, Martin T. , TITLE =. Lectures on probability theory and statistics (. 1998 , ISBN =. doi:10.1007/BFb0092537 , URL =
-
[7]
and Bass, Richard F
Barlow, Martin T. and Bass, Richard F. , TITLE =. Ann. Inst. H. Poincar\'e. 1989 , NUMBER =
1989
-
[8]
Barlow, Martin T. and Bass, Richard F. , TITLE =. Canad. J. Math. , FJOURNAL =. 1999 , NUMBER =. doi:10.4153/CJM-1999-031-4 , URL =
-
[9]
V\"ais\"al\"a, Jussi , TITLE =. Acta Math. , FJOURNAL =. 1989 , NUMBER =. doi:10.1007/BF02392837 , URL =
-
[10]
Le Donne, Enrico and Xie, Xiangdong , TITLE =. Rev. Mat. Iberoam. , FJOURNAL =. 2016 , NUMBER =. doi:10.4171/RMI/923 , URL =
-
[11]
Strichartz, Robert S. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2005 , NUMBER =. doi:10.1090/S0002-9947-04-03685-2 , URL =
-
[12]
Hino, Masanori , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2010 , NUMBER =. doi:10.1112/plms/pdp032 , URL =
-
[13]
Hino, Masanori , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 2005 , NUMBER =. doi:10.1007/s00440-004-0396-1 , URL =
-
[14]
arXiv preprint arXiv:2408.15692 , year=
The Combinatorial Loewner Property and super-multiplicativity inequalities for symmetric self-similar metric spaces , author=. arXiv preprint arXiv:2408.15692 , year=
-
[15]
arXiv preprint arXiv:2503.13258 , year=
Construction of self-similar energy forms and singularity of Sobolev spaces on Laakso-type fractal spaces , author=. arXiv preprint arXiv:2503.13258 , year=
-
[16]
Haj. Sobolev met. Mem. Amer. Math. Soc. , FJOURNAL =. 2000 , NUMBER =. doi:10.1090/memo/0688 , URL =
-
[17]
Kusuoka, Shigeo and Zhou, Xian Yin , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 1992 , NUMBER =. doi:10.1007/BF01195228 , URL =
-
[18]
Kajino, Naotaka and Murugan, Mathav , TITLE =. Invent. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00222-022-01148-3 , URL =
-
[19]
Alberti, G. , TITLE =. Proc. Roy. Soc. Edinburgh Sect. A , FJOURNAL =. 1993 , NUMBER =. doi:10.1017/S030821050002566X , URL =
-
[20]
, TITLE =
Ahlfors, Lars V. , TITLE =. 1966 , PAGES =
1966
-
[21]
Shimizu, Ryosuke , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2024 , NUMBER =. doi:10.1090/tran/9036 , URL =
-
[22]
Variational methods for evolving objects , SERIES =
Ambrosio, Luigi and Colombo, Maria and Di Marino, Simone , TITLE =. Variational methods for evolving objects , SERIES =. 2015 , ISBN =. doi:10.2969/aspm/06710001 , URL =
-
[23]
Mostow, G. D. , TITLE =. 1973 , PAGES =
1973
-
[24]
Handbook of group actions
Bourdon, Marc , TITLE =. Handbook of group actions. 2018 , ISBN =
2018
-
[25]
Rickman, Seppo , TITLE =. 1993 , PAGES =. doi:10.1007/978-3-642-78201-5 , URL =
-
[26]
arXiv preprint arXiv:2505.23057 , year=
Conductive homogeneity of locally symmetric polygon-based self-similar sets , author=. arXiv preprint arXiv:2505.23057 , year=
-
[27]
arXiv preprint arXiv:2504.09503 , year=
p -Poincar 'e inequalities and cutoff Sobolev inequalities on metric measure spaces , author=. arXiv preprint arXiv:2504.09503 , year=
-
[28]
Ambrosio, Luigi and Gigli, Nicola and Savar\'e, Giuseppe , TITLE =. Invent. Math. , FJOURNAL =. 2014 , NUMBER =. doi:10.1007/s00222-013-0456-1 , URL =
-
[29]
arXiv preprint arXiv:2501.09002 , year=
p -Energy forms on fractals: recent progress , author=. arXiv preprint arXiv:2501.09002 , year=
-
[30]
Cao, Shiping and Gu, Qingsong and Qiu, Hua , TITLE =. Adv. Math. , FJOURNAL =. 2022 , PAGES =. doi:10.1016/j.aim.2022.108517 , URL =
-
[31]
Edward and Peirone, Roberto and Strichartz, Robert S
Herman, P. Edward and Peirone, Roberto and Strichartz, Robert S. , TITLE =. Potential Anal. , FJOURNAL =. 2004 , NUMBER =. doi:10.1023/A:1026377524793 , URL =
-
[32]
Lectures on
V\". Lectures on. 1971 , PAGES =
1971
-
[33]
Bonk, Mario and Saksman, Eero , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2018 , PAGES =. doi:10.1515/crelle-2015-0036 , URL =
-
[34]
Alberti, G. and Cs. Structure of null sets in the plane and applications , BOOKTITLE =. 2005 , MRCLASS =
2005
-
[35]
Ambrosio, L. and Di Marino, S. and Savar\'. On the duality between. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2015 , NUMBER =. doi:10.4171/JEMS/546 , URL =
-
[36]
and Tilli, P
Ambrosio, L. and Tilli, P. , TITLE =. 2004 , PAGES =
2004
-
[37]
Alberti, G. and Marchese, A. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s00039-016-0354-y , URL =
-
[38]
Ambrosio, L. and Kirchheim, B. , TITLE =. Math. Ann. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s002080000122 , URL =
-
[39]
Lang, Urs and Plaut, Conrad , TITLE =. Geom. Dedicata , FJOURNAL =. 2001 , NUMBER =. doi:10.1023/A:1012093209450 , URL =
-
[40]
arXiv preprint arXiv:1806.02917 , year=
A metric sphere not a quasisphere but for which every weak tangent is Euclidean , author=. arXiv preprint arXiv:1806.02917 , year=
-
[41]
Li, Wenbo , Title =. Ann. Fenn. Math. , ISSN =. 2021 , Language =. doi:10.5186/aasfm.2021.4656 , Keywords =
-
[42]
Ambrosio, L. and Kleiner, B. and Le Donne, E. , TITLE =. J. Geom. Anal. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s12220-009-9068-9 , URL =
-
[43]
Bate, D. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2015 , NUMBER =. doi:10.1090/S0894-0347-2014-00810-9 , URL =
-
[44]
Bate, D. and Li, S. , TITLE =. Adv. Math. , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.aim.2018.06.002 , URL =
-
[45]
Bishop, C. J. and Peres, Y. , TITLE =. 2017 , PAGES =. doi:10.1017/9781316460238 , URL =
-
[46]
, TITLE =
Bonk, M. , TITLE =. International. 2006 , MRCLASS =
2006
-
[47]
Conformal dimension and Gromov hyperbolic groups with 2-sphere boundary
Bonk, Mario and Kleiner, Bruce , journal =. Conformal dimension and Gromov hyperbolic groups with 2-sphere boundary. , url =
-
[48]
Albin, Nathan and Clemens, Jason and Fernando, Nethali and Poggi-Corradini, Pietro , TITLE =. Ann. Mat. Pura Appl. (4) , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s10231-018-0806-0 , URL =
-
[49]
Cannon, J. W. and Floyd, W. J. and Parry, W. R. , TITLE =. Conform. Geom. Dyn. , FJOURNAL =. 2001 , PAGES =. doi:10.1090/S1088-4173-01-00055-8 , URL =
-
[50]
K\". Dimensions,. Indiana Univ. Math. J. , FJOURNAL =. 2013 , NUMBER =. doi:10.1512/iumj.2013.62.5155 , URL =
-
[51]
Bonk, Mario and Heinonen, Juha and Rohde, Steffen , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2001 , PAGES =. doi:10.1515/crll.2001.089 , URL =
-
[52]
Bonk, M. and Kleiner, B. , TITLE =. Geom. Topol. , FJOURNAL =. 2005 , PAGES =. doi:10.2140/gt.2005.9.219 , URL =
-
[53]
Bonk, M. and Merenkov, S. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2013 , NUMBER =. doi:10.4007/annals.2013.177.2.5 , URL =
-
[54]
Bourdon, Marc and Kleiner, Bruce , Title =. Groups Geom. Dyn. , ISSN =. 2013 , Language =. doi:10.4171/GGD/177 , Keywords =
-
[55]
Bourdon, M. and Pajot, H. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2003 , PAGES =. doi:10.1515/crll.2003.043 , URL =
-
[56]
Quasi-Conformal Geometry and Hyperbolic Geometry
Bourdon, Marc and Pajot, Herv \'e. Quasi-Conformal Geometry and Hyperbolic Geometry. Rigidity in Dynamics and Geometry: Contributions from the Programme Ergodic Theory, Geometric Rigidity and Number Theory, Isaac Newton Institute for the Mathematical Sciences Cambridge, United Kingdom, 5 January -- 7 July 2000. 2002. doi:10.1007/978-3-662-04743-9_1
-
[57]
Bonk, Mario and Meyer, Daniel , TITLE =. 2017 , PAGES =. doi:10.1090/surv/225 , URL =
-
[58]
and Stephenson, Kenneth , TITLE =
Bowers, Philip L. and Stephenson, Kenneth , TITLE =. Conform. Geom. Dyn. , FJOURNAL =. 1997 , PAGES =. doi:10.1090/S1088-4173-97-00014-3 , URL =
-
[59]
Cannon, J. W. and Floyd, W. J. and Kenyon, R. and Parry, W. R. , TITLE =. Conform. Geom. Dyn. , FJOURNAL =. 2003 , PAGES =. doi:10.1090/S1088-4173-03-00082-1 , URL =
-
[60]
Burago, Dmitri and Burago, Yuri and Ivanov, Sergei , TITLE =. 2001 , PAGES =. doi:10.1090/gsm/033 , URL =
-
[61]
Clais, Antoine , TITLE =. Anal. Geom. Metr. Spaces , FJOURNAL =. 2016 , NUMBER =. doi:10.1515/agms-2016-0001 , URL =
-
[62]
2014 , MONTH = Dec, KEYWORDS =
Clais, Antoine , URL =. 2014 , MONTH = Dec, KEYWORDS =
2014
-
[63]
1990 , PAGES =
Falconer, Kenneth , TITLE =. 1990 , PAGES =
1990
-
[64]
Hutchinson, John E. , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 1981 , NUMBER =. doi:10.1512/iumj.1981.30.30055 , URL =
-
[65]
Floyd, William and Parry, Walter and Pilgrim, Kevin M. , TITLE =. Conform. Geom. Dyn. , FJOURNAL =. 2020 , PAGES =. doi:10.1090/ecgd/347 , URL =
-
[66]
Keith, Stephen and Rajala, Kai , TITLE =. Math. Scand. , FJOURNAL =. 2004 , NUMBER =. doi:10.7146/math.scand.a-14461 , URL =
-
[67]
and Danielli, D
Capogna, L. and Danielli, D. and Pauls, S. D. and Tyson, J. T. , TITLE =. 2007 , PAGES =
2007
-
[68]
Cheeger, J. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 1999 , NUMBER =. doi:10.1007/s000390050094 , URL =
-
[69]
Cheeger, J. and Kleiner, B. , TITLE =. Inspired by. 2006 , MRCLASS =. doi:10.1142/9789812772688_0006 , URL =
-
[70]
Cheeger, J. and Kleiner, B. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00039-009-0030-6 , URL =
-
[71]
Cheeger, J. and Kleiner, B. , TITLE =. Anal. Geom. Metr. Spaces , FJOURNAL =. 2015 , PAGES =. doi:10.1515/agms-2015-0002 , URL =
-
[72]
Cheeger, J. and Kleiner, B. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s00039-012-0201-8 , URL =
-
[73]
Cheeger, J. and Kleiner, B. and Schioppa, A. , TITLE =. Anal. Geom. Metr. Spaces , FJOURNAL =. 2016 , NUMBER =. doi:10.1515/agms-2016-0005 , URL =
-
[74]
Jauge conforme des espaces m
Piaggio, Mat. Jauge conforme des espaces m. 2011 , school=
2011
-
[75]
arXiv preprint arXiv:2601.14241 , year=
Conformal dimension and its attainment on self-similar Laakso-type fractal spaces , author=. arXiv preprint arXiv:2601.14241 , year=
-
[76]
R. D. Anderson , journal =. A Characterization of the Universal Curve and a Proof of Its Homogeneity , urldate =
-
[77]
R. D. Anderson , journal =. One-Dimensional Continuous Curves and A Homogeneity Theorem , urldate =
-
[78]
Proceedings of the
Kumagai, Takashi , TITLE =. Proceedings of the. 2014 , ISBN =
2014
-
[79]
Kleiner, Bruce and Schioppa, Andrea , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 2017 , NUMBER =. doi:10.1512/iumj.2017.66.5979 , URL =
-
[80]
Kigami, Jun , TITLE =. [2020] 2020 , PAGES =. doi:10.1007/978-3-030-54154-5 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.