---
title: 'Gconvex: Contextual Generalized Convexity'
url: https://www.emergentmind.com/topics/gconvex
type: topic
---

# Gconvex: Contextual Generalized Convexity

Searching arXiv for recent and core papers on “gconvex” across its main meanings.
`gconvex` is not a single standardized notion. In the literature considered here, it names several distinct convexity concepts: geodesic convexity of sets and functions on manifolds, \(g\)-convexity defined by the convexity of \(g\circ f\), \(g\)-convex dominated functions, generalized convex polyhedra and generalized convex functions in infinite-dimensional analysis, \(G\)-convexity induced by a subset of a Grassmann bundle, and graph-theoretic convexities defined by shortest paths or directed \(P_3\)-configurations [1611.08643] [2003.10892] [1705.06874] [1111.3875] [2409.14434] [2606.24707]. The common thread is not a universal definition but the replacement of ordinary Euclidean convexity by a structure-dependent notion of “betweenness,” “support,” or “admissible interpolation.”

## 1. Terminological scope

The term is therefore best understood as a family resemblance rather than a single invariant definition. In the sources below, the ambient structure determines what “convex” means: geodesics on a manifold, a kernel \(\phi(x,y)\) in generalized conjugacy, a comparison function \(g\), a class of tangent \(p\)-planes \(G\subset G(p,TX)\), or a path system in a graph.

| Context | Core notion | Representative source |
|---|---|---|
| Riemannian geometry | Geodesically convex sets; geodesically convex functions along geodesics | [1611.08643], [2409.14434] |
| Functional inequalities | \(g\circ f\) convex; \(g\)-convex dominated Jensen defect | [2003.10892], [1306.0259] |
| Locally convex TVS and optimization | Generalized convex polyhedra; kernel-defined generalized convex functions | [1705.06874], [2509.04477] |
| Geometric potential theory | \(G\)-plurisubharmonicity and \(G\)-convex domains | [1111.3875] |
| Harmonic mapping theory | Convexity in one direction of image domains | [1703.03599] |
| Graph theory | Geodetic convexity; \(\overrightarrow{P_3}\)- and \(\overrightarrow{P_3^*}\)-convexities | [2606.05483], [2606.24707] |

A persistent misconception is to read `gconvex` as if it always meant “geodesically convex.” In some papers it does, but in others the letter \(g\) refers to a comparison function, to “generalized,” or to a fixed geometric datum \(G\). The semantics are local to the paper’s formalism rather than global across fields.

## 2. Geodesic convexity on Riemannian manifolds

In the Riemannian setting, \(gconvex\) most directly means geodesic convexity. For a connected, complete Riemannian manifold \((M,g)\), a subset \(C\subset M\) is **convex** in the sense of "Geodesic Convexity Types in Riemannian Manifolds" if, for all \(x,y\in C\), there exists a unique minimizing geodesic segment \(\gamma_{xy}\) from \(x\) to \(y\) and \([xy]\subset C\) [1611.08643]. The same paper distinguishes **strong convexity**, where the endpoints may lie in \(\overline C\) and only the open segment \((xy)\) must lie in \(C\). This distinction is nontrivial away from Euclidean space because minimizing geodesics need not be unique, and geodesic segments may run along the boundary.

The paper further separates global set-convexity from local sphere conditions. For a geodesic sphere \(S_g(p;r)\), the **convexity condition** requires that every tangent geodesic satisfies \(d_g(p,\gamma(t))\ge r\) near the tangency point, while the **strong convexity condition** strengthens this to strict inequality away from the contact point. These induce the notions of **local convexity** and **strong local convexity** of the ball \(B_g(p;r)\). The associated pointwise radii
\[
c_g(p),\quad sc_g(p),\quad lc_g(p),\quad slc_g(p)
\]
measure how far each of these properties persists around \(p\), and they satisfy
\[
sc_g(p)\le c_g(p)\le lc_g(p)\le i_g(p),\qquad sc_g(p)\le slc_g(p)\le lc_g(p),
\]
together with Berger’s global inequality
\[
c_g(M)\le \tfrac12 i_g(M)
\]
for complete manifolds [1611.08643].

The central structural question in that work is when several convexity types coincide on all geodesic balls. The paper defines **Cpsl** by the coincidence of proper convexity, strong convexity, and strong local convexity on balls below the injectivity radius, and **Cps** by the coincidence of proper and strong convexity on such balls. These hypotheses are highly restrictive. If Cpsl holds at even one point \(p\), then \(sc_g(p)=\infty\), and the manifold is diffeomorphic to \(\mathbb{R}^n\). Globally, a complete manifold is Cps if and only if \(c_g(M)=\infty\), and, via O’Sullivan’s result quoted there, this is equivalent to being simply connected and focal-point-free [1611.08643].

The Euclidean case is the degenerate benchmark: straight lines are the unique minimizing geodesics, all these convexity types collapse, and all corresponding radii are infinite. The point of the paper is precisely that this collapse is exceptional rather than generic.

## 3. Function-theoretic meanings of \(g\)-convexity

For functions on manifolds, geodesic convexity is the direct analogue of ordinary convexity: a function \(f:M\to\mathbb{R}\) is geodesically convex if, for every geodesic segment \(\gamma:[0,1]\to M\),
\[
f(\gamma(t)) \le (1-t)f(\gamma(0)) + t f(\gamma(1)),\qquad t\in[0,1].
\]
"The sparseness of g-convex functions" identifies this with the positivity of the covariant Hessian,
\[
\Hess_\nabla f \succeq 0,
\]
on a \(g\)-convex domain, and then asks a reverse question: given \(f\), when does there exist a connection or metric for which \(f\) is g-convex? The paper proves that any smooth function with no critical points is g-convex with respect to some connection, that local convexity near every critical point is also sufficient, and that under a geodesically complete connection a g-convex function with discrete critical set has at most one critical point. It then derives three sparseness phenomena: on a compact manifold the set of g-convex smooth functions is nowhere dense in \(C^\infty(\mathcal M)\); for generic polynomials on \(\mathbb{R}^n\) that are g-convex under some geodesically complete connection, there is at most one critical point; and in several polynomial families the density of g-convex members decreases asymptotically to zero [2409.14434].

A different functional usage appears in "A new treatment of convex functions." There, \(f:J_1\to J_2\) is called **\(g\)-convex** when \(g:J_2\to J_3\) is increasing and concave and the composition \(h:=g\circ f\) is convex. This recovers ordinary convexity when \(g=\mathrm{id}\) and log-convexity when \(g(x)=\log x\). The basic inequality is
\[
f\Bigl(\sum_{i=1}^n w_i x_i\Bigr)\le g^{-1}\!\Bigl(\sum_{i=1}^n w_i (g\circ f)(x_i)\Bigr)\le \sum_{i=1}^n w_i f(x_i),
\]
which refines Jensen’s inequality. The same paper defines the **index of convexity**
\[
I_{\mathrm{conv}}(f)=\sup\{\,r\ge 1:(f(x))^r \text{ is convex}\,\},
\]
and shows, for example, that log-convexity implies \(I_{\mathrm{conv}}(f)=\infty\) [2003.10892].

Yet another meaning is **\(g\)-convex domination**. For a convex \(g:I\to\mathbb{R}\), a function \(f:I\to\mathbb{R}\) is \(g\)-convex dominated if
\[
\bigl|\lambda f(x)+(1-\lambda)f(y)-f(\lambda x+(1-\lambda)y)\bigr|
\le \lambda g(x)+(1-\lambda)g(y)-g(\lambda x+(1-\lambda)y).
\]
On rectangles \(A=[a,b]\times[c,d]\), "On The Coordinated g-convex Dominated Functions" defines coordinate-wise \(g\)-convex domination by requiring the corresponding one-variable slices to satisfy this inequality. In one dimension, and coordinate-wise in the paper’s two-variable setting, this is equivalent to convexity of \(g-f\) and \(g+f\). The resulting framework yields Hadamard-type and Fejér-type inequalities in which the deviation of \(f\) from the classical convex inequality is controlled by the corresponding deviation of \(g\) [1306.0259].

The Grand Lebesgue Space literature uses `gconvex` in a weaker geometric sense. "Analog of modulus of convexity for Grand Lebesgue Spaces" does not introduce a full modulus of convexity for GLS; instead it defines a **weak characteristic of convexity** \(A[X,Y]\) through
\[
\|x+y\|_X \le 2 - 2\,A[X,Y](\|x-y\|_Y),
\]
and specializes this to \(X=G_\psi[a,b]\). For \(1<a<b\le 2\) it derives lower bounds \(A[G_\psi](u)\ge K[G_\psi](u)\), and for \(2<a<b<\infty\) it derives \(A[G_\psi](u)\ge Q[G_\psi](u)\), yielding refined triangle inequalities in GLS. The paper explicitly states that it does not fully prove uniform convexity of all GLS considered and poses the existence of a genuine modulus of convexity for classes such as subgaussian GLS as an open problem [2102.07852].

## 4. Generalized convex sets, transforms, and optimization

In infinite-dimensional convex analysis, `gconvex` frequently means **generalized convex** rather than geodesic. "A Representation of Generalized Convex Polyhedra and Applications" studies generalized polyhedral convex sets in a locally convex Hausdorff topological vector space \(X\). A subset \(C\subset X\) is a generalized convex polyhedron if there exist continuous linear functionals \(x_i^*\in X^*\), scalars \(\alpha_i\in\mathbb{R}\), and a closed affine subspace \(L\subset X\) such that
\[
C=\{x\in X\mid x\in L,\ (x_i^*,x)\le \alpha_i,\ i=1,\dots,p\}.
\]
The core representation theorem states that a nonempty generalized convex polyhedron admits a Minkowski-type representation
\[
D=
\Bigl\{\sum_{i=1}^k \lambda_i u_i+\sum_{j=1}^{\ell}\mu_j v_j\ \Big|\ \lambda_i\ge 0,\ \sum_{i=1}^k\lambda_i=1,\ \mu_j\ge 0\Bigr\}+X_0,
\]
with finitely many points \(u_i\), finitely many directions \(v_j\), and a closed linear subspace \(X_0\subset X\). The paper then uses this representation to prove Eaves-type and Frank–Wolfe-type existence criteria for generalized linear programming, to characterize the set of linear functionals admitting solutions, and to show that the weakly efficient solution set of a generalized linear vector optimization problem is the union of finitely many generalized polyhedral convex sets [1705.06874].

A more recent and explicitly computational direction appears in "Universal Representation of Generalized Convex Functions and their Gradients." There the ambient structure is a surplus kernel \(\phi:X\times Y\to\mathbb{R}\), and the generalized transform of \(f:X\to\mathbb{R}\) over \(\tilde X\subset X\) is
\[
f^{\tilde X}(y)=\sup_{x\in \tilde X}\{\phi(x,y)-f(x)\}.
\]
A function is \(Y\)-convex if it equals a \(Y\)-then-\(X\) biconjugate, and the paper proves that finitely \(Y\)-convex functions
\[
x\longmapsto \sup_{y\in\tilde Y}\{\phi(x,y)-r(y)\},
\qquad |\tilde Y|<\infty,
\]
are dense in the full class \(C_Y(X)\). Under semiconvexity assumptions on \(\phi(\cdot,y)\), the gradients of finitely \(Y\)-convex functions are dense in the gradients of all \(Y\)-convex functions. The paper further introduces **lean** parameterizations, proves that the lean parameter set is convex, compares the resulting architecture to shallow neural networks, and uses the Python package `gconvex` to solve a revenue-maximizing auction problem for multiple goods [2509.04477].

A plausible implication is that, in this literature, `gconvex` functions less as a philosophical generalization of convexity than as a parameterized solution class: if the optimizer is known a priori to be generalized convex, one can optimize directly over that class rather than over unrestricted function spaces.

## 5. Structure-dependent geometric variants

Upper-case \(G\)-convexity is a separate construction. "Geometric plurisubharmonicity and convexity - an introduction" starts from a closed subset \(G\subset G(p,TX)\) of the Grassmann bundle of tangent \(p\)-planes of a Riemannian manifold \(X\). A smooth function \(u\) is \(G\)-plurisubharmonic if
\[
\operatorname{tr}_W \Hess_x u \ge 0 \qquad \forall x\in X,\ \forall W\in G_x.
\]
The associated \(G\)-convex hull of a set \(K\subset X\) is
\[
\widehat K=\{x\in X: u(x)\le \sup_K u \text{ for all }u\in \mathrm{PSH}_G^{C^2}(X)\},
\]
and \(X\) is \(G\)-convex if every compact \(K\Subset X\) has \(\widehat K\Subset X\), equivalently if \(X\) admits a smooth \(G\)-plurisubharmonic proper exhaustion. The paper also defines strict \(G\)-convexity via a strictly \(G\)-plurisubharmonic exhaustion and proves existence and uniqueness for the Dirichlet problem for \(G\)-harmonic functions on domains with smooth strictly \(G\)-convex boundary and empty \(G\)-core [1111.3875]. This is formally analogous to the passage from convexity in \(\mathbb{R}^n\) to pseudoconvexity in several complex variables.

In harmonic mapping theory, the relevant object is usually **convexity in one direction** rather than full convexity. "Convexity in one direction of convolutions and linear combination of harmonic functions" studies harmonic maps \(f=h+\overline g\) on the unit disk and calls a domain convex in direction \(\theta\) when every line parallel to \(e^{i\theta}\) intersects it in an empty set or a line segment. Using the Clunie–Sheil-Small shear construction, the paper proves that specific convolutions of slanted half-plane mappings are convex in the direction \(-(\alpha+\gamma)\), that certain right-half-plane convolutions are convex in the direction of the real axis, and that suitable convex combinations of a family \(f_{\alpha,n}\) remain convex in the direction of the imaginary axis [1703.03599]. In this usage, `gconvex` is geometric but not geodesic: the operative structure is a preferred family of parallel lines in \(\mathbb C\).

A different geometric usage appears in time-frequency analysis. "Gabor orthogonal bases and convexity" does not define a new convexity notion, but it studies Gabor systems with window \(g(x)=|K|^{-1/2}\chi_K(x)\), where \(K\subset\mathbb{R}^d\) is a bounded convex body, symmetric about the origin, with smooth boundary and everywhere non-vanishing Gaussian curvature. The main theorem states that if \(d\ge 2\) and \(d\not\equiv 1 \pmod 4\), then no set \(S\subset\mathbb{R}^{2d}\) yields a Gabor orthonormal basis
\[
\{g(x-a)e^{2\pi i x\cdot b}\}_{(a,b)\in S}
\]
for \(L^2(\mathbb{R}^d)\) [1708.06397]. Here convexity enters through stationary-phase asymptotics for \(\widehat{\chi_K}\), not through a formal definition of `gconvex`; the term belongs to an overlapping lexical neighborhood rather than to the core definitional family.

## 6. Graph-theoretic convexities and algorithmic complexity

In graphs, `gconvex` often means **geodetic convexity**. "Impartial geodetic removing games on graphs" defines a vertex set \(P\) to be geodetically convex if it contains every vertex on any shortest path between two vertices of \(P\). Its convex hull is
\[
[P]=\bigcap\{K\mid P\subseteq K,\ K \text{ is convex}\},
\]
which the paper emphasizes is a genuine closure operator, unlike the older geodetic closure. A set is generating if \([P]=V\), and the paper studies two impartial removing games in which players select vertices until the convex hull of the jointly unselected vertices ceases to be the whole vertex set. The achievement game \(TER(G)\) and the avoidance game \(DNT(G)\) are analyzed via maximal nonterminating and minimal terminating sets, leading to explicit nim-values for cycles, hypercubes, complete multipartite graphs, wheel graphs, generalized wheel graphs, and graphs with a unique minimal generating set [2606.05483].

A second graph-theoretic meaning is based on directed paths of length two. "Convex geometries and directed paths on three vertices" defines \(\overrightarrow{P_3}\)-convexity on an oriented graph \(D=(V,A)\) by requiring that no vertex outside \(C\) be the central vertex of a directed path \((u,v,w)\) with endpoints \(u,w\in C\). The \(\overrightarrow{P_3^*}\)-variant further requires \((u,w)\notin A\), so the path is induced or shortest. The paper characterizes when these convexities are **convex geometries**, meaning that every convex set equals the convex hull of its extreme vertices. For \(\overrightarrow{P_3}\)-convexity, recognition is polynomial-time via a structural characterization involving acyclicity, a distance bound for descendants, and a local \(\overrightarrow{O_4}\) condition. For \(\overrightarrow{P_3^*}\)-convexity, the situation is markedly harder: deciding whether the convexity is geometric is coNP-complete, although the problem becomes polynomial-time on the class of acyclic indifference oriented graphs [2606.24707].

The contrast between these two graph papers illustrates a broader point. Even when `gconvex` unmistakably refers to a closure operator on subsets, the operative notion of “between” can be shortest paths, induced directed \(P_3\)’s, or other path systems, and the resulting convexity theory can range from easily recognizable to coNP-complete.

Taken together, these usages show that `gconvex` is best treated as a contextual technical label. In Riemannian geometry it is about geodesics and covariant Hessians; in analysis it may refer to a transform \(g\circ f\), domination by a convex gauge \(g\), or kernel-defined generalized conjugacy; in geometric PDE it is tied to a chosen subset \(G\) of tangent \(p\)-planes; and in graph theory it is a closure system determined by path families. The term is therefore unified by the replacement of Euclidean linear segments with a problem-specific notion of admissible interpolation, but not by a single canonical definition.

Source: https://www.emergentmind.com/topics/gconvex