Manuscript

Long-horizon autoformalization of a core theorem underlying MIP* = RE
Landmark mathematical formalizations have taken specialist teams years to complete. We present FormalFlow, a system that coordinates AI …
Sirui Lu, Ruixuan Deng, Yanqiao Zhu, Zhengfeng Ji
PDF 引用 arXiv
Hidden Circuits and Exact Counting in Ordered Graphs
We prove that counting perfect matchings is $#P$-complete under polynomial-time Turing reductions on each of three classes of simple, …
Chenghua Liu, Boning Meng
PDF 引用 arXiv
Quantum Behaviors Are Not Semialgebraic
The conditional probabilities achievable by local measurements on a shared quantum state in a Bell scenario form the set of quantum …
PDF 引用 arXiv
Query-Optimal and Gate-Efficient Lindbladian Simulation
We give a quantum algorithm for Lindbladian simulation given a block encoding of the Hamiltonian $H$ and a projected unitary encoding …
Boyang Chen, Minbo Gao, Xinzhao Wang, Shuo Zhou
PDF 引用 arXiv
Quantum Compiler Design for Fault-Tolerant Quantum Computing
Scalable quantum computation is expected to rely on fault-tolerant quantum computation (FTQC), in which quantum error correction (QEC) …
Chenghong Zhu, Jiahan Chen, Keming He, Hongshun Yao, Zhaohui Yang, Jin-Guo Liu, Anbang Wu, Xiaotong Ni, Xingsheng Luan, Zhuo Fu, Shenggen Zheng, Xin Wang
PDF 引用 arXiv
Flow-Matched Motion Priors: Online Optimal-Transport Rewards for Imitation Learning
Learning a motion prior requires a reward that guides a policy from its current behavior toward demonstrated motion. Adversarial Motion …
Yilin Zou, Chenghua Liu, Chenglong Wu, Fanghua Jiang
PDF 引用 arXiv
Optimal Covariance Inflation under Gaussian Tilts
Covariance-sensitive analyses of Gaussian annealing for sampling from a convex body require controlling how much covariance can grow …
PDF 引用 arXiv
Quantum Query Advantage Requires Space
Hao, Huang, and Liu (STOC'26) recently showed that optimal quantum query complexity may require large workspace even for short-output …
PDF 引用 ECCC
GadIR: A Spatial-Topology Preserving Compiler for Quantum Many-Body Systems Simulation
Simulating quantum many-body systems has been one of the most important applications of quantum computation. For simulation, the …
Xiangyu Ren, Yuexun Huang, Zhaohui Yang, Yuchen Zhu, Tsung-Wei Huang, Tsung-Yi Ho, Zhiding Liang, Antonio Barbalace
PDF 引用 arXiv
A Dichotomy for Complex Boolean Holant with Binary Disequality
We prove a complexity dichotomy for Boolean Holant problems defined by arbitrary finite sets of algebraic complex-valued signatures …
Chenghua Liu, Boning Meng
PDF 引用 arXiv