The quadratic-forms tag has no wiki summary.

**0**

votes

**1**answer

70 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

90 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

690 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

30 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

105 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

50 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 ...

**4**

votes

**0**answers

85 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 ...

**1**

vote

**0**answers

132 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

287 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

**0**answers

86 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

115 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

73 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

147 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 + ...

**0**

votes

**0**answers

45 views

### Binary motives in the decomposition of a minimal Pfister neighbor

Let $\alpha \in H^n(k,\mu_2)$ and $X_\alpha$ be the respective Pfister quadric. Its well known due to Rost that the Motive $M(X_\alpha)$ decomposes as a sum of twisted Rost motives $R_\alpha$ such ...

**2**

votes

**1**answer

100 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

591 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 ...

**5**

votes

**1**answer

189 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

341 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

93 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

88 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

127 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

100 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

137 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 ...

**4**

votes

**1**answer

181 views

### orthogonal group in characteristic 2

Let $O(2,\mathbb{Z}_2)$ be the orthogonal group of order two matrices. On $\mathbb{Z}_2$ there should exist just one odd quadratic form, hence the stabilizer subgroup $O^-$ of an odd quadratic for ...

**4**

votes

**1**answer

374 views

### Are constant connection coefficients uniquely determined by the (1,3) curvature coefficients?

Suppose that on a certain coordinate system the coefficients $\Gamma^i_{jk}$, $i,j,k=1,\cdots, n$, of a linear connection are constant. We do not require compatibility with a metric, however I am ...

**1**

vote

**1**answer

115 views

### $p$-adic analogues of $SO(3)$

I read in the paper " From Laplace to Langlands via representations of orthogonal groups" by Benedict Gross and Mark Reeder that there are, up to isomorphism, two orthogonal groups of the ...

**4**

votes

**1**answer

183 views

### Automorphisms of SO_n(k,f)

Let $k$ be a field, $n\in\mathbb{N}$ and $f:k^n\times k^n\to k$ a non-degenerate symmetric bilinear form. Let
$$O_n(k,f):=\{ g\in GL_n(k) \mid \forall x,y\in k^n : f(x,y)=f(g.x,g.y) \}$$
and
...

**0**

votes

**0**answers

63 views

### Rank 2^n quadratic form with non trivial invariant e_n

I advise you to have a look this question of mine first
Rank four quadratic Form with non trivial discriminant in I(k)
From quadratic form theory its well known that for a field $k$ and the ...

**7**

votes

**2**answers

105 views

### space of reduced positive definite quadratic forms

What is the highest dimension for which the space of reduced positive definite quadratic forms (or the fundamental domain of $SL_n(\mathbb{R})/SL_n(\mathbb{Z})$) has been explicitly calculated? I know ...

**1**

vote

**0**answers

86 views

### What is classified by $H^1(\mathbb{R},SO(p,q))$ and by $H^1(\mathbb{R},SU(p,q))$?

We denote by $F^{\mathbb{R}}_{p,q}$ the quadratic form over the field ${\mathbb{R}}$
$$
F^{\mathbb{R}}_{p,q}(x)=x_1^2+\dots+x_p^2-(x_{p+1}^2+\dots+x_{p+q}^2)
$$
on the vector space ...

**5**

votes

**1**answer

316 views

### Easiest way to distinguish $E_8 \oplus E_8$ from $E_{16}$

For $n$ an integer divisible by $8$, let me denote by $E_n$ the "usual" even non-degenerate positive definite integral symmetric bilinear form over $\mathbf Z^n$.
It is well known that in dimension ...

**4**

votes

**3**answers

463 views

### Class number for binary quadratic forms discriminant $\Delta$ to class number $\mathbb Q(\sqrt \Delta)$

Jyrki Lahtonen has suggested I write a blog post relating binary quadratic forms to quadratic field class numbers, ...

**1**

vote

**1**answer

183 views

### The Chebotarev Density Theorem and the representation of infinitely many numbers by forms

Let $ax^{2}+bxy+cy^{2}$ be a primitive positive definite quadratic form of discriminant $\Delta<0$. It is well known that $ax^{2}+bxy+cy^{2}$ represents infinitely many prime numbers. One of the ...

**5**

votes

**1**answer

182 views

### Positive Primes represented by an indefinite binary form, reducing poly degree from 8 to 4

In his lovely answer at Positive primes represented by indefinite binary quadratic form Noam found that a (positive) odd prime $p$ is represented by the indefinite form $x^2 + 13 x y - 9 y^2$ if and ...

**7**

votes

**2**answers

495 views

### Positive primes represented by indefinite binary quadratic form

Neil Sloane asked me about commands in computer languages to find the (positive) primes represented by indefinite binary quadratic forms. So I wrote something in C++ that works. This is for the OEIS, ...

**5**

votes

**1**answer

176 views

### Rank four quadratic Form with non trivial discriminant in I(k)

Im sure this is a beginners question.
Let $k$ be a field and $I(k)$ the fundamental ideal in the Witt-ring W(k).
The Arason-Pfister-Hauptsatz states:
"If $\varphi$ is any anisotropic class in ...

**1**

vote

**0**answers

136 views

### Equation in the Gaussian Integers

Let $a,b \in \mathbb{N}$. Is there a possibility to characterize the solutions of $a N(\alpha) - b N(\beta)=1$ where $\alpha,\beta \in \mathbb{Z}[i]$? In particular I am interested in the case $a=1$ ...

**2**

votes

**3**answers

329 views

### Solving a quadratic matrix equation with non-squared matrix

I was trying to solve the problem of finding the value of a non-squared matrix $T$ ($n \times m$) which solves
$$ T^T T = X$$
where $X$ is a symmetric and positive semidefinite $m \times m$ matrix, ...

**0**

votes

**1**answer

87 views

### Rost Correspondence and minimal Pfister-Neighbors

In http://www.math.uiuc.edu/K-theory/0357/ Karpenko utters the following,
$Conjecture$ $1.6.$ If an anisotropic quadric $X = Q$ possesses a Rost correspondence,
then the quadratic form (defining $X$) ...

**2**

votes

**0**answers

131 views

### n-ary quadratic forms with $S$-integer values

Let $Q(x_1,\ldots,x_n):=x_1^2+\cdots+x_n^2$ be an $n$-ary quadratic form.
Given a finite set of (rational) primes $S$ is there an algorithm or theorem that describes all solutions to ...

**1**

vote

**0**answers

62 views

### Cassels-Birch-Davenport theorem for multiple quadratic forms of certain type

A classical theorem of Cassels states that if a homogenous quadratic form $Q$ has an integer zero, then there is a zero of small height (bounded solely by the coefficients and number of variables). ...

**3**

votes

**1**answer

125 views

### Sum of Squares Length of a Product

Let $n \geq 2$. Let $g_1, \ldots , g_{n-1} \in \mathbb{R}[x_1,\ldots,x_n]$ such that $q=g_1^2+\ldots +g_{n-1}^2$ is not divisible by $p=x_1^2+\ldots +x_n^2$. Let $m \geq 1$ be the smallest integer ...

**9**

votes

**4**answers

393 views

### Is any quadric birational to a product of Brauer-Severi varieties?

Let $k$ be a field with algebraic closure $\bar k$. Assume that $k$ is perfect and not of characteristic $2$ for simplicity. Let
$$X: \quad Q(x)=0, \quad \subset \mathbb{P}^n_k,$$
be a non-singular ...

**1**

vote

**0**answers

61 views

### Is this related to a simple property of a lattice?

I am looking for a certain notion of sparseness of lattices.
I want to find a vector in $\mathbb{Z}^N$ that the minimal possible inner product with all the vectors of a given lattice. Or at least, I ...

**3**

votes

**2**answers

205 views

### equivalence of quadratic forms over finitely generated fields

Over number fields, two quadratic forms are equivalent iff they have the same dimension, signature, discriminant and Hasse invariant.
How is the situation like over finitely generated fields?

**2**

votes

**1**answer

84 views

### Principally split primes with factors in arbitrarily small angular sectors

I wonder if the following is known:
let $n$ be a (square-free) positive integer. Is there ever/always a sequence of prime numbers $p$ that can be written in the form $$p = x^2 + ny^2,$$ where
$x, y$ ...

**2**

votes

**1**answer

75 views

### Stabilizer of a nonsingular vector in a quadratic space (char (k)=2)

suppose that $k$ is a finite field of characteristic 2 and $(V,q)$ a quadratic space, i.e., $V$ is a $k$-vector space and $q:V\to k$ quadratic form. Suppose that $\dim(V)\geq 4$ and that $q$ is ...

**2**

votes

**1**answer

224 views

### Block Covariance Matrix - Positive Definite? (Quadratic Optimization) [closed]

I have a covariance matrix C. I have then formulated an quadratic optimization problem that involves the following matrix in the quadratic form:
[ C C ]
[ C C ]
However, the quadratic solver ...

**2**

votes

**2**answers

345 views

### Connection between quadratic forms and ideal class group

I'm studying the classic results on binary (integer) quadratic forms and I'm looking for a reference on the following result (maybe a book that contains a proof):
Let $O_k$ be the ring of algebraic ...

**2**

votes

**1**answer

97 views

### Can one determining the p-adic lattice just from the values of the quadratic form on a p-group?

Given a finite $p$-group $A$, with a non-degenerate quadratic form $q:A\rightarrow \mathbb Q/2\mathbb Z$ (that is a map satisfying $q(na)=n^2q(a)$ for all $n\in \mathbb Z,a\in A$), an important result ...