{"id":"arxiv/2606.18173","url":"https://arxiv.org/abs/2606.18173","tags":["math.FA","math.NA","math.OC"],"score":0,"title":"An algorithm to exactly compute minimal upper bounds in the Loewner order","domain":"math.FA","source":"arxiv","authors":["Adam Humeniuk","Gabriel Jarry-Bolduc","Patrick Pascua","Nejaunie Williams"],"reviews":0,"subject":"math.FA","summary":"The Loewner order on Hermitian matrices is a partial order that compares matrices in terms of positive semidefiniteness. The Loewner order plays a key role in many fields such as optimization, numerical linear algebra, control theory, operator theory, and quantum information. A fundamental difficulty is that two or more Hermitian matrices do not necessarily have a unique minimal upper bound (or maximal lower bound). In this paper, we propose an iterative method to exactly compute a minimal upper bound for any finite collection of $n\\times n$ Hermitian matrices. It is shown that the algorithm…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-16","reactions":{}}