Неравенство Инглтона - Ingletons inequality - Wikipedia

В математике Неравенство Инглтона является неравенство что удовлетворено классифицировать функция любого представимый матроид. В этом смысле это необходимое условие представимости матроид над конечным полем. Позволять M будь матроидом и пусть ρ - его ранговая функция, неравенство Инглтона утверждает, что для любых подмножеств Икс1, Икс2, Икс3 и Икс4 в поддерживать из M, неравенство

ρ(Икс1)+ρ(Икс2)+ρ(Икс1Икс2Икс3)+ρ(Икс1Икс2Икс4)+ρ(Икс3Икс4) ≤ ρ(Икс1Икс2)+ρ(Икс1Икс3)+ρ(Икс1Икс4)+ρ(Икс2Икс3)+ρ(Икс2Икс4) доволен.

Обри Уильям Инглтон, английский математик, написал важную статью в 1969 г.[1] в которой он исследовал проблему представимости в матроидах. Хотя статья носит в основном пояснительный характер, в ней Инглтон сформулировал и доказал неравенство Инглтона, которое нашло интересные приложения в теория информации, теория матроидов, и сетевое кодирование.[2]

Важность неравенства

Есть интересные связи между матроиды, то область энтропии и теория групп. Некоторые из этих связей обнаруживаются с помощью неравенства Инглтона.

Возможно, более интересное применение неравенства Инглтона касается вычисления сетевое кодирование мощности. Решения для линейного кодирования ограничены неравенством, и это имеет важное последствие:

Область достижимых ставок при использовании линейное сетевое кодирование в некоторых случаях может быть строго меньше, чем область достижимых скоростей при использовании общего сетевого кодирования.[3][4][5]

Определения см., Например,[6]

Доказательство

Теорема (Неравенство Инглтона):[7] Позволять M быть представимый матроид с функцией ранга ρ и разреши Икс1, Икс2, Икс3 и Икс4 подмножества опорного множества M, обозначается символом E(M). Потом:

ρ(Икс1)+ρ(Икс2)+ρ(Икс1Икс2Икс3)+ρ(Икс1Икс2Икс4)+ρ(Икс3Икс4) ≤ ρ(Икс1Икс2)+ρ(Икс1Икс3)+ρ(Икс1Икс4)+ρ(Икс2Икс3)+ρ(Икс2Икс4).

Для доказательства неравенства нам нужно показать следующий результат:

Предложение: Позволять V1,V2, V3 и V4 быть подпространствами векторное пространство V, тогда

  1. тусклый (V1V2V3) ≥ dim (V1V2) + тусклый (V3) - тусклый (V1+V3) - тусклый (V2+V3) + тусклый (V1+V2+V3)
  2. тусклый (V1V2V3V4) ≥ dim (V1V2V3) + тусклый (V1V2V4) - тусклый (V1V2)
  3. тусклый (V1V2V3V4) ≥ dim (V1V2) + тусклый (V3) + тусклый (V4) - тусклый (V1+V3) - тусклый (V2+V3) - тусклый (V1+V4) - тусклый (V2+V4) - тусклый (V1+V2+V3) + тусклый (V1+V2+V4)
  4. тусклый (V1) + тусклый (V2) + тусклый (V1+V2+V3) + тусклый (V1+V2+V4) + тусклый (V3+V4) ≤ dim (V1+V2) + тусклый (V1+V3) + тусклый (V1+V4) + тусклый (V2+V3) + тусклый (V2+V4)

Где Vя+Vj представляют прямая сумма двух подпространств.

Доказательство (предложение): Мы будем часто использовать стандартную идентичность векторного пространства: dim (U) + тусклый (W) = тусклый (U+W) + тусклый (UW).

1. Понятно, что (V1V2) + V3 ⊆ (V1+ V3) ∩ (V2+V3), тогда

тусклый ((V1V2)+V3)тусклый ((V1+V2)∩(V2+V3)),следовательно
тусклый (V1V2V3)=тусклый (V1V2) + тусклый (V3) - тусклый ((V1V2)+V3)
тусклый (V1V2) + тусклый (V3) - тусклый ((V1+V3)∩(V2+V3))
=тусклый (V1V2) + тусклый (V3) - {тусклый (V1+V3) + тусклый (V2+V3) - тусклый (V1+V2+V3)}
=тусклый (V1V2) + тусклый (V3) - тусклый (V1+V3) - тусклый (V2+V3) + тусклый (V1+V2+V3)

2. Понятно, что (V1V2V3) + (V1V2V4) ⊆ (V1V2), тогда

dim {(V1V2V3)+(V1V2V4)}тусклый (V1V2),следовательно
тусклый (V1V2V3V4)=тусклый (V1V2V3) + тусклый (V1V2V4) - dim {(V1V2V3) + (V1V2V4)}
тусклый (V1V2V3) + тусклый (V1V2V4) - тусклый (V1V2)

3. Из (1) и (2) имеем:

тусклый (V1V2V3V4)тусклый (V1V2V3) + тусклый (V1V2V4) - тусклый (V1V2)
тусклый (V1V2) + тусклый (V3) - тусклый (V1+V3) - тусклый (V2+V3) + тусклый (V1+V2+V3) + тусклый (V1V2) + тусклый (V4) - тусклый (V1+V4) - тусклый (V2+V4) + тусклый (V1+V2+V4) - тусклый (V1V2)
=тусклый (V1V2) + тусклый (V3) + тусклый (V4) - тусклый (V1+V3) - тусклый (V2+V3) - тусклый (V1+V4) - тусклый (V2+V4) + тусклый (V1+V2+V3) + тусклый (V1+V2+V3)

4. Из (3) имеем

тусклый (V1+V2+V3) + тусклый (V1+V2+V4)тусклый (V1V2V3V4) - тусклый (V1V2) - тусклый (V3) - тусклый (V4) + тусклый (V1+V3) + тусклый (V2+V3) + тусклый (V1+V4) + тусклый (V2+V4)

Если мы добавим (dim (V1) + тусклый (V2) + тусклый (V3+V4)) по обе стороны от последнего неравенства, получаем

тусклый (V1) + тусклый (V2) + тусклый (V1+V2+V3) + тусклый (V1+V2+V4) + тусклый (V3+V4)тусклый (V1V2V3V4) - тусклый (V1V2) + тусклый (V1+ тусклый (V2) + тусклый (V3+V4) - тусклый (V3) - тусклый (V4) + тусклый (V1+V3) + тусклый (V2+V3) + тусклый (V1+V4) + тусклый (V2+V4)

Поскольку неравенство dim (V1V2V3V4) ≤ dim (V3V4), мы закончили доказательство. ♣

Доказательство (неравенство Инглтона): Предположим, что M представляет собой представимый матроид и пусть А = [v1 v2vп] - матрица такая, что M = M(А).За Икс, Y ⊆ E (M) = {1,2,…, n} определим U = <{Vя : i ∈ Икс }>, поскольку промежуток векторов в Vя, и мы определяем W = <{Vj : j ∈ Y}> соответственно.

Если мы предположим, что U = <{ты1, ты2, … ,тым}> и W = <{ш1, ш2, … ,шр}> то очевидно, что <{ты1, ты2, …, тым, ш1, ш2, …, шр }> = U + W.

Следовательно:р(ИксY) = dim <{vя : i ∈ Икс } ∪ {vj : j ∈ Y }> = dim (V + W).

Наконец, если мы определим Vя = {vр : рИкся } для i = 1,2,3,4, то по последнему неравенству и пункту (4) предыдущего предложения получаем результат.

Рекомендации

  1. ^ Инглтон, А. (1971). «Изображение матроидов». На валлийском языке D.J.A. (ред.). Комбинаторная математика и ее приложения. Слушания, Оксфорд, 1969 г.. Академическая пресса. С. 149–167. ISBN  0-12-743350-3. Zbl  0222.05025.
  2. ^ Альсведе, Рудольф; Н. Цай; Шуо-Йен Роберт Ли; Раймонд Вай-Хо Йунг (2000). «Сетевой информационный поток». IEEE Transactions по теории информации. 46 (4): 1204–1216. Дои:10.1109/18.850663.
  3. ^ Dougherty, R .; К. Фрайлинг; К. Зегер (2005). «Недостаточность линейных сетевых кодов». Международный симпозиум IEEE по теории информации Аделаида, Австралия: 264–267.
  4. ^ Dougherty, R .; К. Фрейлинг; К. Зегер (2007). «Сети, матроиды и нешенноновские информационные неравенства». IEEE Transactions по теории информации. 53 (6): 1949–1969. Дои:10.1109 / TIT.2007.896862.
  5. ^ Li, S.-Y.R .; Yeung, R.W .; Нинг Кай (2003). «Линейное сетевое кодирование» (PDF). IEEE Transactions по теории информации. 49 (2): 371. Дои:10.1109 / TIT.2002.807285.
  6. ^ Бассоли, Риккардо; Маркес, Хьюго; Родригес, Джонатан; Шум, Кеннет В .; Тафазолли, Рахим (2013). «Теория сетевого кодирования: обзор». Обзоры и учебные пособия по коммуникациям IEEE. 15 (4): 1950. Дои:10.1109 / SURV.2013.013013.00104.
  7. ^ Оксли, Джеймс (1992), Теория матроидов, Оксфорд: Oxford University Press, ISBN  0-19-853563-5, МИСТЕР 1207587, Zbl 0784.05002.

внешняя ссылка