Papers
Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem
Dominik Blain·Apr 8, 2026
Quantum computing simulators form the classical software foundation on which virtually all quantum algorithm research depends. We present Broken Quantum, the first comprehensive formal security audit of the open-source quantum computing simulator eco...
Steady-State Statistical Modeling of Digitally Stabilized Laser Frequency with Markov-State Feedback
Swarnav Banik, Elliot Greenwald, Xing Pan·Apr 8, 2026
Laser frequency stabilization is conventionally analyzed using continuous-time control theory, which accurately models analog feedback but is insufficient for digital implementations where quantization, sampling, and stochastic noise shape the dynami...
Soft-Quantum Algorithms
Basil Kyriacou, Mo Kordzanganeh, Maniraman Periyasamy +1 more·Apr 7, 2026
Quantum operations on pure states can be fully represented by unitary matrices. Variational quantum circuits, also known as quantum neural networks, embed data and trainable parameters into gate-based operations and optimize the parameters via gradie...
Higher Nishimori Criticality and Exact Results at the Learning Transition of Deformed Toric Codes
Rushikesh A. Patil, Malte Pütz, Simon Trebst +2 more·Apr 7, 2026
We revisit a learning-induced tricritical point, at which three phases with strong, weak, and broken $Z_2$ symmetry meet, in the phase diagram of a deformed toric code wavefunction subjected to weak measurements. This setting is exactly dual to a cla...
Nonvariational quantum optimisation approaches to pangenome-guided sequence assembly
Josh Cudby, Sergii Strelchuk·Apr 7, 2026
Assembling genomes from short-read sequencing data remains difficult in repetitive regions, where reference bias and combinatorial complexity limit existing methods. Pangenome-guided sequence assembly (PGSA) mitigates reference bias by reconstructing...
Simulating Thermal Properties of Bose-Hubbard Models on a Quantum Computer
Simon Becker, Cambyse Rouzé, Robert Salzmann·Apr 7, 2026
While recent advances have established efficient quantum algorithms for preparing Gibbs states of finite-dimensional systems, comparable complexity results for bosonic and other infinite-dimensional models remain unexplored. We introduce the first ge...
Hybrid Quantum-Classical Algorithm for Hamiltonian Simulation
Nhat A. Nghiem, Tzu-Chieh Wei·Apr 7, 2026
We introduce a hybrid classical-quantum algorithm for simulating a Hamiltonian of the form $H= \sum_{i=1}^K H_i = \sum_{i=1}^K H_{i_1} \otimes H_{i_2} \otimes \cdots \otimes H_{i_M}$. Given that the entries of all $\{ H_{i_1}, H_{i_2} , \cdots , H_{i...
A Nested Amplitude Amplification Protocol for the Binary Knapsack Problem
Laurin Demmler, Maximilian Hess·Apr 7, 2026
Amplitude Amplification offers a provable speedup for search problems, which is leveraged in combinatorial optimization by Grover Adaptive Search (GAS). The protocol demands deep circuits that are challenging with regards to NISQ capabilities. We pro...
Spectrum-Generating Algebra in Higher Dimensional Gauge Theories
Thea Budde, Jiangjing Dong, Marina Krstić Marinković +1 more·Apr 7, 2026
Non-equilibrium properties of strongly interacting gauge theories are often intractable with classical simulation methods. Due to recent developments of quantum simulations, studies of their properties in two spatial dimensions are becoming accessibl...
Kinetic Uncertainty Relation in Collective Dissipative Quantum Many-Body Systems
Hayato Yunoki, Yoshihiko Hasegawa·Apr 7, 2026
Attaining the ultimate precision remains a central objective in the engineering of nanoscale systems and the investigation of nonequilibrium processes. While thermodynamic and kinetic uncertainty relations establish fundamental precision bounds, prio...
Quantum Learning of Classical Correlations with continuous-domain Pauli Correlation Encoding
Vicente P. Soloviev, Bibhas Adhikari·Apr 7, 2026
We propose a quantum machine learning framework for estimating classical covariance matrices using parameterized quantum circuits within the Pauli-Correlation-Encoding (PCE) paradigm. We introduce two quantum covariance estimators: the C-Estimator, w...
Estimation of trace distance between two arbitrary quantum states
Sanchita Ghosh, Anumita Mukhopadhyay, Anindita Bera +2 more·Apr 7, 2026
When it comes to discriminating between two quantum states, trace distance is one of the well-known metrics used in quantum computation and quantum information theory. While there are several quantum algorithms for calculating the trace distance betw...
Resource Implications of Different Encodings for Quantum Computational Fluid Dynamics
Hans A. Kösel, Roland Ewert, Jan W. Delfs·Apr 7, 2026
For quantum algorithms for problems in which the task is to compute an entire field of values, like e.g. computational fluid dynamics (CFD), it is often proposed amplitude encoding w.r.t. multiple qubits; however, the efforts implied by it for initia...
Molecular Excited States using Quantum Subspace Methods: Accuracy, Resource Reduction, and Error-Mitigated Hardware Implementation of q-sc-EOM
Srivathsan Poyyapakkam Sundar, Prince Frederick Kwao, Alexey Galda +1 more·Apr 7, 2026
Problems in quantum chemical simulations, especially achieving accurate excited-state potential energy surfaces, are among the primary applications to achieve quantum utility. On near-term quantum hardware, variants of the variational quantum eigenso...
Square-root Time Atom Reconfiguration Plan for Lattice-shaped Mobile Tweezers
Koki Aoyama, Takafumi Tomita, Fumihiko Ino·Apr 7, 2026
This paper proposes a scalable planning algorithm for creating defect-free atom arrays in neutral-atom systems. The algorithm generates a $\mathcal{O}(\sqrt N)$ time plan for $N$ atoms by parallelizing atom transport using a two-dimensional lattice p...
In-Situ Simultaneous Magic State Injection on Arbitrary CSS qLDPC Codes
Kun Liu, Shifan Xu, Tomas Jochym-O'Connor +3 more·Apr 6, 2026
Quantum low-density parity-check (qLDPC) codes can encode many logical qubits within a single code block at low physical qubit overhead, yet magic state injection into such codes remains largely underexplored. Existing state injection proposals for q...
Quantum Algorithms for Heterogeneous PDEs: The Neutron Diffusion Eigenvalue Problem
Andrew M. Childs, Lincoln Johnston, Brian Kiedrowski +2 more·Apr 6, 2026
We develop a hybrid classical-quantum algorithm to solve a type of linear reaction-diffusion equation, the neutron diffusion (generalized) k-eigenvalue problem that establishes nuclear criticality. The algorithm handles an equation with piecewise con...
Information Propagation in Rydberg Arrays via Analog OTOC Calculations
Goksu Can Toga, Siva Darbha, Ermal Rrapaj +2 more·Apr 6, 2026
Out-of-time-order correlators (OTOCs) are the main tool for probing quantum chaos and scrambling, and have become crucial probes in many areas of quantum computing. However, the measurement of OTOCs is difficult to implement on analog quantum compute...
Efficient simulation of noisy IQP circuits with amplitude-damping noise
Shravan Shravan, Mohsin Raza, Ariel Shlosberg·Apr 6, 2026
Efficient classical simulation of noisy intermediate-scale quantum (NISQ) circuits has been a topic of intense study over the past few years. The majority of results on efficient simulation assume that the circuits undergo some variant of unital nois...
Real-time Dynamics in 3D for up to 1000 Qubits with Neural Quantum States: Quenches and the Quantum Kibble--Zurek Mechanism
Vighnesh Dattatraya Naik, Zheng-Hang Sun, Markus Heyl·Apr 6, 2026
Exponential complexity of many-body wave functions limits accurate numerical simulations of real-time dynamics, especially beyond 1D, where rapid entanglement growth poses severe challenges. Neural Quantum States (NQS) have emerged as a powerful appr...