The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
0answers
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
0answers
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
2answers
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
3answers
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
3answers
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
2answers
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
2answers
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
4answers
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
2answers
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
3answers
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
1answer
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
3answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
0answers
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 ...