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
348 views

Isotropy over $p$-adic numbers

Over what $p$-adic fields $\mathbb{Q}_p$ is the form $\langle3, 7, -15\rangle$ isotropic?
15
votes
5answers
801 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
923 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
185 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 ...
0
votes
3answers
162 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
174 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
92 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
828 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 ...
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
147 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
276 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
7answers
393 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
394 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
181 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
93 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
561 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 ...
4
votes
0answers
724 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 ...
1
vote
3answers
139 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
403 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 + ...
3
votes
2answers
94 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 ...
1
vote
1answer
77 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
129 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
2answers
83 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)$ ...
4
votes
2answers
106 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
156 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
6k 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 ...
3
votes
3answers
772 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
1answer
243 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
191 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
417 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
164 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
153 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
282 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
500 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 ...
2
votes
3answers
128 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
124 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 ...
2
votes
1answer
109 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 ...
1
vote
1answer
41 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
185 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 ...
1
vote
2answers
93 views

independent chi squares mean independent non central chi square?

Let $Y$ be a multivariate normal random vector with covariance $\Sigma$. Let $A_0,A_1$ be matrices such that $$A_0\Sigma A_1=0.$$ It is known that in this case $Y'A_0Y$ and $Y'A_1Y$ are independent ...
1
vote
3answers
97 views

Sum of two quadratic forms

Suppose I have two quadratic forms $Q_i(x)=(x-a_i)^T A_i(x-a_i)+c_i$, $i=1,2$ where $x,a_i \in \Bbb{R}^n$ and $A_i$ are positive-definite $n\times n$ matrices. Then $Q(x)=Q_1(x)+Q_2(x)$ is also a ...
1
vote
2answers
823 views

non-symmetric positive definite matrix!?

Is symmetry a necessary condition for positive (or negative) definiteness? If not: It can be proved that if $\mathbf{A}:(m\times m)$ is a square (non-symmetric) matrix, then $$ ...
1
vote
2answers
234 views

Isometry without injection and surjection

Suppose that $B_1$ and $B_2$ are bilinear form on space $V_1$ and $V_2$. An isometry relative to $B_1$ and $B_2$ is an linear map $\sigma:V_1 \rightarrow V_2$ satisfying ...
1
vote
1answer
154 views

Find an optimal 4-tuple which satisfies a boolean expression

(I have post a question with bounty for several days (Find a best 4-tuple which fulfils a variable boolean formula), but unfortunately got no answer yet. Here I simplify it to a smaller problem and ...
0
votes
0answers
29 views

Odd dimensional universal quadratic form is isotropic?

For odd dimensional nondegenerate universal form, is it isotropic? All isotropic form is universal, but I wonder reverse case. I try to break it down into single form and even dimensional form but it ...
0
votes
2answers
246 views

Find the symmetric matrix that represents the quadratic form $Q(X)=trace(X^2)$, $X\in mat_n\mathbb (R)$

as the title says, find the symmetric matrix (or signature) of $Q(X)=trace(X^2)$ where $X$ is an $n$ by $n$ matrix with real entries. the diagonal of $X^2$ is $$\sum_{k=1}^n x_{ik}x_{ki}$$ So ...
0
votes
2answers
520 views

Conditions for a real binary quadratic form to be positive definite

Since this question was heavily downvoted, I would like to change the presentation of the question as follows. I hope those of you who downvoted this question would be satisfied with the change. In ...