8 citations · 13 across the 8 of their papers we have counts for
10 papers
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…
Maximizing Algebraic Connectivity with Edges: The Large Vertex Number Case
Zeru Zhu, Jinzheng Li, Yuanjie Ren +1
Kolokolnikov conjectured that, among all simple graphs on \(n\) vertices with exactly \(2(n-2)\) edges, the complete bipartite graph maximizes algebraic connectivity. This paper pr…
Thermodynamic Irreversibility of Training Algorithms
Liu Ziyin, Yuanjie Ren, Adam Levine +1
The training algorithms for AI systems all introduce far-from-equilibrium dynamical processes, and understanding the irreversibility of these algorithms is a fundamental step towar…
MerLean: An Agentic Framework for Autoformalization in Quantum Computation
Yuanjie Ren, Jinzheng Li, Yidi Qi
We introduce MerLean, a fully automated agentic framework for autoformalization in quantum computation. MerLean extracts mathematical statements from \LaTeX{} source files, formali…
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…