68 citations · 117 across the 11 of their papers we have counts for
11 papers
Stateful Governance for Concurrent Agentic Systems
Yuxiang Peng, Xiaodi Wu
AI agents are moving from advisory interfaces into systems that execute consequential operations: issuing refunds, reserving scarce inventory, provisioning cloud resources, and ini…
Quantum Hamiltonian Descent for Non-smooth Optimization
Jiaqi Leng, Yufan Zheng, Zhiyuan Jia +4
Non-smooth optimization models play a fundamental role in various disciplines, including engineering, science, management, and finance. However, classical algorithms for solving su…
QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Descent
Samuel Kushnir, Jiaqi Leng, Yuxiang Peng +2
We develop an open-source, end-to-end software (named QHDOPT), which can solve nonlinear optimization problems using the quantum Hamiltonian descent (QHD) algorithm. QHDOPT offers…
Expanding Hardware-Efficiently Manipulable Hilbert Space via Hamiltonian Embedding
Jiaqi Leng, Joseph Li, Yuxiang Peng +1
Many promising quantum applications depend on the efficient quantum simulation of an exponentially large sparse Hamiltonian, a task known as sparse Hamiltonian simulation, which is…
A Case for Synthesis of Recursive Quantum Unitary Programs
Haowei Deng, Runzhou Tao, Yuxiang Peng +1
Quantum programs are notoriously difficult to code and verify due to unintuitive quantum knowledge associated with quantum programming. Automated tools relieving the tedium and err…
SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation
Yuxiang Peng, Jacob Young, Pengyu Liu +1
Quantum Hamiltonian simulation, which simulates the evolution of quantum systems and probes quantum phenomena, is one of the most promising applications of quantum computing. Recen…
Differentiable Analog Quantum Computing for Optimization and Control
Jiaqi Leng, Yuxiang Peng, Yi-Ling Qiao +2
We formulate the first differentiable analog quantum computing framework with a specific parameterization design at the analog signal (pulse) level to better exploit near-term quan…
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
Yuxiang Peng, Kesha Hietala, Runzhou Tao +4
Quantum computing technology may soon deliver revolutionary improvements in algorithmic performance, but these are only useful if computed answers are correct. While hardware-level…
Verified Compilation of Quantum Oracles
Liyi Li, Finn Voichick, Kesha Hietala +3
Quantum algorithms often apply classical operations, such as arithmetic or predicate checks, over a quantum superposition of classical data; these so-called oracles are often the l…
Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra
Yuxiang Peng, Mingsheng Ying, Xiaodi Wu
We investigate the algebraic reasoning of quantum programs inspired by the success of classical program analysis based on Kleene algebra. One prominent example of such is the famou…
Experimental Realization of Device-Independent Quantum Randomness Expansion
Ming-Han Li, Xingjian Zhang, Wen-Zhao Liu +12
Randomness expansion where one generates a longer sequence of random numbers from a short one is viable in quantum mechanics but not allowed classically. Device-independent quantum…