The quadratic-forms tag has no wiki summary.

**4**

votes

**0**answers

34 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

50 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

171 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

70 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

68 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

83 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

253 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

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

**2**

votes

**1**answer

121 views

### Indefinite orthogonal groups over p-adics

Let $q$ be a rational quadratic form. How can we think of a Cartan decomposition of $O_q(Q_p)$? Is there a notion of Cartan involution for p-adic field, so that we can execute same process as we do ...

**-1**

votes

**1**answer

70 views

### Uniqueness of the solution to a quadratic problem [closed]

Consider a positive definite matrix $\boldsymbol H$, the known vectors ${\boldsymbol b}$ and ${\boldsymbol a}_i$. Now the minimization problem is casted with respect to the vector ${\boldsymbol x} $ ...

**2**

votes

**1**answer

167 views

### Representation of rationals by quadratic form

In one paper about namber theory author stated 2 lemmas
Lemma 1. If $p$ is a prime $\equiv3(mod $ $4)$ then $x^2+y^2-pz^2$ represents a non-zero rational number $m$ if and only if $m$ is not of the ...

**2**

votes

**3**answers

151 views

### Can you efficiently solve a system of quadratic multivariate polynomials?

Given a system of 2nd-degree polynomials, $P=\{p_1,\dots,p_m\}$ where $p_i: \mathbb{R}^n \rightarrow \mathbb{R}$, can you efficiently find $x_1,\dots,x_n\in\mathbb{R}$?
I know that in the general ...

**10**

votes

**1**answer

263 views

### Positive ternary quadratic forms in the same genus that represent the same numbers

There are three genera of positive, integral, ternary quadratic forms in which both forms (classes...) are regular, so the paired forms represent the same numbers. These pairs (complete genera) are:
...

**4**

votes

**1**answer

121 views

### Which power of $2$ kills $W(k)$?

Is the following fact "well-known": if $-1$ is a sum of squares in a field $k$, then the Witt group $W(k)$ of quadratic forms is killed by multiplication by $2^N$ for some $N\ge 0$? What can one say ...

**3**

votes

**1**answer

224 views

### S genus of quadratic forms

Let $f$ be a non-degenerate quadratic form with integral coefficients. The genus of $f$ is the set of quadratic forms up to integral equivalence which are equivalent to $f$ over the $p$-adic integers ...

**4**

votes

**0**answers

83 views

### Fully Homomorphic Error Correction?

Consider a field $F$. Suppose we have two vectors $a,b\in F^n$, and an invertible matrix $G\in F^{n\times n}$. Let $c\in F^n$ be the point-wise product of $a$ and $b$, that is, $c_i=a_ib_i$. Let ...

**2**

votes

**0**answers

80 views

### Terminology and reference question

I am working on a problem involving bilinear forms over complex Hilbert spaces, and in my case it is not natural to make the forms sesquilinear, i.e., $a(u,v)$ is linear in both complex arguments. ...

**0**

votes

**0**answers

54 views

### Distribution of Quadratic Forms in Rademacher Random Vector

This is a fairly well-known theorem on quadratic form in normal distribution, which is taken from here.
If $\mathbf y ∼ N(0, \sigma^2)$ is an $n\times 1$ column vector and $\mathbf M$ is an ...

**5**

votes

**3**answers

284 views

### Optimization problem on trace of rotated positive definite matrices

Given two $n \times n$ symmetric positive definite matrices $A$ and $B$, I am interested in solving the following optimization problem over $n \times n$ unitary matrices $R$:
$$
\mathrm{arg}\max_R ...

**2**

votes

**1**answer

132 views

### quadratic programming on hypercube

I want to maximize a quadratic form $\mathbf x^T\mathbf Q\mathbf x$ and also want to find out which vector $\mathbf x$ maximizes the quadratic form when
$\mathbf Q$ is an $n\times n$ positive ...

**10**

votes

**2**answers

320 views

### orbits of automorphism group for indefinite lattices

I have a question about indefinite lattices.
QUESTION: Let $\Lambda\times\Lambda\rightarrow {\Bbb Z}$ be a lattice,
that is, ${\Bbb Z}^n$ with a non-degenerate integer quadratic form,
not necessarily ...

**3**

votes

**1**answer

169 views

### Are these powers of a characteristic 3 power series annihilated by certain Hecke operators?

Let D in Z/3[[x]] be sum ((a_n)(x^n)) where the sum runs over all n prime to 6 and a_n is the mod 3 reduction of the number of ideals of norm n in the ring of integers of Q(root(-3)). (So ...

**9**

votes

**1**answer

428 views

### The Dissertation of F. J. van der Linden

Does anyone have access to the 1984 dissertation of Franciscus Jozef van der Linden under Hendrik Lenstra? It is called Euclidean Rings with two infinite primes. The theory is that this has the ...

**2**

votes

**1**answer

112 views

### maximizing convex quadratic form over the intersection of unit sphere and positive orthant

For a positive semi-definite matrix $C$, I want to find the solution to the following problem:
$\arg\max_{h\geq 0} h^T C h\quad$ s.t. $\quad h^T h\leq 1$
Any pointers are welcome.

**10**

votes

**1**answer

370 views

### primes represented by an indefinite binary quadratic form

Suppose I have a form $$ f(x,y) = a x^2 + b x y + c y^2, $$ with $a,b,c$ integers, $\gcd(a,b,c)=1$ and $\Delta = b^2 - 4 a c > 0,$ but $\Delta \neq n^2$ for any integer $n.$
Do there exist ...

**0**

votes

**0**answers

152 views

### A quadratic form pair

Let $Q_s(x)\in\Bbb Z[x_1,x_2,\dots,x_s],\hat{Q}_{\hat s}(y)\in \Bbb Z[y_1,y_2,\dots,y_\hat s]$ be pair of homogeneous purely non-diagonal (every term of form $x_ix_j$ or $y_iy_j$) quadratic forms and ...

**3**

votes

**1**answer

67 views

### Set of isomorphisms of Pfister forms corresponding to first cohomology of algebraic group

Assume $k_0$ is a field with char($k_0$) not $2$. Let us define functors from $\rm Field_{/k_0}\to \rm Sets$ as $\rm Pfister_n(k):=\{\text{isomorphism classes of n-fold Pfister forms over k}\}$;
...

**5**

votes

**0**answers

174 views

### Hermitian forms over quaternion algebra

Notations: Let $Q=(a,b)$ be a quaternion algebra over a field of characteristic $\neq 2$, i.e. $i^2=a, j^2=b, k=ij, ij=-ji$. Consider $K=k(t)(\alpha)$, where $\alpha=\sqrt{at^2+b}$. Let ...

**4**

votes

**2**answers

438 views

### Integral orthogonal group for indefinite ternary quadratic form

I have the indefinite quadratic form $q(x,y,z) = 19 x^2 + 5 y^2 - z^2.$ It's not my fault. I find, on reflection, that I have no idea how to describe the orthogonal group of this over the integers. ...

**6**

votes

**2**answers

391 views

### Does this quadratic form over a large field represent 1?

I have a field $K$ of transcendence degree two over $\mathbb{R}$, and elements $a_1,a_2,a_3\in K$. I would like to understand the set
$$ Q = \{ u\in K^3 : \sum_i a_iu_i^2 = 1\} $$
In particular, I ...

**2**

votes

**4**answers

918 views

### Solving a System of Quadratic Equations

I have many polynomial equations in many variables which I want to jointly minimize (in a mean square sense, but you could pick a different reasonable measure which favors anything where all ...

**4**

votes

**2**answers

235 views

### Proving the existence of an integral quadratic form

Theorem 11 (Conway & Sloane, Sphere Packings, Lattices and Groups, 3rd Edition, pp 383, Ch 15). If a system of putative $p$-adic symbols for each $p$ satisfies the determinant, oddity, and ...

**3**

votes

**1**answer

180 views

### Intuition on a certain class of quadratic optimization problems

Let $\mathcal{X} = \{\mathbf{X}\in\mathbb{C}^{d\times d}:\|\mathbf{X}\|\leq 1\}$, where $\|\cdot\|$ is the Frobenius norm. Let $\mathbf{y}\in\mathbb{C}^{d\times 1}$. We are familiar with the following ...

**0**

votes

**1**answer

69 views

### A description of the isometry group $O(U\oplus E_8)$?

Are there any good description of the isometry group $O(U\oplus E_8)$? Here $U$ denotes the hyperbolic lattice and $E_8$ the root lattice of type $E_8$.

**2**

votes

**1**answer

251 views

### How to determine $O(L)$ is finite or not?

Let $L$ be an indefinite {\it non-unimodular} integral lattice. I am particularly interested in unimodular cases, such as $U(2)\oplus A_4, U\oplus D_4$. Are there any general method to determine ...

**1**

vote

**2**answers

214 views

### Impossible Range for Minkowski-Like Sum of Squares

Given coprime positive integers M,N, and a corresponding integer z outside of the range (for all integers x,a,b,c) of $Mx^2-N(a^2+b^2+c^2)$, is there any such z which is "deceptive", meaning that it ...

**3**

votes

**1**answer

144 views

### Explicit formula for an LMI solution

Suppose we have a linear matrix inequality (aka LMI aka spectahedron aka linear matrix pencil):
$$A_{0}+x_{1}A_{1}+x_{2}A_{2}+\ldots+x_{m}A_{m} \succeq 0.$$
(The notation $X \succeq Y$ means that ...

**3**

votes

**3**answers

276 views

### A NICE necessary and sufficient condition on positive semi-definiteness of a matrix with a special structure!

Let
$$
A =
\begin{pmatrix}
\sum_{j\ne 1}a_{1j} & -a_{12} & \cdots & -a_{1n}\\
-a_{21} & \sum_{j\ne 2}a_{2j} & \cdots & -a_{2n}\\
\vdots & \vdots & \ddots & ...

**0**

votes

**1**answer

54 views

### Name for a Specific Type of Non-Symmetric Bilinear Form

Let $V$ be a finite dimensional vector space, with some choice of basis $\{e_i\}_{i \in I}$. With respect to an idempotent bijection $B:I \to I$, define a bilinear form by
$$
g = \sum_{i=1}^N ...

**0**

votes

**3**answers

251 views

### rank of outer product

I would like to ask if you may know how to prove this claim or any theorem related:
Given 9 points (x,y,z) lie on unit sphere in 3 dimensional space such that any 4 points are not on the same plane. ...

**2**

votes

**1**answer

270 views

### Automorphism groups of indefinite non-unimodular integer lattices

Does anyone know of any papers in which structural aspects of the orthogonal group of some indefinite non-unimodular integral lattice are calculated? The exact lattice isn't so important and they ...

**5**

votes

**0**answers

211 views

### primes represented by indefinite quadratic forms

Let $Q$ be an indefinite binary quadratic form with discriminant $D$ and one class per genus (keep the example $x^2 - 2y^2$ in mind). If one asks about the set $P = \{ p : p \text{ prime and } p = ...

**3**

votes

**0**answers

100 views

### What are the Voronoi cones in 4 variables?

Question: What are the top dimensional cones of the 2nd Voronoi decomposition of the space of positive definite forms in $4$ variables?
The 2nd Voronoi decomposition of the cone of positive definite ...

**0**

votes

**1**answer

236 views

### Maximum dimension of an isotropic subspace in a quadratic space

i hope my question is not too trivial.
Let's suppose we have a vector space $V$ with a unimodular quadratic form $q$ of signature $(m,n)$.
My question is: which is the maximum dimension of an ...

**2**

votes

**0**answers

218 views

### Algorithm for solutions to quadratic forms over number fields

Are there any know (preferably implemented) algorithms to find solutions to quadratic forms over number fields (or global fields)?
I am especially interested in the quaternary case. There exist some ...

**0**

votes

**1**answer

126 views

### Subspace generated by positive vectors

Hi everyone, first of all i must admit i'm very familiar with quadratic forms and positive subspaces, so i'm sorry if my question is too trivial. So, here's my problem:
Let $L$ be a real vector space ...

**1**

vote

**1**answer

132 views

### Tangent space to positive oriented Grassmannians

Let $L$ be a real vector space of dimension 22 and $q$ a quadratic form on $L$ of signature $(3,19)$.
Let $V\subset L$ be a positive oriented subspace of dimension 2 and $G^{po}(2,L)$ be the ...

**1**

vote

**2**answers

307 views

### Existence of non-trivial solution to non linear polynomial system

I need to find conditions for the existence of non-trivial solutions to a multivariable polynomial system in two cases:
The first case:
$f1: a_1x^2+a_2xy+a_3y^2+a_4z^2=0$
$f2: ...

**0**

votes

**1**answer

149 views

### Positive subspaces of quadratic forms

here's my question:
Let $V$ be a k-dimensional vector space over $\mathbb{R}$ and $q$ a quadratic form on $V$ of signature $(m,n)$ , $m+n=k$.
We have $W\subset V$ a positive (with respect to the ...

**1**

vote

**0**answers

39 views

### Tensor product with $\mathbb{R}$ of an even unimodular lattice

Let $\Lambda$ be an unimodular even lattice of signature $(m,n)$.
By a classifying theorem by Milnor, $\Lambda$ must be of the form $U^k\oplus E_8(\pm 1)^l$, where $U$ is the hyperbolic plane.
Now ...