3 papers
math.AC2026
An Algorithm for Diagonalizing Matrices of Formal Power Series
Zihao Dai, Hao Liang, Jingyu Lu +1
This paper studies the unitary diagonalization of matrices over formal power series rings. Our main result shows that a normal matrix is unitarily diagonalizable if and only if its…
quant-ph2025
A Noncommutative Nullstellensatz for Perfect Two-Answer Quantum Nonlocal Games
Tianshi Yu, Lihong Zhi
This paper introduces a noncommutative version of the Nullstellensatz, motivated by the study of quantum nonlocal games. It has been proved that a two-answer nonlocal game with a p…
math.OA2024
Perfect Quantum Approximate Strategies for Imitation Games
Hao Liang, Tianshi Yu, Lihong Zhi
We prove that an imitation game has a perfect quantum approximate strategy if and only if there exists a bi-tracial state on the minimal tensor product of two universal C-alg…