6 papers
Runtime Monitoring of Distributed Cyber-Physical Systems Without a Global Clock
Charles Koll, Houssam Abbas
We give the first theoretical characterization, and the first algorithm, for continuous monitoring of a distributed Cyber-Physical System (CPS) against a dense-time temporal logic…
Optimal Extrapolation Bounds for Sparse Fourier Sums
Ruizhe Zhang
We prove an optimal extrapolation theorem for -sparse Fourier sums over arbitrary real frequencies, without any separation assumption, bounding how large such a sum can be just…
Overcoming the Lamb Shift in System-Bath Interaction Models via KMS Detailed Balance: High-Accuracy Thermalization with Time-Bounded Interactions
Hongrui Chen, Zhiyan Ding, Ruizhe Zhang
We investigate quantum thermal state preparation algorithms based on system-bath interactions and uncover a surprising phenomenon in the weak-coupling regime. We rigorously prove t…
Beyond Classical Attention: Quantum Attention for Scalable Computation
Xuyang Guo, Zhao Song, Xin Yang +1
As large language models (LLMs) demonstrate outstanding performance across various tasks, attention-driven models have profoundly transformed the field of machine learning. Since a…
Polynomial-Time Preparation of Low-Temperature Gibbs States for 2D Toric Code
Zhiyan Ding, Zeph Landau, Bowen Li +2
We propose a polynomial-time algorithm for preparing the Gibbs state of the two-dimensional toric code Hamiltonian at any temperature, starting from any initial condition, signific…
Neural Networks with Sparse Activation Induced by Large Bias: Tighter Analysis with Bias-Generalized NTK
Hongru Yang, Ziyu Jiang, Ruizhe Zhang +2
We study training one-hidden-layer ReLU networks in the neural tangent kernel (NTK) regime, where the networks' biases are initialized to some constant rather than zero. We prove t…