REVIEW 2 major objections 5 minor 36 references
The Periodic Dilation Completeness Problem: Cyclic vectors in the Hardy space over the infinite-dimensional polydisk
T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Zero-free functions on the infinite polydisk are cyclic, and cyclicity survives products and inner compositions.
desk verdict A substantial advance on cyclicity in H^2_∞ with three genuine new theorems; the stress-test's counterexample to Lemma 3.5 is invalid, and the paper's only real weaknesses are overclaims about RH and scope. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrier of the argument is the Hardy space $\mathbf{H}^2_\infty$, the Hilbert space of power series in infinitely many variables with square-summable coefficients, together with the Bohr transform that turns a Dirichlet series or an odd periodic function's Fourier series into such a power series. In that setting, a function is cyclic when the joint invariant subspace generated by the coordinate multiplications $M_{\zeta_n}$ is the whole space, which is equivalent to completeness of the corresponding dilation system. The proofs run on three mechanisms: the infinite polydisk algebra $A_{R,\infty}$ with a local-boundedness estimate for multiplication by dilated functions; a product criterion based on pairwise independent variables and orthogonal projections onto finite variable sets; and a composition operator $C_\Phi(F)=F(\varphi_1,\varphi_2,\ldots)$ whose boundedness and range are controlled by a coextension theorem for doubly commuting contractions, giving the projection identity (5.3).
What would settle it
Compute the Fourier-Bohr coefficients of $G_\theta = F_\theta \cdot K_p^{-1}$ for a rational value such as $\theta=\frac15$; Proposition 8.1 predicts that $G_\theta$ depends on infinitely many variables for every $\theta$ outside $\{1,\frac12,\frac13,\frac23\}$. If a finite computation shows all but finitely many coefficients vanish, the paper's Kozlov completeness classification would be wrong.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is that cyclicity in $\mathbf{H}^2_\infty$ admits complete characterizations for several large classes. Theorem 3.1 states that for $R>1$ and $F\in A_{R,\infty}$, $F$ is cyclic if and only if $F$ has no zero in $\mathbb{D}^2_\infty$. Theorem 4.2 states that if $\{F_n\}$ are functions with mutually independent variables and the infinite product converges pointwise to a nonzero $F\in \mathbf{H}^2_\infty$, then $F$ is cyclic if and only if each $F_n$ is cyclic. Theorem 5.1 states that if $\{\eta_n\}$ are nonconstant inner functions with mutually independent variables and $\sum_n |\eta_n(0)|<\infty$, then $F(\eta_1,\eta_2,\ldots)$ is cyclic if and only if $F$ is cyclic. These results are used to characterize cyclicity for functions whose coefficients satisfy multiplicative conditions relative to a partition of the primes, for composite functions, and for $\mathbf{H}^p_\infty$ functions with $p>2$, with applications to the Kozlov completeness problem.
Load-bearing premise
The necessity proof in the composition section rests on an earlier theorem that every doubly commuting family of strongly stable contractions can be embedded in a doubly commuting family of pure isometries on a larger space; if that embedding theorem fails, the projection identity (5.3) breaks and the cyclicity equivalence for composite functions collapses.
Editorial extensions
If this is right
- Functions in $A_{R,\infty}$ with $R>1$ and no zeros in $\mathbb{D}^2_\infty$ are cyclic, so for Dirichlet series whose coefficients decay faster than $n^{-\varepsilon}$ for some $\varepsilon>0$, completeness of the dilation system is decided entirely by the zero set.
- An infinite product of cyclic factors with independent variables is cyclic, and only cyclic factors can produce a cyclic product; this gives a prime-factorization reduction for functions with multiplicative coefficients.
- Cyclicity is invariant under composition with mutually independent inner functions, so cyclicity of $1+\sum_n a_n\eta_n$ is equivalent to $\sum_n |a_n|\le 1$.
- For the Kozlov completeness problem, the systems $D_\theta$ with $\theta=1,\frac12,\frac23$ are complete, $D_{1/3}$ is not, and the remaining cases reduce to a finite-variable check that the paper conjectures selects exactly those three values.
Reading between the lines
- The zero-set criterion for $A_{R,\infty}$ is proved with a quantitative constant depending on the number of zeros on a smaller radius; a natural extension would be to functions with merely absolutely summable coefficients, where the same Hurwitz argument might survive without the $n^\varepsilon$ growth condition.
- The product theorem suggests a practical algorithm for cyclicity testing: factor a Dirichlet series by prime groups and check outer-ness in one variable per group, since numerical zero location in one variable is much easier than invariant-subspace approximation in infinitely many variables.
- The paper stops short of proving its conjecture that $D_\theta$ is complete only for $\theta\in\{1,\frac12,\frac23\}$; computing $G_\theta$ for a rational like $\theta=\frac15$ is a concrete test of that boundary.
- The Riemann hypothesis appears only as a downstream remark; if the density claims for the $\phi_m(z^n)$ systems could be strengthened to the full span of the associated weighted composition semigroup, the methods would connect directly to the Nyman-type completeness criterion for the Riemann hypothesis.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies cyclic vectors in the Hardy space H^2_∞ over the infinite-dimensional polydisk, viewed through the Bohr transform as the function-theoretic avatar of the Periodic Dilation Completeness Problem. The main results are: a zero-free criterion for functions in the infinite polydisk algebra A_{R,∞} (Theorem 3.1); a characterization of cyclicity for infinite products of functions in independent variable sets (Theorem 4.2); a composition theorem for independent inner functions (Theorem 5.1); a criterion showing that if FG is cyclic with F in H^p_∞ (p>2) and G in H^q_∞ (q>0), then F is cyclic (Theorem 6.1); and a geometric condition involving the image of F avoiding a curve with bounded argument (Theorem 7.1). The final section applies the machinery to the Kozlov completeness problem for dilation systems of χ_{(0,θ)}.
Significance. If the central theorems are correct, they constitute a substantial advance: they unify and generalize earlier results of Nikolski, Hartman, Kozlov, and Hedenmalm–Lindqvist–Seip, and they give the first complete cyclicity criteria for several large natural classes of functions on the infinite polydisk. The proofs in Sections 3–7 are detailed, largely self-contained, and use no fitted parameters; several arguments, especially the product theorem and the H^p interpolation theorem, are elegant and convincing. However, the application in Section 8 contains a false Fourier identity that invalidates the proof of the Kozlov claims as written, and the composition theorem depends on a coextension theorem quoted from an arXiv preprint. These issues are local and repairable, but they must be fixed before the paper is publishable.
major comments (2)
- [Section 8, Eq. (8.1) and the preceding display] The paper states that for ψ(x)={x}−1/2 one has ψ(x)=∑_{n=1}∞ −(1/(nπ)) sin(nπx), and then uses this to derive the identities φ_1=2ψ(2x)−4ψ(x), φ_{1/2}=ψ(4x)−2ψ(x)−ψ(2x), etc. These statements are not correct for the stated ψ. The Fourier sine series −∑ (1/(nπ)) sin(nπx) equals (x−1)/2 on (0,1), not {x}−1/2. For example, with ψ={x}−1/2, the function 2ψ(2x)−4ψ(x) equals +1 on (0,1/2) and −1 on (1/2,1), whereas χ_{(0,1)} is identically 1. Consequently the subsequent formulas F_θ=P_θ K_p and the proof that D_θ is complete for θ=1,1/2,2/3 and incomplete for θ=1/3 are not valid as written. The authors should either change the definition of ψ to (x−1)/2 throughout Section 8, or recompute all Fourier coefficients and the resulting identities from the actual definition of ψ.
- [Section 5, Proposition 5.4 and Corollary 5.6] The proof of Theorem 5.1 depends in an essential way on the theorem from [DG] asserting that a doubly commuting sequence of C·0-contractions has a coextension to a doubly commuting sequence of pure isometries with V_n^*|_H=T_n^*. This theorem is quoted from an arXiv preprint (arXiv:1907.05815) but is not proved in the present manuscript. Since Proposition 5.4, Corollary 5.6, and hence the necessity direction of Theorem 5.1 all rest on it, the authors should either include a proof of the coextension theorem in the paper or replace the citation with a published peer-reviewed reference. As it stands, a central link in the main chain of Section 5 cannot be checked from the manuscript alone.
minor comments (5)
- [Section 6, proof of Theorem 6.1(1)] The sentence 'the argument in the previous paragraph shows FG_{ts}∈H^r_∞ for any 0≤s≤1' is not literally correct: interpolation gives FG_{ts}∈H^{u_s}_∞ with 1/u_s=(1−s)/p+s/r, hence u_s≥r, not necessarily u_s=r. What is actually needed later is only 1/u_s≤1/r, which does hold, so the proof can be repaired by a short clarification.
- [Example 4.8] The displayed identity −(√2/(2π))BUψ=∑_{n=1}∞(−1)^n(1/n)ζ^{α(n)} does not match the normalization ψ_n=√2 sin(nπx): for ψ(x)=x the Fourier coefficients give BUψ=(2√2/π)∑(−1)^{n+1}(1/n)ζ^{α(n)}, so the scalar should be −π/(2√2), not −√2/(2π). The cyclicity conclusion is unaffected by a nonzero scalar, but the formula should be corrected.
- [Throughout Section 8] The problem is named after Kozlov, and the section title and several occurrences read 'Kolzov'. Please correct the spelling.
- [Corollary 3.7] The proof says 'Put R=2^ε'; this is fine, but the estimate |ζ^{α(n)}|≤R^{α_1+...+α_m}≤n^ε after setting R=2^ε depends on the inequality p_j^{ε α_j}≥2^{ε α_j}, which should be stated explicitly for clarity.
- [Lemma 2.2 reference] The proof of Proposition 2.3 cites [Ru, Theorem 3.4.3] for the inclusion H^p(D^n)⊆H^p_∞; it would help the reader if the precise statement and the identification of functions depending on finitely many variables were spelled out at that point.
Circularity Check
No circularity: the paper's central cyclicity criteria are proved from standard Hardy-space theory and an independent dilation-theoretic self-citation, with no reduction of conclusions to inputs.
full rationale
The paper's derivation chain is not circular. The translation from the Periodic Dilation Completeness Problem to cyclicity in H^2_infinity is taken from HLS and Nikolski and functions as a framework, not as a conclusion. The main results (Theorems 3.1, 4.2, 5.1, 6.1, 7.1) are established through direct analytic estimates, factorizations into functions with independent variables, composition-operator arguments, and weak-convergence arguments inside the paper. The one self-citation that carries real weight is the coextension theorem for doubly commuting sequences of C.0-contractions from the authors' prior paper [DG], used in Proposition 5.4 and Corollary 5.6. That theorem is a statement about dilation theory and is not a restatement of the cyclicity criteria being proved; it does not assume the target results, so the reliance on it is not circular. No fitted parameters are renamed as predictions, no known empirical pattern is merely relabeled, and no uniqueness theorem is imported to forbid alternatives. The reviewer-flagged issue with Lemma 3.5 is a mathematical correctness concern about a slice estimate, not a circular reduction; it does not make the theorem equivalent to its hypotheses. Since no specific circular step can be quoted, the score is 0.
Assumptions & free parameters
assumptions (4)
- domain assumption The Hardy space H^p_∞ over the infinite polydisk has the properties established by Cole-Gamelin [CG]: evaluation continuity, isometric identification with H^p(ρ), and analytic extension to D^2_∞.
- domain assumption The coextension theorem for doubly commuting sequences of C.0 contractions on a Hilbert space, proved in the authors' prior paper [DG] (arXiv:1907.05815), is correct.
- domain assumption The Bohr transform B: H^2 → H^2_∞ is a unitary equivalence between multiplier-invariant subspaces of the Dirichlet space H^2 and invariant subspaces of H^2_∞ (Proposition 2.1, cited from [HLS, Ni1]).
- standard math Classical one-variable function theory: Hurwitz's theorem, Rouche's theorem, outer factor estimates, Schwarz lemma, and the Hausdorff-Young inequality are used without proof.
Cite this review
Pith. "Pith review of The Periodic Dilation Completeness Problem: Cyclic vectors in the Hardy space over the infinite-dimensional polydisk." pith.science (2026). https://pith.science/paper/AZWNAA44
@misc{pith2026190803113,
author = {Pith},
title = {Pith review of: The Periodic Dilation Completeness Problem: Cyclic vectors in the Hardy space over the infinite-dimensional polydisk},
year = {2026},
howpublished = {\url{https://pith.science/paper/AZWNAA44}},
note = {Machine review of arXiv:1908.03113}
}
abstract
The classical completeness problem raised by Beurling and independently by Wintner asks for which $\psi\in L^2(0,1)$, the dilation system $\{\psi(kx):k=1,2,\cdots\}$ is complete in $L^2(0,1)$, where $\psi$ is identified with its extension to an odd $2$-periodic function on $\mathbb{R}$. This difficult problem is nowadays commonly called as the Periodic Dilation Completeness Problem (PDCP). By Beurling's idea and an application of the Bohr transform, the PDCP is translated as an equivalent problem of characterizing cyclic vectors in the Hardy space $\mathbf{H}_\infty^2$ over the infinite-dimensional polydisk for coordinate multiplication operators. In this paper, we obtain lots of new results on cyclic vectors in the Hardy space $\mathbf{H}_\infty^2$. In almost all interesting cases, we obtain sufficient and necessary criterions for characterizing cyclic vectors, and hence in these cases we completely solve the PDCP. Our results cover almost all previous known results on this subject.
Reference graph
Works this paper leans on
-
[1]
N. I. Akhiezer, Lectures on Approximation Theory (in Russian), second edition, Nauka, Moscow. English translation: Approximation Theory, Dover, New York, 1992
work page 1992
-
[2]
A. Aleman, J.-F. Olsen, and E. Saksman, Fatou and brothers Riesz theorems in the infinite-dimensional polydisc, J. Anal. Math. 137(2019), 429-447
work page 2019
-
[3]
T. M. Apostol, Introduction to analytic number theory, Springer-Verlag, New York, Heidelberg, 1976
work page 1976
-
[4]
L. B\' a ez-Duarte, A strengthening of the N yman- B eurling criterion for the R iemann hypothesis , Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei (9) Mat. Appl. 14(2003), 5-11
work page 2003
-
[5]
Y. M. Berezanski , Selfadjoint operators in spaces of functions of infinitely many variables, American Mathematical Society, Providence, RI, 1986. Translated from the Russian by H. H. McFaden, Translation edited by Ben Silver
work page 1986
-
[6]
Beurling, The collected Works of Arne Beurling, 2: Harmonic Analysis , Contemp
A. Beurling, The collected Works of Arne Beurling, 2: Harmonic Analysis , Contemp. Math. Birkha u ser, Boston, 1989, 378-380
work page 1989
-
[7]
D. G. Bourgin and C. W. Mendel, Orthonormal Sets of Periodic Functions of the Type f(nx) , Trans. Am. Math. Soc. 57(1945), 332-363
work page 1945
-
[8]
H. Bohr, U ber die Bedeutung der Potenzreihen unendlich vieler Variabeln in der Theorie der Dirichletschen Reien a_n/n^s , Nachr. Ges. Wiss. G o ttingen. Math.-Phys. KL. A9, (1913), 441-488
work page 1913
Show all 36 references
-
[9]
D. G. Bourgin, On certain sequences of functions, Proc. Nat. Acad. Sci. USA. 32(1946), 1-5
1946
-
[10]
D. G. Bourgin, A class of sequences of functions, Trans. Am. Math. Soc. 60(1946), 478-518
1946
-
[11]
Cole and T
B. Cole and T. Gamelin, Representing measures and Hardy spaces for the infinite polydisk algebra, Proc. London Math. Soc. 53(1986), 112-142
1986
-
[12]
Dineen, Complex analysis on infinite-dimensional spaces, Springer Monographs in Mathematics, Springer-Verlag, Ltd
S. Dineen, Complex analysis on infinite-dimensional spaces, Springer Monographs in Mathematics, Springer-Verlag, Ltd. London, 1999
1999
-
[13]
Dan and K
H. Dan and K. Guo, Dilation theory and analytic model theory for doubly commuting sequences of C_ .0 -contractions , arXiv:1907.05815
1907 arXiv
-
[14]
H. Dan, K. Guo, H. Huang, Submodules of the Hardy module in infinitely many variable, J. Operator Theory, 80(2018), 375-397
2018
-
[15]
Gelca, Topological H ilbert N ullstellensatz for B ergman spaces , Integral Equations Operator Theory, 28(1997), 191-195
R. Gelca, Topological H ilbert N ullstellensatz for B ergman spaces , Integral Equations Operator Theory, 28(1997), 191-195
1997
-
[16]
Hartman, Multiplicative sequences and T \" o plerian (L^2) -bases , Duke Math
P. Hartman, Multiplicative sequences and T \" o plerian (L^2) -bases , Duke Math. J. 14(1947), 755-767
1947
-
[17]
Helson, compact groups and Dirichlet series, Ark
H. Helson, compact groups and Dirichlet series, Ark. Mat. 3(1969), 139-143
1969
-
[18]
Hedenmalm, P
H. Hedenmalm, P. Lindqvist and K. Seip, A Hilbert space of Dirichlet series and systems of dilated functions in L^2(0,1) , Duke Math. J. 86(1987), 1-37
1987
-
[19]
Hartman and A
P. Hartman and A. Wintner, T\" o plerian (L^2) -bases , Trans. Am. Math. Soc. 63(1948), 207-225
1948
-
[20]
V. Ya. Kozlov, On the completeness of systems of functions \ (nx)\ in the space L^2[0,2 ] , (Russian), Doklady Akad. Nauk SSSR (N.S.), 61(1948), 977-980, (MR0027892 by W. Fuchs)
1948
-
[21]
V. Ya. Kozlov, On the completeness of systems of functions \ (nx)\ in the space of odd functions of L^2[0, 2 ] , (Russian), Doklady Akad. Nauk SSSR (N.S.), 62(1948), 13-16, (MR0027893 by W. Fuchs)
1948
-
[22]
V. Ya. Kozlov, On the completeness of a system of functions of type \ (nx)\ in the space L_2 ,(Russian), Doklady Akad. Nauk SSSR (N.S.), 73(1950), 441-444, (MR0036333 by W. Fuchs)
1950
-
[23]
J. R. Munkres, Topology, 2nd edition, Prentice-Hall, Upper Saddle River, NJ, 2000
2000
-
[24]
Nikolski, In a shadow of the RH: Cyclic vectors of Hardy spaces on the Hilbert multidisc, Ann
N. Nikolski, In a shadow of the RH: Cyclic vectors of Hardy spaces on the Hilbert multidisc, Ann. Inst. Fourier, Grenoble, 62(2012), 1601-1625
2012
-
[25]
Nikolski, A correction to `` I n a shadow of the RH : cyclic vectors of H ardy spaces on the H ilbert multidisc'' , Ann
N. Nikolski, A correction to `` I n a shadow of the RH : cyclic vectors of H ardy spaces on the H ilbert multidisc'' , Ann. Inst. Fourier, Grenoble, 68(2018), 563-567
2018
-
[26]
Nikolski, Hardy spaces, Translated from the 2012 French edition, Cambridge University Press, Cambridge, 2019
N. Nikolski, Hardy spaces, Translated from the 2012 French edition, Cambridge University Press, Cambridge, 2019
2012
-
[27]
Nikolski, The current state of the dilation completeness problem, A PPT talk at the MSU seminar 2108, and the KCL seminar 2017
N. Nikolski, The current state of the dilation completeness problem, A PPT talk at the MSU seminar 2108, and the KCL seminar 2017
2017
-
[28]
Nikolski, Selected problems of weighted approximation and spectral analysis, Trudy Math
N. Nikolski, Selected problems of weighted approximation and spectral analysis, Trudy Math. Inst. Steklova, Vol.120, Moscow (Russian); English transl.: Proc. Steklov Math. Inst. No.120 (1974), AMS, Providence, 1976
1974
-
[29]
J. H. Neuwirth, J. Ginsberg and D. J. Newman, Approximation by \ f(kx)\ , J. Functional Analysis, 5(1970), 194-203
1970
-
[30]
S. W. Noor, A H ardy space analysis of the B \' a ez- D uarte criterion for the RH , Adv. Math. 350(2019), 242-255
2019
-
[31]
Nyman, On the O ne- D imensional T ranslation G roup and S emi- G roup in C ertain F unction S paces , Thesis, University of Uppsala, 1950
B. Nyman, On the O ne- D imensional T ranslation G roup and S emi- G roup in C ertain F unction S paces , Thesis, University of Uppsala, 1950
1950
-
[32]
Olofsson, On the shift semigroup on the Hardy space of Dirichlet series, Acta Math
A. Olofsson, On the shift semigroup on the Hardy space of Dirichlet series, Acta Math. Hungar. 128(2010), 265-286
2010
-
[33]
Rosenblum, Summability of Fourier series in L^p( ) , Trans
M. Rosenblum, Summability of Fourier series in L^p( ) , Trans. AMS, 105(1962), 32-42
1962
-
[34]
Rudin, Function Theory in Polydisks, Benjamin, New York, 1969
W. Rudin, Function Theory in Polydisks, Benjamin, New York, 1969
1969
-
[35]
Shields, Cyclic vectors for multiplication operators, Michigan Math
A. Shields, Cyclic vectors for multiplication operators, Michigan Math. J. 35(1988), 451-454
1988
-
[36]
Wintner, Diophantine approximations and H ilbert's space , Amer
A. Wintner, Diophantine approximations and H ilbert's space , Amer. J. Math. 66(1944), 564-578
1944
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.