On UC-multipliers for multiple trigonometric systems
Pith reviewed 2026-05-16 14:15 UTC · model grok-4.3
The pith
Any sequence serving as a Weyl multiplier for all rearrangements of multiple trigonometric systems must satisfy log n ≲ w(n) ≲ log² n.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that the class of sequences w(n) serving as a.e. convergence Weyl multipliers for all rearrangements of multiple trigonometric systems is characterized by the bounds log n ≲ w(n) ≲ log² n. This characterization is obtained by proving a general equivalence principle between one-dimensional and multidimensional trigonometric systems that allows direct transfer of one-dimensional estimates to the higher-dimensional setting without additional restrictions.
What carries the argument
The equivalence principle between one-dimensional and multidimensional trigonometric systems, which permits direct transfer of multiplier estimates from the simpler case to the multi-dimensional case.
If this is right
- One-dimensional multiplier estimates extend immediately to the multi-dimensional case under the same conditions.
- The lower bound log n ≲ w(n) is necessary for convergence even after arbitrary rearrangements.
- The upper bound w(n) ≲ log² n is sufficient for a.e. convergence in the multi-dimensional setting.
- Known one-dimensional results on Weyl multipliers apply verbatim to higher-dimensional trigonometric systems.
Where Pith is reading between the lines
- The same equivalence might allow reduction of other convergence questions in harmonic analysis to the one-dimensional setting.
- Similar principles could classify multipliers for rearranged systems built from other orthogonal bases.
- The bounds suggest that numerical tests on finite partial sums of rearranged multi-dimensional series could verify the transition between convergence and divergence.
Load-bearing premise
The equivalence principle between one- and multi-dimensional systems holds without extra restrictions on rearrangements or measure spaces.
What would settle it
A concrete counterexample would be a sequence w(n) satisfying log n ≲ w(n) ≲ log² n together with a specific rearrangement of a multi-dimensional trigonometric system whose Fourier series diverges on a set of positive measure.
read the original abstract
We investigate the class of sequences $w(n)$ that can serve as almost-everywhere convergence Weyl multipliers for all rearrangements of multiple trigonometric systems. We show that any such sequence must satisfy the bounds $\log n\lesssim w(n)\lesssim\log^2 n$. Our main result establishes a general equivalence principle between one-dimensional and multidimensional trigonometric systems, which allows one to extend certain estimates known for the one-dimensional case to higher dimensions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript investigates the class of sequences w(n) that serve as almost-everywhere convergence Weyl multipliers (UC-multipliers) for all rearrangements of multiple trigonometric systems. It proves that any such sequence must satisfy the bounds log n ≲ w(n) ≲ log² n. The central result is a general equivalence principle between one-dimensional and multidimensional trigonometric systems that permits direct transfer of one-dimensional estimates to the higher-dimensional setting.
Significance. If the equivalence principle holds in full generality for arbitrary measure spaces and rearrangements, the bounds would be sharp and would constitute a meaningful extension of known one-dimensional multiplier results to the multi-dimensional case. The paper supplies a transfer mechanism that, if verified without hidden restrictions, would be a useful technical tool for the field.
major comments (1)
- [Main theorem on equivalence principle] The equivalence principle (main result): the statement claims generality sufficient to transfer one-dimensional bounds directly, but the manuscript must explicitly confirm that the principle applies to arbitrary (non-product) measure spaces and rearrangements that do not preserve coordinate independence. This verification is load-bearing for the claimed bounds log n ≲ w(n) ≲ log² n on all multiple systems; without it the upper and lower estimates may hold only under additional structural assumptions.
minor comments (1)
- [Abstract] The abstract introduces 'UC-multipliers' without a one-sentence definition or forward reference; adding this would improve immediate readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the constructive comment on the scope of the equivalence principle. We address this point directly below and will incorporate a clarifying revision.
read point-by-point responses
-
Referee: The equivalence principle (main result): the statement claims generality sufficient to transfer one-dimensional bounds directly, but the manuscript must explicitly confirm that the principle applies to arbitrary (non-product) measure spaces and rearrangements that do not preserve coordinate independence. This verification is load-bearing for the claimed bounds log n ≲ w(n) ≲ log² n on all multiple systems; without it the upper and lower estimates may hold only under additional structural assumptions.
Authors: The equivalence principle is formulated and proved specifically for multiple trigonometric systems on the d-dimensional torus with its standard product Lebesgue measure. The argument proceeds by reducing the multi-dimensional rearranged system to a one-dimensional system via a suitable identification of indices and does not impose any requirement that the rearrangement preserve coordinate independence; it applies to an arbitrary bijection of the multi-index set. We do not claim the result for completely arbitrary non-product measure spaces, as the trigonometric system itself is defined via the product structure of the torus. Within the setting of the paper, the equivalence therefore permits direct transfer of the known one-dimensional bounds, yielding log n ≲ w(n) ≲ log² n for all rearrangements of the multiple system. To meet the referee's request for explicit confirmation, we will add a short clarifying paragraph immediately after the statement of the main theorem (and a corresponding sentence in the introduction) that records the precise measure-space assumptions and notes that the proof accommodates arbitrary rearrangements. This revision will be limited to exposition and will not change the scope or the proofs. revision: partial
Circularity Check
No circularity: equivalence principle is independent transfer from 1D results
full rationale
The paper establishes a general equivalence principle as its main theorem, which transfers known one-dimensional estimates to the multidimensional setting without any self-definitional reduction, fitted-input prediction, or load-bearing self-citation chain visible in the abstract or derivation outline. The bounds log n ≲ w(n) ≲ log² n are obtained by applying this independently proven equivalence to prior 1D results on UC-multipliers, rather than deriving them by construction from the multiD case itself. No equations or steps reduce the central claim to its own inputs or to unverified self-citations; the structure remains self-contained against external 1D benchmarks.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Our main result establishes a general equivalence principle between one-dimensional and multidimensional trigonometric systems, which allows one to extend certain estimates known for the one-dimensional case to higher dimensions.
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1.1. Let w(n) be an increasing numerical sequence satisfying w(n²)≤Cw(n). Then w(n) is an RC(SRS)-multiplier for the one-dimensional trigonometric system if and only if it is an RC(SRS)-multiplier for the multiple trigonometric system.
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.
Forward citations
Cited by 1 Pith paper
-
Quantitative estimates for the absolute convergence of wavelet-type series
The sum 1/(n w(n)) converging is necessary and sufficient for an increasing w(n) to be an a.e. unconditional convergence Weyl multiplier for arbitrary wavelet-type systems, and log n is optimal for rearranged systems.
Reference graph
Works this paper leans on
-
[1]
S. V. Bočkarev,Rearrangements of Fourier-Walsh series, Izv. Akad. Nauk SSSR Ser. Mat.43(1979), no. 5, 1025–1041, 1197 (Russian). MR552550
work page 1979
-
[2]
,A majorant of the partial sums for a rearranged Walsh system, Dokl. Akad. Nauk SSSR 239(1978), no. 3, 509–510 (Russian). MR0487239
work page 1978
-
[3]
S. Sh. Galstyan,Convergence and unconditional convergence of Fourier series, Dokl. Akad. Nauk 323(1992), no. 2, 216–218 (Russian); English transl., Russian Acad. Sci. Dokl. Math.45(1992), no. 2, 286–289 (1993). MR1191534
work page 1992
-
[4]
G. G. Gevorkyan,On Weyl factors for the unconditional convergence of series in the Franklin system, Mat. Zametki41(1987), no. 6, 789–797, 889 (Russian). MR904246
work page 1987
-
[5]
,On Weyl factors for the unconditional convergence of series in the Cicielskii system, Mat. Zametki116(2024), no. 5, 707–713 (Russian)
work page 2024
-
[6]
S. Kačmaž and G. Šteıngauz,Teoriya ortogonalnykh ryadov, Gosudarstv. Izdat. Fiz.-Mat. Lit., Moscow, 1958 (Russian). MR0094635
work page 1958
-
[7]
Karagulyan,On wavelet polynomials and Weyl multipliers, J
Anna Kamont and Grigori A. Karagulyan,On wavelet polynomials and Weyl multipliers, J. Anal. Math.150(2023), no. 2, 529–545, DOI 10.1007/s11854-023-0281-4. MR4645048
-
[8]
G. A. Karagulyan,On systems of non-overlapping Haar polynomials, Ark. Math.58(2020), no. 1, 121–131, DOI 10.4310/arkiv.2020.v58.n1.a8. ON UC-MULTIPLIERS FOR MULTIPLE TRIGONOMETRIC SYSTEMS 13
-
[9]
12, 1704-1736, DOI 10.1070/SM9422
,On Weyl multipliers of the rearranged trigonometric system, Sbornik Mathematics211 (2020), no. 12, 1704-1736, DOI 10.1070/SM9422
-
[10]
,A sharp estimate for the majorant norm of a rearranged trigonometric system, Russian Math. Surveys75(2020), no. 3, 569-571, DOI 10.1070/RM9946
-
[11]
,On maximal Calderón-Zygmund operators and Weyl multipliers, Sbornik Mathematics216 (2025), no. 10
work page 2025
-
[12]
B. S. Kashin and A. A. Saakyan,Orthogonal series, Translations of Mathematical Monographs, vol. 75, American Mathematical Society, Providence, RI, 1989. Translated from the Russian by Ralph P. Boas; Translation edited by Ben Silver. MR1007141
work page 1989
-
[13]
A. Kolmogoroff and D. Menchoff,Sur la convergence des séries de fonctions orthogonales, Math. Z.26(1927), no. 1, 432–441, DOI 10.1007/BF01475463 (French). MR1544864
-
[14]
D. E. Menshov,Sur les series de fonctions orthogonales I, Fund. Math.4(1923), 82–105 (Russian)
work page 1923
-
[15]
Ferenc Móricz,On the convergence of Fourier series in every arrangement of the terms, Acta Sci. Math. (Szeged)31(1970), 33–41. MR271617
work page 1970
-
[16]
Saburô Nakata,On the divergence of rearranged Fourier series of square integrable functions, Acta Sci. Math. (Szeged)32(1971), 59–70. MR0435711
work page 1971
-
[17]
,On the divergence of rearranged trigonometric series, Tohoku Math. J. (2)27(1975), no. 2, 241–246, DOI 10.2748/tmj/1178240990. MR407519
-
[18]
,On the unconditional convergence of Walsh series, Anal. Math.5(1979), no. 3, 201–205, DOI 10.1007/BF01908903 (English, with Russian summary). MR549237
-
[19]
,On the divergence of rearranged Walsh series, Tohoku Math. J. (2)24(1972), 275–280, DOI 10.2748/tmj/1178241538. MR340941
-
[20]
A. M. Olevskiı,Divergent Fourier series, Izv. Akad. Nauk SSSR Ser. Mat.27(1963), 343–366 (Russian). MR0147834
work page 1963
-
[21]
S. N. Poleščuk,On the unconditional convergence of orthogonal series, Anal. Math.7(1981), no. 4, 265–275, DOI 10.1007/BF01908218 (English, with Russian summary). MR648491
-
[22]
Hans Rademacher,Einige Sätze über Reihen von allgemeinen Orthogonalfunktionen, Math. Ann. 87(1922), no. 1-2, 112–138, DOI 10.1007/BF01458040 (German). MR1512104
-
[23]
Károly Tandori,Beispiel der Fourierreihe einer quadratisch-integrierbaren Funktion, die in gewisser Anordnung ihrer Glieder überall divergiert, Acta Math. Acad. Sci. Hungar.15(1964), 165–173, DOI 10.1007/BF01897034 (German). MR161082
-
[24]
,Über die Divergenz der Walshschen Reihen, Acta Sci. Math. (Szeged)27(1966), 261–263 (German). MR208265
work page 1966
-
[25]
P. L. Ul′yanov,Weyl factors for unconditional convergence, Mat. Sb. (N.S.)60 (102)(1963), 39–62 (Russian). MR0145265
work page 1963
-
[26]
,Divergent Fourier series, Uspehi Mat. Nauk16(1961), no. 3 (99), 61–142 (Russian). MR0125398
work page 1961
-
[27]
,Divergent Fourier series of classLp(p≥2), Soviet Math. Dokl.2(1961), 350–354. MR0119026
work page 1961
-
[28]
,Weyl multipliers for the unconditional convergence of orthogonal series, Dokl. Akad. Nauk SSSR235(1977), no. 5, 1038–1041 (Russian). MR0450886
work page 1977
-
[29]
,Exact Weyl factors for unconditional convergence, Dokl. Akad. Nauk SSSR141(1961), 1048–1049 (Russian). MR0132966
work page 1961
-
[30]
,Solved and unsolved problems in the theory of trigonometric and orthogonal series, Uspehi Mat. Nauk19(1964), no. 1 (115), 3–69 (Russian). MR0161085
work page 1964
-
[31]
,A. N. Kolmogorov and divergent Fourier series, Uspekhi Mat. Nauk38(1983), no. 4(232), 51–90 (Russian). MR710115 14 GRIGORI A. KARAGULYAN
work page 1983
-
[32]
,The work of D. E. Men′shov on the theory of orthogonal series and its further development, Vestnik Moskov. Univ. Ser. I Mat. Mekh.4(1992), 8–24, 101 (Russian, with Russian summary); English transl., Moscow Univ. Math. Bull.47(1992), no. 4, 8–20. MR1215456
work page 1992
-
[33]
Zygmunt Zahorski,Une série de Fourier permutée d’une fonction de classeL2 divergente presque partout, C. R. Acad. Sci. Paris251(1960), 501–503 (French). MR147833 Institute of Mathematics NAS RA, Marshal Baghramian a ve., 24/5, Yerev an, 0019, Armenia Email address:g.karagulyan@gmail.com
work page 1960
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.