نظریه تراوش

بندانگشتی|چپ|نمایی سه‌بعدی از گراف نفوذ
در ریاضیات،  **نظریه تراوِش** به توضیح رفتار خوشه‌ها در گراف‌های تصادفی می‌پردازد. از کاربردهای نظریه تراوش می‌توان در علم مواد و دیگر حوزه‌هایی که در مورد نفوذ و تراوش مواد بحث می‌کنند استفاده کرد.

## مقدمه
علت نامگذاری نظریه تراوش و سرآغاز آن این سؤال است، فرض کنید مایعی در بالای جسمی منفذدار ریخته شده‌است، آیا می‌تواند با گذر از منافذ این جسم خود را به سطح پایینی آن برساند؟ این سؤال که در دنیای واقعی و فیزیک مطرح می‌شود در ریاضیات به صورت شبکهٔ سه بعدی از n*n*n راس مدل‌سازی می‌شود، به هرکدام از این رئوس اتاقک هم گفته می‌شود، یال بین هر دو راس می‌تواند مستقل از بقیه یال‌ها به احتمال *p* باز باشد (اجازه انتقال ماده را بدهد) یا به احتمال 1-*p* بسته باشد. در اینصورت برای هر *p* داده شده احتمال اینکه مسیری از یال‌های باز از رئوس بالایی به رئوس پایینی وجود داشته باشد چقدر است؟ هدف اولیه این سؤال بررسی رفتار گراف برای nهای بزرگ می‌باشد.
بندانگشتی|چپ|تراوش زنجیره‌ای و تراوش اتاقکی
این مسئله که **تراوش زنجیره‌ای** نامیده می‌شود اولین بار در ریاضیات توسط «Broadbent» و «Hammersley» مطرح شده و تا به حال توسط تعدادی از فیزیکدانان و ریاضیدانان مشتاقانه دنبال شده‌است.

در مدل‌سازی دیگری با تفاوت کمی برای بدست آوردن گراف تصادفی، فرض می‌کنیم که هر کدام از اتاقک‌ها به احتمال *p* «پر» و با احتمال ۱-*p* «خالی» هستند (یال‌ها در این مدل حذف شده‌اند). در این مسئله که **تراوش اتاقکی** نامیده می‌شود سؤال مانند قبل است: برای هر *p* داده شده احتمال اینکه مسیری از اتاقک‌های پر از بالا به سطح پایینی وجود داشته باشد چقدر است؟

البته همین سؤالات را می‌توان برای هر ابعادی از شبکه مطرح کرد. همان‌طور که واضح است، بررسی یک شبکه نامحدود نسبت به یک شبکه با ابعاد بزرگ ساده‌تر است. در این حالت سؤال بالا به این صورت در می‌آید: آیا خوشهٔ بازبینهایت وجود دارد؟ یا به عبارتی آیا در میان رأس‌های متصل به هم مسیری به طول بینهایت در داخل شبکه وجود دارد؟ با توجه به قانون کولموگوروف، برای هر *p* داده شده، احتمال اینکه چنین خوشه‌ای وجود داشته باشد یا یک است یا صفر. از آنجایی که این احتمال تابعی صعودی از *p* است، یک نقطهٔ **بحرانی** از *p* وجود دارد (که با *p*c نشان داده می‌شود) که قبل از این نقطه به احتمال ۰ و بعد از آن به احتمال ۱ چنین مسیری وجود خواهد داشت. در عمل این تغییر فاز بحرانی به راحتی قابل مشاهده است. حتی اگر n به مانند ۱۰۰ کوچک هم باشد، احتمال اینکه مسیری از بالا به سطح پایینی وجود داشته باشد در بازه‌ای نزدیک به *p*c از نزدیکی‌های صفر تا نزدیکی‌های یک به شدت افزایش می‌یابد.

بندانگشتی|تراوش زنجیره‌ای یک شبکه مربعی در دو بعد با احتمال تراوش ''p''=۰٫۵۱

در بعضی موارد *p*c به‌طور مستقیم قابل محاسبه می‌باشد. برای مثال، در تراوش زنجیره‌ای در شبکه مربعی **Z**۲ و در دو بعد، *p*c=۱/۲ است که این مسئله برای مدت ۲۰ سال به صورت سؤالی حل نشده مانده بود و در نهایت نزدیکی‌های سال ۱۹۸۰ توسط هری کستن جوابی برای آن پیدا شد. حالت محدودی برای شبکه‌ها در ابعاد بسیار توسط شبکه بته داده شده‌است، که در آن آستانهٔ بحران برای عدد مختصاتی z در *p*c=1/(z-۱) می‌باشد. در بیشتر گراف‌های شبکه‌ای نامتناهی نمی‌توان *p*c را به صورت دقیق تعیین کرد. برای مثال برای تراوش زنجیره‌ای در مکعب‌های چند بعدی *p*c نامعلوم می‌باشد.

## تمامیت
بنابر اصل تمامیت مقدار p*c* به ساختار گراف وابسته است؛ درحالی که رفتار خوشه‌ها برای مقادیر p*c*، بیش از آن و کمتر از آن مستقل از ساختار گراف می‌باشد؛ بنابراین برای بررسی برخی مسائل کمیت‌هایی به جز p*c*، که مستقل از ساختار گراف هستند در نظر گرفته می‌شود. برای مثال برای بعدهای یکسان، بعد فراکتالی خوشه‌ها برای p*c* برابر می‌باشد؛ و از نوع تراوش (برای مثال اتاقکی یا زنجیره‌ای) و نوع شبکه‌بندی مستقل است.

## فازها
### فازهای زیربحرانی و فوق بحرانی
ویژگی مهم فاز زیر بحرانی «فروپاشی نمایی» آن است. وقتی که p* <*p*c* است، احتمال اینکه نقطه‌ای خاص که در خوشهٔ بازی به اندازه r قرار دارد فروپاشی کرده و اندازه‌اش خوشه صفر شود، متناسب با توان r است. این موضوع برای برای ترواش در بیش از دو بعد توسط Menshikov (1986) و به‌طور جداگانه توسط Aizenman & Barsky (1987) اثبات شده‌است. برای ترواش در دو بعد نیز، حالتی از برهان Kesten می‌باشد.
گراف یکریخت شبکه مربعی **Z**2، خود نیز شبکه مربعی می‌باشد؛ بنابراین، برای ترواش در دو بعد، فاز فوق بحرانی دوگان فرایند ترواش زیربحرنی است. مهم‌ترین نتیجه در مورد فاز فوق بحرانی تراوش در بیش از دو بعد، این است که، برای N به اندازه کافی بزرگ، خوشه باز نامتناهی در صفحه دوبعدی **Z**2 × [0, *N*] وجود دارد. این موضوع را Grimmett & Marstrand (1990) ثابت کرده‌اند.
در تراوش دو بعدی با *p* 

## منابع

رده:نظریه تراوش
رده:ترکیبیات
رده:گذارهای فاز
رده:مدل‌های شبکه
رده:نظریه احتمالات