Magnetic interactions in ionic solids are studied using parameter-free methods designed to provide accurate energy differences associated with quantum states defining the Heisenberg constant J. For a series of ionic solids including KNiF 3 , K 2 NiF 4 , KCuF 3 , K 2 CuF 4 , and high-T c parent compound La 2 CuO 4 , the J experimental value is quantitatively reproduced. This result has fundamental implications because J values have been calculated from a finite cluster model whereas experiments refer to infinite solids. The present study permits us to firmly establish that in these wide-gap insulators, J is determined from strongly local electronic interactions involving two magnetic centers only thus providing an ab initio support to commonly used model Hamiltonians. ͓S0163-1829͑99͒51510-5͔Since its introduction by Heisenberg in 1928 ͑Ref. 1͒ and operator formulation by Dirac and Van Vleck in the early thirties, 2 the spin, or Heisenberg Hamiltonian, has been invariably used to describe isotropic magnetic interactions between localized spin moments. For two particles having total spin S the Heisenberg Hamiltonian has a simple formwhere J is the Heisenberg coupling constant, positive for a ferromagnetic interaction, and Ŝ 1 and Ŝ 2 are the total spin operators for centers 1 and 2. This is a purely phenomenological Hamiltonian. Many authors attempted to derive ͑1͒ from the exact many-electron nonrelativistic Hamiltonian but a general proof is still lacking except in the asymptotic limit. 3 The Heisenberg-model Hamiltonian was first introduced to rationalize ferromagnetic interactions. For two electrons, or for two particles with spin Sϭ 1 2 , in two orbitals centered at well-separated nuclei and described by a single spin adapted configuration, one may have a singlet and a triplet electronic states. The triplet energy is the lowest one; the singlet-triplet gap provides the magnitude of the magnetic interaction and is given by the so-called exchange integral. This mechanism is known as direct exchange and J is generally denoted as an exchange constant. However, this simple model cannot account for antiferromagnetic interactions in magnetic-center-ligand-magnetic-center, M-L-M, systems where the energy of the singlet is lower. The extension of the Heisenberg model to antiferromagnetic coupling is the Anderson superexchange mechanism. 4 The basic idea is that one must abandon the single configuration description and go beyond the mean-field approximation. In our example, the superexchange mechanism considers that in addition to the situation where there is one electron per magnetic center ͓all neutral M-L-M valence-band ͑VB͒ components of the electronic wave function͔ one needs to consider all M ϩ -L-M Ϫ instantaneous situations. This is easily generalized if one considers that each VB situation is represented by an electronic configuration. The Anderson model involves the minimum number of configurations that lead to a qualitative description of antiferromagnetism.The Heisenberg Hamiltonian is commonly used to inter...