pith. sign in

arxiv: 2309.05954 · v1 · submitted 2023-09-12 · 🧮 math.CA

L^q-spectra of box-like graph-directed self-affine measures: closed forms, with rotation

Hua Qiu , Qi Wang This is my paper

Pith reviewed 2026-05-24 07:11 UTC · model grok-4.3

classification 🧮 math.CA
keywords L^q-spectragraph-directed self-affine measuresrectangular open set conditionbox dimensionsself-affine setsplanar measuresdiagonal matrices
0
0 comments X

The pith

Planar graph-directed self-affine measures from diagonal or anti-diagonal matrices have closed-form L^q-spectra under strong connectivity and the rectangular open set condition.

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

The paper derives a general closed-form expression for the L^q-spectra of these measures when the directed graph is strongly connected and the rectangular open set condition holds. The same conditions also produce closed forms for the box dimensions of the associated self-affine sets. The work supplies an explicit answer to a 2016 question of Fraser on the L^q-spectra of planar self-affine measures generated by diagonal matrices. A sympathetic reader would care because these formulas replace numerical approximation or bounds with exact computation for a class of planar fractal measures.

Core claim

Assuming the directed graph is strongly connected and the system satisfies the rectangular open set condition, a general closed form expression exists for the L^q-spectra of planar graph-directed self-affine measures generated by diagonal or anti-diagonal matrices; the same expression yields closed forms for the box dimensions of the associated box-like self-affine sets.

What carries the argument

The rectangular open set condition, which controls overlaps so that the L^q-spectrum reduces to an explicit formula determined by the matrices and the graph structure.

If this is right

  • Box dimensions of the associated planar graph-directed box-like self-affine sets admit closed-form expressions.
  • The L^q-spectra of planar self-affine measures generated by diagonal matrices receive a precise answer to the question posed by Fraser in 2016.

Where Pith is reading between the lines

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

  • The closed forms could be used to test conjectures about equality of different dimension spectra in the same systems.
  • Similar derivations might apply to other graph-directed constructions if an analogue of the rectangular open set condition can be verified.

Load-bearing premise

The rectangular open set condition holds for the planar graph-directed system.

What would settle it

For a concrete strongly connected planar graph-directed system known to satisfy the rectangular open set condition, compute the L^q-spectrum by direct summation or approximation and check whether the values match the closed-form expression given in the paper.

Figures

Figures reproduced from arXiv: 2309.05954 by Hua Qiu, Qi Wang.

Figure 1
Figure 1. Figure 1: An example of graph-directed self-affine carpet families [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: A planar box-like self-affine GIFS with #V = 2, #E = 5. Images of [0, 1]2 under the first and second level iterations of maps in the GIFS [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The graph-directed self-affine carpet family generated by the GIFS in [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Left: the shaded rectangles are images of the iterated function ψ1 (resp. ψ ′ 1 ) and ψ2 (resp. ψ ′ 2 ). Middle: the attractor X. Right: the attractor X′ . Let µ (resp. µ ′ ) be the self-affine measure associated with {ψ1, ψ2} (resp. {ψ ′ 1 , ψ′ 2 }) and a probability vector P = (1/2, 1/2). We compute the closed form expression for L q -spectra of µ, µ′ respectively. For IFS {ψ1, ψ2}: For q ≥ 0, τµx(q) = τ… view at source ↗
read the original abstract

We consider $L^q$-spectra of planar graph-directed self-affine measures generated by diagonal or anti-diagonal matrices. Assuming the directed graph is strongly connected and the system satisfies the rectangular open set condition, we obtain a general closed form expression for the $L^q$-spectra. Consequently, we obtain a closed form expression for box dimensions of associated planar graph-directed box-like self-affine sets. We also provide a precise answer to a question of Fraser in 2016 concerning the $L^q$-spectra of planar self-affine measures generated by diagonal matrices.

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

0 major / 2 minor

Summary. The manuscript claims that, assuming strong connectivity of the directed graph and the rectangular open set condition, a general closed-form expression exists for the L^q-spectra of planar graph-directed self-affine measures generated by diagonal or anti-diagonal matrices; it further derives closed forms for the box dimensions of the associated box-like self-affine sets and resolves Fraser's 2016 question on the L^q-spectra of planar self-affine measures generated by diagonal matrices.

Significance. If the algebraic derivations hold under the stated hypotheses, the work supplies explicit formulas in a setting where closed forms for L^q-spectra of self-affine measures have been elusive, thereby advancing multifractal analysis of graph-directed systems. The resolution of the 2016 question is a concrete contribution, and the use of the rectangular open set condition to obtain parameter-free expressions is a strength.

minor comments (2)
  1. The abstract and introduction should include a brief statement of the explicit form of the closed-form expression (e.g., the functional equation or matrix product involved) rather than only asserting its existence.
  2. Notation for the rectangular open set condition and the strong-connectivity hypothesis should be introduced with a short reminder of their definitions in §2 to aid readers unfamiliar with graph-directed IFS literature.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, recognition of its significance in providing closed-form expressions for L^q-spectra under the rectangular open set condition, and recommendation for minor revision. We are pleased that the resolution of Fraser's 2016 question is viewed as a concrete contribution.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation of the closed-form L^q-spectra is explicitly conditional on the directed graph being strongly connected and the rectangular open set condition holding. No load-bearing steps reduce by definition, by fitted-parameter renaming, or by self-citation chains to the target result itself. The central claim is an algebraic consequence under those hypotheses rather than a self-referential construction, consistent with standard techniques for graph-directed self-affine measures.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The closed form rests on two domain assumptions standard in the literature on self-affine sets; no free parameters or invented entities are indicated in the abstract.

axioms (2)
  • domain assumption The directed graph is strongly connected
    Invoked to obtain the general closed form for the L^q-spectra.
  • domain assumption The system satisfies the rectangular open set condition
    Key separation condition required for the closed-form expression to hold.

pith-pipeline@v0.9.0 · 5620 in / 1171 out tokens · 26214 ms · 2026-05-24T07:11:21.435018+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

47 extracted references · 47 canonical work pages

  1. [1]

    Bara´ nski,Hausdorff dimension of the limit sets of some planar geometric constructions, Adv

    K. Bara´ nski,Hausdorff dimension of the limit sets of some planar geometric constructions, Adv. Math. 210 (2007), 215-245

    work page 2007

  2. [2]

    B´ ar´ any, M

    B. B´ ar´ any, M. Hochman, A. Rapaport,Hausdorff dimension of planar self-affine sets and measures, Invent. Math. 216 (2019), no.3, 601–659

    work page 2019

  3. [3]

    Bedford, Crinkly curves, Markov partitions and box dimension in self-similar sets, Ph.D

    T. Bedford, Crinkly curves, Markov partitions and box dimension in self-similar sets, Ph.D. Thesis, Uni- versity of Warwick, 1984

    work page 1984

  4. [4]

    Bochi, I.D

    J. Bochi, I.D. Morris, Equilibrium states of generalised singular value potentials and applications to affine iterated function systems, Geom. Funct. Anal. 28 (2018), no.4, 995–1028

    work page 2018

  5. [5]

    Cawley, R.D

    R. Cawley, R.D. Mauldin, Multifractal decompositions of Moran fractals, Adv. Math. 92 (1992), no.2, 196–236

    work page 1992

  6. [6]

    Cogburn, The central limit theorem for Markov processes, Proc

    R. Cogburn, The central limit theorem for Markov processes, Proc. Sixth Berkeley Symp. Math. Statist. Probab. (1972), no.2, 485–512

    work page 1972

  7. [7]

    Edgar, Fractal dimension of self-affine sets: some examples, Rend

    G.A. Edgar, Fractal dimension of self-affine sets: some examples, Rend. Circ. Mat. Palermo (2) Suppl. 28 (1992), 341–358

    work page 1992

  8. [8]

    T. Das, D. Simmons, The Hausdorff and dynamical dimensions of self-affine sponges: a dimension gap result, Invent. math. 210 (2017), 85–134

    work page 2017

  9. [9]

    Falconer, The Hausdorff dimension of self-affine fractals, Math

    K.J. Falconer, The Hausdorff dimension of self-affine fractals, Math. Proc, Cambridge Philos. Soc. 103 (1988), no.2, 339–350

    work page 1988

  10. [10]

    Falconer, Generalized dimensions of measures on self-affine sets, Nonlinearity 12 (1999), no.4, 877–891

    K.J. Falconer, Generalized dimensions of measures on self-affine sets, Nonlinearity 12 (1999), no.4, 877–891

    work page 1999

  11. [11]

    Falconer, J.M

    K.J. Falconer, J.M. Fraser, L.D. Lee, Lq-spectra of measures on planar non-conformal attractors, Ergodic Theory Dynam. Systems 41 (2021), no.11, 3288–3306

    work page 2021

  12. [12]

    Falconer, T

    K.J. Falconer, T. Kempton, Planar self-affine sets with equal Hausdorff, box and affinity dimensions, Ergodic Theory Dynam. Systems 38 (2018), no.4, 1369–1388

    work page 2018

  13. [13]

    Fan, K.-S

    A.-H. Fan, K.-S. Lau, S.-M. Ngai, Iterated function systems with overlaps, Asian J. Math. 4 (2000), no.3, 527–552

    work page 2000

  14. [14]

    Feng, Smoothness of the Lq-spectrum of self-similar measures with overlaps, J

    D.-J. Feng, Smoothness of the Lq-spectrum of self-similar measures with overlaps, J. London Math. Soc. (2) 68(2003), no.1, 102–118. Lq-SPECTRA OF BOX-LIKE GRAPH-DIRECTED SELF-AFFINE MEASURES 53

    work page 2003

  15. [15]

    Feng, The limited Rademacher functions and Bernoulli convolutions associated with Pisot numbers, Adv

    D.-J. Feng, The limited Rademacher functions and Bernoulli convolutions associated with Pisot numbers, Adv. Math. 195 (2005), no.1, 24–101

    work page 2005

  16. [16]

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

    work page 2005

  17. [17]

    Feng, Lyapunov exponents for products of matrices and multifractal analysis

    D.-J. Feng, Lyapunov exponents for products of matrices and multifractal analysis. II. General matrices, Israel J. Math. 170 (2009), 355–394

    work page 2009

  18. [18]

    D.-J. Feng, A. K¨ aenm¨ aki,Equilibrium states of the pressure function for products of matrices, Discrete Contin. Dyn. Syst. 30 (2011), no.3, 699–708

    work page 2011

  19. [19]

    D.-J. Feng, P. Shmerkin, Non-conformal repellers and the continuity of pressure for matrix cocycles, Geom. Funct. Anal. 24 (2014), no.4, 1101–1128

    work page 2014

  20. [20]

    Fraser, On the packing dimension of box-like self-affine sets in the plane, Nonlinearity 25 (2012), no.7, 2075–2092

    J.M. Fraser, On the packing dimension of box-like self-affine sets in the plane, Nonlinearity 25 (2012), no.7, 2075–2092

    work page 2012

  21. [21]

    Fraser, On the Lq-spectrum of planar self-affine measures, Trans

    J.M. Fraser, On the Lq-spectrum of planar self-affine measures, Trans. Amer. Math. Soc. 368 (2016), no.8, 5579–5620

    work page 2016

  22. [22]

    Fraser, L

    J.M. Fraser, L. Lee, I.D. Morris, H. Yu, Lq-spectra of self-affine measures: closed forms, counterexamples, and split binomial sums, Nonlinearity 34 (2021), no.9, 6331–6357

    work page 2021

  23. [23]

    Fraser, N

    J.M. Fraser, N. Jurga, The box dimensions of exceptional self-affine sets in R3, Adv. Math. 385 (2021), No. 107734

    work page 2021

  24. [24]

    K¨ aenm¨ aki,On natural invariant measures on generalised iterated function systems, Ann

    A. K¨ aenm¨ aki,On natural invariant measures on generalised iterated function systems, Ann. Acad. Sci. Fenn. Math. 29 (2004), no.2, 419–458

    work page 2004

  25. [25]

    K¨ aenm¨ aki, H.W.J

    A. K¨ aenm¨ aki, H.W.J. Reeve,Multifractal analysis of Birkhoff averages for typical infinitely generated self-affine sets, J. Fractal Geom. 1 (2014), no.1, 83–152

    work page 2014

  26. [26]

    Kenyon, Y

    R. Kenyon, Y. Peres, Hausdorff dimensions of sofic affine-invariant sets, Israel J. Math. 94 (1996), 157–178

    work page 1996

  27. [27]

    Kenyon, Y

    R. Kenyon, Y. Peres, Measures of full dimension on affine-invariant sets, Ergodic Theory Dynam. Systems 16 (2) (1996), 307–323

    work page 1996

  28. [28]

    King, The singularity spectrum for general Sierpi´ nski carpets,Adv

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

    work page 1995

  29. [29]

    Kolossv´ ary,The Lq spectrum of self-affine measures on sponges, J

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

    work page 2023

  30. [30]

    Lalley, D

    S.P. Lalley, D. Gatzouras, Hausdorff and Box Dimensions of Certain Self–Affine Fractals, Indiana Univ. Math. J. 41 (2) (1992), 533–568

    work page 1992

  31. [31]

    Lau, S.-M

    K.-S. Lau, S.-M. Ngai, Lq-spectrum of Bernoulli convolutions associated with P. V. numbers, Osaka J. Math. 36 (1999), no.4, 993–1010

    work page 1999

  32. [32]

    Lau, S.-M

    K.-S. Lau, S.-M. Ngai, A generalized finite type condition for iterated function systems, Adv. Math. 208 (2007), no. 2, 647–671

    work page 2007

  33. [33]

    Lau, X.-Y

    K.-S. Lau, X.-Y. Wang, Some exceptional phenomena in multifractal formalism. I, Asian J. Math. 9 (2005), no.2, 275–294

    work page 2005

  34. [34]

    Mauldin, S.C

    R.D. Mauldin, S.C. Williams, Hausdorff dimension in graph-directed constructions, Trans. Amer. Math. Soc. 309 (1988), no. 2, 811–829

    work page 1988

  35. [35]

    McMullen, The Hausdorff dimension of general Sierpinski carpets, Nagoya Math

    C. McMullen, The Hausdorff dimension of general Sierpinski carpets, Nagoya Math. J. 96 (1984), 1–9

    work page 1984

  36. [36]

    Meyn, R.L

    S.P. Meyn, R.L. Tweedie, Markov chains and stochastic stability, Comm. Control Engrg. Ser. Springer- Verlag London, Ltd., London, 1993

    work page 1993

  37. [37]

    Morris, An inequality for the matrix pressure function and applications, Adv

    I.D. Morris, An inequality for the matrix pressure function and applications, Adv. Math. 302 (2016), 280–308

    work page 2016

  38. [38]

    Morris, An explicit formula for the pressure of box-like affine iterated function systems, J

    I.D. Morris, An explicit formula for the pressure of box-like affine iterated function systems, J. Fractal Geom. 6 (2019), no.2, 127–141

    work page 2019

  39. [39]

    Morris, P

    I.D. Morris, P. Shmerkin, On equality of Hausdorff and affinity dimensions, via self-affine measures on positive subsystems, Trans. Amer. Math. Soc. 371 (2019), no.3, 1547–1582

    work page 2019

  40. [40]

    S.-M. Ngai, Y. Wang, Hausdorff dimension of self-similar sets with overlaps, J. London Math. Soc. (2) 63 (2001), no.3, 655–672

    work page 2001

  41. [41]

    Ni, Z.-Y

    T.-J. Ni, Z.-Y. Wen, The Lq-spectrum of a class of graph-directed selfaffine measures,Dyn. Syst. 24 (2009), no. 4, 517–536

    work page 2009

  42. [42]

    Olsen, A multifractal formalism, Adv

    L. Olsen, A multifractal formalism, Adv. Math. 116 (1995), no.1, 82–196. 54 HUA QIU AND QI WANG

    work page 1995

  43. [43]

    Olsen, Self-affine multifractal Sierpinski sponges in Rd, Pacific J

    L. Olsen, Self-affine multifractal Sierpinski sponges in Rd, Pacific J. Math. 183 (1998), no.1, 143–199

    work page 1998

  44. [44]

    H. Qiu, Q. Wang, S.-F. Wang, Lq-spectra of non-conformal planar graph-directed measures,in preparation

    work page

  45. [45]

    Roberts, J.S

    G.O. Roberts, J.S. Rosenthal, General state space Markov chains and MCMC algorithms, Probab. Surv. 1 (2004), 20–71

    work page 2004

  46. [46]

    Solomyak, Measure and dimension for some fractal families, Math

    B. Solomyak, Measure and dimension for some fractal families, Math. Proc. Cambridge Philos. Soc. 124 (1998), no.3, 531–546

    work page 1998

  47. [47]

    Strichartz, Self-similar measures and their Fourier transforms

    R.S. Strichartz, Self-similar measures and their Fourier transforms. III, Indiana Univ. Math. J. 42 (1993), no.2, 367–411. Department of Mathematics, Nanjing University, Nanjing, 210093, P. R. China. Email address: huaqiu@nju.edu.cn Department of Mathematics, Nanjing University, Nanjing, 210093, P. R. China. Email address: 1378893849@qq.com

    work page 1993