2 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…
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…