Klik kompleksi - Clique complex

Bir grafiğin klik kompleksi. Bir boyuttaki klipler küçük kırmızı diskler olarak gösterilir; iki boyuttaki klikler, siyah çizgi bölümleri olarak gösterilir; Üç boyutlu klikler, açık mavi üçgenler olarak gösterilir; ve dört boyuttaki klikler koyu mavi tetrahedra olarak gösterilmiştir.

Klik kompleksleri, bayrak kompleksleri, ve konformal hipergraflar yakından ilişkilidir matematiksel içindeki nesneler grafik teorisi ve geometrik topoloji her birinin tanımladığı klikler (tam alt grafikler) bir yönsüz grafik.

Klik kompleksi X(G) yönsüz bir grafiğin G bir soyut basit kompleks (yani, alt kümeleri alma işlemi altında kapatılan sonlu kümeler ailesi), kliklerindeki köşe kümelerinden oluşan G. Bir kliğin herhangi bir alt kümesinin kendisi bir kliktir, bu nedenle bu kümeler ailesi, ailedeki bir kümenin her alt kümesinin de ailede olması gereken soyut basit bir kompleks gereksinimini karşılar. Klik kompleksi, aynı zamanda, her bir kliğin bulunduğu topolojik bir uzay olarak da görülebilir. k köşeler bir ile temsil edilir basit boyut k - 1. 1 iskelet nın-nin X(G) (aynı zamanda temel grafik Kompleksin), ailedeki her 1 element seti için bir tepe noktası ve ailedeki her 2 element seti için bir kenarı olan yönsüz bir grafiktir; izomorfiktirG.[1]

Klik kompleksleri aynı zamanda Whitney kompleksleri, sonra Hassler Whitney. Bir Whitney nirengi veya iki boyutlu bir manifold bir gömme bir grafiğin G her yüz bir üçgen ve her üçgen bir yüz olacak şekilde manifolda yerleştirin. Bir grafik G Whitney triangülasyonu vardır, Whitney kompleksinin izomorfik bir hücre kompleksi oluşturması gerekir. G. Bu durumda, kompleks (topolojik uzay olarak görülür) homomorfik temeldeki manifolda. Grafik G 2 manifoldlu bir klik kompleksine sahiptir ve bir Whitney üçgenlemesi olarak gömülebilir, ancak ve ancak G dır-dir yerel döngüsel; bu, her köşe için v grafikte indüklenmiş alt grafik komşularının oluşturduğu v tek bir döngü oluşturur.[2]

G'nin klik kompleksi, bağımsızlık kompleksi of tamamlayıcı grafik nın-nin G.

Bayrak kompleksi

Bir soyut basit kompleks, bir set S kendisi kompleksin bir yüzü olmayan, ancak içindeki her bir köşe çifti olacak şekilde S kompleksteki bir yüze aittir, denir boş simpleks. Mikhail Gromov tanımlanmış koşulsuz bir kompleksin boş basitlikleri olmaması koşulu. Bir bayrak kompleksi boş basitlik içermeyen soyut basit bir komplekstir; yani, bu karmaşık bir tatmin edici Gromov'dur-Δ koşulu. Herhangi bir bayrak kompleksi, 1 iskeletinin klik kompleksidir. Dolayısıyla bayrak kompleksleri ve klik kompleksleri esasen aynı şeydir. Bununla birlikte, birçok durumda, bir bayrak kompleksini, dolaylı olarak, bu verilerden türetilen bir grafiğin klik kompleksi olarak değil, bir grafik dışındaki bazı verilerden doğrudan tanımlamak uygun olabilir.[3]

Uyumlu hipergraf

ilkel grafik G(H) bir hiper grafik aynı köşe kümesindeki, kenarlarında aynı yerde birlikte görünen köşe çiftlerine sahip olan grafiktir. hiper kenar. Bir hiper grafiğin olduğu söyleniyor uyumlu birincil grafiğinin her maksimal kliği bir hiper uçsa veya eşdeğer olarak, birincil grafiğinin her kliği bir hiper kenarda yer alıyorsa.[4] Eğer hiper grafiğin aşağıya doğru kapatılması gerekiyorsa (bu nedenle, bazı hiper kenarda bulunan tüm hiper kenarları içerir), o zaman hipergraf, bir bayrak kompleksi olduğunda tam olarak uyumludur. Bu, hiper grafiklerin dilini basit komplekslerin diliyle ilişkilendirir.

Örnekler ve uygulamalar

barycentric alt bölüm herhangi bir hücre kompleksi C her hücre için bir tepe noktasına sahip bir bayrak kompleksidir. C. Barisantrik altbölümün köşelerinden oluşan bir koleksiyon, bir simpleks oluşturur, ancak ve ancak karşılık gelen hücre koleksiyonu C oluşturmak bayrak (hücrelerin dahil edilme sıralamasında bir zincir).[3] Özellikle, bir 2-manifold üzerindeki bir hücre kompleksinin baryantrik alt bölümü, manifoldun bir Whitney üçgenlemesine yol açar.

sipariş kompleksi bir kısmen sıralı küme zincirlerden oluşur (tamamen sipariş kısmi siparişin alt kümeleri). Bir alt kümenin her çifti kendi başına sıralıysa, tüm alt küme bir zincirdir, dolayısıyla sıra kompleksi no-Δ koşulunu karşılar. Klik kompleksi olarak yorumlanabilir. karşılaştırılabilirlik grafiği kısmi düzenin.[3]

eşleşen kompleks Bir grafiğin ikisi de bir bitiş noktasını paylaşmayan kenar kümelerinden oluşur; yine, bu küme ailesi Δ-yok koşulunu karşılar. Klik kompleksi olarak görülebilir. tamamlayıcı grafik of çizgi grafiği verilen grafiğin. Eşleştirme kompleksi bağlam olarak belirli bir grafik olmadan bahsedildiğinde, bu, bir tam grafik. Bir eşleştirme kompleksi tam iki parçalı grafik Km,n olarak bilinir satranç tahtası kompleksi. Bir tamamlayıcı grafiğin klik grafiğidir. kalenin grafiği,[5] ve sadeliklerinin her biri, bir kale üzerindeki kalelerin yerleştirilmesini temsil eder. m × n satranç tahtası öyle ki kalelerden ikisi birbirine saldırmaz. Ne zaman m = n ± 1, satranç tahtası kompleksi bir sözde manifold.

Vietoris-Rips kompleksi bir metrik uzayda bir dizi nokta, bir klik kompleksinin özel bir durumudur. birim disk grafiği puanların; ancak her grup kompleksi X (G) Vietoris-Rips kompleksi olarak yorumlanabilir. en kısa yol temel alınan grafikteki metrik G.

Hodkinson ve Otto (2003) İlişkisel yapıların mantığında konformal hipergrafların bir uygulamasını betimler. Bu bağlamda, Gaifman grafiği İlişkisel bir yapının yapısı, yapıyı temsil eden hiper grafiğin temel grafiğiyle aynıdır ve bir yapı korunan uyumlu bir hiper grafiğe karşılık geliyorsa.

Gromov, kübik bir kompleksin (yani, bir aile hiperküpler kesişen yüz yüze) bir CAT (0) alanı ancak ve ancak kompleks basitçe bağlıysa ve her köşenin bağlantısı bir bayrak kompleksi oluşturuyorsa. Bu koşulları karşılayan bir kübik kompleks bazen küp veya a duvarlı boşluk.[1][6]

Homoloji grupları

Meşulam[7] klik kompleksinin homolojisi üzerine aşağıdaki teoremi kanıtlar. Verilen tam sayılar bir grafik varsayalım G denilen bir özelliği karşılar , bu şu anlama gelir:

  • Her set köşeler G ortak bir komşusu var;
  • Bir set var Bir her bir dizi için ortak bir komşu içeren köşeler köşeler ve ayrıca indüklenen grafik G[Bir], indüklenmiş bir alt grafik olarak, 1 iskelet of t-boyutlu sekiz yüzlü küre.

Sonra j- klik kompleksi X'in indirgenmiş homolojisi (G) herhangi biri için önemsizdir j 0 ile .

Ayrıca bakınız

Notlar

  1. ^ a b Bandelt ve Chepoi (2008).
  2. ^ Hartsfeld ve Ringel (1991); Larrión, Neumann-Lara ve Pizaña (2002); Malnič ve Mohar (1992).
  3. ^ a b c Davis (2002).
  4. ^ Berge (1989); Hodkinson ve Otto (2003).
  5. ^ Dong ve Wachs (2002).
  6. ^ Chatterji ve Niblo (2005).
  7. ^ Meşulam Roy (2001-01-01). "Klique Kompleksi ve Hipergraf Eşleştirme". Kombinatorik. 21 (1): 89–94. doi:10.1007 / s004930170006. ISSN  1439-6912. S2CID  207006642.

Referanslar