 Additivity of Boltzmann entropy

For two subsystems with independently specified macrostates, suppose every allowed microstate of $A$ can be paired with every allowed microstate of $B$. Their allowed set is a Cartesian product. With equal probability for each pair, Boltzmann's entropy formula givesFor example, take two independent copies of the toy model, each with two labels choosing between its two boxes. Each copy has four configurations and Boltzmann entropy $k_B\ln 4$. Combining their independent labels gives sixteen configurations and Boltzmann entropy $k_B\ln 16=2k_B\ln 4$. This explains why entropy adds even though microscopic counts multiply. ^[ref]

The product assumption matters. A constraint shared between the subsystems can forbid some pairs; for example, fixing only their combined energy generally requires summing over its possible divisions. See entropy maximization under thermal contact for how thermal equilibrium selects the dominant division. Statistical independence cannot be inferred merely from drawing a boundary between two parts.