arxiv: 2604.10324 · v1 · submitted 2026-04-11 · 🧮 math.CV · math.FA

Recognition: unknown

Riesz α-capacity of Cantor sets and cyclicity in Dirichlet-type spaces

Dimitrios Vavitsas, Jujie Wu, Konstantinos Zarvalis

Pith reviewed 2026-05-10 15:12 UTC · model grok-4.3

classification 🧮 math.CV math.FA

keywords cyclicityDirichlet-type spacesRiesz capacityCantor setsholomorphic functionscritical indexinvariant subspaces

0 comments

The pith

A holomorphic function lies in D_α* yet is cyclic in every D_α for α < α* but fails to be cyclic exactly at α*.

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

The paper constructs a holomorphic function f that belongs to the Dirichlet-type space D_α* for any fixed critical index α* between 0 and 1. This f generates a dense collection of multiples in all spaces D_α with strictly smaller α, so it is cyclic there. At the value α* itself the multiples are no longer dense, so cyclicity fails. The construction uses generalized Cantor sets whose Riesz α-capacities are adjusted to enforce membership in the space while blocking density of multiples only at the endpoint. The result shows that cyclicity need not persist when the parameter reaches its critical value.

Core claim

We examine the threshold of the cyclicity for functions in Dirichlet-type spaces D_α, α in (0,1]. Given a fixed α* in (0,1], we construct a holomorphic function f in D_α* which is cyclic in D_α for all α < α*, but fails to be cyclic in D_α*. This function serves as a counterexample to the persistence of cyclicity at the critical index α*. Throughout the construction process, we work with generalized Cantor sets and study their Riesz α-capacity.

What carries the argument

Generalized Cantor sets equipped with tunable Riesz α-capacity that simultaneously control membership in D_α and the density of polynomial multiples.

If this is right

Cyclicity holds for all parameters strictly below the critical index but can disappear exactly at the endpoint.
Riesz α-capacity of Cantor sets provides a concrete mechanism for separating cyclicity behavior at and below α*.
The same threshold phenomenon can be realized for every chosen value of α* in (0,1].
Invariant subspaces generated by such functions are proper precisely at the critical parameter.

Where Pith is reading between the lines

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

The construction isolates the role of capacity in creating sharp thresholds that may appear in related approximation problems on the disk.
One could test whether analogous capacity-tuned sets produce counterexamples in neighboring spaces such as weighted Bergman spaces.
The result suggests that questions about the exact location of cyclicity thresholds are decidable via potential-theoretic data on thin sets.

Load-bearing premise

The Riesz α-capacity of the chosen generalized Cantor sets can be tuned so that the resulting function belongs to D_α* while its zero set or support prevents cyclicity only at that exact index and not for smaller indices.

What would settle it

An explicit generalized Cantor set whose Riesz capacity is positive for every α < α* but zero at α*, together with direct verification that the associated function satisfies the integrability condition for membership yet fails the density condition for cyclicity only at α*.

read the original abstract

We examine the threshold of the cyclicity for functions in Dirichlet-type spaces $\mathcal{D}_{\alpha}$, $\alpha\in(0,1]$. Given a fixed $\alpha^{*}\in(0,1]$, we construct a holomorphic function $f\in\mathcal{D}_{\alpha^{*}}$ which is cyclic in $\mathcal{D}_{\alpha}$ for all $\alpha<\alpha^{*}$, but fails to be cyclic in $\mathcal{D}_{\alpha^{*}}$. This function serves as a counterexample to the persistence of cyclicity at the critical index $\alpha^{*}$. Throughout the construction process, we work with generalized Cantor sets and study their Riesz $\alpha$-capacity.

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.

Desk Editor's Note private letter to a colleague

The paper gives an explicit counterexample showing cyclicity in these Dirichlet-type spaces stops exactly at the critical index α* by tuning Riesz capacities on generalized Cantor sets.

read the letter

The core result is a holomorphic function f that belongs to D_α* yet fails to be cyclic there, while remaining cyclic in all D_α for α < α*. The authors achieve this by building generalized Cantor sets on the boundary whose Riesz α-capacity is positive exactly at α* and zero below it. Positive capacity at the critical index blocks cyclicity via the standard potential-theoretic criterion, while zero capacity permits it for smaller α. They then arrange the zero-set behavior of f so the function lands in D_α* with finite norm but loses cyclicity only at that point. The capacity estimates rely on the recursive ratios of the Cantor construction, which looks like a direct and controllable way to hit the threshold sharply. This is the new piece: a concrete, tunable counterexample rather than an abstract existence argument. The construction is carried out explicitly enough that the chain from capacity sign to membership and cyclicity appears to hold without obvious circularity or hidden assumptions. The stress-test note confirms no visible gap in that linkage, and the function stays holomorphic with the required norm control. One minor soft spot is that the generalized Cantor sets are a bit more flexible than the classical middle-third version, so a referee will want to see the precise recursive definition and the capacity formula written out to confirm the vanishing/positivity switch happens exactly where claimed. That is a verification task, not a structural flaw. The paper is aimed at people already working on cyclicity in Dirichlet spaces and on capacity methods in complex analysis. A reader who follows the literature on these thresholds will find the explicit construction useful for sharpening their own intuition about where the boundary lies. It is worth sending to peer review because the central claim is a falsifiable construction with reproducible capacity calculations rather than a broad conjecture. A serious referee can check the estimates in a few pages and decide whether the tuning works as stated.

Referee Report

0 major / 2 minor

Summary. The manuscript constructs a holomorphic function f that belongs to the Dirichlet-type space D_{α^*} for a given α^* ∈ (0,1]. This function is cyclic in D_α for every α < α^*, but is not cyclic in D_{α^*}. The construction employs generalized Cantor sets whose Riesz α-capacity is arranged to be positive at α^* (implying non-cyclicity) and zero for smaller α (allowing cyclicity). This provides a counterexample to the idea that cyclicity persists at the critical index.

Significance. Should the construction and capacity estimates prove correct, the paper makes a meaningful contribution by exhibiting a sharp threshold for cyclicity in Dirichlet-type spaces. The use of tunable Cantor sets with explicit recursive ratio calculations to control the Riesz capacity is a solid methodological choice that allows for concrete verification. This work refines our understanding of the role of boundary zero sets in determining cyclicity properties.

minor comments (2)

The abstract is clear, but the introduction could benefit from a short paragraph summarizing the main theorem before diving into the construction.
Ensure that the estimates for the Riesz capacity in the generalized Cantor sets are cross-referenced with the cyclicity criteria used later in the paper.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of our manuscript. The report correctly identifies our construction of a holomorphic function in D_{α^*} that is cyclic in D_α for α < α^* but fails to be cyclic at the critical index α^*, via generalized Cantor sets with controlled Riesz α-capacities. We appreciate the recommendation for minor revision. No specific major comments or criticisms were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; explicit construction of counterexample

full rationale

The paper presents a direct construction of a holomorphic function f in D_α* that is cyclic for α < α* but not at α*, using generalized Cantor sets on the boundary whose Riesz α-capacity is computed explicitly from the recursive removal ratios in the Cantor construction. Capacity positivity/negativity at the critical index is tied to the potential-theoretic criteria for membership and cyclicity without any fitted parameters, self-definitional loops, or load-bearing self-citations. The chain from Cantor parameters to capacity sign to non-cyclicity is self-contained and externally verifiable via standard potential theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence of generalized Cantor sets whose Riesz α-capacities can be made to satisfy the required membership and non-cyclicity conditions at the critical index; these properties are treated as domain knowledge or derived within the paper.

axioms (1)

domain assumption Standard properties of Riesz α-capacity for generalized Cantor sets and their relation to cyclicity in Dirichlet-type spaces
The construction invokes these properties to separate behavior below and at α*.

pith-pipeline@v0.9.0 · 5410 in / 1272 out tokens · 101379 ms · 2026-05-10T15:12:44.806760+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

33 extracted references · 3 canonical work pages

[1]

Aleman, Hilbert Spaces of Analytic Functions Between the Hardy and the Dirichlet Space, Proc

A. Aleman, Hilbert Spaces of Analytic Functions Between the Hardy and the Dirichlet Space, Proc. Amer. Math. Soc.,115(1): 97–104, 1992

1992
[2]

B´ en´ eteau, A.Condori, C

C. B´ en´ eteau, A.Condori, C. Liaw, D. Seco, and A. Sola, Cyclicity in Dirichlet-type spaces and extremal polynomials,J. Anal. Math.,126: 259–286, 2015

2015
[3]

B´ en´ eteau, G

C. B´ en´ eteau, G. Knese, L. Kosi´ nski, C. Liaw, D. Seco and A. Sola, Cyclic polynomials in two variables,Trans. Amer. Math. Soc.,368(12): 8737–8754, 2016

2016
[4]

Beurling, On two problems concerning linear transformations in Hilbert space,Acta Math., 81: 239–255, 1948

A. Beurling, On two problems concerning linear transformations in Hilbert space,Acta Math., 81: 239–255, 1948

1948
[5]

Bergqvist, A note on cyclic polynomials in polydiscs,Anal

L. Bergqvist, A note on cyclic polynomials in polydiscs,Anal. Math. Phys.,8: 197–211, 2018

2018
[6]

Brown and W

L. Brown and W. Cohn, Some Examples of Cyclic Vectors in the Dirichlet Space,Proc. Amer. Math. Soc.,95(1): 42–46, 1985

1985
[7]

Brown and A

L. Brown and A. L. Shields, Cyclic vectors in the Dirichlet space,Trans. Amer. Math. Soc., 285(1): 269–303, 1984

1984
[8]

Carleson, Selected Problems on Exceptional Sets,Van Nostrand, Princeton, N.J., 1967

L. Carleson, Selected Problems on Exceptional Sets,Van Nostrand, Princeton, N.J., 1967

1967
[9]

Carleson, Sets of uniqueness for functions regular in the unit circle,Acta Math.,87: 325–345, 1952

L. Carleson, Sets of uniqueness for functions regular in the unit circle,Acta Math.,87: 325–345, 1952

1952
[10]

Chalmoukis and M

N. Chalmoukis and M. Hartz, Potential theory and boundary behavior in the Drury-Arveson space, preprint, available at arXiv:2410.07773 [math.FA] CANTOR SETS AND CYCLICITY 25

work page arXiv
[11]

Chalmoukis and M

N. Chalmoukis and M. Hartz, Totally null sets and capacity in Dirichlet type spaces,J. London Math. Soc.,106: 2030–2049, 2022

2030
[12]

El-Fallah, K

O. El-Fallah, K. Kellay, J. Mashreghi and T. Ransford, A Primer on the Dirichlet Space, Cambridge Tracts in Mathematics 203, Cambridge University Press, Cambridge, 2014

2014
[13]

El-Fallah, K

O. El-Fallah, K. Kellay, and T. Ransford, Cantor sets and cyclicity in weighted Dirichlet spaces, J. Math. Anal. Appl.,372(2): 565–573, 2010

2010
[14]

El-Fallah, K

O. El-Fallah, K. Kellay, and T. Ransford, Cyclicity in the Dirichlet space,Ark. Mat.,44: 61–86, 2006

2006
[15]

El-Fallah, K

O. El-Fallah, K. Kellay, and T. Ransford, On the Brown-Shields conjecture for cyclicity in the Dirichlet space,Adv. Math.,222(6): 2196–2214, 2009

2009
[16]

Frostman, Potentiel d’ ´ equilibre et capacit´ e des ensembles avec quelques applications ` a la th´ eorie des fonctions,Thesis Meddel

O. Frostman, Potentiel d’ ´ equilibre et capacit´ e des ensembles avec quelques applications ` a la th´ eorie des fonctions,Thesis Meddel. Lunds Univ. Mat. Sem.,3: 1–118, 1935

1935
[17]

Gautschi, Some Elementary Inequalities Relating to the Gamma and Incomplete Gamma Function,Journal of Mathematics and Physics,38(1-4): 77–81, 1959

W. Gautschi, Some Elementary Inequalities Relating to the Gamma and Incomplete Gamma Function,Journal of Mathematics and Physics,38(1-4): 77–81, 1959

1959
[18]

Hern´ andez, The fractional Lipschitz caloric capacity of Cantor sets,J

J. Hern´ andez, The fractional Lipschitz caloric capacity of Cantor sets,J. London Math. Soc., 113: e70493, 2026

2026
[19]

Hern´ andez, Removable singularities for Lipschitz fractional caloric functions in time varying domains, preprint, available at arXiv:2412.18402 [math.AP]

J. Hern´ andez, Removable singularities for Lipschitz fractional caloric functions in time varying domains, preprint, available at arXiv:2412.18402 [math.AP]

work page arXiv
[20]

Knese, L

G. Knese, L. Kosi´ nski, T. Ransford and A. Sola, Cyclic polynomials in anisotropic Dirichlet spaces,J. Anal. Math.,138(1): 23–47, 2019

2019
[21]

Kosi´ nski and D

L. Kosi´ nski and D. Vavitsas, Cyclic polynomials in Dirichlet-type spaces in the unit ball ofC2, Constr. Approx.,58(2): 343–361, 2023

2023
[22]

Mironov and J

M. Mironov and J. Sampat, Jointly cyclic polynomials and maximal domains,Proc. Amer. Math. Soc.,153(11):4781–4795, 2025

2025
[23]

Ransford, Potential Theory in the Complex Plane,London Mathematical Society Student Texts, Cambridge University Press, Cambridge,28, 1995

T. Ransford, Potential Theory in the Complex Plane,London Mathematical Society Student Texts, Cambridge University Press, Cambridge,28, 1995

1995
[24]

Richter, Invariant subspaces in Banach spaces of analytic functions,Trans

S. Richter, Invariant subspaces in Banach spaces of analytic functions,Trans. Amer. Math. Soc.,304: 585–616, 1987

1987
[25]

Richter and A

S. Richter and A. Shields, Bounded analytic functions in the Dirichlet space,Math. Z.198: 151–159, 1988

1988
[26]

Richter and J

S. Richter and J. Sunkes, Hankel operators, invariant subspaces, and cyclic vectors in the Drury-Arveson space,Proc. Amer. Math. Soc.,144(6): 2575–2586, 2016

2016
[27]

W. T. Ross, The classical Dirichlet space, in Recent advances in operator-related function theory,Contemp. Math.393: 171–197, 2016

2016
[28]

Rudin, Function Theory in the Unit Ball ofC n,Grundlehren der Mathematischen Wis- senschaften 241, Springer-Verlag, New York-Berlin, 1980

W. Rudin, Function Theory in the Unit Ball ofC n,Grundlehren der Mathematischen Wis- senschaften 241, Springer-Verlag, New York-Berlin, 1980

1980
[29]

Sampat, Cyclicity preserving operators on spaces of analytic functions inC n,Integral Equa- tions Operator Theory93(2), Paper No

J. Sampat, Cyclicity preserving operators on spaces of analytic functions inC n,Integral Equa- tions Operator Theory93(2), Paper No. 14, 20 pp., 2021

2021
[30]

G. D. Taylor, Multipliers onD α,Trans. Amer. Math. Soc.,123: 229–240, 1966

1966
[31]

P. T. Ziarati, Examples of critically cyclic functions in the Dirichlet spaces of the ball, preprint, available at arXiv: 2601.08651 [math.CV]

work page arXiv
[32]

Vavitsas, A note on cyclic vectors in Dirichlet-type spaces in the unit ball ofC n,Canad

D. Vavitsas, A note on cyclic vectors in Dirichlet-type spaces in the unit ball ofC n,Canad. Math. Bull.,66(3): 886–902, 2023

2023
[33]

Vavitsas and K

D. Vavitsas and K. Zarvalis, Non-cyclicity and polynomials in Dirichlet-type spaces of the unit ball,Bull. London Math. Soc.,56(120): 3905–3919, 2024 26 D. V A VITSAS, J. WU, AND K. ZAR V ALIS School of Mathematics (Zhuhai), Sun Yat-Sen University, Zhuhai, Guangdong, 519082, P. R. China Email address:vavitsas@mail.sysu.edu.cn School of Mathematics (Zhuhai...

2024