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

learn more… | top users | synonyms

32
votes
2answers
1k views

Meaning of the identity $\det(A+B)+\text{tr}(AB) = \det(A)+\det(B) + \text{tr}(A)\text{tr}(B)$ (in dimension $2$)

Throughout, $A$ and $B$ denote $n \times n$ matrices over $\mathbb{C}$. Everyone knows that the determinant is multiplicative, and the trace is additive (actually linear). \begin{align*} \det(AB) = \...
26
votes
2answers
857 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 ...
18
votes
5answers
999 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 x$...
15
votes
1answer
601 views

Polarization: etymology question

The polarization identity expresses a symmetric bilinear form on a vector space in terms of its associated quadratic form: $$ \langle v,w\rangle = \frac{1}{2}(Q(v+w) - Q(v) - Q(w)), $$ where $Q(v) ...
14
votes
3answers
315 views

Are matrices best understood as linear maps?

Any linear map between finite-dimensional vector spaces may be represented by a matrix, and conversely. Matrix-matrix multiplication corresponds to map composition, and matrix-vector multiplication ...
13
votes
1answer
2k 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 $\left(\frac{-bc}{a}\right)=\left(\frac{-ac}{b}\right)=\left(\...
12
votes
1answer
5k 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. ...
12
votes
1answer
2k 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 ...
11
votes
3answers
541 views

What's the use of quadratic forms?

Starting with the abstract concept of a vector space, I can see why we'd want to add some structure to be able to perform useful operations. For instance if we add a metric/ norm to a vector space we ...
10
votes
2answers
762 views

Proving an inequality with Cauchy-Schwarz

In the "User's guide to viscosity solutions" by Crandall, Ishii and Lions (link), they make the following claim (inequality (A.4) p. 58) : Given $x$, $\xi$ $\in \mathbb{R}^n$, $A \in \cal{S}(n)$ (...
10
votes
3answers
529 views

A Pell equation inside a Pell equation

While working on another problem (see http://mathoverflow.net/questions/143599/solving-the-quartic-equation-r4-4r3s-6r2s2-4rs3-s4-1), I found the following equation to be solved: $$ \bigl((r+s)^2-2s^2\...
10
votes
4answers
619 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 + ...
10
votes
0answers
231 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 m^...
9
votes
6answers
1k views

what would be the way to solve a system of equations like this one?

Solve: $xy=-30$ $x+y=13$ {15, -2} is a particular solution, but, how would I know if is the only solution, or what would be the way to solve this without "guessing" ?
9
votes
2answers
773 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 ...
9
votes
0answers
88 views

Simultaneously vanishing quadratic forms?

Given a set of Hermitian matrices $\{A_i\}$, is there a simple way to check if there exists a vector $c$ such that for all $i$: $$c^* A_i c = 0?$$ Namely, when can the quadratic forms defined by the ...
8
votes
2answers
2k 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 $...
8
votes
4answers
5k 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 ...
8
votes
1answer
175 views

construction of the Witt group

I've seen a couple of constructions of the so-called Witt group: it seems that most authors start with the commutative monoid of isometry classes of quadratic spaces under direct sum, pass to the ...
8
votes
2answers
198 views

How does the theory of the quadratic number fields relate to the quadratic forms?

As every one knows, the quadratic number fields shares a deep connection with the binary quadratic forms; I have been told this relation when I was a senior high, and now I, learning some difficult ...
8
votes
1answer
100 views

Why does the plot of the legendre symbol of $x^2 - y^2$ over a finite field look rectangular

The small top-left thing is a plot of the legendre symbol of $x^2 - y^2$ over $\Bbb F_{37}$. The thing in the middle is plot for $\Bbb F_{587}$. The thing on the right is a plot of the legendre symbol ...
8
votes
1answer
149 views

On the set of integer solutions of $x^2+y^2-z^2=-1$.

Let $$ \mathcal R=\{x=(x_1,x_2,x_3)\in\mathbb Z^3:x_1^2+x_2^2-x_3^2=-1\}. $$ The group $\Gamma= M_3(\mathbb Z)\cap O(2,1)$ acts on $\mathcal R$ by left multiplication. It's known that there is ...
7
votes
2answers
296 views

How find this matrix $A=(\sqrt{i^2+j^2})$ eigenvalue

let the matrix $$A=(a_{ij})_{n\times n}$$ where $$a_{ij}=\sqrt{i^2+j^2}$$ Question: Find the difference $sign{(A)}$ can see this define:http://en.wikipedia.org/wiki/Sylvester's_law_of_inertia My ...
7
votes
2answers
126 views

Question on quadratic forms

I know a theorem which says: If a non-singular quadratic form (homogeneous polynomials of degree $2$) over a field $K$ represents zero non-trivially (i.e., there is a nontrivial solution of the ...
7
votes
3answers
69 views

Fermat's Challenge of composition of numbers

In his letter to Carcavi (August 1659), Fermat mentions the following challenge There is no number, one less than a multiple of $3$, composed of a square and the triple of another square. ...
7
votes
1answer
48 views

General definition of angle/ rotation

It is well known that in the Euclidean plane a rotation about the origin can be computed with the formula $$R_{\theta}(x,y) = \big(\cos(\theta)x-\sin(\theta)y, \sin(\theta)x+\cos(\theta)y\big)$$ It ...
7
votes
1answer
819 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 ...
7
votes
2answers
114 views

Solving a quadratic 9-equation system

I need to solve the following system: $$\begin{cases} A^TA=B &(1)\\ A\vec{x}=\vec{y} &(2)\\ \end{cases} $$ I need $A$, given $B$, $\vec{x}$ and $\vec{y}$. $A$ and $B$ are both 3-by-3 ...
7
votes
0answers
173 views

Non-degenerate bilinear forms of Lie algebra with a degenerate Killing form

Definition: A Lie algebra is defined by: $$ [e_a,e_b]={f_{ab}}^ce_c $$ The Killing form is $$ g_{ab}=-{f_{ac}}^d {f_{bd}}^c $$ Set-Up: The type of Lie algebra of our interests (found out during a ...
6
votes
2answers
9k views

Derivative of Quadratic Form

For the Quadratic Form $X^TAX; X\in\mathbb{R}^n, A\in\mathbb{R}^{n \times n}$ (which simplifies to $\Sigma_{i=0}^n\Sigma_{j=0}^nA_{ij}x_ix_j$), I tried to take the derivative wrt. X ($\Delta_X X^TAX$) ...
6
votes
2answers
47 views

Show $p$ prime s.t. $p \not\equiv 1 \mod 3$ is represented by the binary quadratic equation.

I am working on the following question: Let $p>3$ be a prime such that $p \not\equiv 1 \mod 3$. Show that $p$ is not represented by the binary quadratic equation $f(x, y) = x^2 + xy + y^2$. I ...
6
votes
4answers
188 views

Parametrization of $x^2+ay^2=z^k$, where $\gcd(x,y,z)=1$

$x,y,z$ be three coprime integers, $a \in \mathbb{Z}>0$ and $k$ an odd integer. How do I find all the non-trivial solutions of the diophantine equation? $$x^2+ay^2=z^k$$ Does the method which ...
6
votes
3answers
225 views

reference for linear algebra books that teach reverse Hermite method for symmetric matrices

January 13, 2016: book that does this mentioned in a question today, Linear Algebra Done Wrong by Sergei Treil. He calls it non-orthogonal diagonalization of a quadratic form, calls his first method ...
6
votes
1answer
217 views

How to prove that $ E:=ABC D $ is also positive definite?

Now I think this is true: Let $A$, $B$, $C$ and $D$ be symmetric, positive definite matrices and suppose that $E:=ABCD $ is symmetric. How might I prove that $E$ is also positive definite? ...
6
votes
2answers
291 views

Factoring numbers “of the (binary quadratic) form” in two different ways

For some fixed $n$ define the quadratic form $$Q(x,y) = x^2 + n y^2.$$ I think that if $Q$ represents $m$ in two different ways then $m$ is composite. I can prove this for $n$ prime. I was hoping ...
6
votes
2answers
64 views

Is the quadric $3$-fold $v^2 + w^2 + x^2 + y^2 + z^2 = 0$ isomorphic to $P^3$?

The subset of projective $4$-space given by $5$-tuples $[v:w:x:y:z]$ with $v^2 + w^2 + x^2 + y^2 + z^2 = 0$ is birational to projective $3$-space. I think it has the same cohomology as projective $3$-...
6
votes
1answer
120 views

On a remarkable system of fourth powers using $x^4+y^4+(x+y)^4=2z^4$

The problem is to find four integers $a,b,c,d$ such that, $$a^4+b^4+(a+b)^4=2{x_1}^4\\a^4+c^4+(a+c)^4=2{x_2}^4\\a^4+d^4+(a+d)^4=2{\color{blue}{x_3}}^4\\b^4+c^4+(b+c)^4=2{x_4}^4\\b^4+d^4+(b+d)^4=2{x_5}...
6
votes
1answer
159 views

Completing squares by symplectic transformations

A quadratic polynomial of $2n$ variables is given as $$ H = \sum_{i,j=1}^{2n} A_{ij} x_i x_j = x^T A x, $$ where $A$ is a symmetric matrix. I am looking for a symplectic transformation of these ...
6
votes
3answers
501 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 ...
6
votes
1answer
155 views

An argument from a blog article of Terence Tao

Let $A_1, A_2, A_3, \ldots , A_m$ be positive semi-definite Hermitian matrices and then consider the polynomial $p(z,z_1,z_2,\ldots,z_m) = \det(z+z_1A_1 + z_2A_2 + \cdots+z_mA_m)$ Now Tao argues that ...
6
votes
1answer
199 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 $\mathbf{x}\in\...
6
votes
1answer
295 views

Follow up on intersection forms

For which topological spaces $X$ can I define an intersection form $b(\cdot, \cdot)$? I know at least one example: If $X$ is a closed orientable $2n$-manifold then one can define an intersection ...
6
votes
2answers
681 views

Coercive bilinear form on Hilbert space

I need to show the two following results. If true, it must be a simple proof but I do not seem to be able to make it work. Thank you in advance. Consider a continuous symmetric bilinear form $B$ on a ...
6
votes
0answers
38 views

Why do isotropic spaces deserve their name?

Wiki defines a quadratic form to be isotropic if it evaluates to zero at some vector. What does this have to do with isotropy in physics i.e uniformity in all directions? From my experience so far, ...
6
votes
0answers
120 views

Proving the multiplicativity of a quaternary quadratic form

Consider the set $S$ of all integers of the form $f(x,y) + f(z,w)$, where $x,y,z,w$ are integers, $$ f(x,y) = a x^2 + b x y + a^2 y^2,$$ and $a,b$ are integers with $$a > 1, \; \; 0 < b < ...
5
votes
4answers
962 views

Applications of quadratic forms

It seems that a lot of great mathematicians spent quite a while of their time studying quadratic forms over $\mathbb{Z},\mathbb{Q},\mathbb{Q_p}$ etc. and there is indeed a vast and detailed theory of ...
5
votes
3answers
1k 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 ...
5
votes
4answers
191 views

How to solve an equation with $x^4$?

Today, I had this question on a Maths test about Algebra. This was the equation I had to solve: $$(1-x)(x-5)^3=x-1$$ I worked away the brackets and subtracted $x-1$ from both sides and was left with ...
5
votes
2answers
101 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
122 views

Why the Little Methuselah form is the “Little Methuselah”s form?

This is my first question on MathStackexchange. Let me know if I am violating rules, or my question is somewhat ugly. I am reading Conway's book "Sensual (Quadratic) Form". He introduces a tenary ...