Зображення ч. в. множин (частково впорядкованих множин) ввели Л. А. Назароваi А. В. Ройтер в 1972 р. В тому ж роцi М. М. Клейнер довiв, що ч. в. множинаSмаєскiнченний зображувальний тип тодi i лише тодi, коли вони не мiстить ч. в. пiдмно-жин вигляду K1= (1,1,1,1), K2= (2,2,2), K3= (1,3,3), K4= (1,2,5) i K5= (N,4). Цi ч. в. множин називаються критичними ч. в. множин щодо скiнченностстi типу(в тому сенсi, що це мiнiмальнi ч. в. множин з нескiнченною кiлькiстю нерозкладних зображень, з точнiстю до еквiвалентностi) або ч. в. множинами Клейнера. У 1974 роцi Ю. А. Дрозд довiв, що ч. в. множинаSмає скiнченний зображувальний тип тодi iлише тодi, коли її квадратична форма Тiтса є слабко додатною (тобто додатною на множинi невiд’ємних векторiв). Отже, ч. в. множини Клейнера є критичними щодо слабкої додатностi квадратичної форми Тiтса,i iнших таких ч. в. множин немає (з точнiстю до iзоморфiзму). У 2005 роцi автори довели що ч. в. множин є критичною щодо додатностi квадратичної форми Титса тодii лише тодi, коли вона є мiнiмаксно iзоморфна деякiй ч. в. множинi Клейнера. Подiбну ситуацiю маємо з ч. в. множинами ручного зображувального типу. У 1975р. Л. А. Назарова довела, що ч. в. множинаSє ручною тодi i лише тодi, коли вона не мiстить ч. в. пiдмножин вигляду N1= (1,1,1,1,1), N2= (1,1,1,2), N3= (2,2,3), N4= (1,3,4), N5= (1,2,6) i (N,5). Вона назвала цi ч. в. множини суперкритичними; вони є критичними щодо слабкої невiд’ємностi квадратичної форми Тiтса, i iншихтаких ч. в. множин немає. У 2009 роцi автори довели, що ч. в. множина є критичною щодо невiд’ємностi квадратичної форми Тiтса тодi i лише тодi, коли вона мiнiмаксноiзоморфна деякiй суперкритичнiй ч. в. множинi. Перший автор запропонував ввести ч. в. множини (названi надсуперкритичними),якi вiдрiзняються вiд суперкритичних ч. в. множин в тiй самiй мiрi, що i останнi вiд-рiзняються вiд критичних. Серед цих ч. в. множин є чотири найменшого порядку,а саме 6. У цiй статтi ми описуємо всi ч. в. множини мiнiмаксно еквiвалентнi їм, i вивчаємо деякi їхнi комбiнаторнi властивостi. Важливiсть вивчення мiнiмаксно iзоморфних ч. в. множин визначається тим фактом, що їх квадратичнi форми Тiтса Z-еквiвалентнi, а сам мiнiмаксний iзоморфiзм є досить загальною конструктивно визначеною Z-еквiвалентнiстю для квадратичних форм Тiтса ч. в. множин.
Зображення ч. в. множин (частково впорядкованих множин), введені Л. А. Назаровою і А. В. Ройтером у 1972 р., відіграють важливу роль у сучасній теорії зображень та її застосуваннях. М. М. Клейнер отримав опис ч. в. множин скінченного зображувального типу в термінах критичних ч. в . множин (мінімальних ч. в. множин нескінченного зображувального типу), а Ю. А. Дрозд довів, що ч. в. множина S (яка не містить елемента, позначеного як 0) має скінченний зображувальний тип тоді і тільки тоді, коли її квадратична форма Тітсає слабко додатною, тобто додатною на множині невід’ємних векторів (у 1972 та 1974 роках відповідно). У цій статті ми розглядаємо ситуацію (що стосується нескінченних ч. в. множин), коли головну роль відіграє не слабка додатність, а додатність квадратичної форми Тітса. Ситуація стосується дослідження категорій зображень спеціального вигляду, і в цьому випадку ми використовуємо встановлений першим автором зв'язок між квадратичними формами Тітса для частково впорядкованих множин і комутативних сагайдаків.
Зображення частково впорядкованих (скорочено ч. в.) множин, які введені Л. А. Назаровою і А. В. Ройтером (в матричній формі) в 1972 р., відіграють важливу роль в сучасній теорії зображень. У своїй першій праці за цією тематикою М. М. Клейнер довів, що ч. в. множина S має скінченний зображувальний тип (тобто має скінченне число нерозкладних зображень, з точністю до еквівалентності) тоді і лише тоді, коли вона не містить ч. в. підмножин вигляду K1= (1, 1, 1, 1), K2 = (2, 2, 2), K3 = (1, 3, 3), K4 = (1, 2, 5) і K5 = (N, 4). Вказані ч. в. множини називаються критичними ч. в. множин щодо скінченності типу (тобто вони є мінімальними ч. в. множинами з нескінченним числом нерозкладних зображень, з точністю до еквівалентності). Їх також називають (критичними) ч. в. множинами Клейнера. У 1974 р. Ю. А. Дрозд довів, що ч. в. множина S має скінченний зображувальний тип тоді і лише тоді, коли її квадратична форма Тітса є слабко додатною (тобто додатною на множині невід'ємних векторів). Таким чином, ч. в. множини Клейнера є критичними щодо слабкої додатності квадратичної форми Тітса, і інших таких ч. в. множин немає (з точністю до ізоморфізму). У 2005 р. автори довели що ч. в. множина є критичною щодо додатності квадратичної форми Титса тоді і лише тоді, коли вона мінімаксно ізоморфна деякій ч. в. множині Клейнера. Подібну ситуацію маємо з ч. в. множинами ручного зображувального типу. У 1975 р. Л. А. Назарова довела, що ч. в. множина S є ручною тоді і лише тоді, коли вона не містить ч. в. підмножин вигляду N1 = (1, 1, 1, 1, 1), N2 = (1, 1, 1, 2), N3 = (2, 2, 3), N4 = (1, 3, 4), N5 = (1, 2, 6) і (N, 5). Вона назвала ці ч. в. множини суперкритичними; вони є також критичними щодо слабкої невід'ємності квадратичної форми Тітса. У 2009 році автори довели, що ч. в. множина є критичною щодо невід'ємності квадратичної форми Тітса тоді і лише тоді, коли вона мінімаксно ізоморфна деякій суперкритичній ч. в. множині. У цій статті вивчаються комбінаторні властивості ч. в. множин, мінімаксно ізоморфних суперкритичній ч. в. множині найбільшої висоти, тобто (1, 2, 6). Важливість вивчення мінімаксно ізоморфних ч. в. множин визначається тим фактом, що їх квадратичні форми Тітса ℤ-еквівалентні, а сам мінімаксний ізоморфізм є досить загальною конструктивно визначеною ℤ-еквівалентністю для квадратичних форм Тітса ч. в. множин.
М. М. Клейнер довів, що ч. в. (частково порядкована) множина S має скінченний зображувальний тип тоді і лише тоді, коли вона не містить ч. в. підмножин вигляду (1,1,1,1), (2,2,2), (1,3,3), (1,2,5), (N,4). Ці ч. в. множини називаються ч. в. множинами Клейнера і є (з точністю до ізоморфізму) всіма критичними ч. в. множинами щодо скінченності типу (в тому сенсі, що це мінімальні ч. в. множини нескінченного зображувального типу). Пізніше Ю. А. Дрозд довів, що ч. в. множина S має скінченний зображувальний тип тоді і лише тоді, коли квадратична форма $$ q_S(z)=:z_0^2+\sum_{i\in S} z_i^2+\sum_{i<j, i,j\in S}z_i z_j-z_0\sum_{i\in S}z_i,$$ яка називається квадратичною формою Тітса множини S, є слабко додатною (тобто додатною на множині невід'ємних векторів). Отже, ч. в. множини Клейнера є критичними щодо слабкої додатності квадратичної форми Тітса. У 2005 році автори довели що ч. в. множина є критичною щодо додатності квадратичної форми Тітса тоді і лише тоді, коли вона мінімаксно ізоморфна деякій ч. в. множині Клейнера. Подібну ситуацію маємо для ч. в. множин ручного зображувального типу. Л. А. Назарова довела, що ч. в. множина S є ручною тоді і лише тоді, коли вона не містить ч. в. підмножин вигляду (1,1,1,1,1), (1,1,1,2), (2,2,3), (1,3,4),(1,2,6), (N,5). і ч. в. множини є критичними щодо слабкої невід'ємності квадратичної форми Тітса і називаються суперкритичними. У 2009 році автори довели, що ч. в. множина є критичною щодо невід'ємності квадратичної форми Тітса тоді і лише тоді, коли вона мінімаксно ізоморфна деякій суперкритичній ч. в. множині. Перший автор запропонував ввести так звані надсуперкритичні (або 1-надсуперкритичні) ч. в. множини, які відрізняються від суперкритичних ч. в. множин в тій самій мірі, що і останні відрізняються від критичних. Серед цих ч. в. множин є єдина не примітивна, тобто яка не є прямою сумою ланцюгів. У цій статті ми описуємо всі ч. в. множини, які мінімаксно ізоморфні їй, і вивчаємо деякі їхні комбінаторні властивості. Важливість вивчення мінімаксно ізоморфних ч. в. множин визначається тим, що їх квадратичні форми Тітса Z-еквівалентні, а сам мінімаксний ізоморфізм є досить загальною конструктивно визначеною Z-еквівалентністю для квадратичних форм Тітса ч. в. множин.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.