Вамос матроид - Vámos matroid

Матроид Вамос; заштрихованные параллелограммы изображают его пять цепей четвертого размера

В математика, то Вамос матроид или же Куб Вамос это матроид над набором из восьми элементов, которые не могут быть в виде матрицы по любому поле. Назван в честь английского математика. Питер Вамос, который впервые описал это в неопубликованной рукописи в 1968 году.[1]

Определение

Матроид Vámos состоит из восьми элементов, которые можно рассматривать как восемь вершин куб или же кубовид. Матроид имеет ранг 4: все наборы из трех или менее элементов независимы, и 65 из 70 возможных наборов из четырех элементов также независимы. Пятью исключениями являются четырехэлементные схемы в матроиде. Четыре из этих пяти контуров образованы гранями кубоида (без двух противоположных граней). Пятый контур соединяет два противоположных края кубоида, каждый из которых является общим для двух из выбранных четырех граней.

Другой способ описания той же структуры состоит в том, что у нее есть два элемента для каждой вершины ромбовидный график, и четырехэлементную схему для каждого ребра ромбовидного графа.

Характеристики

  • Матроид Вамос - это матроид для мощения, что означает, что все его цепи имеют размер, по крайней мере, равный его классифицировать.[2]
  • Матроид Вамоса изоморфен своему двойной матроид, но он не является тождественно самодуальным (изоморфизм требует нетривиальной перестановки элементов матроида).[2]
  • Матроид Вамос не может быть представлен ни на каком поле. То есть найти векторное пространство, и систему из восьми векторов в этом пространстве, так что матроид линейная независимость этих векторов изоморфен матроиду Вамоса.[3] Действительно, это один из самых маленьких непредставимых матроидов,[4] и послужил контрпримером к гипотезе Ingleton что все матроиды на восьми или меньшем количестве элементов могут быть представлены.[5]
  • Матроид Вамос - это запрещенный несовершеннолетний для матроидов, представимых над полем , в любое время имеет пять или более элементов.[6] Тем не менее, тестирование в полиномиальное время является ли он несовершеннолетним данного матроида , учитывая доступ к через оракул независимости.[7]
  • Матроид Вамоса не является алгебраическим. То есть не существует расширение поля , и набор из восьми элементов , так что степень трансцендентности наборов этих восьми элементов равняется функции ранга матроида.[8]
  • Матроид Вамос - это не матроид, разглашающий секреты.[9] Матроиды, разделяющие секреты, описывают "идеальные" секретный обмен схемы, в которых любая коалиция пользователей, которые могут получить любую информацию о секретном ключе, может узнать весь ключ (эти коалиции являются зависимыми наборами матроида), и в которых общая информация содержит не больше информации, чем необходимо для представления ключа .[10] Эти матроиды также применяются в теория кодирования.[11]
  • Матроид Вамос не имеет сопряжения. Это означает, что двойная решетка из геометрическая решетка матроида Вамоса не может быть заказ-встроенный в другую геометрическую решетку того же ранга.[12]
  • Матроид Vámos может быть ориентированный.[13] В ориентированных матроидах форма Теорема Хана – Банаха следует из некоторого свойства пересечения квартир матроида; матроид Вамоса представляет собой пример матроида, в котором свойство пересечения неверно, но теорема Хана – Банаха тем не менее верна.[14]
  • В Полином Тутте матроида Vámos[15]

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

  1. ^ Вамос, П. (1968), О представительстве структур независимости.
  2. ^ а б Оксли, Джеймс Г. (2006), «Пример 2.1.22», Матроид Теория, Тексты для выпускников Оксфорда по математике, 3, Oxford University Press, стр. 76, ISBN  9780199202508.
  3. ^ Оксли (2006) С. 170–172.
  4. ^ Оксли (2006), Предложение 6.4.10, с. 196. Доказательство представимости каждого матроида с меньшим количеством элементов или тем же числом, но меньшим рангом было дано формулой Фурнье, Жан-Клод (1970), "Sur la représentation sur un corps des matroïdes à sept et huit éléments", Comptes rendus de l'Académie des Sciences, Sér. А-Б, 270: A810 – A813, МИСТЕР  0263665.
  5. ^ Инглтон, A. W. (1959), "Заметка о функциях независимости и ранге", Журнал Лондонского математического общества, Вторая серия, 34: 49–56, Дои:10.1112 / jlms / s1-34.1.49, МИСТЕР  0101848.
  6. ^ Оксли (2006), п. 511.
  7. ^ Сеймур, П. Д.; Уолтон, П. Н. (1981), "Обнаружение несовершеннолетних матроидов", Журнал Лондонского математического общества, Вторая серия, 23 (2): 193–203, Дои:10.1112 / jlms / s2-23.2.193, МИСТЕР  0609098. Jensen, Per M .; Корте, Бернхард (1982), "Сложность алгоритмов свойств матроидов", SIAM Журнал по вычислениям, 11 (1): 184–190, Дои:10.1137/0211014, МИСТЕР  0646772.
  8. ^ Ingleton, A. W .; Майн, Р. А. (1975), "Неалгебраические матроиды существуют", Бюллетень Лондонского математического общества, 7: 144–146, Дои:10.1112 / blms / 7.2.144, МИСТЕР  0369110.
  9. ^ Сеймур, П. Д. (1992), "О секретных матроидах", Журнал комбинаторной теории, Серия B, 56 (1): 69–73, Дои:10.1016 / 0095-8956 (92) 90007-К, МИСТЕР  1182458.
  10. ^ Брикелл, Эрнест Ф .; Дэвенпорт, Дэниел М. (1991), «О классификации идеальных схем разделения секрета», Журнал криптологии, 4 (2): 123–134, Дои:10.1007 / BF00196772.
  11. ^ Симонис, Джуриаан; Ашихмин, Алексей (1998), "Почти аффинные коды", Конструкции, коды и криптография, 14 (2): 179–197, Дои:10.1023 / А: 1008244215660, МИСТЕР  1614357.
  12. ^ Чунг, Алан Л. С. (1974), "Сопряжения геометрии", Канадский математический бюллетень, 17 (3): 363–365, исправление, там же. 17 (1974), нет. 4, 623, г. Дои:10.4153 / CMB-1974-066-5, МИСТЕР  0373976.
  13. ^ Блэнд, Роберт Г.; Лас Вергнас, Мишель (1978), «Ориентируемость матроидов», Журнал комбинаторной теории, Серия B, 24 (1): 94–123, Дои:10.1016/0095-8956(78)90080-1, МИСТЕР  0485461.
  14. ^ Бахем, Ахим; Ванка, Альфред (1988), "Теоремы разделения для ориентированных матроидов", Дискретная математика, 70 (3): 303–310, Дои:10.1016 / 0012-365X (88) 90006-4, МИСТЕР  0955127.
  15. ^ Мерино, Криэль; Рамирес-Ибаньес, Марселино; Санчес, Гваделупе Родригес (2012), Полином Тутте некоторых матроидов, arXiv:1203.0090, Bibcode:2012arXiv1203.0090M.