Der Artikel befasst sich mit dem Problem der tiefenoptimalen rechteckigen Adressierung von 2D-Qubit-Arrays, das als exakte binäre Matrixfaktorisierung formuliert wird.
Zunächst wird der Hintergrund des Problems erläutert, das in verschiedenen Kontexten wie Kommunikationskomplexität, Graphentheorie und Matrixfaktorisierung auftaucht. Dann wird ein SMT-basierter Lösungsansatz sowie eine effiziente Heuristik namens "Row Packing" vorgestellt.
Die Evaluation umfasst verschiedene Benchmark-Sätze, darunter zufällige Matrizen, Matrizen mit bekannter optimaler Lösung sowie konstruierte Matrizen, die eine Lücke zwischen realer und binärer Rang aufweisen. Die Ergebnisse zeigen, dass die Heuristik in den meisten Fällen nahe an der optimalen Lösung liegt und deutlich besser als die triviale Heuristik ist.
Abschließend wird das Problem im Kontext der fehlertoleranten Quantencomputing diskutiert, da dort eine natürliche Zwei-Ebenen-Struktur auftritt, die möglicherweise ausgenutzt werden kann.
Till ett annat språk
från källinnehåll
arxiv.org
Djupare frågor