pith. sign in

arxiv: 2606.29950 · v1 · pith:72VGI4E2new · submitted 2026-06-29 · 💻 cs.IT · math.IT

New families of asymptotically optimal codebooks from vectorial dual-bent functions

Pith reviewed 2026-06-30 04:19 UTC · model grok-4.3

classification 💻 cs.IT math.IT
keywords codebooksWelch boundvectorial dual-bent functionscross-correlationasymptotically optimalCDMAbent functions
0
0 comments X

The pith

Vectorial dual-bent functions yield new codebook families that asymptotically achieve the Welch bound.

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

The paper establishes constructions of codebooks from vectorial dual-bent functions. These constructions produce families where the maximum cross-correlation amplitudes approach the Welch bound for large parameters. Explicit formulas are given for the maximum amplitudes and the distributions of all cross-correlation values. The resulting codebooks include ones with previously unseen parameters and some with small alphabet sizes.

Core claim

By using vectorial dual-bent functions, several families of codebooks are constructed that asymptotically achieve the Welch bound. The maximum cross-correlation amplitudes and the distributions of the cross-correlation amplitudes of the constructed codebooks are explicitly determined. Furthermore, these codebooks have new parameters, and some of them have very small alphabet sizes.

What carries the argument

Vectorial dual-bent functions used to generate the codebook entries with controlled correlations.

If this is right

  • The codebooks are suitable for use in CDMA communication systems due to their correlation properties.
  • Explicit distributions support applications in compressed sensing.
  • New parameters provide additional options for code design in MIMO communications.
  • Small alphabet sizes may simplify hardware implementations in coding applications.

Where Pith is reading between the lines

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

  • Further families might be obtained by considering other types of vectorial functions beyond dual-bent ones.
  • The constructions could be evaluated numerically for moderate sizes to check how quickly they approach the bound.
  • Links to existing bent function literature may allow algebraic simplifications or generalizations.

Load-bearing premise

Such vectorial dual-bent functions with the properties needed for the correlation bounds exist and map appropriately to the codebook vectors.

What would settle it

Finding a vectorial dual-bent function that generates a codebook whose maximum cross-correlation amplitude fails to approach the Welch bound.

read the original abstract

Codebooks with small maximum cross-correlation amplitudes play an important role in many applications, such as code division multiple access (CDMA) communication systems, multiple-input multiple-output (MIMO) communications, compressed sensing, and coding theory. In this paper, by using vectorial dual-bent functions, we construct several families of codebooks that asymptotically achieve the Welch bound. The maximum cross-correlation amplitudes and the distributions of the cross-correlation amplitudes of the constructed codebooks are explicitly determined. Furthermore, these codebooks have new parameters, and some of them have very small alphabet sizes.

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.

Referee Report

2 major / 1 minor

Summary. The manuscript constructs several families of codebooks from vectorial dual-bent functions. These families are claimed to asymptotically achieve the Welch bound, with explicit determination of the maximum cross-correlation amplitudes and the full distributions of the cross-correlation amplitudes. The constructions are asserted to yield new parameters, some with very small alphabet sizes, for applications including CDMA and MIMO.

Significance. If the existence of the required vectorial dual-bent functions and the exact preservation of the correlation formulas under the mapping are established, the work would supply new asymptotically optimal codebook families with potentially advantageous parameters and alphabet sizes. The explicit correlation distributions would enable precise performance evaluation beyond the maximum amplitude alone.

major comments (2)
  1. [§3] §3 (Constructions): The central claim that the families asymptotically achieve the Welch bound rests on the existence of vectorial dual-bent functions with the precise parameters needed for the mapping to codebook vectors; the manuscript must supply either explicit constructions or a self-contained existence proof for these functions in the stated dimensions, as the abstract provides no verification steps.
  2. [§4] §4 (Correlation analysis): The derivation that the vectorial dual-bent property directly yields the stated maximum cross-correlation amplitude and amplitude distribution must be checked for any additional cross terms introduced by the vectorial embedding; if the reduction to the scalar bent case is not exact, the explicit formulas and asymptotic optimality do not hold.
minor comments (1)
  1. The abstract could include a brief parenthetical reference to the specific prior bent-function literature used for the vectorial dual constructions to aid readers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed comments, which help clarify the presentation of our constructions and analysis. We address each major comment below and will revise the manuscript accordingly to include the requested explicit constructions and verification steps.

read point-by-point responses
  1. Referee: [§3] §3 (Constructions): The central claim that the families asymptotically achieve the Welch bound rests on the existence of vectorial dual-bent functions with the precise parameters needed for the mapping to codebook vectors; the manuscript must supply either explicit constructions or a self-contained existence proof for these functions in the stated dimensions, as the abstract provides no verification steps.

    Authors: We agree that explicit verification strengthens the central claim. In the revised manuscript, §3 will be expanded with a new subsection providing explicit constructions of the required vectorial dual-bent functions (drawing on known scalar bent function families extended componentwise) together with a self-contained existence proof for the stated dimensions. This will directly confirm the parameters used in the codebook mapping and the resulting asymptotic optimality. revision: yes

  2. Referee: [§4] §4 (Correlation analysis): The derivation that the vectorial dual-bent property directly yields the stated maximum cross-correlation amplitude and amplitude distribution must be checked for any additional cross terms introduced by the vectorial embedding; if the reduction to the scalar bent case is not exact, the explicit formulas and asymptotic optimality do not hold.

    Authors: The original derivation relies on the vectorial dual-bent definition ensuring componentwise reduction to the scalar case. To address the concern rigorously, the revised §4 will include an additional lemma that computes the inner products explicitly and demonstrates that the vectorial embedding introduces no extra cross terms (due to the dual-bent orthogonality). This will confirm the stated maximum amplitude, full distribution, and asymptotic optimality. revision: yes

Circularity Check

0 steps flagged

No circularity: constructions derive correlation bounds from bent-function properties without reduction to inputs or self-citations

full rationale

The paper states it constructs codebooks from vectorial dual-bent functions and explicitly determines max cross-correlation and amplitude distributions from the bent property. No quoted step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or load-bearing self-citation chain. The derivation chain remains self-contained against external bent-function literature; existence assumptions are separate from circularity analysis. No self-definitional, fitted-input, or ansatz-smuggling patterns appear in the abstract or described construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based solely on the abstract, the constructions rest on the existence and correlation properties of vectorial dual-bent functions drawn from prior literature; no free parameters, axioms, or invented entities are visible in the provided text.

pith-pipeline@v0.9.1-grok · 5624 in / 954 out tokens · 36573 ms · 2026-06-30T04:19:04.749235+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

43 extracted references

  1. [1]

    Z4-Kerdock codes, orthogonal spreads, and extremal Euclidean line sets,

    A. R. Calderbank, P. J. Cameron, W. M. Kantor, and J. J. Seidel, “ Z4-Kerdock codes, orthogonal spreads, and extremal Euclidean line sets,” Proc. London Math. Soc. , vol. 75, no. 2, pp. 436–480, 1997

  2. [2]

    On the dual of (non)-weakly regular bent functions and self-dual bent functions

    A. Ces ¸melio˘glu, W. Meidl, and A. Pott, “On the dual of (non)-weakly regular bent functions and self-dual bent functions”, Adv. Math. Commun. , vol. 7, no. 4, pp. 425-440, 2013

  3. [3]

    There are infinitely many bent functions for which the dual is not bent

    A. Ces ¸melio˘glu, W. Meidl, and A. Pott, “There are infinitely many bent functions for which the dual is not bent”, IEEE Trans. Inf. Theory, vol. 62, no. 9, pp. 5204-5208, 2016

  4. [4]

    Christensen, An Introduction to Frames and Riesz Bases

    O. Christensen, An Introduction to Frames and Riesz Bases. Boston, MA, USA: Birkh ¨auser, 2003

  5. [5]

    Packing lines, planes, etc.: Packings in Grassmannian spaces,

    J. H. Conway, R. H. Hardin, and N. J. A. Sloane, “Packing lines, planes, etc.: Packings in Grassmannian spaces,” Experim. Math., vol. 5, no. 2, pp. 139–159, 1996

  6. [6]

    Complex codebooks from combinatorial designs,

    C. Ding, “Complex codebooks from combinatorial designs,” IEEE Trans. Inf. Theory, vol. 52, no. 9, pp. 4229–4235, 2006

  7. [7]

    A generic construction of complex codebooks meeting the Welch bound,

    C. Ding and T. Feng, “A generic construction of complex codebooks meeting the Welch bound,” IEEE Trans. Inf. Theory, vol. 53, no. 11, pp. 4245–4250, 2007

  8. [8]

    Codebooks from almost difference sets,

    C. Ding and T. Feng, “Codebooks from almost difference sets,” Des. Codes Cryptogr., vol. 46, no. 1, pp. 113–126, 2008

  9. [9]

    Signal sets from functions with optimum nonlinearity,

    C. Ding and J. Yin, “Signal sets from functions with optimum nonlinearity,” IEEE Trans. Commun. , vol. 55, no. 5, pp. 936–940, 2007

  10. [10]

    Array codes as low-density parity check codes,

    J. Fan, “Array codes as low-density parity check codes,” in Proc. Int. Symp. Turbo Codes, Brest, France, 2000, pp. 543–546

  11. [11]

    Steiner equiangular tight frames,

    M. Fickus, D. G. Mixon, and J. C. Tremain, “Steiner equiangular tight frames,” Linear Algebra Appl., vol. 436, no. 5, pp. 1014–1027, 2012

  12. [12]

    Linear dispersion codes for MIMO systems based on frame theory,

    R. W. Heath and A. J. Paulraj, “Linear dispersion codes for MIMO systems based on frame theory,” IEEE Trans. Signal Process., vol. 50, no. 10, pp. 2429–2441, 2002. June 30, 2026 DRAFT 30

  13. [13]

    Nearly optimal codebooks based on generalized Jacobi sums

    Z. Heng, “Nearly optimal codebooks based on generalized Jacobi sums”, Discrete Appl. Math. , vol. 250, pp. 227–240, 2018

  14. [14]

    New constructions of asymptotically optimal codebooks with multiplicative characters

    Z. Heng, C. Ding, and Q. Yue, “New constructions of asymptotically optimal codebooks with multiplicative characters”, IEEE Trans. Inf. Theory , vol. 63, no. 10, pp. 6179–6187, 2017

  15. [15]

    Hybrid character sums from vectorial dual-bent functions and asymptotically optimal complex codebooks with small alphabet sizes,

    Z. Heng, P. Wang and C. Li, “Hybrid character sums from vectorial dual-bent functions and asymptotically optimal complex codebooks with small alphabet sizes,” IEEE Trans. Inf. Theory , vol. 72, no. 4, pp. 2528-2542, 2026

  16. [16]

    Near optimal partial Hadamard codebook construction using binary sequences obtained from quadratic residue mapping,

    S. Hong, H. Park, J.-S. No, T. Helleseth, and Y .-S. Kim, “Near optimal partial Hadamard codebook construction using binary sequences obtained from quadratic residue mapping,” IEEE Trans. Inf. Theory, vol. 60, no. 6, pp. 3698–3705, 2014

  17. [17]

    New constructions of codebooks nearly meeting the Welch bound with equality,

    H. Hu and J. Wu, “New constructions of codebooks nearly meeting the Welch bound with equality,” IEEE Trans. Inf. Theory, vol. 60, no. 2, pp. 1348-1355, 2014

  18. [18]

    Bounds for packing on a sphere and in space,

    G. A. Kabatyanskii and V . I. Levenshtein, “Bounds for packing on a sphere and in space,” Probl. Inf. Transm. , vol. 14, pp. 1–17, 1978

  19. [19]

    Generalized bent functions and their properties

    P. V . Kumar, R. A. Scholtz, and L. R. Welch, “Generalized bent functions and their properties”, J. Comb. Theory Ser. A , vol. 40, no. 1, pp. 90-107, 1985

  20. [20]

    Deterministic sensing matrices arising from near orthogonal systems,

    S. Li and G. Ge, “Deterministic sensing matrices arising from near orthogonal systems,” IEEE Trans. Inf. Theory, vol. 60, no. 4, pp. 2291–2302, 2014

  21. [21]

    Bounds for packings of metric spaces and some of their applications,

    V . I. Levenshtein, “Bounds for packings of metric spaces and some of their applications,” (in Russian), Probl. Cybern., vol. 40, pp. 43–110, 1983

  22. [22]

    Lidl and H

    R. Lidl and H. Niederreiter, Finite Fields. Cambridge, U.K.: Cambridge University Press, 1997

  23. [23]

    Six constructions of asymptotically optimal codebooks via the character sums

    W. Lu, X. Wu, X. Cao, and M. Chen, “Six constructions of asymptotically optimal codebooks via the character sums”, Des. Codes Cryptogr., vol. 88, pp. 1139–1158, 2020

  24. [24]

    Two constructions of asymptotically optimal codebooks via the hyper Eisenstein sum

    G. Luo, and X. Cao, “Two constructions of asymptotically optimal codebooks via the hyper Eisenstein sum”, IEEE Trans. Inf. Theory, vol. 64, no. 10, pp. 6498–6505, 2018

  25. [25]

    Welch’s bound and sequence sets for code division multiple-access systems,

    J. Massey and T. Mittelholzer, “Welch’s bound and sequence sets for code division multiple-access systems,” in Sequences II. New York, NY , USA: Springer, 1999, pp. 63–78

  26. [26]

    Meeting the Welch bound with equality,

    D. V . Sarwate, “Meeting the Welch bound with equality,” in Sequences and Their Applications. Berlin, Germany: Springer- Verlag, 1999, pp. 79–102

  27. [27]

    Grassmannian frames with applications to coding and communication,

    T. Strohmer and R. W. Heath, Jr., “Grassmannian frames with applications to coding and communication,” Appl. Comput. Harmonic Anal., vol. 14, no. 3, pp. 257–275, 2003

  28. [28]

    A construction of codebooks nearly achieving the Levenshtein bound,

    P. Tan, Z. Zhou, and D. Zhang, “A construction of codebooks nearly achieving the Levenshtein bound,” IEEE Signal Process. Lett., vol. 23, no. 10, pp. 1306–1309, 2016

  29. [29]

    Constructions of codebooks asymptotically achieving the Welch bound with additive characters,

    L. Tian, Y . Li, T. Liu and C. Xu, “Constructions of codebooks asymptotically achieving the Welch bound with additive characters,” IEEE Signal Process. Lett. , vol. 26, no. 4, pp. 622-626, 2019

  30. [30]

    New results on vectorial dual-bent functions and partial difference sets

    J. Wang and F.-W. Fu, “New results on vectorial dual-bent functions and partial difference sets”, Des. Codes Cryptogr., vol. 91, pp. 127–149, 2023

  31. [31]

    A further study of vectorial dual-bent functions,

    J. Wang, F.-W. Fu, Y . Wei and J. Yang, “A further study of vectorial dual-bent functions,” IEEE Trans. Inf. Theory , vol. 70, no. 10, pp. 7472-7483, 2024

  32. [32]

    Self-orthogonal codes from vectorial dual-bent functions,

    J. Wang, Y . Wei, F.-W. Fu and J. Li, “Self-orthogonal codes from vectorial dual-bent functions,” IEEE Trans. Inf. Theory , vol. 72, no. 1, pp. 127-148, 2026

  33. [33]

    Lower bounds on the maximum cross correlation of signals,

    L. Welch, “Lower bounds on the maximum cross correlation of signals,” IEEE Trans. Inf. Theory , vol. 20, no. 3, pp. 397–399, 1974. June 30, 2026 DRAFT 31

  34. [34]

    Two constructions of asymptotically optimal codebooks via the trace functions

    X. Wu, W. Lu, and X. Cao, “Two constructions of asymptotically optimal codebooks via the trace functions”, Cryptogr. Commun., vol. 12, pp. 1195–1211, 2020

  35. [35]

    Achieving the Welch bound with difference sets,

    P. Xia, S. Zhou, and G. B. Giannakis, “Achieving the Welch bound with difference sets,” IEEE Trans. Inf. Theory , vol. 51, no. 5, pp. 1900–1907, 2005

  36. [36]

    Optimal codebooks from binary codes meeting the Levenshtein bound,

    C. Xiang, C. Ding, and S. Mesnager, “Optimal codebooks from binary codes meeting the Levenshtein bound,” IEEE Trans. Inf. Theory, vol. 61, no. 12, pp. 6526–6535, 2015

  37. [37]

    A new construction of asymptotically optimal codebooks

    Y . Yan, H. Chen, J. Wang, and G. Wang, “A new construction of asymptotically optimal codebooks”, AIMS Mathematics, vol. 9, pp. 9631–9640, 2024

  38. [38]

    A further construction of asymptotically optimal codebooks with multiplicative characters

    W. Yin, C. Xiang, and F.-W. Fu, “A further construction of asymptotically optimal codebooks with multiplicative characters”, Appl. Algebra Engrg. Commun. Comput. , vol. 30, pp. 453–469, 2019

  39. [39]

    A construction of codebooks associated with binary sequences,

    N. Yu, “A construction of codebooks associated with binary sequences,” IEEE Trans. Inf. Theory , vol. 58, no. 8, pp. 5522–5533, 2012

  40. [40]

    Two classes of codebooks nearly meeting the Welch bound,

    A. Zhang and K. Feng, “Two classes of codebooks nearly meeting the Welch bound,” IEEE Trans. Inf. Theory , vol. 58, no. 4, pp. 2507–2511, 2012

  41. [41]

    Two classes of nearly optimal codebooks from generalized bent Z4-valued quadratic forms

    J. Zhou, and T. Pang, “Two classes of nearly optimal codebooks from generalized bent Z4-valued quadratic forms”, AIMS Mathematics, vol. 10, no. 10, pp. 24730-24754, 2025

  42. [42]

    New families of codebooks achieving the Levenshtein bound,

    Z. Zhou, C. Ding, and N. Li, “New families of codebooks achieving the Levenshtein bound,” IEEE Trans. Inf. Theory , vol. 60, no. 11, pp. 7382–7387, 2014

  43. [43]

    New nearly optimal codebooks from relative difference sets,

    Z. Zhou, and X. Tang, “New nearly optimal codebooks from relative difference sets,” Adv. Math. Commun., vol. 5, no. 3, pp. 521-527, 2011. June 30, 2026 DRAFT