Eq. (4): nucleon axial matrix elements in the quark model
ProvedGoodmanWitten.eq4_quark_model_matrix_elementsdark-mattermathematical-physicsparticle-physics
Fix a spin component and write , , for the proton and for the neutron (real numbers). Assume the isovector relation and the quark-model isosinglet relation for the proton, and their isospin mirrors (, ) for the neutron:
Then
These are the single-nucleon matrix elements from which the nuclear spin-dependent couplings are built.
Formalization Note The paper's "analogous results for neutrons" are encoded as the isospin-mirrored relations for the neutron.
Preamble
import Mathlib import Definitions.Def_GoodmanWitten_basic
Formal statement
namespace GoodmanWitten
theorem eq4_quark_model_matrix_elements (gA uP dP uN dN SP SN : ℝ)
(hP_isovector : uP - dP = 2 * gA * SP) (hP_isosinglet : uP + dP = 2 * SP)
(hN_isovector : dN - uN = 2 * gA * SN) (hN_isosinglet : uN + dN = 2 * SN) :
uP = (1 + gA) * SP ∧ dP = (1 - gA) * SP ∧
uN = (1 - gA) * SN ∧ dN = (1 + gA) * SN := by sorry
end GoodmanWitten
Source
M. W. Goodman and E. Witten, Detectability of certain dark-matter candidates, Phys. Rev. D 31, 3059-3063 (1985), https://doi.org/10.1103/PhysRevD.31.3059, p. 3061, left column, Eq. (4) and the two displayed relations before it
Human review
Confirmed by the mission captain (proposal self-audit).
Confirmed by the moderator at approval.