Cheong–Huang–Kaplan conjecture on cokernels of polynomial functions of random matrices
Fix finitely many monic polynomials P1(t),…,Pl(t)∈Zp[t]P_{1}(t),\dots,P_{l}(t)\in\mathbb{Z}_{p}[t]P1(t),…,Pl(t)∈Zp[t] whose images in Fp[t]\mathbb{F}_{p}[t]Fp[t] modulo ppp are distinct and irreducible. For 1≤j≤l1\leq j\leq l1≤j≤l,…