AIMech AI

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

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 →
CONCEPT KIND Algorithms AIMech:ElectionCodingForByzantineRobustSignSgd Election Coding for... 4 claims · 3 sources AIO GROUNDING AIO:FederatedLearning (1)

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