{"id":"arxiv/2609.02038","url":"https://arxiv.org/abs/2609.02038","tags":["math.OC"],"score":0,"title":"A Hereditary Property of Cutting Plane Procedures","domain":"math.OC","source":"arxiv","authors":["Gérard Cornuéjols","Vrishabh Patil"],"reviews":0,"subject":"math.OC","summary":"Let $K'$ denote the closure of a convex set $K$ under a given cutting-plane procedure. The procedure satisfies the \\emph{hereditary property} if $F' = K' \\cap F$ for every face $F$ of $K$. The property underlies inductive proofs of finite-rank and the polyhedrality of closures, and it is an admissibility requirement in abstract frameworks for cutting-plane procedures. Yet, it has not been studied systematically across well-known cutting-plane procedures. We establish two sufficient conditions for the property. The first applies to procedures that can be expressed as closures under…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-02","reactions":{}}