pith. sign in

arxiv: 2512.19313 · v2 · submitted 2025-12-22 · 💻 cs.DM

Results on cubic bent and weakly regular bent p-ary functions leading to a class of cubic ternary non-weakly regular bent functions

Pith reviewed 2026-05-16 20:49 UTC · model grok-4.3

classification 💻 cs.DM
keywords bent functionscubic functionsternary functionsweakly regular bent functionsWalsh transformvectorial bent functionssecond-order derivatives
0
0 comments X

The pith

A primary construction produces the first infinite class of cubic ternary vectorial bent functions whose components are all bent but not weakly regular

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

The paper begins by extending known Walsh-transform properties of derivatives from binary bent functions to any odd characteristic. Some of these properties hold for every bent function, while others hold only for weakly regular ones. From this it derives that adding a quadratic function to a weakly regular bent function yields another bent function, and it isolates a class of bent functions in which every nonzero first-order derivative has a second-order derivative equal to a nonzero constant; this class includes all cubic bent functions and implies bentness. The main result then supplies an explicit primary construction that generates an infinite family of cubic ternary vectorial bent functions in which every component function is bent yet fails to be weakly regular, with bentness verified both by direct Walsh-spectrum calculation and by the second-order derivative criterion developed earlier.

Core claim

We give the first primary construction of an infinite class of cubic ternary vectorial bent functions whose components are bent but not weakly regular; bentness follows from explicit Walsh-transform evaluation and from the second-order derivative property that every first-order derivative equals a nonzero constant on a subspace, and non-weak regularity is shown by verifying that the functions lack the additional algebraic properties that characterize weakly regular bent functions.

What carries the argument

The explicit cubic polynomial construction over the ternary field whose second-order derivatives are nonzero constants, thereby forcing the Walsh spectrum to be flat

If this is right

  • Every cubic bent function in odd characteristic shares the property that every first-order derivative has a second-order derivative equal to a nonzero constant
  • Adding a quadratic function to a weakly regular bent function produces another bent function
  • The new family supplies the first known infinite supply of bent functions in odd characteristic that are provably not weakly regular
  • The second-order derivative test gives an alternative, sometimes simpler, way to prove bentness without computing the full Walsh spectrum

Where Pith is reading between the lines

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

  • The same construction technique may be adaptable to produce non-weakly-regular bent functions of higher algebraic degree or in other odd characteristics
  • These functions could serve as building blocks for new cryptographic primitives whose nonlinearity properties differ from those of weakly regular bent functions
  • Computational verification of the Walsh spectra for small instances of the construction would provide independent confirmation of the algebraic proof

Load-bearing premise

The specific cubic polynomials in the construction really do have flat Walsh spectra, which the authors verify by direct calculation and by the second-order derivative test

What would settle it

An explicit computation, for any small odd dimension n greater than 2, of the Walsh transform of one of the constructed component functions showing that its magnitude is not constantly equal to 3 to the power n/2

read the original abstract

Much work has been devoted to bent functions in odd characteristic, but there still remains a gap between our knowledge of binary and nonbinary bent functions. In the first part of this paper, we attempt to partially bridge this gap by generalizing to any characteristic important properties known in characteristic two concerning the Walsh transform of derivatives of bent functions. Some of these properties generalize to all bent functions, while others appear to apply only to weakly regular bent functions. We deduce a method to obtain a bent function by adding a quadratic function to a weakly regular bent function. We also identify a particular class of bent functions possessing the property that every first-order derivative in a nonzero direction has a derivative (which is then a second-order derivative of the function) equal to a nonzero constant. We show that this property implies bentness and is shared in particular by all cubic bent functions. This generalizes to the odd characteristic the notion of cubic-like bent function, that was introduced and studied for binary functions by Irene Villa and the first author. In the second part of the paper, we provide (for the first time) a primary construction leading to an infinite class of cubic ternary vectorial bent functions that have only not weakly regular components. We show the bentness of the component functions by two approaches: by calculating the Walsh transform directly and by considering the second-order derivatives (and applying the results from the first part of the paper). We prove that they are not weakly regular by showing they do not have one of the properties that we proved in the first part of the paper for weakly regular bent functions.

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

0 major / 3 minor

Summary. The manuscript generalizes key properties of the Walsh transform of derivatives of bent functions from characteristic 2 to arbitrary odd characteristic. It derives a construction for bent functions by adding a quadratic to a weakly regular bent function, identifies a class of functions (including all cubics) where nonzero first-order derivatives have second-order derivatives equal to nonzero constants (implying bentness), and supplies a primary construction of an infinite family of cubic ternary vectorial bent functions whose components are exclusively not weakly regular. Bentness is established by direct Walsh-spectrum evaluation and by the generalized second-order derivative test; non-weak regularity follows from the absence of a property proved earlier for weakly regular bent functions.

Significance. If the central claims hold, the work meaningfully narrows the gap between binary and p-ary bent-function theory by extending derivative properties, introducing a parameter-free primary construction, and furnishing the first explicit infinite class of cubic ternary vectorial bent functions with only non-weakly regular components. The dual verification routes (Walsh transform and generalized derivatives) and the explicit algebraic details supplied for reproduction constitute clear strengths.

minor comments (3)
  1. [Abstract] The abstract supplies no explicit equations or the concrete form of the constructed functions; adding a brief illustrative expression or reference to the defining polynomial would improve accessibility while preserving the one-paragraph limit.
  2. [Construction section (second part)] In the section presenting the primary construction, the vectorial function is introduced without an immediate statement of its algebraic degree and the precise field extension degree; a single clarifying sentence would prevent readers from having to infer these parameters from later calculations.
  3. [Non-weak-regularity argument] The proof that the components lack the weakly-regular property would benefit from an explicit cross-reference (e.g., “by Theorem X in the first part”) rather than a generic allusion to “one of the properties.”

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, as well as for the recommendation of minor revision. We appreciate the recognition of the generalization of derivative properties, the primary construction, and the dual verification of bentness.

Circularity Check

0 steps flagged

No significant circularity; primary construction and proofs are self-contained

full rationale

The paper first generalizes Walsh-transform properties of derivatives for bent functions in odd characteristic via direct algebraic arguments on field elements and second-order derivatives. It then gives an explicit primary construction of cubic ternary vectorial bent functions. Bentness is shown in two independent ways: direct evaluation of the Walsh sums for the component functions and verification that the functions satisfy the second-order derivative property (every nonzero first-order derivative has a second-order derivative equal to a nonzero constant), both of which are carried out with explicit calculations supplied in the text. Non-weak regularity follows by exhibiting the absence of a property previously shown to hold for weakly regular bent functions. The incidental citation to the authors' earlier binary work merely names the notion being generalized and plays no load-bearing role in the new ternary results or their verification. No parameter fitting, self-definitional equations, or reductions of predictions to inputs occur; the derivation chain rests on reproducible field arithmetic and is externally checkable.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard finite-field arithmetic, the definition of the Walsh transform, and the notion of bentness; no numerical constants are fitted to data and no new entities are postulated.

axioms (1)
  • standard math Standard algebraic properties of finite fields of odd characteristic and the definition of the Walsh transform
    These are background facts from the existing literature on bent functions invoked throughout both parts of the paper.

pith-pipeline@v0.9.0 · 5598 in / 1289 out tokens · 28373 ms · 2026-05-16T20:49:08.566864+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

27 extracted references · 27 canonical work pages

  1. [1]

    In: Cohen, S., Niederreiter, H

    Carlet, C.: A construction of bent functions. In: Cohen, S., Niederreiter, H. (eds.) Finite Fields and Applications: Proceedings of the Third International Conference. pp. 47–58. London Mathematical Society Lecture Note Series. 233, Cambridge University Press (1996)

  2. [2]

    Informa- tion and Computation151(1–2), 32–56 (May 1999)

    Carlet, C.: On cryptographic propagation criteria for Boolean functions. Informa- tion and Computation151(1–2), 32–56 (May 1999)

  3. [3]

    Cambridge University Press, Cambridge (2020)

    Carlet, C.: Boolean Functions for Cryptography and Coding Theory. Cambridge University Press, Cambridge (2020)

  4. [4]

    Carlet, C., Ding, C.: Highly nonlinear mappings. J. Complexity20(2–3), 205–244 (Apr/Jun 2004)

  5. [5]

    Carlet, C., Villa, I.: On cubic-like bent Boolean functions. J. Algebraic Combin. 61(4), 50 (Jun 2025)

  6. [6]

    C ¸ e¸ smelio˘ glu, A., McGuire, G., Meidl, W.: A construction of weakly and non-weakly regular bent functions. J. Combin. Theory Ser. A119(2), 420–429 (Feb 2012)

  7. [7]

    Advances in Mathematics of Communica- tions7(4), 425–440 (Nov 2013)

    C ¸ e¸ smelio˘ glu, A., Meidl, W., Pott, A.: On the dual of (non)-weakly regular bent functions and self-dual bent functions. Advances in Mathematics of Communica- tions7(4), 425–440 (Nov 2013)

  8. [8]

    IEEE Trans

    C ¸ e¸ smelio˘ glu, A., Meidl, W., Pott, A.: There are infinitely many bent functions for which the dual is not bent. IEEE Trans. Inf. Theory62(9), 5204–5208 (Sep 2016)

  9. [9]

    Cryptography and Communications12(5), 899–912 (Sep 2020)

    C ¸ e¸ smelio˘ glu, A., Meidl, W., Pott, A.: Vectorial bent functions in odd characteristic and their components. Cryptography and Communications12(5), 899–912 (Sep 2020)

  10. [10]

    Dobbertin, H.: One-to-one highly nonlinear power functions on GF(2 n). Appl. Algebra Engrg. Comm. Comput.9(2), 139–152 (Jul 1998)

  11. [11]

    IEEE Trans

    Helleseth, T., Kholosha, A.: Monomial and quadratic bent functions over the finite fields of odd characteristic. IEEE Trans. Inf. Theory52(5), 2018–2032 (May 2006)

  12. [12]

    IEEE Trans

    Helleseth, T., Kholosha, A.: New binomial bent functions over the finite fields of odd characteristic. IEEE Trans. Inf. Theory56(9), 4646–4652 (Sep 2010)

  13. [13]

    Finite Fields Appl.10(4), 566–582 (Oct 2004)

    Hou, X.D.:p-Ary andq-ary versions of certain results about bent functions and resilient functions. Finite Fields Appl.10(4), 566–582 (Oct 2004)

  14. [14]

    IEEE Trans

    Hu, H., Zhang, Q., Shao, S.: On the dual of the Coulter–Matthews bent functions. IEEE Trans. Inf. Theory63(4), 2454–2463 (Apr 2017)

  15. [15]

    Kumar, P.V., Scholtz, R.A., Welch, L.R.: Generalized bent functions and their properties. J. Combin. Theory Ser. A40(1), 90–107 (Sep 1985)

  16. [16]

    IEEE Trans

    Leander, N.G.: Monomial bent functions. IEEE Trans. Inf. Theory52(2), 738–743 (Feb 2006)

  17. [17]

    Lidl, R., Niederreiter, H.: Finite Fields, Encyclopedia of Mathematics and its Ap- plications, vol. 20. Cambridge University Press, Cambridge (1997)

  18. [18]

    Meidl, W.: Generalized Rothaus construction and non-weakly regular bent func- tions. J. Combin. Theory Ser. A141, 78–89 (Jul 2016)

  19. [19]

    Cryptography and Communications14(4), 737–782 (Jul 2022)

    Meidl, W.: A survey onp-ary and generalized bent functions. Cryptography and Communications14(4), 737–782 (Jul 2022)

  20. [20]

    Mesnager, S., ¨Ozbudak, F., Sınak, A.: On thep-ary (cubic) bent and plateaued (vectorial) functions. Des. Codes Cryptogr.86(8), 1865–1892 (Aug 2018)

  21. [21]

    Finite Fields Appl.64, 101668 (Jun 2020) 26

    ¨Ozbudak, F., Pelen, R.M.: Duals of non-weakly regular bent functions are not weakly regular and generalization to plateaued functions. Finite Fields Appl.64, 101668 (Jun 2020) 26

  22. [22]

    Pott, A., Tan, Y., Feng, T., Ling, S.: Association schemes arising from bent func- tions. Des. Codes Cryptogr.59(1–3), 319–331 (Apr 2011)

  23. [23]

    Applicable Algebra in Engineering, Communication and Comput- ing29(6), 529–544 (Dec 2018)

    Qi, Y., Tang, C., Huang, D.: Explicit characterization of two classes of regular bent functions. Applicable Algebra in Engineering, Communication and Comput- ing29(6), 529–544 (Dec 2018)

  24. [24]

    Tan, Y., Pott, A., Feng, T.: Strongly regular graphs associated with ternary bent functions. J. Combin. Theory Ser. A117(6), 668–682 (Aug 2010)

  25. [25]

    In: Proceedings of IEEE International Conference on Information Theory and Information Security

    Tan, Y., Yang, J., Zhang, X.: A recursive construction ofp-ary bent functions which are not weakly regular. In: Proceedings of IEEE International Conference on Information Theory and Information Security. pp. 156–159. IEEE (Dec 2010)

  26. [26]

    Cryptography and Communications11(5), 1133–1144 (Sep 2019)

    Tang, C., Qi, Y., Huang, D.: Regularp-ary bent functions with five terms and Kloosterman sums. Cryptography and Communications11(5), 1133–1144 (Sep 2019)

  27. [27]

    Advances in Mathematics of Communications15(1), 55–64 (Feb 2021) 27

    Tang, C., Xu, M., Qi, Y., Zhou, M.: A new class ofp-ary regular bent functions. Advances in Mathematics of Communications15(1), 55–64 (Feb 2021) 27