Fuglede--Kadison Determinants of Shifted Matrix Semicircles
We prove a variational formula for the Fuglede-Kadison determinant of a self-adjoint matrix semicircle $S_a = a \otimes 1 + \sum_j A_j \otimes s_j$ with deterministic mean $a$. For every real $z$, $\log Δ(S_a - z) = -1/2 + \inf_b F_z(b)$, where the infimum is over positive definite matrices $b$ such that the map $X \mapsto bXb - \sum_j A_j X A_j$ is positive semidefinite, and $F_z$ is an explicit geodesically convex function. Both sides equal $-\infty$ exactly when $z$ is an atom of the spectral measure. The formula was proposed, without proof, in a recent post of Speicher. In the centered…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.15180
curl -X POST /api/v1/records/arxiv/2610.15180/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.15180/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'