Alphabeta Math
AlgorithmAlgorithm: Literature-sourcedProof: Not applicablePipeline-generated
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 N,d,R,K,S with 1≤S≤N, an initial server model x0∈Rd, client objectives for the chosen mode and their local oracle procedures gi, positive step sizes ηl,ηg, and one aggregation mode from the two modes below. In count-weighted deployment mode the objectives are Fi and the inputs also include positive integer record counts n1,…,nN, with n=∑ini. A call to gi 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 fi.

For each round r=1,…,R, independently draw a uniform fixed-size subset Sr of S clients from {1,…,N}. For every selected client i, initialize yi,0=xr−1 and for k=1,…,K call gi at yi,k−1 and update yi,k=yi,k−1−ηlgi(yi,k−1),1≤k≤K, The client sends its model difference yi,K−xr−1 to the server. Use one of the following aggregation branches in every round:

  1. Count-weighted deployment mode. With positive client record counts ni and n=∑ini, set xr=xr−1+ηg∑i∈Srnin(yi,K−xr−1). Equivalently, each unselected client contributes its unchanged model xr−1 to the full count-weighted average.

  2. Uniform-client analysis mode. Set xr=xr−1+ηgS∑i∈Sr(yi,K−xr−1). The equal-client convergence result on this page uses this mode and the objective f=N−1∑ifi.

After the selected clients finish the round, apply the chosen branch to obtain xr. Repeat through round R. Return the finite server trajectory x0,…,xR.

Remarks

The count-weighted deployment mode and uniform-client analysis mode are different update rules when the ni 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.

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