Showing 1–4 of 4 results for author: MacMillan, K

Primary Pseudoperfect Numbers, Arithmetic Progressions, and the Erdős-Moser Equation

Authors: Jonathan Sondow, Kieren MacMillan

Abstract: A primary pseudoperfect number (PPN) is an integer $K > 1$ such that the reciprocals of $K$ and its prime factors sum to 1. PPNs arise in studying perfectly weighted graphs and singularities of algebraic surfaces, and are related to Sylvester's sequence, Giuga numbers, Znám's problem, the inheritance problem, and Curtiss's bound on solutions of a unit fraction equation. Here we show… ▽ More A primary pseudoperfect number (PPN) is an integer $K > 1$ such that the reciprocals of $K$ and its prime factors sum to 1. PPNs arise in studying perfectly weighted graphs and singularities of algebraic surfaces, and are related to Sylvester's sequence, Giuga numbers, Znám's problem, the inheritance problem, and Curtiss's bound on solutions of a unit fraction equation. Here we show $K \equiv 6 \pmod{6^2}$ if $6\mid K$, and uncover a remarkable $7$-term arithmetic progression of residues modulo $6^2\cdot8$ in the sequence of known PPNs. On that basis, we pose a conjecture which leads to a conditional proof of the new record lower bound $k>10^{3.99\times10^{20}}$ on any non-trivial solution to the Erdős-Moser Diophantine equation $1^n + 2^n + \dotsb + k^n = (k+1)^n$. △ Less

Submitted 16 December, 2018; originally announced December 2018.

Comments: 7 pages, 1 table

MSC Class: 11D68; 11A41

Journal ref: Amer. Math. Monthly 124 (2017) 232-240

Reducing the Erdos-Moser equation 1^n + 2^n + . . . + k^n = (k+1)^n modulo k and k^2

Authors: Jonathan Sondow, Kieren MacMillan

Abstract: An open conjecture of Erdos and Moser is that the only solution of the Diophantine equation in the title is the trivial solution 1+2=3. Reducing the equation modulo k and k^2, we give necessary and sufficient conditions on solutions to the resulting congruence and supercongruence. A corollary is a new proof of Moser's result that the conjecture is true for odd exponents n. We also connect solution… ▽ More An open conjecture of Erdos and Moser is that the only solution of the Diophantine equation in the title is the trivial solution 1+2=3. Reducing the equation modulo k and k^2, we give necessary and sufficient conditions on solutions to the resulting congruence and supercongruence. A corollary is a new proof of Moser's result that the conjecture is true for odd exponents n. We also connect solutions k of the congruence to primary pseudoperfect numbers and to a result of Zagier. The proofs use divisibility properties of power sums as well as Lerch's relation between Fermat and Wilson quotients. △ Less

Submitted 9 November, 2010; originally announced November 2010.

Comments: 10 pages, 2 tables, submitted for publication

MSC Class: 11D61 (Primary); 11D79; 11A41 (Secondary)

Journal ref: Integers 11 (2011), article #A34

Proofs of power sum and binomial coefficient congruences via Pascal's identity

Authors: Kieren MacMillan, Jonathan Sondow

Abstract: A frequently cited theorem says that for n > 0 and prime p, the sum of the first p n-th powers is congruent to -1 modulo p if p-1 divides n, and to 0 otherwise. We survey the main ingredients in several known proofs. Then we give an elementary proof, using an identity for power sums proven by Pascal in 1654. An application is a simple proof of a congruence for certain sums of binomial coefficients… ▽ More A frequently cited theorem says that for n > 0 and prime p, the sum of the first p n-th powers is congruent to -1 modulo p if p-1 divides n, and to 0 otherwise. We survey the main ingredients in several known proofs. Then we give an elementary proof, using an identity for power sums proven by Pascal in 1654. An application is a simple proof of a congruence for certain sums of binomial coefficients, due to Hermite and Bachmann. △ Less

Submitted 30 October, 2010; originally announced November 2010.

Comments: 4 pages, to appear in Amer. Math. Monthly

MSC Class: 11A07 (Primary); 11B65 (Secondary)

Journal ref: Amer. Math. Monthly 118 (2011) 549-551

Divisibility of Power Sums and the Generalized Erdos-Moser Equation

Authors: Kieren MacMillan, Jonathan Sondow

Abstract: Using elementary methods, we determine the highest power of 2 dividing a power sum 1^n + 2^n + . . . + m^n, generalizing Lengyel's formula for the case where m is itself a power of 2. An application is a simple proof of Moree's result that, if (a,m,n) is any solution of the generalized Erdos-Moser Diophantine equation 1^n + 2^n + . . . + (m-1)^n = am^n, then m is odd. Using elementary methods, we determine the highest power of 2 dividing a power sum 1^n + 2^n + . . . + m^n, generalizing Lengyel's formula for the case where m is itself a power of 2. An application is a simple proof of Moree's result that, if (a,m,n) is any solution of the generalized Erdos-Moser Diophantine equation 1^n + 2^n + . . . + (m-1)^n = am^n, then m is odd. △ Less

Submitted 19 May, 2011; v1 submitted 11 October, 2010; originally announced October 2010.

Comments: 4 pages, simplified proof of Proposition 1, added reference [4]

MSC Class: 11D79 (Primary) 11D61 (Secondary)

Journal ref: Elemente der Mathematik 67 (2012) 182-186