Edge reduction for weakly non-negative quadratic forms
Let \(q: {\mathcal Z}^n \to{\mathcal Z}\) be an integral quadratic form in \(n\) variables. Here \(q\) is a semi-unit form if each coefficient on the square of a single variable is \(\leq 1\), and \(q\) is weakly nonnegative provided \(q(x) \geq 0\) for every nonzero vector \(x\) with nonnegative coordinates. The authors study a process (called edge reduction) of replacing \(q\) with an integral quadratic form \(q'\) in \(n+1\) variables that is a weakly nonnegative semi-unit form if and only if \(q\) is. (There is also a close relationship between the isotropic vectors of \(q\) and those of \(q'\).) This is developed into an algorithm to decide whether or not a given semi-unit form is weakly nonnegative. A computer implementation of the algorithm is working.
- On weakly positive unit forms
- Isotropic vectors of non-negative integral quadratic forms
- Edge reduction for unit forms
- Algorithms for weakly nonnegative quadratic forms
- Coordinates of maximal roots of weakly non-negative unit forms
- scientific article; zbMATH DE number 1361363 (Why is no real title available?)
This page was built for publication: Edge reduction for weakly non-negative quadratic forms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1127557)
