# On completion of a linearly independent set to a basis with shifts of a   fixed vector

**Authors:** Marek Rychlik

arXiv: 1905.11812 · 2019-05-29

## TL;DR

This paper proves that for any linearly independent set in an infinite field, one can find a vector whose cyclic shifts, combined with this set, form a basis of the vector space, using properties of circulant matrices and Gröbner bases.

## Contribution

It establishes the existence of a vector whose shifts complete a linearly independent set to a basis, employing Gröbner basis techniques on circulant matrices.

## Key findings

- Existence of such a vector for any linearly independent set.
- Circulant matrix minors form a Gröbner basis under grevlex order.
- The result holds over infinite fields.

## Abstract

Let $\mathbb{F}$ be an infinite field. Let $n$ be a positive integer and let $1\leq d\leq n$. Let $\vec{f}_1, \vec{f}_2, \ldots, \vec{f}_{d-1} \in \mathbb{F}^{n}$ be $d-1$ linearly independent vectors. Let $\vec{x}=(x_1,x_2,\ldots,x_{d},0,0,\ldots,0)\in\mathbb{F}^{n}$, with $n-d$ zeros at the end. Let $\vec{R}: \mathbb{F}^n \to\mathbb{F}^n$ be the cyclic shift operator to the right, e.g. $\vec{R}\,\vec{x} = (0,x_1,x_2,\ldots,x_{d},0,0,\ldots,0)$. Is there a vector $\vec{x} \in \mathbb{F}^n$, such that the $n-d+1$ vectors $\vec{x},\vec{R}\vec{x}, \ldots ,\vec{R}^{n-d}\vec{x}$ complete the set $\{\vec{f}_j\}_{j=1}^{d-1}$ to a basis of $\mathbb{F}^n$? The answer is in the affirmative for every linearly independent set of $\vec{f}_j$, $j=1,2,\ldots,d-1$. In order to prove this fact, we prove that the $(n-d+1)\times(n-d+1)$ minors of the $(n-d+1)\times(n-d+1)$ circulant matrix. $\begin{bmatrix} \vec{x}, \vec{R} \vec{x}, \ldots, \vec{R}^{n-d} \vec{x} \end{bmatrix}^\intercal$ form a Gr\"obner basis with respect to the graded reverse lexicographic order (grevlex).

## Full text

_Full body text omitted from this summary view._ Fetch the complete paper as Markdown: https://tomesphere.com/paper/1905.11812/full.md

## References

5 references — full list in the complete paper: https://tomesphere.com/paper/1905.11812/full.md

---
Source: https://tomesphere.com/paper/1905.11812