Convex Hull Condition

• Convex hull condition is a criterion that defines when a point, function, or set lies within a convex or generalized convex hull by ensuring every relevant subspace intersects the prescribed set.
• It underpins a range of applications from numerical analysis and PDE theory to variational methods and optimization, guiding algorithms for membership tests and solution invariance.
• The condition facilitates exact relaxations in nonconvex optimization and supports efficient geometric computations, offering actionable insights across theoretical and applied mathematics.

A convex hull condition is a necessary-and-sufficient criterion for determining when a point, set, or function lies within the convex hull (or an appropriate generalization) of a prescribed set. Such conditions encode both geometric and analytic membership, underpinning fundamental theorems in convex geometry, optimization, numerical analysis, and geometric computation. These conditions arise in a diverse set of frameworks, including generalized convexities, non-Euclidean metric spaces, motion planning, variational principles, and algebraic-geometric representations.

1. Generalized Convex Hull and the m-Hull Condition

The classical convex hull $\operatorname{conv}(E)$ of a set $E\subset\mathbb{R}^n$ is the minimal convex set containing $E$. This notion admits a generalization parametrized by an integer $0\leq m\leq n-1$ into the concept of $m$-convexity:

• $E$ is $m$-convex if, for every $x\notin E$, there exists an $m$-dimensional affine subspace $L_x\subset\mathbb{R}^n$ with $E\subset\mathbb{R}^n$0 and $E\subset\mathbb{R}^n$1.
• The $E\subset\mathbb{R}^n$2-hull of $E\subset\mathbb{R}^n$3, denoted $E\subset\mathbb{R}^n$4, is the intersection of all $E\subset\mathbb{R}^n$5-convex supersets of $E\subset\mathbb{R}^n$6.

The canonical convex hull is recovered at $E\subset\mathbb{R}^n$7. The primary convex hull condition for point-membership in this context, due to Zelinskii–Vyhovsʹka–Stefanchuk, is:

• For compact sets $E\subset\mathbb{R}^n$8 ($E\subset\mathbb{R}^n$9) and $E$0,

$E$1

This characterization generalizes the classical Carathéodory criterion for convex hull membership and is central to the shadow problem, in which the absence of lines (for $E$2) avoiding $E$3 through a point guarantees inclusion in the $E$4-hull (Zelinskii et al., 2015).

2. Convex Hull Conditions in Metric and Weakly Convex Spaces

In metric geometry, convexity and hull conditions can be formulated in spaces admitting geodesic bicombings. Let $E$5 be a metric space with a conical geodesic bicombing $E$6. The $E$7-convex hull $E$8 of a set $E$9 is the intersection of all closed $0\leq m\leq n-1$0-convex subsets containing $0\leq m\leq n-1$1, where $0\leq m\leq n-1$2-convexity requires all $0\leq m\leq n-1$3-geodesics between pairs in $0\leq m\leq n-1$4 to remain in the set.

While in CAT(0) spaces or injective metric spaces, the hull of a compact set remains compact, recent work demonstrates that the generalized convex-hull condition

$0\leq m\leq n-1$5

can fail to ensure compactness in the absence of stronger global curvature assumptions. Specifically, there exist metric spaces with a conical bicombing and finite $0\leq m\leq n-1$6 such that $0\leq m\leq n-1$7 is non-compact, showing that minimal geodesic-convexity is insufficient for compactness of convex hulls (Basso et al., 2023).

3. Convex Hull Property in Discrete, Variational, and PDE Contexts

In variational, PDE, and finite element contexts, the convex hull property supplies a crucial generalization of the maximum principle, guaranteeing that certain solutions remain within the convex hull determined by boundary or initial data. For conforming P$0\leq m\leq n-1$8 finite elements on non-obtuse meshes, minimizers $0\leq m\leq n-1$9 of convex energies $m$0 satisfy an exact discrete hull condition:

$m$1

provided the energy is strictly convex and monotone in the gradient, and mesh angles are non-obtuse (Diening et al., 2013). A strong form holds for strictly acute triangulations: if an interior nodal value attains an extreme point of the boundary-value convex hull, then $m$2 is locally constant.

In systems of elliptic or parabolic PDEs, analogous hull properties are established for solutions $m$3 to

$m$4

with suitable matrix decoupling and factorization hypotheses on the coefficients. Under these conditions, solutions remain globally in the convex hull of their boundary (or parabolic boundary) values, with precise algebraic structure conditions on the differential operators (Češík, 2023).

4. Convex Hull Conditions in Optimization and Nonlinear Algebraic Settings

The convex hull condition is pivotal in providing exact relaxations for non-convex optimization problems. For example, in quadratically constrained quadratic programs (QCQPs) with epigraph set

$m$5

one seeks conditions under which $m$6 is precisely represented by the projected feasible set of the standard semidefinite program (SDP) relaxation.

• The convex hull is exact ($m$7) iff, for every boundary point $m$8 of the SDP relaxation outside $m$9, there exists a nonzero direction in which $E$0 can be "rounded" into $E$1 while remaining in the feasible SDP region. This is formalized via a tangent cone $E$2 constructed using the facial structure of the cone of convex Lagrange multipliers, and its nontriviality is both necessary and sufficient under a geometric exposedness assumption (Wang et al., 2024).
• Sufficient conditions involving quadratic eigenvalue multiplicity or block-structured matrices yield explicit and verifiable convex-hull exactness in several practical cases (2002.01566).

In polynomial, algebraic, and moment curve settings, the convex hull condition attains a combinatorial algebraic character. Every point in the convex hull of the parametric moment curve $E$3 can be written as a convex combination of at most $E$4 curve points, with the evaluation mapping modulo coefficient-merge equivalences forming a homeomorphism onto the convex hull (Mazur, 2017).

Convex hull representations for sets defined by bounded bilinear (product) terms, such as $E$5, are determined by known polyhedral constraints (the McCormick inequalities) supplemented, in the case of additional bounds on $E$6, by one or more second-order cone (SOC) constraints. These characterize the convex hull exactly, and the optimality of the associated representations is established via explicit volume formulas (Anstreicher et al., 2020).

5. Algorithmic Convex Hull Membership and Data Structures

Efficient algorithmic determination of convex hull membership is essential in computational geometry. For $E$7, a query point $E$8 is in $E$9 if and only if it is below every oriented edge of the upper hull and above every edge of the lower hull covering its $m$0-coordinate. For dynamic data structures, efficient membership checking and convex hull maintenance rely on bridge-finding routines that, using only three slope/intersection cases, reduce the complexity of queries to $m$1. This arises from the observation that every candidate for the "bridge" in a decomposable convex hull must satisfy one of three mutually exclusive slope relations, circumventing the need for cumbersome case analyses previously used (Gæde et al., 2023).

Application	Convex Hull Condition	Reference
Generalized hulls	All $m$2-subspaces through $m$3 intersect $m$4	(Zelinskii et al., 2015)
Metric spaces	$m$5-hull equals completion under midpoint iteration	(Basso et al., 2023)
PDEs/Variational	Solution lies in convex hull of boundary/initial values	(Diening et al., 2013, Češík, 2023)
QCQP Optimization	Nontrivial tangent to SDP hull at all relaxed, non-epigraph points	(Wang et al., 2024, 2002.01566)
Algorithmic geom.	Point under all hull edges; dynamic slope/intersection case algorithm	(Gæde et al., 2023)

6. Logical, Semantic, and Geometric Interpretations

Convex hull conditions also manifest as semantic evaluators in logic and abstract convex geometry. In preferential conditional logic, a conditional $m$6 holds in a finite point model iff all extreme points of the antecedent set $m$7 satisfy $m$8, equivalently if $m$9 is contained in the convex hull of $x\notin E$0. Completeness results establish that the axiomatization precisely captures this geometric hull-based semantic (Marti, 2020).

In the context of generalized geometric or algebraic structures, important representational theorems (e.g., Richter–Rogers representation) guarantee that finite convex geometries can always be realized as points or unions of convex polygons in $x\notin E$1, with the convex-hull condition interpreting abstract closure operators as geometric hulls.

---

In summary, the convex hull condition constitutes a unifying principle across a broad spectrum of pure and applied mathematics, serving as a test for inclusion not only in classical convex sets but in generalized, lifted, discrete, and metric settings. It is intimately connected to separation properties, solution invariance, and optimality criteria and is central to the structural analysis of convexity in analytic, algorithmic, and logical frameworks.