-
Fusion for High-Dimensional Linear Optical Quantum Computing with Improved Success Probability
Authors:
Gözde Üstün,
Eleanor G. Rieffel,
Simon J. Devitt,
Jason Saied
Abstract:
Type-II fusion is a probabilistic entangling measurement that is essential to measurement-based linear optical quantum computing and can be used for quantum teleportation more broadly. However, it remains under-explored for high-dimensional qudits. Our main result gives a Type-II fusion protocol with proven success probability approximately $2/d^2$ for qudits of arbitrary dimension $d$. This gener…
▽ More
Type-II fusion is a probabilistic entangling measurement that is essential to measurement-based linear optical quantum computing and can be used for quantum teleportation more broadly. However, it remains under-explored for high-dimensional qudits. Our main result gives a Type-II fusion protocol with proven success probability approximately $2/d^2$ for qudits of arbitrary dimension $d$. This generalizes a previous method which only applied to even-dimensional qudits. We believe this protocol to be the most efficient known protocol for Type-II fusion, with the $d=5$ case beating the previous record by a factor of approximately $723$. We discuss the construction of the required $(d-2)$-qudit ancillary state using a silicon spin qudit ancilla coupled to a microwave cavity through time-bin multiplexing. We then introduce a general framework of extra-dimensional corrections, a natural technique in linear optics that can be used to non-deterministically correct non-maximally-entangled projections into Bell measurements. We use this method to analyze and improve several different circuits for high-dimensional Type-II fusion and compare their benefits and drawbacks.
△ Less
Submitted 22 May, 2025;
originally announced May 2025.
-
Assessing and Advancing the Potential of Quantum Computing: A NASA Case Study
Authors:
Eleanor G. Rieffel,
Ata Akbari Asanjan,
M. Sohaib Alam,
Namit Anand,
David E. Bernal Neira,
Sophie Block,
Lucas T. Brady,
Steve Cotton,
Zoe Gonzalez Izquierdo,
Shon Grabbe,
Erik Gustafson,
Stuart Hadfield,
P. Aaron Lott,
Filip B. Maciejewski,
Salvatore Mandrà,
Jeffrey Marshall,
Gianni Mossi,
Humberto Munoz Bauza,
Jason Saied,
Nishchay Suri,
Davide Venturelli,
Zhihui Wang,
Rupak Biswas
Abstract:
Quantum computing is one of the most enticing computational paradigms with the potential to revolutionize diverse areas of future-generation computational systems. While quantum computing hardware has advanced rapidly, from tiny laboratory experiments to quantum chips that can outperform even the largest supercomputers on specialized computational tasks, these noisy-intermediate scale quantum (NIS…
▽ More
Quantum computing is one of the most enticing computational paradigms with the potential to revolutionize diverse areas of future-generation computational systems. While quantum computing hardware has advanced rapidly, from tiny laboratory experiments to quantum chips that can outperform even the largest supercomputers on specialized computational tasks, these noisy-intermediate scale quantum (NISQ) processors are still too small and non-robust to be directly useful for any real-world applications. In this paper, we describe NASA's work in assessing and advancing the potential of quantum computing. We discuss advances in algorithms, both near- and longer-term, and the results of our explorations on current hardware as well as with simulations, including illustrating the benefits of algorithm-hardware co-design in the NISQ era. This work also includes physics-inspired classical algorithms that can be used at application scale today. We discuss innovative tools supporting the assessment and advancement of quantum computing and describe improved methods for simulating quantum systems of various types on high-performance computing systems that incorporate realistic error models. We provide an overview of recent methods for benchmarking, evaluating, and characterizing quantum hardware for error mitigation, as well as insights into fundamental quantum physics that can be harnessed for computational purposes.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
General protocols for the efficient distillation of indistinguishable photons
Authors:
Jason Saied,
Jeffrey Marshall,
Namit Anand,
Eleanor G. Rieffel
Abstract:
We introduce state-of-the-art protocols to distill indistinguishable photons, reducing distinguishability error rates by a factor of $n$, while using a modest amount of resources scaling only linearly in $n$. Our resource requirements are both significantly lower and have fewer hardware requirements than previous works, making large-scale distillation experimentally feasible for the first time. Th…
▽ More
We introduce state-of-the-art protocols to distill indistinguishable photons, reducing distinguishability error rates by a factor of $n$, while using a modest amount of resources scaling only linearly in $n$. Our resource requirements are both significantly lower and have fewer hardware requirements than previous works, making large-scale distillation experimentally feasible for the first time. This efficient reduction of distinguishability error rates has direct applications to fault-tolerant linear optical quantum computation, potentially leading to improved thresholds for photon loss errors and allowing smaller code distances, thus reducing overall resource costs. Our protocols are based on Fourier transforms on finite abelian groups, special cases of which include the discrete Fourier transform and Hadamard matrices. This general perspective allows us to unify previous results on distillation protocols and introduce a large family of efficient schemes. We utilize the rich mathematical structure of Fourier transforms, including symmetries and related suppression laws, to quantify the performance of these distillation protocols both analytically and numerically. Finally, our work resolves an open question concerning suppression laws for the $n$-photon discrete Fourier transform: the suppression laws are exactly characterized by the well-known Zero Transmission Law if and only if $n$ is a prime power.
△ Less
Submitted 26 March, 2025; v1 submitted 22 April, 2024;
originally announced April 2024.
-
Advancing Quantum Networking: Some Tools and Protocols for Ideal and Noisy Photonic Systems
Authors:
Jason Saied,
Jeffrey Marshall,
Namit Anand,
Shon Grabbe,
Eleanor G. Rieffel
Abstract:
Quantum networking at many scales will be critical to future quantum technologies and experiments on quantum systems. Photonic links enable quantum networking. They will connect co-located quantum processors to enable large-scale quantum computers, provide links between distant quantum computers to support distributed, delegated, and blind quantum computing, and will link distant nodes in space en…
▽ More
Quantum networking at many scales will be critical to future quantum technologies and experiments on quantum systems. Photonic links enable quantum networking. They will connect co-located quantum processors to enable large-scale quantum computers, provide links between distant quantum computers to support distributed, delegated, and blind quantum computing, and will link distant nodes in space enabling new tests of fundamental physics. Here, we discuss recent work advancing photonic tools and protocols that support quantum networking. We provide analytical results and numerics for the effect of distinguishability errors on key photonic circuits; we considered a variety of error models and developed new metrics for benchmarking the quality of generated photonic states. We review a distillation protocol by one of the authors that mitigates distinguishability errors. We also review recent results by a subset of the authors on the efficient simulation of photonic circuits via approximation by coherent states. We study some interactions between the theory of universal sets, unitary t-designs, and photonics: while many of the results we state in this direction may be known to experts, we aim to bring them to the attention of the broader quantum information science community and to phrase them in ways that are more familiar to this community. We prove, translating a result from representation theory, that there are no non-universal infinite closed $2$-designs in $U(V)$ when $\dim V \geq 2$. As a consequence, we observe that linear optical unitaries form a $1$-design but not a 2-design. Finally, we apply a result of Oszmaniec and Zimborás to prove that augmenting the linear optical unitaries with any nontrivial SNAP gate is sufficient to achieve universality.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Uniformly Decaying Subspaces for Error Mitigated Quantum Computation
Authors:
Nishchay Suri,
Jason Saied,
Davide Venturelli
Abstract:
We present a general condition to obtain subspaces that decay uniformly in a system governed by the Lindblad master equation and use them to perform error mitigated quantum computation. The expectation values of dynamics encoded in such subspaces are unbiased estimators of noise-free expectation values. In analogy to the decoherence free subspaces which are left invariant by the action of Lindblad…
▽ More
We present a general condition to obtain subspaces that decay uniformly in a system governed by the Lindblad master equation and use them to perform error mitigated quantum computation. The expectation values of dynamics encoded in such subspaces are unbiased estimators of noise-free expectation values. In analogy to the decoherence free subspaces which are left invariant by the action of Lindblad operators, we show that the uniformly decaying subspaces are left invariant (up to orthogonal terms) by the action of the dissipative part of the Lindblad equation. We apply our theory to a system of qubits and qudits undergoing relaxation with varying decay rates and show that such subspaces can be used to eliminate bias up to first order variations in the decay rates without requiring full knowledge of noise. Since such a bias cannot be corrected through standard symmetry verification, our method can improve error mitigation in dual-rail qubits and given partial knowledge of noise, can perform better than probabilistic error cancellation.
△ Less
Submitted 24 November, 2024; v1 submitted 29 February, 2024;
originally announced March 2024.
-
A combinatorial formula for Sahi, Stokman, and Venkateswaran's generalization of Macdonald polynomials
Authors:
Jason Saied
Abstract:
Sahi, Stokman, and Venkateswaran have constructed, for each positive integer $n$, a family of Laurent polynomials depending on parameters $q$ and $k$ (in addition to $\lfloor n/2\rfloor$ "metaplectic parameters"), such that the $n=1$ case recovers the nonsymmetric Macdonald polynomials and the $q\rightarrow\infty$ limit yields metaplectic Iwahori-Whittaker functions with arbitrary Gauss sum parame…
▽ More
Sahi, Stokman, and Venkateswaran have constructed, for each positive integer $n$, a family of Laurent polynomials depending on parameters $q$ and $k$ (in addition to $\lfloor n/2\rfloor$ "metaplectic parameters"), such that the $n=1$ case recovers the nonsymmetric Macdonald polynomials and the $q\rightarrow\infty$ limit yields metaplectic Iwahori-Whittaker functions with arbitrary Gauss sum parameters. In this paper, we study these new polynomials, which we call SSV polynomials, in the case of $GL_r$. We apply a result of Ram and Yip in order to give a combinatorial formula for the SSV polynomials in terms of alcove walks. The formula immediately shows that the SSV polynomials satisfy a triangularity property with respect to a version of the Bruhat order, which in turn gives an independent proof that the SSV polynomials are a basis for the space of Laurent polynomials. The result is also used to show that the SSV polynomials have \emph{fewer} terms than the corresponding Macdonald polynomials. We also record an alcove walk formula for the natural generalization of the permuted basement Macdonald polynomials. We then construct a symmetrized variant of the SSV polynomials: these are symmetric with respect to a conjugate of the Chinta-Gunnells Weyl group action and reduce to symmetric Macdonald polynomials when $n=1$. We obtain an alcove walk formula for the symmetrized polynomials as well. Finally, we calculate the $q\rightarrow 0$ and $q\rightarrow \infty$ limits of the SSV polynomials and observe that our combinatorial formula can be written in terms of alcove walks with only positive and negative folds respectively. In both of these $q$-limit cases, we also observe a positivity result for the coefficients.
△ Less
Submitted 30 March, 2021; v1 submitted 26 June, 2020;
originally announced June 2020.
-
Classification of eventually periodic subshifts
Authors:
Benjamín A. Itzá-Ortiz,
Meghan B. Malachi,
Austin Marstaller,
Jason Saied,
Sarah Stover
Abstract:
We provide a classification of eventually periodic subshifts up to conjugacy and flow equivalence. We use our results to prove that each skew Sturmian subshift is conjugate to exactly one other skew Sturmian subshift and that all skew Sturmian subshifts are flow equivalent to one another.
We provide a classification of eventually periodic subshifts up to conjugacy and flow equivalence. We use our results to prove that each skew Sturmian subshift is conjugate to exactly one other skew Sturmian subshift and that all skew Sturmian subshifts are flow equivalent to one another.
△ Less
Submitted 1 November, 2015;
originally announced November 2015.
