This paper develops techniques from first principles as a unified framework for constructing quantum algorithms based on polynomial transformations and applies this framework to representative applications to highlight design principles and demonstrate how distinct algorithms can be constructed from a unified sequence...
Tal Gurfinkel, Kaushika De Silva, A. Mahasinghe et al.· 0 citations
It is proved that the local ZX simplification layer (spider fusion and identity removal) computes exactly the free-product normal form of Z_2 * Z_8, giving exact per-instance compression and, under a calibrated ergodicity hypothesis, a depth-independent limit law confirmed on two independently constructed nets.
Chon-Fai Kam, A. Mahasinghe, Kaushika De Silva et al.· 0 citations
A measurement of what diagrammatic post-processing recovers from structural redundancy in the Solovay-Kitaev algorithm, which optimizes for numerical convergence rather than circuit economy, and its output carries structural redundancy that a gate-level compiler cannot see.
Dulari De Silva, A. Mahasinghe, Chon-Fai Kam et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.