Iz Wikipedije, proste enciklopedije
Redhefferjeva matrika je kvadratna nesimetrična binarna matrika, ki ima za elemente
, če
deli
ali, če je
, v ostalih primerih pa je
.
Imenuje se po ameriškem matematiku Raymondu Moosu Redhefferju (1921––2005).
Determinanta Redhefferjeve matrike
reda
je enaka Mertensovi funkciji
.
![{\displaystyle R_{12}=\left[{\begin{smallmatrix}1&1&1&1&1&1&1&1&1&1&1&1\\1&1&0&1&0&1&0&1&0&1&0&1\\1&0&1&0&0&1&0&0&1&0&0&1\\1&0&0&1&0&0&0&1&0&0&0&1\\1&0&0&0&1&0&0&0&0&1&0&0\\1&0&0&0&0&1&0&0&0&0&0&1\\1&0&0&0&0&0&1&0&0&0&0&0\\1&0&0&0&0&0&0&1&0&0&0&0\\1&0&0&0&0&0&0&0&1&0&0&0\\1&0&0&0&0&0&0&0&0&1&0&0\\1&0&0&0&0&0&0&0&0&0&1&0\\1&0&0&0&0&0&0&0&0&0&0&1\end{smallmatrix}}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/554eb65a57373b658e0c6cb1f6e8ffcc6bb1e7d1)
Redheffer je dokazal, da je število lastnih vrednosti Redhefferjeve matrike reda n enakih 1 za n > 1 enako:

kjer je
funkcija (spodnji) celi del,
(označen tudi
ali
) pa dvojiški logaritem. Prve vrednosti enotskih lastnih vrednosti so (OEIS A083058):
- 1, 0, 1, 1, 2, 3, 4, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, ...
Za enotske lastne vrednosti velja:

kjer je
k-to Catalanovo število.