Election Coding for Byzantine-Robust SignSGD with Majority Vote
Algorithms AIMech:ElectionCodingForByzantineRobustSignSgd DRAFT
Aliases: Election Coding, Election-Coded SignSGD-MV, Bernoulli and Deterministic Election Codes for SignSGD
A coding-theoretic hierarchical majority-voting framework proposed by Sohn, Han, Choi, and Moon (NeurIPS 2020) that protects 1-bit compressed SignSGD with Majority Vote against b Byzantine workers by redundantly allocating n training data partitions across n workers via a binary allocation matrix G in {0, 1}^{n x n}—constructed either randomly via i.i.d. Bernoulli(p) connections or deterministically via a three-block shifted matrix—so that each worker transmits the local majority bit c_i = maj({m_j}_{j in P_i}) of its assigned partition gradient signs and the master decodes the global majority vote hat{mu} = maj(y_1, ..., y_n).
Identity Notes & Concept Scope
Distinct from uncoded SignSGD with Majority Vote (AIMech:SignSgdCompressedOptimisationWithMajorityVote, which corresponds to G = I_n with redundancy r = 1 and fails whenever Byzantine flips exceed the margin of the majority vote), from DRACO (AIMech:DracoByzantineResilientDistributedTrainingViaRedundantGradients, which uses cyclic/fractional repetition codes over real-valued full-precision gradients with linear redundancy r = 2b + 1), and from DETOX (AIMech:DetoxRedundancyBasedHierarchicalByzantineRobustGradientAggregation, which combines group majority filtering with full-precision geometric median / Krum aggregation). Election Coding (Sohn et al., NeurIPS 2020 / arXiv:1910.06093, Section 2.2, pp. 3-7) preserves 1-bit worker-to-master and master-to-worker communication while providing two explicit code families: (1) Random Bernoulli Codes where G_{ij} ~ Bern(p) with p = Theta(sqrt(log(n)/n)), achieving vanishing global sign estimation error P(hat{mu} != sign(g)) < 1/Delta (Lemma 1 & Theorem 1) and O(1/sqrt(T)) non-convex convergence (Theorem 2); and (2) Deterministic Algebraic Codes (Algorithm 1, Lemma 2, & Theorem 3) with block structure [I_s, 0; 0, A; 1_{(n-s-L) x n}] where s = (n-1)/2 - b and L = floor((n-(2b+1))/(2(b+1))) + 1, guaranteeing exact majority recovery P(hat{mu} != mu) = 0 under any b < floor(n/2) Byzantine bit-flip attacks.
Claims & Grounded Evidence
4 Claims
Mechanism
#election-coding-hierarchical-majority-encoder-decoder-and-deterministic-allocation-matrix
Given n data partitions with coordinate-wise gradient signs m_j = sign(tilde{g}_j) in {+1, -1} and a binary allocation matrix G in {0, 1}^{n x n}, each worker i computes the local majority bit c_i = E_i(m; G) = maj({m_j}_{j in P_i}) over its assigned partitions P_i = {j : G_{ij} = 1} and transmits y_i in {+1, -1} to the parameter server, which decodes hat{mu} = maj(y_1, ..., y_n) and updates w_{t+1} = w_t - gamma hat{mu}; Algorithm 1 constructs a deterministic matrix G with top-left identity I_s (s = (n-1)/2 - b), L shifted rows of weight 2b+1, and bottom all-ones rows.
Scope
#election-coding-perfect-b-byzantine-tolerance-and-bernoulli-convergence-theorems
Lemma 2 and Theorem 3 prove that the deterministic code in Algorithm 1 satisfies the necessary and sufficient condition sum_{v=1}^{floor(n/2)} |S_v(m)| <= floor(n/2) - b for all weight-floor(n/2) vectors m, achieving perfect b-Byzantine tolerance P(hat{mu} != mu) = 0 for 0 < b < floor(n/2) with computational redundancy r = (n + 2b + 1)/2 - (L - 1/2)(n - (2b + 1))/n (Equation 5); for random Bernoulli codes with p = Theta(sqrt(log(n)/n)), Theorems 1 and 2 prove P(hat{mu} != sign(g)) < 1/Delta and non-convex stationarity (1/T) sum_{t=0}^{T-1} E[||g(w_t)||_1] <= O(1/sqrt(T)).
Limitation
#election-coding-data-replication-and-computational-redundancy-limitation
Election Coding requires replicating data partitions across multiple workers (preventing its direct use when raw local data cannot be shared across nodes) and incurs a computational redundancy factor r = ||G||_0 / n > 1 proportional to the number of partitions assigned per worker.
Application
#election-coding-distributed-resnet-and-logistic-regression-application
Applied to Byzantine-resilient 1-bit distributed training of ResNet-18 and ResNet-50 on CIFAR-10 and high-dimensional logistic regression on the Amazon Employee Access dataset on Amazon EC2 clusters under reverse-sign and directional Byzantine attacks.
⚠️ Curated Limitations & Negative Results
- Requires allocating and replicating multiple data partitions per worker node, which is applicable to shared-storage or cloud cluster training rather than privacy-siloed federated clients.
- Deterministic codes require computational redundancy r = O(n) as n grows for fixed b/n, although random Bernoulli codes reduce required redundancy to O(sqrt(n log n)).
Artificial Intelligence Ontology (AIO) Grounding
Mapped AIO Classes
| AIO Target Class | Mapping Relation | Mapping Rationale |
|---|---|---|
AIO:FederatedLearning
Federated Learning
|
related_match | AIO:FederatedLearning is the closely related distributed learning paradigm; Election Coding provides coding-theoretic Byzantine protection for 1-bit compressed SignSGD with Majority Vote. |
Evidence Sources & Primary Literature
3 Sources| Source ID | Publication / Document | Type / Access | Reference & Checksum |
|---|---|---|---|
r536-primary-pdf
|
Jy-yong Sohn, Dong-Jun Han, Beongjun Choi, Jaekyun Moon
|
primary paper
full_text
|
ID: https://dblp.org/rec/conf/nips/SohnHCM20.xml
sha256:5971a5710da9…
|
r536-arxiv-abs
|
Jy-yong Sohn, Dong-Jun Han, Beongjun Choi, Jaekyun Moon
|
primary paper
abstract_only
|
ID: https://arxiv.org/abs/1910.06093
sha256:211071a3c7b9…
|
r536-metadata-cr
|
Jy-yong Sohn, Dong-Jun Han, Beongjun Choi, Jaekyun Moon
|
primary paper
abstract_only
|
ID: https://dblp.org/rec/conf/nips/SohnHCM20.xml
sha256:8730c1b88042…
|
Ontology & Grounding Topology
Open in interactive network graph →Curation Provenance
Curator: Antigravity
Method: ai_assisted
Model: Gemini
Created: 2026-10-19T10:19:00Z
Updated: 2026-10-19T10:19:00Z
Source File:
data/curated/ElectionCodingForByzantineRobustSignSgd.yaml
· Schema:
curated_concept.yaml
Explore across X-Mech
Related computational & biological Mechs:
Embedding Map
Network Graph
ProteinTraitsMech (ESM-2 pLM)
DUFMech (Domain pLM)
TraitMech
CultureMech
All 14 X-Mech Repositories