## Return to Question

3 added 2 characters in body

Hello

While working on understanding the space spanned by certain integer relations of real numbers I have come across the following problem. Given $v_1,\dots, v_n \in \mathbb{Z}^m$ I am would like to find $w_1, \ldots w_n \in \mathbb{Z}^m$ such that

$$1.) \ \ \ \ \ \ \ \mathbb{Z}v_1+\dots +\mathbb{Z}v_n \ \subseteq \mathbb{Z}w_1 + \dots + \mathbb{Z}w_n$$

$$2.) \ \ \ \ \ \ \ \ |w_i|^2 \ \text{is small/ small as possible/ a lot smaller that $|v|^2$}$$|v_j|^2$}$\$

$$3.) \ \ \ \ \ \ \text{The vectorspaces spanned by ${v_i}$ and ${w_i}$ are identical}$$

In other words I want that if each $v_i$ satisfies that $v_{i,1}\alpha_i + \dots + v_{i,m}\alpha_m=0$ for a fixed collection of $\alpha_i \in \mathbb{R}$ the same remains true for the $w_i$ (this is of course the real condition I want).

If I wanted the lattices spanned by $v_i$ and $w_i$ to be identical LLL would clearly be the natural approach, but since I am not require this, this seems to not make my $v_i$ nearly as small as I can achieve under these weaker conditions. Does there exists an algorithm, approach, idea which could come up with a such a basis $v_i$ given the $w_i$.

EDIT : I missed the last condition and had some trouble updating correctly. Hope it makes sense and is not completely trivial now.

2 added 473 characters in body; edited body; added 1 characters in body

Hello

While working on understanding the space spanned by certain integer relations of real numbers I have come across the following problem. Given $v_1,\dots, v_n \in \mathbb{Z}^n$ mathbb{Z}^m$I am would like to find$w_1, \ldots w_n \in \mathbb{Z}^n$mathbb{Z}^m$ such that

$$1.) \ \ \ \ \ \ \ \mathbb{Z}v_1+\dots +\mathbb{Z}v_n \ \subseteq \mathbb{Z}w_1 + \dots + \mathbb{Z}w_n$$

$$2.) \ \ \ \ \ \ \ \ |w_i|^2 \ \text{is small/ small as possible/ a lot smaller that $|v|^2$}$$

$$3.) \ \ \ \ \ \ \text{The vectorspaces spanned by ${v_i}$ and ${w_i}$ are identical}$$

In other words I want that if each $v_i$ satisfies that $v_{i,1}\alpha_i + \dots + v_{i,m}\alpha_m=0$ for a fixed collection of $\alpha_i \in \mathbb{R}$ the same remains true for the $w_i$ (this is of course the real condition I want).

If I wanted the lattices spanned by $v_i$ and $w_i$ to be identical LLL would clearly be the natural approach, but since I am not require this, this seems to not make my $v_i$ nearly as small as I can achieve under these weaker conditions. Does there exists an algorithm, approach, idea which could come up with a such a basis $v_i$ given the $w_i$.

EDIT : I missed the last condition and had some trouble updating correctly. Hope it makes sense and is not completely trivial now.

1

# Finding lattice with short basis-vectors containing given lattice

Hello

While working on understanding the space spanned by certain integer relations of real numbers I have come across the following problem. Given $v_1,\dots, v_n \in \mathbb{Z}^n$ I am would like to find $w_1, \ldots w_n \in \mathbb{Z}^n$ such that

$$1.) \ \ \ \ \ \ \ \mathbb{Z}v_1+\dots +\mathbb{Z}v_n \ \subseteq \mathbb{Z}w_1 + \dots + \mathbb{Z}w_n$$

$$2.) \ \ \ \ \ \ \ \ |w_i|^2 \ \text{is small/ small as possible/ a lot smaller that $|v|^2$}$$

If I wanted the lattices spanned by $v_i$ and $w_i$ to be identical LLL would clearly be the natural approach, but since I am not require this, this seems to not make my $v_i$ nearly as small as I can achieve under these weaker conditions. Does there exists an algorithm, approach, idea which could come up with a such a basis $v_i$ given the $w_i$.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 31, "mathjax_display_tex": 8, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9618169069290161, "perplexity_flag": "head"}