Texas A&M Üniversitesi
College Station, TX 77843
U.E.R. de Mathématiques
Université de Paris VII
75251 PARIS CEDEX 05
Özet. Eğer \(u_1, \dots, u_n\), \(\mathbb{R}^k\) içinde (\(k \le n\)) vektörler, \(1 \le p < \infty\) ve \(\big(\frac{1}{n}\sum_1^n |u_i|^p\big)^{1/p} \le \rho\) ise, sınır fonksiyonelleri \(\pm u_1, \dots, \pm u_n\) olan simetrik konveks cismin hacminin aşağıdan şu şekilde sınırlı olduğu kanıtlanmıştır:
\[
|\{x \in \mathbb{R}^k : |\langle x, u_i\rangle| \le 1 \text{ her } i \text{ için}\}|^{1/k} \ge \frac{1}{\sqrt{\rho\, r}}.
\]
Sayılar kuramına bir uygulama belirtilmiştir.
§0. Giriş.
[V]'de Vaaler, eğer \(Q_n = [-1,1]^n\), \(\mathbb{R}^n\) içindeki merkezi birim küp ve \(U\), \(\mathbb{R}^n\)'in bir alt uzayı ise, \(Q_n\)'in \(U\) ile kesitinin hacmi olan \(|U \cap Q_n|\)'in en az \(1\) olduğunu kanıtladı. Bu sonuç şu şekilde yeniden formüle edilebilir: eğer \(u_1, \dots, u_n\), \(\mathbb{R}^k\) içinde (\(1 \le k \le n\)) Öklid uzunlukları \(\sum_1^n |u_i|^2 \le k\) koşulunu sağlayan vektörler ise
\[
|\{x \in \mathbb{R}^k : |\langle x, u_i\rangle| \le 1 \text{ her } i \text{ için}\}|^{1/k} \ge 2.
\]
\(\sum|u_i|^2 \le k\) koşulunun yerini \(\max_i |u_i| \le 1\) koşulunun aldığı benzer bir teorem (aşağıdaki Teorem 1), Carl ve Pajor [C-P] ile Gluskin [G] tarafından kanıtlanmıştır. Gluskin'in yöntemleri, sınır durumlarda keskin sonuçlar elde etmesini sağlar ve bu sonuçların harmonik analizde uygulamaları vardır. Teorem 1 ile yakından ilişkili sonuçlar ayrıca Bárány ve Füredi [B-F] ile Bourgain, Lindenstrauss ve Milman [B-L-M] tarafından da elde edilmiştir.
Teorem 1. Bir \(\delta > 0\) sabiti mevcuttur öyle ki, eğer \(u_1, \dots, u_n \in \mathbb{R}^k\), (\(1 \le k \le n\)) uzunluğu en fazla \(1\) olan vektörler ise
\[
|\{x \in \mathbb{R}^k : |\langle x, u_i\rangle| \le 1 \text{ her } i \text{ için}\}|^{1/k} \ge \frac{\delta}{1 + \log \frac{n}{k}}.
\]
Bu tahmin, \(\delta\) sabitinin değeri dışında, eğer \(n\) değeri \(k\)'ya göre en fazla üstel ise mümkün olan en iyi tahmindir. Bu durum, daha önce Figiel ve Johnson'ın [F-J] bir makalesinde yer alan bir örnekle gösterilmiştir. Teorem 1, \(\ell_n^\infty\)'un \(k\)-boyutlu alt uzaylarının birim yuvarlarının hacim oranları üzerinde ve dolayısıyla bu alt uzayların Öklid uzayına olan uzaklığı üzerinde bir alt sınır verir.
Teorem 1'i Vaaler'in "\(p = 2\)" sonucunun bir "\(p = \infty\)" versiyonu olarak gören Kashin, benzer bir sonucun \(2 < p < \infty\) için de geçerli olup olmadığını sordu. Bu soru, aşağıdaki teoremle olumlu bir şekilde yanıtlanmıştır.
Teorem 2. \(u_1, \dots, u_n \in \mathbb{R}^k\), (\(k \le n\)) ve \(1 \le p < \infty\) olsun. Şunu tanımlayalım:
\[
r = \Big( \frac{1}{n} \sum_{i=1}^n |u_i|^p \Big)^{1/p}.
\]
O halde
\[
|\{x \in \mathbb{R}^k : |\langle x, u_i\rangle| \le 1 \text{ her } i \text{ için}\}|^{1/k} \ge
\begin{cases}
\dfrac{2}{\sqrt{p\, r}} & \text{eğer } p \ge 2,\\[1.2em]
\dfrac{2}{\sqrt{2\, r}} & \text{eğer } 1 \le p < 2.
\end{cases}
\]
Alt sınır, \(e^{p k} \le n \le e^k\) olması koşuluyla (bir sabite kadar) mümkün olan en iyisidir.
Açıklama. \(p \ge 2\) için elde edilen biraz daha güçlü sonuç ayrık bir durumdur, çünkü \(p = 2\) için tam olarak Vaaler'in sonucunu geri verir.
Teorem 1, standart bir optimizasyon argümanıyla Teorem 2'den hemen elde edilir. Eğer \(\mathbb{R}^k\) içindeki \((u_i)_1^n\) vektörlerinin hepsinin normu en fazla \(1\) ise, herhangi bir \(p \in [1, \infty)\) için,
\[
\Big( \frac{1}{n} \sum_{i=1}^n |u_i|^p \Big)^{1/p} \le \Big( \frac{n}{k} \Big)^{1/k} \Big( \frac{1}{p} \Big)^{1/p}
\]
olur, böylece
\[
|\{x: |\langle x, u_i\rangle| \le 1 \text{ her } i \text{ için}\}|^{1/k} \ge \frac{2}{\sqrt{p}} \Big( \frac{n}{k} \Big)^{-1/p}
\]
(\(p \ge 2\) için) elde edilir ve ikincisi \(p = 2\big(1 + \log \frac{n}{k}\big)\) olduğunda en az \(\dfrac{2}{\sqrt{e}} \sqrt{1 + \log \dfrac{n}{k}}\) değerine eşittir.
Konveks cisimlerin entropisini tahmin etmek için iyi bilinen yöntemleri dikkatle kullanan Vaaler, teoremini aslen sayılar geometrisine olan uygulamaları nedeniyle kanıtlamıştır. Bu makalenin son bölümü, Siegel lemmasının genelleştirilmesinin bir ifadesini içerir.
§1. Alt sınır.
Teorem 2'nin kanıtı, [Me-P]'de yer alan ve Vaaler teoremini farklı bir yöne genişletmek amacıyla tasarlanmış olan şu sonucu kullanır: bu sonuç, \(\ell_n^p\) (\(1 \le p \le \infty\)) uzaylarının birim yuvarlarının kesitlerinin hacimlerini tahmin eder. \(1 \le p \le \infty\) ve \(n \in \mathbb{N}\) için,
\[
B_n^p = \Big\{ x \in \mathbb{R}^n : \sum_{i=1}^n |x_i|^p \le 1 \Big\}
\]
ifadesi \(\ell_n^p\)'nin birim yuvarı olsun.
Teorem 3. \(U\), \(\mathbb{R}^n\)'in \(k\)-boyutlu bir alt uzayı olsun; eğer \(1 \le p \le q \le \infty\) ise, o zaman
\[
\frac{|B_n^p \cap U|}{|B_k^p|} \le \frac{|B_n^q \cap U|}{|B_k^q|}.
\]
Açıklama. \(p = 2\), \(q = \infty\) durumu Vaaler teoremidir; çünkü o zaman sol taraf \(1\)'dir ve eşitsizlik \(|B_n^\infty \cap U| \ge |B_k^\infty| \ge 2^k\) olduğunu belirtir.
Gösterim kolaylığı açısından, Teorem 2'nin kanıtı birkaç kısa lemmaya bölünmüştür. İlki, Hölder eşitsizliğinin uygun bir biçiminden başka bir şey değildir. \(k \in \mathbb{N}\) için \(S^{k-1}\), \(\mathbb{R}^k\) içindeki Öklid küresini ve \(\sigma = \sigma_{k-1}\), \(S^{k-1}\) üzerindeki dönme-dönüşümsel değişmez olasılık ölçüsünü gösterecektir. Ayrıca \(v_k\), \(\mathbb{R}^k\) içindeki Öklid birim yuvarının hacmi olsun.
Lemma 4. \(C\) ve \(B\), sırasıyla \(\|\cdot\|_C\) ve \(\|\cdot\|_B\) Minkowski göstergelerine sahip \(\mathbb{R}^k\) içindeki simetrik konveks cisimler olsun. O halde \(p > 0\) için
\[
\Big( \frac{|C|}{|B|} \Big)^{\frac{1}{k}} \ge \Big( \frac{k+p}{k|B|} \int_B \|x\|_C^p \,dx \Big)^{-\frac{1}{p}}.
\]
Kanıt.
\[
\Big( \frac{|C|}{|B|} \Big)^{\frac{1}{k}} = \Big( \frac{v_k}{|B|} \Big)^{\frac{1}{k}} \Big( \int_{S^{k-1}} \frac{1}{\|\theta\|_B^k} \,d\sigma(\theta) \Big)^{-\frac{1}{k}}
\]
\[
= \Big( \frac{1}{|B|} \int_{S^{k-1}} \int_0^{\|\theta\|_B^{-1}} r^{k-1} dr d\sigma(\theta) \Big)^{\frac{1}{k}}
= \Big( \frac{1}{|B|} \int_{S^{k-1}} \frac{\|\theta\|_B^{-k}}{k} d\sigma(\theta) \Big)^{\frac{1}{k}}
\]
\[
\ge \Big( \frac{1}{|B|} \int_{S^{k-1}} \frac{\|\theta\|_B^{-k-p} \|\theta\|_C^{p}}{k} d\sigma(\theta) \Big)^{\frac{1}{k}} \Big/ \Big( \frac{1}{|B|} \int_{S^{k-1}} \frac{\|\theta\|_B^{-k-p} \|\theta\|_C^{p}}{k} d\sigma(\theta) \Big)^{\frac{1}{p}}
\]
\[
= \Big( \frac{k+p}{k|B|} \int_B \|x\|_C^p dx \Big)^{-\frac{1}{p}}.
\]
(Lemma 4, [Mi-P]'de Sonuç 2.2 olarak yer almaktadır.)
Lemma 5. \(u_1, \dots, u_n \in \mathbb{R}^k\), (\(k \le n\)) ve \(1 \le p < \infty\) olsun. O halde
\[
|\{x \in \mathbb{R}^k : |\langle x, u_i\rangle| \le 1 \text{ her } i \text{ için}\} foil^{\frac{1}{k}} \ge 2 \Big( \frac{k+p}{k|B_k^p|} \Big)^{-\frac{1}{p}} \Big( \frac{1}{n} \sum_{i=1}^n \frac{1}{|B_k^p|} \int_{B_k^p} |\langle x, u_i\rangle|^p dx \Big)^{-\frac{1}{p}}.
\]
Teorem 2'nin Kanıtı. \(T : \mathbb{R}^k \to \mathbb{R}^n\) dönüşümünü \((Tx)_i = \langle u_i, x\rangle\) ile tanımlayalım. Tahmin etmemiz gereken küme \(T^{-1}(B_n^\infty) = \{x : |\langle u_i, x\rangle| \le 1 \text{ her } i \text{ için}\}\) kümesidir. Teorem 3'ü \(q = \infty\) ile uygulayarak,
\[
\frac{|T^{-1}(B_n^\infty)|}{|B_k^\infty|} \ge \frac{|T^{-1}(B_n^p)|}{|B_k^p|},
\]
yazarız, böylece
\[
|T^{-1}(B_n^\infty)|^{1/k} \ge 2 \Big( \frac{|T^{-1}(B_n^p)|}{|B_k^p|} \Big)^{1/k}
\]
elde edilir. Şimdi, \(B = B_k^p\) ve \(C = T^{-1}(B_n^p)\) alarak Lemma 4 uyarınca,
\[
\Big( \frac{|T^{-1}(B_n^p)|}{|B_k^p|} \Big)^{1/k} \ge \Big( \frac{k+p}{k|B_k^p|} \int_{B_k^p} \|Tx\|_p^p dx \Big)^{-1/p}
\]
yazabiliriz. \(\|Tx\|_p^p = \sum_{i=1}^n |\langle u_i, x\rangle|^p\) olduğundan, bu tam olarak Lemma 5'in tahminini verir.
Böylece
\[
|T^{-1}(B_n^\infty)|^{1/k} \ge 2 \Big( \frac{k+p}{k|B_k^p|} \Big)^{-1/p} \Big( \frac{1}{n} \sum_{i=1}^n \frac{1}{|B_k^p|} \int_{B_k^p} |\langle x, u_i\rangle|^p dx \Big)^{-1/p}
\]
bulunur.
\(v_i = u_i / |u_i|\) olsun (eğer \(|u_i| \neq 0\) ise; sıfır vektörlerinin katkısı yoktur). O halde
\[
\frac{1}{|B_k^p|} \int_{B_k^p} |\langle x, u_i\rangle|^p dx = |u_i|^p \cdot \frac{1}{|B_k^p|} \int_{B_k^p} |\langle x, v_i\rangle|^p dx
\]
olur. Dolayısıyla büyük parantez içindeki ifade
\[
\Big( \frac{1}{n} \sum_{i=1}^n |u_i|^p \Big) \cdot \frac{1}{|B_k^p|} \int_{B_k^p} |\langle x, v\rangle|^p dx
\]
biçimini alır; burada \(v\) bazı birim vektörlerdir. Bu nedenle
\[
| \{x: |\langle x, u_i\rangle| \le 1 \text{ her } i \text{ için}\} |^{1/k} \ge 2 \Big( \frac{k+p}{k|B_k^p|} \Big)^{-1/p} r^{-1} \Big( \min_{\|v\|=1} \frac{1}{|B_k^p|} \int_{B_k^p} |\langle x, v\rangle|^p dx \Big)^{-1/p}
\]
elde edilir.
Geriye kalan, bir birim vektör \(v\) için \(\int_{B_k^p} |\langle x, v\rangle|^p dx\) ifadesini tahmin etmektir. \(p \ge 2\) için, \(x\) ve \(v\)'nin koordinatları \((x^{(j)})\) ve \((v^{(j)})\) olsun. Koşullu simetrik diziler için Khintchine eşitsizliği ve (\(\sum v^{(j)2} = 1\) kullanarak) Hölder eşitsizliği uyarınca,
\[
\Big( \int_{B_k^p} \Big| \sum_{j=1}^k x^{(j)} v^{(j)} \Big|^p dx \Big)^{1/p}
\le \sqrt{\frac{p}{2}} \Big( \int_{B_k^p} \Big( \sum_{j=1}^k x^{(j)2} v^{(j)2} \Big)^{p/2} dx \Big)^{1/p}
\]
\[
\le \sqrt{\frac{p}{2}} \Big( \int_{B_k^p} \max_j |x^{(j)}|^{p-2} \sum_{j=1}^k |x^{(j)}|2 v^{(j)2} dx \Big)^{1/p}
\le \sqrt{\frac{p}{2}} \Big( \int_{B_k^p} |x^{(1)}|^p dx \Big)^{1/p}
\]
\[
= \sqrt{\frac{p}{2}} \Big( \frac{1}{|B_k^p|} \int_{B_k^p} |x^{(1)}|^p dx \Big)^{1/p} \cdot |B_k^p|^{1/p} \le C \sqrt{p}
\]
yazılır. Aslında daha dikkatli bir normalizasyon, \(p \ge 2\) için \(\big( \frac{1}{|B_k^p|} \int_{B_k^p} |\langle x, v\rangle|^p dx \big)^{1/p} \le \sqrt{p/2}\) sonucunu verir.
\(1 \le p < 2\) için şu eşitsizlik kullanılır:
\[
\Big( \frac{1}{|B_k^p|} \int_{B_k^p} |\langle x, v\rangle|^p dx \Big)^{1/p} \le \Big( \frac{1}{|B_k^p|} \int_{B_k^p} \langle x, v\rangle^2 dx \Big)^{1/2}
\]
ve en sağdaki ifade, logaritmik konveks fonksiyonları içeren standart eşitsizlikler kullanılarak (biraz kaba bir şekilde) \(2\) ile üstten sınırlanabilir.
Bu tahminleri alt sınıra yerleştirerek ve \(|B_k^p|^{1/k} \asymp (k+p)^{-1/p}\) (mutlak sabitlere kadar) ilişkisini kullanarak, \(p \ge 2\) için \(\frac{2}{\sqrt{p r}}\) ve \(1 \le p < 2\) için \(\frac{2}{\sqrt{2 r}}\) şeklinde iddia edilen sınırlar elde edilir. Alt sınır, belirtilen koşullar altında (bir sabite kadar) mümkün olan en iyisidir.
∎
Açıklama. Teorem 2'nin kanıtı, \(B_k^p\) üzerindeki integral alma işleminin yerine \(S^{k-1}\) üzerindeki integral alma işlemi getirilirse (ve burada Hölder eşitsizliği uygulanırsa) daha da basitleştirilebilir. Kanıtın yukarıdaki gibi sunulmasının nedeni, Lemma 5'in kendine has bazı ilginç özelliklere sahip olmasıdır: örneğin Gluskin'in kesin tahminini elde etmek için kullanılabilir. \(m \in \mathbb{N}\) olduğunu ve \((z_i)_1^m \in \mathbb{R}^k\) vektörlerinin şunu sağladığını varsayalım:
\[
|z_i| \le \Big( \log \big( 1 + \frac{m}{k} \big) \Big)^{-1/2}, \quad 1 \le i \le m.
\]
\(\varepsilon > 0\) için, \(W(\varepsilon)\) kümesi şu olsun:
\[
\Big\{ x \in \mathbb{R}^k : \max_j |x^{(j)}| \le 1,\; \max_i |\langle x, z_i\rangle| \le \varepsilon \Big\},
\]
yani \(W(\varepsilon)\), \(B_k^\infty\) küpünün en fazla \(2\varepsilon\) genişliğindeki \(m\) adet "şerit" ile kesişimidir. O halde, \(k\) ve \(m\) değerlerine göre düzgün olarak, \(\varepsilon \to 0\) iken \(|W(\varepsilon)|^{1/k} \to 2\) olur. Bunu görmek için, Lemma 5'i \(n = k + m\) ile uygulayalım; burada ilk \(k\) adet \(u_i\), \(\mathbb{R}^k\)'nin standart taban vektörleri ve kalan \(m\) adet vektör de \((\varepsilon z_i)_1^m\) olsun. Eğer \(e_j\) standart taban vektörüyse, gerekli integraller kolayca hesaplanır.
Daha önce kısaca belirtildiği gibi, Teorem 2'ninkinden daha genel tahminler [B-P]'de (hacimler yerine entropi sayıları için) elde edilmiştir. Bununla birlikte, Teorem 2'nin argümanının bile şu sonucu vermek için kullanılabileceğini belirtmek gerekir: bir \(c\) sabiti vardır öyle ki eğer \(u_1, \dots, u_n \in \mathbb{R}^k\), (\(k \le n\)) ve \(T: \ell_2^k \to \ell_\infty^n\) dönüşümü \((Tx)_i = \langle u_i, x\rangle\), (\(1 \le i \le n\)) ile verilirse, \(T\)'nin \(k\). entropi sayısı şunu sağlar:
\[
e_k(T) \le c \sqrt{p} \Big( \frac{1}{n} \sum_{i=1}^n |u_i|^p \Big)^{1/p} \Big( 1 + \log \frac{n}{k} \Big)^{1/p} \frac{1}{\sqrt{k}} \|T\|.
\]
Bu sonuç, Meyer ve Pajor'un sonucu yerine \(\ell_n^p\)'den \(\ell_n^\infty\)'a olan biçimsel özdeşliğin entropi sayılarının tahminlerinin kullanılmasıyla ve Hölder eşitsizliğinin uygun bir uygulamasıyla elde edilir.
§2. Doğrusal formlara bir uygulama.
Giriş bölümünde belirtildiği gibi, Vaaler'in orijinal sonucunun sayılar geometrisine uygulamaları vardır. Bunlardan biri olan, Siegel lemmasının keskinleştirilmiş bir biçimi [B-V]'de verilmiştir. Bombieri ve Vaaler'in argümanları ile Teorem 2 kullanılarak, onların sonucunun aşağıdaki Teorem 6'da yer alan genelleştirilmesi elde edilebilir. Bazı gösterimlere ihtiyaç vardır. Eğer \(A\), satırları bağımsız olan (\(1 \le k \le n\)) reel sayılardan oluşan bir \(k \times n\) matris ise, \(A\)'nın satırlarını \(1 \le j \le k\) olmak üzere \(v_j = v_j(A)\) ile gösterelim. \((e_i)_1^n\), \(\mathbb{R}^n\)'in standart tabanı olsun ve \(c_i\), \(e_i\)'nin \(\mathbb{R}^n\) içinde \(v_j\)'lerin gerdiği uzaya olan uzaklığını (Öklid normunda) göstersin. (Dolayısıyla eğer \(A_i\), \(v_1, \dots, v_k, e_i\) şeklinde \(k+1\) satırlı matris ise, o zaman
\[
c_i^2 = \frac{\det(A_i A_i^*)}{\det(A A^*)} \qquad 1 \le i \le n \text{ için}.)
\]
Teorem 6. \(A\), rankı \(k\) olan ve tam sayı girdilerine sahip bir \(k \times n\) matris olsun. Yukarıdaki gösterimle, \(Ax = 0\) sistemi,
\[
\max_{1 \le r \le n-k} \max_i |z_i^{(r)}| \le D^{-1} \sqrt{\frac{p}{2}}
\]
koşulunu sağlayan, doğrusal olarak bağımsız \(n-k\) adet tam sayı çözümüne \(z^{(r)} = (z_1^{(r)}, \dots, z_n^{(r)}) \in \mathbb{Z}^n\), (\(1 \le r \le n-k\)) sahiptir.
Açıklama. Bombieri ve Vaaler lemmasının böyle bir genelleştirilmesinin temel önemi … (Metin burada bitmektedir.)
Referanslar.
[B-F] I. Bárány ve Z. Füredi, Computing the volume is difficult, Discrete Comput. Geom. 2 (1987), 319–326.
[B-L-M] J. Bourgain, J. Lindenstrauss ve V.D. Milman, Approximation of zonoids by zonotopes, Acta Math. 162 (1989), 73–141.
[B-P] K.M. Ball ve A. Pajor, On the entropy of convex bodies with “few” extreme points, hazırlık aşamasında.
[B-V] E. Bombieri ve J. Vaaler, On Siegel’s lemma, Invent. Math. 73 (1983), 11–32.
[C-P] B. Carl ve A. Pajor, Gelfand numbers of operators with values in a Hilbert space, Invent. Math. 94 (1988), 479–504.
[F-J] T. Figiel ve W.B. Johnson, Large subspaces of \(\ell_n^\infty\) and estimates of the Gordon-Lewis constants, Israel J. Math. 37 (1980), 92–112.
[G] E.D. Gluskin, Extremal properties of rectangular parallelepipeds and their applications to the geometry of Banach spaces, Math. Sbornik 136 (178) (1988), 85–95.
[Me-P] M. Meyer ve A. Pajor, Sections of the unit ball of \(\ell_n^p\), J. Funct. Anal. 80 (1988), 109–123.
[V] J. Vaaler, A geometric inequality with applications to linear forms, Pacific J. Math. 83 (1979), 543–553.