The quadratic-forms tag has no usage guidance.

**1**

vote

**0**answers

89 views

### probability of a quadratic form being nonnegative at a random point

I am looking for good and explicit lower and upper bounds on the probability that $x^TGx\ge 0$, where $G$ is a symmetric matrix with zero trace and $x$ is a vector whose components are independent ...

**1**

vote

**0**answers

77 views

### Bounds on the number of zeros of a quadratic form

Let $Q(x_1, \dots, x_n)$ be a non-degenerate indefinite quadratic form with integer coefficients. Let $N(Q,T)$ be the set of vectors $x=(x_1, \dots, x_n) \in {\mathbb Z}^n$ such that $|x|<T$ and ...

**5**

votes

**1**answer

192 views

### The number of integral solutions to $x^2+y^2-az^2=0$

I think this must be well-known (and probably not hard to prove either), but I cannot find a reference: for a (positive) rational number $a$, the number of integral solutions to the equation
$$ ...

**3**

votes

**0**answers

148 views

### Distance between quadratic forms

In notes here http://math.univ-lyon1.fr/homes-www/gille/prenotes/lens.pdf on page $2$ a formulation of distance between two positive quadratic form $[q],[q']$ is given by
...

**2**

votes

**1**answer

94 views

### Bai and Silverstein's “Lemma on Quadratic Forms” - question about the constant $C_p$

In the book "Spectral Analysis of Large Dimensional Random Matrices" by Bai and Silverstein, there is the following lemma:
Lemma B.26 (pg. 530) Let $A=(a_{ij})$ be an $n\times n$ nonrandom matrix ...

**4**

votes

**0**answers

85 views

### Norm variety for n=5, p=2 not isomorphic to a quadric

In the paper "Motivic construction of cohomological invariants", the author displays a list of known norm varieties for several $n,p$ on page $11$. For $p=2, n=5$ it says that a norm variety is given ...

**4**

votes

**1**answer

117 views

### optimal bound in diophantine representation question

Given that, with integers $t \geq 1$ and $q \geq 3,$ there are solutions to $$ x^2 - q x y + y^2 = - t q $$
with integers $x,y \geq 1,$ I was able to show that
$$ q \leq 1 + \frac{324}{25} t^2. $$
...

**11**

votes

**2**answers

350 views

### “Pythagoras number” for integral matrices

It is classically known that every positive integer is a sum of at most four squares of integers, i.e. every sum of squares of integers is a sum of four squares of integers. Now consider a symmetric ...

**4**

votes

**1**answer

255 views

### Listing all solutions to $n = x^2 + y^2 + z^2 $ with integers

I would like to list all ways of writing $n$ as the sum of 3 squares. This is slightly different from finding just one:
Is there an algorithm for writing a number as a sum of three squares?
...

**6**

votes

**1**answer

285 views

### A vanishing condition for cup products in Galois cohomology

Let $k$ be a field of characteristic $\neq 2$. For a non-zero element $a \in k^*$, let us write $[a] \in H^1(k,\mathbb{Z}/2)$ for the Galois cohomology class corresponding to the quadratic extension ...

**7**

votes

**0**answers

232 views

### Question on some coverings of the euclidean space

Let $L$ be a maximal integral lattice in the euclidean $(\mathbf R^{8m},q)$ (thus the associated bilinear form $b(u,v)=q(u+v)-q(u)-q(v)$, once restricted to $L$, takes values in $2\mathbf Z$ and has ...

**2**

votes

**0**answers

139 views

### Proof of Merkurjev's Theorem in “The Algebraic and Geometric Theory of Quadratic Forms”

I just have a little question about the above mentioned proof. I'm thinking for days, but I'm still not getting it.
For those who have the book (or want to look it up via google books etc.), it's the ...

**10**

votes

**2**answers

574 views

### Many representations as a sum of three squares

Let $r_3(n) = \left|\{(a,b,c)\in {\mathbb Z}^3 :\, a^2+b^2+c^2=n \}\right|$. I am looking for the maximum asymptotic size of $r_3(n)$. That is, the maximum number of representations that a number can ...

**2**

votes

**0**answers

67 views

### Statements generalizing representability of integers by binary quadratic forms to $n$-variable higher homogeneous forms?

Representing integers through the theory of binary quadratic forms is a well studied topic. We know that given $a,b,c\in\Bbb N$, based on discrimant $b^2-4ac$, we can study the representability of ...

**12**

votes

**3**answers

465 views

### 2-dimensional sublattices with all vectors having very big square (in absolute value)

QUESTION: Let $\Lambda\times\Lambda\rightarrow {\Bbb Z}$ be a lattice,
that is, ${\Bbb Z}^n$ with a non-degenerate integer quadratic form, not
definite, not necessarily unimodular, $n>2$. I want ...

**5**

votes

**1**answer

117 views

### Isotropic subvarieties of $ V(x_1^2+\dots+x_n^2-t_1^2-\dots-t_n^2) $

Let $ K $ be a field, $ \operatorname{char} K = 0, $ let $ Q = x_1^2+\dots+x_n^2-t_1^2-\dots-t_n^2 $ be the totally isotropic form, then the maximal linear isotropic
subspaces of $ V(Q) \subset ...

**1**

vote

**1**answer

62 views

### how to determine a biquadratic form is positive-definite

A biquadratic form $\sum_{i,j,k,l}b_{i,j,k,l}x_{i}x_{j}y_{k}y_{l}$，
how to determine whether it is positive-definite？
A necessary and sufficient condition？
In fact, I have a matrix $B=\sum_{1\leq ...

**4**

votes

**2**answers

213 views

### Counting fundamental units of real quadratic fields

For a given real quadratic field $K$, the group of units of its ring of integers is $\mathcal{O}_K^{\times}\cong(\pm1)\times \mathbb{Z}$ by the Dirichlet unit theorem. For each $\mathcal{O}_K$, pick ...

**5**

votes

**4**answers

186 views

### From a (not positive definite) Gram matrix to a (Kac-Moody) Cartan matrix

Suppose I am given a symmetric matrix $G_{ij}$ with $G_{ii} = 2$. Can I always find an invertible integer matrix $S$ such that $(S^T G S)_{ii}=2$ and $(S^T G S)_{ij} \leq 0$ for $i \neq j$? Is there a ...

**2**

votes

**6**answers

437 views

### Isotropic ternary forms

It is well known that some questions about isotropic ternary forms reduces to the study of the special case $f_0(X)=xz-y^2, X=(x,y,z)$, see page 301 of Cassel's "Rational quadratic forms" (Dover, ...

**2**

votes

**1**answer

85 views

### Real slices of Minkowski space, using a complex quadratic form

Ordinary Minkowski space is $\mathbb{R}^{3,1}:=(\mathbb{R}^4,\phi)$
where $\phi:\mathbb{R}^4\rightarrow\mathbb{R}$
is a quadratic form of signature $(3,1)$.
Lying within this is a hyperboloid model ...

**4**

votes

**1**answer

182 views

### Numbers represented by inhomogeneous forms

I have a family of Diophantine equations that I am trying to solve, and I am trying to figure out what methods could be used to prove existence of solutions. Unfortunately, the equations are ...

**4**

votes

**3**answers

378 views

### genus 2 Siegel theta series of 3-dimensional lattices

Let $(V,f)$ be a $3$-dimensional positive definite quadratic space over $\mathbf Q$.
Let $G(V)$ be a set of representatives of the isometry classes of maximal integral lattices on $V$.
To an ...

**3**

votes

**2**answers

179 views

### Paper of Denis Simon on quadratic equations in dimensions 4, 5?

In several places I have come across references to a 2005-6 preprint of Denis Simon entitled
Quadratic equations in dimensions 4, 5, and more
This paper gives fast algorithms to find isotropic ...

**4**

votes

**2**answers

178 views

### Orbits of the maximal compact subgroup on the light cone for $p$-adic groups

It is known that if $Q$ is an indefinite non-degenerate quadratic form on $ \mathbb{R}^n$ with $n \ge 3$, then any maximal compact subgroup $K$ of the orthogonal group $SO(Q)$ acts transitively on the ...

**8**

votes

**3**answers

348 views

### Deciding a quadratic diophantine equation

Given $a,b\in\Bbb Q_+$, is there an easy way to decide if $$S_{a,b}=\{(x,y)\in\Bbb Z^2:ax^2 + by^2=1\}=\emptyset?$$
I am more interested in seeing if there is a quick way to test for case when ...

**4**

votes

**1**answer

218 views

### When do two non-degenerate quadratic forms give rise to isomorphic Lie algebras?

Let $V$ be a vector space over some number field $k$. (I'm fine with $\mathbb{Q}$.)
Let $\phi \colon V \to k$ be a non-degenerate quadratic form. Associated with $\phi$ is the orthogonal group ...

**0**

votes

**0**answers

68 views

### About bounding values of quadratic forms

It would be helpful if someone can share (either as references) examples of calculations/analysis which achieves bounding of values of quadratic forms in say either of the following situations,
...

**0**

votes

**1**answer

104 views

### How to minimize this sparse quadratic function?

There is a problem when I'm reading a paper.
Equation:
$min_p|p-p^*|^2+\alpha |R(p)|^2 + \beta |D(p)-\delta|^2$,
where $p, p^*, R(p), D(p), \delta$ are all $M\times N$ matrices, and $p^*, R(), D(), ...

**2**

votes

**1**answer

125 views

### Involution on the components of a group algebra

If $G$ is a finite group and $k$ a field, there is a canonical involution (ie an involutive anti-automorphism) $\sigma$ on $k[G]$ induced by $g\mapsto g^{-1}$. Given that the center of $k[G]$ has ...

**8**

votes

**2**answers

834 views

### What is known about primes of the form x^2-2y^2?

David Cox's book Primes of The Form: $x^2+ny^2$ does a great job proving and motivating a lot of results for $n>0$. I was unable to find anything for negative numbers, let alone the case I am ...

**1**

vote

**0**answers

91 views

### Bound of spectral radius of polynomial of a complex matrix

I am trying to prove or disprove the following inequality.
$$ ||P(A)||_2\leq 2 \max_{\alpha\in W(A)}| P(\alpha)|,$$
where $P(\cdot)$ is a complex polynomial, $A\in \mathbb{C}^{n\times n}$ and ...

**4**

votes

**0**answers

118 views

### Two quadratic programming problems always same answer? [closed]

Was exploring quadratic programming optimization and for two types of problems the answers seemed to always equal.
Problem 1:
Minimize $\tfrac{1}{2} \mathbf{x}^T Q\mathbf{x}$
Subject to $ A ...

**0**

votes

**1**answer

66 views

### Lower bounds on the rank of a unimodular lattice, given the binlinear pairing of a subset of basis vectors

I have some questions on lower bounds on the rank of unimodular lattices given the bilinear pairing of a subset of its basis is known.
Let $\Lambda$ be an odd, unimodular matrix of signature ...

**5**

votes

**0**answers

152 views

### Is there any study about positive definiteness of some matrix space whose matrices don't have to be positive-definite?

--Updated description--
I'm trying to investigate the stability of tensegrity structures, and this question is related to the second order test.
Suppose there is a vector space ...

**2**

votes

**0**answers

140 views

### Minimal Length of Quadratic Forms

Let $Q(x_1,\dots,x_n)=X'PX$ be a quadratic form with all non-negative and integral coefficients given by $$Q(x_1,\dots,x_n)=\sum_{i=1}^cf_i^+(x_1,\dots,x_n)g_i^+(x_1,\dots,x_n)$$ where $c$ is the ...

**8**

votes

**1**answer

331 views

### minimizing an integral over integer-coefficient polynomials $\displaystyle \inf_{f \in \mathbb{Z}[x]} \int_a^b f(x)^2 \, dx $ [duplicate]

Let's consider the space $L^2[a,b]$ of functions on the interval and the norm:
$$ ||f(x)||^2 = \int_a^b |f(x)|^2 \, dx $$
Now what if we consider only polynomials with integer coefficients: $f(x) ...

**1**

vote

**1**answer

126 views

### Cohomological dimension of transcendental p-adic extensions

Let $q$ denote a quadratic form over a field $k$.
The u-invariant of a field $u(k)$ is defined by $u(k):=\{ max (\mathrm{rank}(q)) $ | $ q $ is anisotropic over $k\}$.
Let $k = \mathbb{Q}_p$ for any ...

**2**

votes

**2**answers

131 views

### Witt index of the sum of 24 squares

Consider the quadratic forms $q(x)=x_1^2+\dots +x_8^2$ in 8 variables and $p(x)=x_1^2+\dots+x_{24}^2$ in 24 variables over the field of rational numbers $\mathbb{Q}$. Let $E/\mathbb{Q}$ be a field ...

**1**

vote

**0**answers

79 views

### Hlawka inequality for Lorentz quadratic form

Let $K$ be a convex cone in ${\mathbb R}^n$. A continuous function $f:K\rightarrow\mathbb R$ satisfies a Hlawka inequality if
$$f(0)+f(x+y)+f(y+z)+f(z+x)\le f(x)+f(y)+f(z)+f(x+y+z),\qquad\forall ...

**6**

votes

**1**answer

210 views

### Constructing sums of squares identities

Recall that a sum of squares formula for $[r,s,n]$ over a field $F$ is an identity of the form
$$ ( x_{1}^{2} + \cdots + x_{r}^{2})( y_{1}^{2} + \cdots + y_{s}^{2})
= ( z_{1}^{2} + \cdots + ...

**2**

votes

**1**answer

120 views

### u-Invariants of p-adic function fields

In his Paper "Fields of u-invariant 9" Oleg Izhboldin points out that for a algebraic closed, finitely generated field $k$ we have $u(k)= 2^{cd(k)}$. In particular we have
...

**0**

votes

**6**answers

673 views

### Does the Diophantine equation $(x^2+ay^2)(u^2+bv^2) = p^2+cq^2$ admit a complete solution?

In this MSE question/thread, I have been discussing the equation
$$
(x^2+ay^2)(u^2+bv^2) = p^2+cq^2, \tag{$\star$}
$$
where $x,a,y,u,b,v,p,c,q$ are integers. I posed a conjecture which turned out to ...

**6**

votes

**1**answer

331 views

### Given a positive-definite integral unimodular Gram matrix, how to find a basis of the associated lattice (over $\mathbf Q$)?

Let $G$ be a $n\times n-$symmetric matrix with integral coefficients and determinant $1$ (i.e. unimodular) such that the associated quadratic form is positive-definite.
I am interested in having an ...

**5**

votes

**1**answer

383 views

### Ternary quadratic form theta series as Hecke eigenforms and class number one

At
Simple comparison of positive ternary quadratic form representation counts
Jeremy answered:
"The reason is that the theta series for the sums of three squares form is an eigenfunction for all the ...

**3**

votes

**1**answer

108 views

### Simple comparison of positive ternary quadratic form representation counts

Something came up yesterday in a referee request and I was surprised to find that I did not know the facts in full generality. This is about positive quadratic forms in three variables with integer ...

**0**

votes

**1**answer

93 views

### Action of $(\mathbb{Z}/2g\mathbb{Z})$ on quadratic forms on $\mathbb{Z}/2\mathbb{Z}$-vector space

Let $\mathbb{Z}/2\mathbb{Z}$ the 2 elements field, with additive notation.
I need some clarifications on the relation between quadratic forms on a $\mathbb{Z}/2\mathbb{Z}$-vector space (say, of ...

**6**

votes

**0**answers

145 views

### Upper bound on the number of ismorphism classes of bilinear forms on $\mathbb{Z}^n$

$\DeclareMathOperator{\Hom}{Hom}$A symmetric, positive definite bilinear form on $\mathbb{Z}^n$ is any mapping $$b : \mathbb{Z}^n \times \mathbb{Z}^n \to \mathbb{Z}$$ satisfying
$b$ is bilinear,
...

**1**

vote

**1**answer

107 views

### Dimension of binary motives of a quadric

Let $Q$ be a anisotropic quadric of dimension $d$ over $k$.
We work in the category of effective Chow-Motives over $k$.
Let $T$ be the Tate-Motive.
For a motive $M$ we write $M(l)$ for its $l$-th ...

**2**

votes

**2**answers

139 views

### Asymptotic property of a quadratic form

suppose $x=\Delta$, $y=M \Phi \Delta$, where $\Delta\in N\times 1$, $M^T=M \in N \times N$ and $\Phi^T=\Phi \in N \times N$. Define $Z=xy^T+yx^T$. It is known from my previous question that $Z$ has ...