Source author record

Bruce Reznick

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.NT math.AC math.CO

Catalog footprint

Research overview

10works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Equal sums of two cubes of binary quadratic forms

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.

preprint2019arXiv

Linearly dependent powers of binary quadratic forms

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.

preprint2016arXiv

Binary forms with three different relative ranks

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$ .

preprint2016arXiv

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

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)$ .

preprint2015arXiv

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

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$ .

preprint2013arXiv

Some new canonical forms for polynomials

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.

preprint2011arXiv

Congruence properties of binary partition functions

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.

preprint2011arXiv

On the sums of two cubes

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}]$ .

preprint2010arXiv

On the length of binary forms

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$.

preprint2004arXiv

A New Proof of Hilbert's Theorem on Ternary Quartics

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.