Proof of a conjecture involving derangements and roots of unity
arXiv:2206.02589
Abstract
Let be an odd integer. For any primitive -th root of unity in the complex field. Via the Engenvector-eigenvalue Identity, we show that where is the set of all derangements of . This confirms a previous conjecture of Z.-W. Sun. Moreover, for each we determine the value of completely, where
arXiv comment9 pages. Correct few typos