arXiv++ Combinatorics

This is the first paper that provides a systematic treatment of the $r$-dimensional PTE problem in additive number theory, abbreviated by PTE$_r$, through its connection with combinatorial design theory, the branch of combinatorial mathematics that deals with finite set systems or arrangements with the ^^ balancedness' conditions. We first propose a combinatorial reconsideration of the definition of nontrivial solution introduced by Alpers and Tijdeman (2007), and then prove a fundamental lower bound for the size of such solutions. We exhibit high-dimensional minimal solutions with respect to the fundamental bound, which inherently have the structure of distinctive block designs or orthogonal arrays (OAs). Next, we develop a powerful method for constructing PTE$_r$ solutions via various classes of combinatorial designs such as block designs and OAs. Furthermore, we explore two dimension-lifting methods for constructing PTE$_r$ solutions: one is a combinatorial composition that produces PTE$_r$ solutions by embedding lower-dimensional solutions into OAs with $r$ columns, and the other is a recursive technique in which a PET$_r$ solution is constructed by taking the Cartesian product of two lower-dimensional solutions. It is emphasized that our results generalize many previous works, including a measure-theoretic construction by Lorentz (1949) and its geometric analog by Alpers and Tijdeman (2007), a key lemma in Jacroux's work (1995) on the construction of sets of integers with equal power sums, and the famous Borwein solution and its two-dimensional extension by Matsumura and Sawa (2025). In addition, we prove a characterization theorem for ideal solutions of the PTE$_1$ and discuss the connection with a curious phenomenon, called half-integer design, that is rarely reported in the combinatorial design theory or spherical design theory.

In this paper we elucidate the advantage of examining the connections between Hilbert-Kamke equations and geometric designs, or Chebyshev-type quadrature, for classical orthogonal polynomials. We first establish that if a $5$-design with $6$ rational points for a symmetric classical measure is parametrized by rational functions, then the corresponding measure should be the Chebyshev measure $(1-t^2)^{-1/2}dt/π$ on $(-1,1)$. Our proof is based on the collaboration of a certain polynomial identity and some advanced techniques on the computation of the genus of a certain irreducible curve. Next, we prove a necessary and sufficient condition for the existence of rational $5$-designs for the Chebyshev measure. Moreover, as one of our main theorems, we construct an infinite family of ideal solutions for the Prouhet-Tarry-Escott (PTE) problem by utilizing rational $5$-designs for the Chebyshev measure, and then establish that, up to affine equivalence over $\mathbb{Q}$, such ideal solutions are included in the famous parametric solutions found by Borwein (2002).

We derive explicit formulas for the resultants and discriminants of classical quasi-orthogonal polynomials, as a full generalization of the results of Dilcher and Stolarsky (2005) and Gishe and Ismail (2008). We consider a certain system of Diophantine equations, originally designed by Hausdorff (1909) as a simplification of Hilbert's solution (1909) of Waring's problem, and then create the relationship to quadrature formulas and quasi-Hermite polynomials. We reduce these equations to the existence problem of rational points on a hyperelliptic curve associated with discriminants of quasi-Hermite polynomials, and thereby show a nonexistence theorem for solutions of Hausdorff-type equations.