{"id":"arxiv:2206.02589","kind":"preprint","title":"Proof of a conjecture involving derangements and roots of unity","authors":["Han Wang","Zhi-Wei Sun"],"author_count":2,"year":2022,"published":"2022-06-06","venue":null,"cited_by":null,"doi":null,"arxiv_id":"2206.02589","nct_id":null,"source_url":"https://arxiv.org/abs/2206.02589","archive_url":"https://space-kitty.com/papers/arxiv:2206.02589","updated":"2022-06-30","pmid":null,"pmcid":null,"openalex_id":null,"pdf_url":"https://arxiv.org/pdf/2206.02589","abstract":"Let $n>1$ be an odd integer. For any primitive $n$-th root $ζ$ of unity in the complex field. Via the Engenvector-eigenvalue Identity, we show that $$\\sum_{τ\\in D(n-1)}\\mathrm{sign}(τ)\\prod_{j=1}^{n-1}\\frac{1+ζ^{j-τ(j)}}{1-ζ^{j-τ(j)}} =(-1)^{\\frac{n-1}{2}}\\frac{((n-2)!!)^2}{n}, $$ where $D(n-1)$ is the set of all derangements of $1,\\ldots,n-1$. This confirms a previous conjecture of Z.-W. Sun. Moreover, for each $δ=0,1$ we determine the value of $\\det[x+m_{jk}]_{1\\le j,k\\le n}$ completely, where $$m_{jk}=\\begin{cases}(1+ζ^{j-k})/(1-ζ^{j-k})&\\text{if}\\ j\\not=k,\\\\δ&\\text{if}\\ j=k. \\end{cases}$$","abstract_license":"CC0-1.0 (arXiv descriptive metadata)","license":null,"is_open_access":false,"retracted":false,"peer_reviewed":false,"categories":["math.CO","math.NT"],"details":null,"provenance":"arxiv","attribution":"Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.","topics":[],"cited_in_dossiers":[]}