Sharpness conjecture for characteristic-polynomial congruence bounds of q-Seidel matrices

Let Xn(q,e)\mathcal X_n(q,e) and Xn(q,e)\mathcal X'_n(q,e) denote the sets of congruence classes of characteristic polynomials of qq-Seidel matrices described in Theorems 1 and 2, respectively. For eNe\in\mathbb N with e3e\geqslant 3 and qq a prime power, there exists NNN\in\mathbb N such that for all nNn\geqslant N the corresponding upper bounds in those theorems are attained with equality.

Sharpness conjecture. For eNe \in \mathbb N with e3e \geqslant 3 and qq a prime power, there exists NNN \in \mathbb N such that for all nNn \geqslant N we have equality in the corresponding bounds in Theorem~ and Theorem~.

The conjecture is motivated by computer experiments for n=21n=21 and e=3,4e=3,4, which provide empirical evidence that the bounds are sharp for fixed qq and sufficiently large nn relative to ee.

Sources & referencesView supporting material

Primary source

Gary R. W. Greaves and Chin Jian Woo, “Hermitian matrices of roots of unity and their characteristic polynomials”, arXiv:2106.05477 (2023).

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.