pith. sign in

arxiv: 2508.06875 · v11 · submitted 2025-08-09 · 🧮 math.CA · math.MG

Convergence order of the quantization error for self-affine measures on Lalley-Gatzouras carpets

Sanguo Zhu This is my paper

Pith reviewed 2026-05-19 00:43 UTC · model grok-4.3

classification 🧮 math.CA math.MG
keywords quantization errorself-affine measureLalley-Gatzouras carpetquantization dimensionBedford-McMullen carpetasymptoticsfractal approximation
0
0 comments X

The pith

Self-affine measures on Lalley-Gatzouras carpets have quantization coefficients bounded away from zero and infinity at the exact quantization dimension.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies the rate at which self-affine measures on Lalley-Gatzouras carpets can be approximated by discrete point measures, measured through quantization error. It establishes that both the upper and lower quantization coefficients stay positive and finite exactly at the quantization dimension. This extends earlier results that were restricted to the simpler Bedford-McMullen carpets. The new technical steps involve a lower bound on the quantization error and the use of Prohorov's theorem to build suitable auxiliary measures. Readers interested in fractal approximation and data compression on irregular sets would see this as a step toward uniform control of error rates across a wider family of carpets.

Core claim

Let E be a Lalley-Gatzouras carpet generated by a finite set of contractive affine mappings {f_ij} and let μ be the associated self-affine measure supported on E. The upper and lower quantization coefficients of μ are both bounded away from zero and infinity when the dimension parameter equals the exact quantization dimension. The proof relies on a new lower estimate for the quantization error together with auxiliary measures constructed via Prohorov's theorem. This result removes the restriction to Bedford-McMullen carpets that appeared in earlier quantization studies.

What carries the argument

The exact quantization dimension together with the associated upper and lower quantization coefficients that sandwich the asymptotic quantization error for the self-affine measure μ on the Lalley-Gatzouras carpet E.

If this is right

  • The quantization error V_n(μ) behaves asymptotically like c n^{-s} with positive constants c bounded above and below, where s is the exact quantization dimension.
  • The same bounded-coefficient statement now holds for the larger class of Lalley-Gatzouras carpets rather than only Bedford-McMullen carpets.
  • Lower bounds on quantization error follow from the new comparison arguments introduced in the paper.
  • Prohorov's theorem can be used to produce comparison measures that control the lower quantization coefficient.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same boundedness may extend to other self-affine constructions whose generating maps satisfy only mild separation conditions.
  • Direct numerical computation of quantization errors on concrete Lalley-Gatzouras examples could be used to check the size of the constants in the bounds.
  • The techniques may link to multifractal analysis of the same measures and help describe how local dimension varies across the carpet.

Load-bearing premise

The set E is a Lalley-Gatzouras carpet formed by a finite collection of contractive affine mappings and μ is the self-affine measure it supports.

What would settle it

An explicit Lalley-Gatzouras carpet and self-affine measure for which the ratio of quantization error to n to the power of minus the exact dimension either tends to zero or to infinity for a sequence of n would disprove the boundedness of the coefficients.

read the original abstract

Let $E$ be a Lalley-Gatzouras carpet determined by a set of contractive affine mappings $\{f_{ij}\}_{(i,j)\in G}$. We study the asymptotics of quantization error for the self-affine measures $\mu$ on $E$. We prove that the upper and lower quantization coefficient for $\mu$ are both bounded away from zero and infinity in the exact quantization dimension. This significantly generalizes the previous work concerning the quantization for self-affine measures on Bedford-McMullen carpets. The new ingredients lie in the method to bound the quantization error for $\mu$ from below and that to construct auxiliary measures by applying Prohorov's theorem.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that for a self-affine measure μ supported on a Lalley-Gatzouras carpet E generated by a finite collection of contractive affine mappings {f_ij}, both the upper and lower quantization coefficients are bounded away from zero and infinity at the exact quantization dimension. This generalizes earlier results for Bedford-McMullen carpets; the new technical ingredients are a direct lower bound on the quantization error and the construction of auxiliary measures via Prohorov's theorem.

Significance. If the proofs hold, the result completes the asymptotic picture for quantization error on a strictly larger class of self-affine sets that permit direction-dependent contraction ratios. Establishing positive and finite coefficients at the quantization dimension supplies a sharp convergence order that was previously available only under stronger uniformity assumptions, thereby strengthening the general theory of quantization for fractal measures.

major comments (2)
  1. [§4] §4 (lower-bound argument): the application of Prohorov's theorem produces a weakly convergent sequence of auxiliary measures, but the manuscript does not explicitly verify that the limit measure inherits a uniform positive lower bound on cylinder measures or the geometric separation needed to keep the quantization error bounded away from zero. Because the affine maps have non-uniform contraction ratios, weak-* compactness alone does not automatically transfer the moment or separation controls required for a strictly positive lower quantization coefficient; an additional argument (e.g., via tightness of the cylinder measures or explicit control on the support geometry) appears necessary.
  2. [Theorem 1.1] Theorem 1.1 and the definition of the exact quantization dimension: the statement that both coefficients are bounded away from zero and infinity is load-bearing for the main claim, yet the lower-bound half relies on the auxiliary-measure construction whose transfer properties are not fully checked under the anisotropic contractions of the Lalley-Gatzouras carpet.
minor comments (2)
  1. [Introduction] The notation for the quantization error V_r(μ, n) and the quantization dimension could be cross-referenced to the standard definitions in the literature (e.g., Graf-Luschgy) to improve readability for readers outside the immediate subfield.
  2. [§2] Figure 1 (or the illustrative diagram of the carpet) would benefit from explicit labeling of the contraction ratios in each direction to highlight the non-uniformity that the proof must handle.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need to make the transfer properties under weak convergence fully explicit. We address each major comment below and will revise the manuscript accordingly to strengthen the exposition of the lower-bound argument.

read point-by-point responses

  1. Referee: [§4] §4 (lower-bound argument): the application of Prohorov's theorem produces a weakly convergent sequence of auxiliary measures, but the manuscript does not explicitly verify that the limit measure inherits a uniform positive lower bound on cylinder measures or the geometric separation needed to keep the quantization error bounded away from zero. Because the affine maps have non-uniform contraction ratios, weak-* compactness alone does not automatically transfer the moment or separation controls required for a strictly positive lower quantization coefficient; an additional argument (e.g., via tightness of the cylinder measures or explicit control on the support geometry) appears necessary.

    Authors: We agree that an explicit verification of the inheritance of the lower bound on cylinder measures and geometric separation is desirable, particularly given the non-uniform contractions. In the current proof, the finite collection of affine maps and the recursive rectangular structure of the Lalley-Gatzouras carpet are used to obtain tightness of the sequence of auxiliary measures; the limit then satisfies a uniform positive lower bound on the measures of the generating cylinders by a standard diagonal argument that exploits the separation condition built into the carpet. Nevertheless, this step can be made more transparent. We will insert a new lemma immediately after the application of Prohorov's theorem that records the passage to the limit for both the cylinder lower bounds and the separation constants, thereby confirming that the quantization error remains bounded away from zero. revision: yes

  2. Referee: [Theorem 1.1] Theorem 1.1 and the definition of the exact quantization dimension: the statement that both coefficients are bounded away from zero and infinity is load-bearing for the main claim, yet the lower-bound half relies on the auxiliary-measure construction whose transfer properties are not fully checked under the anisotropic contractions of the Lalley-Gatzouras carpet.

    Authors: The lower quantization coefficient in Theorem 1.1 is indeed the most delicate part of the result. As detailed in the response to the preceding comment, the auxiliary-measure construction already incorporates the necessary controls via the carpet geometry, but we acknowledge that the transfer under weak convergence is not stated as a separate lemma. The revision will add this lemma and update the proof of Theorem 1.1 to cite it explicitly, ensuring the lower bound is fully justified for the anisotropic case. revision: yes

Circularity Check

0 steps flagged

Direct analytic proof of quantization coefficient bounds via Prohorov compactness and covering arguments

full rationale

The paper establishes upper and lower bounds on quantization coefficients at the exact quantization dimension for self-affine measures on Lalley-Gatzouras carpets. The abstract and described structure identify the lower-bound method and auxiliary-measure construction via Prohorov's theorem as the novel contributions. Prohorov's theorem is an external, standard result in weak convergence; the proof generalizes prior Bedford-McMullen results but does not reduce the central claim to a self-citation chain, fitted parameter, or definitional identity. No equation or step is shown to be equivalent to its inputs by construction. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the standard definition of Lalley-Gatzouras carpets and self-affine measures; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption Existence and basic properties of self-affine measures on contractive affine iterated function systems
    Invoked in the setup of the carpet E and measure μ.
  • standard math Prohorov's theorem on tightness and weak convergence in metric spaces
    Used to construct auxiliary measures for the lower bound.

pith-pipeline@v0.9.0 · 5639 in / 1213 out tokens · 19929 ms · 2026-05-19T00:43:50.019582+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    Bedford, Crinkly curves, Markov partitions and box dimensions in self-similar sets, PhD Thesis, University of Warwick, 1984

    T. Bedford, Crinkly curves, Markov partitions and box dimensions in self-similar sets, PhD Thesis, University of Warwick, 1984

    work page 1984

  2. [2]

    Billingsley, Convergence of probability measures

    P. Billingsley, Convergence of probability measures. John Wiley & Sons, Inc, 1999

    work page 1999

  3. [3]

    K. J. Falconer, The Hausdorff dimension of self-affine fractals. Math. Proc. Camb. Phil. Soc. 103(1988), 339-350

    work page 1988

  4. [4]

    K. J. Falconer, Techniques in fractal geometry, John Wiley & Sons, Ltd., Chichester, 1997

    work page 1997

  5. [5]

    K. J. Falconer, Generalized dimensions of measures on almost self-affine sets. Nonlinearity 23(2010), 1047-69

    work page 2010

  6. [6]

    Feng and Y

    D.-J. Feng and Y. Wang, A class of self-affine sets and self-affine measures. J. Fourier Anal. Appl.11(2005), 107-124

    work page 2005

  7. [7]

    J. M. Fraser, On theL q-spectrum of planar self-affine measures. Trans. Amer. Math. Soc. 368(2015), 5579-5620. THE QUANTIZATION COEFFICIENT FOR SELF-AFFINE MEASURES 25

    work page 2015

  8. [8]

    Graf and H

    S. Graf and H. Luschgy, Foundations of quantization for probability distributions. Lecture Notes in Math. vol. 1730, Springer, 2000

    work page 2000

  9. [9]

    Graf and H

    S. Graf and H. Luschgy, The quantization dimension of self-similar probabilities. Math. Nachr. 241(2002), 103-109

    work page 2002

  10. [10]

    Graf and H

    S. Graf and H. Luschgy, Quantization for probabilitiy measures with respect to the geometric mean error. Math. Proc. Camb. Phil. Soc.136(2004), 687-717

    work page 2004

  11. [11]

    Graf and H

    S. Graf and H. Luschgy, The point density measure in the quantization of self-similar prob- abilities. Math. Proc. Camb. Phil. Soc.138(2005), 513-31

    work page 2005

  12. [12]

    S. Graf, H. Luschgy and G. Pag` es, Distortion mismatch in the quantization of probability measures. ESAIM Probability and Statistics12(2008), 127-153

    work page 2008

  13. [13]

    S. Graf, H. Luschgy and G. Pag` es, The local quantization behavior of absolutely continuous probabilities. Ann. Probab.40(2012), 1795-1828

    work page 2012

  14. [14]

    Gray and D

    R. Gray and D. Neuhoff, Quantization. IEEE Trans. Inform. Theory44(1998), 2325-2383

    work page 1998

  15. [15]

    J. E. Hutchinson, Fractals and self-similarity. Indiana Univ. Math. J.30(1981), 713-47

    work page 1981

  16. [16]

    Jordan and M

    T. Jordan and M. Rams, Multifractal analysis for Bedford-McMullen carpets. Math. Proc. Camb. Phil. Soc.150(2011), 147-56

    work page 2011

  17. [17]

    Kesseb¨ ohmer and S

    M. Kesseb¨ ohmer and S. Zhu, On the quantization for self-affine measures on Bedford- McMullen carpets. Math. Z.283(2016), 39-58

    work page 2016

  18. [18]

    Kesseb¨ ohmer A

    M. Kesseb¨ ohmer A. Niemann, and S. Zhu, Quantization dimensions of compactly supported probability measures via R´ enyi dimensions. Trans. Amer. Math. Soc.376(2023), 4661-4678

    work page 2023

  19. [19]

    J. F. King, The singularity spectrum for general Sierpi´ nski carpets. Adv. Math.116(1995), 1-11

    work page 1995

  20. [20]

    Kolossv´ ary, TheLq-spectrum of self-affine measures on sponges

    I. Kolossv´ ary, TheLq-spectrum of self-affine measures on sponges. J. London. Math. Soc.108 (2023), 666-701

    work page 2023

  21. [21]

    S. P. Lalley and D. Gatzouras, Hausdorff and box dimensions of certain self-affine fractals. Indiana Univ. Math. J.41(1992), 533-568

    work page 1992

  22. [22]

    L. J. Lindsay and R. D. Mauldin, Quantization dimension for conformal iterated function systems. Nonlinearity15(2002), 189-199

    work page 2002

  23. [23]

    McMullen, The Hausdorff dimension of general Sierpi´ nski carpets

    C. McMullen, The Hausdorff dimension of general Sierpi´ nski carpets. Nagoya Math. J.96 (1984), 1-9

    work page 1984

  24. [24]

    Ngai, A dimension result arising from theL q-spectrum of a measure, Proc

    S.-M. Ngai, A dimension result arising from theL q-spectrum of a measure, Proc. Amer. Math. Soc.125(1997), 2943–2951

    work page 1997

  25. [25]

    Ni and Z.-Y

    T.-J. Ni and Z.-Y. Wen, TheL q spectrum of a class of graph directed self-affine measures, Dyn. Syst.24(2009), no. 4, 517-536

    work page 2009

  26. [26]

    Olsen, Self-affine multifractal Sierpi´ nski sponges inRd, Pacific J

    L. Olsen, Self-affine multifractal Sierpi´ nski sponges inRd, Pacific J. Math. 183 (1998), no. 1, 143–199

    work page 1998

  27. [27]

    Olsen, Random self-affine multifractal Sierpi´ nski sponges inR d, Monatsh

    L. Olsen, Random self-affine multifractal Sierpi´ nski sponges inR d, Monatsh. Math. 162 (2011), 89–117

    work page 2011

  28. [28]

    Peres, The self-affine carpets of McMullen and Bedford have infinite Hausdorff measure, Math

    Y. Peres, The self-affine carpets of McMullen and Bedford have infinite Hausdorff measure, Math. Proc. Camb. Phil. Soc.116(1994), 513-26

    work page 1994

  29. [29]

    Peres and B

    Y. Peres and B. Solomyak, Existence ofL q dimensions and entropy dimension for self- conformal measures, Indiana Univ. Math. J. 49 (2000), 1603–1621

    work page 2000

  30. [30]

    P¨ otzelberger, The quantization dimension of distributions

    K. P¨ otzelberger, The quantization dimension of distributions. Math. Proc. Camb. Phil. Soc. 131(2001), 507-519

    work page 2001

  31. [31]

    Zhu, Asymptotic order of the quantization error for a class of self-affine measures

    S. Zhu, Asymptotic order of the quantization error for a class of self-affine measures. Proc. Amer. Math. Soc.146(2018), 637-651

    work page 2018

  32. [32]

    Zhu, Asymptotics of the quantization errors for some Markov-type measures with complete overlaps

    S. Zhu, Asymptotics of the quantization errors for some Markov-type measures with complete overlaps. J. Math. Anal. Appl.528(2023), 127585

    work page 2023

  33. [33]

    Zhu, Asymptotic order of the quantization error for a class of self-similar measures with overlaps

    S. Zhu, Asymptotic order of the quantization error for a class of self-similar measures with overlaps. Proc. Amer. Math. Soc.153(2025), 2115-2125. School of Mathematics and Physics, Jiangsu University of Technology, Changzhou 213001, China. Email address:sgzhu@jsut.edu.cn

    work page 2025