  Matrix convexity generalizes convexity to the dimension free setting and has
connections to many mathematical and applied pursuits including operator
theory, quantum information, noncommutative optimization, and linear control
systems. In the setting of classical convex sets, extreme points are central
objects which exhibit many important properties. For example, the Minkowski
theorem shows that any element of a closed bounded convex set can be expressed
as a convex combination of extreme points. Extreme points are also of great
interest in the dimension free setting of matrix convex sets; however, here the
situation requires more nuance.
  In the dimension free setting, there are many different types of extreme
points. Of particular importance are free extreme points, a highly restricted
type of extreme point that is closely connected to the dilation theoretic
Arveson boundary. If free extreme points span a matrix convex set through
matrix convex combinations, then they satisfy a strong notion of minimality in
doing so. However, not all closed bounded matrix convex sets even have free
extreme points. Thus, a major goal is to determine which matrix convex sets are
spanned by their free extreme points.
  Building on a recent work of J. W. Helton and the author which shows that
free spectrahedra, i.e., dimension free solution sets to linear matrix
inequalities, are spanned by their free extreme points, we establish two
additional classes of matrix convex sets which are the matrix convex hull of
their free extreme points. Namely, we show that closed bounded free
spectrahedrops, i.e, closed bounded projections of free spectrahedra, are the
span of their free extreme points. Furthermore, we show that if one considers
linear operator inequalities that have compact operator defining tuples, then
the resulting ``generalized" free spectrahedra are spanned by their free
extreme points.
