Skip to main content
Top
Published in: Quantum Information Processing 7/2023

01-07-2023

A doubly stochastic matrices-based approach to optimal qubit routing

Authors: Nicola Mariella, Sergiy Zhuk

Published in: Quantum Information Processing | Issue 7/2023

Log in

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

search-config
loading …

Abstract

Swap mapping is a quantum compiler optimization that, by introducing \(\text {SWAP}\) gates, maps a logical quantum circuit to an equivalent physically implementable one. The physical implementability of a circuit is determined by the fulfillment of the hardware connectivity constraints. Therefore, the placement of the \(\text {SWAP}\) gates can be interpreted as a discrete optimization process. In this work, we employ a structure called doubly stochastic matrix, which is defined as a convex combination of permutation matrices. The intuition is that of making the decision process smooth. Doubly stochastic matrices are contained in the Birkhoff polytope, in which the vertices represent single permutation matrices. In essence, the algorithm uses smooth constrained optimization to slide along the edges of the polytope toward the potential solutions on the vertices. In the experiments, we show that the proposed algorithm, at the cost of additional computation time, can deliver significant depth reduction when compared to the state-of -the-art algorithm SABRE.

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

Appendix
Available only for authorised users
Footnotes
1
A monoid is defined as a set endowed with a binary associative operation and an identity element. In other words a monoid is a group without the inverse axiom. A counter-example to invertibility of DSMs is the following. Take X to be any permutation matrix that swaps two elements, then its eigenvalues are \(\{-1, 1\}\), now \(\frac{1}{2}({\mathbb {I}}_{n}+X)\) is a DSM, but it has a zero eigenvalue, consequently it is singular.
 
2
We should also assume that \({\mathcal {M}}\) is not fully connected otherwise the swap mapping would not be necessary.
 
3
The hardware graph \({\mathcal {M}}\) is assumed to be not fully connected.
 
4
We also require that \(i=p_1(s)\ne p_2(s)=j\) for all s, so we always have distinct targets \(\{i, j\}\) for the swap.
 
5
The cardinality of a vector \({\textbf{x}} \in {\mathbb {R}}^n\) is defined as https://static-content.springer.com/image/art%3A10.1007%2Fs11128-023-04023-z/MediaObjects/11128_2023_4023_IEq154_HTML.gif , where \(\left|\cdot \right|\) is the set cardinality.
 
6
Equivalent to the \(\text {SSWAP}\) defined in (15a), or the \(\text {PSSWAP}\) defined in (16a).
 
7
The name Knitter is inspired by the braid diagrams (Fig. 8) used to represent the iteration of the SWAPs.
 
8
The definition of projection is given in the proof of Lemma 13.
 
9
In our specific implementation, we choose the solution that maximizes the number of feasible layers; consequently, the adaptive horizon step is maximized, leading to a reduction of the overall computation time for the method.
 
10
The indicator function for a subset \(C \subseteq U\) is defined as the extended real-valued function \(\delta _C: U \rightarrow {\mathbb {R}} \cup \{\infty \}\) with rule \(\delta _C({\textbf{x}})={\left\{ \begin{array}{ll}0,&{}{\textbf{x}}\in C,\\ \infty ,&{}\text {otherwise}.\end{array}\right. }\)
 
11
Source code available at https://​github.​com/​qiskit-community/​dsm-swap. Also data regarding the experiments is available on request.
 
12
In the interest of space, we denote with \(\text {QV}\{n\}\) a quantum volume circuit with n qubits. Moreover, the latter is generated via the function qiskit.circuit.quantumcircuit.QuantumCircuit(n, seed=seed), where seed determines the circuit instance.
 
13
We consider the Qiskit [9] definition of circuit depth which can be be obtained through the method qiskit.circuit.QuantumCircuit.depth.
 
14
Qiskit 0.36.1 and Qiskit Terra 0.20.1.
 
15
Specifically, the structure of the invocation is qiskit.compiler.transpile(..., optimization_level=3).
 
16
We fix the hyperparameter \(\mathtt {max\_optim\_steps}=30\).
 
17
We highlight a technicality regarding the projection \({\mathfrak {P}}_{2{\mathbb {Z}}}\). Since the set \(2{\mathbb {Z}}^n\) is non-empty closed but non-convex, then we cannot assure that the projection is a singleton [15, first projection theorem], consequently we assume \({\mathfrak {P}}_{2{\mathbb {Z}}}\) to be a set-valued operator, with the non-emptiness resulting from the set \(2{\mathbb {Z}}^n\) being non-empty and close.
 
Literature
4.
go back to reference Maslov, D., Falconer, S.M., Mosca, M.: Quantum circuit placement. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 27(4), 752–763 (2008)CrossRef Maslov, D., Falconer, S.M., Mosca, M.: Quantum circuit placement. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 27(4), 752–763 (2008)CrossRef
8.
go back to reference Li, G., Ding, Y., Xie, Y.: Tackling the qubit mapping problem for nisq-era quantum devices. In: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 1001–1014 (2019) Li, G., Ding, Y., Xie, Y.: Tackling the qubit mapping problem for nisq-era quantum devices. In: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 1001–1014 (2019)
10.
go back to reference Meijer-van de Griend, A., Li, S.M.: Dynamic qubit allocation and routing for constrained topologies by cnot circuit re-synthesis. Quantum Phys. Logic (2022) Meijer-van de Griend, A., Li, S.M.: Dynamic qubit allocation and routing for constrained topologies by cnot circuit re-synthesis. Quantum Phys. Logic (2022)
14.
go back to reference Brualdi, R.A.: Combinatorial matrix classes. Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (2006) Brualdi, R.A.: Combinatorial matrix classes. Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (2006)
15.
go back to reference Beck, A.: First-Order Methods in Optimization. SIAM-Society for Industrial and Applied Mathematics, Philadelphia (2017) Beck, A.: First-Order Methods in Optimization. SIAM-Society for Industrial and Applied Mathematics, Philadelphia (2017)
16.
go back to reference Horn, R.A., Johnson, C.R.: Matrix Analysis, 2nd edn. Cambridge University Press, USA (2012)CrossRef Horn, R.A., Johnson, C.R.: Matrix Analysis, 2nd edn. Cambridge University Press, USA (2012)CrossRef
18.
go back to reference Sagan, B.E.: The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions. Springer, New York (2001)CrossRefMATH Sagan, B.E.: The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions. Springer, New York (2001)CrossRefMATH
22.
go back to reference Paszke, A., Gross, S., Massa, F., Lerer, A., Bradbury, J., Chanan, G., Killeen, T., Lin, Z., Gimelshein, N., Antiga, L., Desmaison, A., Kopf, A., Yang, E., DeVito, Z., Raison, M., Tejani, A., Chilamkurthy, S., Steiner, B., Fang, L., Bai, J., Chintala, S.: Pytorch: an imperative style, high-performance deep learning library. In: Wallach, H., Larochelle, H., Beygelzimer, A., d’ Alché-Buc, F., Fox, E., Garnett, R. (eds.) Advances in Neural Information Processing Systems 32, pp. 8024–8035. Curran Associates, Inc. (2019). http://papers.neurips.cc/paper/9015-pytorch-an-imperative-style-high-performance-deep-learning-library.pdf Paszke, A., Gross, S., Massa, F., Lerer, A., Bradbury, J., Chanan, G., Killeen, T., Lin, Z., Gimelshein, N., Antiga, L., Desmaison, A., Kopf, A., Yang, E., DeVito, Z., Raison, M., Tejani, A., Chilamkurthy, S., Steiner, B., Fang, L., Bai, J., Chintala, S.: Pytorch: an imperative style, high-performance deep learning library. In: Wallach, H., Larochelle, H., Beygelzimer, A., d’ Alché-Buc, F., Fox, E., Garnett, R. (eds.) Advances in Neural Information Processing Systems 32, pp. 8024–8035. Curran Associates, Inc. (2019). http://​papers.​neurips.​cc/​paper/​9015-pytorch-an-imperative-style-high-performance-deep-learning-library.​pdf
24.
go back to reference Vizing, V.G.: Critical graphs with given chromatic class. Metody Diskret. Analiz. 5, 9–17 (1965)MathSciNet Vizing, V.G.: Critical graphs with given chromatic class. Metody Diskret. Analiz. 5, 9–17 (1965)MathSciNet
Metadata
Title
A doubly stochastic matrices-based approach to optimal qubit routing
Authors
Nicola Mariella
Sergiy Zhuk
Publication date
01-07-2023
Publisher
Springer US
Published in
Quantum Information Processing / Issue 7/2023
Print ISSN: 1570-0755
Electronic ISSN: 1573-1332
DOI
https://doi.org/10.1007/s11128-023-04023-z

Other articles of this Issue 7/2023

Quantum Information Processing 7/2023 Go to the issue