Quantum block encoding (QBE) is a crucial step in the development of most quantum algorithms, as it provides an embedding of a given matrix into a suitable larger unitary matrix. Historically, the development of efficient techniques for QBE has mostly focused on sparse matrices; less effort has been devoted to data-sparse (e.g., rank-structured) matrices. In this work we examine a particular case of rank structure, namely, one-pair semiseparable matrices. We present a new block encoding approach that relies on a suitable factorization of the given matrix as the product of triangular and diagonal factors. To encode the matrix, the algorithm needs 2log(N)+7 ancillary qubits. Assuming that the data input oracles can be implemented with polylogarithmic depth, or that a QRAM input model is available, our proposed method requires O(polylog(N)) time and has an error of O(N2), where N is the matrix size.

Quantum block encoding for one-pair semiseparable matrices / Antonioli G., Boito P., Del Corso G.M., Porcelli M.. - In: NUMERICAL ALGORITHMS. - ISSN 1017-1398. - ELETTRONICO. - (2026), pp. 0-0. [10.1007/s11075-026-02479-5]

Quantum block encoding for one-pair semiseparable matrices

Porcelli M.
2026

Abstract

Quantum block encoding (QBE) is a crucial step in the development of most quantum algorithms, as it provides an embedding of a given matrix into a suitable larger unitary matrix. Historically, the development of efficient techniques for QBE has mostly focused on sparse matrices; less effort has been devoted to data-sparse (e.g., rank-structured) matrices. In this work we examine a particular case of rank structure, namely, one-pair semiseparable matrices. We present a new block encoding approach that relies on a suitable factorization of the given matrix as the product of triangular and diagonal factors. To encode the matrix, the algorithm needs 2log(N)+7 ancillary qubits. Assuming that the data input oracles can be implemented with polylogarithmic depth, or that a QRAM input model is available, our proposed method requires O(polylog(N)) time and has an error of O(N2), where N is the matrix size.
2026
0
0
Antonioli G.; Boito P.; Del Corso G.M.; Porcelli M.
File in questo prodotto:
File Dimensione Formato  
2026_QBE_NUMA_online_s11075-026-02479-5.pdf

embargo fino al 01/10/2027

Tipologia: Versione finale referata (Postprint, Accepted manuscript)
Licenza: Open Access
Dimensione 1.31 MB
Formato Adobe PDF
1.31 MB Adobe PDF   Richiedi una copia all'autore

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1497112
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact