{"id":"arxiv/2606.14687","url":"https://arxiv.org/abs/2606.14687","tags":["math.PR","math.OA","math.OC","math.ST"],"score":0,"title":"Lehner's operator norm formulas, semidefinite programming, and spiked matrix models","domain":"math.PR","source":"arxiv","authors":["Dmitriy Kunisky"],"reviews":0,"subject":"math.PR","summary":"Lehner (1999) derived elegant formulas for the operator norm $\\|\\mathfrak{X}\\|$ of operators of the form $\\mathfrak{X} = \\mathbf{A}_0 \\otimes \\mathfrak{1} + \\sum_{i = 1}^n \\mathbf{A}_i \\otimes \\mathfrak{m}_i$, also easily generalized to the spectral edge $λ_{\\max}(\\mathfrak{X})$, in terms of nonlinear optimization problems over positive definite matrices. Here the $\\mathbf{A}_i$ are finite-dimensional Hermitian matrices, the $\\mathfrak{m}_i$ are either free semicircular or free Rademacher families of operators, and $\\mathfrak{1}$ is the identity operator. We first show that both of Lehner's…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-12","reactions":{}}