Skip to main content
Erschienen in: Quantum Information Processing 4/2021

01.04.2021

Using small-scale quantum devices to solve algebraic equations

verfasst von: Hongshu Li, Zhi Ma, Hong Wang, Qianheng Duan, Yangyang Fei, Xiangdong Meng

Erschienen in: Quantum Information Processing | Ausgabe 4/2021

Einloggen

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

search-config
loading …

Abstract

Solving algebraic equations over GF(2) is a problem which has a wide range of applications, including NP-Hard problems and problems related to cryptography. The existing mature algorithms are difficult to solve large-scale problems. Inspired by Schöning’s algorithm and its quantum version, we apply related methods to solve algebraic equations over GF (2). The new algorithm we proposed has a significant improvement of solving efficiency in large-scale and sparse algebraic equations. As a hybrid algorithm, the new algorithm can not only run on a classic computer alone, but also use small-scale quantum devices to assist acceleration. And the new algorithm can be seen as an example of solving a large-scale problem on a small-scale quantum device.

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 Armknecht, F.: Improving fast algebraic attacks. Lect. Notes Comput. Sci. 3017, 65–82 (2004)CrossRefMATH Armknecht, F.: Improving fast algebraic attacks. Lect. Notes Comput. Sci. 3017, 65–82 (2004)CrossRefMATH
2.
Zurück zum Zitat Bard, G.V.: Algorithms for solving linear and polynomial systems of equations over finite fields, with applications to cryptanalysis (2007) Bard, G.V.: Algorithms for solving linear and polynomial systems of equations over finite fields, with applications to cryptanalysis (2007)
3.
Zurück zum Zitat Bard, G.V., Courtois, N., Jefferson, C.: Efficient methods for conversion and solution of sparse systems of low-degree multivariate polynomials over gf(2) via sat-solvers. System 2007, (2007) Bard, G.V., Courtois, N., Jefferson, C.: Efficient methods for conversion and solution of sparse systems of low-degree multivariate polynomials over gf(2) via sat-solvers. System 2007, (2007)
4.
Zurück zum Zitat Bardet, M., Faugre, J.C., Salvy, B., Spaenlehauer, P.J.: On the complexity of solving quadratic boolean systems. J. Complex. (2013) Bardet, M., Faugre, J.C., Salvy, B., Spaenlehauer, P.J.: On the complexity of solving quadratic boolean systems. J. Complex. (2013)
5.
Zurück zum Zitat Courtois, N., Bard, G.V.: Algebraic cryptanalysis of the data encryption standard. In: Proceedings of 11th IMA International Conference Cryptography and Coding, Cirencester, UK (2006) Courtois, N., Bard, G.V.: Algebraic cryptanalysis of the data encryption standard. In: Proceedings of 11th IMA International Conference Cryptography and Coding, Cirencester, UK (2006)
6.
Zurück zum Zitat Courtois, N., Klimov, A., Patarin, J., Shamir, A.: Efficient algorithms for solving overdefined systems of multivariate polynomial equations. In: International Conference on Advances in Cryptology-eurocrypt (2000) Courtois, N., Klimov, A., Patarin, J., Shamir, A.: Efficient algorithms for solving overdefined systems of multivariate polynomial equations. In: International Conference on Advances in Cryptology-eurocrypt (2000)
7.
Zurück zum Zitat Cox, D.A., John, L., Donal, O.: Using algebraic geometry (2005) Cox, D.A., John, L., Donal, O.: Using algebraic geometry (2005)
8.
Zurück zum Zitat Dantsin, E., Goerdt, A., Hirsch, E.A., Kannan, R., Kleinberg, J., Papadimitriou, C., Raghavan, P., Sch?Ning, U.: A deterministic (22/(k+1))n algorithm for k-sat based on local search. Theoret. Comput. 289(1), 69–83 (2002) Dantsin, E., Goerdt, A., Hirsch, E.A., Kannan, R., Kleinberg, J., Papadimitriou, C., Raghavan, P., Sch?Ning, U.: A deterministic (22/(k+1))n algorithm for k-sat based on local search. Theoret. Comput. 289(1), 69–83 (2002)
9.
Zurück zum Zitat Dunjko, V., Ge, Y., Cirac, J.I.: Computational speedups using small quantum devices. Phys. Rev. Lett. 121(25), 250501 (2018)ADSCrossRef Dunjko, V., Ge, Y., Cirac, J.I.: Computational speedups using small quantum devices. Phys. Rev. Lett. 121(25), 250501 (2018)ADSCrossRef
10.
Zurück zum Zitat Ge, Y., Dunjko, V.: A hybrid algorithm framework for small quantum computers with application to finding Hamiltonian cycles. J. Math. Phys. 61(1), 012201 (2020)ADSMathSciNetCrossRefMATH Ge, Y., Dunjko, V.: A hybrid algorithm framework for small quantum computers with application to finding Hamiltonian cycles. J. Math. Phys. 61(1), 012201 (2020)ADSMathSciNetCrossRefMATH
11.
Zurück zum Zitat Herbort, S., Ratz, D.: Improving the efficiency of a nonlinear-system-solver using a componentwise newton method. Institut Fr Angewandte Mathematik Universitt Karlsruhe (1997) Herbort, S., Ratz, D.: Improving the efficiency of a nonlinear-system-solver using a componentwise newton method. Institut Fr Angewandte Mathematik Universitt Karlsruhe (1997)
12.
Zurück zum Zitat Hochba, D.S.: Approximation algorithms for np-hard problems. ACM Sigact News 28(2), 40–52 (1997) Hochba, D.S.: Approximation algorithms for np-hard problems. ACM Sigact News 28(2), 40–52 (1997)
13.
Zurück zum Zitat Kannan, R., Karpinski, M., Prmel, H.J.: Approximation algorithms for np-hard problems Kannan, R., Karpinski, M., Prmel, H.J.: Approximation algorithms for np-hard problems
14.
Zurück zum Zitat Litman, M.F.: On covering problems of codes. Theory Comput. Syst. (1997) Litman, M.F.: On covering problems of codes. Theory Comput. Syst. (1997)
15.
Zurück zum Zitat LIYao-hui, LIUBao-Jun: Survey of finding real roots of nonlinear equations(in chinese). J.f Wuhan Univ. Sci. Technol. 03, 326–330 (2004) LIYao-hui, LIUBao-Jun: Survey of finding real roots of nonlinear equations(in chinese). J.f Wuhan Univ. Sci. Technol. 03, 326–330 (2004)
16.
Zurück zum Zitat Miura, H., Hashimoto, Y., Takagi, T.: Extended algorithm for solving underdefined multivariate quadratic equations. In: International Workshop on Post-Quantum Cryptography (2013) Miura, H., Hashimoto, Y., Takagi, T.: Extended algorithm for solving underdefined multivariate quadratic equations. In: International Workshop on Post-Quantum Cryptography (2013)
17.
Zurück zum Zitat Moser, R.A., Scheder, D.: A full derandomization of schöning’s k-sat algorithm. In: Proceedings of the Forty-Third Annual ACM Symposium on Theory of Computing, STOC ’11, p. 245252. Association for Computing Machinery, New York (2011). https://doi.org/10.1145/1993636.1993670 Moser, R.A., Scheder, D.: A full derandomization of schöning’s k-sat algorithm. In: Proceedings of the Forty-Third Annual ACM Symposium on Theory of Computing, STOC ’11, p. 245252. Association for Computing Machinery, New York (2011). https://​doi.​org/​10.​1145/​1993636.​1993670
18.
Zurück zum Zitat Rennela, M., Laarman, A., Dunjko, V.: Hybrid divide-and-conquer approach for tree search algorithms (2020) Rennela, M., Laarman, A., Dunjko, V.: Hybrid divide-and-conquer approach for tree search algorithms (2020)
19.
Zurück zum Zitat Schoning, T.: A probabilistic algorithm for k-sat and constraint satisfaction problems. In: 40th Annual Symposium on Foundations of Computer Science (Cat. No. 99CB37039), pp. 410–414. IEEE (1999) Schoning, T.: A probabilistic algorithm for k-sat and constraint satisfaction problems. In: 40th Annual Symposium on Foundations of Computer Science (Cat. No. 99CB37039), pp. 410–414. IEEE (1999)
20.
Zurück zum Zitat Yang, B.Y., Chen, J.M.: Theoretical analysis of xl over small fields. In: Information Security Privacy: Australasian Conference (2004) Yang, B.Y., Chen, J.M.: Theoretical analysis of xl over small fields. In: Information Security Privacy: Australasian Conference (2004)
Metadaten
Titel
Using small-scale quantum devices to solve algebraic equations
verfasst von
Hongshu Li
Zhi Ma
Hong Wang
Qianheng Duan
Yangyang Fei
Xiangdong Meng
Publikationsdatum
01.04.2021
Verlag
Springer US
Erschienen in
Quantum Information Processing / Ausgabe 4/2021
Print ISSN: 1570-0755
Elektronische ISSN: 1573-1332
DOI
https://doi.org/10.1007/s11128-021-03064-6

Weitere Artikel der Ausgabe 4/2021

Quantum Information Processing 4/2021 Zur Ausgabe

Neuer Inhalt