---
title: Group Orthogonalized Policy Optimization
url: https://www.emergentmind.com/topics/group-orthogonalized-policy-optimization-gopo
type: topic
---

# Group Orthogonalized Policy Optimization

Group Orthogonalized Policy Optimization (GOPO) is a policy-alignment method for large language models that formulates group policy optimization as orthogonal projection in the Hilbert space \(L^2(\pi_k)\) of square-integrable functions with respect to a reference policy \(\pi_k\), rather than as optimization on the probability simplex with Kullback–Leibler geometry. In this formulation, policy change is represented by the density-fluctuation field \(v(y)=\pi(y)/\pi_k(y)-1\), probability conservation reduces to the linear orthogonality condition \(\langle v,\mathbf 1\rangle_{\pi_k}=0\), and policy improvement is derived from a quadratic work-dissipation functional. The resulting group-level objective uses reward-normalized advantages and a quadratic restoring penalty, and the method is evaluated against GRPO, DAPO, GSPO, and OPO on mathematical reasoning benchmarks [2602.21269].

## 1. Geometric reformulation of policy alignment

GOPO is presented as a policy-alignment method for large language models trained from reward signals or preference feedback, especially in the setting of group-based rollout sampling used by methods like GRPO. Its starting point is a geometric claim: prior methods optimize on the probability simplex, whereas GOPO formulates policy improvement as a projection problem in a Hilbert space. The paper argues that KL-based policy optimization has an intrinsic geometric weakness because KL induces exponential curvature in log-ratio or logit space; as the policy becomes confident, the gradient saturates, leading to plateauing and motivating heuristic interventions such as clipping and entropy bonuses [2602.21269].

The change of variables is central. Let \(\pi_k\) denote the current reference policy, and define the fluctuation field
$$
v(y)=\frac{\pi(y)}{\pi_k(y)}-1,
$$
so that
$$
\pi(y)=\pi_k(y)(1+v(y)).
$$
This lifts policy optimization into
$$
\mathcal H=L^2(\pi_k).
$$
Within these coordinates, the simplex constraint becomes linear. Since probability conservation requires \(\sum_y \pi(y)=1\), one obtains
$$
\sum_y \pi_k(y)(1+v(y)) = 1+\mathbb E_{\pi_k}[v] = 1,
$$
hence
$$
\langle v,\mathbf 1\rangle_{\pi_k}=\mathbb E_{\pi_k}[v]=0.
$$
The feasible set is therefore the codimension-one closed subspace
$$
\mathcal H_0=\{f\in L^2(\pi_k): \langle f,\mathbf 1\rangle_{\pi_k}=0\}.
$$

This simplex-to-orthogonality reduction is the specific sense in which the method is “orthogonalized.” The normalization constraint is not handled by a nonlinear simplex geometry but by orthogonality to the constant function. A plausible implication is that the method separates normalization from the rest of the alignment objective more cleanly than KL-anchored formulations.

## 2. Projection formulation and bounded feasibility

The paper introduces an unconstrained target
$$
u^*=\frac{g_\alpha}{\mu},
$$
where \(g_\alpha\) is the effective driving field, typically advantage-shaped and possibly metric-modulated by an escort exponent \(\alpha\), and \(\mu>0\) is a stiffness or compliance parameter. The constrained minimum-distance problem is
$$
\min_{v\in \mathcal H_0}\frac{\mu}{2}\|v-u^*\|^2.
$$
Expanding the squared norm yields
$$
\frac{\mu}{2}\left\|v-\frac{g_\alpha}{\mu}\right\|^2
=
\frac{\mu}{2}\|v\|^2-\langle g_\alpha,v\rangle+\frac{1}{2\mu}\|g_\alpha\|^2,
$$
so, after dropping the constant term, the problem is equivalent to maximizing the work-dissipation functional
$$
\mathcal J(v)=\langle g_\alpha,v\rangle-\frac{\mu}{2}\|v\|^2.
$$
The term \(\langle g_\alpha,v\rangle\) is interpreted as external work, and \(\frac{\mu}{2}\|v\|^2\) as quadratic dissipation or a trust-region penalty [2602.21269].

Because \(\mathcal H_0\) is a closed subspace, the Hilbert Projection Theorem gives the unique optimizer:
$$
v^*=P_{\mathcal H_0}(u^*).
$$
Since \(\mathcal H_0=\mathbf 1^\perp\),
$$
P_{\mathcal H_0}(f)=f-\langle f,\mathbf 1\rangle_{\pi_k}\mathbf 1
=
f-\mathbb E_{\pi_k}[f]\mathbf 1.
$$
Therefore,
$$
v^*=\frac{1}{\mu}\Big(g_\alpha-\mathbb E_{\pi_k}[g_\alpha]\mathbf 1\Big).
$$
The scalar subtraction term is interpreted as the chemical potential \(\lambda^*\), i.e. the Lagrange multiplier enforcing probability conservation.

To impose non-negativity of probabilities, GOPO adds the pointwise constraint
$$
v(y)\ge -1,
$$
equivalent to \(\pi(y)\ge 0\). The feasible set becomes
$$
\mathcal K=\mathcal H_0\cap \{f:f(y)\ge -1\}.
$$
The KKT solution is
$$
v^*(y)=\max\!\left(-1,\frac{g_\alpha(y)-\lambda^*}{\mu}\right),
$$
with \(\lambda^*\) chosen so that \(\mathbb E[v^*]=0\). The paper states the corollary that if
$$
g_\alpha(y)<\lambda^*-\mu,
$$
then \(v^*(y)=-1\), so the target probability is zero. This is the basis for the paper’s exact sparsity claim for catastrophically poor actions.

## 3. Group-sampled empirical objective

The practical algorithm is derived by projecting the infinite-dimensional Hilbert-space formulation onto a finite empirical subspace induced by group sampling. For a prompt \(x\), GOPO samples a group
$$
\mathcal G=\{y_1,\dots,y_G\}\sim \pi_\theta(\cdot|x),
$$
and approximates the inner product empirically by
$$
\langle f,g\rangle_{\mathcal G}=\frac1G\sum_{i=1}^G f(y_i)g(y_i).
$$
The empirical zero-mean subspace is
$$
\hat{\mathcal H}_0=\left\{v:\frac1G\sum_{i=1}^G v(y_i)=0\right\}.
$$

Rewards \(r_i\) are normalized into advantages
$$
A_i=r_i-\bar r,
$$
which implies
$$
\sum_{i=1}^G A_i=0.
$$
The paper emphasizes that this makes the empirical driving vector already lie in the zero-mean subspace:
$$
P_{\hat{\mathcal H}_0}(\mathbf A)=\mathbf A.
$$
Consequently, the probability-conservation multiplier vanishes exactly at the group level; there is no separate solve for \(\lambda\) and no extra constraint-enforcement step [2602.21269].

Replacing the fluctuation field by the policy ratio
$$
\rho_\theta(y_i)=\frac{\pi_\theta(y_i|x)}{\pi_k(y_i|x)},
$$
the practical GOPO loss is
$$
L_{\text{GOPO}}(\theta)
=
-\mathbb E_{x\sim\mathcal D}\left[
\frac1G\sum_{i=1}^G
\left(
A_i\rho_\theta(y_i)-\frac{\mu}{2}(\rho_\theta(y_i)-1)^2
\right)
\right].
$$
The paper also gives a bounded variant,
$$
L_{\text{GOPO}^{\text{BHP}}}(\theta)
=
\frac1G\sum_{i=1}^G
\max\!\left(
0,\;
-A_i\rho_\theta(y_i)+\frac{\mu}{2}(\rho_\theta(y_i)-1)^2
\right),
$$
which acts like a ReLU floor and halts gradients for highly suppressed actions.

Operationally, the algorithm proceeds by on-policy anchoring \(\pi_k\leftarrow\pi_\theta\), group sampling, scoring and normalization, ratio computation, loss evaluation, and gradient update
$$
\theta\leftarrow\theta-\eta\nabla_\theta L.
$$
The paper states that no critic network is required and that the extra computational overhead is negligible, essentially just the \((\rho-1)^2\) term.

## 4. Optimization properties and theoretical claims

For the pointwise loss
$$
\ell(\rho)=-A\rho+\frac{\mu}{2}(\rho-1)^2,
$$
GOPO has
$$
\nabla_\rho \ell=-A+\mu(\rho-1), \qquad \nabla_\rho^2 \ell=\mu.
$$
The Hessian is therefore the constant scalar \(\mu\), independent of the advantage \(A\), the current policy state, and the data distribution. This constant-curvature property is one of the method’s main theoretical claims [2602.21269].

The gradient magnitude is proportional to the distance from equilibrium:
$$
|\nabla_\rho \ell|=\mu|\rho-\rho^*|, \qquad \rho^*=1+\frac{A}{\mu}.
$$
The paper uses this to argue that gradients remain linear and non-saturating, unlike KL or logistic gradients. It further gives the ratio-space update relation
$$
\rho_{k+1}-\rho^*=(1-\eta\mu)(\rho_k-\rho^*),
$$
so for \(0<\eta<2/\mu\), gradient descent contracts globally to \(\rho^*=1+A/\mu\).

The bounded version introduces what the paper calls an intrinsic dead-zone mechanism. Once an action’s ratio is driven to zero, or equivalently \(v\to -1\), its gradient is shut off exactly. The paper distinguishes this from PPO-style clipping: the dead zone is attributed to projection onto the feasible boundary of probability space rather than to a flat interval around ratio \(1\).

The paper also gives a divergence interpretation:
$$
\frac12\mathbb E[v^2]=D_{\chi^2}(\pi\|\pi_k),
$$
and notes the total-variation bound
$$
\mathrm{TV}(\pi,\pi_k)\le \frac12\sqrt{\mathbb E[v^2]}.
$$
This suggests that the quadratic penalty can be read as a \(\chi^2\)-style trust region controlling distributional drift. The paper’s entropy-preservation claim is stated more cautiously: GOPO is said to preserve higher entropy than token-level clipping methods because updates are applied at the sequence or group level, it does not micromanage every token with dense clipped supervision, and the smooth quadratic penalty avoids aggressive mode collapse.

## 5. Implementations and reported empirical behavior

The reported implementation uses **Qwen3-1.7B**, **VERL**, **4× RTX 4090**, group size \(G=6\), learning rate \(2\times10^{-6}\), 8 epochs, GOPO stiffness \(\mu=0.5\), escort exponent \(\alpha=0.5\), and on-policy anchoring. The experiments are conducted on mathematical reasoning benchmarks, training on about **10% of MATH Level 3** and validating on **100 MATH Level 4** problems, explicitly to test generalization rather than only in-distribution training reward [2602.21269].

The compared methods are **GRPO**, **DAPO**, **GSPO**, **OPO**, and **GOPO**. Reported mean reward and validation accuracy are as follows:

| Method | Mean reward | Val acc |
|---|---:|---:|
| GRPO | 0.544 | 44% |
| DAPO | 0.548 | 44% |
| GSPO | 0.553 | 48% |
| OPO | 0.558 | 48% |
| GOPO | 0.555 | 47% |

The paper also reports gradient norm and entropy. For GRPO, these are 0.674 and 0.115; for DAPO, 0.213 and 0.126; for GSPO, 0.623 and 0.128; for OPO, 1.279 and 0.126; and for GOPO, 1.029 and 0.134. The stated observations are that GOPO reaches 47% validation accuracy with monotonic improvement over training, OPO slightly outperforms GOPO on validation in this experiment, clipping-based methods plateau at 44% validation accuracy, gradient norms are healthier for OPO and GOPO than for GRPO and DAPO, and entropy is highest for GOPO. BHP is described theoretically, but the implementation uses a soft ReLU approximation rather than the exact hard threshold. Further validation on tasks such as instruction following or code generation is explicitly left as future work.

## 6. Terminological scope, related work, and common confusions

A recurring source of ambiguity is that the acronym **GOPO** is also used for **Group Ordinal Policy Optimization**, introduced in “GOPO: Policy optimization using ranked rewards” [2602.03876]. That method is a modification of GRPO for non-verifiable tasks such as summarization, instruction following, and chat completion. It replaces standardized reward advantages with within-prompt ordinal ranks, discarding reward magnitudes entirely. Its central claim is different from Group Orthogonalized Policy Optimization: the former is a rank-based policy-optimization method motivated by the mismatch between pairwise preference-trained reward models and magnitude-based RL updates, whereas the latter is a Hilbert-space projection method motivated by the geometry of policy optimization.

There is also a second, distinct use of “orthogonalized” in adjacent reinforcement-learning literature. “Orthogonalized Estimation of Difference of \(Q\)-functions” develops a dynamic generalization of the R-learner for finite-horizon offline RL, using residualized losses, nuisance estimation, and cross-fitting to estimate \(Q\)-function contrasts such as
$$
\tau_t^\pi(s)=Q_t^\pi(s,1)-Q_t^\pi(s,0),
$$
with a universal orthogonality condition ensuring that nuisance perturbations enter only through second-order product terms [2406.08697]. That work is described as conceptually close to a GOPO-style approach, but it is not the same algorithmic object as Group Orthogonalized Policy Optimization.

Accordingly, “orthogonalized” should not be treated as a single technical doctrine across these papers. In Group Orthogonalized Policy Optimization, orthogonalization refers to the reduction of probability conservation to orthogonality against the constant function in \(L^2(\pi_k)\). In the offline RL contrast-estimation literature, orthogonality refers to score or loss constructions whose first derivatives with respect to nuisance components vanish. The shared terminology indicates a family resemblance around constraint handling and robustness, but the mathematical mechanisms are different.

Source: https://www.emergentmind.com/topics/group-orthogonalized-policy-optimization-gopo