- The paper introduces MANCE, an iterative method that projects erasure updates onto locally estimated representation-manifold tangent spaces to improve surgicality without requiring labels for preserved concepts.
- MANCE++ achieves near-chance nonlinear target leakage across 119 NLP and vision settings, reaching 0.0 percentage points above chance at a 10-point surgicality budget and outperforming prior methods.
- The paper shows that tangent-space constraints, rather than iteration alone, drive the gains, while noting limitations from probe-based evaluation, sparse or highly curved manifolds, and higher computational cost.
Overview
Concept erasure seeks to remove a target concept (e.g., gender, safety) from a neural representation while preserving the remaining encoded information — a property termed surgicality. The central difficulty is that concepts are entangled through data correlation and superposition, and the "other" concepts one wishes to preserve are typically unlabeled and unknown, precluding a standard constrained-optimization formulation. This paper, by Avitan, Goldberg, and Elazar (2607.03973), proposes the Manifold Constraint Hypothesis (MCH): if natural representations concentrate on a structured, lower-dimensional manifold M⊂Rd, then interventions constrained to that manifold should erase the target as effectively as unconstrained interventions while better preserving other information. The hypothesis is operationalized in MANifold aware Concept Erasure (MANCE), an iterative gradient-based erasure method that projects each update onto a locally estimated tangent space of the natural-representation manifold.
The MANCE algorithm
MANCE operates over H rounds on representations X(0)∈RN×d with binary target labels. Each round has three steps:
- Local manifold estimation. For each representation xi, the method finds its k nearest neighbors among the natural (unedited) representations, mean-centers them into a matrix Si, and takes the top-r right singular vectors as a tangent-basis estimate of Txi(M). The rank r is set once via the TwoNN intrinsic-dimension estimator with a floor of kmin=8. Crucially, the neighborhood is always drawn from H0 even as the edited point moves, keeping the manifold estimate anchored to natural geometry.
- Tangent erasure direction. A nonlinear MLP probe H1 predicting the target concept is refit every H2 rounds; its normalized input gradient is projected onto the tangent basis and reweighted by the local singular spectrum (H3 throughout), yielding a direction H4 that concentrates step mass on well-supported manifold directions. The update removes the component of H5 along this normalized direction.
- Per-sample local-radius cap. Rather than a global step size, each sample receives a closed-form step size H6, where H7 is the mean distance to the sample's H8 nearest natural neighbors and H9. Because X(0)∈RN×d0 is expressed in each panel's own representation scale, X(0)∈RN×d1 transfers across all 119 settings without per-setting tuning — a notable practical property given that representation dimensions range from 896 to 5376.
Two variants prepend closed-form preprocessing: MANCE⁺ prepends LEACE (removing first-moment linear signal), and MANCE⁺⁺ additionally prepends CovMatch, a rank-2 specialization of X(0)∈RN×d2-LEACE that projects out the leading eigenvectors of the class-conditional covariance asymmetry X(0)∈RN×d3. Together these remove at most rank 3, negligible relative to X(0)∈RN×d4, leaving the residual nonlinear structure for the manifold-constrained loop.
Evaluation protocol
The evaluation spans 119 settings: 39 NLP settings (13 LLM families from Qwen2.5-0.5B to Gemma-3-27B × three concepts: sycophancy, gender, safety) and 80 CelebA-CLIP settings (40 facial attributes × two surgicality regimes defined by the five most- vs. least-correlated control attributes). Erasure quality is measured by target leakage X(0)∈RN×d5 (nonlinear MLP probe accuracy above majority-vote floor) and surgicality by control-concept degradation X(0)∈RN×d6, evaluated under fixed budgets X(0)∈RN×d7pp. A key methodological point is coverage: because iterative methods may exceed a budget on some settings, leakage means are computed only over covered settings, so coverage and leakage must be read jointly. The paper is careful to apply this standard to its own results and to baselines alike.
Results
MANCE improves prior erasers. Applied on top of existing methods' outputs, MANCE drives residual leakage close to chance under matched budgets: at X(0)∈RN×d8pp, LEACE falls from 19.1 to 1.5pp, INLP from 15.2 to 1.8pp, and IGBP from 11.5 to 1.6pp, with equal or greater coverage. Obliviator shows no improvement, but this reflects its low coverage (13–19/39): it reaches chance only on the easy settings it covers and violates the budget elsewhere.
MANCE⁺⁺ achieves state-of-the-art nonlinear erasure. On NLP, MANCE⁺⁺ is the only method near chance at every budget (X(0)∈RN×d9pp from xi0 to xi1pp, reaching chance on up to 35/39 settings), versus Obliviator's xi2pp. On CelebA, MANCE⁺⁺ combines high coverage with near-floor leakage: in the least-correlated regime it covers 39–40/40 attributes versus 15–29/40 for Obliviator; in the harder most-correlated regime, 19/40 and 34/40 versus 2/40 and 15/40. Obliviator's apparent zero leakage is explicitly flagged as a coverage artifact — averaged only over easy attributes where MANCE⁺⁺ also reaches floor.
Gains concentrate where entanglement is highest. On gender (profession strongly correlated with gender), MANCE⁺⁺ reaches chance on 12/13 models at xi3pp versus 0/13 for Obliviator. Sycophancy, by contrast, is fully exhausted by closed-form linear preprocessing alone, leaving nothing for the manifold loop to add — an honest scoping of where the method contributes.
The constraint, not the loop, drives the gains. The ablation AmbCE⁺⁺ — identical to MANCE⁺⁺ but taking full-space gradient steps at the same effective magnitude (xi4, the empirical mean of MANCE⁺⁺'s per-sample steps) — leaves 6–10pp leakage with reduced coverage. Since AmbCE⁺⁺'s mean is itself computed only over easier covered settings, even that figure understates the gap. This directly supports MCH: the benefit comes from the tangent projection rather than the probe-refit loop or preprocessing.
Independent geometric evidence supports the premise itself: sycophancy representations exhibit intrinsic dimension 34–53 against ambient dimensions of 768–5376, with local/global concept-direction angles of 77–83°, consistent with a curved low-dimensional structure where a single global direction fails.
Limitations
The authors are explicit about several constraints. Both metrics are empirical probe-based measurements, not guarantees: surgicality speaks only to the enumerated control concepts, not the full information content of the representation. The local first-order tangent estimate degrades where natural representations are sparse or curvature is high, and MCH's advantage should shrink as intrinsic dimension approaches xi5. Computationally, MANCE costs roughly eight minutes per panel (~470s on a B200) versus seconds for LEACE, with ~50% of runtime in per-round local SVDs and ~40% in CPU–GPU transfers — both implementation artifacts, though deployment also requires kNN queries against the stored natural representations. Finally, the formal link between tangent-estimation quality and erasure guarantees remains open, as does whether non-local or global manifold estimators would yield further gains.
Conclusion
This paper connects concept erasure to the geometry of natural representations: constraining edits to locally estimated tangent spaces of the representation manifold yields more surgical nonlinear erasure than full-space updates of matched magnitude, consistently across 13 LLMs, three NLP concepts, and 40 visual attributes. MANCE composes with prior erasers, and MANCE⁺⁺ sets the state of the art under fixed surgicality budgets. The broader claim — that representation interventions generally should respect the geometry induced jointly by model and data, including activation steering — is advanced as a hypothesis supported here only within the erasure setting, with better manifold estimators and formal guarantees left as open problems.