Indefinite Semidefinite and Definite Binary Quadratic Forms

# Indefinite Semidefinite and Definite Binary Quadratic Forms

Definition: Let $f(x, y) = ax^2 + bxy + cy^2$ be a binary quadratic form.1) $f(x, y)$ is Indefinite if $f$ takes on both positive and negative values.2) $f(x, y)$ is Positive Semidefinite if $f(x, y) \geq 0$ for all integers $x, y \in \mathbb{Z}$.3) $f(x, y)$ is Negative Semidefinite if $f(x, y) \leq 0$ for all integers $x, y \in \mathbb{Z}$.4) $f(x, y)$ is Semidefinite if it is either positive semidefinite or negative semidefinite.5) $f(x, y)$ is Positive Definite if $f(x, y) \geq 0$ for all integers $x, y \in \mathbb{Z}$ and $f(x, y) = 0$ if and only if $(x, y) = (0, 0)$.6) $f(x, y)$ is Negative Definite if $f(x, y) \leq 0$ for all integers $x, y \in \mathbb{Z}$ and $f(x, y) = 0$ if and only if $(x, y) = (0, 0)$.7) $f(x, y)$ is Definite if it is either positive definite or negative definite. |

- The following BQF is
**indefinite**:

\begin{equation} f(x, y) = x^2 + xy - y^2 \end{equation}

- This is because $f(1, 1) = 1 > 0$, but $f(-1, 1) = -1 < 0$.

- The following BQF is
**positive semidefinite**:

\begin{equation} f(x, y) = x^2 + 2xy + y^2 \end{equation}

- This is because $f(x, y) = (x + y)^2 \geq 0$ for all $x, y \in \mathbb{Z}$. Observe that $f(x, y) = 0$ whenever $x = -y$.

- The following BQF is
**negative semidefinite**:

\begin{align} \quad f(x, y) = -x^2 - 2xy - y^2 \end{align}

- This is because $f(x, y) = - (x + y)^2 \leq 0$ for all $x, y \in \mathbb{Z}$. Observe that $f(x, y) = 0$ whenever $x = -y$.

- The following BQF is
**positive definite**:

\begin{align} \quad f(x, y) = x^2 + y^2 \end{align}

- This is because $f(x, y) \geq 0$ for all $x, y \in \mathbb{Z}$ and that $f(x, y) = 0$ if and only if $x = 0$ and $y = 0$.

- The following BQF is
**negative definite**:

\begin{align} \quad f(x, y) = -x^2 - y^2 \end{align}

- This is because $f(x, y) \leq 0$ for all $x, y \in \mathbb{Z}$ and that $f(x, y) = 0$ if and only if $x = 0$ and $y = 0$.

Theorem 1: Let $f(x, y)$ be a binary quadratic form.a) If $d > 0$ then $f(x, y)$ is indefinite.b) If $d = 0$ then $f(x, y)$ is semidefinite but not definite.c) If $d < 0$ then $f(x, y)$ is definite. In particular, $f(x, y)$ is positive definite if both $a, c > 0$ or negative definite if both $a, c < 0$. |