--- title: 'Reassessed Labels (ReaL): Theory & Applications' url: https://www.emergentmind.com/topics/reassessed-labels-real type: topic --- # Reassessed Labels (ReaL): Theory & Applications Reassessed Labels (ReaL) constitute a conceptual and computational framework that arises independently in two modern research contexts. The first is in the structure theory of real projective varieties, where labels quantify the composition of decompositions into real and complex-conjugate points, with deep relevance to admissible rank and typical rank phenomena. The second is in machine learning, especially reinforcement learning for large language models, where “Rewards as Labels” (ReaL) reformulates policy optimization as a classification task, assigning discrete labels to rollouts based on verifiable reward signals. In both domains, ReaL provides refined instruments for distinguishing and improving upon classical approaches in rank theory and policy gradient methods, respectively. ## 1. Admissible Rank and Label Decompositions for Projective Varieties Let \(X \subset \mathbb{P}^r(\mathbb{C})\) be a nondegenerate irreducible complex projective variety defined over \(\mathbb{R}\). For a real point \(q \in \mathbb{P}^r(\mathbb{R})\), the classical \(X(K)\)-rank is the minimal cardinality of a set \(S \subset X(K)\) (for \(K = \mathbb{R}, \mathbb{C}\)) such that \(q \in \langle S \rangle_K\). The admissible rank, \(\mathrm{r}_{X(\mathbb{C}),\mathrm{adm}}(q)\), is defined by restricting attention to finite subsets \(S \subset X(\mathbb{C})\) globally stable under complex conjugation, \(o(S) = S\), and such that \(q\) lies in their real span. This intermediate notion interpolates between real and complex rank, satisfying \(\mathrm{r}_{X(\mathbb{C})}(q) \le \mathrm{r}_{X(\mathbb{C}),\mathrm{adm}}(q) \le 2 \mathrm{r}_{X(\mathbb{C})}(q)\) for all real \(q\) [1909.11170]. ## 2. Label Structure: Definition and Weight Given an admissible decomposition \(S\), the label is the pair \((a, b) \in \mathbb{N}^2\), where \(b\) is the number of real points and \(a\) is the number of complex-conjugate pairs, with the total cardinality \(w(a,b) = 2a + b\). Formally, \[ b = \#(S \cap X(\mathbb{R})), \quad a = \frac{\#S - b}{2} \] Labels serve as refined invariants of decompositions and directly relate to the admissible rank through the constraint \(2a + b = \mathrm{r}_{X(\mathbb{C}),\mathrm{adm}}(q)\). For given admissible rank \(k\), labels obey \(0 \leq b \leq k\) and \(0 \leq a \leq \lfloor k/2\rfloor\) [1909.11170]. ## 3. Typical Labels and Generic Behaviour A label \((a, b)\) is typical if there exists a full-dimensional Euclidean open set \(U \subset \mathbb{P}^r(\mathbb{R})\) such that each \(q \in U\) admits an admissible decomposition with exactly that label and with minimal admissible rank. Notably, if \(X(\mathbb{R})\) is Zariski dense in \(X(\mathbb{C})\) and \(g = r_{\mathrm{gen}}\) is the generic complex rank, every \((a,b)\) with \(2a + b = g\) is typical. For specific curves, further structure arises; for example, linearly normal real elliptic curves of odd degree manifest typical labels with both generic and generic+1 weight values [1909.11170]. | Context | Condition | Typical Labels | |-------------------------|-----------------------------|--------------------------------------| | Rational normal curves | Degree \(d\) | \(2a+b=\lceil(d+1)/2\rceil\) | | Generic projective var. | Zariski-dense real part | \(2a+b = r_{\mathrm{gen}}\) | | Real rank | Only real points in support | Labels of form \((0,b)\) | ## 4. Labels for Rational Normal Curves For the rational normal curve \(X_d \subset \mathbb{P}^d\) over \(\mathbb{R}\), the admissible rank equals the complex rank for all real points, i.e., \(\mathrm{r}_{X_d(\mathbb{C}),\mathrm{adm}}(q) = \mathrm{r}_{X_d(\mathbb{C})}(q)\). All typical labels \((a, b)\) satisfy \(2a + b = \lceil (d+1)/2\rceil\), and there are no labels of larger weight occurring generically [1909.11170]. Table of typical labels for \(X_d\): | \(d\) (deg) | Generic complex rank \(r_{\mathrm{gen}}\) | Typical labels \((a, b)\) | |-----------------------|-------------------------------------------|-------------------------------------| | Odd \(d=2m+1\) | \(m+1\) | All with \(2a + b = m+1\) | | Even \(d=2m\) | \(m+1\) | All with \(2a + b = m+1\) | The only extreme cases are \((0, \frac{d+1}{2})\) and \((\frac{d+1}{2}, 0)\) for odd \(d\), representing decompositions entirely over the reals or entirely nonreal in conjugate pairs. ## 5. Scheme-Theoretic Labels and Cactus Rank Analogues The scheme-theoretic (cactus) version of admissible rank considers 0-dimensional schemes \(Z \subset X(\mathbb{C})\) fixed by conjugation, i.e., \(o(Z) = Z\). The admissible cactus rank of \(q\) is the minimal length of such a scheme whose span contains \(q\). Scheme-labels are richer, recording lengths of conjugation-stable connected components. In the reduced case, the scheme-label reduces to the pair \((a, b)\). For points of cactus-admissible rank below the linear independence threshold, the decomposition is unique and the scheme-label is well-defined [1909.11170]. ## 6. Comparison With Real Rank Theory Real rank admits only real support in decompositions, with labels restricted to \((0, b)\). Admissible rank, in contrast, allows decompositions with complex conjugate summands, facilitating lower or more flexible bounds. For rational normal curves \(X_d\), typical real ranks range from \(\lceil(d+1)/2\rceil\) to \(d\), whereas all admissible labels are concentrated at \(\lceil(d+1)/2\rceil\). Admissible rank maintains much of the good generic uniqueness and bound properties of complex rank, yet tracks real versus complex phenomena via the integer \(a\) in the label [1909.11170]. ## 7. “Rewards as Labels” (ReaL) in Reinforcement Learning In a distinct context, the ReaL framework for RLVR (Reinforcement Learning with Verifiable Rewards) treats verifiable reward signals as categorical binary labels—a conceptual shift from scalar-reward policy gradients to classification-style updates. Each rollout \(o_k\) is labeled \(y_k = 1\) if the reward \(r(o_k|q) = 1\) (positive), and 0 otherwise (negative). The policy is optimized by minimizing a binary cross-entropy loss on “relative log-probability” scores \(s_k\), computed as \[ s_k = \frac{1}{|o_k|} \sum_{t=1}^{|o_k|} \left[ \log \pi_\theta(o_{k,t} | q, o_{k,