Showing 1–27 of 27 results for author: Reznick, B

On odd powers of nonnegative polynomials that are not sums of squares

Authors: Grigoriy Blekherman, Khazhgali Kozhasov, Bruce Reznick

Abstract: We initiate a systematic study of nonnegative polynomials $P$ such that $P^k$ is not a sum of squares for any odd $k\geq 1$, calling such $P$ \emph{stubborn}. We develop a new invariant of a real isolated zero of a nonnegative polynomial in the plane, that we call \emph{the SOS-invariant}, and relate it to the well-known delta invariant of a plane curve singularity. Using the SOS-invariant we show… ▽ More We initiate a systematic study of nonnegative polynomials $P$ such that $P^k$ is not a sum of squares for any odd $k\geq 1$, calling such $P$ \emph{stubborn}. We develop a new invariant of a real isolated zero of a nonnegative polynomial in the plane, that we call \emph{the SOS-invariant}, and relate it to the well-known delta invariant of a plane curve singularity. Using the SOS-invariant we show that any polynomial that spans an extreme ray of the convex cone of nonnegative ternary forms of degree 6 is stubborn. We also show how to use the SOS-invariant to prove stubbornness of ternary forms in higher degree. Furthermore, we prove that in a given degree and number of variables, nonnegative polynomials that are not stubborn form a convex cone, whose interior consists of all strictly positive polynomials. △ Less

Submitted 31 July, 2024; originally announced July 2024.

MSC Class: 14B05; 14H20; 14H45; 14P25; 26C10; 90C22; 90C23

Sums of squares of k-term forms

Authors: Charu Goel, Bruce Reznick

Abstract: In this paper we study the cones corresponding to sums of squares of $n$-ary $d$-ic forms with at most $k$ terms. We show that these are strictly nested as $k$ increases, leading to the usual sum of squares cone. We also discuss the duals of these cones. For $n \ge 3$, we construct indefinite irreducible $n$-ary $d$-ic forms with exactly $k$ terms for $2 \le k \le \binom{n+d-1}{n-1}$. In this paper we study the cones corresponding to sums of squares of $n$-ary $d$-ic forms with at most $k$ terms. We show that these are strictly nested as $k$ increases, leading to the usual sum of squares cone. We also discuss the duals of these cones. For $n \ge 3$, we construct indefinite irreducible $n$-ary $d$-ic forms with exactly $k$ terms for $2 \le k \le \binom{n+d-1}{n-1}$. △ Less

Submitted 13 March, 2024; originally announced March 2024.

MSC Class: 11E76; 11E25; 05A19; 05A10; 11B65

Representations of integers as quotients of sums of distinct powers of three

Authors: Katie Anders, Madeline Locus Dawsey, Bruce Reznick, Simone Sisneros-Thiry

Abstract: Which integers can be written as a quotient of sums of distinct powers of three? We outline our first steps toward an answer to this question, beginning with a necessary and almost sufficient condition. Then we discuss an algorithm that indicates whether it is possible to represent a given integer as a quotient of sums of distinct powers of three. When the given integer is representable, this same… ▽ More Which integers can be written as a quotient of sums of distinct powers of three? We outline our first steps toward an answer to this question, beginning with a necessary and almost sufficient condition. Then we discuss an algorithm that indicates whether it is possible to represent a given integer as a quotient of sums of distinct powers of three. When the given integer is representable, this same algorithm generates all possible representations. We develop a categorization of representations based on their connections to $0,1$-polynomials and give a complete description of the types of representations for all integers up to 364. Finally, we discuss in detail the representations of 7, 22, 34, 64, and 100, as well as some infinite families of integers. △ Less

Submitted 14 August, 2023; originally announced August 2023.

MSC Class: 11A63

Equal sums of two cubes of binary quadratic forms

Authors: Bruce Reznick

Abstract: We give a complete description of all solutions to the equation $f_1^3 + f_2^3 = f_3^3 + f_4^3$ for quadratic forms $f_j \in \mathbb C[x,y]$ and show how Ramanujan's example can be extended to three equal sums of pairs of cubes. We also give a complete census in counting the number of ways a sextic $p \in \mathbb C[x,y]$ can be written as a sum of two cubes. The extreme example is… ▽ More We give a complete description of all solutions to the equation $f_1^3 + f_2^3 = f_3^3 + f_4^3$ for quadratic forms $f_j \in \mathbb C[x,y]$ and show how Ramanujan's example can be extended to three equal sums of pairs of cubes. We also give a complete census in counting the number of ways a sextic $p \in \mathbb C[x,y]$ can be written as a sum of two cubes. The extreme example is $p(x,y) = xy(x^4-y^4)$, which has six such representations. △ Less

Submitted 3 February, 2020; originally announced February 2020.

Comments: Submitted to International Journal of Number Theory, for the Special Issue on the Berndt Conference Proceedings

MSC Class: Primary: 11E76; 14M99; Secondary: 11D41; 11D45

A note on mediated simplices

Authors: Victoria Powers, Bruce Reznick

Abstract: Many homogeneous polynomials that arise in the study of sums of squares and Hilbert's 17th problem come from monomial substitutions into the arithmetic-geometric inequality. In 1989, the second author gave a necessary and sufficient condition for such a form to have a representation as a sum of squares of forms (Math. Ann., (283), 431--464), involving the arrangement of lattice points in the simpl… ▽ More Many homogeneous polynomials that arise in the study of sums of squares and Hilbert's 17th problem come from monomial substitutions into the arithmetic-geometric inequality. In 1989, the second author gave a necessary and sufficient condition for such a form to have a representation as a sum of squares of forms (Math. Ann., (283), 431--464), involving the arrangement of lattice points in the simplex whose vertices were the $n$-tuples of the exponents used in the substitution. Further, a claim was made, and not proven, that sufficiently large dilations of any such simplex will also satisfy this condition. The aim of this short note is to prove the claim, and provide further context for the result, both in the study of Hilbert's 17th Problem and the study of lattice point simplices. △ Less

Submitted 24 September, 2019; originally announced September 2019.

Comments: Submitted to the Proceedings of the 2019 Arctic Applied Algebra conference in Tromsø, Norway

MSC Class: 52B20; 11E25

Linearly dependent powers of binary quadratic forms

Authors: Bruce Reznick

Abstract: Given an integer $d \ge 2$, what is the least $r$ so that there is a set of binary quadratic forms $\{f_1,\dots,f_r\}$ for which $\{f_j^d\}$ is non-trivially linearly dependent? We show that if $r \le 4$, then $d \le 5$, and for $d \ge 4$, construct such a set with $r = \lfloor d/2\rfloor + 2$. Many explicit examples are given, along with techniques for producing others. Given an integer $d \ge 2$, what is the least $r$ so that there is a set of binary quadratic forms $\{f_1,\dots,f_r\}$ for which $\{f_j^d\}$ is non-trivially linearly dependent? We show that if $r \le 4$, then $d \le 5$, and for $d \ge 4$, construct such a set with $r = \lfloor d/2\rfloor + 2$. Many explicit examples are given, along with techniques for producing others. △ Less

Submitted 27 March, 2019; originally announced March 2019.

Comments: 25 pages

MSC Class: 11E76; 11P05; 14M99; 11D25; 11D41

Journal ref: Pacific J. Math. 303 (2019) 729-755

Sparse Versions of the Cayley-Bacharach Theorem

Authors: Laura Felicia Matusevich, Bruce Reznick

Abstract: We give combinatorial generalizations of the Cayley-Bacharach theorem and induced map. We give combinatorial generalizations of the Cayley-Bacharach theorem and induced map. △ Less

Submitted 28 February, 2019; originally announced March 2019.

Cantor set arithmetic

Authors: Jayadev S. Athreya, Bruce Reznick, Jeremy T. Tyson

Abstract: Every element $u$ of $[0,1]$ can be written in the form $u=x^2y$, where $x,y$ are elements of the Cantor set $C$. In particular, every real number between zero and one is the product of three elements of the Cantor set. On the other hand the set of real numbers $v$ that can be written in the form $v=xy$ with $x$ and $y$ in $C$ is a closed subset of $[0,1]$ with Lebesgue measure strictly between… ▽ More Every element $u$ of $[0,1]$ can be written in the form $u=x^2y$, where $x,y$ are elements of the Cantor set $C$. In particular, every real number between zero and one is the product of three elements of the Cantor set. On the other hand the set of real numbers $v$ that can be written in the form $v=xy$ with $x$ and $y$ in $C$ is a closed subset of $[0,1]$ with Lebesgue measure strictly between $\tfrac{17}{21}$ and $\tfrac89$. We also describe the structure of the quotient of $C$ by itself, that is, the image of $C\times (C \setminus \{0\})$ under the function $f(x,y) = x/y$. △ Less

Submitted 23 November, 2017; originally announced November 2017.

Comments: Provisionally accepted by the American Mathematical Monthly

MSC Class: Primary: 28A80; Secondary: 11K55

On generic and maximal k-ranks of binary forms

Authors: Samuel Lundqvist, Alessandro Oneto, Bruce Reznick, Boris Shapiro

Abstract: In what follows, we pose two general conjectures about decompositions of homogeneous polynomials as sums of powers. The first one (suggested by G. Ottaviani) deals with the generic k-rank of complex-valued forms of any degree divisible by k in any number of variables. The second one (by the fourth author) deals with the maximal k-rank of binary forms. We settle the first conjecture in the cases of… ▽ More In what follows, we pose two general conjectures about decompositions of homogeneous polynomials as sums of powers. The first one (suggested by G. Ottaviani) deals with the generic k-rank of complex-valued forms of any degree divisible by k in any number of variables. The second one (by the fourth author) deals with the maximal k-rank of binary forms. We settle the first conjecture in the cases of two variables and the second in the first non-trivial case of the 3-rd powers of quadratic binary forms. △ Less

Submitted 14 November, 2017; originally announced November 2017.

Comments: 17 pages, 1 figure

MSC Class: 15A21 (primary) 15A69; 14N15 (secondary)

Journal ref: Journal of Pure and Applied Algebra 223(5):2062-2079 (2019)

Binary forms with three different relative ranks

Authors: Bruce Reznick, Neriman Tokcan

Abstract: Suppose $f(x,y)$ is a binary form of degree $d$ with coefficients in a field $K \subseteq \mathbb C$. The $K$-rank of $f$ is the smallest number of $d$-th powers of linear forms over $K$ of which $f$ is a $K$-linear combination. We prove that for $d \ge 5$, there always exists a form of degree $d$ with at least three different ranks over various fields. The $K$-rank of a form $f$ (such as… ▽ More Suppose $f(x,y)$ is a binary form of degree $d$ with coefficients in a field $K \subseteq \mathbb C$. The $K$-rank of $f$ is the smallest number of $d$-th powers of linear forms over $K$ of which $f$ is a $K$-linear combination. We prove that for $d \ge 5$, there always exists a form of degree $d$ with at least three different ranks over various fields. The $K$-rank of a form $f$ (such as $x^3y^2$) may depend on whether -1 is a sum of two squares in $K$. △ Less

Submitted 30 August, 2016; originally announced August 2016.

MSC Class: 11E76; 11P05; 12D15; 14N10 (Primary)

The analogue of Hilbert's 1888 theorem for Even Symmetric Forms

Authors: Charu Goel, Salma Kuhlmann, Bruce Reznick

Abstract: Hilbert proved in 1888 that a positive semidefinite (psd) real form is a sum of squares (sos) of real forms if and only if $n=2$ or $d=1$ or $(n,2d)=(3,4)$, where $n$ is the number of variables and $2d$ the degree of the form. We study the analogue for even symmetric forms. We establish that an even symmetric $n$-ary $2d$-ic psd form is sos if and only if $n=2$ or $d=1$ or… ▽ More Hilbert proved in 1888 that a positive semidefinite (psd) real form is a sum of squares (sos) of real forms if and only if $n=2$ or $d=1$ or $(n,2d)=(3,4)$, where $n$ is the number of variables and $2d$ the degree of the form. We study the analogue for even symmetric forms. We establish that an even symmetric $n$-ary $2d$-ic psd form is sos if and only if $n=2$ or $d=1$ or $(n,2d)=(n,4)_{n \geq 3}$ or $(n,2d)= (3,8)$. △ Less

Submitted 4 October, 2016; v1 submitted 24 September, 2015; originally announced September 2015.

Comments: 11 pages, 1 figure. arXiv admin note: text overlap with arXiv:1505.08145

MSC Class: 11E76; 11E25; 05E05; 14P10

Journal ref: Journal of Pure and Applied Algebra (2016)

On the Choi-Lam analogue of Hilbert's 1888 theorem for Symmetric Forms

Authors: Charu Goel, Salma Kuhlmann, Bruce Reznick

Abstract: A famous theorem of Hilbert from 1888 states that a positive semidefinite (psd) real form is a sum of squares (sos) of real forms if and only if $n=2$ or $d=1$ or $(n,2d)=(3,4)$, where $n$ is the number of variables and $2d$ the degree of the form. In 1976, Choi and Lam proved the analogue of Hilbert's Theorem for symmetric forms by assuming the existence of psd not sos symmetric $n$-ary quartics… ▽ More A famous theorem of Hilbert from 1888 states that a positive semidefinite (psd) real form is a sum of squares (sos) of real forms if and only if $n=2$ or $d=1$ or $(n,2d)=(3,4)$, where $n$ is the number of variables and $2d$ the degree of the form. In 1976, Choi and Lam proved the analogue of Hilbert's Theorem for symmetric forms by assuming the existence of psd not sos symmetric $n$-ary quartics for $n \geq 5$. In this paper we complete their proof by constructing explicit psd not sos symmetric $n$-ary quartics for $n \geq 5$. △ Less

Submitted 19 August, 2015; v1 submitted 29 May, 2015; originally announced May 2015.

Comments: The previous submission has been improved and split into two papers. The first one being the present version and the second one called "The analogue of Hilbert's 1888 theorem for Even Symmetric Forms" in which we completed our conjecture, namely, an even symmetric n-ary 2d-ic psd form is sos if and only if n=2 or d=1 or (n,2d)=(3,8) or (n,2d)=(n,4) for n greater than or equal to 3

MSC Class: 11E76; 11E25; 05E05

Journal ref: Linear Algebra and its Applications, 496 (2016), 114-120

Some new canonical forms for polynomials

Authors: Bruce Reznick

Abstract: We give some new canonical representations for forms over $\cc$. For example, a general binary quartic form can be written as the square of a quadratic form plus the fourth power of a linear form. A general cubic form in $(x_1,...,x_n)$ can be written uniquely as a sum of the cubes of linear forms $\ell_{ij}(x_i,...,x_j)$, $1 \le i \le j \le n$. A general ternary quartic form is the sum of the squ… ▽ More We give some new canonical representations for forms over $\cc$. For example, a general binary quartic form can be written as the square of a quadratic form plus the fourth power of a linear form. A general cubic form in $(x_1,...,x_n)$ can be written uniquely as a sum of the cubes of linear forms $\ell_{ij}(x_i,...,x_j)$, $1 \le i \le j \le n$. A general ternary quartic form is the sum of the square of a quadratic form and three fourth powers of linear forms. The methods are classical and elementary. △ Less

Submitted 4 July, 2013; v1 submitted 26 March, 2012; originally announced March 2012.

Comments: I have spoken about this material under the title "steampunk canonical forms". This is the final revised version which has been accepted by the Pacific Journal of Mathematics. Apart from the usual improvements which come after a thoughtful refereeing, Theorem 1.8 is new

MSC Class: 11E76; 14N15 (Primary) 11E25; 11P05; 15A72 (Secondary)

Journal ref: Pacific J. Math. 266 (2013) 185-220

Congruence properties of binary partition functions

Authors: Katherine Anders, Melissa Dennison, Bruce Reznick, Jennifer Weber

Abstract: Let A be a finite subset of the natural numbers containing 0, and let f(n) denote the number of ways to write n in the form $\sum e_j2^j$, where $\e_j \in A$. We show that there exists a computable T = T(A) so that the sequence (f(n) mod 2) is periodic with period T. Variations and generalizations of this problem are also discussed. Let A be a finite subset of the natural numbers containing 0, and let f(n) denote the number of ways to write n in the form $\sum e_j2^j$, where $\e_j \in A$. We show that there exists a computable T = T(A) so that the sequence (f(n) mod 2) is periodic with period T. Variations and generalizations of this problem are also discussed. △ Less

Submitted 25 February, 2011; originally announced February 2011.

MSC Class: Primary:11A63; 11B50; 11P81

On the sums of two cubes

Authors: Bruce Reznick, Jeremy Rouse

Abstract: We solve the equation $f(x,y)^3 + g(x,y)^3 = x^3 + y^3$ for homogeneous $f, g \in \mathbb C(x,y)$, completing an investigation begun by Viète in 1591. The usual addition law for elliptic curves and composition give rise to two binary operations on the set of solutions. We show that a particular subset of the set of solutions is ring-isomorphic to $\mathbb Z[e^{2 πi / 3}]$. We solve the equation $f(x,y)^3 + g(x,y)^3 = x^3 + y^3$ for homogeneous $f, g \in \mathbb C(x,y)$, completing an investigation begun by Viète in 1591. The usual addition law for elliptic curves and composition give rise to two binary operations on the set of solutions. We show that a particular subset of the set of solutions is ring-isomorphic to $\mathbb Z[e^{2 πi / 3}]$. △ Less

Submitted 14 February, 2011; v1 submitted 28 December, 2010; originally announced December 2010.

Comments: Revised version, to appear in the International Journal of Number Theory

MSC Class: Primary: 11D25; 11G05; Secondary: 14J27; 14K02

Journal ref: Int. J. Number Theory, 7 (2011), no. 7, 1863-1882

Blenders

Authors: Bruce Reznick

Abstract: A blender is a closed convex cone of real homogeneous polynomials that is also closed under linear changes of variable. Non-trivial blenders only occur in even degree. Examples include the cones of psd forms, sos forms, convex forms and sums of $2u$-th powers of forms of degree $v$. We present some general properties of blenders and analyze the extremal elements of some specific blenders. A blender is a closed convex cone of real homogeneous polynomials that is also closed under linear changes of variable. Non-trivial blenders only occur in even degree. Examples include the cones of psd forms, sos forms, convex forms and sums of $2u$-th powers of forms of degree $v$. We present some general properties of blenders and analyze the extremal elements of some specific blenders. △ Less

Submitted 14 February, 2011; v1 submitted 26 August, 2010; originally announced August 2010.

Comments: Revised version; will appear in "Notions of Positivity and the Geometry of Polynomials" (P. Branden, M. Passare, M. Putinar, editors), Trends in Math., Birkhauser, Basel

MSC Class: 11E25; 11E76; 11P05; 14P99; 26B25; 52A41

On the length of binary forms

Authors: Bruce Reznick

Abstract: The $K$-length of a form $f$ in $K[x_1,\dots,x_n]$, $K \subset \cc$, is the smallest number of $d$-th powers of linear forms of which $f$ is a $K$-linear combination. We present many results, old and new, about $K$-length, mainly in $n=2$, and often about the length of the same form over different fields. For example, the $K$-length of $3x^5 -20x^3y^2+10xy^4$ is three for $K = \qq(\sqrt{-1})$, fou… ▽ More The $K$-length of a form $f$ in $K[x_1,\dots,x_n]$, $K \subset \cc$, is the smallest number of $d$-th powers of linear forms of which $f$ is a $K$-linear combination. We present many results, old and new, about $K$-length, mainly in $n=2$, and often about the length of the same form over different fields. For example, the $K$-length of $3x^5 -20x^3y^2+10xy^4$ is three for $K = \qq(\sqrt{-1})$, four for $K = \qq(\sqrt{-2})$ and five for $K = \rr$. △ Less

Submitted 30 July, 2010; originally announced July 2010.

Comments: Submitted to the proceedings of the Higher Degree Forms conference in Gainesville, FLA in May 2009

MSC Class: Primary: 11E76; 11P05; 14N10

Laws of inertia in higher degree binary forms

Authors: Bruce Reznick

Abstract: We consider representations of real forms of even degree as a linear combination of powers of real linear forms, counting the number of positive and negative coefficients. We show that the natural generalization of Sylvester's Law of Inertia holds for binary quartics, but fails for binary sextics. We consider representations of real forms of even degree as a linear combination of powers of real linear forms, counting the number of positive and negative coefficients. We show that the natural generalization of Sylvester's Law of Inertia holds for binary quartics, but fails for binary sextics. △ Less

Submitted 30 June, 2009; originally announced June 2009.

Comments: 13 pages

MSC Class: 11E76; 15A21

On Hilbert's construction of positive polynomials

Authors: Bruce Reznick

Abstract: In 1888, Hilbert described how to find real polynomials in more than one variable which take only non-negative values but are not a sum of squares of polynomials. His construction was so restrictive that no explicit examples appeared until the late 1960s. We revisit and generalize Hilbert's construction and present many such polynomials. In 1888, Hilbert described how to find real polynomials in more than one variable which take only non-negative values but are not a sum of squares of polynomials. His construction was so restrictive that no explicit examples appeared until the late 1960s. We revisit and generalize Hilbert's construction and present many such polynomials. △ Less

Submitted 14 July, 2007; originally announced July 2007.

MSC Class: 11E20; 11E25; 12D99; 14H50; 14N15

Regularity properties of the Stern enumeration of the rationals

Authors: Bruce Reznick

Abstract: The Stern sequence (s(n)) is defined by s(0) = 0, s(1) = 1, s(2n) = s(n), s(2n+1) = s(n) + s(n+1). Stern showed in 1858 that gcd(s(n),s(n+1)) = 1, and that for every pair of relatively prime positive integers (a,b), there exists a unique n so that s(n) = a and s(n+1) = b. We show that, in a strong sense, the average value of s(n)/s(n+1) is 3/2, and that for all d, (s(n),s(n+1)) is uniformly dist… ▽ More The Stern sequence (s(n)) is defined by s(0) = 0, s(1) = 1, s(2n) = s(n), s(2n+1) = s(n) + s(n+1). Stern showed in 1858 that gcd(s(n),s(n+1)) = 1, and that for every pair of relatively prime positive integers (a,b), there exists a unique n so that s(n) = a and s(n+1) = b. We show that, in a strong sense, the average value of s(n)/s(n+1) is 3/2, and that for all d, (s(n),s(n+1)) is uniformly distributed among all feasible pairs of congruence classes modulo d. More precise results are presented for d = 2 and 3. △ Less

Submitted 19 October, 2006; originally announced October 2006.

Comments: Submitted for publication

MSC Class: 05A15; 11B37; 11B57; 11B75

Clean Lattice Tetrahedra

Authors: Bruce Reznick

Abstract: A clean lattice tetrahedron is a non-degenerate tetrahedron with the property that the only lattice points on its boundary are its vertices. We present some new proofs of old results and some new results on clean lattice tetrahedra, with an emphasis on counting the number of its interior lattice points and on computing its lattice width. A clean lattice tetrahedron is a non-degenerate tetrahedron with the property that the only lattice points on its boundary are its vertices. We present some new proofs of old results and some new results on clean lattice tetrahedra, with an emphasis on counting the number of its interior lattice points and on computing its lattice width. △ Less

Submitted 9 June, 2006; originally announced June 2006.

Comments: submitted for publication

MSC Class: 52B20; 11H06

A New Proof of Hilbert's Theorem on Ternary Quartics

Authors: Victoria Powers, Bruce Reznick, Claus Scheiderer, Frank Sottile

Abstract: David Hilbert proved that a non-negative real quartic form f(x,y,z) is the sum of three squares of quadratic forms. We give a new proof which shows that if the complex plane curve Q defined by f is smooth, then f has exactly 8 such representations, up to equivalence. They correspond to those real 2-torsion points of the Jacobian of Q which are not represented by a conjugation-invariant divisor o… ▽ More David Hilbert proved that a non-negative real quartic form f(x,y,z) is the sum of three squares of quadratic forms. We give a new proof which shows that if the complex plane curve Q defined by f is smooth, then f has exactly 8 such representations, up to equivalence. They correspond to those real 2-torsion points of the Jacobian of Q which are not represented by a conjugation-invariant divisor on Q. △ Less

Submitted 25 May, 2004; originally announced May 2004.

Comments: 4 pages

MSC Class: 11E25; 14F22

Journal ref: Comptes Rendus Mathematique (Paris), 339, Issue 9, (2004), 617--620.

Almost Alternating Sums

Authors: Kevin O'Bryant, Bruce Reznick, Monika Serbinowska

Abstract: Writing for a general mathematical audience, we provide elementary upper and lower bounds on the growth (as a function of N) of the sum \sum_{n=1}^N (-1)^{\floor{n x}} for various fixed x. For example, if x is a quadratic irrational, then the sum is O(log N), and if x is 2/(e-1), then the sum is O(log N / log log N). We compute the optimal big-Oh constant for x=\sqrt{2}, 1+\sqrt{5}, 2+\sqrt{10},… ▽ More Writing for a general mathematical audience, we provide elementary upper and lower bounds on the growth (as a function of N) of the sum \sum_{n=1}^N (-1)^{\floor{n x}} for various fixed x. For example, if x is a quadratic irrational, then the sum is O(log N), and if x is 2/(e-1), then the sum is O(log N / log log N). We compute the optimal big-Oh constant for x=\sqrt{2}, 1+\sqrt{5}, 2+\sqrt{10}, .... △ Less

Submitted 24 August, 2005; v1 submitted 9 August, 2003; originally announced August 2003.

Comments: 17 pages, 3 figures (revision is typographical)

MSC Class: 11K06 (Primary); 11J70 (Secondary)

Journal ref: Amer. Math. Monthly 113 (2006), no. 8, 673--688.

On the absence of uniform denominators in Hilbert's 17th problem

Authors: Bruce Reznick

Abstract: Hilbert showed that for most $(n,m)$ there exist psd forms $p(x_1,...,x_n)$ of degree $m$ which cannot be written as a sum of squares of forms. His 17th problem asked whether, in this case, there exists a form $h$ so that $h^2p$ is a sum of squares of forms; that is, $p$ is a sum of squares of rational functions with denominator $h$. We show that, for every such $(n,m)$ there does not exist a si… ▽ More Hilbert showed that for most $(n,m)$ there exist psd forms $p(x_1,...,x_n)$ of degree $m$ which cannot be written as a sum of squares of forms. His 17th problem asked whether, in this case, there exists a form $h$ so that $h^2p$ is a sum of squares of forms; that is, $p$ is a sum of squares of rational functions with denominator $h$. We show that, for every such $(n,m)$ there does not exist a single form $h$ which serves in this way as a denominator for {\it every} psd $p(x_1,...,x_n)$ of degree $m$. △ Less

Submitted 10 June, 2003; originally announced June 2003.

Comments: Submitted to Proceedings of the American Mathematical Society

MSC Class: 11E10; 11E25; 11E76; 12D15; 14P99

Positive rational solutions to $x^y = y^{mx}$: a number-theoretic excursion

Authors: Michael A. Bennett, Bruce Reznick

Abstract: We give a light-hearted look at the topic in the title. Most solutions are in semi-boring parametric families, but some are sporadic and come from Thue equations. One amusing example is m = 2, x = (4/5)^128, y = (4/5)^125. We give a light-hearted look at the topic in the title. Most solutions are in semi-boring parametric families, but some are sporadic and come from Thue equations. One amusing example is m = 2, x = (4/5)^128, y = (4/5)^125. △ Less

Submitted 6 September, 2002; originally announced September 2002.

Comments: 12 pages

MSC Class: 11D41

Patterns of dependence among powers of polynomials

Authors: Bruce Reznick

Abstract: Let F = {f_1,...,f_r} be a family of polynomials and let the ticket of F, T(F), denote the set of integers m so that ${f_j^m}$ is linearly dependent. We show that |T(F)| \le (r-1)(r-2)/2 and present many concrete examples, including one with r=6 and T(F) = {1,2,3,4,8,14}. Let F = {f_1,...,f_r} be a family of polynomials and let the ticket of F, T(F), denote the set of integers m so that ${f_j^m}$ is linearly dependent. We show that |T(F)| \le (r-1)(r-2)/2 and present many concrete examples, including one with r=6 and T(F) = {1,2,3,4,8,14}. △ Less

Submitted 8 June, 2001; originally announced June 2001.

Comments: Submitted to Contemp. Math., for the Proceedings of the March 2001 DIMACS workshop on Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science. The preprint is 25 pp. and a few typos have been corrected from a circulated version

MSC Class: 11D41; 11E76; 14Q15; 32H25 (Primary); 11P05; 15A99; 30D35 (Secondary)

Lattice polytopes with distinct pair-sums

Authors: M. D. Choi, T. Y. Lam, Bruce Reznick

Abstract: Let P be a lattice polytope in R^n, and let P \cap Z^n = {v_1,...,v_N}. If the N + \binom N2 points 2v_1,...,2v_N; v_1+v_2,...v_{N-1}+v_N are distinct, we say that P is a "distinct pair-sum" or "dps" polytope. We show that, if P is a dsp polytope in R^n, then N \le 2^n, and, for every n, we construct dps polytopes in R^n which contain 2^n lattice points. We also discuss the relation between dps… ▽ More Let P be a lattice polytope in R^n, and let P \cap Z^n = {v_1,...,v_N}. If the N + \binom N2 points 2v_1,...,2v_N; v_1+v_2,...v_{N-1}+v_N are distinct, we say that P is a "distinct pair-sum" or "dps" polytope. We show that, if P is a dsp polytope in R^n, then N \le 2^n, and, for every n, we construct dps polytopes in R^n which contain 2^n lattice points. We also discuss the relation between dps polytopes and the study of sums of squares of real polynomials. △ Less

Submitted 10 November, 2000; originally announced November 2000.

Comments: 8 pages. Submitted to the Special Issue on Geometric Combinatorics of the journal "Discrete and Computational Geometry"

MSC Class: 52B20