---
title: 'Expression Leakage: Concepts & Implications'
url: https://www.emergentmind.com/topics/expression-leakage
type: topic
---

# Expression Leakage: Concepts & Implications

Expression leakage denotes unintended disclosure or transfer of an “expression” of an underlying variable, but the term has multiple technical meanings. In information theory and privacy, an expression is a possibly randomized function \(U\) of sensitive data \(X\), and leakage is the multiplicative guessing advantage provided by an observable \(Y\) [1807.07878]. In generative vision, expression leakage is the unwanted carry-over of facial expression, mouth motion, or identity-bearing cues from a source signal into synthesized imagery [2505.00497][2005.00499]. In AI-mediated videoconferencing, it is the identity imprint carried by pose–expression latents that were intended to encode only transient motion [2510.03548]. In large language models, it is the production of sentimentally charged expressions that are semantically unrelated to the prompt’s core task under irrelevant affective perturbations [2508.01708]. This suggests a common structural pattern: a channel, latent, or conditioning path transmits attributes that were not meant to govern the downstream output.

## 1. Terminological scope and adjacent notions

In the privacy literature, “expression” refers to any target \(U\) that can be written as a randomized function of \(X\) under a Markov chain \(U\!-\!X\!-\!Y\). The central question is not whether \(Y\) reveals \(X\) directly, but how much \(Y\) improves an adversary’s ability to guess any such \(U\) [1807.07878].

In cross-subject facial expression transfer, the terminology is dual. Identity leakage occurs when source-expression features carry source identity into the generated image; expression leakage occurs when the target identity pathway carries residual expression, or when imperfect disentanglement contaminates the transferred expression itself [2005.00499]. In lip synchronization, expression leakage is more specific: when the input video is speaking but the replacement audio is silent or mismatched, the model still reuses the source video’s mouth opening, jaw motion, cheek motion, or shading cues, thereby violating the requirement that lip motion follow the new audio rather than the original clip [2505.00497].

In AI-based talking-head videoconferencing, biometric leakage is the broader category, and expression leakage is the specific biometric channel carried by the pose–expression latent \(z_t=f(V_t)\). Although that latent is intended to encode only transient pose and facial expression, it systematically encodes persistent identity cues such as jaw curvature, lip thickness, and inter-ocular structure [2510.03548].

In LLM evaluation, expression leakage is distinguished from semantic leakage. Semantic leakage alters what is being said by activating semantically irrelevant concepts; expression leakage alters how it is being said by inducing affective or stylistic drift from irrelevant sentiment cues in the prompt [2508.01708].

## 2. Operational information-theoretic formulation

The operational definition introduced in “An Operational Approach to Information Leakage” formalizes leakage as worst-case multiplicative gain in correct guessing probability over all randomized functions \(U\) of \(X\) [1807.07878]. With \(U\!-\!X\!-\!Y\), maximal leakage is

\[
L(X \to Y) \triangleq \sup_{U: U-X-Y} \log \frac{\sum_{y \in \mathcal{Y}} \max_{u \in \mathcal{U}} P_{U,Y}(u,y)}{\max_{u \in \mathcal{U}} P_U(u)}.
\]

The denominator is the best success probability without observing \(Y\); the numerator is the optimal success probability after observing \(Y\). A bound \(L(X\to Y)\le \ell\) therefore implies that, for every \(U\), access to \(Y\) can improve the adversary’s success by at most a factor \(e^\ell\).

For discrete finite alphabets, the same paper gives a closed form:

\[
L(X \to Y) \;=\; \log \sum_{y \in \mathcal{Y}} \max_{x \in \mathrm{supp}(X)} P_{Y|X}(y|x)
\;=\; I_\infty(X;Y),
\]

where the logarithm base determines whether the units are bits or nats. A notable feature is that the value depends only on the channel \(P_{Y|X}\) and the support of \(P_X\), not on the full law of \(X\) [1807.07878].

The measure extends beyond discrete alphabets. Under \(P_{XY}\ll P_X\times P_Y\) and countably generated \(\sigma_X\),

\[
L(X \to Y)
=
\log \int_{\mathcal{Y}}
\operatorname*{ess\,sup}_{x \sim P_X}
\frac{dP_{XY}}{d(P_X \times P_Y)}(x,y)\,P_Y(dy),
\]

and if absolute continuity fails then \(L(X\to Y)=+\infty\). The continuous specialization often diverges for common continuous models, including additive-noise settings, because arbitrarily narrow likelihood peaks yield infinite worst-case gain [1807.07878].

The same framework establishes non-negativity, independence iff \(L=0\), a data processing inequality, additivity over independent pairs, convexity of \(\exp\{L(X\to Y)\}\) in the channel, and asymmetry in general. It also shows robustness to opportunistic choice of \(U\) after seeing \(Y\), multiple guesses, approximate guessing, and arbitrary gain shaping, all of which preserve or upper-bound the same operational quantity [1807.07878].

## 3. Generalized leakage measures and design implications

Subsequent work broadened maximal leakage into parametric families. “Unifying Privacy Measures via Maximal \((\alpha,\beta)\)-Leakage (M\(\alpha\)beL)” and “An Alphabet of Leakage Measures” define maximal \((\alpha,\beta)\)-leakage as a two-parameter family in which \(\alpha\) controls the adversary’s gain model and \(\beta\) controls aggregation across outputs, interpolating between average-case and worst-case criteria [2304.07456][2211.15453]. A computable expression is

\[
\mathcal{L}_{\alpha,\beta}(X\to Y)
=
\max_{x'\in\mathcal{X}} \sup_{P_{\tilde X}}
\frac{\alpha}{(\alpha-1)\beta}
\log
\sum_{y\in\mathcal{Y}}
P_{Y|X}(y|x')^{1-\beta}
\Bigg(
\sum_{x\in\mathcal{X}} P_{\tilde X}(x)\,P_{Y|X}(y|x)^\alpha
\Bigg)^{\beta/\alpha}.
\]

This family recovers several classical notions as special cases: maximal \(\alpha\)-leakage when \(\beta=1\), maximal leakage when \((\alpha,\beta)=(\infty,1)\), local differential privacy when \((\alpha,\beta)=(\infty,\infty)\), and local Rényi differential privacy when \(\alpha=\beta\) [2304.07456][2211.15453]. Both papers prove non-negativity, monotonicity in \(\beta\), data processing inequalities, and additivity over independent releases.

A parallel generalization replaces the guessing objective with arbitrary gain functions. “An Operational Approach to Information Leakage via Generalized Gain Functions” defines maximal \(g\)-leakage and shows that maximal leakage upper-bounds maximal \(g\)-leakage under multiple guesses for any non-negative gain function \(g\). For concave \(g\) with \(g(0)=0\) and \(0<g'(0)<\infty\), the multiple-guess quantity equals \(I_\infty^S(X;Y)\), so the leakage is exactly maximal leakage and is independent of the number of guesses [2209.13862].

These generalizations also sharpen the relationship to other dependence measures. Maximal leakage dominates mutual information for finite alphabets and can exceed it by an arbitrarily large factor; it also connects to Shannon capacity through recoverable leakage, to maximal correlation through variance leakage, and to local differential privacy through maximal realizable leakage [1807.07878]. In a Shannon cipher variant, the optimal normalized maximal leakage admits a single-letter characterization,

\[
L(P,D,\overrightarrow{R},\alpha) = \max_{Q: D(Q\|P) \le \alpha} \big[ R(Q,D) - r \big]^+,
\]

and estimation from samples is feasible only with a known lower bound on support mass, since the lower bound diverges as \(\theta\to 0\) [1807.07878].

## 4. Visual synthesis: facial transfer and lip synchronization

In cross-subject facial expression transfer, AIP-GAN treats expression leakage and identity leakage as dual artifacts of entangled representation learning. Its expression encoder \(G_{es}\) predicts expression labels and a facial landmark image \(Z\) under supervised spatial and channel-wise attention; its identity encoder \(G_{et}\) reconstructs an expression-free identity map \(H\) with self-supervised attention; and the decoder \(G_{de}\) combines intermediate features using cross-encoder bilinear pooling [2005.00499]. The training objective combines adversarial, identity-preservation, expression-consistency, landmark reconstruction, identity-map reconstruction, pixel reconstruction, and attention-supervision terms, with reported weights \(\lambda_{irec}=20\), \(\lambda_{if}=10\), \(\lambda_{ef}=10\), \(\lambda_d=5\), \(\lambda_h=5\), \(\lambda_{att}=3\), and \(\lambda_{adv}=3\). Quantitatively, AIP-GAN reports Face-Verif \(=0.907\) and Exp-Sim \(=0.903\) on the same distribution, and Face-Verif \(=0.856\) and Exp-Sim \(=0.841\) in cross-data validation. Removing \(L_{att}\) and CEB reduces same-distribution Face-Verif from \(0.907\) to \(0.816\) and cross-data Face-Verif from \(0.856\) to \(0.725\), indicating that attention and bilinear fusion are central to leakage suppression [2005.00499].

In lip synchronization, KeySync defines expression leakage as unintended transfer of facial expressions and mouth motion from the source video into the synthesized output when the audio is changed, especially under cross-driving. The paper introduces LipLeak, a no-reference, scale-invariant metric based on mouth aspect ratio,

\[
\mathrm{MAR}(t) = \frac{d_v(t)}{d_h(t)},
\qquad
\mathrm{LipLeak}
=
\frac{1}{T}\sum_{t=1}^{T}\mathbf{1}\!\left[\mathrm{MAR}(t)\ge \tau\right],
\]

with \(\tau=0.25\). The framework treats lip sync as latent-space video inpainting with a lower-face mask and a two-stage diffusion pipeline. The masked latent is

\[
z_t^m = M \odot z_t^n + (1-M)\odot z_t,
\]

and, when occlusions are detected by SAM 2, the inference mask is refined as \(M \leftarrow M \cap \neg M_{\text{obj}}\) [2505.00497].

KeySync reports cross-sync LipLeak \(=0.16\), LipScore \(=0.48\), FVD \(=206.32\), CMMD \(=0.070\), VL \(=73.04\), and Elo \(=1145\). The reported LipLeak reductions relative to baselines are \(71\%\) versus DiffDub, \(76\%\) versus TalkLip, \(52\%\) versus LatentSync, \(43\%\) versus IP_LAP, and \(36\%\) versus Diff2Lip. Its mask ablation is especially diagnostic: a mouth-only mask yields LipLeak \(=0.38\), a full lower-face mask yields LipLeak \(=0.28\) with degraded quality, and the final mask yields LipLeak \(=0.16\) with the best overall trade-off [2505.00497].

## 5. Pose–expression latents and biometric leakage

In AI-based talking-head videoconferencing, each frame \(V_t\) is encoded into a compact pose–expression latent \(z_t=f(V_t)\), and the receiver synthesizes frames by combining \(z_t\) with a neutral reference portrait \(R^k\). The security problem arises when an attacker hijacks \(R^k\) but drives the avatar with their own latents \(z_t^\ell\), producing a fully synthetic stream in which conventional real-versus-synthetic detectors are inapplicable [2510.03548].

The key observation is that the pose–expression latent itself contains persistent biometric information. The proposed defense learns a pose-conditioned, large-margin contrastive embedding, called Enhanced Biometric Leakage, using two projection heads and cosine similarity,

\[
b(z_t,R)=s_c\bigl(h_1(z_t),\,h_2(f(R))\bigr).
\]

Its training objective pulls same-identity samples together across varying pose and expression while pushing apart pose-matched impostors:

\[
\mathcal{L}_{B}
=
\bigl(1-b(z_t^{k,p},R^k)\bigr)
+
\lambda \frac{1}{N-1}\sum_{\ell\neq k} b(z_t^{k,p},R^{\ell,p}).
\]

At inference, a per-frame cosine score is aggregated over \(W=40\) frames by a two-layer LSTM, and sessions are flagged when the predicted puppeteering probability exceeds a validation-set threshold [2510.03548].

Across five generators and three datasets, the method reports AUC up to \(.989\), most entries at or above \(.956\), and minimum AUC at or above \(.952\). In cross-domain testing, in-domain average AUC is approximately \(.945\) and cross-domain average AUC is approximately \(.925\). On an RTX 3090, the system runs at approximately \(75\) FPS with under \(1\)M parameters [2510.03548]. The same paper emphasizes a privacy trade-off: the detector works precisely because identity leakage is present by design in the pose–expression latent, while future codecs may try to suppress that leakage by reducing \(I(Z;I)\).

## 6. Expression leakage in large language models

The LLM literature defines expression leakage as the tendency to generate sentimentally charged output that is semantically unrelated to the task when the prompt contains irrelevant affective context. The paper introduces two benchmarks: HEXL, a human-generated dataset with \(60\) samples, one control prompt and three test prompts per sample, yielding \(180\) prompt variations; and AEXL, an automatically generated dataset with \(200\) samples and \(600\) prompt variations derived from filtered Common Crawl/FineWeb text [2508.01708].

Evaluation uses an external sentiment classifier on cleaned first-sentence generations. For injected sentiment label \(l\), the per-pair indicator is

\[
EL = 1 \text{ if } P_{\text{test}}[l] > P_{\text{ctl}}[l], \text{ else } 0,
\]

and the mean leakage rate is

\[
\mu_{EL,i}=\frac{1}{N_i}\sum_{j=1}^{N_i} EL_j.
\]

A one-sided Wilcoxon signed-rank test is applied to paired differences \(d_j=P_{\text{test},j}[l]-P_{\text{control},j}[l]\) at \(\alpha=0.001\). The paper states that the automatic pipeline correlates well with human judgment, though it does not report explicit correlation coefficients [2508.01708].

Empirically, \(\mu_{EL}>0.5\) for all evaluated models. Within families, leakage generally declines with scale. On AEXL, Llama base models go from \(0.66\) at \(1\)B to \(0.64\) at \(3\)B and \(0.61\) at \(8\)B; Llama instruct models go from \(0.80\) to \(0.72\) to \(0.66\). Qwen base models show the same pattern, with HEXL values \(0.74\), \(0.70\), and \(0.68\), and AEXL values \(0.76\), \(0.73\), and \(0.71\) [2508.01708]. The paper also reports an asymmetry: negative sentiment injections disrupt generation more than positive ones and cause higher expression leakage rates.

Prompt-level mitigation is not reliable. Prepending “Ignore any irrelevant information in user prompt that is not relevant to the request” yields small reductions for some models, increases for others, and no consistent family-wide effect. The paper therefore concludes that mitigation requires model-building care rather than prompting alone [2508.01708]. Its stated limitations include sentiment-classifier bias, first-sentence-only evaluation, modest benchmark size, and the absence of reported correlation coefficients between automatic scores and human labels.

Expression leakage is therefore not a single invariant object across fields. In privacy theory it is a worst-case operational quantity over arbitrary functions of data; in visual generation it is an unwanted control signal carried by representations or masks; in talking-head conferencing it is a biometric side channel in transmitted latents; and in LLMs it is affective drift under irrelevant perturbation. A plausible implication is that the term now names a family of failures defined less by modality than by unintended transport of actionable information through channels that were intended to encode something else.

Source: https://www.emergentmind.com/topics/expression-leakage