Recognition: unknown
Sidon-type inequalities for p-adic analogues of Rademacher chaos
Pith reviewed 2026-05-07 08:20 UTC · model grok-4.3
The pith
The most general p-adic extension of Rademacher d-chaos obeys the 2d/(d+1)-Sidon inequality.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper proves the 2d/(d+1)-Sidon inequality for a system of functions representing the most general extension of the Rademacher d-chaos to the p-ary case. In the classical setting the Rademacher d-chaos consists of all products of d distinct Rademacher functions; the p-ary analogue replaces each factor by a function taking p distinct values while preserving the orthogonality and chaos-order properties. The inequality then asserts that for any finite linear combination of these extended functions the L1 norm is bounded by 2d/(d+1) times the square root of the sum of squares of the coefficients.
What carries the argument
The system of functions that constitutes the most general p-ary extension of Rademacher d-chaos. This system is the object on which the Sidon inequality is verified, carrying the argument by retaining the combinatorial and orthogonality features of the binary case while allowing p values at each coordinate.
If this is right
- The same numerical constant that works for binary Rademacher chaos continues to work after the alphabet size is increased from 2 to arbitrary p.
- Sidon-type bounds are now available for orthogonal expansions whose coordinate functions take p values rather than two.
- Any application that previously relied on the binary Sidon inequality for d-chaos can be restated verbatim in the p-ary setting with the identical constant.
- The result supplies a uniform bound that does not deteriorate when p grows.
Where Pith is reading between the lines
- The construction suggests that similar Sidon constants may exist for orthogonal systems over other finite alphabets or over rings other than the p-adics.
- One could test sharpness by computing the exact Sidon constant for small d and moderate p and checking whether 2d/(d+1) is attained or approached.
- The p-ary chaos system might be inserted into existing p-adic versions of Khintchine or Menshov inequalities to obtain corresponding constants.
- The same extension technique could be tried on other classical orthogonal systems such as Walsh or Haar functions to produce p-ary analogues with known Sidon constants.
Load-bearing premise
The constructed system of functions is the most general extension of Rademacher d-chaos to the p-ary case and the Sidon inequality applies directly to it under the paper's definitions.
What would settle it
An explicit finite collection of the constructed p-ary functions together with coefficients for which the ratio of the L1 norm to the Euclidean coefficient norm exceeds 2d/(d+1).
read the original abstract
We prove the $\frac{2d}{d+1}$-Sidon inequality for a system of functions representing the most general extension of the Rademacher $d$-chaos to the $p$-ary case.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves the 2d/(d+1)-Sidon inequality for a system of functions on a p-adic probability space that the authors construct as the most general extension of the classical Rademacher d-chaos to the p-ary setting. The manuscript supplies an explicit definition of these functions, verifies the requisite orthogonality and moment properties, and adapts the classical argument to obtain the stated exponent in the p-adic case.
Significance. If the central claim holds, the work supplies a non-Archimedean counterpart to Sidon-type inequalities for chaos expansions. The explicit construction of the 'most general' p-ary extension and the self-contained proof are strengths; they permit direct verification that the orthogonality and moment bounds transfer without introducing free parameters or fitted constants, thereby preserving the classical exponent. This may open avenues for p-adic analogues of Khintchine and hypercontractivity inequalities.
minor comments (3)
- [§2.2] §2.2, Definition 2.3: the statement that the constructed system is 'the most general extension' would be strengthened by an explicit maximality argument (e.g., showing that any other p-ary system satisfying the same orthogonality relations is a linear combination of these functions).
- [§4] §4, Eq. (17): the passage from the real-line Khintchine inequality to the p-adic version is only sketched; a short paragraph verifying that the p-adic valuation does not alter the constant in the moment comparison would remove any ambiguity about the exponent.
- [Introduction] The paper cites the classical Rademacher-chaos literature but omits the specific theorem numbers (e.g., the precise reference for the 2d/(d+1) exponent in the real case). Adding these would improve traceability.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the positive assessment. The recommendation for minor revision is noted; we will incorporate any editorial or minor clarifications in the revised version. No major comments were raised in the report.
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper claims a direct proof of the 2d/(d+1)-Sidon inequality for an explicitly constructed system of functions that extends Rademacher d-chaos to the p-ary setting. The provided description states that the manuscript contains an explicit construction of the functions together with a self-contained argument establishing both the generality of the extension and the validity of the inequality under the paper's definitions. No fitted parameters are invoked, no predictions are obtained by renaming or reusing fitted quantities, and no load-bearing steps reduce to self-citations or ansatzes imported from prior work by the same author. The logical chain therefore consists of standard mathematical derivation rather than any of the enumerated circular patterns.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard analytic properties of Rademacher functions and their products extend to the p-adic setting
Reference graph
Works this paper leans on
-
[1]
Verallgemeinerung eines Satzes ¨ uber die absolute Konvergenz von Fourierreihen mit L¨ ucken
S. Sidon, "Verallgemeinerung eines Satzes ¨ uber die absolute Konvergenz von Fourierreihen mit L¨ ucken", Math. Ann., 97:1 (1927), 675–676. 8
1927
-
[2]
Uber orthogonale Entwicklungen
S. Sidon, "Uber orthogonale Entwicklungen", Acta sci. math. Szeged., 10 (1943), 206–253
1943
-
[3]
On a certain norm and related applica- tions
B. S. Kashin, V. N. Temlyakov, "On a certain norm and related applica- tions", Math. Notes, 64:4 (1998), 551–554
1998
-
[4]
Sidon-Type Inequalities and the Space of Quasi- continuous Functions
A. O. Radomskii, "Sidon-Type Inequalities and the Space of Quasi- continuous Functions", Proc. Steklov Inst. Math., 319 (2022), 253–264
2022
-
[5]
The Rademacher System in Function Spaces
S. V. Astashkin, "The Rademacher System in Function Spaces", Fizmatlit, Moscow, 201, [In Russian]
-
[6]
Orthogonal Series
B. S. Kashin, A. A. Saakyan, "Orthogonal Series", AFC, Moscow, 1999, [In Russian]
1999
-
[7]
Analysis in integer and fractional dimensions
R. Blei, "Analysis in integer and fractional dimensions", Cambridge Uni- versity Press, Cambridge, 2001
2001
-
[8]
On Lacunarity and Uniqueness forp-adic Analogs of Rademacher Chaos
A.D. Kazakova, M.G. Plotnikov, “On Lacunarity and Uniqueness forp-adic Analogs of Rademacher Chaos”, Sib. Math. J., 66, 1184–1194 (2025). 9
2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.