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 objectives and client sampling
Definition
Let , let each client have a positive integer sample count , and put . For differentiable client objectives , the sample-count-weighted deployment objective is For differentiable client objectives , the equal-client objective is The symbols and denote separate families; they are not identified unless an application states . In general, and are different objectives.
For integers , a uniform fixed-size client sample is a random subset of cardinality for which every -element subset has probability . This is sampling without replacement. When several communication rounds are used, the sampled subsets are independent across rounds unless a theorem states a different sampling law.
Used by
- Federated averaging (FedAvg) Algorithm
- SCAFFOLD with client and server control variates Algorithm
- SCAFFOLD trajectories, client drift, control lag and tracking error Definition
- SCAFFOLD controls cancel shifted local gradients at the server model Example
- Two clients with shifted least-squares optima Example
- Client drift under FedAvg gradient dissimilarity Lemma
- Moments of a uniformly sampled fixed-size client set Lemma
- One-round progress of strongly convex FedAvg Lemma
- SCAFFOLD rates for strongly convex, convex and nonconvex objectives Theorem
- Strongly convex FedAvg under bounded gradient dissimilarity Theorem
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.
Sources
- H. Brendan McMahan et al., Communication-Efficient Learning of Deep Networks from Decentralized Data, §§1–4 (standard reference, not scraped)
- Sai Praneeth Karimireddy et al., SCAFFOLD: Stochastic Controlled Averaging for Federated Learning, §§2–3 (standard reference, not scraped)