4 papers
Advancing Mathematical Research via Human-AI Interactive Theorem Proving
Chenyi Li, Zhijian Lai, Dong An +2
We investigate how large language models can be used as research tools in scientific computing while preserving mathematical rigor. We propose a human-in-the-loop workflow for inte…
Extended parameter shift rules with minimal derivative variance for parameterized quantum circuits
Zhijian Lai, Jiang Hu, Dong An +1
Parameter shift rules (PSRs) are useful methods for computing arbitrary-order derivatives of the cost function in parameterized quantum circuits. The basic idea of PSRs is to evalu…
Riemannian EXTRA: Communication-efficient decentralized optimization over compact submanifolds with data heterogeneity
Jiayuan Wu, Zhanwang Deng, Jiang Hu +2
We consider decentralized optimization over a compact Riemannian submanifold in a network of agents, where each agent holds a smooth, nonconvex local objective defined by its p…
Interpolation-based coordinate descent method for parameterized quantum circuits
Zhijian Lai, Jiang Hu, Taehee Ko +2
Parameterized quantum circuits (PQCs) are ubiquitous in the design of hybrid quantum-classical algorithms. In this work, we propose an interpolation-based coordinate descent (ICD)…