الگوریتم فرم‌سازی کانونیکال در جبر چندضلعی‌ها — به قلم و تدریس: دکتر مصطفی شاهزمانیان
بسم‌الله الرّحمن الرّحیم. در ساحت توپولوژی جبری و هندسه رویه‌ها، پس از اجرای «الگوریتم حذف» و پاک‌سازی جفت‌های زائد، کلمه مرزی به مجموعه‌ای از اضلاع جفت‌شده تقلیل می‌یابد؛ اما ساختار آن لزوماً استاندارد نیست. الگوریتم فرم‌سازی (Canonical Form Transformation)، چارچوبی اصیل بر پایه برش و دوخت هندسی است که به بیان استاد فرزانه، دکتر مصطفی شاهزمانیان، کلمه را از آشفتگی ترکیبیاتی به ساختارهای بنیادینِ زیر هدایت می‌کند:
فرم کانونیکال جهت‌پذیر: ∏i=1g (ai bi ai-1 bi-1) | فرم کانونیکال جهت‌ناپذیر: ∏j=1k (cj cj)
مراحل بنیادین الگوریتم فرم‌سازی (Canonical Algorithm Steps)
مرحله ۱: تک‌کلاسه کردن رئوس (Single Vertex Identification)
اگر چندضلعی دارای بیش از یک کلاس هم‌ارزی در رئوس باشد (P و Q)، با ایجاد یک برش درونی میان P و Q و الحاق آن به یال مرزی هم‌ارز، تمام رئوس چندضلعی در یک کلاس واحد ادغام می‌گردند. شرط ورود به فرم کانونیکال، تک‌رأسی بودن خارج‌قسمت است.
مرحله ۲: مجاور ساختن جفت‌های هم‌جهت / کلاهک‌های تصویری (Cross-Cap Gathering)
هرگاه جفت‌حروفی از نوع دوم (غیرجهت‌پذیر) با فاصله در کلمه پدیدار شوند (... a ... a ...):
- کلمه به فرم W = a α a β بازنویسی می‌شود.
- با برش در امتداد قطر و معکوس‌سازی زیرکلمه α، این جفت به دو حرف چسبیده تبدیل می‌گردند:
a α a β → c c α-1 β
- این زنجیره نشان‌دهنده یک کلاهک تصویری (صفحه تصویری RP2) در فرم کانونیکال است.
مرحله ۳: جفت‌سازی پیوند متقاطع چنبره‌ای (Commutator Packaging)
اگر همه اضلاع از نوع اول (a و a-1) باشند، وجود اضلاع متقاطع ضروری است:
W = a ... b ... a-1 ... b-1 ...
با اعمال دو برش قطری متوالی و چسباندن دوباره قطعات، این چهار حرف مجزا در یک بلاک بسته کانونیکال محصور می‌شوند:
[a, b] = a b a-1 b-1 (یک دسته توروس T2)
مرحله ۴: اعمال قضیه دایک در حالت‌های آمیخته (Dyck's Unification Rule)
چنانچه کلمه‌ای هم‌زمان شامل بلاک توروس [a, b] و کلاهک تصویری (c c) باشد، طبق برهان استاد شاهزمانیان، توروس در مجاورت کلاهک جهت‌ناپذیر پایداری جهت‌داری خود را از دست می‌دهد:
T2 # RP2 ≡ (a b a-1 b-1)(c c) → d1 d1 d2 d2 d3 d3 ≡ 3RP2
بنابراین کل فرم به کلمات نوع دوم (مربعی خالص) تقلیل می‌یابد.
| گام عملیاتی | هدف هندسی برش و دوخت | خروجی جبری قطعه |
|---|---|---|
| یکسان‌سازی رأس | تبدیل تمام گوشه‌ها به نقطه اشتراک واحد | v = 1 |
| تجمع جفت هم‌جهت | چسباندن جفت‌های متناظر نوار موبیوس | ck ck |
| بسته‌بندی براکت | ایجاد لوپ‌های دورانی چنبره دسته به دسته | ai bi ai-1 bi-1 |
غایت الگوریتم فرم‌سازی از دیدگاه استاد دکتر مصطفی شاهزمانیان:
«غایت الگوریتم فرم‌سازی، زدودن اثر شکل ظاهری چندضلعی و متجلی ساختن سرشت توپولوژیک آن است؛ به‌گونه‌ای که در پایان فرآیند، تنها با شمردن تعداد بلاک‌های چهارگانه یا جفت‌های دوگانه، جنس رویه (g) و تیپ جهت‌پذیری آن بدون کوچک‌ترین ابهامی معین گردد.»
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.