Open Research Index

An Algorithm for Diagonalizing Matrices of Formal Power Series

Zihao Dai, Hao Liang, Jingyu Lu, Lihong Zhi

arXivarxiv/2602.08313Feb 9, 2026math.ACscore 0

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 minimal polynomial completely splits over the ring and the associated spectral projections have entries in the ring. Building on this characterization, we develop an algorithm for deciding the unitary diagonalizability of matrices over regular local rings of algebraic varieties. A central ingredient of the algorithm is a decision procedure for determining whether a polynomial splits over a formal power series…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2602.08313
curl -X POST /api/v1/records/arxiv/2602.08313/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.08313/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'