arXiv subjects

Stefan Krastanov

Publications and source records attributed to Stefan Krastanov.

At least 19 recordsLinked to original sources

arXiv2026

PPVM: A Circuit Simulation Framework for Digital Twins of Quantum Processors

Quantum computers are approaching the early fault-tolerant regime. Verifying the next generation of quantum hardware requires joint emulation of the quantum processor, hardware noise, and classical control and decoding logic. We introduce the Programmable Pauli Virtual Machine (PPVM), an open-source framework for digital twins of quantum processors. PPVM unifies Pauli propagation and generalized tableau simulation under a common abstraction within a single virtual machine. Its bytecode supports arbitrary classical control flow, with measurement-conditioned feed-forward available in the generalized tableau backend. For neutral-atom hardware, we derive independent and correlated atom-loss channels and integrate them into both backends. We demonstrate loss-aware magic state distillation on over a thousand physical qubits and integration with classical decoding through Bloqade QEC Studio.

quant-ph↗

arXiv2026

QuantumSavory: symbolic modeling and multi-backend simulation of quantum computing and networking systems

Progress in quantum computing and networking depends on codesign across abstraction layers: device-level noise and heterogeneous hardware, algorithmic structure, and distributed classical control. We present QuantumSavory, an open-source toolkit built to make such end-to-end studies practical by cleanly separating a symbolic computer-algebra frontend from interchangeable numerical simulation backends. States, operations, measurements, and protocol logic are expressed in a backend-agnostic symbolic language; the same model can be executed across multiple backends (e.g., stabilizer, wavefunction, phase-space), enabling rapid exploration of accuracy-performance tradeoffs without rewriting the model. Furthermore, new custom backends can be added via a small, well-defined interface that immediately reuses existing models and protocols. QuantumSavory also addresses the classical-quantum interaction inherent to LOCC protocols via discrete-event execution and a tag/query system for coordination. Tags attach structured classical metadata to quantum registers and message buffers, and queries retrieve, filter, or wait on matching metadata by wildcards or arbitrary predicates. This yields a data-driven control plane where protocol components coordinate by publishing and consuming semantic facts (e.g., resource availability, pairing relationships, protocol outcomes) rather than by maintaining rigid object graphs or bespoke message plumbing, improving composability and reuse as models grow. Our toolkit is also not limited to qubits and Bell pairs; rather, any networking dynamics of any quantum system under any type of multipartite entanglement can be tackled. Lastly, QuantumSavory ships reusable libraries of standard states, circuits, and protocol building blocks with consistent interfaces, enabling full-stack examples to be assembled, modified, and compared with minimal glue code.

quant-ph↗

arXiv2026

GHZ-Preserving Gates and Optimized Distillation Circuits

Greenberger-Horne-Zeilinger (GHZ) states play a central role in quantum computing and communication protocols, as a typical multipartite entanglement resource. This work introduces an efficient enumeration and simulation method for circuits that preserve and distill noisy GHZ states, significantly reducing the simulation complexity of a gate on $n$ qubits, from exponential $O(2^n)$ for standard state-vector methods or $O(n)$ for Clifford circuits, to a constant $O(1)$ for the method presented here. This method has profound implications for the design of quantum networks, where preservation and purification of entanglement with minimal resource overhead is critical. In particular, we demonstrate the use of the new method in an optimization procedure enabled by the fast simulation, that discovers GHZ distillation circuits far outperforming the state of the art. Fine-tuning to arbitrary noise models is possible as well. We also show that the method naturally extends to graph states that are local Clifford equivalent to GHZ states.

quant-ph↗

arXiv2026

Quantum Tanner Codes at Moderate Blocklength

We present explicit constructions of quantum Tanner (QT) codes with good rate and distance, obtained through two complementary approaches: the left-right Cayley complex (LRCC) description and the "lifting" perspective, in which a seed Calderbank-Shor-Steane (CSS) code is lifted by commuting left-right regular actions of a finite group $\mathcal{G}$. Through an extensive search over non-abelian groups from GAP's SmallGrp library, we investigate the moderate-blocklength regime ($n \in [500,1000]$) and identify several new code instances with distance upper bounds exceeding $20$. These include $[[480,8,(\leq 21,\leq 21)]]$, $[[504,4,(\leq 36,\leq 27)]]$, $[[672,4,(\leq 48,\leq 28)]]$, $[[720,6,(\leq 30,\leq 30)]]$, and $[[864,8,(\leq 39,\leq 31)]]$, with these bounds obtained using up to $350$ million trials of sQetch, a randomized distance estimator. The code instances presented have check weights ranging from $9$ to $20$. Using the Tesseract decoder, we estimate pseudo-thresholds of $3.6\%$-$4.6\%$ under phenomenological noise and $0.14\%$-$0.27\%$ under circuit-level noise, comparable to prior results at shorter code lengths. We also provide QuantumExpanders$.$jl, an open-source Julia library for constructing QT codes and explicit constructions of Ramanujan graphs.

quant-ph↗

arXiv2026

Efficient Graph State Purification with Factorized Graph-Preserving Operations across Local Clifford Orbits

Graph states form a broad class of multipartite entangled states underlying measurement-based quantum computation, quantum networks, and stabilizer codes. However, systematic entanglement distillation for arbitrary graph states remains challenging because the circuit design space grows rapidly with the number of parties. We introduce a group of Clifford operations that we call "factorized graph-preserving". It enables us to efficiently enumerate and optimize graph-state purification circuits at finite size for realistic noisy hardware. These operations map products of graph-basis states to products of graph-basis states, so their action can be represented as permutations of graph-basis labels. Moreover, this useful gate set admits a compact factorized description determined by simple graph-theoretic features. This structure also allows, after some initial cached precomputation, drastically lower computational complexity for simulating a gate. We further organize these operations over local-complementation (LC) orbits using minimum-edge representatives (MERs), which let us design purification circuits that apply to all locally equivalent graph states (up to a basis change). Using this framework, we optimize noisy finite-size multipartite distillation circuits for several graph-state families. Numerical results show that the resulting graph-preserving circuits can outperform standard recurrence-based purification protocols under realistic gate and measurement noise. Our results establish LC-orbit structure and factorized graph-preserving operations as practical tools for scalable, topology-aware and hardware-constrained graph-state distillation protocol design. Our work can also be interpreted as a graph-based heuristic for finding transversal gates.

quant-ph↗

arXiv2026

Multivariate Multicycle Codes for Complete Single-Shot Decoding

We introduce multivariate multicycle (MM) codes, a new family of quantum error-correcting codes (QECCs) that unifies bivariate bicycle, multivariate bicycle, abelian two-block group algebra, generalized bicycle, trivariate tricycle, and toric codes. MM codes are Calderbank-Shor-Steane (CSS) codes defined from length-$\textit{t+1}$ chain complexes with $\textit{$t \ge 4$}$. The chief advantage of these codes is that they possess metachecks and high confinement that permit complete single-shot decoding. We offer a framework that facilitates the construction of long-length chain complexes through the use of Koszul complex. In particular, obtaining explicit boundary maps (parity check and metacheck matrices) is particularly straightforward in our approach. This simple but very general parameterization of codes permitted us to efficiently perform a numerical search, where we identify several MM code candidates that demonstrate these capabilities at high rates and high code distances. Examples of new codes with parameters $[[n,k,d]]$ include $[[96, 12, 8]]$, $[[144, 12, 12]]$, $[[216, 12, 14]]$, $[[288, 12, 16]]$, $[[324, 12, 20]]$, $[[432, 12, 27]]$, $[[486, 24, 12]]$, $[[630, 70, 9]]$, and $[[648, 18, 23]]$. Notably, our codes achieve confinement profiles that surpass all known single-shot-decodable quantum CSS codes of practical blocksize. Our codes are also the first explicit instances of collapsed 5D through 9D higher dimensional QECCs, with check weights significantly lower than those of recent small instances of quantum Tanner codes.

quant-ph↗

arXiv2026

Quantum Hamlets: Distributed Compilation of Large Algorithmic Graph States

We investigate the problem of compiling the generation of graph states to arbitrarily many distributed homogeneous quantum processing units (QPUs), providing a scalable partitioning algorithm and graph state generation protocol to minimize the number of Bell pairs required. Current approaches focus on the naive metric of cut edges to estimate the quantum communication cost. We show that the problem of balanced k graph partitioning, with the objective of minimizing the sizes of the maximum matchings between the partitions, leads to lower entanglement requirements across partitions. Our heuristic algorithm, BURY, partitions graph states to require fewer Bell pairs for generation than state-of-the-art k partition algorithms. Furthermore, we show that BURY reduces the cut-rank of the partitions, demonstrating that the partitioning found by our algorithm is likely to minimize the Bell pair utilization of any future improved distributed graph state generation protocol. We also discuss how our methods apply to the dynamic case where the graph state generation and measurement are performed concurrently. Our compilation approach provides a scalable foundation for reducing quantum network overhead for distributed measurement-based quantum computation (MBQC), as well as any scheme where distributed graph state generation is desired.

quant-ph↗

arXiv2026

Full-stack Physics-level model of cascaded entanglement links

While the last few decades have seen a proliferation of experimental demonstrations of entanglement sources, practicality of deployment has been a secondary concern. Recently, the ZALM source was introduced, as a well-engineered functional device, easily integrated within a complete networking system. It addresses numerous concerns which make typical academic demonstrations less practical: reliable heralding signals, multiplexing across multiple dimensions, and efficient use of input power. We present a stack of tools for modeling mode-by-mode a ZALM source under realistic conditions, in isolation or as a part of a complete network testbed. Our modeling formalism builds upon a hybrid Gaussian and non-Gaussian representation, providing a flexible tradeoff between performance and accuracy, while also greatly simplifying the exact calculation of otherwise expensive scalar figures of merit. This toolkit, implemented in the Python package called "genqo", is integrated within the QuantumSavory full-stack simulator and the QuantumSymbolics computer algebra system. We use this software stack to demonstrate a number of complete networking protocols built upon the ZALM source.

quant-ph↗

arXiv2026

Optimizing compilation of error correction codes for 2xN quantum dot arrays and its NP-hardness

The ability to physically move qubits within a register allows the design of hardware-specific error-correction codes, which can achieve fault-tolerance while respecting other constraints. In particular, recent advancements have demonstrated the shuttling of electron and hole spin qubits through a quantum dot array with high fidelity. It is therefore timely to explore error correction architectures consisting merely of two parallel quantum dot arrays, an experimentally validated architecture compatible with classical wiring and control constraints. Upon such an architecture, we develop a suite of heuristic methods for compiling any Calderbank-Shor-Steane (CSS) error-correcting code's syndrome-extraction circuit to run with a reduced number of shuttling operations. We demonstrate how column-regular qLDPC codes can be compiled in a provably minimal number of shuttles that is exactly equal to the column weight of the code when Shor-style syndrome extraction is used. We provide tables stating the number of required shuttles for many contemporary codes of interest. In addition, we provide a proof of the NP hardness of minimizing the number of shuttle operations for general codes, even when using Shor syndrome extraction. We also discuss how one could get around this by placing blanks in the ancilla array to achieve minimal shuttles with Shor syndrome extraction on any CSS code, at the cost of longer ancilla arrays.

quant-ph↗

arXiv2025

Routing in Non-Isotonic Quantum Networks

Optimal routing in quantum-repeater networks requires finding the best path that connects a pair of end nodes. Most previous work on routing in quantum networks assumes utility functions that are isotonic, meaning that the ordering of two paths does not change when extending both with the same edge. However, we show that utility functions that take into account both the rate and quality of the entanglement generation (e.g., the secret-key rate) are often non-isotonic. This makes pathfinding difficult as classical algorithms such as Dijkstra's become unsuitable, with the state of the art for quantum networks being an exhaustive search over all possible paths. In this work we present improved algorithms. First, we present two best-first-search algorithms that use destination-aware merit functions for faster convergence. One of these provably finds the best path, while the other uses heuristics to achieve an effectively sublinear scaling of the query count in the network size while in practice always finding a close-to-optimal path. Second, we present metaheuristic algorithms (simulated annealing and a genetic algorithm) that enable tuning a tradeoff between path quality and computational overhead. While we focus on swap-ASAP quantum repeaters for concreteness, our algorithms are readily generalized to different repeater schemes and models.

quant-ph↗

arXiv2025

Piecemaker: a resource-efficient entanglement distribution protocol

We introduce multipartite entanglement distribution protocols that use a quantum switch to deliver stabilizer states to a number of remote end users. As in existing schemes, the first step in our protocols involves Bell pair generation between the switch and each end user. However, unlike existing schemes that wait for all Bell pairs to be established before distributing the desired state -- for example, via a projective measurement -- our approach stores only a minimal subset of Bell pairs while processing every subsequent Bell pair immediately. In doing so, our protocols reduce the average Bell pair storage time compared to existing schemes, resulting in less cumulative noise as a direct consequence. On the theoretical side, our protocol design is grounded in the structure of vertex covers in graph states up to local complementation. Through a comprehensive numerical evaluation, we compare the fidelities of delivered states with those of a baseline scheme, for state sizes up to n = 50 qubits. Simulations also show that our protocols can achieve the critical fidelity threshold of 1/2 for multipartite entanglement in a wider range of depolarization rates and success probabilities of Bell-pair generation. Overall, our protocols always achieve an equal or higher fidelity of the distributed state, and can reduce infidelity by up to 45%.

quant-ph↗

arXiv2025

Optimization of Quantum-Repeater Networks using Stochastic Automatic Differentiation

Quantum repeaters are envisioned to enable long-distance entanglement distribution. Analysis of quantum-repeater networks could hasten their realization by informing design decisions and research priorities. Determining derivatives of network properties is crucial towards that end, facilitating optimizations and revealing parameter sensitivity. Doing so, however, is difficult because the networks are discretely random. Here we use a recently developed technique, stochastic automatic differentiation, to automatically extract derivatives from discrete Monte Carlo simulations of repeater networks. With these derivatives, we optimize rate-fidelity tradeoffs in a repeater chain, determine the chain's sensitivity with respect to the coherence times of different nodes, and finally choose the locations of quantum repeaters in a two-dimensional plane to optimize the guaranteed quality of service between four end nodes. In particular, the technique enabled us to discover how the best achievable quality of service, the minimal number of repeaters required to improve a network, and the number of repeaters required to saturate the network scale with the physical size of the network.

quant-ph↗

arXiv2025

WaveguideQED.jl: An Efficient Framework for Simulating Non-Markovian Waveguide Quantum Electrodynamics

In this paper, we introduce a numerical framework designed to solve problems within the emerging field of Waveguide Quantum Electrodynamics (WQED). The framework is based on collision quantum optics, where a localized quantum system interacts sequentially with individual time-bin modes. This approach provides a physically intuitive model that allows researchers familiar with tools such as QuTiP in Python, Quantum Optics Toolbox for Matlab, or QuantumOptics.jl in Julia to efficiently set up and execute WQED simulations. Despite its conceptual simplicity, we demonstrate the framework's robust ability to handle complex WQED scenarios. These applications include the scattering of single- or two-photon pulses by quantum emitters or cavities, as well as the exploration of non-Markovian dynamics, where emitted photons are reflected back, thereby introducing feedback mechanisms.

quant-ph↗

arXiv2024

A spin-optomechanical quantum interface enabled by an ultrasmall mechanical and optical mode volume cavity

We propose a coherent mechanical interface between defect centers in diamond and telecom optical modes. Combining recent developments in spin-mechanical devices and optomechanical crystals, we introduce a 1D diamond nanobeam with embedded mechanical and electric field concentrator with mechanical and optical mode volumes $V_\mathrm{mech}/Λ_\mathrm{p}^3\sim 10^{-5}$ and $V_\mathrm{opt}/λ^3\sim 10^{-3} $, respectively. By placing a Group IV vacancy in the concentrator we demonstrate exquisitely high spin-mechanical coupling rates approaching 40 MHz, while retaining high acousto-optical couplings. We theoretically show that such a device, used in an entanglement heralding scheme, can provide high-fidelity Bell pairs between quantum repeaters. Using the mechanical interface as an intermediary between the optical and spin subsystems, we are able to directly use telecom optics, bypassing the native wavelength requirements of the spin. As the spin is never optically excited or addressed, we do not suffer from spectral diffusion and can operate at higher temperatures (up to 40 K), limited only by thermal losses. We estimate that based on these metrics, optomechanical devices with high spin-mechanical coupling will be a useful architecture for near-term quantum repeaters.

quant-ph↗

arXiv2023

Co-Designed Superconducting Architecture for Lattice Surgery of Surface Codes with Quantum Interface Routing Card

Facilitating the ability to achieve logical qubit error rates below physical qubit error rates, error correction is anticipated to play an important role in scaling quantum computers. While many algorithms require millions of physical qubits to be executed with error correction, current superconducting qubit systems contain only hundreds of physical qubits. One of the most promising codes on the superconducting qubit platform is the surface code, requiring a realistically attainable error threshold and the ability to perform universal fault-tolerant quantum computing with local operations via lattice surgery and magic state injection. Surface code architectures easily generalize to single-chip planar layouts, however space and control hardware constraints point to limits on the number of qubits that can fit on one chip. Additionally, the planar routing on single-chip architectures leads to serialization of commuting gates and strain on classical decoding caused by large ancilla patches. A distributed multi-chip architecture utilizing the surface code can potentially solve these problems if one can optimize inter-chip gates, manage collisions in networking between chips, and minimize routing hardware costs. We propose QuIRC, a superconducting Quantum Interface Routing Card for Lattice Surgery between surface code modules inside of a single dilution refrigerator. QuIRC improves scaling by allowing connection of many modules, increases ancilla connectivity of surface code lattices, and offers improved transpilation of Pauli-based surface code circuits. QuIRC employs in-situ Entangled Pair (EP) generation protocols for communication. We explore potential topological layouts of QuIRC based on superconducting hardware fabrication constraints, and demonstrate reductions in ancilla patch size by up to 77.8%, and in layer transpilation size by 51.9% when compared to the single-chip case.

quant-ph↗

arXiv2023

Faster-than-Clifford Simulations of Entanglement Purification Circuits and Their Full-stack Optimization

Quantum Entanglement is a fundamentally important resource in Quantum Information Science; however, generating it in practice is plagued by noise and decoherence, limiting its utility. Entanglement distillation and forward error correction are the tools we employ to combat this noise, but designing the best distillation and error correction circuits that function well, especially on today's imperfect hardware, is still challenging. Here, we develop a simulation algorithm for distillation circuits with gate-simulation complexity of $\mathcal{O}(1)$ steps, providing for drastically faster modeling compared to $\mathcal{O}(n)$ Clifford simulators or $\mathcal{O}(2^n)$ wavefunction simulators over $n$ qubits. This new simulator made it possible to not only model but also optimize practically interesting purification circuits. It enabled us to use a simple discrete optimization algorithm to design purification circuits from $n$ raw Bell pairs to $k$ purified pairs and study the use of these circuits in the teleportation of logical qubits in second-generation quantum repeaters. The resulting purification circuits are the best-known purification circuits for finite-size noisy hardware and can be fine-tuned for specific hardware error models. Furthermore, we design purification circuits that shape the correlations of errors in the purified pairs such that the performance of the error-correcting code used in teleportation or other higher-level protocols is greatly improved. Our approach of optimizing multiple layers of the networking stack, both the low-level entanglement purification, and the forward error correction on top of it, are shown to be indispensable for the design of high-performance second-generation quantum repeaters.

quant-ph↗

arXiv2023

Quantum theory of single-photon nonlinearities generated by ensembles of emitters

The achievement of sufficiently fast interactions between two optical fields at the few-photon level would provide a key enabler for a broad range of quantum technologies. One critical hurdle in this endeavor is the lack of a comprehensive quantum theory of the generation of nonlinearities by ensembles of emitters. Distinct approaches applicable to different regimes have yielded important insights: i) a semiclassical approach reveals that, for many-photon coherent fields, the contributions of independent emitters add independently allowing ensembles to produce strong optical nonlinearities via EIT; ii) a quantum analysis has shown that in the few-photon regime collective coupling effects prevent ensembles from inducing these strong nonlinearities. Rather surprisingly, experimental results with around twenty photons are in line with the semi-classical predictions. Theoretical analysis has been fragmented due to the difficulty of treating nonlinear many-body quantum systems. Here we are able to solve this problem by constructing a powerful theory of the generation of optical nonlinearities by single emitters and ensembles. The key to this construction is the application of perturbation theory to perturbations generated by subsystems. This theory reveals critical properties of ensembles that have long been obscure. The most remarkable of these is the discovery that quantum effects prevent ensembles generating single-photon nonlinearities only within the rotating-wave regime; outside this regime single-photon nonlinearities scale as the number of emitters. The theory we present here also provides an efficient way to calculate nonlinearities for arbitrary multi-level driving schemes, and we expect that it will prove a powerful foundation for further advances in this area.

quant-ph↗

arXiv2023

Near-term $n$ to $k$ distillation protocols using graph codes

Noisy hardware forms one of the main hurdles to the realization of a near-term quantum internet. Distillation protocols allows one to overcome this noise at the cost of an increased overhead. We consider here an experimentally relevant class of distillation protocols, which distill $n$ to $k$ end-to-end entangled pairs using bilocal Clifford operations, a single round of communication and a possible final local operation depending on the observed measurement outcomes. In the case of permutationally invariant depolarizing noise on the input states, we find a correspondence between these distillation protocols and graph codes. We leverage this correspondence to find provably optimal distillation protocols in this class for several tasks important for the quantum internet. This correspondence allows us to investigate use cases for so-called non-trivial measurement syndromes. Furthermore, we detail a recipe to construct the circuit used for the distillation protocol given a graph code. We use this to find circuits of short depth and small number of two-qubit gates. Additionally, we develop a black-box circuit optimization algorithm, and find that both approaches yield comparable circuits. Finally, we investigate the teleportation of encoded states and find protocols which jointly improve the rate and fidelities with respect to prior art.

quant-ph↗