SpectralKrum: Byzantine-Robust Federated Learning

• SpectralKrum is a federated learning aggregation rule that uses spectral subspace estimation to identify benign model updates amidst Byzantine attacks.
• It estimates a low-dimensional principal subspace from a rolling buffer via PCA and projects incoming updates, filtering those with high orthogonal residual energy.
• The method shows robust performance against directional and subspace-aware attacks while facing challenges with label-flip, min-max, and backdoor scenarios.

SpectralKrum is a Byzantine‐robust aggregation rule for Federated Learning (FL) that integrates spectral subspace estimation with geometric neighbor‐based selection. The design exploits the observation that, even under highly heterogeneous (non‐IID) client data, optimization trajectories of honest aggregates tend to concentrate in a low‐dimensional manifold. SpectralKrum operates by estimating this historical subspace via PCA, projecting new client model updates into this subspace, applying Krum selection in compressed coordinates, and filtering candidates whose orthogonal residual energy is abnormally large. This process leverages only model updates, preserves FL privacy properties, and targets attacks that inject deviations orthogonal to benign optimization dynamics (Tripathi et al., 12 Dec 2025).

1. Algorithmic Procedure

SpectralKrum maintains a rolling buffer of the last $B$ robustly aggregated model updates $X \in \mathbb{R}^{B \times d}$. The buffer is used to estimate a rank‐$r$ principal component subspace. Each incoming client update $d_i \in \mathbb{R}^d$ is projected into this subspace ($z_i = U^\top d_i$), yielding compressed coordinates. The orthogonal residual energy $\rho_i = \|d_i - U z_i\|_2$ quantifies deviation from the benign subspace. Krum selection is applied to the compressed set $\{z_i\}$ to identify a subset $S$ most tightly clustered in the subspace. From $S$, only candidates with residual energy below a quantile‐derived threshold $\tau$ are retained. If no candidates survive, the one with minimal residual is selected. The output is the mean of these filtered updates. The PCA basis and threshold are periodically recomputed via robust trimming of extremes in the buffer.

2. Spectral Subspace Estimation

The estimation uses the rolling buffer $X \in \mathbb{R}^{B \times d}$0 of previous aggregates. Centering is achieved by subtracting the mean or median from each row. To attenuate historical Byzantine effects, the top $X \in \mathbb{R}^{B \times d}$1‐fraction of rows with largest/smallest norms are trimmed, resulting in $X \in \mathbb{R}^{B \times d}$2. The covariance $X \in \mathbb{R}^{B \times d}$3 is computed, and the dominant $X \in \mathbb{R}^{B \times d}$4 PCA directions $X \in \mathbb{R}^{B \times d}$5 are extracted as the top $X \in \mathbb{R}^{B \times d}$6 eigenvectors ($X \in \mathbb{R}^{B \times d}$7). The quantile threshold $X \in \mathbb{R}^{B \times d}$8 is constructed by measuring the orthogonal residuals of buffer aggregates and selecting the $X \in \mathbb{R}^{B \times d}$9‐th quantile.

3. Projection, Filtering, and Geometric Selection

Each new update $r$0 is decomposed:

• Projection: $r$1
• Residual: $r$2, with energy $r$3

In the compressed space, Krum selection is performed:

• For each $r$4, calculate pairwise distances to other projected updates.
• For each $r$5, sum the smallest $r$6 distances to identify geometric clustering.
• The index minimizing this sum is retained if its residual energy is within $r$7; otherwise, the lowest residual in $r$8 is selected.
• The aggregate $r$9 is the average of the filtered candidates.

This hybrid combines geometric proximity under manifold compression with explicit filtering against spectral anomalies.

4. Privacy and Data Constraints

SpectralKrum requires only client‐submitted model updates (gradients/parameter deltas), never accessing raw data, labels, or any trusted external hold‐out. Subspace estimation is fully based on past robust aggregates rather than reference data. No intermediate projections or internal statistics are disclosed to clients, enabling standard differential‐privacy or secure aggregation frameworks to remain operational.

5. Theoretical Guarantees

SpectralKrum’s robustness is conditional, not universal. Its correctness is established under the following assumptions:

• At most $d_i \in \mathbb{R}^d$0 out of $d_i \in \mathbb{R}^d$1 client updates are Byzantine.
• Honest updates satisfy $d_i \in \mathbb{R}^d$2.

Key properties:

• Robust Subspace Lemma: Given buffer size $d_i \in \mathbb{R}^d$3 and mild trimming, $d_i \in \mathbb{R}^d$4 approximates the true benign subspace to error $d_i \in \mathbb{R}^d$5.
• Krum Selection Guarantee: If honest projected coordinates $d_i \in \mathbb{R}^d$6 are tightly clustered and Byzantines are distant, Krum reliably selects an honest update ($d_i \in \mathbb{R}^d$7).
• Aggregate Error Bound: Aggregate $d_i \in \mathbb{R}^d$8 is an average over $d_i \in \mathbb{R}^d$9, for honest $z_i = U^\top d_i$0 with $z_i = U^\top d_i$1 leading to $z_i = U^\top d_i$2.
• Convergence: Under $z_i = U^\top d_i$3‐smoothness and bounded honest variance, coupling SpectralKrum with FedAvg yields $z_i = U^\top d_i$4 convergence to a stationary point.

Byzantine guarantees degrade when malicious updates mimic the benign subspace.

6. Empirical Evaluation and Performance

Experiments are performed on CIFAR‐10, with data partitioned Dirichlet($z_i = U^\top d_i$5) across 100 clients, creating significant non‐IID skew. Each round, $z_i = U^\top d_i$6 clients, with up to $z_i = U^\top d_i$7 Byzantines, contribute TinyCNN updates. Seven attack families (Sign‐Flip, Label‐Flip, Min‐Max, Buffer‐Drift, Adaptive‐Steer, Semantic Backdoor, None) and eight baseline defenses are benchmarked. Metrics include per‐round accuracy, mean AUC, attack success rate (ASR), and computation overhead.

Key outcomes:

Attack Type	SpectralKrum Performance	Leading Baseline(s)
Directional/Subspace-aware	≈50% accuracy	Matches DnC-PMF, MultiKrum
Label-Flip/Min-Max	39–49% accuracy	TrimmedMean 55–56%
Semantic Backdoor	≈47% accuracy	All aggregation defenses limited

SpectralKrum achieves rapid convergence and stable accuracy in the presence of directional and subspace-aware attacks, outperforming FullKrum and matching cluster-based baselines. In label-flip and min-max scenarios, coordinate-wise methods demonstrate superior robustness. Backdoor attacks remain unsuppressed by aggregation-only defenses.

Computationally, SpectralKrum’s overhead ($z_i = U^\top d_i$81.3 s/round) exceeds that of FullKrum (7 ms) but remains practical relative to Bulyan (400 ms).

7. Strengths and Limitations

SpectralKrum’s principal strength is its capacity to detect updates with large orthogonal innovation, effectively mitigating sign-flip and subspace-aware attacks and yielding tight clustering for geometric selection. However, when adversarial perturbations reside entirely within the benign subspace (as in label-flip and min-max attacks), residual filtering is ineffective. Backdoor attacks structured to mimic benign local training evade detection. The PCA estimation introduces latency and computational cost due to buffer accumulation and subspace extraction.

A plausible implication is that, while SpectralKrum demonstrates substantial gains for certain attack families under federated heterogeneity, comprehensive defense necessitates hybrid strategies combining spectral, coordinate-wise, and activation-level analyses (Tripathi et al., 12 Dec 2025).