arXiv subjects

Junaid Aftab

Publications and source records attributed to Junaid Aftab.

5 recordsLinked to original sources

arXiv2026

Linear Combination of Hamiltonian Simulation with Commutator Scaling

The Linear Combination of Hamiltonian Simulation (LCHS) framework simulates dissipative linear dynamics by representing time evolution as an integral over unitary operators, which is discretized by quadrature and implemented via Hamiltonian simulation. While existing analyses achieve near-optimal scaling in time and precision using norm-based quantities of the dissipative generator, we show that implementing the Hamiltonian simulation steps with Multi-Product Formulas (MPFs) yields commutator-sensitive error and complexity bounds. We demonstrate that the quadrature rule affects not only discretization error but also commutator structure and query complexity. This dependence is quantified through post-quadrature analysis for abstract MPF error profiles and for general time-independent and local Hamiltonians using known commutator-sensitive MPF error estimates. We compare uniform trapezoidal and free-scale sinh--sinh quadrature, showing improved quadrature-cardinality scaling for the latter, and illustrate the framework with applications to fractional diffusion, advection--diffusion, and open quantum systems.

quant-ph↗

arXiv2026

Non-Uniform Quantum Fourier Transform

The Discrete Fourier Transform (DFT) is central to the analysis of uniformly sampled signals, yet many practical applications involve non-uniform sampling, requiring the Non-Uniform Discrete Fourier Transform (NUDFT). While quantum algorithms for the standard DFT are well established, a corresponding framework for the non-uniform case remains underdeveloped. This work introduces a quantum algorithm for the Non-Uniform Quantum Fourier Transform (NUQFT) based on a low-rank factorization of the NUDFT matrix. The factorization is translated into an explicit quantum construction using block encodings, Quantum Signal Processing, and the Linear Combination of Unitaries framework, yielding an $\epsilon$-accurate block encoding of the NUDFT matrix with controlled approximation error from both classical truncation and quantum implementation. Under standard oracle access assumptions for non-uniform sampling points, we derive explicit, non-asymptotic gate-level resource estimates. The resulting complexity scales polylogarithmically with target precision, quadratically with the number of qubits through the quantum Fourier transform, and logarithmically with a geometry-dependent conditioning parameter induced by the non-uniform grid. This establishes a concrete and resource-efficient quantum analogue of the NUDFT and provides a foundation for quantum algorithms on irregularly sampled data.

quant-ph↗

arXiv2025

Quantum Circuit Encodings of Polynomial Chaos Expansions

This work investigates the expressive power of quantum circuits in approximating high-dimensional, real-valued functions. We focus on countably-parametric holomorphic maps $u:U\to \mathbb{R}$, where the parameter domain is $U=[-1,1]^{\mathbb{N}}$. We establish dimension-independent quantum circuit approximation rates via the best $n$-term truncations of generalized polynomial chaos (gPC) expansions of these parametric maps, demonstrating that these rates depend solely on the summability exponent of the gPC expansion coefficients. The key to our findings is based on the fact that so-called ``$(\boldsymbol{b},\epsilon)$-holomorphic'' functions, where $\boldsymbol{b}\in (0,1]^\mathbb N \cap \ell^p(\mathbb N)$ for some $p\in(0,1)$, permit structured and sparse gPC expansions. Then, $n$-term truncated gPC expansions are known to admit approximation rates of order $n^{-1/p + 1/2}$ in the $L^2$ norm and of order $n^{-1/p + 1}$ in the $L^\infty$ norm. We show the existence of parameterized quantum circuit (PQC) encodings of these $n$-term truncated gPC expansions, and bound PQC depth and width via (i) tensorization of univariate PQCs that encode Cheby\v{s}ev-polynomials in $[-1,1]$ and (ii) linear combination of unitaries (LCU) to build PQC emulations of $n$-term truncated gPC expansions. The results provide a rigorous mathematical foundation for the use of quantum algorithms in high-dimensional function approximation. As countably-parametric holomorphic maps naturally arise in parametric PDE models and uncertainty quantification (UQ), our results have implications for quantum-enhanced algorithms for a wide range of maps in applications.

math.NA↗

arXiv2024

Approximating Korobov Functions via Quantum Circuits

Understanding the capacity of quantum circuits through the lens of approximation theory is essential for evaluating the complexity of quantum circuits required to solve various problems in scientific computation. We design quantum circuits capable of approximating d-dimensional functions within the Korobov function space. This is achieved by leveraging the quantum signal processing (QSP) and the linear combination of unitaries (LCU) algorithms to build quantum circuits that output Chebyshev polynomials. We also present a quantitative analysis of the approximation error rates and evaluates the computational complexity of implementing the proposed circuits. Since the Korobov function space is a subspace of the certain Sobolev spaces, our work develops a theoretical foundation for implementing a large class of functions suitable for applications on a quantum computer.

quant-ph↗

arXiv2024

Multi-Product Hamiltonian Simulation with Explicit Commutator Scaling

The well-conditioned multi-product formula (MPF), proposed by Low-Kliuchnikov-Wiebe (2019), is a high-order, time-independent Hamiltonian simulation algorithm that implements a linear combination of low-order product formulas. Prior work established its well-conditioned algorithmic construction and near-optimal time and precision dependence, but did not simultaneously provide an explicit error bound in terms of nested commutators, which has left its practical advantage uncertain. In this work, we provide a rigorous complexity analysis of the well-conditioned MPF, explicitly establishing both commutator scaling and near-optimal dependence on time and precision through a rigorous Baker-Campbell-Hausdorff (BCH) and variation-of-parameters-based error analysis. Using our improved complexity estimates, we present several physically relevant applications where the second-order-based MPF asymptotically outperforms the second-order product formula in all three aspects of system size, time, and precision. We further demonstrate that, while MPF yields worse scalings than the best post-Trotter methods in most applications, there exist certain parameter regimes in the nonlocal fast-transform Bogoliubov-de Gennes model where MPF can outperform both leading post-Trotter methods and product formulas with fixed or adaptively optimized order.

quant-ph↗