Дискретті Морзе теориясы - Discrete Morse theory

Дискретті Морзе теориясы Бұл комбинаторлық бейімдеу Морзе теориясы әзірлеген Робин Форман. Теорияның әр түрлі салаларында әр түрлі практикалық қолданыстары бар қолданбалы математика және Информатика, сияқты конфигурация кеңістігі,^[1] гомология есептеу,^[2]^[3] denoising,^[4] торды қысу,^[5] және топологиялық деректерді талдау.^[6]

CW кешендеріне қатысты белгі

Келіңіздер ${displaystyle X}$ болуы а CW кешені және арқылы белгілеңіз ${displaystyle {mathcal {X}}}$ оның ұяшықтар жиынтығы. Анықтаңыз аурушаңдық функциясы ${displaystyle kappa: {mathcal {X}} imes {mathcal {X}} o mathbb {Z}}$ келесі жолмен: екі ұяшық берілген ${displaystyle sigma}$ және ${displaystyle au}$ жылы ${displaystyle {mathcal {X}}}$ , рұқсат етіңіз ${displaystyle kappa (sigma, ~ au)}$ болуы дәрежесі туралы картаны тіркеу шекарасынан ${displaystyle sigma}$ дейін ${displaystyle au}$ . The шекаралық оператор эндоморфизм болып табылады ${displaystyle ішінара}$ құрған ақысыз абель тобының ${displaystyle {mathcal {X}}}$ арқылы анықталады

{displaystyle ішінара (sigma) = қосынды _ {au in {mathcal {X}}} каппа (sigma, au) au.}

Бұл шекара операторларының анықтайтын қасиеті ${displaystyle ішінара эквивалентті эквивалент 0}$ . Неғұрлым аксиоматикалық анықтамаларда^[7] деген талапты табуға болады ${displaystyle forall sigma, au ^ {prime} in {mathcal {X}}}$

{displaystyle sum _ {au in {mathcal {X}}} каппа (sigma, au) kappa (au, au ^ {prime}) = 0}

бұл шекара операторының жоғарыда көрсетілген анықтамасының салдары болып табылады және оған деген талап ${displaystyle ішінара эквивалентті эквивалент 0}$ .

Дискретті Морзе функциялары

A нақты -қызметі ${displaystyle mu: {mathcal {X}} o mathbb {R}}$ Бұл дискретті Морзе функциясы егер ол келесі екі қасиетті қанағаттандырса:

Кез-келген ұяшық үшін ${displaystyle sigma in {mathcal {X}}}$ , ұяшықтар саны ${displaystyle au in {mathcal {X}}}$ шекарасында ${displaystyle sigma}$ қанағаттандыратын ${displaystyle mu (sigma) leq mu (au)}$ ең көп дегенде.
Кез-келген ұяшық үшін ${displaystyle sigma in {mathcal {X}}}$ , ұяшықтар саны ${displaystyle au in {mathcal {X}}}$ құрамында ${displaystyle sigma}$ қанағаттандыратын олардың шекарасында ${displaystyle mu (sigma) geq mu (au)}$ ең көп дегенде.

Оны көрсетуге болады^[8] екі шарттағы кардинал тұрақты ұяшық үшін бір мезгілде бола алмайтындығы ${displaystyle sigma}$ , деген шартпен ${displaystyle {mathcal {X}}}$ Бұл тұрақты CW кешені. Бұл жағдайда әрбір ұяшық ${displaystyle sigma in {mathcal {X}}}$ ең көп дегенде ерекше ұяшықпен жұптастыруға болады ${displaystyle au in {mathcal {X}}}$ : не одан үлкенірек шекаралық ұяшық ${displaystyle mu}$ мәні немесе кіші ко-шекті ұяшық ${displaystyle mu}$ мәні. Жұптары жоқ, яғни функционалдық мәндері олардың шекаралық ұяшықтарынан жоғары болатын жасушалар және олардың шекаралас ұяшықтарынан едәуір төмен деп аталады сыни жасушалар. Сонымен, дискретті Морзе функциясы CW комплексін үш түрлі жасушалық коллекцияларға бөледі: ${displaystyle {mathcal {X}} = {mathcal {A}} sqcup {mathcal {K}} sqcup {mathcal {Q}}}$ , мұнда:

${displaystyle {mathcal {A}}}$ дегенді білдіреді сыни жұпталмаған ұяшықтар,
${displaystyle {mathcal {K}}}$ шекаралық ұяшықтармен жұптасқан ұяшықтарды және
${displaystyle {mathcal {Q}}}$ қосалқы шекара жасушаларымен жұптасқан ұяшықтарды білдіреді.

Құрылыс бойынша а биекция туралы жиынтықтар арасында ${displaystyle k}$ - өлшемді ұяшықтар ${displaystyle {mathcal {K}}}$ және ${displaystyle (k-1)}$ - өлшемді ұяшықтар ${displaystyle {mathcal {Q}}}$ , деп белгілеуге болады ${displaystyle p ^ {k}: {mathcal {K}} ^ {k} o {mathcal {Q}} ^ {k-1}}$ әрқайсысы үшін натурал сан ${displaystyle k}$ . Бұл әрқайсысы үшін қосымша техникалық талап ${displaystyle Kin {mathcal {K}} ^ {k}}$ , шекарасынан бастап бекіту картасының дәрежесі ${displaystyle K}$ оның жұптасқан ұяшығына ${displaystyle p ^ {k} (K) {mathcal {Q}}}$ Бұл бірлік астарында сақина туралы ${displaystyle {mathcal {X}}}$ . Мысалы, бүтін сандар ${displaystyle mathbb {Z}}$ , рұқсат етілген мәндер тек ${displaystyle pm 1}$ . Бұл техникалық талапқа, мысалы, біреу ойлаған кезде кепілдік беріледі ${displaystyle {mathcal {X}}}$ тұрақты CW кешені ${displaystyle mathbb {Z}}$ .

Дискретті Морзе теориясының негізгі нәтижесі CW кешені екенін анықтайды ${displaystyle {mathcal {X}}}$ болып табылады изоморфты деңгейінде гомология жаңа кешенге ${displaystyle {mathcal {A}}}$ тек критикалық жасушалардан тұрады. Жұптасқан ұяшықтар ${displaystyle {mathcal {K}}}$ және ${displaystyle {mathcal {Q}}}$ сипаттау градиент жолдары шекара операторын алуға болатын көршілес критикалық ұяшықтар арасында ${displaystyle {mathcal {A}}}$ . Бұл құрылыстың кейбір мәліметтері келесі бөлімде келтірілген.

Морзе кешені

A градиент жолы жұптасқан ұяшықтардың тізбегі болып табылады

{displaystyleho = (Q_ {1}, K_ {1}, Q_ {2}, K_ {2}, ldots, Q_ {M}, K_ {M})}

қанағаттанарлық ${displaystyle Q_ {m} = p (K_ {m})}$ және ${displaystyle kappa (K_ {m}, ~ Q_ {m + 1})экв. 0}$ . The индекс бұл градиент жолының бүтін мәні ретінде анықталған

{displaystyleсен (ho) = {frac {prod _ {m = 1} ^ {M-1} -kappa (K_ {m}, Q_ {m + 1})} {prod _ {m = 1} ^ {M} kappa (K_ {m}, Q_ {m})}}}

.

Мұндағы бөлінудің мағынасы бар, өйткені жұптасқан жасушалардың жиілігі болуы керек ${displaystyle pm 1}$ . Дискретті Морзе функциясының мәндері бойынша құрастырылғанын ескеріңіз ${displaystyle mu}$ төмендеуі керек ${displaystyleхо}$ . Жол ${displaystyleхо}$ айтылады қосу екі маңызды жасушалар ${displaystyle A, A'in {mathcal {A}}}$ егер ${displaystyle kappa (A, Q_ {1})экв. 0экв каппа (K_ {M}, A ')}$ . Бұл қатынас келесі түрде көрінуі мүмкін ${displaystyle A {стекль {ho} {o}} A '}$ . The көптік бұл байланыс бүтін сан ретінде анықталған ${displaystyle m (ho) = kappa (A, Q_ {1}) cdotсен (хо) cdot kappa (K_ {M}, A ')}$ . Соңында Морздың шекара операторы критикалық жасушаларда ${displaystyle {mathcal {A}}}$ арқылы анықталады

{displaystyle Delta (A) = kappa (A, A ') + sum _ {A {stackrel {ho} {o}} A '} m (хо) А '}

мұндағы қосылыс барлық градиент жолдарының қосылыстары бойынша алынады ${displaystyle A}$ дейін ${displaystyle A '}$ .

Негізгі нәтижелер

Үздіксіз Морзе теориясының көптеген таныс нәтижелері дискретті жағдайда қолданылады.

Морзе теңсіздіктері

Келіңіздер ${displaystyle {mathcal {A}}}$ CW кешенімен байланысты Морзе кешені болуы ${displaystyle {mathcal {X}}}$ . Нөмір ${displaystyle m_ {q} = | {mathcal {A}} _ {q} |}$ туралы ${displaystyle q}$ - ұялы телефондар ${displaystyle {mathcal {A}}}$ деп аталады ${displaystyle q ^ {th}}$ Морз нөмірі. Келіңіздер ${displaystyle eta _ {q}}$ белгілеу ${displaystyle q ^ {th}}$ Бетти нөмірі туралы ${displaystyle {mathcal {X}}}$ . Содан кейін, кез-келген үшін ${displaystyle N> 0}$ , келесі теңсіздіктер^[9] ұстаңыз

{displaystyle m_ {N} geq eta _ {N}}

, және

{displaystyle m_ {N} -m_ {N-1} + ldots pm m_ {0} geq eta _ {N} - eta _ {N-1} + ldots pm eta _ {0}}

Оның үстіне Эйлерге тән ${displaystyle chi ({mathcal {X}})}$ туралы ${displaystyle {mathcal {X}}}$ қанағаттандырады

{displaystyle chi ({mathcal {X}}) = m_ {0} -m_ {1} + ldots pm m_ {dim {mathcal {X}}}}

Дискретті морз гомологиясы және гомотопия түрі

Келіңіздер ${displaystyle {mathcal {X}}}$ шекаралық операторы бар тұрақты CW кешені болуы керек ${displaystyle ішінара}$ және дискретті Морзе функциясы ${displaystyle mu: {mathcal {X}} o mathbb {R}}$ . Келіңіздер ${displaystyle {mathcal {A}}}$ Морзаның шекаралас операторымен байланысты Морзе кешені ${displaystyle Delta}$ . Сонда, бар изоморфизм^[10] туралы гомология топтар

{displaystyle H _ {*} ({mathcal {X}}, ішінара) simeq H _ {*} ({mathcal {A}}, Delta),}

және сол сияқты гомотопия топтары үшін.

Сондай-ақ қараңыз

Әдебиеттер тізімі

^ Мори, Франческа; Салветти, Марио (2011), «Конфигурация кеңістігінің (дискретті) Морзе теориясы» (PDF), Математикалық зерттеу хаттары, 18 (1): 39–57, дои:10.4310 / MRL.2011.v18.n1.a4, МЫРЗА 2770581
^ Персей: Тұрақты гомология бағдарламалық жасақтама.
^ Мишайков, Константин; Нанда, Видит (2013). «Фильтрлеудің морс теориясы және тұрақты гомологияны тиімді есептеу». Дискретті және есептеу геометриясы. 50 (2): 330–353. дои:10.1007 / s00454-013-9529-6.
^ У.Бауэр, К.Ланге және М.Вардецки: Беттердегі дискретті функцияларды оңтайлы топологиялық жеңілдету
^ Т Левинер, Х Лопес және Г Таварес: Форманның дискретті Морзе теориясының топологиялық көрнекілікке және торды қысуға қолдануы Мұрағатталды 2012-04-26 сағ Wayback Machine
^ «топология құралдар жинағы».
^ Мишайков, Константин; Нанда, Видит (2013). «Фильтрация және тұрақты гомологияны тиімді есептеудің морздық теориясы». Дискретті және есептеу геометриясы. 50 (2): 330–353. дои:10.1007 / s00454-013-9529-6.
^ Форман, Робин: Морз теориясы жасуша кешендеріне арналған Мұрағатталды 24 сәуір 2012 ж Wayback Machine, Лемма 2.5
^ Форман, Робин: Морз теориясы жасуша кешендеріне арналған Мұрағатталды 24 сәуір 2012 ж Wayback Machine, Қорытындылар 3.5 және 3.6
^ Форман, Робин: Морз теориясы жасуша кешендеріне арналған Мұрағатталды 24 сәуір 2012 ж Wayback Machine, Теорема 7.3

Форман, Робин (2002). «Дискретті Морзе теориясы бойынша пайдаланушыға арналған нұсқаулық» (PDF). Комбинатуардағы Séminaire Lotharingien. 48: Өнер. B48c, 35 бет. МЫРЗА 1939695.
Козлов, Дмитрий (2007). Комбинаторлық алгебралық топология. Математикадағы алгоритмдер және есептеу. 21. Берлин: Шпрингер. ISBN 978-3540719618. МЫРЗА 2361455.
Джонссон, Якоб (2007). Графиктердің қарапайым комплекстері. Спрингер. ISBN 978-3540758587.
Орлик, Петр; Welker, Volkmar (2007). Алгебралық комбинаторика: Нордфьордеидадағы жазғы мектептегі дәрістер. Университекст. Спрингер. дои:10.1007/978-3-540-68376-6. ISBN 978-3540683759. МЫРЗА 2322081.
«Дискретті Морзе теориясы». nLab.

[1] Мори, Франческа; Салветти, Марио (2011), «Конфигурация кеңістігінің (дискретті) Морзе теориясы» (PDF), Математикалық зерттеу хаттары, 18 (1): 39–57, дои:10.4310 / MRL.2011.v18.n1.a4, МЫРЗА 2770581

[2] Персей: Тұрақты гомология бағдарламалық жасақтама.

[3] Мишайков, Константин; Нанда, Видит (2013). «Фильтрлеудің морс теориясы және тұрақты гомологияны тиімді есептеу». Дискретті және есептеу геометриясы. 50 (2): 330–353. дои:10.1007 / s00454-013-9529-6.

[4] У.Бауэр, К.Ланге және М.Вардецки: Беттердегі дискретті функцияларды оңтайлы топологиялық жеңілдету

[5] Т Левинер, Х Лопес және Г Таварес: Форманның дискретті Морзе теориясының топологиялық көрнекілікке және торды қысуға қолдануы Мұрағатталды 2012-04-26 сағ Wayback Machine

[6] «топология құралдар жинағы».

[7] Мишайков, Константин; Нанда, Видит (2013). «Фильтрация және тұрақты гомологияны тиімді есептеудің морздық теориясы». Дискретті және есептеу геометриясы. 50 (2): 330–353. дои:10.1007 / s00454-013-9529-6.

[8] Форман, Робин: Морз теориясы жасуша кешендеріне арналған Мұрағатталды 24 сәуір 2012 ж Wayback Machine, Лемма 2.5

[9] Форман, Робин: Морз теориясы жасуша кешендеріне арналған Мұрағатталды 24 сәуір 2012 ж Wayback Machine, Қорытындылар 3.5 және 3.6

[10] Форман, Робин: Морз теориясы жасуша кешендеріне арналған Мұрағатталды 24 сәуір 2012 ж Wayback Machine, Теорема 7.3

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]