8 citations · 13 across the 8 of their papers we have counts for
7 papers · 1 filter
QEDIA: Quantum Program Verification in Lean
Yuanjie, Ren, Zhicheng Zhang +4
Practical quantum programs interleave quantum and classical computation: classical data shape the quantum operations that are performed, and measurement outcomes shape the classica…
Magic Quantum Code Surgery
Kathleen Chang, Anasuya Lyons, Yuanjie Ren +5
Non-Clifford operations required for universal quantum computation can be implemented by measuring logical Clifford operators. We present a generalized framework to fault-tolerantl…
Convex-Gaussianity of fermionic Gibbs states in perturbation theory
Kaifeng Bu, Yuanjie Ren
We study the structure of Gibbs states in weakly perturbed interacting fermionic systems. First, for a sparse Hamiltonian with a quadratic term and a non-quadratic…
Graphical Calculus for Fermionic Tensors
Yuanjie Ren, Kaifeng Bu, Andreas Bauer
We introduce a graphical calculus, consisting of a set of fermionic tensors with tensor-network equations, which can be used to perform various computations in fermionic many-body…
A Universal Circuit Set Using the Quantum Double
Liyuan Chen, Yuanjie Ren, Ruihua Fan +1
One potential route toward fault-tolerant universal quantum computation is to use non-Abelian topological codes. In this work, we investigate how to achieve this goal with the quan…
Efficient Preparation of Solvable Anyons with Adaptive Quantum Circuits
Yuanjie Ren, Nathanan Tantivasadakarn, Dominic J. Williamson
The classification of topological phases of matter is a fundamental challenge in quantum many-body physics, with applications to quantum technology. Recently, this classification h…
Topological quantum computation assisted by phase transitions
Yuanjie Ren, Peter Shor
In this paper, we explore topological quantum computation augmented by subphases and phase transitions. We commence by investigating the anyon tunneling map, denoted as , betwee…