]_^`bacYd<egfh i 6jY <jRkCl8km$m MLN6m knNoIp<L-jRqLNgrsjY t%vu6w-LN%kn-!nxLNWQyj6L

(1)

/1032-2)46587:9<;>=?5)@BAC2)DE5,FAHG<0I4

J:KMLN%PORQ S)S)TS)S)TU&)()()*RQ VWYXLNWZS\[RTS)S)TU&)()()*

]_^`bacYd<egfh i

6jY <jRkCl8km$m MLN6m knNoIp<L-jRqLNgrsjY t%vu6w-LN%kn-!nxLNWQyj6L-!!

V

z${R|I}

KKX,$!

q∈_R{0,1, . . . , p−1} ^~ ^} ^qYK ^{ 6j8mqY%%#Y%

|

j6L-!!

Pk i=1c_i = qmodp^Ttk', ^} 6jY %!%kmqjRk "g"ZLNLSO,n-JHKMLN%'S!nYQj6L-!!:qYtY %qLNK WYKk WY

]_^`bacYd<eh

L ⊂ R^m

%

{

6j

B(0, r) ⊂ span(L) ^jRk_ ^{ X, KH"g l8% K

{

Yw

0 ^{ ^6jPL-jR^{ ^! r^{T X,}

lim_r→∞|L ∩B(0, r)|/volB(0, r) = _det_L(B)¹

jTqT

detL(B) k!jY x qY

~

%PjY xPkmqjY

% %

{

Yw)T

]_^`bacYd<e8h ~

JL-!

b₁,b₂ ^{ ^6j b⁰

1,b⁰

2

q6 , , ¢¡y£)¤¥§¦©¨§Q

~

Y

t

~

$jY

b₁ =±b⁰

1,b₂=±b⁰

2

njY

b₁ =±b⁰

2,b₂ =±b⁰

1

T

X,)ªJH jY xLNKKX, "# 6

L {

!!%obx$j

{

w%kn-WYKk WYxjRk i«

{

-LNKk

z

%qLNK T

]_^`bacYd<e¬h®

1n-!%'¯°L-!

% %WL-!%k!

z${

L {

!!±ob$j

{

wt%kn-

k k=k k₂^²

b₁,b₂ ∈Rⁿ^6°$j ^{Yz k %JL-!%k!

{

6j [b_k,b_k+1] := [b₁,b₂] 0 1

1 2 k−1

.

X,

|

Y k = 2,3, . . . ^ª

S)T d^h^b_h_b^k+1^,^b^kⁱ

k,b_ki c= 2, kb_kk ≤ kb_k+1k^T

&RTkJL-!%k!

b_k,b_k+1 ^k!% ~

n-qYKX,$n-jR6 \Q

{

6j

~

j 6 x

{

6jY³jY

L {

!!%obx$j

{

w%kn-

b_k−1,b_k ^%LN6! ^|n-%"gk %\T

´ ¢¦µ:¥§ M¶gªRLN

z

6TU&RTS#"·tw%YTUORSZW

~

k!%\Qj6L-!!

[b_k,b_k+1] ^¸ ^¹¦6^¸ ^£-¤¥ k^oI

pCn-

}

YX, %WL-!k!

z${ b₁,b₂ ^k!\T

]_^`bacYd&lt;egfh i 6jY &lt;jRkCl8km$m MLN6m knNoIp&lt;L-jRqLNgrsjY t%vu6w-LN%kn-!nxLNWQyj6L

]_^`bacYd<egfh i 6jY <jRkCl8km$m MLN6m knNoIp<L-jRqLNgrsjY t%vu6w-LN%kn-!nxLNWQyj6L