Skip to main content
Erschienen in: Quantum Information Processing 3/2019

01.03.2019

A quantum query algorithm for computing the degree of a perfect nonlinear Boolean function

verfasst von: WanQing Wu, HuanGuo Zhang

Erschienen in: Quantum Information Processing | Ausgabe 3/2019

Einloggen

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

search-config
loading …

Abstract

The degree of a Boolean function is a basic primitive that has applications in coding theory and cryptography. This paper considers a problem of computing the degree of a perfect nonlinear Boolean function in a quantum system. The details are as follows: Given a promise that the function f is either linear or perfect nonlinear in \(F^{n}_{d}\), we propose a quantum algorithm 1 to distinguish which case it is with a high probability, where d is an even number. Furtherly, for computing the degree of a perfect nonlinear Boolean function f, we present a quantum Algorithm 2 to solve it by calling quantum Algorithm 1 when \(d=2\). The quantum query complexity of the proposed quantum Algorithm 2 is O(s), and the space complexity (the number of quantum logic gate) is \(O(2^{s})\), where \(s+1=\text {deg}(f)\). The analysis shows that the quantum Algorithm 2 proposed in this paper is more efficient than any classical algorithm for solving this problem.

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 "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!

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!

Literatur
1.
Zurück zum Zitat Wang, L.-P., Zeng, G.: On the matrix feedback shift register synthesis for matrix sequences. Sci. China Inf. Sci. 59(3), 1–10 (2015) Wang, L.-P., Zeng, G.: On the matrix feedback shift register synthesis for matrix sequences. Sci. China Inf. Sci. 59(3), 1–10 (2015)
2.
Zurück zum Zitat Iwata, T., Kurosawa, K.: Probabilistic higher order differential attack and higher order bent functions. In: Asiacrypt 99, LNCS, vol. 1716, pp. 62–74 (1999) Iwata, T., Kurosawa, K.: Probabilistic higher order differential attack and higher order bent functions. In: Asiacrypt 99, LNCS, vol. 1716, pp. 62–74 (1999)
3.
Zurück zum Zitat Courtois, N.T., Meier, W.: Algebraic attacks on stream ciphers with linear feedback. In: Eurocrypt 03, LNCS, vol. 2656, pp. 345–359 (2003) Courtois, N.T., Meier, W.: Algebraic attacks on stream ciphers with linear feedback. In: Eurocrypt 03, LNCS, vol. 2656, pp. 345–359 (2003)
4.
Zurück zum Zitat Sun, B., Li, R.-L., Qu, L.-J., et al.: SQUARE attack on block ciphers with low algebraic degree. Sci. China Inf. Sci. 53(10), 1988–1995 (2010)MathSciNetCrossRef Sun, B., Li, R.-L., Qu, L.-J., et al.: SQUARE attack on block ciphers with low algebraic degree. Sci. China Inf. Sci. 53(10), 1988–1995 (2010)MathSciNetCrossRef
5.
Zurück zum Zitat Jacobson, N.: Basic Algebra I. W.H. Freeman and Company, New York (1985)MATH Jacobson, N.: Basic Algebra I. W.H. Freeman and Company, New York (1985)MATH
6.
Zurück zum Zitat Knudsen, L.R., Robshaw, M.J.B.: Non-linear approximations in linear cryptanalysis. In: Eurocrypt 96, LNCS, vol. 1070, pp. 224–236 (1996) Knudsen, L.R., Robshaw, M.J.B.: Non-linear approximations in linear cryptanalysis. In: Eurocrypt 96, LNCS, vol. 1070, pp. 224–236 (1996)
7.
Zurück zum Zitat Englund, H., Johansson, T., Turan, M.S.: A framework for chosen IV statistical analysis of stream ciphers. In: Indocrypt 07, LNCS, vol. 4859, pp. 268–281 (2007) Englund, H., Johansson, T., Turan, M.S.: A framework for chosen IV statistical analysis of stream ciphers. In: Indocrypt 07, LNCS, vol. 4859, pp. 268–281 (2007)
8.
Zurück zum Zitat Climent, J.J., García, F.J., Requena, V.: Computing the degree of a Boolean function from its support. Proc. Int. Symp. Inf. Theory Appl. 45, 17–20 (2010) Climent, J.J., García, F.J., Requena, V.: Computing the degree of a Boolean function from its support. Proc. Int. Symp. Inf. Theory Appl. 45, 17–20 (2010)
9.
Zurück zum Zitat Zhang, F.-R., Xia, S.-X., Hu, Y.-P., et al.: Constructions of involutions with optimal minimum degree. IET Inf. Secur. 11(5), 261–266 (2017)CrossRef Zhang, F.-R., Xia, S.-X., Hu, Y.-P., et al.: Constructions of involutions with optimal minimum degree. IET Inf. Secur. 11(5), 261–266 (2017)CrossRef
10.
Zurück zum Zitat Wang, Z., Zhang, X., Wang, S., et al.: Construction of Boolean functions with excellent cryptographic criteria using bivariate polynomial representation. Int. J. Comput. Math. 93(3), 425–444 (2016)MathSciNetCrossRef Wang, Z., Zhang, X., Wang, S., et al.: Construction of Boolean functions with excellent cryptographic criteria using bivariate polynomial representation. Int. J. Comput. Math. 93(3), 425–444 (2016)MathSciNetCrossRef
11.
Zurück zum Zitat Bennett, C.H., Bernstein, E., Brassard, G., et al.: Strengths and weaknesses of quantum computing. SIAM J. Comput. 26(5), 1510–1523 (1997)MathSciNetCrossRef Bennett, C.H., Bernstein, E., Brassard, G., et al.: Strengths and weaknesses of quantum computing. SIAM J. Comput. 26(5), 1510–1523 (1997)MathSciNetCrossRef
12.
13.
14.
Zurück zum Zitat Lee, T., Mittal, R., Reichardt, B., et al.: Quantum query complexity of the state conversion problem. In: Proceedings of 52nd IEEE FOCS, pp. 344–353 (2011) Lee, T., Mittal, R., Reichardt, B., et al.: Quantum query complexity of the state conversion problem. In: Proceedings of 52nd IEEE FOCS, pp. 344–353 (2011)
15.
Zurück zum Zitat Ambainis, A., de Wolf, R.: How low can approximate degree and quantum query complexity be for total Boolean functions? Comput. Complex. 23(2), 305–322 (2014)MathSciNetCrossRef Ambainis, A., de Wolf, R.: How low can approximate degree and quantum query complexity be for total Boolean functions? Comput. Complex. 23(2), 305–322 (2014)MathSciNetCrossRef
16.
Zurück zum Zitat Mahadev, U., de Wolf, R.: Rational approximations and quantum algorithms with postselection. Quantum Inf. Comput. 15(3), 297–309 (2014)MathSciNet Mahadev, U., de Wolf, R.: Rational approximations and quantum algorithms with postselection. Quantum Inf. Comput. 15(3), 297–309 (2014)MathSciNet
17.
Zurück zum Zitat Qiu, D., Zheng, S.: Generalized Deutsch–Jozsa problem and the optimal quantum algorithm. Phys. Rev. A 97, 062331 (2018)ADSCrossRef Qiu, D., Zheng, S.: Generalized Deutsch–Jozsa problem and the optimal quantum algorithm. Phys. Rev. A 97, 062331 (2018)ADSCrossRef
18.
Zurück zum Zitat Ambainis, A., Gruska, J., Zheng, S.-G.: Exact quantum algorithms have advantage for almost all Boolean functions. Quantum Inf. Comput. 15, 0435–0452 (2015)MathSciNet Ambainis, A., Gruska, J., Zheng, S.-G.: Exact quantum algorithms have advantage for almost all Boolean functions. Quantum Inf. Comput. 15, 0435–0452 (2015)MathSciNet
19.
Zurück zum Zitat Ambainis, A., Balodis, K., Belovs, A., et al.: Separations in query complexity based on pointer functions. JACM 64(5), 800–813 (2017)MathSciNetCrossRef Ambainis, A., Balodis, K., Belovs, A., et al.: Separations in query complexity based on pointer functions. JACM 64(5), 800–813 (2017)MathSciNetCrossRef
20.
21.
Zurück zum Zitat Vlachou, C., Rodrigues, J., Mateus, P., et al.: Quantum walk public-key cryptographic system. Int. J. Quantum Inf. 13(07), 1550050 (2015)MathSciNetCrossRef Vlachou, C., Rodrigues, J., Mateus, P., et al.: Quantum walk public-key cryptographic system. Int. J. Quantum Inf. 13(07), 1550050 (2015)MathSciNetCrossRef
22.
Zurück zum Zitat Miller, D.M., Wille, R., Sasanian, Z.: Elementary quantum gate realizations for multiple-control Toffoli Gates. IEEE International Symposium on Multiple-valued Logic (2011) Miller, D.M., Wille, R., Sasanian, Z.: Elementary quantum gate realizations for multiple-control Toffoli Gates. IEEE International Symposium on Multiple-valued Logic (2011)
23.
Zurück zum Zitat Wu, W.-Q., Zhang, H.-G., Wang, H.-Z., et al.: Cryptanalysis of an MOR cryptosystem based on a finite associative algebra. Sci. China. 59(3), 32111 (2016) Wu, W.-Q., Zhang, H.-G., Wang, H.-Z., et al.: Cryptanalysis of an MOR cryptosystem based on a finite associative algebra. Sci. China. 59(3), 32111 (2016)
24.
Zurück zum Zitat Wu, W.Q., Zhang, H.G.: Quantum algorithm to solve function inversion with time–space trade-off. Quantum. Inf. Process. 16(7), 171 (2017)ADSMathSciNetCrossRef Wu, W.Q., Zhang, H.G.: Quantum algorithm to solve function inversion with time–space trade-off. Quantum. Inf. Process. 16(7), 171 (2017)ADSMathSciNetCrossRef
25.
Zurück zum Zitat Buhrman, H., de Wolf, R.: Complexity measures and decision tree complexity: a survey. Theor. Comput. Sci. 288(1), 21–43 (2002)MathSciNetCrossRef Buhrman, H., de Wolf, R.: Complexity measures and decision tree complexity: a survey. Theor. Comput. Sci. 288(1), 21–43 (2002)MathSciNetCrossRef
26.
Zurück zum Zitat Jukna, S.: Boolean Function Complexity: Advances and Frontiers. Springer, New York (2012)CrossRef Jukna, S.: Boolean Function Complexity: Advances and Frontiers. Springer, New York (2012)CrossRef
27.
Zurück zum Zitat Nyberg, K.: Constructions of bent functions and difference sets. In: Eurocrypt 90, LNCS, vol. 473, pp. 151–160 (1990) Nyberg, K.: Constructions of bent functions and difference sets. In: Eurocrypt 90, LNCS, vol. 473, pp. 151–160 (1990)
28.
Zurück zum Zitat Meier, W., Staffelbach, O.: Nonlinearity Criteria for Cryptographic Functions. In: Eurocrypt 89, LNCS, vol. 434, pp. 549–562 (1989) Meier, W., Staffelbach, O.: Nonlinearity Criteria for Cryptographic Functions. In: Eurocrypt 89, LNCS, vol. 434, pp. 549–562 (1989)
29.
Zurück zum Zitat Seberry, J., Zhang, X.-M.: Highly nonlinear 0–1 balanced Boolean functions satisfying strict avalanche criterion. In: Auscrypt 92, LNCS, vol. 718, pp. 143–155 (1992) Seberry, J., Zhang, X.-M.: Highly nonlinear 0–1 balanced Boolean functions satisfying strict avalanche criterion. In: Auscrypt 92, LNCS, vol. 718, pp. 143–155 (1992)
Metadaten
Titel
A quantum query algorithm for computing the degree of a perfect nonlinear Boolean function
verfasst von
WanQing Wu
HuanGuo Zhang
Publikationsdatum
01.03.2019
Verlag
Springer US
Erschienen in
Quantum Information Processing / Ausgabe 3/2019
Print ISSN: 1570-0755
Elektronische ISSN: 1573-1332
DOI
https://doi.org/10.1007/s11128-019-2175-z

Weitere Artikel der Ausgabe 3/2019

Quantum Information Processing 3/2019 Zur Ausgabe

Neuer Inhalt