{"id":"arxiv/2609.09541","url":"https://arxiv.org/abs/2609.09541","tags":["math.OC","math.NA"],"score":0,"title":"A Function-Space Framework for BDDC Preconditioning in Control- and State-Constrained Sparse Optimal Control","domain":"math.OC","source":"arxiv","authors":["Harbir Antil","Keegan L. A. Kirk","Umarkhon Rakhimov"],"reviews":0,"subject":"math.OC","summary":"We develop a Balancing Domain Decomposition by Constraints (BDDC) preconditioner for the interface systems arising from active-set semi-smooth Newton linearizations of elliptic optimal control problems with box-constrained controls, $L^1$-sparsity, and Moreau--Yosida regularized state constraints. The domain decomposition and BDDC construction are formulated directly at the infinite-dimensional level. Eliminating the interior variables yields a Schur complement for the state and adjoint traces assembled from local subdomain operators. We prove a global--local equivalence result, establish…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-08","reactions":{}}