arXiv subjects

Mohammed Zuhair Mullath

Publications and source records attributed to Mohammed Zuhair Mullath.

5 recordsLinked to original sources

arXiv2026

Benchmarking Zero-Setup Quantum Circuit Simulators

Practitioners increasingly rely on hosted simulation environments, but their performance characteristics remain poorly documented. We present a systematic benchmarking study of GPU-accelerated approximate quantum simulation across two widely used methods: matrix product states (MPS) and Pauli path simulation (PPS), comparing BlueQubit (a hosted tool that handles hardware provisioning, simulator configuration, and job orchestration) against AWS Braket, Quantum Rings, Qiskit pauli-prop, and PauliPropagation (written in Julia). For MPS, we find that GPU runtime yields sub-quadratic scaling with bond dimension, with a growing advantage over CPU at increasing scale. For Pauli path simulation on IBM's 127-qubit kicked Ising benchmark, GPUs deliver up to ${\sim}1{,}700\times$ speedup at fine truncation thresholds ($δ= 2.5 \times 10^{-5}$, 27.6M Pauli terms), and are the only backends that reach accuracy regimes below $δ= 10^{-5}$, which remained inaccessible to the commodity CPU-based implementations and self-contained SDKs evaluated here. We also provide a reproducible characterization of these simulators across regimes, including tradeoffs that isolated evaluations do not show. All benchmarking code and configurations are in a public GitHub repository.

quant-ph↗

arXiv2026

Resolving Structure in Prethermal Floquet Dynamics with Precision Quantum Computation

Periodically driven interacting quantum many-body systems can exhibit long-lived prethermal dynamics, where local observables retain coherent structure even as entanglement and operator complexity grow. Accessing this regime at the system sizes and times needed to determine physical properties of the prethermal state remains a central challenge: state-of-the-art classical methods become unreliable, while noise in quantum hardware degrades observable expectation values. Here we overcome these limitations for a Floquet Ising magnet realized on a heavy-hex lattice. Using the advanced error mitigation software QESEM on an IBM Heron r3 superconducting quantum processor, we measure magnetization dynamics with percent-level precision and resolve long-lived subharmonic prethermal oscillations in systems of up to 74 qubits. These experiments reach regimes for which leading tensor-network simulations fail to converge, while sparse Pauli-path simulations remain strongly truncation dependent despite extensive computations on advanced GPUs and the Fugaku supercomputer. Leveraging this quantum-accessible regime, we extend finite-size scaling to larger systems and find an unexpectedly slow decrease of the oscillation amplitude with system size, providing strong evidence that this oscillatory response persists in the thermodynamic limit of heavy-hex ladders. A hierarchy of mitigation and validation tests, including unbiased error mitigation, agreement between independent mitigation estimators, noise-model validation on the superconducting hardware, and cross-platform corroboration at selected Floquet cycles on Quantinuum System Model H2 and Quantinuum Helios trapped-ion hardware, supports the reliability of these findings. Our work establishes error-mitigated quantum processors as quantitative scientific instruments for discovering new physics in non-equilibrium quantum matter.

quant-ph↗

arXiv2025

Heuristic Quantum Advantage with Peaked Circuits

We design and demonstrate heuristic quantum advantage with peaked circuits (HQAP circuits) on Quantinuum's System Model H2 quantum processor. Through extensive experimentation with state-of-the-art classical simulation strategies, we identify a clear gap between classical and quantum runtimes. Our largest instance involves all-to-all connectivity with 2000 two-qubit gates, which H2 can produce the target peaked bitstring directly in under 2 hours. Our extrapolations from leading classical simulation techniques such as tensor networks with belief propagation and Pauli path simulators indicate the same instance would take years on exascale systems (Frontier, Summit), suggesting a potentially exponential separation. This work marks an important milestone toward verifiable quantum advantage, as well as providing a useful benchmarking protocol for current utility-scale quantum hardware. We sketch our protocol for designing these circuits and provide extensive numerical results leading to our extrapolation estimates. Separate from our constructed HQAP circuits, we prove hardness on a decision problem involving generic peaked circuits. When both the input and output bitstrings of a peaked circuit are unknown, determining whether the circuit is peaked constitutes a QCMA-complete problem, meaning the problem remains hard even for a quantum polynomial-time machine under commonly accepted complexity assumptions. Inspired by this observation, we propose an application of the peaked circuits as a potentially quantum-safe encryption scheme~\cite{chen2016report,kumar2020post,joseph2022transitioning,dam2023survey}. We make our peaked circuits publicly available and invite the community to try additional methods to solve these circuits to see if this gap persists even with novel classical techniques.

quant-ph↗

arXiv2025

A Practical Guide to using Pauli Path Simulators for Utility-Scale Quantum Experiments

In this this paper we present an inexpensive protocol to perform runtime and memory estimation for large-scale experiments with Pauli Path simulators (PPS). Additionally, we propose a conceptually simple solution for studying whether PPS can be used as a scientific discovery tool, rather than reproducing existing answers. We start by analyzing the dynamics of the Pauli coefficients tracked in the Heisenberg picture. In addition to surprisingly generic convergence features of the Pauli coefficient distributions, we find certain regularities that allow for extrapolation of memory and runtime requirements for smaller and smaller coefficient truncation parameter $δ$. We then introduce a framework for understanding convergence in the absence of rigorous error guarantees on PPS. Combined with runtime analysis, we propose bifurcating quantum simulation problems broadly into two classes, based on whether there is apparent convergence of expectation values as a function of $δ$. This serves as a way for practitioners to understand where their problem falls on the frontier of classical simulability. In the case without apparent convergence, PPS may still serve useful as a Monte Carlo-like estimate. Applied to IBM's utility-scale experiments, we show parameter regimes where both behaviors are realized. Some of our key findings challenge conventional intuition: reducing $δ$ does not always improve accuracy, and deeper quantum circuits may actually be easier to simulate than shallower ones. The BlueQubit SDK implementing these methods has been released publicly, offering researchers a comprehensive toolkit for evaluating this frontier classical simulation approach. These results establish practical guidelines for when PPS can serve as a reliable verification tool versus when it should be used as a complementary estimate alongside quantum experiments.

quant-ph↗

arXiv2020

Unobstructed deformation problems for GSp(4)

We prove, for many cuspidal automorphic representations for GSp(4), that the local obstructions to the deformation theory of the associated residual Galois representations generically vanish.

math.NT↗