A binary Hopfield network has recurrently connected units , symmetric weights , zero self-weights, and thresholds . A distributed memory is a desired population pattern . One Hebbian learning prescription is
Coactive signs strengthen a connection, and opposite signs weaken it. This is Hebbian memory weights for a Hopfield network, rather than a separate address for each memory.
Initialize the units with the input cue, which can be a corrupted or partially specified pattern. Update one unit at a time by , retaining its old sign when the field is exactly zero. A fair asynchronous schedule revisits every unit. The energy
changes on a single update by . An actual flip with the tie convention strictly reduces energy; finitely many states imply eventual arrival at a fixed point. This proves asynchronous Hopfield energy descent. Synchronous updating lacks this single-unit argument and can cycle.
For one stored pattern and zero thresholds, the field at is , so the pattern is a fixed point. With multiple patterns, the desired signal is accompanied by cross-talk from other memories; not every arbitrary set is guaranteed to be stable. Retrieval is attraction from a cue to a stored-pattern fixed point, provided the cue lies in its basin of attraction. Spurious minima and limited basins are part of the model, not errors in its update algorithm.
For the symmetric zero-diagonal weights and asynchronous rule just specified, update only unit . In the energy difference, terms involving neither nor its symmetric partner cancel. Thus asynchronous Hopfield energy descent gives
If the unit was already aligned, it does not change and . If it flips into alignment, , so
At our tie rule retains the old activity. The network has only configurations. Strict descent on every actual change prevents revisiting a configuration and permits only finitely many changes. With a fair schedule every misaligned unit is eventually updated, so the terminal configuration is a fixed point. At that point each possible single-bit flip has energy cost . The network reaches a minimum against single-unit changes, not necessarily the global minimum. Its energy is a Lyapunov function for these asynchronous dynamics.
The qualifications are essential to the printed claim. Synchronous updates can cycle: for two units with , the state alternates with , keeping energy . Symmetry alone therefore does not prove convergence under simultaneous updates.
Nor does the valid descent proof guarantee a global minimum. Consider four units with and all four cross-group weights equal to , symmetrically and with zero diagonal. The state has aligned fields and energy , so it is a strict single-flip local minimum. The all-positive state has energy . This explicit counterexample shows why local minima may trap retrieval even though the energy always descends under the stipulated rule.