Skip to main content
Erschienen in: Quantum Information Processing 10/2013

01.10.2013

A quantum physical design flow using ILP and graph drawing

verfasst von: Maryam Yazdani, Morteza Saheb Zamani, Mehdi Sedighi

Erschienen in: Quantum Information Processing | Ausgabe 10/2013

Einloggen

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

search-config
loading …

Abstract

Implementing large-scale quantum circuits is one of the challenges of quantum computing. One of the central challenges of accurately modeling the architecture of these circuits is to schedule a quantum application and generate the layout while taking into account the cost of communications and classical resources as well as the maximum exploitable parallelism. In this paper, we present and evaluate a design flow for arbitrary quantum circuits in ion trap technology. Our design flow consists of two parts. First, a scheduler takes a description of a circuit and finds the best order for the execution of its quantum gates using integer linear programming regarding the classical resources (qubits) and instruction dependencies. Then a layout generator receives the schedule produced by the scheduler and generates a layout for this circuit using a graph-drawing algorithm. Our experimental results show that the proposed flow decreases the average latency of quantum circuits by about 11 % for a set of attempted benchmarks and by about 9 % for another set of benchmarks compared with the best in literature.

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!

Fußnoten
1
\(C_{A}\) is an empty set in case of an uncontrolled gate.
 
2
As Soon As Possible.
 
3
As Late As Possible.
 
Literatur
2.
Zurück zum Zitat Gelfand, N., Tamassia, R.: Algorithmic patterns for graph drawing. In: Lecture Notes in Computer Science Issue 1547, pp. 138–152 (1998) Gelfand, N., Tamassia, R.: Algorithmic patterns for graph drawing. In: Lecture Notes in Computer Science Issue 1547, pp. 138–152 (1998)
3.
Zurück zum Zitat Grover, L.: A fast quantum mechanical algorithm for database search. In: Proceeding of ACM Symposium on Theory of Computing, pp. 212–219 (1996) Grover, L.: A fast quantum mechanical algorithm for database search. In: Proceeding of ACM Symposium on Theory of Computing, pp. 212–219 (1996)
4.
Zurück zum Zitat Shor, P.: Polynomial time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Comput. 26(5), 1484–1509 (1997)MathSciNetCrossRefMATH Shor, P.: Polynomial time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Comput. 26(5), 1484–1509 (1997)MathSciNetCrossRefMATH
5.
Zurück zum Zitat Zalka, C.: Simulating quantum systems on a quantum computer. In: Proceeding of Mathematical, Physical and, Engineering Sciences, pp. 313–322 (1998) Zalka, C.: Simulating quantum systems on a quantum computer. In: Proceeding of Mathematical, Physical and, Engineering Sciences, pp. 313–322 (1998)
6.
Zurück zum Zitat Metodi, T.S., Chong, F.T.: Synthesis lectures on computer architecture. In: Hill, M.D. (ed.) Quantum Computing for Computer Architects. Morgan and Claypool Publishers, San Rafael, CA (2006) Metodi, T.S., Chong, F.T.: Synthesis lectures on computer architecture. In: Hill, M.D. (ed.) Quantum Computing for Computer Architects. Morgan and Claypool Publishers, San Rafael, CA (2006)
7.
Zurück zum Zitat Copsy, D., Oskin, M., Impens, F., Metodi, T., Cross, A., Chong, F., Chuang, I., Kubiatowicz, J.: Toward a scalable, silicon-based quantum computing architecture. IEEE J. Sel. Top. Quantum Electron. 9(6), 1552–1569 (2003)CrossRef Copsy, D., Oskin, M., Impens, F., Metodi, T., Cross, A., Chong, F., Chuang, I., Kubiatowicz, J.: Toward a scalable, silicon-based quantum computing architecture. IEEE J. Sel. Top. Quantum Electron. 9(6), 1552–1569 (2003)CrossRef
8.
Zurück zum Zitat Cirac, J., Zoller, P.: Quantum computation with cold trapped ions. Phys. Rev. Lett. 74, 4091–4094 (1995)ADSCrossRef Cirac, J., Zoller, P.: Quantum computation with cold trapped ions. Phys. Rev. Lett. 74, 4091–4094 (1995)ADSCrossRef
9.
Zurück zum Zitat Tan, T.R., Gaebler, J.P., Bowler, R., Lin, Y., Jost, J.D.: Leibfried, D., Wineland, D. J., Demonstration of a Dressed-State Phase Gate for Trapped Ions, ArXiv, preprint, arXiv:1301.3786 (2013) Tan, T.R., Gaebler, J.P., Bowler, R., Lin, Y., Jost, J.D.: Leibfried, D., Wineland, D. J., Demonstration of a Dressed-State Phase Gate for Trapped Ions, ArXiv, preprint, arXiv:1301.3786 (2013)
10.
Zurück zum Zitat Bowler, R., Warring, U., Britton, J.W., Sawyer, B.C., Amini, J.: Arbitrary Waveform Generator for Quantum Information Processing with Trapped Ions, ArXiv, preprint, arXiv:1301.2543 (2013) Bowler, R., Warring, U., Britton, J.W., Sawyer, B.C., Amini, J.: Arbitrary Waveform Generator for Quantum Information Processing with Trapped Ions, ArXiv, preprint, arXiv:1301.2543 (2013)
11.
Zurück zum Zitat Cirac, J., Zoller, P.: A scalable quantum computer with ions in an array of microtraps. Nature 404, 578–581 (2000)ADS Cirac, J., Zoller, P.: A scalable quantum computer with ions in an array of microtraps. Nature 404, 578–581 (2000)ADS
12.
Zurück zum Zitat Whitney, M.G., Isailovic, N., Patel, Y., Kubiatowicz, J.: A fault tolerant, area efficient architecture for Shor’s factoring algorithm. ACM SIGARCH Comput. Archit. News 37(3), 383–394 (2009)CrossRef Whitney, M.G., Isailovic, N., Patel, Y., Kubiatowicz, J.: A fault tolerant, area efficient architecture for Shor’s factoring algorithm. ACM SIGARCH Comput. Archit. News 37(3), 383–394 (2009)CrossRef
13.
Zurück zum Zitat Kielpinski, D., Monroe, C., Wineland, D.: Architecture for a large-scale ion-trap quantum computer. Nature 417, 709–711 (2002)ADSCrossRef Kielpinski, D., Monroe, C., Wineland, D.: Architecture for a large-scale ion-trap quantum computer. Nature 417, 709–711 (2002)ADSCrossRef
14.
Zurück zum Zitat Whitney, M., Isailovic, N., Patal, Y., Kubiatowics, J.: AutomatedGeneration of layout and control for quantum circuits. In: Proceeding of Computing Frontiers, pp. 83–94 (2007) Whitney, M., Isailovic, N., Patal, Y., Kubiatowics, J.: AutomatedGeneration of layout and control for quantum circuits. In: Proceeding of Computing Frontiers, pp. 83–94 (2007)
15.
Zurück zum Zitat Svore, k, Aho, A., Cross, A., Chuang, I., Markov, I.: A layered software architecture for quantum computing design tools. Computer 39(1), 74–83 (2006) Svore, k, Aho, A., Cross, A., Chuang, I., Markov, I.: A layered software architecture for quantum computing design tools. Computer 39(1), 74–83 (2006)
16.
Zurück zum Zitat Chiaverini, J., Blakestad, R., Britton, J., Jost, J., Langer, C., Leibfried, D., Ozeri, R., Wineland, D.: Surface-electrode architecture for ion- trap quantum information processing. J. Quantum Inf. Comput. 5(5), 419–439 (2005)MathSciNetMATH Chiaverini, J., Blakestad, R., Britton, J., Jost, J., Langer, C., Leibfried, D., Ozeri, R., Wineland, D.: Surface-electrode architecture for ion- trap quantum information processing. J. Quantum Inf. Comput. 5(5), 419–439 (2005)MathSciNetMATH
17.
Zurück zum Zitat Hucul, F., Yeo, M., Henginger, W., Rabchuk, J., Olmschenk, S., Monroe, C.: On the transport of atomic ions in linear and multidimensional ion trap arrays. J. Quantum Inf. Comput. 8(6), 501–578 (2008) Hucul, F., Yeo, M., Henginger, W., Rabchuk, J., Olmschenk, S., Monroe, C.: On the transport of atomic ions in linear and multidimensional ion trap arrays. J. Quantum Inf. Comput. 8(6), 501–578 (2008)
18.
Zurück zum Zitat Cross, A.: Synthesis and Evaluation of Fault-Tolerant Quantum Computer Architectures, PhD Thesis. Massachusetts Institute of Technology (2005) Cross, A.: Synthesis and Evaluation of Fault-Tolerant Quantum Computer Architectures, PhD Thesis. Massachusetts Institute of Technology (2005)
19.
Zurück zum Zitat Mohammadzadeh, N., Saheb Zamani, M., Sedighi, M.: Improving latency of quantum circuits by gate exchanging. In: Conference on Digital System Design/Architectures, Methods and Tools (2009). doi:10.1109/DSD.2009.191 Mohammadzadeh, N., Saheb Zamani, M., Sedighi, M.: Improving latency of quantum circuits by gate exchanging. In: Conference on Digital System Design/Architectures, Methods and Tools (2009). doi:10.​1109/​DSD.​2009.​191
20.
Zurück zum Zitat Metodi, T., Thaker, D., Cross, A., Chong, F., Chuang, I.: A quantum logic array microarchitecture: scalable quantum data movement and computation. In: Proceedings of the International Symposium on Microarchitecture (MICRO), pp. 305–318 (2005) Metodi, T., Thaker, D., Cross, A., Chong, F., Chuang, I.: A quantum logic array microarchitecture: scalable quantum data movement and computation. In: Proceedings of the International Symposium on Microarchitecture (MICRO), pp. 305–318 (2005)
21.
Zurück zum Zitat Metodi, T., Thaker, F., Cross, A., Chong, F., Chuang, I.: Scheduling physical operations in a quantum information processor. In: Proceedings of SPIE Defense and Security Symposium vol. 6244, p. 62440T (2006) Metodi, T., Thaker, F., Cross, A., Chong, F., Chuang, I.: Scheduling physical operations in a quantum information processor. In: Proceedings of SPIE Defense and Security Symposium vol. 6244, p. 62440T (2006)
22.
Zurück zum Zitat Maslov, D., Dueck, G.W., Miller, D.M., Negrevergne, C.: Quantum circuit simplification and level compaction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(3), 436–444 (2008)CrossRef Maslov, D., Dueck, G.W., Miller, D.M., Negrevergne, C.: Quantum circuit simplification and level compaction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(3), 436–444 (2008)CrossRef
24.
Zurück zum Zitat Isailovic, N., Whitney, M., Patal, Y., Kubiatowicz, J.: Running a quantum circuit at the speed of data. In: Proceedings of International Symposium in Computer Architecture (ISCA), pp. 177–188 (2008) Isailovic, N., Whitney, M., Patal, Y., Kubiatowicz, J.: Running a quantum circuit at the speed of data. In: Proceedings of International Symposium in Computer Architecture (ISCA), pp. 177–188 (2008)
26.
Zurück zum Zitat Mohammadzadeh, N., Sedighi, M., Saheb Zamani, M.: Quantum physical synthesis: improving physical design by netlist modification. Microelectron. J. Elsevier 41(4), 219–230 (2010) Mohammadzadeh, N., Sedighi, M., Saheb Zamani, M.: Quantum physical synthesis: improving physical design by netlist modification. Microelectron. J. Elsevier 41(4), 219–230 (2010)
27.
Zurück zum Zitat Mohammadzadeh, N., Saheb Zamani, M., Sedighi, M.: Auxiliary Qubit Selection: A Physical Synthesis Technique for Quantum Circuits. Springer Quantum Information Processing Journal (QIP), pp. 1–16 (2010) Mohammadzadeh, N., Saheb Zamani, M., Sedighi, M.: Auxiliary Qubit Selection: A Physical Synthesis Technique for Quantum Circuits. Springer Quantum Information Processing Journal (QIP), pp. 1–16 (2010)
28.
Zurück zum Zitat Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)MATH Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)MATH
29.
Zurück zum Zitat Barenco, A., Bennett, C.H., Cleve, R., DiVincenzo, D.P., Margolus, N., Shor, P., Sleator, T., Smolin, J.A., Weinfurter, H.: Elementary gates for quantum computation. Phys. Rev. A 52(5), 3457 (1995)ADSCrossRef Barenco, A., Bennett, C.H., Cleve, R., DiVincenzo, D.P., Margolus, N., Shor, P., Sleator, T., Smolin, J.A., Weinfurter, H.: Elementary gates for quantum computation. Phys. Rev. A 52(5), 3457 (1995)ADSCrossRef
31.
Zurück zum Zitat Maslov, D.: Linear depth stabilizer and quantum Fourier transformation circuits with no auxiliary qubits in finite-neighbor quantum architectures. Phys. Rev. A 76(5), 052310 (2007)ADSCrossRef Maslov, D.: Linear depth stabilizer and quantum Fourier transformation circuits with no auxiliary qubits in finite-neighbor quantum architectures. Phys. Rev. A 76(5), 052310 (2007)ADSCrossRef
32.
Zurück zum Zitat Andre, V.R., Muhammad, A., Mehta, A.C., Hussmann, J., Kim, J.: A Quantum Performance Simulator based on fidelity and fault-path counting, ArXiv, preprint, arXiv:1212.0845 (2012) Andre, V.R., Muhammad, A., Mehta, A.C., Hussmann, J., Kim, J.: A Quantum Performance Simulator based on fidelity and fault-path counting, ArXiv, preprint, arXiv:1212.0845 (2012)
Metadaten
Titel
A quantum physical design flow using ILP and graph drawing
verfasst von
Maryam Yazdani
Morteza Saheb Zamani
Mehdi Sedighi
Publikationsdatum
01.10.2013
Verlag
Springer US
Erschienen in
Quantum Information Processing / Ausgabe 10/2013
Print ISSN: 1570-0755
Elektronische ISSN: 1573-1332
DOI
https://doi.org/10.1007/s11128-013-0597-6

Weitere Artikel der Ausgabe 10/2013

Quantum Information Processing 10/2013 Zur Ausgabe

Neuer Inhalt