English

Non-Existence of Quintic Factorization for the Second Cuboid Polynomial $Q_{p,q}(t)$

General Mathematics 2026-01-09 v1

Abstract

We consider the even monic degree-1010 second cuboid polynomial Qp,q(t)Z[t]Q_{p,q}(t)\in\mathbb{Z}[t] depending on coprime integers pq>0p\neq q>0. We exclude the existence of a splitting of type 5+55+5 over Q\mathbb{Q}, i.e., a factorization of Qp,q(t)Q_{p,q}(t) into two irreducible quintic polynomials. Since Qp,q(t)Q_{p,q}(t) is even and satisfies Qp,q(0)0Q_{p,q}(0)\neq 0, any such 5+55+5 splitting is necessarily symmetric, meaning that it can be written in the normal form Qp,q(t)=Rp,q(t)(Rp,q(t))Q_{p,q}(t)=R_{p,q}(t)\cdot (-R_{p,q}(-t)). After a weighted normalization reducing to a one-parameter polynomial Qr(u)Q_r(u) with r=p/qQ>0r=p/q\in\mathbb{Q}_{>0}, coefficient comparison and elimination via resultants show that a 5+55+5 splitting forces the existence of a rational point on an explicitly defined plane curve F(r,a)=0F(r,a)=0. Passing to the quotient parameters a=rya=r y and s=r2s=r^2 yields an affine curve f(s,y)=0f(s,y)=0 such that, for each fixed s>0s>0, the polynomial f(s,)f(s,\cdot) is of degree 1616. We compute and factor the discriminant Discy(f)\mathrm{Disc}_y(f) and then use Sturm root counts to certify that f(s,)f(s,\cdot) has no real roots for every rational s>0s>0 with s1s\neq 1. Hence f(s,y)=0f(s,y)=0 admits no rational solutions with s>0s>0, s1s\neq 1, and consequently no quintic 5+55+5 factorization occurs for Qp,q(t)Q_{p,q}(t) when pqp\neq q.

Keywords

Cite

@article{arxiv.2601.04240,
  title  = {Non-Existence of Quintic Factorization for the Second Cuboid Polynomial $Q_{p,q}(t)$},
  author = {Valery Asiryan},
  journal= {arXiv preprint arXiv:2601.04240},
  year   = {2026}
}

Comments

Partial progress on the irreducibility of the second cuboid polynomial (Sharipov's second conjecture): exclusion of degree 5+5 factors. Computer-assisted proof