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.OC2024
Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets
Zihao Dai, Zijia Li, Zhi-Hong Yang +1
Algebraic boundaries of convex semi-algebraic sets are closely related to polynomial optimization problems. Building upon Rainer Sinn's work, we refine the stratification of iterat…