Skip to main content
Top
Published in: Theory of Computing Systems 5/2021

09-02-2021

Computing the Number of Affine Equivalent Classes on \(\mathcal {R}(s,n)/\mathcal {R}(k,n)\)

Authors: Xiao Zeng, Guowu Yang

Published in: Theory of Computing Systems | Issue 5/2021

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Affine equivalent classes of Boolean functions have many applications in modern cryptography and circuit design. Previous publications have shown that affine equivalence on the entire space of Boolean functions can be computed up to 10 variables, but not on the quotient Boolean function space modulo functions of different degrees. Computing the number of equivalent classes of cosets of Reed-Muller code \(\mathcal {R}(1,n)\) is equivalent to classifying Boolean functions modulo linear functions, which can be computed only when n ≤ 7. Based on the linear representation of the affine group \(\mathcal {A}\mathcal {G}{\mathscr{L}}(n,2)\) on the quotient space \(\mathcal {R}(s,n)/\mathcal {R}(k,n)\), we obtain a useful counting formula to compute the number of equivalent classes. Instead of computing the conjugacy classes and representatives directly in \(\mathcal {A}\mathcal {G}{\mathscr{L}}(n,2)\), we reduce the computation complexity by introducing an isomorphic permutation group Pn and performing the computation in Pn. With the proposed algorithm, the number of equivalent classes of cosets of R(1,n) can be computed up to 10 variables. Furthermore, the number of equivalent classes on \(\mathcal {R}(s,n)/\mathcal {R}(k,n)\) can also be computed when − 1 ≤ k < sn ≤ 10, which is a major improvement and advancement comparing to previous methods.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

Literature
1.
go back to reference Stone, H.S., Jackson, C.L.: Structures of the affine families of switching functions. IEEE Trans. Comput. 100(3), 251–257 (1969)MathSciNetCrossRef Stone, H.S., Jackson, C.L.: Structures of the affine families of switching functions. IEEE Trans. Comput. 100(3), 251–257 (1969)MathSciNetCrossRef
2.
go back to reference Maiorana, J.A.: A classification of the cosets of the Reed-Muller code R(1, 6). Math. Comput. 57(195), 403–414 (1991)MathSciNetMATH Maiorana, J.A.: A classification of the cosets of the Reed-Muller code R(1, 6). Math. Comput. 57(195), 403–414 (1991)MathSciNetMATH
3.
go back to reference Tsai, C.C., Marek-Sadowska, M.: Boolean functions classification via fixed polarity Reed-Muller forms. IEEE Trans. Comput. 46(2), 173–186 (1997)CrossRef Tsai, C.C., Marek-Sadowska, M.: Boolean functions classification via fixed polarity Reed-Muller forms. IEEE Trans. Comput. 46(2), 173–186 (1997)CrossRef
4.
go back to reference Kasami, T., Tokura, N.: On the weight structure of Reed-Muller codes. IEEE Trans. Inf. Theory 16(6), 752–759 (1970)MathSciNetCrossRef Kasami, T., Tokura, N.: On the weight structure of Reed-Muller codes. IEEE Trans. Inf. Theory 16(6), 752–759 (1970)MathSciNetCrossRef
5.
go back to reference Dautovic, S., Novak, L.: A comment on ``Boolean functions classification via fixed polarity Reed-Muller form”. IEEE Trans. Comput. 55(8), 1067–1069 (2006)CrossRef Dautovic, S., Novak, L.: A comment on ``Boolean functions classification via fixed polarity Reed-Muller form”. IEEE Trans. Comput. 55(8), 1067–1069 (2006)CrossRef
6.
8.
go back to reference Braeken, A., Borissov, Y., Nikova, S., Preneel, B.: Classification of Boolean functions of 6 variables or less with respect to some cryptographic properties. In: International colloquium on automata, languages, and programming, vol. 3580, pp 324–334 (2005) Braeken, A., Borissov, Y., Nikova, S., Preneel, B.: Classification of Boolean functions of 6 variables or less with respect to some cryptographic properties. In: International colloquium on automata, languages, and programming, vol. 3580, pp 324–334 (2005)
9.
go back to reference Biryukov, A., De Canniere, C., Braeken, A., Preneel, B.: A toolbox for cryptanalysis: Linear and affine equivalence algorithms. In: International conference on the theory and applications of cryptographic techniques, pp 33–50 (2003) Biryukov, A., De Canniere, C., Braeken, A., Preneel, B.: A toolbox for cryptanalysis: Linear and affine equivalence algorithms. In: International conference on the theory and applications of cryptographic techniques, pp 33–50 (2003)
10.
go back to reference Canteaut, A., Roué, J.: On the behaviors of affine equivalent sboxes regarding differential and linear attacks. In: Annual international conference on the theory and applications of cryptographic techniques, pp 45–74 (2015) Canteaut, A., Roué, J.: On the behaviors of affine equivalent sboxes regarding differential and linear attacks. In: Annual international conference on the theory and applications of cryptographic techniques, pp 45–74 (2015)
11.
go back to reference Cui, L., Cao, Y.: A new S-box structure named Affine-Power-Affine. Int. J. Innov. Comput. Inf. Control. 3(3), 751–759 (2007) Cui, L., Cao, Y.: A new S-box structure named Affine-Power-Affine. Int. J. Innov. Comput. Inf. Control. 3(3), 751–759 (2007)
12.
go back to reference Zhang, Y., Yang, G., Hung, W.N., Zhang, J.: Computing affine equivalence classes of Boolean functions by group isomorphism. IEEE Trans. Comput. 65(12), 3606–3616 (2016)MathSciNetCrossRef Zhang, Y., Yang, G., Hung, W.N., Zhang, J.: Computing affine equivalence classes of Boolean functions by group isomorphism. IEEE Trans. Comput. 65(12), 3606–3616 (2016)MathSciNetCrossRef
13.
go back to reference Colte, P., Kranakis, E.: Boolean functions, invariance groups, and parallel complexity. SIAM J. Comput. 20(3), 553–590 (1991)MathSciNetCrossRef Colte, P., Kranakis, E.: Boolean functions, invariance groups, and parallel complexity. SIAM J. Comput. 20(3), 553–590 (1991)MathSciNetCrossRef
14.
go back to reference Preneel, B.: Analysis and design of cryptographic hash functions. PhD diss., Katholieke Universiteit te Leuven (1993) Preneel, B.: Analysis and design of cryptographic hash functions. PhD diss., Katholieke Universiteit te Leuven (1993)
15.
go back to reference Carlet, C.: On the degree, nonlinearity, algebraic thickness, and nonnormality of Boolean functions, with developments on symmetric functions. IEEE Trans Inf Theory 50(9), 2178–2185 (2004)CrossRef Carlet, C.: On the degree, nonlinearity, algebraic thickness, and nonnormality of Boolean functions, with developments on symmetric functions. IEEE Trans Inf Theory 50(9), 2178–2185 (2004)CrossRef
16.
go back to reference Hodžić, S., Pasalic, E., Wei, Y., Zhang, F.: Designing plateaued boolean functions in spectral domain and their classification. IEEE Trans. Inf. Theory 65(9), 5865–5879 (2019)MathSciNetCrossRef Hodžić, S., Pasalic, E., Wei, Y., Zhang, F.: Designing plateaued boolean functions in spectral domain and their classification. IEEE Trans. Inf. Theory 65(9), 5865–5879 (2019)MathSciNetCrossRef
17.
go back to reference Zhang, F., Wei, Y., Pasalic, E., Xia, S.: Large sets of disjoint spectra plateaued functions inequivalent to partially linear functions. IEEE Trans. Inf. Theory 64(4), 2987–2999 (2018)MathSciNetCrossRef Zhang, F., Wei, Y., Pasalic, E., Xia, S.: Large sets of disjoint spectra plateaued functions inequivalent to partially linear functions. IEEE Trans. Inf. Theory 64(4), 2987–2999 (2018)MathSciNetCrossRef
18.
go back to reference Zhang, W.G., Pasalic, E.: Generalized Maiorana–McFarland construction of resilient Boolean functions with high nonlinearity and good algebraic properties. IEEE Trans. Inf. Theory 60(10), 6681–6695 (2014)MathSciNetCrossRef Zhang, W.G., Pasalic, E.: Generalized Maiorana–McFarland construction of resilient Boolean functions with high nonlinearity and good algebraic properties. IEEE Trans. Inf. Theory 60(10), 6681–6695 (2014)MathSciNetCrossRef
19.
20.
go back to reference Berlekamp, E., Welch, L.: Weight distributions of the cosets of the (32, 6) Reed-Muller code. IEEE Trans. Inf. Theory 18(1), 203–207 (1972)MathSciNetCrossRef Berlekamp, E., Welch, L.: Weight distributions of the cosets of the (32, 6) Reed-Muller code. IEEE Trans. Inf. Theory 18(1), 203–207 (1972)MathSciNetCrossRef
21.
go back to reference Wegener, I.: The complexity of boolean functions. Wiley, Hoboken (1987)MATH Wegener, I.: The complexity of boolean functions. Wiley, Hoboken (1987)MATH
22.
go back to reference MacWilliams, F.J., Sloane, N.J.A.: The theory of error-correcting codes, vol. 16. Elsevier, Amsterdam (1977)MATH MacWilliams, F.J., Sloane, N.J.A.: The theory of error-correcting codes, vol. 16. Elsevier, Amsterdam (1977)MATH
23.
go back to reference Gao, G., Zhang, X., Liu, W., Carlet, C.: Constructions of quadratic and cubic rotation symmetric bent functions. IEEE Trans. Inf. Theory 58 (7), 4908–4913 (2012)MathSciNetCrossRef Gao, G., Zhang, X., Liu, W., Carlet, C.: Constructions of quadratic and cubic rotation symmetric bent functions. IEEE Trans. Inf. Theory 58 (7), 4908–4913 (2012)MathSciNetCrossRef
24.
go back to reference Canright, D., Chung, J.H., Stănică, P.: Circulant matrices and affine equivalence of monomial rotation symmetric Boolean functions. Discret. Math. 338(12), 2197–2211 (2015)MathSciNetCrossRef Canright, D., Chung, J.H., Stănică, P.: Circulant matrices and affine equivalence of monomial rotation symmetric Boolean functions. Discret. Math. 338(12), 2197–2211 (2015)MathSciNetCrossRef
25.
go back to reference Cusick, T.W., Lakshmy, K.V., Sethumadhavan, M.: Affine equivalence of monomial rotation symmetric Boolean functions: A pólya’s theorem approach. J. Math. Crypt. 10, 145–156 (2016)MATH Cusick, T.W., Lakshmy, K.V., Sethumadhavan, M.: Affine equivalence of monomial rotation symmetric Boolean functions: A pólya’s theorem approach. J. Math. Crypt. 10, 145–156 (2016)MATH
26.
go back to reference Stănică, P.: Affine equivalence of quartic monomial rotation symmetric Boolean functions in prime power dimension. Inform. Sci. 314, 212–224 (2015)MathSciNetCrossRef Stănică, P.: Affine equivalence of quartic monomial rotation symmetric Boolean functions in prime power dimension. Inform. Sci. 314, 212–224 (2015)MathSciNetCrossRef
27.
go back to reference Hulpke, A.: Conjugacy classes in finite permutation groups via homomorphic images. Math. Comput. 69(232), 1633–1651 (2000)MathSciNetCrossRef Hulpke, A.: Conjugacy classes in finite permutation groups via homomorphic images. Math. Comput. 69(232), 1633–1651 (2000)MathSciNetCrossRef
29.
go back to reference Yu, Y., Feng, J.E., Pan, J., Cheng, D.: Block decoupling of Boolean control networks. IEEE Trans. Autom. Control 64(4), 3129–3140 (2018)MathSciNetMATH Yu, Y., Feng, J.E., Pan, J., Cheng, D.: Block decoupling of Boolean control networks. IEEE Trans. Autom. Control 64(4), 3129–3140 (2018)MathSciNetMATH
30.
go back to reference Yu, Y., Wang, B., Feng, J.E.: Input observability of Boolean control networks. Neurocomputing 333, 22–28 (2019)CrossRef Yu, Y., Wang, B., Feng, J.E.: Input observability of Boolean control networks. Neurocomputing 333, 22–28 (2019)CrossRef
31.
go back to reference Zhang, J., Yang, G., Hung, W.N., Liu, T., Song, X., Perkowski, M.A.: A group algebraic approach to NPN classification of Boolean functions. Theory Comput. Sys. 63(6), 1278–1297 (2019)MathSciNetCrossRef Zhang, J., Yang, G., Hung, W.N., Liu, T., Song, X., Perkowski, M.A.: A group algebraic approach to NPN classification of Boolean functions. Theory Comput. Sys. 63(6), 1278–1297 (2019)MathSciNetCrossRef
32.
go back to reference Artin, M.: Algebra. Pearson Prentice Hall, Upper Saddle River (2011)MATH Artin, M.: Algebra. Pearson Prentice Hall, Upper Saddle River (2011)MATH
Metadata
Title
Computing the Number of Affine Equivalent Classes on
Authors
Xiao Zeng
Guowu Yang
Publication date
09-02-2021
Publisher
Springer US
Published in
Theory of Computing Systems / Issue 5/2021
Print ISSN: 1432-4350
Electronic ISSN: 1433-0490
DOI
https://doi.org/10.1007/s00224-021-10029-w

Other articles of this Issue 5/2021

Theory of Computing Systems 5/2021 Go to the issue

Premium Partner