Showing 1–50 of 130 results for author: Nathanson, M B

Multiplicative polynomial equations in infinitely many variables

Authors: Melvyn B. Nathanson, David A. Ross

Abstract: This paper describes infinite sets of polynomial equations in infinitely many variables with the property that the existence of a solution or even an approximate solution for every finite subset of the equations implies the existence of a solution for the infinite set of equations. This paper describes infinite sets of polynomial equations in infinitely many variables with the property that the existence of a solution or even an approximate solution for every finite subset of the equations implies the existence of a solution for the infinite set of equations. △ Less

Submitted 2 May, 2024; originally announced May 2024.

Comments: 16 pages

MSC Class: 12D10; 12E12; 15A06; 40H05; 46A45; 54B10; 54C30

Landau's converse to H\" older's inequality

Authors: Melvyn B. Nathanson

Abstract: By H\" older's inequality, if $\mathbf{x} \in \ell^p$, then $\mathbf{x}\mathbf{y} \in \ell^1$ for all $\mathbf{y} \in \ell^q$. Landau proved the converse result: If $\mathbf{x}\mathbf{y} \in \ell^1$ for all $\mathbf{y} \in \ell^q$, then $\mathbf{x} \in \ell^p$. This paper proves Landau's theorem and considers a related problem for Hilbert's inequality. By H\" older's inequality, if $\mathbf{x} \in \ell^p$, then $\mathbf{x}\mathbf{y} \in \ell^1$ for all $\mathbf{y} \in \ell^q$. Landau proved the converse result: If $\mathbf{x}\mathbf{y} \in \ell^1$ for all $\mathbf{y} \in \ell^q$, then $\mathbf{x} \in \ell^p$. This paper proves Landau's theorem and considers a related problem for Hilbert's inequality. △ Less

Submitted 31 March, 2024; originally announced April 2024.

Comments: 9 pages

MSC Class: 26D15

Finitely many implies infinitely many

Authors: Melvyn B. Nathanson

Abstract: Many mathematical statements have the following form. If something is true for all finite subsets of an infinite set $I$, then it is true for all of $I$. This paper describes some old and new results on infinite sets of linear and polynomial equations with the property that solutions for all finite subsets of the set of equations implies the existence of a solution for the infinite set of equation… ▽ More Many mathematical statements have the following form. If something is true for all finite subsets of an infinite set $I$, then it is true for all of $I$. This paper describes some old and new results on infinite sets of linear and polynomial equations with the property that solutions for all finite subsets of the set of equations implies the existence of a solution for the infinite set of equations. △ Less

Submitted 31 January, 2024; v1 submitted 23 January, 2024; originally announced January 2024.

Comments: Minor corrections, 12 pages

MSC Class: 15A06; 15A03; 54B10; 54D30

The fourth positive element in the greedy $B_h$-set

Authors: Melvyn B. Nathanson, Kevin O'Bryant

Abstract: For $h \geq 1$, a $B_h$-set is a set of integers such that every integer $n$ has at most one representation in the form $n = a_{i_1} + \cdots + a_{i_h}$, where $a_{i_r} \in A$ for all $r = 1,\ldots, h$ and $a_{i_1} \leq \ldots \leq a_{i_h}$. The greedy $B_h$-set is the infinite set of nonnegative integers $\{a_0(h), a_1(h), a_2(h), \ldots \}$ constructed as follows: If $a_0(h) = 0$ and… ▽ More For $h \geq 1$, a $B_h$-set is a set of integers such that every integer $n$ has at most one representation in the form $n = a_{i_1} + \cdots + a_{i_h}$, where $a_{i_r} \in A$ for all $r = 1,\ldots, h$ and $a_{i_1} \leq \ldots \leq a_{i_h}$. The greedy $B_h$-set is the infinite set of nonnegative integers $\{a_0(h), a_1(h), a_2(h), \ldots \}$ constructed as follows: If $a_0(h) = 0$ and $\{a_0(h), a_1(h), a_2(h), \ldots, a_k(h) \}$ is a $B_h$-set, then $a_{k+1}(h)$ is the least positive integer such that $\{a_0(h), a_1(h), a_2(h), \ldots, a_k(h), a_{k+1}(h) \}$ is a $B_h$-set. Then $a_1(h) = 1$, $a_2(h) = h+1$, and $a_3(h) = h^2+h+1$ for all $h$. This paper proves that $a_4(h)$, the fourth term of the greedy $B_h$-set is $\left( h^3 + 3h^2 + 3h + 1\right) /2$ if $h$ is odd and $\left( h^3 + 2h^2 + 3h + 2\right) /2$ if $h$ is even. △ Less

Submitted 23 November, 2023; originally announced November 2023.

Comments: 7 pages

MSC Class: 11B13; 11B34; 11B75; 11P99

Extremal problems and the combinatorics of sumsets

Authors: Melvyn B. Nathanson

Abstract: This is a survey of old and new problems and results in additive number theory. This is a survey of old and new problems and results in additive number theory. △ Less

Submitted 25 December, 2023; v1 submitted 27 October, 2023; originally announced October 2023.

Comments: 18 pages. Minor improvements

MSC Class: 11-02; 11B05; 11B13; 11B34; 11B75; 11P70; 05A18

The third positive element in the greedy $B_h$-set

Authors: Melvyn B. Nathanson

Abstract: For $h \geq 1$, a $B_h$-set is a set of integers such that every integer $n$ has at most one representation in the form $n = a_{i_1} + \cdots + a_{i_h}$, where $a_{i_j} \in A$ for all $j = 1,\ldots, h$ and $a_{i_1} \leq \ldots \leq a_{i_h}$. The greedy $B_h$-set is the infinite set of nonnegative integers $\{a_0(h), a_1(h), a_2(h), \ldots \}$ constructed as follows: If $a_0(h) = 0$ and… ▽ More For $h \geq 1$, a $B_h$-set is a set of integers such that every integer $n$ has at most one representation in the form $n = a_{i_1} + \cdots + a_{i_h}$, where $a_{i_j} \in A$ for all $j = 1,\ldots, h$ and $a_{i_1} \leq \ldots \leq a_{i_h}$. The greedy $B_h$-set is the infinite set of nonnegative integers $\{a_0(h), a_1(h), a_2(h), \ldots \}$ constructed as follows: If $a_0(h) = 0$ and $\{a_0(h), a_1(h), a_2(h), \ldots, a_k(h) \}$ is a $B_h$-set, then $a_{k+1}(h)$ is the least positive integer such that $\{a_0(h), a_1(h), a_2(h), \ldots, a_k(h), a_{k+1}(h) \}$ is a $B_h$ set. One has $a_1(h) = 1$ and $a_2(h) = h+1$ for all $h$. Elementary proofs are given that $a_3(h) = h^2+h+1$ for all $h \geq 1$ and that $a_k(h) \leq \sum_{i=0}^{k-1} h^i$ for all $h \geq 1$ and $k \geq 1$. △ Less

Submitted 18 November, 2023; v1 submitted 22 October, 2023; originally announced October 2023.

Comments: 5 pages; minor changes

MSC Class: 11B13; 11B34; 11B75; 11P99

Permutation Patterns of the Iterated Syracuse Function

Authors: Melvyn B. Nathanson

Abstract: Let $Ω$ be the set of odd positive integers and let $S:Ω\rightarrow Ω$ be the Syracuse function. It is proved that, for every permutation $σ$ of $(1,2,3)$, the set of triples of the form $(m,S(m),S^2(m))$ with permutation pattern $σ$ has positive density, and these densities are computed. However, there exist permutations $τ$ of $(1,2,3,4)$ such that no quadruple $(m,S(m), S^2(m), S^3(m))$ has per… ▽ More Let $Ω$ be the set of odd positive integers and let $S:Ω\rightarrow Ω$ be the Syracuse function. It is proved that, for every permutation $σ$ of $(1,2,3)$, the set of triples of the form $(m,S(m),S^2(m))$ with permutation pattern $σ$ has positive density, and these densities are computed. However, there exist permutations $τ$ of $(1,2,3,4)$ such that no quadruple $(m,S(m), S^2(m), S^3(m))$ has permutation pattern $τ$. This implies the nonexistence of certain permutation patterns of $n$-tuples $(m,S(m),\ldots, S^{n-1}(m))$ for all $n \geq 4$. △ Less

Submitted 1 August, 2023; originally announced August 2023.

Comments: 21 pages

MSC Class: 11A25; 11B83; 11B75; 11D04; 11N56; 05A05; 37P05

Three questions about John von Neumann

Authors: Melvyn B. Nathanson

Abstract: Review/essay of Ananyo Bhattacharya, The Man from the Future: The Visionary Life of John von Neumann. Review/essay of Ananyo Bhattacharya, The Man from the Future: The Visionary Life of John von Neumann. △ Less

Submitted 1 June, 2023; originally announced June 2023.

Comments: 7 pages

MSC Class: 01A60

Journal ref: Notices of the American Mathematical Society, May, 2023, 813--817

Polytopes, polyhedra, and the Farkas lemma

Authors: Melvyn B. Nathanson

Abstract: The Farkas lemma is proved and applied to obtain a structure theorem for polyhedra. These notes are based on a talk in the New York Number Theory Seminar on October, 20, 2022. The Farkas lemma is proved and applied to obtain a structure theorem for polyhedra. These notes are based on a talk in the New York Number Theory Seminar on October, 20, 2022. △ Less

Submitted 17 January, 2023; v1 submitted 30 November, 2022; originally announced December 2022.

Comments: Expanded and improved; 16 pages

MSC Class: 52A05; 52A20; 52A37; 52B11

Von Neumann-Steinhaus decomposition of parallelepipeds

Authors: Melvyn B. Nathanson

Abstract: A problem of Steinhaus was to partition a finite interval $I$ of the real line into countably infinitely many pairwise disjoint sets that are congruent in the sense that each set is a translate of a fixed set $A$. This paper describes von Neumann's solution of the Steinhaus problem and generalizes the result to parallelepipeds in $\mathbf{R}^n$. A problem of Steinhaus was to partition a finite interval $I$ of the real line into countably infinitely many pairwise disjoint sets that are congruent in the sense that each set is a translate of a fixed set $A$. This paper describes von Neumann's solution of the Steinhaus problem and generalizes the result to parallelepipeds in $\mathbf{R}^n$. △ Less

Submitted 16 November, 2023; v1 submitted 20 November, 2022; originally announced November 2022.

Comments: 11 pages; significant improvements

MSC Class: 28A05; 28A12; 51M20; 52C22; 05B10

Descartes's "Rule of Signs'' and Poincaré's Positivstellensatz

Authors: Melvyn B. Nathanson

Abstract: This is an exposition of Poincaré's 1883 paper, ``Sur les équations algébriques,'' which gives an important refinement of Descartes's rule of signs and was a precursor of P\' olya's Positivstellensatz. This is an exposition of Poincaré's 1883 paper, ``Sur les équations algébriques,'' which gives an important refinement of Descartes's rule of signs and was a precursor of P\' olya's Positivstellensatz. △ Less

Submitted 30 September, 2022; originally announced September 2022.

Comments: 6 pages. This report on Poincaré's 1883 paper, "Sur les équations algébriques,'' is based on a talk in the New York Number Theory Seminar on September 29, 2022

MSC Class: 11B83; 11C08; 11B75; 12D10

Exponential automorphisms and a problem of Mycielski

Authors: Melvyn B. Nathanson

Abstract: An exponential automorphism of $\mathbf{C}$ is a function $α: \mathbf{C} \rightarrow \mathbf{C}$ such that $α(z_1 + z_2) = α(z_1) + α(z_2)$ and $α\left( e^z \right) = e^{α(z)}$ for all $z, z_1, z_2 \in \mathbf{C}$. Jan Mycielski asked if $α(\ln 2) = \ln 2$ and if $α(2^{1/k}) = 2^{1/k}$ for $k = 2, 3, 4$ and for all exponential automorphisms $α$. These questions are answered modulo a multiple of… ▽ More An exponential automorphism of $\mathbf{C}$ is a function $α: \mathbf{C} \rightarrow \mathbf{C}$ such that $α(z_1 + z_2) = α(z_1) + α(z_2)$ and $α\left( e^z \right) = e^{α(z)}$ for all $z, z_1, z_2 \in \mathbf{C}$. Jan Mycielski asked if $α(\ln 2) = \ln 2$ and if $α(2^{1/k}) = 2^{1/k}$ for $k = 2, 3, 4$ and for all exponential automorphisms $α$. These questions are answered modulo a multiple of $2πi$ and a root of unity. △ Less

Submitted 2 September, 2022; originally announced September 2022.

Comments: 5 pages. From a talk in the New York Number Theory Seminar on April 7, 2022

MSC Class: 12D99; 12E12; 12E30

Increasing-decreasing patterns in the iteration of an arithmetic function

Authors: Melvyn B. Nathanson

Abstract: Let $Ω$ be a set of positive integers and let $f:Ω\rightarrow Ω$ be an arithmetic function. Let $V = (v_i)_{i=1}^n$ be a finite sequence of positive integers. An integer $m \in Ω$ has \textit{increasing-decreasing pattern} $V$ with respect to $f$ if, for all odd integers $i \in \{1,\ldots, n\}$, \[ f^{v_1+ \cdots + v_{i-1}}(m) < f^{v_1+ \cdots + v_{i-1}+1}(m) < \cdots < f^{v_1+ \cdots + v_{i-1}+v_… ▽ More Let $Ω$ be a set of positive integers and let $f:Ω\rightarrow Ω$ be an arithmetic function. Let $V = (v_i)_{i=1}^n$ be a finite sequence of positive integers. An integer $m \in Ω$ has \textit{increasing-decreasing pattern} $V$ with respect to $f$ if, for all odd integers $i \in \{1,\ldots, n\}$, \[ f^{v_1+ \cdots + v_{i-1}}(m) < f^{v_1+ \cdots + v_{i-1}+1}(m) < \cdots < f^{v_1+ \cdots + v_{i-1}+v_{i}}(m) \] and, for all even integers $i \in \{2,\ldots, n\}$, \[ f^{v_1+ \cdots + v_{i-1}}(m) > f^{v_1+ \cdots +v_{i-1}+1}(m) > \cdots > f^{v_1+ \cdots +v_{i-1}+v_i}(m). \] The arithmetic function $f$ is \textit{wildly increasing-decreasing} if, for every finite sequence $V$ of positive integers, there exists an integer $m \in Ω$ such that $m$ has increasing-decreasing pattern $V$ with respect to $f$. This paper gives a proof that the Syracuse function is wildly increasing-decreasing. △ Less

Submitted 7 March, 2024; v1 submitted 3 August, 2022; originally announced August 2022.

Comments: 14 pages, improved and expanded

MSC Class: 11A25; 11B37; 11B83; 11D04; 68Q99

A nonstandard proof of continuity of affine varieties

Authors: Melvyn B. Nathanson

Abstract: Extending the classical result that the roots of a polynomial with coefficients in $\mathbf{C}$ are continuous functions of the coefficients of the polynomial, nonstandard analysis is used to prove that if $\mathcal{F} = \{f_λ :λ\in Λ\}$ is a set of polynomials in $\mathbf{C}[t_1,\ldots, t_n]$ and if $^*\mathcal{G} = \{g_λ :λ\in Λ\}$ is a set of polynomials in $^*\mathbf{C}_0[t_1,\ldots, t_n]$ suc… ▽ More Extending the classical result that the roots of a polynomial with coefficients in $\mathbf{C}$ are continuous functions of the coefficients of the polynomial, nonstandard analysis is used to prove that if $\mathcal{F} = \{f_λ :λ\in Λ\}$ is a set of polynomials in $\mathbf{C}[t_1,\ldots, t_n]$ and if $^*\mathcal{G} = \{g_λ :λ\in Λ\}$ is a set of polynomials in $^*\mathbf{C}_0[t_1,\ldots, t_n]$ such that $g_λ$ is an infinitesimal deformation of $f_λ$ for all $λ\in Λ$, then the nonstandard affine variety $^*V_0(\mathcal{G})$ is an infinitesimal deformation of the affine variety $V(\mathcal{F})$. △ Less

Submitted 12 August, 2022; v1 submitted 13 July, 2022; originally announced July 2022.

Comments: 8 pages; minor corrections

MSC Class: 03H05; 03H15; 11G35; 12D10; 12E05; 12L15

Journal ref: Archiv der Mathematik 119 (2022), 583--592

Continuity of the roots of a polynomial

Authors: Melvyn B. Nathanson, David A. Ross

Abstract: Let $K$ be an algebraically closed field with an absolute value. This note gives an elementary proof of the classical result that the roots of a polynomial with coefficients in $K$ are continuous functions of the coefficients of the polynomial. Let $K$ be an algebraically closed field with an absolute value. This note gives an elementary proof of the classical result that the roots of a polynomial with coefficients in $K$ are continuous functions of the coefficients of the polynomial. △ Less

Submitted 10 November, 2023; v1 submitted 26 June, 2022; originally announced June 2022.

Comments: 10 pages; minor improvements

MSC Class: 12D10; 12E05; 12J10; 12L15

Arithmetic functions and fixed points of powers of permutations

Authors: Melvyn B. Nathanson

Abstract: Let $σ$ be a permutation of a nonempty finite or countably infinite set $X$ and let $F_X\left( σ^k\right)$ count the number of fixed points of the $k$th power of $σ$. This paper explains how the arithmetic function $k \mapsto \left(F_X\left( σ^k\right) \right)_{k=1}^{\infty}$ determines the conjugacy class of the permutation $σ$, constructs an algorithm to compute the conjugacy class from the fixe… ▽ More Let $σ$ be a permutation of a nonempty finite or countably infinite set $X$ and let $F_X\left( σ^k\right)$ count the number of fixed points of the $k$th power of $σ$. This paper explains how the arithmetic function $k \mapsto \left(F_X\left( σ^k\right) \right)_{k=1}^{\infty}$ determines the conjugacy class of the permutation $σ$, constructs an algorithm to compute the conjugacy class from the fixed point counting function $F_X\left( σ^k\right)$, and describes the arithmetic functions that are fixed point counting functions of permutations. △ Less

Submitted 7 March, 2023; v1 submitted 8 June, 2022; originally announced June 2022.

Comments: Revised and corrected; 10 pages

MSC Class: 11N56; 20B05; 20B07; 20B10; 20F69

Journal ref: Archiv der Mathematik (2023)

Gauss's proof of Descartes's rule of signs

Authors: Melvyn B. Nathanson

Abstract: This is an exposition of Gauss's proof of Descartes's rule of signs. This is an exposition of Gauss's proof of Descartes's rule of signs. △ Less

Submitted 9 May, 2022; v1 submitted 28 April, 2022; originally announced May 2022.

Comments: 8 pages; minor improvements

MSC Class: 11B83; 11C08; 11B75; 12D10

Interactions of zeros of of polynomials and multiplicity matrices

Authors: Melvyn B. Nathanson

Abstract: An $m \times (n+1)$ multiplicity matrix is a matrix $M = ( μ_{i,j} )$ with rows enumerated by $i \in \{ 1,\ 2, \ldots, m \}$ and columns enumerated by $j \in \{ 0,1,\ldots, n \}$ whose coordinates are nonnegative integers satisfying the following two properties: (1) If $μ_{i,j} \geq 1$, then $j \leq n-1$ and $μ_{i,j+1} = μ_{i,j}-1$, and (2) the $j$th column sum of $M$ satisfies the inequality… ▽ More An $m \times (n+1)$ multiplicity matrix is a matrix $M = ( μ_{i,j} )$ with rows enumerated by $i \in \{ 1,\ 2, \ldots, m \}$ and columns enumerated by $j \in \{ 0,1,\ldots, n \}$ whose coordinates are nonnegative integers satisfying the following two properties: (1) If $μ_{i,j} \geq 1$, then $j \leq n-1$ and $μ_{i,j+1} = μ_{i,j}-1$, and (2) the $j$th column sum of $M$ satisfies the inequality $\sum_{i=1}^{m} μ_{i, j} \leq n-j$ for all $j$. Let $K$ be a field of characteristic 0 and let $f(x)$ be a polynomial of degree $n$ with coefficients in $K$. Let $f^{(j)}(x)$ be the $j$th derivative of $f(x)$. Let $Λ= ( λ_1,\ldots, λ_{m})$ be a sequence of distinct elements of $K$. For $i \in \{1, 2, \ldots, m \}$ and $j \in \{1,2,\ldots, n\}$, let $ μ_{i,j}$ be the multiplicity of $λ_i$ as a zero of the polynomial $f^{(j)}(x)$. The $m \times (n+1)$ matrix $M_f(Λ) = ( μ_{i,j} )$ is called the multiplicity matrix of the polynomial $f(x)$ with respect to $Λ$. An open problem is to classify the multiplicity matrices that are multiplicity matrices of polynomials in $K[x]$ and to construct multiplicity matrices that are not multiplicity matrices of polynomials. △ Less

Submitted 8 September, 2022; v1 submitted 4 March, 2022; originally announced March 2022.

Comments: 17 pages; minor changes

MSC Class: 11B83; 11C08; 11B75; 12D10

Journal ref: Journal of Algebra 614 (2023), 154--176

Underapproximation by Egyptian fractions

Authors: Melvyn B. Nathanson

Abstract: An increasing sequence $(x_i)_{i=1}^n$ of positive integers is an $n$-term Egyptian underapproximation of $θ\in (0,1]$ if $\sum_{i=1}^n \frac{1}{x_i} < θ$. A greedy algorithm constructs an $n$-term underapproximation of $θ$. For some but not all numbers $θ$, the greedy algorithm gives a unique best $n$-term underapproximation for all $n$. An infinite set of rational numbers is constructed for whic… ▽ More An increasing sequence $(x_i)_{i=1}^n$ of positive integers is an $n$-term Egyptian underapproximation of $θ\in (0,1]$ if $\sum_{i=1}^n \frac{1}{x_i} < θ$. A greedy algorithm constructs an $n$-term underapproximation of $θ$. For some but not all numbers $θ$, the greedy algorithm gives a unique best $n$-term underapproximation for all $n$. An infinite set of rational numbers is constructed for which the greedy underapproximations are best, and numbers for which the greedy algorithm is not best are also studied. △ Less

Submitted 3 February, 2022; v1 submitted 31 January, 2022; originally announced February 2022.

Comments: 20 pages, minor corrections

MSC Class: 11D68; 11A67; 11D72; 11D75; 11D85; 11P99

Journal ref: Journal of Number Theory 242 (2023), 208--234

The Muirhead-Rado inequality, 2: Symmetric means and inequalities

Authors: Melvyn B. Nathanson

Abstract: Preliminary results from Nathanson [5] are used to prove the Muirhead and Rado inequalities. Preliminary results from Nathanson [5] are used to prove the Muirhead and Rado inequalities. △ Less

Submitted 5 May, 2024; v1 submitted 4 January, 2022; originally announced January 2022.

Comments: 19 pages

MSC Class: 05E05; 11B83; 15B51; 26D05; 26D15; 52A20; 52A30; 52A40

Generalizations of Menon's arithmetic identity

Authors: Melvyn B. Nathanson

Abstract: Menon's identity is $\sum_{a \in A}^m (a-1,m) = d(m) \varphi(m)$, where $A$ is a reduced set of residues modulo $m$. This paper contains elementary proofs of some generalizations of this result. Menon's identity is $\sum_{a \in A}^m (a-1,m) = d(m) \varphi(m)$, where $A$ is a reduced set of residues modulo $m$. This paper contains elementary proofs of some generalizations of this result. △ Less

Submitted 27 July, 2022; v1 submitted 9 November, 2021; originally announced November 2021.

Comments: 9 pages; minor improvements

MSC Class: 11A05; 11A25

Journal ref: in: Number Theory in Memory of Eduard Wirsing, Springer, 2023, pp. 245--256

The Muirhead-Rado inequality, 1 Vector majorization and the permutohedron

Authors: Melvyn B. Nathanson

Abstract: Let $\mathbf{a}$ and $\mathbf{b}$ be vectors in $\mathbf{R}^n$ with nonnegative coordinates. Permuting the coordinates, we can assume that $a_1 \geq \cdots \geq a_n$ and $b_1 \geq \cdots \geq b_n$. The vector $\mathbf{a}$ majorizes the vector $\mathbf{b}$, denoted $\mathbf{b} \preceq \mathbf{a}$, if $\sum_{i=1}^n b_i = \sum_{i=1}^n a_i$ and $\sum_{i=1}^k b_i \leq \sum_{i=1}^k a_i$ for all… ▽ More Let $\mathbf{a}$ and $\mathbf{b}$ be vectors in $\mathbf{R}^n$ with nonnegative coordinates. Permuting the coordinates, we can assume that $a_1 \geq \cdots \geq a_n$ and $b_1 \geq \cdots \geq b_n$. The vector $\mathbf{a}$ majorizes the vector $\mathbf{b}$, denoted $\mathbf{b} \preceq \mathbf{a}$, if $\sum_{i=1}^n b_i = \sum_{i=1}^n a_i$ and $\sum_{i=1}^k b_i \leq \sum_{i=1}^k a_i$ for all $k \in \{1,\ldots,n-1\}$. This paper proves theorems of Hardy-Littlewood-Pólya and Rado that $\mathbf{b} \preceq \mathbf{a}$ if and only if $P\mathbf{a} = \mathbf{b}$ for some doubly stochastic matrix $P$ if and only if $\mathbf{b}$ is in the $S_n$-permutohedron generated by $\mathbf{a}$. △ Less

Submitted 5 May, 2024; v1 submitted 3 September, 2021; originally announced September 2021.

Comments: 22 pages

MSC Class: 05E05; 11B83; 15B51; 26D05; 26D15; 52A20; 52A30; 52A40

The Bose-Chowla argument for Sidon sets

Authors: Melvyn B. Nathanson

Abstract: Let $h \geq 2$ and let ${ \mathcal A} = (A_1,\ldots, A_h)$ be an $h$-tuple of sets of integers. For nonzero integers $c_1,\ldots, c_h$, consider the linear form $\varphi = c_1 x_1 + c_2x_2 + \cdots + c_h x_h$. The \emph{representation function} $R_{ \mathcal{A},\varphi}(n)$ counts the number of $h$-tuples $(a_1,\ldots, a_h) \in A_1 \times \cdots \times A_h$ such that… ▽ More Let $h \geq 2$ and let ${ \mathcal A} = (A_1,\ldots, A_h)$ be an $h$-tuple of sets of integers. For nonzero integers $c_1,\ldots, c_h$, consider the linear form $\varphi = c_1 x_1 + c_2x_2 + \cdots + c_h x_h$. The \emph{representation function} $R_{ \mathcal{A},\varphi}(n)$ counts the number of $h$-tuples $(a_1,\ldots, a_h) \in A_1 \times \cdots \times A_h$ such that $\varphi(a_1,\ldots, a_h) = n$. The $h$-tuple $\mathcal{A}$ is a \emph{$\varphi$-Sidon system of multiplicity $g$} if $R_{\mathcal A,\varphi}(n) \leq g$ for all $n \in \mathbf{Z}$. For every positive integer $g$, let $F_{\varphi,g}(n)$ denote the largest integer $q$ such that there exists a $\varphi$-Sidon system $\mathcal {A} = (A_1,\ldots, A_h)$ of multiplicity $g$ with \[ A_i \subseteq [1,n] \qquad \text{and} \qquad |A_i| = q \] for all $i =1,\ldots, h$. It is proved that, for all linear forms $\varphi$, \[ \limsup_{n\rightarrow \infty} \frac{F_{\varphi,g}(n)}{n^{1/h}} < \infty \] and, for linear forms $\varphi$ whose coefficients $c_i$ satisfy a certain divisibility condition, \[ \liminf_{n\rightarrow\infty} \frac{F_{\varphi,h!}(n)}{n^{1/h}} \geq 1. \] △ Less

Submitted 30 April, 2021; v1 submitted 26 April, 2021; originally announced April 2021.

Comments: Minor changes; 10 pages

MSC Class: 11B13; 11B34; 11B75; 11P99

Journal ref: Journal of Number Theory 238 (2022), 133--146

An inverse problem for finite Sidon sets

Authors: Melvyn B. Nathanson

Abstract: Here is a direct problem for Sidon sets: Given a linear form $\varphi = c_1 x_1 + \cdots + c_h x_h $, construct and describe sets $A$ that are Sidon sets for $\varphi$. This paper considers an inverse problem for Sidon sets: Given a set $A$, determine the linear forms $\varphi$ such that $A$ is a Sidon set for $\varphi$. Here is a direct problem for Sidon sets: Given a linear form $\varphi = c_1 x_1 + \cdots + c_h x_h $, construct and describe sets $A$ that are Sidon sets for $\varphi$. This paper considers an inverse problem for Sidon sets: Given a set $A$, determine the linear forms $\varphi$ such that $A$ is a Sidon set for $\varphi$. △ Less

Submitted 30 April, 2022; v1 submitted 13 April, 2021; originally announced April 2021.

Comments: 7 pages; additional open problems and updated references

MSC Class: 11B13; 11B34; 11B75; 11P99

Journal ref: Combinatorial and Additive Number Theory V, Springer, New York, 2022

Sidon sets for linear forms

Authors: Melvyn B. Nathanson

Abstract: Let $\varphi(x_1,\ldots, x_h) = c_1 x_1 + \cdots + c_h x_h $ be a linear form with coefficients in a field $\mathbf{F}$, and let $V$ be a vector space over $\mathbf{F}$. A nonempty subset $A$ of $V$ is a $\varphi$-Sidon set if, for all $h$-tuples $(a_1,\ldots, a_h) \in A^h$ and $ (a'_1,\ldots, a'_h) \in A^h$, the relation $\varphi(a_1,\ldots, a_h) = \varphi(a'_1,\ldots, a'_h)$ implies… ▽ More Let $\varphi(x_1,\ldots, x_h) = c_1 x_1 + \cdots + c_h x_h $ be a linear form with coefficients in a field $\mathbf{F}$, and let $V$ be a vector space over $\mathbf{F}$. A nonempty subset $A$ of $V$ is a $\varphi$-Sidon set if, for all $h$-tuples $(a_1,\ldots, a_h) \in A^h$ and $ (a'_1,\ldots, a'_h) \in A^h$, the relation $\varphi(a_1,\ldots, a_h) = \varphi(a'_1,\ldots, a'_h)$ implies $(a_1,\ldots, a_h) = (a'_1,\ldots, a'_h)$. There exist infinite Sidon sets for the linear form $\varphi$ if and only if the set of coefficients of $\varphi$ has distinct subset sums. In a normed vector space with $\varphi$-Sidon sets, every infinite sequence of vectors is asymptotic to a $\varphi$-Sidon set of vectors. Results on $p$-adic perturbations of $\varphi$-Sidon sets of integers and bounds on the growth of $\varphi$-Sidon sets of integers are also obtained. △ Less

Submitted 11 November, 2021; v1 submitted 4 January, 2021; originally announced January 2021.

Comments: Minor changes and improvements; 16 pages

MSC Class: 11B13; 11B34; 11B75; 11P99

Journal ref: Journal of Number Theory 239 (2022), 207--227

Multiplicative representations of integers and Ramsey's theorem

Authors: Melvyn B. Nathanson

Abstract: Let $\mathcal{B} = (B_1,\ldots, B_h)$ be an $h$-tuple of sets of positive integers. Let $g_{\mathcal{B} }(n)$ count the number of representations of $n$ in the form $n = b_1\cdots b_h$, where $b_i \in B_i$ for all $i \in \{1,\ldots, h\}$. It is proved that $\liminf_{n\rightarrow \infty} g_{\mathcal{B} }(n) \geq 2$ implies $\limsup_{n\rightarrow \infty} g_{\mathcal{B} }(n) = \infty$. Let $\mathcal{B} = (B_1,\ldots, B_h)$ be an $h$-tuple of sets of positive integers. Let $g_{\mathcal{B} }(n)$ count the number of representations of $n$ in the form $n = b_1\cdots b_h$, where $b_i \in B_i$ for all $i \in \{1,\ldots, h\}$. It is proved that $\liminf_{n\rightarrow \infty} g_{\mathcal{B} }(n) \geq 2$ implies $\limsup_{n\rightarrow \infty} g_{\mathcal{B} }(n) = \infty$. △ Less

Submitted 16 December, 2020; v1 submitted 26 November, 2020; originally announced November 2020.

Comments: 11 pages

MSC Class: 11B34; 11B75; 11N25; 11B13; 05C55; 05D10

Journal ref: in: Combinatorial and Additive Number Theory IV, Springer, New York, 2021, pp. 409--423

Convergent series of integers with missing digits

Authors: Melvyn B. Nathanson

Abstract: A classical theorem of Kempner states that the sum of the reciprocals of positive integers with missing decimal digits converges. This result is extended to much larger families of "missing digits" sets of positive integers with convergent harmonic series. A classical theorem of Kempner states that the sum of the reciprocals of positive integers with missing decimal digits converges. This result is extended to much larger families of "missing digits" sets of positive integers with convergent harmonic series. △ Less

Submitted 16 December, 2020; v1 submitted 13 October, 2020; originally announced October 2020.

Comments: Minor changes, 8 pages

MSC Class: 11A63; 11B05; 11B75; 11K16

Journal ref: The Ramanujan Journal 58 (2022), 667--676

Dirichlet series of integers with missing digits

Authors: Melvyn B. Nathanson

Abstract: For certain sequences $A$ of positive integers with missing $g$-adic digits, the Dirichlet series $F_A(s) = \sum_{a\in A} a^{-s}$ has abscissa of convergence $σ_c < 1$. The number $σ_c$ is computed. This generalizes and strengthens a classical theorem of Kempner on the convergence of the sum of the reciprocals of a sequence of integers with missing decimal digits. For certain sequences $A$ of positive integers with missing $g$-adic digits, the Dirichlet series $F_A(s) = \sum_{a\in A} a^{-s}$ has abscissa of convergence $σ_c < 1$. The number $σ_c$ is computed. This generalizes and strengthens a classical theorem of Kempner on the convergence of the sum of the reciprocals of a sequence of integers with missing decimal digits. △ Less

Submitted 16 October, 2020; v1 submitted 13 October, 2020; originally announced October 2020.

Comments: Minor improvements and corrected typos; 7 pages

MSC Class: 11A63; 11B05; 11B75; 11K16

Journal ref: Journal of Number Theory 222 (2021), 401-408

Who owns the theorem?

Authors: Melvyn B. Nathanson

Abstract: Epistemological and sociological questions about ownership of mathematical and scientific discoveries. Epistemological and sociological questions about ownership of mathematical and scientific discoveries. △ Less

Submitted 17 September, 2020; originally announced September 2020.

Comments: 3 pages

MSC Class: 00A30; 01A80

Journal ref: European Mathematical Society Newsletter, No. 118 (2020), 59--60

A new class of minimal asymptotic bases

Authors: Melvyn B. Nathanson

Abstract: A set $A$ of nonnegative integers is an asymptotic basis of order $h$ if every sufficiently large integer can be represented as the sum of $h$ not necessarily distinct elements of $A$. The asymptotic basis $A$ is minimal if removing any element of $A$ destroys every representation of infinitely many integers, and so $A\setminus \{a\}$ is not an asymptotic basis of order $h$ for all $a\in A$. In th… ▽ More A set $A$ of nonnegative integers is an asymptotic basis of order $h$ if every sufficiently large integer can be represented as the sum of $h$ not necessarily distinct elements of $A$. The asymptotic basis $A$ is minimal if removing any element of $A$ destroys every representation of infinitely many integers, and so $A\setminus \{a\}$ is not an asymptotic basis of order $h$ for all $a\in A$. In this paper, a new class of minimal asymptotic bases is constructed. △ Less

Submitted 5 May, 2022; v1 submitted 25 June, 2020; originally announced June 2020.

Comments: 10 pages; minor improvements and corrections

MSC Class: 11B13; 11B05; 11B34; 11B75

Journal ref: Combinatorial and Additive Number Theory V, Springer, New York, 2022

Curious convergent series of integers with missing digits

Authors: Melvyn B. Nathanson

Abstract: A classical theorem of Kempner states that the sum of the reciprocals of positive integers with missing decimal digits converges. This result is extended to much larger families of "missing digits" sets of positive integers with both convergent and divergent harmonic series. A classical theorem of Kempner states that the sum of the reciprocals of positive integers with missing decimal digits converges. This result is extended to much larger families of "missing digits" sets of positive integers with both convergent and divergent harmonic series. △ Less

Submitted 3 January, 2021; v1 submitted 23 June, 2020; originally announced June 2020.

Comments: 8 pages; minor corrections and improvements

MSC Class: 11A63; 11B05; 11B75; 11K16

Journal ref: Integers 21A (2021), A18, 1-9

Chromatic sumsets

Authors: Melvyn B. Nathanson

Abstract: Let $\mathbf{A} = (A_1,\ldots, A_q)$ be a $q$-tuple of finite sets of integers. Associated to every $q$-tuple of nonnegative integers $\mathbf{h} = (h_1,\ldots, h_q)$ is the linear form $\mathbf{h}\cdot \mathbf{A} = h_1 A_1 + \cdots + h_qA_q$. The set $(\mathbf{h}\cdot \mathbf{A} )^{(t)}$ consists of all elements of this sumset with at least $t$ representations. The structure of the set… ▽ More Let $\mathbf{A} = (A_1,\ldots, A_q)$ be a $q$-tuple of finite sets of integers. Associated to every $q$-tuple of nonnegative integers $\mathbf{h} = (h_1,\ldots, h_q)$ is the linear form $\mathbf{h}\cdot \mathbf{A} = h_1 A_1 + \cdots + h_qA_q$. The set $(\mathbf{h}\cdot \mathbf{A} )^{(t)}$ consists of all elements of this sumset with at least $t$ representations. The structure of the set $(\mathbf{h}\cdot \mathbf{A} )^{(t)}$ is computed for all sufficiently large $h_i$. △ Less

Submitted 18 September, 2020; v1 submitted 17 June, 2020; originally announced June 2020.

Comments: 12 pages, minor corrections

MSC Class: 11B05; 11B13; 11B34; 11B75; 11D07

Journal ref: Journal of Number Theory 219 (2021), 93-108

Sums of Finite Sets of Integers, II

Authors: Melvyn B. Nathanson

Abstract: Let $\mathcal{A}$ be a finite set of integers, and let $h\mathcal{A}$ denote the $h$-fold sumset of $\mathcal{A}$. Let $(h\mathcal{A})^{(t)}$ be subset of $h\mathcal{A}$ consisting of all integers that have at least $t$ representations as a sum of $h$ elements of $\mathcal{A}$. The structure of the set $(h\mathcal{A})^{(t)}$ is completely determined for all $h \geq h_t$. Let $\mathcal{A}$ be a finite set of integers, and let $h\mathcal{A}$ denote the $h$-fold sumset of $\mathcal{A}$. Let $(h\mathcal{A})^{(t)}$ be subset of $h\mathcal{A}$ consisting of all integers that have at least $t$ representations as a sum of $h$ elements of $\mathcal{A}$. The structure of the set $(h\mathcal{A})^{(t)}$ is completely determined for all $h \geq h_t$. △ Less

Submitted 20 July, 2020; v1 submitted 21 May, 2020; originally announced May 2020.

Comments: 8 pages; minor revisions

MSC Class: 11B13; 11B34; 11B75; 11D07

Journal ref: American Mathematical Monthly 128 (2021), 888--896

Congruence classes and maximal nonbases

Authors: Melvyn B. Nathanson

Abstract: The set $A$ is an asymptotic nonbasis of order $h$ for an additive abelian group $X$ if there are infinitely many elements of $X$ not in the $h$-fold sumset $hA$. For all $h \geq 2$, this paper constructs new classes of asymptotic nonbases of order $h$ for $\mathbf{Z}$ and for $\mathbf{N}_0$ that are not subsets of maximal asymptotic nonbases. The set $A$ is an asymptotic nonbasis of order $h$ for an additive abelian group $X$ if there are infinitely many elements of $X$ not in the $h$-fold sumset $hA$. For all $h \geq 2$, this paper constructs new classes of asymptotic nonbases of order $h$ for $\mathbf{Z}$ and for $\mathbf{N}_0$ that are not subsets of maximal asymptotic nonbases. △ Less

Submitted 3 May, 2020; v1 submitted 5 April, 2020; originally announced April 2020.

Comments: 10 pages; corrected a few minor typos

MSC Class: 11B13; 11B05; 11B34; 11B75; 11A07

Journal ref: Acta Mathematica Hungarica 161 (2020), 768--779

Real-rooted polynomials and a generalised Hermite-Sylvester theorem

Authors: Melvyn B. Nathanson

Abstract: A polynomial is real-rooted if all of its roots are real. For every polynomial $f(t) \in {\mathbf R}[t]$, the Hermite-Sylvester theorem associates a quadratic form $Φ_2$ such that $f(t)$ is real-rooted if and only if $Φ_2$ is positive semidefinite. In this note, for every positive integer $m$, an $2m$-adic form $Φ_{2m}$ is constructed such that $f(t)$ is real-rooted if and only if $Φ_{2m}$ is posi… ▽ More A polynomial is real-rooted if all of its roots are real. For every polynomial $f(t) \in {\mathbf R}[t]$, the Hermite-Sylvester theorem associates a quadratic form $Φ_2$ such that $f(t)$ is real-rooted if and only if $Φ_2$ is positive semidefinite. In this note, for every positive integer $m$, an $2m$-adic form $Φ_{2m}$ is constructed such that $f(t)$ is real-rooted if and only if $Φ_{2m}$ is positive semidefinite for some $m$ if and only if $Φ_{2m}(x_1,\ldots, x_n)$ is positive semidefinite for all $m$. △ Less

Submitted 6 November, 2020; v1 submitted 29 March, 2020; originally announced March 2020.

Comments: Minor improvements; 4 pages

MSC Class: 05C31; 11C08; 11E20; 11E76; 15A15; 65H04

Journal ref: The Mathematical Gazette 106 (2022), 120--124

Geometric progressions in syndetic sets

Authors: Melvyn B. Nathanson

Abstract: An open problem about finite geometric progressions in syndetic sets leads to a family of diophantine equations related to the commutativity of translation and multiplication by squares. An open problem about finite geometric progressions in syndetic sets leads to a family of diophantine equations related to the commutativity of translation and multiplication by squares. △ Less

Submitted 27 June, 2020; v1 submitted 26 March, 2020; originally announced March 2020.

Comments: 4 pages; added a missing condition in the statement of Theorem 2

MSC Class: 05B20; 05D10; 11B75; 11C20; 11D05; 11R11; 15B51; 37B05

Journal ref: Archiv der Mathematik 115 (2020), 413--417

Sinkhorn limits in finitely many steps

Authors: Alex Cohen, Melvyn B. Nathanson

Abstract: Applied to a nonnegative $m\times n$ matrix with a nonzero $σ$-diagonal, the sequence of matrices constructed by alternate row and column scaling conveges to a doubly stochastic matrix. It is proved that if this sequence converges after only a finite number of scalings, then it converges after at most two scalings. Applied to a nonnegative $m\times n$ matrix with a nonzero $σ$-diagonal, the sequence of matrices constructed by alternate row and column scaling conveges to a doubly stochastic matrix. It is proved that if this sequence converges after only a finite number of scalings, then it converges after at most two scalings. △ Less

Submitted 2 December, 2019; v1 submitted 29 November, 2019; originally announced December 2019.

Comments: Corrected typo in statement of Theorem 1; 6 pages

MSC Class: 11C20; 11B75; 15B51; 05B20

Journal ref: Linear Algebra and its Applications 589 (2020), 1--8

The Hermite-Sylvester criterion for real-rooted polynomials

Authors: Melvyn B. Nathanson

Abstract: A polynomial is real-rooted if all of its roots are real. This note gives a simple proof of the Hermite-Sylvester theorem that a polynomial $f(x) \in {\mathbf R}[x]$ is real-rooted if and only if an associated quadratic form is positive semidefinite. A polynomial is real-rooted if all of its roots are real. This note gives a simple proof of the Hermite-Sylvester theorem that a polynomial $f(x) \in {\mathbf R}[x]$ is real-rooted if and only if an associated quadratic form is positive semidefinite. △ Less

Submitted 24 November, 2019; v1 submitted 5 November, 2019; originally announced November 2019.

Comments: 4 pages; minor typographical corrections

MSC Class: 05C31; 11C08; 15A15; 65H04

Journal ref: The Mathematical Gazette 105 (2021), 122--125

Matrix scaling and explicit doubly stochastic limits

Authors: Melvyn B. Nathanson

Abstract: The process of alternately row scaling and column scaling a positive $n \times n$ matrix $A$ converges to a doubly stochastic positive $n \times n$ matrix $S(A)$, often called the \emph{Sinkhorn limit} of $A$. The main result in this paper is the computation of exact formulae for the Sinkhorn limits of certain symmetric positive $3\times 3$ matrices. The process of alternately row scaling and column scaling a positive $n \times n$ matrix $A$ converges to a doubly stochastic positive $n \times n$ matrix $S(A)$, often called the \emph{Sinkhorn limit} of $A$. The main result in this paper is the computation of exact formulae for the Sinkhorn limits of certain symmetric positive $3\times 3$ matrices. △ Less

Submitted 22 May, 2019; originally announced May 2019.

Comments: 18 pages. This article is a shortened version of arXiv:1902.04544 and has been accepted to appear in The Journal of Linear Algebra and its Applications

MSC Class: 11C20; 11B75; 11J68; 11J70

Journal ref: Linear Algebra and its Applications 578 (2019), 111-132

Not all groups are LEF groups, or can you know if a group is infinite?

Authors: Melvyn B. Nathanson

Abstract: This is an introduction to the class of groups that are locally embeddable into finite groups. This is an introduction to the class of groups that are locally embeddable into finite groups. △ Less

Submitted 22 May, 2019; v1 submitted 19 May, 2019; originally announced May 2019.

Comments: 5 pages; minor corrections and additional references

MSC Class: 20E25; 20F05; 20-02

Journal ref: in: Combinatorial and Additive Number Theory III, Springer, New York, 2020, pp. 169--174

Matrix scaling limits in finitely many iterations

Authors: Melvyn B. Nathanson

Abstract: The alternate row and column scaling algorithm applied to a positive $n\times n$ matrix $A$ converges to a doubly stochastic matrix $S(A)$, sometimes called the \emph{Sinkhorn limit} of $A$. For every positive integer $n$, a two parameter family of row but not column stochastic $n\times n$ positive matrices is constructed that become doubly stochastic after exactly one column scaling. The alternate row and column scaling algorithm applied to a positive $n\times n$ matrix $A$ converges to a doubly stochastic matrix $S(A)$, sometimes called the \emph{Sinkhorn limit} of $A$. For every positive integer $n$, a two parameter family of row but not column stochastic $n\times n$ positive matrices is constructed that become doubly stochastic after exactly one column scaling. △ Less

Submitted 15 March, 2019; originally announced March 2019.

Comments: 6 pages

MSC Class: 11C20; 11B75; 11J68; 11J70

Journal ref: in: Combinatorial and Additive Number Theory III, Springer, New York, 2020, pp. 161--167

Matrix scaling, explicit Sinkhorn limits, and arithmetic

Authors: Melvyn B. Nathanson

Abstract: The process of alternately row scaling and column scaling a positive $n \times n$ matrix $A$ converges to a doubly stochastic positive $n \times n$ matrix $S(A)$, called the \emph{Sinkhorn limit} of $A$. Exact formulae for the Sinkhorn limits of certain symmetric positive $3\times 3$ matrices are computed, and related problems in diophantine approximation are considered. The process of alternately row scaling and column scaling a positive $n \times n$ matrix $A$ converges to a doubly stochastic positive $n \times n$ matrix $S(A)$, called the \emph{Sinkhorn limit} of $A$. Exact formulae for the Sinkhorn limits of certain symmetric positive $3\times 3$ matrices are computed, and related problems in diophantine approximation are considered. △ Less

Submitted 12 February, 2019; originally announced February 2019.

Comments: 29 pages

MSC Class: {11C20; 11B75; 11J68; 11J70

The Erdos Paradox

Authors: Melvyn B. Nathanson

Abstract: Remarks on the life and work of Paul Erdos. Remarks on the life and work of Paul Erdos. △ Less

Submitted 31 December, 2018; originally announced December 2018.

Comments: 6 pages

MSC Class: 01A60; 01A70

Journal ref: in: Combinatorial and Additive Number Theory II, Springer, New York, 2017, pp. 249--254; reprinted in The Best Writing in Mathematics 2019, Princeton University Press, 2019

Alternate minimization and doubly stochastic matrices

Authors: Melvyn B. Nathanson

Abstract: Sinkhorn's alternative minimization algorithm applied to a positive $n\times n$ matrix converges to a doubly stochastic matrix. If the algorithm, applied to a $2\times 2$ matrix, converges in a finite number of iterations, then it converges in at most two iterations, and the structure of such matrices is determined. Sinkhorn's alternative minimization algorithm applied to a positive $n\times n$ matrix converges to a doubly stochastic matrix. If the algorithm, applied to a $2\times 2$ matrix, converges in a finite number of iterations, then it converges in at most two iterations, and the structure of such matrices is determined. △ Less

Submitted 28 September, 2019; v1 submitted 31 December, 2018; originally announced December 2018.

Comments: 16 pages; minor corrections and improvements

MSC Class: 11C20; 11B75; 11B99

Journal ref: Integers 20A (2020), \#A10, 1--17

Weighted real Egyptian numbers

Authors: Melvyn B. Nathanson

Abstract: Let $\mathcal A = (A_1,\ldots, A_n)$ be a sequence of nonempty finite sets of positive real numbers, and let $\mathcal{B} = (B_1,\ldots, B_n)$ be a sequence of infinite discrete sets of positive real numbers. A weighted real Egyptian number with numerators $\mathcal{A}$ and denominators $\mathcal{B}$ is a real number $c$ that can be represented in the form \[ c = \sum_{i=1}^n \frac{a_i}{b_i} \] wi… ▽ More Let $\mathcal A = (A_1,\ldots, A_n)$ be a sequence of nonempty finite sets of positive real numbers, and let $\mathcal{B} = (B_1,\ldots, B_n)$ be a sequence of infinite discrete sets of positive real numbers. A weighted real Egyptian number with numerators $\mathcal{A}$ and denominators $\mathcal{B}$ is a real number $c$ that can be represented in the form \[ c = \sum_{i=1}^n \frac{a_i}{b_i} \] with $a_i \in A_i$ and $b_i \in B_i$ for $i \in \{1,\ldots, n\}$. In this paper, classical results of Sierpinski for Egyptian fractions are extended to the set of weighted real Egyptian numbers. △ Less

Submitted 12 September, 2017; v1 submitted 30 August, 2017; originally announced August 2017.

Comments: 10 pages. Improved and corrected

MSC Class: 11D68; 11D85; 11A67; 11B75

Journal ref: Functiones et Approximatio Commentarii Mathematici 60 (2019}, 155--166

Sumsets contained in sets of upper Banach density 1

Authors: Melvyn B. Nathanson

Abstract: Every set $A$ of positive integers with upper Banach density 1 contains an infinite sequence of pairwise disjoint subsets $(B_i)_{i=1}^{\infty}$ such that $B_i$ has upper Banach density 1 for all $i \in \mathbf{N}$ and $\sum_{i\in I} B_i \subseteq A$ for every nonempty finite set $I$ of positive integers. Every set $A$ of positive integers with upper Banach density 1 contains an infinite sequence of pairwise disjoint subsets $(B_i)_{i=1}^{\infty}$ such that $B_i$ has upper Banach density 1 for all $i \in \mathbf{N}$ and $\sum_{i\in I} B_i \subseteq A$ for every nonempty finite set $I$ of positive integers. △ Less

Submitted 18 August, 2017; v1 submitted 6 August, 2017; originally announced August 2017.

Comments: 7 pages; one additional theorem

MSC Class: 11B05; 11B13; 11B75

Journal ref: in: Combinatorial and Additive Number Theory II, Springer, New York, 2017, pp. 239--248

Sidon sets and perturbations

Authors: Melvyn B. Nathanson

Abstract: A subset $A$ of an additive abelian group is an $h$-Sidon set if every element in the $h$-fold sumset $hA$ has a unique representation as the sum of $h$ not necessarily distinct elements of $A$. Let $\mathbf{F}$ be a field of characteristic 0 with a nontrivial absolute value, and let $A = \{a_i :i \in \mathbf{N} \}$ and $B = \{b_i :i \in \mathbf{N} \}$ be subsets of $\mathbf{F}$. Let… ▽ More A subset $A$ of an additive abelian group is an $h$-Sidon set if every element in the $h$-fold sumset $hA$ has a unique representation as the sum of $h$ not necessarily distinct elements of $A$. Let $\mathbf{F}$ be a field of characteristic 0 with a nontrivial absolute value, and let $A = \{a_i :i \in \mathbf{N} \}$ and $B = \{b_i :i \in \mathbf{N} \}$ be subsets of $\mathbf{F}$. Let $\varepsilon = \{ \varepsilon_i:i \in \mathbf{N} \}$, where $\varepsilon_i > 0$ for all $i \in \mathbf{N}$. The set $B$ is an $\varepsilon$-perturbation of $A$ if $|b_i-a_i| < \varepsilon_i$ for all $i \in \mathbf{N}$. It is proved that, for every $\varepsilon = \{ \varepsilon_i:i \in \mathbf{N} \}$ with $\varepsilon_i > 0$, every set $A = \{a_i :i \in \mathbf{N} \}$ has an $\varepsilon$-perturbation $B$ that is an $h$-Sidon set. This result extends to sets of vectors in $\mathbf{F}^n$. △ Less

Submitted 1 December, 2020; v1 submitted 14 July, 2017; originally announced July 2017.

Comments: 6 pages; new results added

MSC Class: {11B13; 11B24; 11B75; 11P99

Journal ref: in: Combinatorial and Additive Number Theory IV, Springer, New York, 2021, pp. 401-408

Dimensions of monomial varieties

Authors: Melvyn B. Nathanson

Abstract: The dimensions of certain varieties defined by monomials are computed using only high school algebra. The dimensions of certain varieties defined by monomials are computed using only high school algebra. △ Less

Submitted 22 July, 2017; v1 submitted 20 December, 2016; originally announced December 2016.

Comments: 11 pages. Minor improvements and corrected typos

MSC Class: 13C15; 12D99; 12-01; 13-01

Journal ref: Combinatorial and Additive Number Theory III, Springer, New York, 2020, pp. 147--160

An elementary proof for the Krull dimension of a polynomial ring

Authors: Melvyn B. Nathanson

Abstract: This is an expository paper in which it is proved that, for every infinite field ${\mathbf{F}}$, the polynomial ring ${\mathbf{F}}[t_1,\ldots, t_n]$ has Krull dimension $n$. The proof uses only "high school algebra" and the rudiments of undergraduate "abstract algebra." This is an expository paper in which it is proved that, for every infinite field ${\mathbf{F}}$, the polynomial ring ${\mathbf{F}}[t_1,\ldots, t_n]$ has Krull dimension $n$. The proof uses only "high school algebra" and the rudiments of undergraduate "abstract algebra." △ Less

Submitted 22 July, 2017; v1 submitted 16 December, 2016; originally announced December 2016.

Comments: 14 pages. Improved exposition and corrected typos

MSC Class: 13C15; 12D99; 12-01; 13-01

Journal ref: American Mathematical Monthly 125 (2018), 623-637

On a diophantine equation of M. J. Karama

Authors: Melvyn B. Nathanson

Abstract: For every positive integer $n$, an infinite family of positive integral solutions of the diophantine equation $x^n - y^n = z^{n+1}$ is constructed. For every positive integer $n$, an infinite family of positive integral solutions of the diophantine equation $x^n - y^n = z^{n+1}$ is constructed. △ Less

Submitted 8 February, 2017; v1 submitted 12 December, 2016; originally announced December 2016.

Comments: 4 pages; minor changes

MSC Class: 11D25; 11D41; 11A99

Journal ref: Palestine Journal of Mathematics 6 (2017), 524--527