REVIEW 4 major objections 4 minor 150 references
A survey of The Prouhet-Tarry-Escott Problem and its Generalizations
T0 review · 4 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Three new generalizations of the Girard-Newton identities make the classic equal-sums-of-like-powers problem systematically solvable.
desk verdict A useful survey and numerical catalog fronted by an unproved identity that Chapter 5 leans on as a theorem. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central mechanism is the determinant family of Identity 4. For $n$ numbers $a_i$ and $m$ numbers $b_j$ one forms the power-sum differences $P_k$, with $P_0$ defined as $-\prod_j b_j/\prod_i a_i$, builds an auxiliary sequence $T_k$ by the Newton recursion on both positive and negative indices, and then forms determinants $W_{nk+r}$ whose rows are consecutive shifts of the sequence $S_k$; their defining property is $W_{nm}=\prod_{i=1}^{n}\prod_{j=1}^{m}(a_i-b_j)$ and $W_{nk+r}=e_r(a_1,\dots,a_n)\,W_{nk}$, where $e_r$ is the $r$-th elementary symmetric sum. Since an ideal solution forces the full difference product to vanish, the identity converts equalities of power sums into the statement that certain ratios $W_{nk+r}/W_{nk}$ are small integers with alternating signs; a search loop tests candidates by these ratio checks and aborts the moment a ratio is not an integer, which the paper reports being much faster than checking the power sums directly. Identity 3 ($T_k=0$ for all integer $k$) does the complementary work of excluding whole exponent sets, and Identity 5 supplies the odd-exponent analogue. The second engine is the normalized-GPTE framework of Chapter 5: after scaling the largest entry to $1$, six conjectures assert that the two ordered sets interlace and that exact bounds for $\beta_{n+1}$, then $\beta_n$, then $\alpha_n$, and so on, come from collapsing adjacent equalities, which prunes the search tree to a narrow slab around the conjectured bounds.
What would settle it
The concrete test is a direct spot-check of Identity 4 outside the small cases the paper says it verified symbolically: choose $n=4$, $m=5$, include several negative exponents and the zero-exponent definition of $P_0$, pick random integer tuples with no zero entries and no coincidences $a_i=b_j$, and check numerically whether $W_{20}=\prod_{i=1}^{4}\prod_{j=1}^{5}(a_i-b_j)$; one mismatch falsifies the identity as stated, and a pattern of mismatches at zero entries would reveal the missing restriction. A second test targets the search engine itself: recompute the polynomial for $\beta_{6,\min}$ of type $(k=1,2,3,4,6)$ exactly as in Example 5.2 by applying Identity 4, and compare its root to a high-precision numerical solution of the collapsed system (5.27); any discrepancy between the two routes refutes the bound conjecture that the search algorithm relies on.
Extended reading notes
Core claim
The paper's central claim is that three generalizations of the Girard-Newton identities, stated as Identity 3, Identity 4, and Identity 5, form a valid and effective algebraic engine for the PTE, GPTE, and FPTE problems. Identity 3 asserts that a recursively defined sequence $T_k$ attached to $n$ numbers vanishes for every integer $k$, from which the paper derives that certain exponent sets, for example $(h=0,1,2,3,4,5)$ and $(h=-1,0,1,2,3,4)$, have no nontrivial real or integer solutions, and that other systems force structural constraints such as zero sums or zero reciprocal sums. Identity 4 asserts that a family of determinants $W_{nk+r}$ built from power-sum differences satisfies $W_{nm}=\prod_{i=1}^{n}\prod_{j=1}^{m}(a_i-b_j)$, with the neighbouring determinants $W_{nk+1}, \dots, W_{nk+n}$ equal to the elementary symmetric sums of the $a_i$ times $W_{nk}$; the paper reports that this turns the search for ideal solutions into divisibility tests on ratios of determinants, and it recounts finding the smallest known non-symmetric ideal solution of degree 7 this way. Identity 5 gives an analogous determinant calculus for odd exponents, used to locate solutions of types such as $(k=1,3,5,7,9)$ and $(k=1,2,3,5,7,9)$. The paper further claims that ideal solutions of three series of GPTE types carry a constant $C$ equal to the difference of the two associated monic polynomials, and that the normalized GPTE problem satisfies six conjectures determining exact bounds for each variable in descending order; under these conjectures the extreme configurations collapse adjacent variables, and the paper derives polynomial equations for the minimal largest element $\beta_{n+1,\min}$ for a range of exponent sets. On its own terms the paper is as much a research programme as a survey: its appendices catalogue 296 types with ideal solutions, many of which it says were located with the methods it introduces.
Load-bearing premise
The whole method stands on the assumption that the determinant identity $W_{nm}=\prod_{i,j}(a_i-b_j)$ holds with no hidden exceptions for every choice of set sizes $n$ and $m$ and every integer exponent $k$, including the negative and zero powers used to derive the exact bounds in Chapter 5; if that identity fails in some excluded case, the claimed bounds and the fast computer search built on them collapse.
Editorial extensions
If this is right
- Searches for ideal solutions scale to exponent sets beyond the tabulated ones, because the determinant-ratio divisibility test lets a computer discard a candidate tuple on the first non-integer ratio instead of computing and comparing the full power sums.
- Existence questions for specific GPTE types become decidable in many cases: the corollaries drawn from Identity 3 already show that types such as $(h=0,1,2,3,4,5)$ and $(h=0,1,4)$ have no nontrivial solutions, and the same method extends the list.
- The chain-length trichotomy (no chain, bounded finite chain, or unbounded chain) becomes computable type by type, because the identities bound how many distinct real tuples can share a fixed set of power sums, as the paper demonstrates for types $(h=1,3,4)$ and $(h=2,3,4)$.
- The trigonometric identities supply a systematic source of integer solutions whose element ratios approach the sine-squared lower bound $\beta_{n+1,\min}=\sin^2(n\pi/(2n+2))$ for the PTE case, linking the continuous and discrete sides of the problem.
- If the six normalized-GPTE conjectures are correct, then for each exponent set the minimal ideal solution is characterized by the collapsed extreme configuration of Conjecture 2, which would certify the minimality of the appendix solutions and set a target for exhaustive searches.
Reading between the lines
- A testable consequence the paper leaves implicit: the same collapse construction that fixes $\beta_{n+1,\min}$ should also produce the successive bounds for $\beta_n$ and $\alpha_n$, so the polynomials of Example 5.2 and its neighbours for neighbouring exponent sets should be algebraically related; checking how those polynomials factor and relate would map the adjacency structure of the GPTE solut
- The trigonometric and algebraic sides of the paper could be welded together: the classical alternating cosine-sum identities behind Identity 12 are standard consequences of root-of-unity spectral arguments, so a proof of Identity 12 along those lines would presumably also settle the small cases of Identities 3–5, which the paper at present supports only by symbolic checks for small parameters.
- The constant $C$ viewpoint suggests a reformulation of the search as a problem about integer polynomials of bounded height: an ideal solution exists exactly when two monic polynomials with integer roots differ by a constant polynomial, a finitary condition with a finite search space that would also explain why the observed constants factor into the small primes seen in Chapter 3.
- The reported speed-ups, for example thirty minutes to find the first known solution of type $(k=1,2,3,5,7,9)$ after restricting to odd integers, suggest that the bound conjectures carry real computational weight; a clean test would be to rerun a known search without the conjectured bounds and measure how much the search space grows, isolating the contribution of the conjectures from that of the de
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript is a survey of the Prouhet-Tarry-Escott problem, its generalized forms (GPTE and FPTE), multigrade chains, and trigonometric extensions. Its central new mathematical content consists of three generalizations of the Girard-Newton identities (Identities 3, 4, and 5), a set of constant identities (Identities 6--9), trigonometric identities (Identities 10--14), and a normalized GPTE framework with six conjectures giving claimed exact bounds for every normalized variable, proposed as a tool for accelerating computer searches. A large appendix catalogs 296 types of ideal GPTE and FPTE solutions, and a reference search program is described.
Significance. If the three generalized Girard-Newton identities and the six normalized-GPTE conjectures were proved, the manuscript would make a substantial contribution to the PTE/GPTE literature: it would provide new structural tools, a systematic bound framework that could accelerate searches, and a large organized catalog of ideal solutions. The survey portions and the extensive appendix have independent utility as a reference. The paper is also commendable for including explicit numerical examples, Mathematica verification statements, and reference code. However, the load-bearing new results are explicitly unproved, and both the exact-bound claims and the search-acceleration method rest on them, so the mathematical claims as currently presented are not yet established.
major comments (4)
- [Section 2.2.2 and Example 5.2] Identity 4, stated in Section 2.2.2 as holding for all positive integers n and m and all integers k, is used as an established fact in Chapter 5, although the text says 'It is challenging for us to fully prove Identity 4' and only Mathematica checks for small n are provided. In Example 5.2, the derivation of the polynomial (5.30) for the exact lower bound beta_6,min proceeds by asserting that the determinants (5.34) and (5.35) vanish 'according to Identity 4'. Because the same method is used in Examples 5.3 through 5.6, including cases with k=0 and negative k, a hidden restriction or failure of Identity 4 in any of these regimes would make the claimed exact bounds incorrect rather than merely unproved. This is load-bearing for the central claim of Chapter 5, so Identity 4 must either be proved or re-stated with precise hypotheses and an independent verification for every regime used afterward.
- [Section 2.2.1 and Chapter 3] Identity 3 is also explicitly unproved, yet it is used to derive the constant identities in Chapter 3 and to justify several 'no nontrivial solution' corollaries such as Corollaries 2.8 and 2.9. The paper states, 'At present, we are unable to provide a complete mathematical proof for Identity 3.' A derivation that relies on an unproved identity should be marked as conditional, and the corollaries that exclude the existence of solutions should be labeled as conditional statements until a proof is supplied. In particular, the proof ideas for Corollaries 2.10 and 2.11 depend on the validity of (2.98), which is a special case of Identity 3.
- [Section 5.1 and Section 5.2] The six conjectures in Chapter 5 are used to define the 'exact bounds' of the normalized GPTE system and to derive the search acceleration described in Chapter 6, but the paper does not prove attainability or infimum status of the collapsed configurations in Conjecture 2. The positive infinitesimal epsilon_1 is introduced in (5.22) and later replaced numerically by 10^-50 in Examples 5.4--5.6; the paper does not justify that the limit as epsilon_1 tends to 0 is the actual lower bound for integer solutions, nor whether the bound is attained or only approached. The statements would be cleaner if the paper distinguished rigorously between the infimum of the normalization and the minimum over integer solutions, and if it stated exactly which claims are conditional on the conjectures.
- [Chapter 6 and the search algorithm] The search algorithm in Chapter 6 is presented as a method for finding ideal non-negative integer solutions, but its completeness claim depends on the unproved bounds conjectures. If only some of the conjectures hold, the algorithm still finds a subset of solutions, yet the exposition repeatedly refers to 'exact bounds' and 'the theoretical lower bound' (for example, equations (5.29)-(5.30)) without indicating that these values are conditional. Section 5.2 should explicitly separate the conditional derivation of the bounds from any unconditional verification of the resulting solutions, and the description of the search algorithm should state that it is heuristic with respect to completeness unless the conjectures are proved.
minor comments (4)
- [Section 2.2.2, Example 2.10] In equation (2.151), the last displayed identity reads 'W12 = (a1a2) · W12', which is self-referential and cannot be correct; it should presumably read 'W12 = (a1a2) · W10'. Please correct this typo.
- [Throughout] The text contains several small language and typographical errors, including 'For for all positive integers k' in Example 2.3, 'Exapmle' in Example 2.5's header reference, and 'by applying Identity 4' in Example 5.2 where the identity is unproved; a careful editing pass would improve readability.
- [Chapter 2, discussion of Identity 5] The statement of the third generalization, Identity 5, is complex and is said to be verified only 'by using Mathematica for a certain smaller n'; a precise statement of the range of n for which it is known to hold, and for which it is only conjectured, would help the reader use the many examples in Section 2.2.3.
- [Appendix and references] The appendix is extremely long and is presented as a 'Collection of ideal numerical solutions' with cross-references, but there is no explicit statement of which entries were independently verified and which are taken from the author's prior work; adding a verification column or a provenance note would be useful.
Circularity Check
No significant circularity: the paper's unproved identities and conjectures are transparently labeled as such; conditionality is a correctness risk, not a circular derivation.
full rationale
The paper's derivation chain is not circular in the sense defined here. The generalized Girard-Newton identities (Identity 3, Identity 4, Identity 5) are stated as unproved assertions with only Mathematica checks for small cases: 'It is challenging for us to fully prove Identity 4' and 'Identity 5 has not been proved completely.' These are explicit limitations, not hidden inputs disguised as outputs. Likewise, the exact bounds in Chapter 5 are honestly presented as conjectures: 'At present, we are unable to provide strict proofs for these bounds. Thus, the following section proposes these bounds as conjectures.' The computation of β6,min in Example 5.2 is conditional on Conjecture 2's ansatz (5.22) and on Identity 4; it is not a case of fitting a parameter to data and then renaming it a prediction. Numerical solutions cited nearby are independently checkable integer identities, and the paper explicitly says solutions found under the conjectures are conditional ('based on the assumption that these conjectures hold... even if the conjectures are only partially valid, the resulting boundary conditions would still yield a subset of ideal solutions'). Self-citations to the author's prior papers establish provenance of the identities and solutions, but the mathematical statements are reproduced in the manuscript rather than being justified only by the citation. The main concerns—unproved identities, unproved conjectures, and reliance on Mathematica verification—are correctness/completeness risks, not circularity. No equation reduces to its own input by construction, and no fitted value is relabeled as a prediction.
Assumptions & free parameters
free parameters (1)
- epsilon_1 (positive infinitesimal) =
10^-50 (in numerical examples)
assumptions (6)
- ad hoc to paper Identity 3 (First Generalization of Girard-Newton): T_k = 0 for all integer k.
- ad hoc to paper Identity 4 (Second Generalization): W_nm = product over all (a_i - b_j), with the stated negative-power and k=0 extensions.
- ad hoc to paper Identity 5 (Third Generalization for odd exponents): the determinant identities for odd-power sums hold.
- ad hoc to paper Identities 10-14 (trigonometric PTE/GPTE identities) hold as stated.
- ad hoc to paper Conjecture 1 (Interlacing Conjecture): normalized GPTE solutions interlace in the described pattern.
- ad hoc to paper Conjecture 2 and the remaining five bounds conjectures: exact bounds for every normalized variable exist and are attained at the stated collapsed configurations.
Cite this review
Pith. "Pith review of A survey of The Prouhet-Tarry-Escott Problem and its Generalizations." pith.science (2026). https://pith.science/paper/BMF3HDEV
@misc{pith2026250611429,
author = {Pith},
title = {Pith review of: A survey of The Prouhet-Tarry-Escott Problem and its Generalizations},
year = {2026},
howpublished = {\url{https://pith.science/paper/BMF3HDEV}},
note = {Machine review of arXiv:2506.11429}
}
abstract
This paper explores the Prouhet-Tarry-Escott problem (PTE), the Generalized PTE problem (GPTE), and the Fermat form of Generalized PTE problem (FPTE). The GPTE problem extends the PTE problem by allowing different sets of exponents, while the FPTE problem considers cases where the number of integers in the two sets differs by one. Multigrade chains are also investigated, involving multiple sets of integers satisfying the GPTE system. The study of PTE and GPTE problems is further extended from integers to trigonometric functions. Three novel generalizations of the Girard-Newton Identities are introduced to solve the PTE and GPTE problems: the first extends the domain of exponents to all integers; the second further generalizes to a broader form; and the third focuses on odd integer exponents. The constant $C$ in the PTE and GPTE problems is investigated, and a novel approach is proposed by introducing the normalized GPTE problem with six conjectures to determine bounds for each variable. This enhances the efficiency of computer searches for ideal non-negative integer solutions that satisfy $\sum_{i=1}^{n+1} a_i^k = \sum_{i=1}^{n+1} b_i^k$ for $k = k_1, k_2, \dots, k_n$. A general process of computer searches for GPTE solutions is discussed, and reference code for the search program is provided. Several parametric solutions for GPTE are presented, along with parametric methods for ideal prime solutions. Six open problems related to the PTE and GPTE problems are proposed, and three approaches to address these problems are suggested. In the appendix, an overview of the research status is provided for the 296 types of GPTE and FPTE that have ideal solutions.
Reference graph
Works this paper leans on
-
[1]
Alpers and R
A. Alpers and R. Tijdeman. The two-dimensional Prouhet–Tarry–Escott problem. J. Number Theory, 123(2):403–412, 2007. MR2301222
2007
-
[2]
Barrodale
I. Barrodale. A note on equal sums of like powers.Math. Comp., 20(1966), 318–322
1966
-
[3]
Beiler.Recreations in the Theory of Numbers
Albert H. Beiler.Recreations in the Theory of Numbers. Dover, 1964, p. 163. A.1.5
1964
-
[4]
Bernstein
Daniel J. Bernstein. Enumerating solutions to p(a) + q(b) = r(c) + s(d). Math. Comp., 70(234):389–394, 2001. A.1.4
2001
-
[5]
Borwein and C
P. Borwein and C. Ingalls. The Prouhet–Tarry–Escott problem revisited. Enseign. Math. (2), 40(1–2):3–27, 1994. MR1279058 1.1, 1, 3.1, 5.1
1994
-
[6]
P. Borwein. Computational Excursions in Analysis and Number Theory. Vol. 10 ofCMS Books in Math., Springer, New York, 2002. MR1912495
2002
-
[7]
Computationalinvestigationsofthe Prouhet–Tarry–Escott problem
P.Borwein, P.Lisoněk, andC.Percival. Computationalinvestigationsofthe Prouhet–Tarry–Escott problem. Math. Comp., 72(244):2063–2070, 2003. MR1986822 3, 3.1, 6, 6.2, A.1.27, A.1.41
2003
-
[8]
New upper bounds for taxicab and cabtaxi numbers.J
Christian Boyer. New upper bounds for taxicab and cabtaxi numbers.J. Integer Seq., 11(8):Article 08.1.6, 2008. A.1.3
2008
Show all 150 references
-
[9]
New Upper Bounds for Taxicab and Cabtaxi Numbers
Christian Boyer. New Upper Bounds for Taxicab and Cabtaxi Numbers. http://www.christianboyer.com/taxicab/ A.1.3
-
[10]
A geometric approach to equal sums of sixth powers
Andrew Bremner. A geometric approach to equal sums of sixth powers. Proc. London Math. Soc., 43(1981), 544–581. A.1.11
1981
-
[11]
Andrew Bremner and R. K. Guy. A dozen difficult Diophantine dilemmas. Amer. Math. Monthly, 1988, 31–36
1988
-
[12]
Broadhurst
D. Broadhurst. A new Prouhet–Tarry–Escott solution.NMBRTHRY list- serv, 26 September 2007. A.1.34, A.1.42
2007
-
[13]
Broadhurst
D. Broadhurst. A Chinese Prouhet–Tarry–Escott solution. http://physics.open.ac.uk/~dbroadhu/cpte.pdf, 2007. A.1.34, A.1.42
2007
-
[14]
Some new results on equal sums of like powers
Simcha Brundo. Some new results on equal sums of like powers. Math. Comp., 23(1969), 877–880. A.1.11
1969
-
[15]
On generating infinitely many solutions of the Diophantine equation A6 + B6 + C6 = D6 + E6 + F 6
Simcha Brundo. On generating infinitely many solutions of the Diophantine equation A6 + B6 + C6 = D6 + E6 + F 6. Math. Comp., 24(1970), 453–454. A.1.11
1970
-
[16]
Equal sums of sixth powers
Simcha Brundo and Irving Kaplansky. Equal sums of sixth powers. J. Number Theory, 6(1974), 401–403. A.1.11 359
1974
-
[17]
Triples of sixth powers with equal sums.Math
Simcha Brundo. Triples of sixth powers with equal sums.Math. Comp., 30(1976), 646–648. A.1.11
1976
-
[18]
Magic Square
J. L. Burchnall and T. W. Chaundy. A type of “Magic Square” in Tarry’s problem. Quart. J. Math., 8(1937), 119–130. A.1.21
1937
-
[19]
T. Caley. The Prouhet–Tarry–Escott problem. Ph.D. thesis, University of Waterloo, 2012. 2.1.1, 3.1, 5.1, 6, 6.2
2012
-
[20]
T. Caley. The Prouhet–Tarry–Escott problem for Gaussian integers.Math. Comp., 82(282):1121–1137, 2013. MR3008852 2.1.1
2013
-
[21]
The Prime Puzzles & Problem Connection
Carlos Rivera. The Prime Puzzles & Problem Connection. http://www. primepuzzles.net/puzzles/puzz_065.htm. 1.2.3, A.1.5, A.1.12, A.1.12, A.1.28, A.1.38
-
[22]
Chamberland
M. Chamberland. Ramanujan’s 6–8–10 Equation and Beyond.Mathemat- ics Magazine, 82(2):135–140, 2009.https://doi.org/10.1080/0025570X. 2009.11953609 2.2.2
2009 arXiv
-
[23]
Extensions of an amazing identity of Ramanujan.Rocky Mountain Journal of Mathematics, 50(4):1253–1275, 2020
Kwang-Wu Chen. Extensions of an amazing identity of Ramanujan.Rocky Mountain Journal of Mathematics, 50(4):1253–1275, 2020. 7.1
2020
-
[24]
Equal sums of like powers.http://euler.free.fr/eslp/ eslp.htm, 2001
Chen Shuwen. Equal sums of like powers.http://euler.free.fr/eslp/ eslp.htm, 2001. A.1.6, A.1.7, A.1.10, A.1.13, A.1.14, A.1.15, A.1.16, A.1.17, A.1.18, A.1.19, A.1.22, A.1.23, A.1.25, A.1.29, A.1.31, A.1.32, A.1.33, A.1.35, A.1.36, A.1.38, A.1.39, B.1.2, B.1.5, B.1.6, B.1.8, B...
2001
-
[25]
Multigrade Chains
Chen Shuwen. Multigrade Chains. http://eslpower.org/chains.htm,
-
[26]
Algebraic Identities.http://eslpower.org/Identity.htm,
Chen Shuwen. Algebraic Identities.http://eslpower.org/Identity.htm,
-
[27]
Chen Shuwen’s Notebooks (Part I), 1st Edition, Ver.20210816 http://eslpower.org/Notebook.htm, 2021
Chen Shuwen. Chen Shuwen’s Notebooks (Part I), 1st Edition, Ver.20210816 http://eslpower.org/Notebook.htm, 2021. 2, 2.1.2, 2.2, 2.2.1, 2.2.2, 2.2.3, 4.1, 4.1.1, 4.1.2, 4.2.1, 4.2.2
2021
-
[28]
Chen Shuwen’s Notebooks (In Chinese) https://www
Chen Shuwen. Chen Shuwen’s Notebooks (In Chinese) https://www. zhihu.com/column/c_1411069086210625537, 2021-2025. 1.3, 1.3.1, 1.3.2, 4.3, 4.3.1, 4.3.2, 4.3.3, 7.1, 7.1, 7.1, 7.2, A.1.8, A.1.9, A.1.14, A.1.16
2021
-
[29]
The Prouhet–Tarry–Escott problem
Chen Shuwen. The Prouhet–Tarry–Escott problem. http://eslpower. org/TarryPrb.htm, 2022. 1.1.2, A.1.34, A.1.42
2022
-
[30]
Equalsumsoflikepowers
ChenShuwen. Equalsumsoflikepowers. http://eslpower.org/eslp.htm,
-
[31]
Equal Products and Equal Sums of Like Powers http: //eslpower.org/product.htm, 2023
Chen Shuwen. Equal Products and Equal Sums of Like Powers http: //eslpower.org/product.htm, 2023. 1.2, 1.2.1, 3.2, A.3.6, A.3.7, A.3.8, A.3.9, A.3.10, A.3.11, A.3.12, A.3.13, A.3.14, A.3.15, A.3.16, A.3.17, A.3.18, A.3.19, A.3.20, A.3.21, A.3.22, A.3.23, A.3.24, B.3.1, B.3.2, ...
2023
-
[32]
Ideal positive integer solutions of k < 0 case
Chen Shuwen. Ideal positive integer solutions of k < 0 case. http: //eslpower.org/kminus.htm, 2023. 1.2, 1.2.1, A.5.1, A.5.2, A.5.3, A.5.4, A.5.5, A.5.6, A.5.7, A.5.8, A.5.9, A.5.10, A.5.11, A.5.12, A.5.13, A.5.14, A.5.15, A.5.16, A.5.17, A.5.18, A.5.19, A.5.20, A.5.21, A.5.22...
2023
-
[33]
Ideal integer solutions of h < 0 case
Chen Shuwen. Ideal integer solutions of h < 0 case. http://eslpower. org/hminus.htm, 2023. 7.1, 7.1, B.5.1, B.5.5, B.5.6, B.5.7, B.5.9, B.5.11, B.5.12, B.5.18, B.5.20, B.5.21
2023
-
[34]
On the Prouhet–Tarry–Escott problem
Yingqiong Chen. On the Prouhet–Tarry–Escott problem. Master’s Thesis, Southwest University, 2018. 6, 6.2
2018
-
[35]
Chernick
J. Chernick. Ideal solutions of the Tarry–Escott problem. Amer. Math. Monthly, 44(10):626–633, 1937. A.1.12, A.1.20, A.1.21, A.1.35, A.1.38
1937
-
[36]
Symmetric Diophantine systems.Acta Arith., 59(3):291– 307, 1991
Ajai Choudhry. Symmetric Diophantine systems.Acta Arith., 59(3):291– 307, 1991. 7.1, A.1.9, A.1.17, B.1.3, B.3.1
1991
-
[37]
The Diophantine systemP xr i = P yr i, r = 1, 3, 5
Ajai Choudhry. The Diophantine systemP xr i = P yr i, r = 1, 3, 5. Bull. Calcutta Math. Soc., 83(1991), 85–86. A.1.17
1991
-
[38]
Multigrade chains with odd exponents.J
Ajai Choudhry. Multigrade chains with odd exponents.J. Number Theory, 42(1992), 134–140. MR94a:11044
1992
-
[39]
On triads of squares with equal sums and equal products
Ajai Choudhry. On triads of squares with equal sums and equal products. Ganita, 49:101–106, 1998
1998
-
[40]
On equal sums of sixth powers.Rocky Mountain J
Ajai Choudhry. On equal sums of sixth powers.Rocky Mountain J. Math., 30(3):115–129, 2000. B.1.2
2000
-
[41]
Equal sums of seventh powers.Rocky Mountain J
Ajai Choudhry. Equal sums of seventh powers.Rocky Mountain J. Math., 30(3):849–852, 2000. A.1.18
2000
-
[42]
Ideal solutions of the Tarry–Escott problem of degree four and a related Diophantine system
Ajai Choudhry. Ideal solutions of the Tarry–Escott problem of degree four and a related Diophantine system. Enseign. Math., 46(3):313–323, 2000. A.1.21, B.1.7, C.1.4
2000
-
[43]
Equal sums of like powers
Ajai Choudhry. Equal sums of like powers. Rocky Mountain J. Math., 31(1):115–129, 2001. A.1.13, A.1.16, A.1.19, B.1.4 361
2001
-
[44]
Triads of biquadrates with equal sums and equal products
Ajai Choudhry. Triads of biquadrates with equal sums and equal products. Math. Student, 70:149–152, 2001
2001
-
[45]
Triads of integers with equal sums of squares, cubes, and fourth powers.Bull
Ajai Choudhry. Triads of integers with equal sums of squares, cubes, and fourth powers.Bull. Lond. Math. Soc., 35(6):821–824, 2003. B.1.4
2003
-
[46]
A diophantine system related to the Tarry-Escott problem with no non-trivial solutions.Indian J
Ajai Choudhry. A diophantine system related to the Tarry-Escott problem with no non-trivial solutions.Indian J. Pure Appl. Math., 35, No. 12, 1395- 1398 (2004). 1.2.2
2004
-
[47]
Some Diophantine problems concerning equal sums of in- tegers and their cubes.Hardy-Ramanujan J., 33:59–70, 2010
Ajai Choudhry. Some Diophantine problems concerning equal sums of in- tegers and their cubes.Hardy-Ramanujan J., 33:59–70, 2010. B.3.1
2010
-
[48]
Equal sums of like powers, both positive and negative
Ajai Choudhry. Equal sums of like powers, both positive and negative. Rocky Mountain J. Math., 41(3):737–763, 2011. 7, 7.1, 7.1, A.5.1, A.5.4, B.5.2, B.5.8, B.5.11, B.5.12, B.5.21
2011
-
[49]
Equal sums of like powers and equal products of integers
Ajai Choudhry. Equal sums of like powers and equal products of integers. Rocky Mountain J. Math., 43(3):763–792, 2013. 7, A.3.6, A.3.7, A.3.20, A.3.23, B.3.2, B.3.4, B.3.6
2013
-
[50]
Three triads of integers with equal sums of squares and cubes.Rocky Mountain J
Ajai Choudhry and Jarosław Wróblewski. Three triads of integers with equal sums of squares and cubes.Rocky Mountain J. Math., 44(2):435–441,
-
[51]
Quadratic Diophantine equations with applications to quar- tic equations
Ajai Choudhry. Quadratic Diophantine equations with applications to quar- tic equations. Rocky Mountain J. Math., 46(3):769–799, 2016
2016
-
[52]
A new approach to the Tarry–Escott problem
Ajai Choudhry. A new approach to the Tarry–Escott problem. Int. J. Number Theory, 13(2):393–417, 2017. MR3660628
2017
-
[53]
Triads of integers with equal sums of squares and equal products and a related multigrade chain.Acta Arith., 2023 (to appear)
Ajai Choudhry and Jarosław Wróblewski. Triads of integers with equal sums of squares and equal products and a related multigrade chain.Acta Arith., 2023 (to appear). A.3.3
2023
-
[54]
A Diophantine problem on biquadrates revisited
Ajai Choudhry. A Diophantine problem on biquadrates revisited. Preprint,
-
[55]
Ideal solutions of the Tarry–Escott problem of degree seven
Ajai Choudhry. Ideal solutions of the Tarry–Escott problem of degree seven. https://arxiv.org/abs/2207.12726, 2022. A.1.20, A.1.38
2022 arXiv
-
[56]
Quartic Diophantine chains.Acta Arith., 128(4):339–348, 2007
Ajai Choudhry and Jarosław Wróblewski. Quartic Diophantine chains.Acta Arith., 128(4):339–348, 2007
2007
-
[57]
Ideal solutions of the Tarry– Escott problem of degree eleven with applications to sums of thirteenth powers
Ajai Choudhry and Jarosław Wróblewski. Ideal solutions of the Tarry– Escott problem of degree eleven with applications to sums of thirteenth powers. Hardy-Ramanujan J., 31:1–13, 2008. MR2467597 A.1.34, A.1.42
2008
-
[58]
Coppersmith, M
D. Coppersmith, M. Mossinghoff, D. Scheinerman, and J. VanderKam. Ideal solutions in the Prouhet–Tarry–Escott problem. Math. Comp., 93(349):2473–2501, 2024. 6, 6.2 362
2024
-
[59]
J. Delorme. On the Diophantine equation x6 1 + x6 2 + x6 3 = y6 1 + y6 2 + y6 3. Math. Comp., 59(1992), 703–715. A.1.11
1992
-
[60]
L. E. Dickson. History of the Theory of Numbers, Vol. 2. Chelsea, New York, 1952. 1.1, 1.1, A.1.4, A.1.5, A.1.20
1952
-
[61]
L. E. Dickson. Introduction to the Theory of Numbers. Dover, New York, 1957 (reprint). A.1.5, A.1.12
1957
-
[62]
H. L. Dorwart and O. E. Brown. The Tarry–Escott problem.Amer. Math. Monthly, 44(10):613–626, 1937. A.1.5, A.1.12, A.1.35
1937
-
[63]
H. L. Dorwart. Sequences of ideal solutions in the Tarry–Escott problem. Bull. Amer. Math. Soc., 53(4):381–391, 1947. A.1.35, A.1.40
1947
-
[64]
Noam D. Elkies. OnA4 = B4 + C4 + D4. Math. Comp., 51(1988), 825–835
1988
-
[65]
Randy L. Ekl. Equal sums of four seventh powers.Math. Comp., 65(1996), 1755–1756
1996
-
[66]
Randy L. Ekl. New results in equal sums of like powers. Math. Comp., 67(1998), 1309–1315
1998
-
[67]
E. B. Escott. Logarithmic series. Quarterly Journal of Math., 41(1910), 141–167
1910
-
[68]
Translated by J
Leonhard Euler.Introduction to Analysis of the Infinite: Book I. Translated by J. D. Blanton. Springer New York, 1988. 4.1.2
1988
-
[69]
Filaseta and M
M. Filaseta and M. Markovich. Newton polygons and the Prouhet–Tarry– Escott problem. J. Number Theory, 174:384–400, 2017. MR3597397
2017
-
[70]
Girard-Newton identities for symmetric functions
Paul Garrett. Girard-Newton identities for symmetric functions. https://www-users.cse.umn.edu/~garrett/m/algebra/notes_ 2023-24/girard-newton.pdf January 19, 2010. 2.1.2
2023
-
[71]
A. Gloden. Mehrgradige Gleichungen. P. Noorhoff, Groningen, 2nd ed.,
-
[72]
A. Gloden. Two theorems on multi-degree equalities.Amer. Math. Monthly, 55(1948), 86–88. A.1.26
1948
-
[73]
A. Gloden. Parametric solutions of two multi-degreed equalities. Amer. Math. Monthly, 55(1948), 86–88. A.1.10
1948
-
[74]
A. Gloden. Uber mehrgradige Gleichungen.Arch. Math., 1(1949), 482–483
1949
-
[75]
A. Gloden. Note on systems of Diophantine equations. Scripta Math., 15:163–164, 1949. A.1.9, A.1.9, A.1.9, C.1.6 363
1949
-
[76]
A. Gloden. Zwei Parameterlosungen einer mehrgradigen Gleichung.Arch. Math., 1(1949), 480–482. A.1.26
1949
-
[77]
Guy.Unsolved Problems in Number Theory, 3rd ed
Richard K. Guy.Unsolved Problems in Number Theory, 3rd ed. Springer, New York, 2004. 1.1, A.3.2, A.3.3, A.3.4, A.3.5
2004
-
[78]
H. Gupta. A system of equations having no nontrivial solutions. J. of Research, National Bureau of Standards, 71B(1967), 181–182
1967
-
[79]
H. Gupta. Selected Topics in Number Theory. Abacus Press, Kent, 1980, 322–331
1980
-
[80]
L. Hahn. The Tarry–Escott problem (Problem 10284). Amer. Math. Monthly, 1995, 843–844
1995
-
[81]
J. H. Han and M. D. Hirschhorn. Another look at an amazing identity of Ramanujan. Math. Mag., 79(2006), 302–304. 7.1
2006
-
[82]
G. H. Hardy and E. M. Wright.An Introduction to the Theory of Numbers, 1st ed. Oxford Univ. Press, London, 1938. 1.1, 1.2.2, 1.4, 1.4.1, A.1.2, A.1.5, A.1.10, A.1.11, A.1.12, A.1.28
1938
-
[83]
M. D. Hirschhorn. An amazing identity of Ramanujan. Math. Mag., 68.3(1995), 199–201. 7.1
1995
-
[84]
M. D. Hirschhorn. A proof in the spirit of Zeilberger of an amazing identity of Ramanujan.Math. Mag., 69.4(1996), 267–269. 7.1
1996
-
[85]
Waring’s Problem and the Problem of Prouhet and Tarry
Loo-Keng Hua. Waring’s Problem and the Problem of Prouhet and Tarry. In: Introduction to Number Theory.Springer, Berlin, Heidelberg, 1982, 494–
1982
-
[86]
On Tarry’s problem.The Quarterly Journal of Mathemat- ics, Oxford Ser
Loo-Keng Hua. On Tarry’s problem.The Quarterly Journal of Mathemat- ics, Oxford Ser. 9(1938), 315-320. 1.2.3
1938
-
[87]
Improvement of a result of Wright.Jour
Loo-Keng Hua. Improvement of a result of Wright.Jour. London Math. Soc., 24(1949), 157–159
1949
-
[88]
On the number of solutions of Tarry’s problem.Acta Sci
Loo-Keng Hua. On the number of solutions of Tarry’s problem.Acta Sci. Sinica, 1(1952), 1–76
1952
-
[89]
https://www.math
Jarosław Wróblewski.Equal Sums of Powers - Tables. https://www.math. uni.wroc.pl/~jwr/eslp/tables.htm 7, A.1.3, A.1.18
-
[90]
Jarosław Wróblewski.Equal Sums and Differences of Fourth Powers. 2006. https://www.math.uni.wroc.pl/~jwr/422/index.htm A.1.4, A.1.4
2006
-
[91]
A Collection of Numerical Solutions of Multigrade Equations Related to the Prouhet–Tarry–Escott Problem, Version 12
Jarosław Wróblewski. A Collection of Numerical Solutions of Multigrade Equations Related to the Prouhet–Tarry–Escott Problem, Version 12. 2009. http://www.math.uni.wroc.pl/~jwr/eslp/ 7, A.1.33, A.1.33, B.1.11, B.1.12 364
2009
-
[92]
J. B. Kelly. Two equal sums of three squares with equal products.Amer. Math. Monthly, 98(6):527–529, 1991. A.3.3, A.3.3
1991
-
[93]
H. Kleiman. A note on the Tarry–Escott problem.J. Reine Angew. Math., 278:48–51, 1975. MR389758
1975
-
[94]
A. I. Kostrikin. Exercises in Algebra: A Collection of Exercises in Algebra, Linear Algebra and Geometry.Algebra, Logic and Applications series, vol
-
[95]
L. J. Lander and T. R. Parkin. Equal sums of biquadrates.Math. Comp., 20(96):450–451, 1966. A.1.4
1966
-
[96]
L. J. Lander and T. R. Parkin. A counterexample to Euler’s conjecture on sums of like powers.Math. Comp., 21(1967), 101–103
1967
-
[97]
Gordan and Breach Publishers, 1996. 2.1.2
1996
-
[98]
L. J. Lander. Geometric aspects of Diophantine equations involving equal sums of like powers. Amer. Math. Monthly, 75(1968), 1061–1073. A.1.8, A.1.17
1968
-
[99]
L. J. Lander. Three thirteens.Math. Comp., 27(1973), 397
1973
-
[100]
L. J. Lander, T. R. Parkin, and J. L. Selfridge. A survey of equal sums of like powers.Math. Comp., 21(100):446–459, 1967. A.1.4, A.1.8, A.1.11, A.1.15
1967
-
[101]
J. Leech. On A4 + B4 + C4 + D4 = E4. Proc. Cambridge Philos. Soc., 54(1958), 554–555
1958
-
[102]
D. H. Lehmer. The Tarry-Escott problem.Scripta Math., 1947, 37–41
1947
-
[103]
J. Leech. Some solutions of Diophantine equations.Proc. Cambridge Philos. Soc., 53(1957), 778–780. A.1.3
1957
-
[104]
An identity motivated by an amazing identity of Ra- manujan
James Mc Laughlin. An identity motivated by an amazing identity of Ra- manujan. The Fibonacci Quarterly, 48(1):34–38, 2010. 7.1
2010
-
[105]
Einige numerische Identitäten
Alfred Moessner. Einige numerische Identitäten. Proc. Indian Acad. Sci. Sect. A, 10(4):296–306, 1939. 7, A.1.6, A.1.8, A.3.2
1939
-
[106]
A. Letac. Gazeta Matematică, 48:68–69, October 1942. A.1.26, A.1.27, A.1.40, A.1.41, B.1.9
1942
-
[107]
On the multiple identity xn 1 + xn 2 + xn 3 + xn 4 + xn 5 = yn 1 + yn 2 + yn 3 + yn 4 + yn 5 for n = 1 , 3, 5, 7
Alfred Moessner. On the multiple identity xn 1 + xn 2 + xn 3 + xn 4 + xn 5 = yn 1 + yn 2 + yn 3 + yn 4 + yn 5 for n = 1 , 3, 5, 7. Scrip. Math., 18(1952), 90–91. A.1.26
1952
-
[108]
On some sets of integers with equal sums of like powers.Publ
Alfred Moessner and George Xeroudakes. On some sets of integers with equal sums of like powers.Publ. Inst. Math., 6(12):125–136, 1954. 365
1954
-
[109]
On equal sums of powers.Math
Alfred Moessner. On equal sums of powers.Math. Student, 15(1947), 83–88. A.1.26
1947
-
[110]
Computing Minimal Equal Sums Of Like Powers
Jean-Charles Meyrignac. Computing Minimal Equal Sums Of Like Powers. http://euler.free.fr/ A.1.18
-
[111]
http://euler.free.fr/dataprime.txt 1.2.3, A.1.2, A.1.3, A.1.4, A.1.8, A.1.11, A.1.17, A.1.26
Jean-Charles Meyrignac. http://euler.free.fr/dataprime.txt 1.2.3, A.1.2, A.1.3, A.1.4, A.1.8, A.1.11, A.1.17, A.1.26
-
[112]
Two Diophantine systems
Alfred Moessner and George Xeroudakes. Two Diophantine systems. Manuscripta Math., 18(1):337–342, 1976. A.3.11, C.1.7
1976
-
[113]
G. Palama. Multigrade normali del 9 ordine inverso del teorema di Gloden. Uni.Roma 1st Naz.Alta Mat. Rend.Mat e Appl., 1950, Vol. 5, Part. 9, 228–
1950
-
[114]
G. Palama. Diophantine systems of the type P(ak i ) = P(bk i ), (k = 1, 2, . . . , n, n+2, n+4, . . . , n+2r). Scripta Math., 19:132–134, 1953. A.1.25, B.1.6, B.1.8
1953
-
[115]
Wikipedia, The Free Encyclopedia
https://en.wikipedia.org/wiki/Newton%27s_identities Newton’s identities. Wikipedia, The Free Encyclopedia. [Online; accessed 2025-05- 06]. 2.1.1, 2.1.2
2025
-
[116]
The Prouhet–Tarry–Escott Problem
Min Qiu. The Prouhet–Tarry–Escott Problem. Master’s Thesis, Southwest University, 2016. 6, 6.2, A.1.35
2016
-
[117]
Ramanujan
S. Ramanujan. The Lost Notebook and other Unpublished Papers. With an introduction by George E. Andrews. Springer-Verlag, Berlin; Narosa Publishing House, New Delhi, 1988. 4.3, 7.1
1988
-
[118]
A Collection of Algebraic Identities
Titus Piezas III. A Collection of Algebraic Identities. https://sites. google.com/view/tpiezas, 2009. A.1.3, A.1.8, A.1.9, A.1.26, A.3.22, B.3.1
2009
-
[119]
The Prouhet Tarry Escott Problem: A Review
Srikanth Raghavendran and Veena Narayanan. The Prouhet Tarry Escott Problem: A Review. Mathematics, 7(2019), 227.https://www.mdpi.com/ 2227-7390/7/3/227 1.1
2019
-
[120]
Rosenstiel, J
E. Rosenstiel, J. A. Dardis, and C. R. Rosenstiel. The four least solutions in distinct positive integers of the Diophantine equations = x3 + y3 = z3 + w3 = u3 + v3 = m3 + n3. Bull. Inst. Math. Appl., 27(1991), no. 7, 155–157. MR92i:11134. A.1.3
1991
-
[121]
B. C. Berndt.Ramanujan’s Notebooks, Part IV. Springer, 1994. 4.3
1994
-
[122]
S. Sastry. On sums of powers.Jour. London Math. Soc., 9(1934), 170–171
1934
-
[123]
S. Sastry. On equal sums of like powers.Math. Student, 15(1947), 29–32. 366
1947
-
[124]
Rees and C
E. Rees and C. Smyth. On the constant in the Tarry–Escott problem. In Cinquante Ans de Polynômes (Paris, 1988), M. Langevin and M. Wald- schmidt, eds., Lect. Notes Math., vol. 1415, pp. 196–208, Springer, Berlin,
1988
-
[125]
J. H. Silverman. Taxicabs and sums of two cubes.Amer. Math. Monthly, 1993, 331–340. A.1.3
1993
-
[126]
R. N. Singh. Equal sums of like powers.Math. Student, 56(1988), no. 1–4, 192–194. MR90m:11044
1988
-
[127]
Onequalsumsoflikepowers
S.SastryandT.Rai. Onequalsumsoflikepowers. Math. Student, 16(1948), 18–19
1948
-
[128]
T. N. Sinha. On the Tarry–Escott problem. Amer. Math. Monthly, 73(3):280–285, 1966. A.1.26
1966
-
[129]
T. N. Sinha. A note on equal sums of like powers.Math. Student, 46(1978), no. 2–4, 121–123. MR84e:10025
1978
-
[130]
T. N. Sinha. Some systems of Diophantine equations of the Tarry–Escott type. J. Indian Math. Soc., 30:15–25, 1966. A.1.26
1966
-
[131]
C. J. Smyth. Ideal 9th-order multigrades and Letac’s elliptic curve.Math. Comp., 57(196):817–823, 1991. MR1094960 A.1.27, A.1.27, A.1.41
1991
-
[132]
Subba Rao
K. Subba Rao. On sums of sixth powers.J. London Math. Soc., 9(3):172– 173, 1934. A.1.11
1934
-
[133]
T. N. Sinha. Diophantine Systems of the Tarry–Escott Type. Anupam, India, 1984. A.1.9, A.1.16, A.1.27, A.3.2
1984
-
[134]
Computational Number Theory
Seiji Tomita. Computational Number Theory. http://www.maroon.dti. ne.jp/fermat/eindex.html, 2021. A.1.8
2021
-
[135]
E. M. Wright. The Prouhet-Lehmer problem. Jour. London Math. Soc., 23(1948), 279–285
1948
-
[136]
G. Tarry. L’intermediaire des mathematiciens, 19(1912), 200, 219–221; 20(1913), 68–70. A.1.28, A.1.38
1912
-
[137]
E. M. Wright. On Tarry’s problem (II).Quart. J. of Math., 7(1936), 43–45
1936
-
[138]
E. M. Wright. On Tarry’s problem (III). Quart. J. of Math., 8(1937), 48–50
1937
-
[139]
E. M. Wright. On Tarry’s problem (I).Quart. J. of Math., 6(1935), 261– 267
1935
-
[140]
E. M. Wright. Equal sums of like powers.Proc. Edin. Math. Soc., 8(1949), 138–142
1949
-
[141]
E. M. Wright. An “easier” Waring problem. Jour. London Math. Soc., 9(1934), 267–272. 367
1934
-
[142]
E. M. Wright. Equal sums of like powers.Bull. Amer. Math. Soc., 54(1948), 755–757
1948
-
[143]
E. M. Wright. Prouhet’s 1851 solution of the Tarry-Escott problem of 1910. Amer. Math. Monthly, 66(1959), 199–201. 1.1
1959
-
[144]
Basic Algebra, Volume 1 (in Chinese)
Nanhua Xi. Basic Algebra, Volume 1 (in Chinese). Science Press, Beijing, September 2016. 2.1.2
2016
-
[145]
E. M. Wright. The Tarry-Escott and the “easier” Waring problems.J. Reine Angew. Math., 311/312(1979), 170–173
1979
-
[146]
Aurel J. Zajta. Solutions of the Diophantine equationA4 + B4 = C4 + D4. Math. Comp., 41(164):635–659, 1983. MR85d:11025 A.1.4
1983
-
[147]
On the Prouhet–Tarry–Escott problem
Qian Zhang. On the Prouhet–Tarry–Escott problem. Master’s Thesis, Southwest University, 2023. 6, 6.2 Author Information Chen Shuwen1 Seekway Innovations Technology Co., Ltd. Room 1001, Tower 3, Qunhua Hi-Tech Park, No.15 Qunhua Road Jiangmen City, Guangdong Province, P.R. Chin...
2023
-
[148]
On equal sums of like powers
George Xeroudakes and Alfred Moessner. On equal sums of like powers. Proc. Indian Acad. Sci. Sect. A, 48(4):245–255, 1958. A.1.17, A.3.3, A.3.6, B.1.5, C.1.12, D.1.2
1958
-
[1944]
MR0019638 1.1, 1.4, 1.4.1, 1.4.2, 7, A.1.2, A.1.5, A.1.10, A.1.10, A.1.12, A.1.26, A.1.26, A.1.27, A.1.28, A.1.28, A.1.38, A.1.40, A.1.41, A.3.2, A.3.3, A.3.6, B.1.1, B.1.5, B.1.7, B.1.9, B.1.10
-
[2023]
1.2, 1.2.3, A.1.2, A.1.5, A.1.6, A.1.7, A.1.10, A.1.11, A.1.13, A.1.14, A.1.15, A.1.16, A.1.17, A.1.18, A.1.19, A.1.20, A.1.21, A.1.22, A.1.23, A.1.24, A.1.25, A.1.26, A.1.27, A.1.28, A.1.29, A.1.30, A.1.31, A.1.32, 360 A.1.33, A.1.34, A.1.35, A.1.36, A.1.37, A.1.38, A.1.39, A...
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.