Questions about quadratic forms in many variables, for example $4x_1^2 + 3x_1x_2 + 5x_1x_3 - 8x_3^2$.

learn more… | top users | synonyms

3
votes
2answers
363 views

Isotropy over $p$-adic numbers

Over what $p$-adic fields $\mathbb{Q}_p$ is the form $\langle3, 7, -15\rangle$ isotropic?
16
votes
5answers
844 views

Every integer vector in $\mathbb R^n$ with integer length is part of an orthogonal basis of $\mathbb R^n$

Suppose $\vec x$ is a (non-zero) vector with integer coordinates in $\mathbb R^n$ such that $\|\vec x\| \in \mathbb Z$. Is it true that there is an orthogonal basis of $\mathbb R^n$ containing $\vec ...
12
votes
0answers
1k views

Proof of Legendre's theorem on the ternary quadratic form

Theorem (Legendre): Let $a,b,c$ coprime positive integers, then $ax^2 + by^2 = cz^2$ has a nontrivial solution in rationals $x,y,z$ iff ...
1
vote
3answers
1k views

How to solve inhomogeneous quadratic forms in integers?

If I have a quadratic form like $y^2 - x^2 - x = k$ none of the techniques I know work because of the nasty $x$. Note that homogenizing doesn't work because a solution of $Y^2 - X^2 - X Z = k Z^{(2)}$ ...
9
votes
0answers
194 views

What numbers are integrally represented by $4 x^2 + 2 x y + 7 y^2 - z^3$

EDIT: a selection of material relevant to this problem is available at INHOMOGENEOUS In December 2010 my question appeared in the M.A.A. Monthly, show that $4 x^2 + 2 x y + 7 y^2 - z^3 \neq \pm 2 ...
3
votes
6answers
420 views

Integral solutions of hyperboloid $x^2+y^2-z^2=1$

Are there integral solutions to the equation $x^2+y^2-z^2=1$?
0
votes
3answers
172 views

Solving a system of nonlinear (quadratic) equations

Consider the following system of equations: $$\begin{align} (x + 1)^2 [(p - l)^2 + (q - m)^2] &= (a - l)^2 + (b - m)^2 \\ (x + 1)^2 [(p - a)^2 + (q - b)^2] &= x^2[(a - l)^2 + (b - ...
0
votes
2answers
196 views

How to solve an equation of the form $ax^2 - by^2 + cx - dy + e =0$?

I am trying to find out how to solve $ax^2 - by^2 + cx - dy + e = 0$ to get integer solutions, failing this the rational solutions. Thanks!
1
vote
1answer
99 views

Elementary properties of integral binary quadratic forms

Let $f = ax^2 + bxy + cy^2$ be a binary quadratic form over $\mathbb{Z}$. $D = b^2 - 4ac$ is called the discriminant of $f$. We say $f$ is positive definite if $a \gt 0$ and $D \lt 0$(cf. this ...
9
votes
1answer
1k views

What's a BETTER way to see the Gauss's composition law for binary quadratic forms?

There is a group structure of binary quadratic forms of given discriminant $d$: Let $[f]=[(a,b,c)], [f']=[(a',b',c')],$ where $d=b^2-4 a c=b'^2-4 a' c'.$ The composition of two binary quadratic ...
26
votes
2answers
834 views

Elementary proof that $2x^2+xy+3y^2$ represents infinitely many primes?

We did in class $x^2+y^2$, which was easy, and we had for homework $2x^2+2xy+3y^2$, which I did (its values (if not square) must be divisible by form primes, or of the form $x^2+5y^2$, and clearly ...
1
vote
3answers
151 views

Solving $a^2+3b^2=c^2$

I'm looking for how to solve the equation $a^2+3b^2=c^2$ where $a,b,c$ are integers and $b$ is even, I'm looking for the algorithm used to solve this kind of equations, not just the solution. Regards ...
9
votes
4answers
439 views

Representing a number as a sum of at most $k$ squares

Fix an integer $k >0 $ and would like to know the maximum number of different ways that a number $n$ can be expressed as a sum of $k$ squares, i.e. the number of integer solutions to $$ n = x_1^2 + ...
7
votes
2answers
1k views

Show $15x^{2} - 7y^{2} = 9$ has no integer solutions

I'm trying to show the quadratic binary has no integer solution. I've used the following process to transform it into a Pell's equation of the form $x^{2} - Dy^{2} = M$ If there is a solution, then ...
4
votes
2answers
153 views

Should isometries be linear?

Question Suppose $V$ is a (finite-dimensional) vector space over $F$ ($\operatorname{char }F\neq2$, due to user1551) equipped with a non-degenerate quadratic form $Q$, and $T$ is a ...
1
vote
5answers
277 views

Algorithm for determining whether two imaginary quadratic numbers are equivalent under a modular transformation

Let $\Gamma = SL_2(\mathbb{Z})$. Let $\mathcal{H} = \{z \in \mathbb{C}\ |\ \mathcal{Im}(z) > 0\}$ be the upper half complex plane. Let $\sigma = \left( \begin{array}{ccc} p & q \\ r & s ...
1
vote
3answers
2k views

Hessian matrix of a quadratic form

I need a help with one example. I have to proove that hessian matrix of a quadratic form $f(x)=x^TAx$ is $f^{\prime\prime}(x) = A + A^T$. I am not even sure how the Jaxobian looks like (I never did ...
1
vote
7answers
413 views

positive definite quadratic form

Is $\sum_{i=1}^n x_i^2 + \sum_{1\leq i < j \leq n} x_{i}x_j$ positive definite? Approach: The matrix of this quadratic form can be derived to be the following $$M := \begin{pmatrix} 1 & ...
5
votes
3answers
401 views

Etymology of the word “isotropic”

Given a quadratic form $q : V \rightarrow k$, a nonzero vector $v \in V$ is said to be isotropic if $q(v) = 0$. Any subspace of $V$ containing such a vector is also said to be isotropic, and the ...
2
votes
1answer
195 views

A condition for an odd prime to be represented by a binary quadratic form of a given discriminant

Let $f = ax^2 + bxy + cy^2$ be an integral binary quadratic form. We say $D = b^2 - 4ac$ is the discriminant of $f$. If $D < 0$ and $a > 0$, we say $f$ is positive definite. It is easy to see ...
1
vote
1answer
124 views

finding if two binary quadratic forms represent the same integers

I am currently working with quadratic forms for a given discriminant D; to get all primitive forms (one for each equivalence class) I found this website : ...
9
votes
2answers
619 views

Generalizing the 290 theorem.

I have only just come across the remarkable theorem of Conway about universal quadratic forms over $\mathbb{Z}$; namely that in determining whether a integer coefficient, positive definite quadratic ...
6
votes
1answer
466 views

A good reference for Quadratic Forms

Can anyone recommend a good reference for brushing up on quadratic forms? They keep coming up (quite naturally of course) in the context of differential geometry and I find I am rustier than I ...
4
votes
0answers
816 views

Simultaneous diagonalization of quadratic forms

I would like to collect references (or direct quotations) about as many "simultaneous diagonalization" results in linear algebra as possible. Let $V$ be an $n$-dimentional ($n$ finite) vector space ...
9
votes
1answer
3k views

sum of squares of dependent gaussian random variables

Ok, so the Chi-Squared distribution with n degrees of freedom is the sum of the squares of n independent gaussian random variables. The trouble is, my gaussian random variables are not independent. ...
1
vote
1answer
90 views

A problem on positive semi-definite quadratic forms/matrices

Suppose $a+b+c=0$ and (without loss of generality) $a\leq b\leq 0\leq c$, $a^2+b^2+c^2=1$, is the following quadratic form positive semi-definite? Thank you very much. \begin{equation*} \begin{split} ...
8
votes
4answers
3k views

Determining if a quadratic is always positive

Is there a quick and systematic method to find out if a quadratic equation is always positive or may have positive and negative or always negative for all values to its variables? Say for a quadratic ...
6
votes
1answer
141 views

Expressing a quadratic form, $\mathbf{x}^TA\mathbf{x}$ in terms of $\lVert\mathbf{x}\rVert^2$, $A$

EDIT: This question is actually an attempt to solve this. Please take a look. Let $A$ be a symmetric postive-definite $n\times n$ matrix, i.e. $A\in\mathbb{S}_{++}^{n}$ Also, let ...
5
votes
3answers
830 views

Existence of solutions to diophantine quadratic form

Is there a general result about the existence of (non-trivial) solutions of the diophantine equation: $$Ax^2 + By^2 = Cz^2$$ for A,B,C known positive integers, pair-wise relatively prime? What if ...
4
votes
2answers
108 views

Proving the multiplicativity of a binary quadratic form

Consider the set $S$ of all integers of the form $x^2+y^2+4xy$, where $x$ and $y$ are integers. How could one prove the set $S$ is closed under multiplication? I have tried the bashy brute force ...
3
votes
2answers
95 views

An annoying Pell-like equation related to a binary quadratic form problem

Let $A,B,C,D$ be integers such that $AD-BC= 1 $ and $ A+D = -1 $. Show by elementary means that the Diophantine equation $$\bigl[2Bx + (D-A) y\bigr] ^ 2 + 3y^2 = 4|B|$$ has an integer ...
3
votes
2answers
162 views

On the hessian matrix and relative minima

I'm asked to prove the following statement: Let $\mathbb{A} \subseteq \mathbb{R}^n$ an open subset and $f: \mathbb{A} \to \mathbb{R} / f \in \mathbb{C}^3 \wedge (P \in \mathbb{A} : \nabla f(P)=0)$. ...
3
votes
1answer
7k views

Quadratic equation -> matrix?

Problem: Find the EigenValues and EigenVectors of the matrix associated with quadratic forms $2x^2+6y^2+2z^2+8xz$. I know how to convert a set of polynomial equations to a matrix but I have no clue ...
2
votes
2answers
124 views

What's so special about the form $ax^2+2bxy+cy^2$?

Binary quadratic forms are sometimes studied (e.g. by Gauss) in the form $$ax^2+2bx+cy^2$$ In other words, the second coefficient is assumed to be even, and the polynomial is assumed to be ...
0
votes
0answers
44 views

Finding integers of the form $3x^2 + xy - 5y^2$ where $x$ and $y$ are integers, using diagram via arithmetic progression

So the diagram drawn looks like this: We begin at the edges labeled $3$ and $-5$ because we are using those as the bases for $x$ and $y$, respectively. The way we obtain the values of the 2 ...
5
votes
2answers
84 views

About integral binary quadratic forms fixed by $\operatorname{GL_2(\mathbb Z)}$ matrices of order $3$

I am reading this paper of Manjul Bhargava and Ariel Shnidman, and I want to prove this claim, which appear at the first paragraph of Theorem $14$: Up to $\operatorname{SL_2}(\mathbb Z)$ ...
5
votes
1answer
250 views

Question about $4$-manifolds and intersection forms

This is a question related to an earlier question of mine: I've been reading about topological invariants. Some of them are defined in terms of quadratic forms. My current understanding is: we can ...
4
votes
5answers
193 views

Looking for proof of no solution to 4-variable quadratic diophantine equation

Show there are no integers $a,b,c,d$ such that $$\begin{cases}1=9ac+3ad+3bc-16bd \\ 1=3ad+3bc+2bd \end{cases}$$ Motivation: The ideal $I=(3,1+\sqrt{-17})$ in $R=\mathbb{Z}[\sqrt{-17}]$ has the ...
4
votes
2answers
430 views

Clifford Algebras

What would be the best source to learn Clifford Algebras from? Anything online would suffice or any textual sources for that matter.. I'm interested in doing a project in the subject, but I'm not ...
4
votes
1answer
169 views

Centre of a quadric

I found the following sentence in my linear linear algebra book (affine and projective geometry): $Q:V \to \mathbb{K}$ is a quadric (quadratic function) and $\alpha\in Aff(V)$. $Aff(V)$ is the set of ...
4
votes
1answer
154 views

Help fixing my broken example of Arf invariant

I need help fixing a broken example I've come up with. In particular, I wanted to use the Arf invariant to distinguish two non-homeomorphic surfaces. That's the first part that's broken since there ...
4
votes
1answer
311 views

Map preserving indefinite scalar product must be linear

Let $V$ be a finite dimensional real vector space and $\langle\cdot,\cdot \rangle$ be a positive definite scalar product in $V$. It is well know that if a map $T:V \to V$ preserves ...
4
votes
1answer
516 views

When are two diagonal matrices congruent?

This is probably a question that does not admit a simple answer. However, I'd like to know whether there exist criteria that determine when two diagonal matrices are congruent. I have the suspicion ...
3
votes
0answers
82 views

A Tale of Two Quadratic Identities (Pell-like)

Question is at the end. Let all variables be integers. For some constants $a,b,c,d$, assume we have initial solution {$m,n$} to, $$a m^2 + b m n + c n^2 = d\tag{1}$$ Identity 1: $$a x^2 + b x y + ...
3
votes
1answer
113 views

Can the equation $ax^2+by^2=cz^2$ be solved in integers (excluding trivial solutions)?

Suppose $a,b,c\in\mathbb{N}$ and are each squarefree. Is there a general solution for this equation? I found that for this equation to be soluble in integers there are three necessary and sufficient ...
2
votes
3answers
134 views

“Descent” on binary quadratic forms?

Let's say I have the Diophantine equation $$ x^2+3n^2 = y^2+3z^2. \tag{$\star$} $$ where $n$ is a known integer, and we're trying to determine solutions in integers $x,y,z \ge 1$. Rewrite ($\star$) ...
2
votes
2answers
153 views

Is it true that the whole space is the direct sum of a subspace and its orthogonal space?

Problem The ground field is $K$, $\operatorname{char}K\neq2$. Suppose $W$ is a (maybe infinite dimensional) subspace of a vector space $V$ with a symmetric/symplectic form ...
1
vote
1answer
25 views

If equation has integer solution it has solution for every prime p.

How to prove that if the equation in the form: $a_0 x_0^2 + a_1 x_1^2 + \dots + a_nx_n^2 = 0$ where $a_0, a_1, \dots , a_n \in \mathbb{Z}$, has an integer solution, then it has solution in ...
1
vote
1answer
46 views

Discriminant of a Quadratic form

Let $V$ be a vector space over field $K$ and $Q$ is the quadratic form on it, and $A$ be the matrix w.r.t. $e_1,e_2,...e_n$ of $V$. Now $discr(Q)$ is defined as $det(A)$ mod ${K^{*}}^{2}$. Now my ...
1
vote
1answer
203 views

Let $W \subset V$ vector spaces, let $W'$ be the orthogonal complement of $W$. Show $\dim(W)+\dim(W')=\dim V$

As title says: Let $W \subset V$ vector spaces, let $W'$ be the orthogonal complement of $W$. Show $\dim(W)+\dim(W')=\dim V$. We are given that $W \subset V$ finite vector spaces, symmetric bilinear ...