4 papers
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…
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…
Unlabeled Sensing Using Rank-One Moment Matrix Completion
Hao Liang, Jingyu Lu, Manolis C. Tsakiris +1
We study the unlabeled sensing problem that aims to solve a linear system of equations for an unknown permutation . For a generic matrix and a generic vector $y…
The non-Archimedean Nirgendsnegativsemidefinitheitsstellensatz is not true
Hao Liang, Sizhuo Yan, Jianting Yang +1
Klep and Schweighofer asked whether the Nirgendsnegativsemide-finitheitsstellensatz holds for a symmetric noncommutative polynomial whose evaluations at bounded self-adjoint operat…