Skip to main content
Erschienen in: Applicable Algebra in Engineering, Communication and Computing 5/2018

20.02.2018 | Original Paper

Generalized Walsh transforms of symmetric and rotation symmetric Boolean functions are linear recurrent

verfasst von: Francis N. Castro, Luis A. Medina, Pantelimon Stănică

Erschienen in: Applicable Algebra in Engineering, Communication and Computing | Ausgabe 5/2018

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Exponential sums of symmetric Boolean functions are linear recurrent with integer coefficients. This was first established by Cai, Green and Thierauf in the mid nineties. Consequences of this result has been used to study the asymptotic behavior of symmetric Boolean functions. Recently, Cusick extended it to rotation symmetric Boolean functions, which are functions with good cryptographic properties. In this article, we put all these results in the general context of Walsh transforms and some of its generalizations (nega–Hadamard transform, for example). Precisely, we show that Walsh transforms, for which exponential sums are just an instance, of symmetric and rotation symmetric Boolean functions satisfy linear recurrences with integer coefficients. We also provide a closed formula for the Walsh transform and nega–Hadamard transform of any symmetric Boolean functions. Moreover, using the techniques presented in this work, we show that some families of rotation symmetric Boolean functions are not bent when the number of variables is sufficiently large and provide asymptotic evidence to a conjecture of Stănică and Maitra.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Bileschi, M.L., Cusick, T.W., Padgett, D.: Weights of Boolean cubic monomial rotation symmetric functions. Cryptogr. Commun. 4, 105–130 (2012)MathSciNetCrossRef Bileschi, M.L., Cusick, T.W., Padgett, D.: Weights of Boolean cubic monomial rotation symmetric functions. Cryptogr. Commun. 4, 105–130 (2012)MathSciNetCrossRef
2.
Zurück zum Zitat Cai, J., Green, F., Thierauf, T.: On the correlation of symmetric functions. Math. Syst. Theory 29, 245–258 (1996)MathSciNetCrossRef Cai, J., Green, F., Thierauf, T.: On the correlation of symmetric functions. Math. Syst. Theory 29, 245–258 (1996)MathSciNetCrossRef
3.
4.
Zurück zum Zitat Castro, F.N., Chapman, R., Medina, L.A., Sepúlveda, L.B.: Recursions associated to trapezoid, symmetric and rotation symmetric functions over Galois fields. arXiv:1702.08038 (2017) Castro, F.N., Chapman, R., Medina, L.A., Sepúlveda, L.B.: Recursions associated to trapezoid, symmetric and rotation symmetric functions over Galois fields. arXiv:​1702.​08038 (2017)
5.
Zurück zum Zitat Castro, F., Medina, L.A.: Linear recurrences and asymptotic behavior of exponential sums of symmetric Boolean functions. Electron. J. Comb. 18, 8 (2011)MathSciNetMATH Castro, F., Medina, L.A.: Linear recurrences and asymptotic behavior of exponential sums of symmetric Boolean functions. Electron. J. Comb. 18, 8 (2011)MathSciNetMATH
6.
Zurück zum Zitat Castro, F., Medina, L.A.: Asymptotic behavior of perturbations of symmetric functions. Ann. Combin. 18, 397–417 (2014)MathSciNetCrossRef Castro, F., Medina, L.A.: Asymptotic behavior of perturbations of symmetric functions. Ann. Combin. 18, 397–417 (2014)MathSciNetCrossRef
7.
Zurück zum Zitat Castro, F., Medina, L.A.: Modular periodicity of exponential sums of symmetric Boolean functions. Discret. Appl. Math. 217, 455–473 (2017)MathSciNetCrossRef Castro, F., Medina, L.A.: Modular periodicity of exponential sums of symmetric Boolean functions. Discret. Appl. Math. 217, 455–473 (2017)MathSciNetCrossRef
8.
Zurück zum Zitat Ciungu, L.C.: Cryptographic Boolean functions: thus-Morse sequences, weight and nonlinearity. Ph. D. Thesis, The University at Buffalo, State University of New York (2010) Ciungu, L.C.: Cryptographic Boolean functions: thus-Morse sequences, weight and nonlinearity. Ph. D. Thesis, The University at Buffalo, State University of New York (2010)
11.
Zurück zum Zitat Cusick, T.W., Li, Y.: k-th order symmetric SAC Boolean functions and bisecting binomial coefficients. Discret. Appl. Math. 149, 73–86 (2005)MathSciNetCrossRef Cusick, T.W., Li, Y.: k-th order symmetric SAC Boolean functions and bisecting binomial coefficients. Discret. Appl. Math. 149, 73–86 (2005)MathSciNetCrossRef
12.
Zurück zum Zitat Cusick, T.W., Li, Y., Stănică, P.: Balanced symmetric functions over \(GF(p)\). IEEE Trans. Inf. Theory 5, 1304–1307 (2008)MathSciNetCrossRef Cusick, T.W., Li, Y., Stănică, P.: Balanced symmetric functions over \(GF(p)\). IEEE Trans. Inf. Theory 5, 1304–1307 (2008)MathSciNetCrossRef
13.
Zurück zum Zitat Cusick, T.W., Johns, B.: Recursion orders for weights of Boolean cubic rotation symmetric functions. Discret. Appl. Math. 186, 1–6 (2015)MathSciNetCrossRef Cusick, T.W., Johns, B.: Recursion orders for weights of Boolean cubic rotation symmetric functions. Discret. Appl. Math. 186, 1–6 (2015)MathSciNetCrossRef
14.
Zurück zum Zitat Cusick, T.W., Stănică, P.: Fast evaluation, weights and nonlinearity of rotation symmetric functions. Discret. Math. 258, 289–301 (2002)MathSciNetCrossRef Cusick, T.W., Stănică, P.: Fast evaluation, weights and nonlinearity of rotation symmetric functions. Discret. Math. 258, 289–301 (2002)MathSciNetCrossRef
15.
Zurück zum Zitat Dalai, D.K., Maitra, S., Sarkar, S.: Results on rotation symmetric bent functions. In: Second International Workshop on Boolean Functions: Cryptography and Applications, BFCA’06, Publications of the Universities of Rouen and Havre, pp. 137–156 (2006) Dalai, D.K., Maitra, S., Sarkar, S.: Results on rotation symmetric bent functions. In: Second International Workshop on Boolean Functions: Cryptography and Applications, BFCA’06, Publications of the Universities of Rouen and Havre, pp. 137–156 (2006)
16.
Zurück zum Zitat Filiol, E., Fontaine, C.: Highly nonlinear balanced Boolean functions with a good correlation immunity, In: Eurocrypt 1998. LNCS, vol. 1403, pp. 475–488. Springer, Berlin (1998) Filiol, E., Fontaine, C.: Highly nonlinear balanced Boolean functions with a good correlation immunity, In: Eurocrypt 1998. LNCS, vol. 1403, pp. 475–488. Springer, Berlin (1998)
17.
Zurück zum Zitat Hell, M., Maximov, A., Maitra, S.: On efficient implementation of search strategy for rotation symmetric Boolean functions. In: Ninth International Workshop on Algebraic and Combinatorial Coding Theory, ACCT 2004. Black Sea Coast, Bulgaria (2004) Hell, M., Maximov, A., Maitra, S.: On efficient implementation of search strategy for rotation symmetric Boolean functions. In: Ninth International Workshop on Algebraic and Combinatorial Coding Theory, ACCT 2004. Black Sea Coast, Bulgaria (2004)
18.
Zurück zum Zitat Maximov, A., Hell, M., Maitra, S.: Plateaued rotation symmetric Boolean functions on odd number of variables. In: First Workshop on Boolean Functions: Cryptography and Applications, BFCA’05, Publications of the Universities of Rouen and Havre, pp. 83–104 (2005) Maximov, A., Hell, M., Maitra, S.: Plateaued rotation symmetric Boolean functions on odd number of variables. In: First Workshop on Boolean Functions: Cryptography and Applications, BFCA’05, Publications of the Universities of Rouen and Havre, pp. 83–104 (2005)
19.
Zurück zum Zitat Meng, Q., Chen, L., Fu, F.-W.: On homogeneous rotation symmetric bent functions. Discret. Appl. Math. 158, 1111–1117 (2010)MathSciNetCrossRef Meng, Q., Chen, L., Fu, F.-W.: On homogeneous rotation symmetric bent functions. Discret. Appl. Math. 158, 1111–1117 (2010)MathSciNetCrossRef
20.
Zurück zum Zitat Parker, M.G., Pott, A.: On Boolean functions which are bent and negabent, In: Golomb, S.W., Gong, G., Helleseth, T., Song, H.-Y. (eds.) SSC 2007. LNCS vol. 4893, pp. 9–23. Springer, Heidelberg (2007) Parker, M.G., Pott, A.: On Boolean functions which are bent and negabent, In: Golomb, S.W., Gong, G., Helleseth, T., Song, H.-Y. (eds.) SSC 2007. LNCS vol. 4893, pp. 9–23. Springer, Heidelberg (2007)
21.
Zurück zum Zitat Pieprzyk, J., Qu, C.X.: Fast hashing and rotation-symmetric functions. J. Univers. Comput. Sci. 5(1), 20–31 (1999)MathSciNet Pieprzyk, J., Qu, C.X.: Fast hashing and rotation-symmetric functions. J. Univers. Comput. Sci. 5(1), 20–31 (1999)MathSciNet
22.
Zurück zum Zitat Prasolov, V.V.: Polynomials, Algorithms and Computation in Mathematics, vol. 11. Springer, Berlin (2004) Prasolov, V.V.: Polynomials, Algorithms and Computation in Mathematics, vol. 11. Springer, Berlin (2004)
23.
Zurück zum Zitat Riera, C., Parker, M.G.: Generalized bent criteria for Boolean functions. IEEE Trans. Inf. Theory 52(9), 4142–4159 (2006)MathSciNetCrossRef Riera, C., Parker, M.G.: Generalized bent criteria for Boolean functions. IEEE Trans. Inf. Theory 52(9), 4142–4159 (2006)MathSciNetCrossRef
24.
Zurück zum Zitat Rothaus, O.S.: On bent functions. J. Combin. Theory Ser. A 20, 300–305 (1976)CrossRef Rothaus, O.S.: On bent functions. J. Combin. Theory Ser. A 20, 300–305 (1976)CrossRef
25.
Zurück zum Zitat Stănică, P.: Weak and strong \(2^k\)-bent functions. IEEE Trans. Inf. Theory 62(5), 2827–2835 (2016)CrossRef Stănică, P.: Weak and strong \(2^k\)-bent functions. IEEE Trans. Inf. Theory 62(5), 2827–2835 (2016)CrossRef
26.
Zurück zum Zitat Stănică, P.: On the nonexistence of homogeneous rotation symmetric bent Boolean functions of degree greater than two. In: Proc. NATO Advanced Study Institute on Boolean Functions in Cryptology and Information Security, pp. 214–218. IOS Press, Amsterdam (2008) Stănică, P.: On the nonexistence of homogeneous rotation symmetric bent Boolean functions of degree greater than two. In: Proc. NATO Advanced Study Institute on Boolean Functions in Cryptology and Information Security, pp. 214–218. IOS Press, Amsterdam (2008)
27.
Zurück zum Zitat Stănică, P., Gangopadhyay, S., Chaturvedi, A., Gangopadhyay, A.K., Maitra, S.: Nega–Hadamard transform, bent and negabent functions. In: Carlet C., Pott A. (eds.) Sequences and Their Applications—SETA 2010. LNCS vol. 6338. Springer, Berlin Heidelberg (2010)CrossRef Stănică, P., Gangopadhyay, S., Chaturvedi, A., Gangopadhyay, A.K., Maitra, S.: Nega–Hadamard transform, bent and negabent functions. In: Carlet C., Pott A. (eds.) Sequences and Their Applications—SETA 2010. LNCS vol. 6338. Springer, Berlin Heidelberg (2010)CrossRef
28.
Zurück zum Zitat Stănică, P., Gangopadhyay, S., Chaturvedi, A., Gangopadhyay, A.K., Maitra, S.: Investigations on bent and negabent functions via nega-Hadamard transform. IEEE Trans. Inf. Theory 58(6), 4064–4072 (2012)MathSciNetCrossRef Stănică, P., Gangopadhyay, S., Chaturvedi, A., Gangopadhyay, A.K., Maitra, S.: Investigations on bent and negabent functions via nega-Hadamard transform. IEEE Trans. Inf. Theory 58(6), 4064–4072 (2012)MathSciNetCrossRef
29.
Zurück zum Zitat Stănică, P., Maitra, S.: Rotation symmetric Boolean functions—count and cryptographic properties. Discret. Appl. Math. 156, 1567–1580 (2008)MathSciNetCrossRef Stănică, P., Maitra, S.: Rotation symmetric Boolean functions—count and cryptographic properties. Discret. Appl. Math. 156, 1567–1580 (2008)MathSciNetCrossRef
30.
Zurück zum Zitat Stănică, P., Maitra, S., Clark, J.: Results on rotation symmetric bent and correlation immune Boolean functions, fast software encryption, FSE 2004, LNCS, vol. 3017, pp. 161–177, Springer (2004) Stănică, P., Maitra, S., Clark, J.: Results on rotation symmetric bent and correlation immune Boolean functions, fast software encryption, FSE 2004, LNCS, vol. 3017, pp. 161–177, Springer (2004)
31.
Zurück zum Zitat Stănică, P., Martinsen, T., Gangopadhyay, S., Kumar Sing, B.: Bent and generalized Bent Boolean functions. Des. Codes Cryptogr. 69:1, 77–94 (2013)MathSciNetCrossRef Stănică, P., Martinsen, T., Gangopadhyay, S., Kumar Sing, B.: Bent and generalized Bent Boolean functions. Des. Codes Cryptogr. 69:1, 77–94 (2013)MathSciNetCrossRef
32.
Zurück zum Zitat Yang, L., Wu, R., Hong, S.: Nonlinearity of quartic rotation symmetric Boolean functions. Southeast Asian Bull.Math. 37(6), 951–961 (2013)MathSciNetMATH Yang, L., Wu, R., Hong, S.: Nonlinearity of quartic rotation symmetric Boolean functions. Southeast Asian Bull.Math. 37(6), 951–961 (2013)MathSciNetMATH
33.
Zurück zum Zitat Zhang, X., Guo, H., Feng, R., Li, Y.: Proof of a conjecture about rotation symmetric functions. Discret. Math. 311, 1281–1289 (2011)MathSciNetCrossRef Zhang, X., Guo, H., Feng, R., Li, Y.: Proof of a conjecture about rotation symmetric functions. Discret. Math. 311, 1281–1289 (2011)MathSciNetCrossRef
Metadaten
Titel
Generalized Walsh transforms of symmetric and rotation symmetric Boolean functions are linear recurrent
verfasst von
Francis N. Castro
Luis A. Medina
Pantelimon Stănică
Publikationsdatum
20.02.2018
Verlag
Springer Berlin Heidelberg
Erschienen in
Applicable Algebra in Engineering, Communication and Computing / Ausgabe 5/2018
Print ISSN: 0938-1279
Elektronische ISSN: 1432-0622
DOI
https://doi.org/10.1007/s00200-018-0351-5