Twisted Convolution Conjecture
Establish that for every admissible tuple t = (d, r, Q), the set of shifts Z_t contains 0 and 1, and determine that if t = (d, r, Q) and t' = (d, r, Q') have the same discriminant, then Z_t = Z_{t'}.
References
For every admissible tuple the set of shifts \mcl{Z}t includes the values \lambda = 0, 1. Moreover, if t=(d,r,Q) and t'=(d,r,Q') are admissible tuples such that Q and Q' have the same discriminant, then \mcl{Z}_t = \mcl{Z}{t'}.
— A Constructive Approach to Zauner's Conjecture via the Stark Conjectures
(2501.03970 - Appleby et al., 7 Jan 2025) in Conjecture 2.17, Section 2.6 (The main conjectures)