BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Bruce Reznick appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
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.
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$.
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)$.
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$.
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.
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.
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}]$.
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$.
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.