How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Federated averaging (FedAvg)
Definition
The inputs are positive integers with , an initial server model , client objectives for the chosen mode and their local oracle procedures , positive step sizes , and one aggregation mode from the two modes below. In count-weighted deployment mode the objectives are and the inputs also include positive integer record counts , with . A call to returns a gradient vector according to its supplied deterministic or stochastic local-oracle rule; the client-sample randomness in a round is independent of that round's fresh oracle randomness. In uniform-client analysis mode the objectives are .
For each round , independently draw a uniform fixed-size subset of clients from . For every selected client , initialize and for call at and update The client sends its model difference to the server. Use one of the following aggregation branches in every round:
-
Count-weighted deployment mode. With positive client record counts and , set Equivalently, each unselected client contributes its unchanged model to the full count-weighted average.
-
Uniform-client analysis mode. Set The equal-client convergence result on this page uses this mode and the objective .
After the selected clients finish the round, apply the chosen branch to obtain . Repeat through round . Return the finite server trajectory .
Definition references
Remarks
The count-weighted deployment mode and uniform-client analysis mode are different update rules when the are unequal. The strongly convex rate proved on this page applies only to the uniform-client mode and the equal-client objective. McMahan et al. give the algorithm and empirical experiments; those experiments do not prove a general convergence rate or a differential-privacy guarantee.
Remarks references
Depends on
Used by
Dependency tree · one level
1 result within one dependency step of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- H. Brendan McMahan et al., Communication-Efficient Learning of Deep Networks from Decentralized Data, §2 and Algorithm 1 (standard reference, not scraped)
- Sai Praneeth Karimireddy et al., SCAFFOLD: Stochastic Controlled Averaging for Federated Learning, Algorithm 2 (standard reference, not scraped)
- Yuejie Chi and Zhize Li, Advances in Federated Optimization: Efficiency, Resiliency, and Privacy, tutorial slides 29–31 (standard reference, not scraped)
- Kun Yuan, Optimization for Deep Learning, Lecture 14: Federated Learning, slides 7–16 and 28–30 (standard reference, not scraped)