{"id":"arxiv/2610.13804","url":"https://arxiv.org/abs/2610.13804","tags":["stat.ML","cs.LG","math.NA"],"score":0,"title":"Constrained Probabilistic Numerics: Gaussian Process Solvers for Linear PDEs under Linear Inequality Constraints","domain":"stat.ML","source":"arxiv","authors":["Boyuan Deng","Kshitiz Upadhyay","Michael Shields"],"reviews":0,"subject":"stat.ML","summary":"Gaussian process solvers for linear partial differential equations (PDEs) return posteriors rather than point estimates, but they condition only on equality information: the PDE residual, boundary data, and measurements. Many solutions of interest also obey inequality constraints, including nonnegativity, monotonicity, and absence of arbitrage, which equality conditioning cannot enforce. We prove that conditioning a Gaussian process prior jointly on linear equality observations and a finite-dimensional inequality event is equivalent to conditioning sequentially in terms of Borel measures on…","category":"research","comments":0,"disputed":false,"division":"stat","mentions":0,"discussed":0,"published":"2026-10-09","reactions":{}}