{"id":"b64bdb08-c504-4030-8ab5-97716f02053d","arxiv_id":"2607.28379","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"CD kernels for middle-third Cantor and Julia-set balanced measures exhibit multiplicatively periodic limit-cycle universality, with M-type chain parametrization and n^{-1/α} zero scaling at quadratic fixed points.","lead":"Orthogonal polynomials for fractal measures can have Christoffel–Darboux kernels that approach a whole cycle of limits, not one kernel. This gives the first local zero-scaling laws for almost-periodic operators with singular Cantor spectrum.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates the sole external dependency (|ρ| threshold for the M-type/asymptotics package) and correctly rates the core limit-cycle theorems as low-risk. The general theorem is model-independent once (3.7) is granted; the Cantor and Julia verifications of (3.7) are direct and self-contained. The complementary results are clearly scoped by an explicit hypothesis drawn from the literature, so they do not drag the main claim. No stronger load-bearing concern appears on a full read-through. Verdict remains ACCEPT at high confidence.","tokens_in":49858,"tokens_out":458,"duration_ms":47515,"concrete_test":"Verify that the jump-matrix argument of Lemmas 5.10–5.16 still forces P=0 when the spectral input is relaxed to the best available limit-periodicity range λ>2.192 (equivalently |ρ| slightly below √13−1): if t_−(ℓ)=t_+(ℓ) continues to hold on a dense set of dyadic ℓ, the |ρ| restriction in Thms 1.8–1.10 can be lowered; if a nontrivial jump appears, the threshold is sharp as written.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central limit-cycle mechanism (Thm 1.2/3.6) follows from de Branges continuity once the Weyl function obeys the normal boundary law (1.17)/(3.7); the two flagship applications verify that law from self-similarity (Cantor) and the Poincaré/Böttcher equations (Julia), without hidden gaps. The only external vulnerability is the |ρ|>√13−1 threshold needed for M-type bijectivity and the oscillatory asymptotics in Thms 1.8–1.10 (via limit-periodicity and pure singular continuity of all two-sided J_κ). That threshold is explicitly flagged, inherited from [9,6,38], and affects only the complementary fixed-point analysis, not the existence of the new universality classes themselves. No internal inconsistency or unstated assumption undermines the strongest claim.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper introduces new universality classes for the local scaling of Christoffel–Darboux kernels in which the rescaled kernels approach a multiplicatively periodic limit cycle L_s (with L_{sρ}=L_s) rather than a single limit kernel. The central mechanism (Theorems 1.2/3.6) derives this from normal boundary behavior of the Weyl function m_μ(ξ+iy)∼y^β ω(iy) with ω(ρz)=ω(z), via de Branges theory and rescaling of canonical systems. The phenomenon is verified for the middle-third Cantor measure at rational support points (Theorem 1.4) and for balanced measures of expanding real Julia sets at eventually periodic points (Theorem 1.6). Complementary results for the quadratic T(z)=z(z+ρ) at the fixed point 0 establish M-type parametrization of the limit chain C(m_E) (Theorem 1.8) and the asymptotics K(n,0,0)≍n, r(n)≍n^κ with explicit multiplicative oscillations (Theorem 1.10), under an explicit threshold on |ρ|.","tokens_in":50051,"tokens_out":937,"duration_ms":25634,"significance":"If correct, this is a substantial contribution to spectral theory and orthogonal polynomials. It supplies the first scaling results for CD kernels of almost periodic Jacobi operators with singular continuous spectrum, and the first M-type parametrization of a de Branges chain with singular spectral measure. The limit-cycle framework is naturally adapted to self-similar and Cantor spectra, filling a gap left by classical bulk/hard-edge universality. The derivations rest on standard tools (de Branges homeomorphism, Poincaré/Böttcher equations, known limit-periodicity of Julia Jacobi matrices) rather than ad-hoc fitting, and the |ρ| threshold for the complementary fixed-point analysis is inherited from the literature and clearly flagged. These are genuine strengths.","major_comments":[],"minor_comments":[{"comment":"Page 1 / title and running heads: “ASSOCIA TED” and “FRACT ALS” contain spurious spaces; correct throughout.","section":"Title page"},{"comment":"Eq. (1.17) and Lemma 3.4: the phase factor e^{-β i π/2} is written inconsistently with the later (iy)^{-β} form in (3.7). A one-line clarification that both encode the same branch of z^β would help the reader.","section":"§1.1 / §3.2"},{"comment":"Theorem 1.8 and Remark 1.9: the condition ρ < 1-√13 (equivalently |ρ| > √13-1 after sign conventions) is stated twice with opposite inequality directions depending on the sign of ρ. A single consistent convention (e.g., always |ρ|) would remove ambiguity.","section":"§1.4 / §5"},{"comment":"Example 1.5: the a.c. measure with limit-cycle behavior at 0 is valuable for separating spectral type from universality class, but the verification is only sketched. A sentence pointing to the same dominated-convergence argument as in the Cantor proof would make the example self-contained.","section":"§1.2"},{"comment":"Figure 1 and Figure 2 captions are terse; adding the explicit values of the generating slits (or a reference to (3.22)) would improve readability.","section":"§3.5 / §5"},{"comment":"Several bibliographic entries have incomplete or nonstandard formatting (e.g., missing page ranges or arXiv identifiers for recent preprints). Standardize before final version.","section":"References"}],"recommendation":"accept","confidential_remarks":"The manuscript is long and technically dense, but the core contribution is clean and correctly scoped. The only external vulnerability (the |ρ| threshold for M-type bijectivity) is inherited from [6,9,38] and does not affect the existence of the new universality classes. I see no reason to delay acceptance for that. Fit for a top spectral-theory / analysis journal is excellent."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The punchline is simple. Prior universality is single-kernel limits (sine, Bessel, etc.). This paper introduces multiplicatively periodic limit cycles of matrix CD kernels, built from self-similar Herglotz functions m(z)=z^β ω(z) with ω(ρz)=ω(z), and proves they arise for the middle-third Cantor measure at rational points and for balanced measures on real Julia sets of expanding polynomials at eventually periodic points. That is the first local CD scaling result for almost-periodic operators with singular spectrum. The complementary quadratic fixed-point analysis gives K(n,0,0)≍n with explicit multiplicative oscillations, zero spacing of order n^{-1/α}, and the first M-type parametrization of a de Branges chain with singular measure.\n\nWhat works: the core theorem (3.6/1.2) is modular and clean—de Branges homeomorphism plus rescaling of Hamiltonians plus normal boundary behavior of the Weyl function. The two flagship applications reduce to classical self-similarity and Poincaré/Böttcher equations; no circular fitting. Zero-spacing corollaries follow from a precompactness version of Freud–Levin. Citations are appropriate and the external inputs (limit-periodicity literature) are flagged.\n\nSoft spots are minor and localized. The M-type bijectivity and oscillatory asymptotics need |ρ|>√13−1 so that the two-sided Jacobi matrices stay purely singular continuous; if that spectral fact fails the jump-matrix argument does not close. That threshold is inherited and clearly stated; it does not touch the existence of the new universality classes themselves. The general limit-cycle statement still requires verifying the normal boundary law model-by-model rather than from a purely local density condition.\n\nThis is for people who work on OPRL, canonical systems, or almost-periodic Jacobi matrices. It deserves a serious referee. I would bring it to reading group and cite the limit-cycle mechanism.","headline":"Real advance: limit-cycle CD scaling for fractal/singular measures, cleanly proved and first for almost-periodic singular spectrum.","tokens_in":50731,"tokens_out":493,"would_cite":true,"duration_ms":13334,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["42C05","47B36","34L40","37F10","46E22","47B32"],"pacs":[],"model":"grok-4.5","headline":"Fractal measures produce limit cycles of Christoffel–Darboux kernels instead of a single scaling limit.","keywords":["universality limits","Christoffel-Darboux kernel","orthogonal polynomials","canonical systems","Julia sets","Cantor measure","Martin function","almost periodic Jacobi operators"],"falsifier":"Compute the rescaled CD kernels for the middle-third Cantor measure (or a quadratic Julia measure) at a rational/periodic point and check whether they accumulate on a continuous multiplicatively periodic family rather than on a single kernel; or verify whether the M-type map on the limiting chain fails to be bijective when the expansion constant drops below the known limit-periodicity threshold.","tokens_in":50725,"feed_emoji":"🔄","tokens_out":1051,"duration_ms":21240,"temperature":0.7,"pith_summary":"The local spacing of zeros of orthogonal polynomials is governed by how Christoffel–Darboux kernels scale near a point. Until now every known regime collapsed to one fixed limit kernel (sine, Bessel, etc.). This paper shows that self-similar and Cantor-type measures produce a whole continuous family of kernels that repeat under multiplicative scaling—a limit cycle. The cycle is completely determined by the oscillatory boundary behaviour of the Weyl function. The phenomenon is verified for the middle-third Cantor measure at every rational point of the support and for the equilibrium measure of any expanding real Julia set at every eventually periodic point; the latter is the first local-kernel result for almost-periodic Jacobi operators with singular spectrum. For the quadratic Julia-set model at its internal fixed point the authors further prove that the limiting chain is parametrized by Martin type and that the Christoffel function grows exactly like n times a multiplicative oscillation, so zero spacings are of order n to the power minus one over the local dimension.","feed_headline":"Fractal measures yield limit cycles, not single kernels","feed_subtitle":"CD kernels for Cantor and Julia measures cycle under scaling; first local law for singular almost-periodic spectra","key_machinery":"The limit-cycle kernels L_s are obtained from the unique trace-normalized de Branges chain of the Herglotz function m_{β,ω}(z)=z^β ω(z) by the multiplicative rescaling that keeps the product of diagonal entries equal to s²; the whole cycle is therefore determined by the single function m_{β,ω}.","core_discovery":"When the Weyl function of a measure obeys the normal boundary law m(ξ+iy)∼y^β ω(iy) with ω multiplicatively periodic, the rescaled matrix Christoffel–Darboux kernels converge to a continuous, multiplicatively periodic family of kernels (a limit cycle) rather than to a single kernel. This new universality class is realized by the middle-third Cantor measure and by balanced measures on real Julia sets of expanding polynomials, and in the quadratic case the limit chain admits a bijective Martin-type parametrization that yields sharp asymptotics for the Christoffel function and the local zero spacing.","pith_inferences":["The same cycle should appear at every point whose forward orbit under the IFS is pre-periodic, not merely at rational or eventually periodic points.","If the normal boundary law can be read off from local dimension and a multiplicative cocycle alone, the result would cover a much larger class of self-similar measures without model-by-model verification.","Failure of M-type bijectivity for weaker expansion would give the first natural ‘chimera’ example arising from a concrete dynamical system rather than an artificial concatenation."],"forward_implications":["Local zero spacings of OPs for these singular measures are of exact order K(n,ξ,ξ)^{-1/(1+β)}, improving previous one-sided bounds.","Almost-periodic Jacobi operators with Cantor spectrum now possess at least one rigorous local universality statement.","The same limit-cycle mechanism applies verbatim to continuum Schrödinger, Dirac and Krein-string systems once their Weyl functions satisfy the same oscillatory boundary law.","At a fixed point of a quadratic Julia set the Christoffel function admits the explicit multiplicative oscillation K(n,0,0)∼n b(n) with b(2ℓ)=b(ℓ)."],"fun_headline_variants":["Cantor and Julia measures produce CD kernel limit cycles","Singular fractal spectra force multiplicatively periodic kernel families","Middle-third Cantor measure yields CD kernel limit cycles","Local zero scaling follows n^{-1/α} at Julia fixed points","Almost-periodic singular spectra admit Martin-parametrized limit chains"],"cache_read_input_tokens":32896,"weakest_assumption_plain":"The sharp Martin-type parametrization and the precise n-times-oscillation asymptotics for the quadratic model require the Jacobi matrix to be limit-periodic with purely singular continuous spectrum on every two-sided hull, a spectral fact known only for sufficiently expanding maps.","fun_headline_variants_meta":{"raw":{"variants":["Cantor and Julia measures produce CD kernel limit cycles","Singular fractal spectra force multiplicatively periodic kernel families","Middle-third Cantor measure yields CD kernel limit cycles","Local zero scaling follows n^{-1/α} at Julia fixed points","Almost-periodic singular spectra admit Martin-parametrized limit chains"]},"model":"grok-4.5","effort":"low","cost_usd":0.003878,"raw_usage":{"total_tokens":1258,"prompt_tokens":863,"num_sources_used":0,"completion_tokens":85,"cost_in_usd_ticks":38784000,"prompt_tokens_details":{"text_tokens":863,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":310,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":863,"tokens_out":85,"duration_ms":5907,"temperature":1.0,"reasoning_tokens":310,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-31T09:14:42.576599+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Compute the rescaled CD kernels for the middle-third Cantor measure (or a quadratic Julia measure) at a rational/periodic point and check whether they accumulate on a continuous multiplicatively periodic family rather than on a single kernel; or verify whether the M-type map on the limiting chain fails to be bijective when the expansion constant drops below the known limit-periodicity threshold.","supporting_citations":[],"review_version":1}