  We develop methods to calculate the electroweak gauge boson contribution to
the effective Higgs potential in the context of composite Higgs models, using
lattice gauge theory. The calculation is analogous to that of the
electromagnetic mass splitting of the pion multiplet in QCD. We discuss
technical details of carrying out this calculation, including modeling of the
momentum and fermion-mass dependence of the underlying current-current
correlation function; direct integration of the correlation function over
momentum; and fits based on the minimal-hadron approximation. We show results
of a numerical study using valence overlap fermions, carried out in an SU(4)
gauge theory with two flavors of Dirac fermions in the two-index antisymmetric
representation.
