pith. sign in

arxiv: 2605.18471 · v1 · pith:RFLAYW5Gnew · submitted 2026-05-18 · 🧮 math.CA

On the spectra of Cantor measures

Leandro Zuberman This is my paper

Pith reviewed 2026-05-20 02:22 UTC · model grok-4.3

classification 🧮 math.CA
keywords Cantor measuresorthogonal exponentialsmaximal orthogonal setsself-similar measuresFourier spectrumbase-N expansionsrooted treesspectral measures
0
0 comments X

The pith

Cantor measures with prime-power contractions and m modularly distinct digits have their maximal orthogonal exponential sets in exact correspondence with labelings of the m-homogeneous rooted tree.

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

The paper establishes a complete characterization of maximal orthogonal sets of exponentials in L2 of these Cantor measures. The measures use contraction factor equal to the reciprocal of a prime power and place exactly m digits in distinct residue classes modulo the base N. Once the first n digits of a frequency are fixed, exactly m choices remain for the (n+1)th digit in base N that preserve orthogonality. This counting rule produces a direct bijection between the maximal orthogonal sets and all possible ways to label the branches of an m-homogeneous rooted tree. A sympathetic reader would care because the result describes the precise structure of candidate Fourier bases for the associated L2 spaces.

Core claim

For Cantor measures whose contraction factor is N inverse equal to a prime power and whose support consists of m digits lying in distinct residue classes modulo N, every maximal orthogonal set of exponentials has the property that, after any prescribed initial segment of n digits in base N, precisely m values are possible for the next digit. This digit-selection rule yields a one-to-one correspondence between such maximal orthogonal sets and the labelings of the m-homogeneous rooted tree.

What carries the argument

The digit-selection rule in base-N expansions of frequencies, which restricts each successive digit to exactly m allowable choices and thereby identifies the maximal orthogonal sets with labelings of the m-homogeneous rooted tree.

If this is right

  • Every maximal orthogonal set arises by recursively selecting one of m digits at each position in the base-N expansion.
  • The construction of orthogonal frequencies can be carried out level by level on the tree without violating the orthogonality relations inherited from the measure's support.
  • The full collection of maximal orthogonal sets is indexed exactly by the set of all labelings of the infinite m-homogeneous rooted tree.
  • Any finite initial segment of a frequency in such a set can be extended in exactly m ways while remaining inside a maximal orthogonal set.

Where Pith is reading between the lines

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

  • The tree-labeling description may make it possible to decide whether any given maximal orthogonal set is actually an orthonormal basis for L2 of the measure.
  • Similar modular digit-counting arguments could apply to other self-similar measures whose support satisfies arithmetic restrictions modulo the base.
  • Explicit recursive constructions of the orthogonal sets become feasible once the correspondence with tree labelings is used.
  • The result isolates the arithmetic condition on the digits as the feature that forces the branching factor to equal m at every level.

Load-bearing premise

The Cantor measure must have contraction factor equal to the reciprocal of a prime power and its support digits must lie in distinct residue classes modulo N.

What would settle it

A single maximal orthogonal set, for one of the measures under consideration, in which the number of allowable next digits in base N deviates from m after some fixed initial segment of digits.

Figures

Figures reproduced from arXiv: 2605.18471 by Leandro Zuberman.

Figure 1
Figure 1. Figure 1: First levels of a possible labeling of a spectrum for N = 8 and D = {0, 2, 4, 5} ∅ 0 0 3 5 2 4 λ = 5 · 8 + 4 · 8 2 + . . . 5 7 6 2 0 1 6 7 5 1 2 1 4 6 λ = 5 + 2 · 8 + 6 · 8 2 + . . . 7 3 4 7 0 1 3 6 [4] Dorin Ervin Dutkay, Deguang Han, Qiyu Sun, and Eric Weber. On the beurling dimension of exponential frames. Advances in Mathematics, 226(1):285–297, 2011. [5] Bent Fuglede. Commuting self-adjoint partial di… view at source ↗
read the original abstract

We consider Cantor measures on the line, with contraction factor $N^{-1}=p^{-\alpha}$ (where $p$ a positive prime, $\alpha$ a positive integer) and $m$ positive integer digits lying in distinct residue classes modulo $N$. We obtain a complete characterization of maximal orthogonal sets of exponentials in $L^2(\mu)$, for a class of such measures $\mu$. It is proved that the $n+1$-th digit in the base-$N$ expansion of frequencies in a maximal orthogonal set, with the first $n$ digits prescribed, has $m$ possible values. In consequence, there are a correspondence between labelings of the $m$-homogeneous rooted tree and maximal orthogonal sets of frequencies.

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 / 3 minor

Summary. The manuscript considers Cantor measures μ on the real line with contraction factor N^{-1}=p^{-α} (p prime, α positive integer) whose support is determined by m digits lying in distinct residue classes modulo N. It claims a complete characterization of maximal orthogonal sets of exponentials in L²(μ): given any n digits in the base-N expansion of a frequency in such a set, the (n+1)th digit admits exactly m admissible values. This yields a bijection between the maximal orthogonal sets and the labelings of the m-homogeneous rooted tree.

Significance. If the stated proof is correct, the result supplies a precise combinatorial description of the spectra for this arithmetically restricted class of Cantor measures. The uniform m-choice digit property and the resulting tree correspondence furnish a concrete structural model that may be useful for constructing or classifying orthogonal exponentials on self-similar sets.

minor comments (3)
  1. The introduction should explicitly state the precise support condition on the m digits (distinct residue classes modulo N) before the main theorem is announced.
  2. Notation for the base-N expansion of frequencies and for the rooted tree should be introduced with a short diagram or example in Section 2.
  3. A brief remark on how the residue-class hypothesis is used to guarantee that the m choices remain admissible at every level would improve readability of the digit-count argument.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their accurate summary of the manuscript and for the positive assessment of its significance. The recommendation for minor revision is noted. However, the report contains no specific major comments or requests for clarification, correction, or additional material.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper presents a direct mathematical characterization of maximal orthogonal sets for a restricted class of Cantor measures defined by specific arithmetic conditions on contraction factors and digit residues. The claimed result follows from proving a uniform m-choice property for digits in base-N expansions of frequencies, leading to a bijection with tree labelings. No load-bearing steps reduce to self-citations, fitted parameters renamed as predictions, or ansatzes smuggled via prior work by the same authors. The derivation is self-contained as a proof under the stated restrictions on the support of μ, with no evident internal reduction of the central claim to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper introduces no new free parameters, invented entities, or ad-hoc axioms beyond the standard functional-analytic setting of L2(μ) and the arithmetic definition of the measures; all structure is derived from the given contraction and digit conditions.

axioms (2)
  • standard math Standard inner-product orthogonality for complex exponentials in L2(μ)
    The definition of orthogonal sets of exponentials relies on the usual Hilbert-space inner product.
  • domain assumption The measures are supported on the Cantor set generated by the given contractions and digit restrictions
    The entire analysis presupposes the standard construction of these singular measures.

pith-pipeline@v0.9.0 · 5639 in / 1524 out tokens · 46039 ms · 2026-05-20T02:22:42.656427+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [1]

    Arbitrarily sparse spectra for self-affine spectral measures.Analysis Mathematica, 49(1):19–42, 2023

    L-X An and C-K Lai. Arbitrarily sparse spectra for self-affine spectral measures.Analysis Mathematica, 49(1):19–42, 2023

    work page 2023

  2. [2]

    Hadamard triples generate self-affine spectral measures.Transactions of the American Mathematical Society, 371(2):1439–1481, 2019

    Dorin Dutkay, John Haussermann, and Chun-Kit Lai. Hadamard triples generate self-affine spectral measures.Transactions of the American Mathematical Society, 371(2):1439–1481, 2019

    work page 2019

  3. [3]

    On the spectra of a cantor measure

    Dorin Ervin Dutkay, Deguang Han, and Qiyu Sun. On the spectra of a cantor measure. Advances in Mathematics, 221(1):251–276, 2009. ON THE SPECTRA OF CANTOR MEASURES 11 Figure 1.First levels of a possible labeling of a spectrum for N= 8 andD={0,2,4,5} ∅ 0 0 3 5 2 4 λ= 5·8 + 4·8 2 +. . . 5 7 6 2 0 1 6 7 5 1 2 1 4 6 λ= 5 + 2·8 + 6·8 2 +. . . 7 3 4 7 0 1 3 6

    work page 2009

  4. [4]

    On the beurling dimension of exponential frames.Advances in Mathematics, 226(1):285–297, 2011

    Dorin Ervin Dutkay, Deguang Han, Qiyu Sun, and Eric Weber. On the beurling dimension of exponential frames.Advances in Mathematics, 226(1):285–297, 2011

    work page 2011

  5. [5]

    Commuting self-adjoint partial differential operators and a group theoretic problem.Journal of Functional Analysis, 16(1):101–121, 1974

    Bent Fuglede. Commuting self-adjoint partial differential operators and a group theoretic problem.Journal of Functional Analysis, 16(1):101–121, 1974

    work page 1974

  6. [6]

    Self-similar lattice tilings.Journal of Fourier Anal- ysis and Applications, 1(2):131–170, 1994

    Karlheinz Grochenig and Andrew Haas. Self-similar lattice tilings.Journal of Fourier Anal- ysis and Applications, 1(2):131–170, 1994

    work page 1994

  7. [7]

    Dense analytic subspaces in fractall2-spaces.Journal d’Analyse Math´ ematique, 75(1):185–228, 1998

    Palle ET Jorgensen and Steen Pedersen. Dense analytic subspaces in fractall2-spaces.Journal d’Analyse Math´ ematique, 75(1):185–228, 1998

    work page 1998

  8. [8]

    The spectral set conjecture and multiplicative properties of roots of polyno- mials.Journal of the London Mathematical Society, 65(3):661–671, 2002

    Izabella Laba. The spectral set conjecture and multiplicative properties of roots of polyno- mials.Journal of the London Mathematical Society, 65(3):661–671, 2002

    work page 2002

  9. [9]

    On spectral cantor measures.Journal of Functional Analysis, 193(2):409–420, 2002

    Izabella Laba and Yang Wang. On spectral cantor measures.Journal of Functional Analysis, 193(2):409–420, 2002

    work page 2002

  10. [10]

    Self-affine tiles in rn.advances in mathematics, 121(1):21– 49, 1996

    Jeffrey C Lagarias and Yang Wang. Self-affine tiles in rn.advances in mathematics, 121(1):21– 49, 1996

    work page 1996

  11. [11]

    Necessary density conditions for sampling and interpolation of certain entire functions.Acta Mathematica, 117:37–52, 1967

    HJ Landau. Necessary density conditions for sampling and interpolation of certain entire functions.Acta Mathematica, 117:37–52, 1967

    work page 1967

  12. [12]

    The fuglede conjecture for convex domains is true in all dimen- sions.Acta Mathematica, 228(2):385–420, 2022

    Nir Lev and M´ at´ e Matolcsi. The fuglede conjecture for convex domains is true in all dimen- sions.Acta Mathematica, 228(2):385–420, 2022

    work page 2022

  13. [13]

    Mock fourier series and transforms associated with certain cantor mea- sures.Journal d’Analyse Math´ ematique, 81(1):209–238, 2000

    Robert S Strichartz. Mock fourier series and transforms associated with certain cantor mea- sures.Journal d’Analyse Math´ ematique, 81(1):209–238, 2000

    work page 2000

  14. [14]

    Fuglede’s conjecture is false in 5 and higher dimensions.Mathematical Research Letters, 11(2):251–258, 2004

    Terence Tao. Fuglede’s conjecture is false in 5 and higher dimensions.Mathematical Research Letters, 11(2):251–258, 2004. Departamento de Matem´atica. Universidad Nacional de Mar del Plata., Mar del Plata. PBA 7600 ARGENTINA Email address:leandro.zuberman@gmail.com

    work page 2004