{"id":"arxiv/2601.17969","url":"https://arxiv.org/abs/2601.17969","tags":["math.OC","math.LO"],"score":0,"title":"Quadratic Programming over Linearly Ordered Fields: Decidability and Attainment of Optimal Solutions","domain":"math.OC","source":"arxiv","authors":["Dmytro O. Plutenko"],"reviews":0,"subject":"math.OC","summary":"Classical existence theorems and solution methods for quadratic programming traditionally rely on the analytical properties of real numbers, specifically compactness and completeness. These tools are unavailable in general linearly ordered fields, such as the field of rational numbers or non-Archimedean structures, rendering standard analytical proofs insufficient in these general algebraic settings. In this paper, we establish a unified algebraic framework for the decidability of indefinite quadratic programming subject to linear constraints over general linearly ordered fields. We prove a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-25","reactions":{}}