Cayley access models for matrix functions: reachable class and cost
Abstract
We study how to compute f(A)b on a quantum computer, where A is Hermitian. When f is nonsmooth or has localized difficulty in the spectrum, classical numerical linear algebra approximates it with rational functions rather than polynomials. We propose the Cayley transform, parameterized by σ∈ ℝ and γ> 0, as an alternative to the standard quantum access model. The two parameters let one concentrate accuracy where f is difficult, which standard models can achieve only by raising the polynomial degree globally. This transformation converts Hermitian matrices to unitaries, allowing generalized quantum signal processing to apply Laurent polynomials bounded on the unit circle. We compare three access models (block encoding, matrix exponential, and Cayley encoding) in terms of query complexity and of the cost of their circuit realization. When the difficulty of f is localized in the spectrum, the Cayley encoding reduces the required degree by a factor of three to four, and it represents the shifted resolvent exactly at degree one. For spectral projectors, the standard models cannot reach the target accuracy at fixed degree, because their approximants cannot concentrate resolution near the discontinuity. Realizing the Cayley encoding from a block encoding requires solving a shifted linear system, whose cost offsets its query-complexity gain over the standard models. For structured matrices arising in practice, however, low-depth circuits for the encoding can be constructed directly, and the gain is preserved at the circuit level.
Related
- A formula for the elasticity of substitution of a large class of smooth utility functions
- On a class of meromorphic functions with three singular values
- A class of low-rank short recurrences for nonsymmetric linear matrix equations
- Nonvanishing of ray class L-functions
- On Separately Continuous Functions of the First Baire Class on Squares and Mixed Products
BibTeX
@misc{corso2026cayley,
title = {{Cayley access models for matrix functions: reachable class and cost}},
author = {Gianna M. Del Corso},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.23429},
eprint = {2610.23429},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.23429},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - Cayley access models for matrix functions: reachable class and cost
AU - Gianna M. Del Corso
PY - 2026
DA - 2026/10/16
PB - arXiv
DO - 10.48550/arxiv.2610.23429
UR - https://arxiv.org/abs/2610.23429
AB - We study how to compute f(A)b on a quantum computer, where A is Hermitian. When f is nonsmooth or has localized difficulty in the spectrum, classical numerical linear algebra approximates it with rational functions rather than polynomials. We propose the Cayley transform, parameterized by σ∈ ℝ and γ> 0, as an alternative to the standard quantum access model. The two parameters let one concentrate accuracy where f is difficult, which standard models can achieve only by raising the polynomial degree globally. This transformation converts Hermitian matrices to unitaries, allowing generalized quantum signal processing to apply Laurent polynomials bounded on the unit circle. We compare three access models (block encoding, matrix exponential, and Cayley encoding) in terms of query complexity and of the cost of their circuit realization. When the difficulty of f is localized in the spectrum, the Cayley encoding reduces the required degree by a factor of three to four, and it represents the shifted resolvent exactly at degree one. For spectral projectors, the standard models cannot reach the target accuracy at fixed degree, because their approximants cannot concentrate resolution near the discontinuity. Realizing the Cayley encoding from a block encoding requires solving a shifted linear system, whose cost offsets its query-complexity gain over the standard models. For structured matrices arising in practice, however, low-depth circuits for the encoding can be constructed directly, and the gain is preserved at the circuit level.
ER -