The asymptotic inequality conjecture for Bézout coefficients and resultants

From papers

For positive integers m,n,Hm,n,H, let

Sm,n(H)={(f,g)Z[x]2:deg(f)=m, deg(g)=n, L(f)>0, L(g)>0, f and g are coprime, H(f)H, H(g)H},S_{m,n}(H)=\{(f,g)\in\mathbb{Z}[x]^2:\deg(f)=m,\ \deg(g)=n,\ L(f)>0,\ L(g)>0,\ f\text{ and }g\text{ are coprime},\ \mathrm{H}(f)\leq H,\ \mathrm{H}(g)\leq H\},

where H(h)\mathrm{H}(h) is the maximum absolute value of the coefficients of hh and L(h)L(h) is its leading coefficient. For coprime integer polynomials f,gf,g, let B(f,g)B(f,g) and R(f,g)R(f,g) denote the integers defined in the paper. Asymptotic inequality conjecture. For any positive integers mm and nn with m2m\geq2 and n2n\geq2, we have

limH{(f,g)Sm,n(H):B(f,g)=R(f,g)}Sm,n(H)<12.\lim_{H \to \infty}\frac{|\{(f,g)\in S_{m,n}(H): \, B(f,g) = R(f,g)\}|}{|S_{m,n}(H)|} < \frac{1}{2}.

The conjecture records the numerical observation that, for polynomial degrees at least two, equality between B(f,g)B(f,g) and the resultant-related integer R(f,g)R(f,g) should occur for fewer than half of randomly chosen coprime pairs; the paper gives computational evidence but no proof.

Progress summary

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

Sources & referencesView supporting material

Primary source

Zhiqian Liu, Xiaoting Li, Wenheng Liu and Min Sha, “Three integers arising from Bézout's identity and resultants of integer polynomials”, arXiv:2506.10838 (2026).

Solutions 0

No solutions have been posted yet.