---
title: 'Capra-Convex Sets: Ray-Normalized Convexity'
url: https://www.emergentmind.com/topics/capra-convex-sets
type: topic
---

# Capra-Convex Sets: Ray-Normalized Convexity

Capra-convex sets are a class of sets in \(\mathbb{R}^n\) defined through a generalized Fenchel–Moreau theory in which the usual scalar product is replaced by a coupling that is constant along primal rays. Relative to a chosen source norm, the geometry is organized by directions rather than amplitudes: a set is determined by its normalized trace on the unit sphere-plus-origin, and Capra-convexity is the stability of its indicator under the associated biconjugacy. This framework was developed to capture the hidden convexity of ray-invariant objects such as the \(\ell_0\) pseudonorm and its cardinality sublevel sets, and it now provides a set-level theory in which closed convexity appears after normalization rather than in the ambient Euclidean space [2509.06392].

## 1. Coupling-based definition

Fix a norm \(\|\cdot\|\) on \(\mathbb{R}^n\), called the source norm, with unit sphere and unit ball
\[
S=\{x\in\mathbb{R}^n:\|x\|=1\}, \qquad B=\{x\in\mathbb{R}^n:\|x\|\le 1\}.
\]
The associated normalization map is
\[
n:\mathbb{R}^n\to S\cup\{0\}, \qquad n(x)=
\begin{cases}
\dfrac{x}{\|x\|}, & x\neq 0,\\[1mm]
0, & x=0.
\end{cases}
\]
Its decisive property is zero-homogeneity:
\[
n(\lambda x)=n(x)\qquad \forall \lambda\in\mathbb{R}\setminus\{0\},\ \forall x\in\mathbb{R}^n.
\]
The Capra coupling is then
\[
\mathcal{C}(x,y)=\langle n(x),y\rangle=
\begin{cases}
\dfrac{\langle x,y\rangle}{\|x\|}, & x\neq 0,\\[1mm]
0, & x=0,
\end{cases}
\]
so \(\mathcal{C}(\lambda x,y)=\mathcal{C}(x,y)\) for every \(\lambda>0\). In this sense, the coupling is constant along primal rays, which is the origin of the name Capra, for “Constant Along Primal Rays” [2509.06392].

Given \(f:\mathbb{R}^n\to\overline{\mathbb{R}}\), its Capra-Fenchel conjugate and biconjugate are
\[
f^{\mathcal C}(y) = \sup_{x\in\mathbb{R}^n}\bigl(\mathcal{C}(x,y)-f(x)\bigr),
\qquad
f^{\mathcal C\mathcal C}(x) = \sup_{y\in\mathbb{R}^n}\bigl(\mathcal{C}(x,y)-f^{\mathcal C}(y)\bigr),
\]
with \(f^{\mathcal C\mathcal C}\le f\). A function is Capra-convex iff
\[
f^{\mathcal C\mathcal C}=f.
\]
A set \(X\subseteq\mathbb{R}^n\) is Capra-convex iff its indicator
\[
\delta_X(x)=
\begin{cases}
0, & x\in X,\\
+\infty, & x\notin X
\end{cases}
\]
is Capra-convex. At the function level, the precursor framework already showed that Capra-convexity is equivalent to factorization through normalization: a function is Capra-convex iff there exists a closed convex \(\varphi\) such that \(f=\varphi\circ n\), and for indicators one has \(\delta_S^{\mathcal C}=\sigma_{n(S)}\), so the dual object is governed by the normalized image rather than by the original set [2010.13323].

## 2. Structural characterization of Capra-convex sets

The set-level characterization is explicit. A set \(X\subseteq\mathbb{R}^n\) is Capra-convex iff
\[
X=n^{-1}\bigl(\overline{\operatorname{conv}(n(X))}\bigr).
\]
Equivalently, a Capra-convex set is exactly the inverse image, under normalization \(n\), of a closed convex subset of \(S\cup\{0\}\) determined by its normalized trace. The whole set is therefore reconstructed from its direction set after closed convexification on the sphere-plus-origin [2509.06392].

For a cone \(K\), one has
\[
n(K)=K\cap(S\cup\{0\}),
\]
so the fundamental theorem can be read geometrically as follows: normalize the set onto the sphere-plus-origin; the normalized image must be the trace on \(S\cup\{0\}\) of a closed convex set. This yields the immediate consequence that every Capra-convex set is a cone, since Capra-convexity forces invariance under positive scaling:
\[
\lambda X = X \qquad \forall \lambda>0.
\]

The theory also supplies practical necessary conditions. If \(K\) is Capra-convex, then \(K\) is a cone, \(K\cup\{0\}\) is closed, and
\[
K\cap\{0\} = \overline{\operatorname{conv}\bigl(n(K)\bigr)}\cap\{0\}.
\]
When \(0\notin K\), this reduces to the efficient test
\[
0\notin \overline{\operatorname{conv}(n(K))}.
\]
If the source norm ball is rotund, meaning its sphere is exactly the set of extreme points of the ball, then these practical conditions are also sufficient. This holds, for example, for \(\ell_p\) with \(1<p<\infty\), including \(\ell_2\) [2509.06392].

## 3. Ray geometry, norm dependence, and basic examples

Capra-convexity is not ordinary convexity in \(\mathbb{R}^n\). The governing structure is not the Euclidean segment between points, but the ray structure induced by normalization. For arbitrary \(A\subseteq\mathbb R^n\),
\[
n^{-1}(A)=n^{-1}(A\cap (S\cup\{0\}))=\operatorname{cone}(A\cap (S\cup\{0\})).
\]
Hence a Capra-convex set is invariant along rays and completely determined by its section on \(S\cup\{0\}\). This explains why Capra-convex sets are necessarily cones, but need not be convex in the usual sense and need not even be closed [2509.06392].

The dependence on the source norm is substantial. The same cone may be Capra-convex for one norm and not for another. In \(\mathbb R^2\), define
\[
K_1=\operatorname{cone}\{(1,0),(-1,1),(-1,-1)\},
\]
\[
K_2=\operatorname{cone}\{(-1,0),(-1,1),(-1,-1)\},
\]
\[
K_3=\operatorname{cone}\!\left(\operatorname{conv}\left\{\left(\frac12,\frac{\sqrt3}{2}\right),\left(\frac12,-\frac{\sqrt3}{2}\right)\right\}\right).
\]
With source norm \(\|\cdot\|_2\), \(K_1\) is not Capra-convex because \(0\in \overline{\operatorname{conv}(n(K_1))}\), \(K_2\) is Capra-convex even though it is not convex in the ordinary sense, and \(K_3\) is Capra-convex. With source norm \(\|\cdot\|_\infty\), \(K_1\) is not Capra-convex, \(K_2\) is also not Capra-convex, and \(K_3\) remains Capra-convex. The divergence of \(K_2\) between \(\ell_2\) and \(\ell_\infty\) is the paper’s clearest illustration that Capra-convexity depends on the source norm [2509.06392].

A major positive class is provided by classical convex cones. If \(K\subseteq\mathbb{R}^n\) is a closed convex cone, then \(K\) is Capra-convex. If \(K\) is pointed, then \(K\setminus\{0\}\) is also Capra-convex. This shows that the theory contains all closed convex cones, but is strictly broader because it also includes cones that are not convex in the ordinary sense [2509.06392].

## 4. Hidden convexity of sparsity and support-constrained sets

The motivation for Capra-convexity comes from sparsity. The \(\ell_0\) pseudonorm
\[
\|x\|_0 = |\operatorname{supp}(x)|,
\qquad
\operatorname{supp}(x)=\{j\in\{1,\dots,n\}:x_j\neq 0\},
\]
is constant along nonzero rays, so ordinary Fenchel conjugacy is not adapted to it. The Euclidean precursor introduced the \(E\)-Capra coupling and proved the exact identities
\[
\delta_{\ell_0^{=k}}^{\dot c} = \delta_{\ell_0^{\le k}}^{\dot c} = \|\cdot\|_{(k)}^{\mathrm{top}},
\qquad
\delta_{\ell_0^{\le k}}^{\dot c\dot c'} = \delta_{\ell_0^{\le k}},
\qquad
\ell_0^{\dot c\dot c'}=\ell_0,
\]
so the lower sparsity level sets and the \(\ell_0\) pseudonorm itself are convex in the generalized Capra sense [1906.04038].

The later norm-general formulation established that, when both the source norm and its dual norm are orthant-strictly monotonic, every nondecreasing finite-valued function of the support mapping is Capra-convex. In particular, for suitable source norms one has
\[
\|x\|_0 = \bigl(\|\,\cdot\,\|_0\bigr)^{\mathcal C\mathcal C}(x),
\]
and more generally every such function can be written as the composition of a proper convex lower semicontinuous function on \(\mathbb R^d\) with the normalization map. This is the hidden-convexity interpretation of support-dependent combinatorial penalties [2002.01314].

The subdifferential theory makes the norm dependence sharper. For source norm \(\|\cdot\|_p\), \(1<p<\infty\), the \(\ell_0\) pseudonorm is everywhere Capra-subdifferentiable and Capra-convex. For \(p=1\), it is not Capra-convex, and its Capra-biconjugate is \(0\) at \(0\) and \(1\) elsewhere. For \(p=\infty\), it is also not Capra-convex, and its biconjugate is
\[
\begin{cases}
0,&x=0,\\[1mm]
\dfrac{\|x\|_1}{\|x\|_\infty},&x\neq 0.
\end{cases}
\]
Thus the endpoint norms fall outside the exact biconjugacy regime that holds for \(1<p<\infty\) [2112.15335].

At the set level, the current theory incorporates these sparse objects directly: if \(f\) is Capra-convex, then every sublevel set
\[
\{x\in\mathbb R^n:f(x)\le t\}
\]
is Capra-convex. Since \(\ell_0\) is Capra-convex for suitable source norms, the cardinality-constrained sets
\[
\{x\in\mathbb R^n:\|x\|_0\le k\}
\]
are Capra-convex. This is one of the principal reasons the framework is considered relevant to statistics, machine learning, and sparse optimization [2509.06392].

## 5. Conical hulls, spherical convexity, and matrix-space analogues

Because Capra-convexity is ray-based, conical hulls play a central role. If \(f\) is Capra-convex, then
\[
f(\lambda x)=f(x)\qquad \forall \lambda>0,
\]
hence minimization over a set \(X\) can be rewritten over \(\operatorname{cone}(X)\). The set-theoretic counterpart is that, if \(X\subseteq\mathbb R^n\) is compact with
\[
0\notin \operatorname{conv}(X),
\]
and either the source norm ball is rotund or \(X\) is convex, then
\[
\operatorname{cone}(X)
\]
is Capra-convex. The assumptions matter: if \(0\in\operatorname{conv}(X)\), or if \(X\) is not compact, the conical hull may fail to be Capra-convex [2509.06392].

The relation to spherical convexity is close but not identical. A subset \(X\subset S\) is spherically-convex if
\[
n\bigl(\lambda x+(1-\lambda)x'\bigr)\in X
\qquad \forall x,x'\in X,\ \forall \lambda\in[0,1].
\]
The conical hull of a spherically-convex set is not always Capra-convex, but the closure of that conical hull is. More precisely, if \(X\subset S\) is spherically-convex, then
\[
\overline{\operatorname{cone}(X)}
\]
is Capra-convex, and if this cone is pointed, then
\[
\overline{\operatorname{cone}(X)\setminus\{0\}}
\]
is also Capra-convex. Thus spherical convexity and Capra-convexity are related through cone generation and closure, but the notions are not identical [2509.06392].

The same ray-normalized convexity has matrix analogues. On \(\mathbb R^{m\times n}\), with a source matrix norm, the matrix Capra coupling is
\[
\dot c(M,N)=
\begin{cases}
\dfrac{\operatorname{Tr}(MN^\top)}{\|M\|}, & M\neq 0,\\[1ex]
0, & M=0.
\end{cases}
\]
This produces a generalized convexity theory for rank-based functions. The rank function admits a Capra-biconjugate lower bound in terms of generalized \(r\)-rank norms, and for the Frobenius norm one has exact equality
\[
\operatorname{rank}=\operatorname{rank}^{\dot c\dot c'}.
\]
A plausible implication is that Capra-convexity extends naturally from sparse vectors to low-rank matrix models through the same constant-along-rays mechanism [2105.14982].

## 6. Distinctions, limitations, and significance

Several misconceptions are explicitly ruled out by the theory. Capra-convexity is not ordinary convexity in disguise: the cone \(K_2\) above is not convex in the ordinary sense but is Capra-convex for the Euclidean source norm. It is not source-norm invariant: the same set may be Capra-convex for \(\|\cdot\|_2\) and fail for \(\|\cdot\|_\infty\). It is not simply spherical convexity, since the conical hull of a spherically-convex set need not be Capra-convex without closure. It is also not epigraph stability in the ordinary sense: if \(f\) is Capra-convex, then its sublevel sets are Capra-convex, but its epigraph is not generally Capra-convex with respect to the original Capra coupling; instead, epigraph convexity requires a modified coupling on \(\mathbb R^n\times\mathbb R\) built from \(\theta(x,t)=(n(x),t)\) [2509.06392].

The framework’s significance is tied to hidden convexity. If both an objective \(f\) and the indicator of a constraint set \(X\) are Capra-convex, then
\[
f+\delta_X = F\circ n
\]
for some proper lower semicontinuous convex \(F\). Therefore
\[
\inf_{x\in X} f(x) = \inf_{s\in S\cup\{0\}} F(s),
\]
so an optimization problem that is nonconvex in the original variables becomes the minimization of a usual convex function over the sphere-plus-origin. The theory is accordingly positioned as relevant to statistics and machine learning, to sparse optimization, and to generalized duality and possible algorithmic frameworks, including cutting-plane methods for Capra-convex functions [2509.06392].

In this sense, Capra-convex sets are best understood as the set-theoretic layer of a broader generalized convex analysis: they are ray-invariant sets whose normalized directions form the spherical trace of a closed convex set, and they provide the natural feasible regions for optimization problems in which support, sparsity, or rank matter more than amplitude.

Source: https://www.emergentmind.com/topics/capra-convex-sets