6 papers
Maximizing Algebraic Connectivity with Edges: The Large Vertex Number Case
Zeru Zhu, Jinzheng Li, Yuanjie Ren +1
Kolokolnikov conjectured that, among finite simple graphs on vertices with exactly edges, the complete bipartite graph maximizes algebraic connectivity. We…
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…
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…
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…