The root-of-unity derangement sum conjecture

Let n>1n>1 be an integer, let ζ\zeta be a primitive nn-th root of unity, and define the derangement set

D(n):={τSn:τ(j)j for all j=1,,n}.D(n):=\{\tau\in S_n:\tau(j)\ne j\text{ for all }j=1,\ldots,n\}.

For a permutation τ\tau, let sign(τ)\operatorname{sign}(\tau) denote its sign. The root-of-unity derangement sum conjecture.** If nn is even, then

τD(n)j=1n11ζjτ(j)=((n1)!!)22n=n!4n(nn/2).\sum_{\tau\in D(n)}\prod_{j=1}^n\frac1{1-\zeta^{j-\tau(j)}}=\frac{((n-1)!!)^2}{2^n}=\frac{n!}{4^n}\binom n{n/2}.

If nn is odd, then

τD(n1)j=1n111ζjτ(j)=1n(n12!)2,\sum_{\tau\in D(n-1)}\prod_{j=1}^{n-1}\frac1{1-\zeta^{j-\tau(j)}}=\frac1n\left(\frac{n-1}{2}!\right)^2, τD(n1)sign(τ)j=1n111ζjτ(j)=(1)(n1)/2n(n12!)2,\sum_{\tau\in D(n-1)}\operatorname{sign}(\tau)\prod_{j=1}^{n-1}\frac1{1-\zeta^{j-\tau(j)}}=\frac{(-1)^{(n-1)/2}}n\left(\frac{n-1}{2}!\right)^2,

and

τD(n1)sign(τ)j=1n11+ζjτ(j)1ζjτ(j)=(1)(n1)/2n((n2)!!)2.\sum_{\tau\in D(n-1)}\operatorname{sign}(\tau)\prod_{j=1}^{n-1}\frac{1+\zeta^{j-\tau(j)}}{1-\zeta^{j-\tau(j)}}=\frac{(-1)^{(n-1)/2}}n((n-2)!!)^2.

The conjecture is motivated by a preceding theorem; the supplied text gives no resolution of these identities.

Sources & referencesView supporting material

Primary source

Zhi-Wei Sun, “Arithmetic properties of some permanents”, arXiv:2108.07723 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.