We consider bond percolation on the $d$-dimensional binary hypercube with $p=c/d$ for fixed $c>1$. We prove that the typical diameter of the giant component $L_1$ is of order $Î(d)$, and the typical mixing time of the lazy random walk on $L_1$ is of order $Î(d^2)$. This resolves long-standing open problems of Bollobás, Kohayakawa and Åuczak from 1994, and of Benjamini and Mossel from 2003.
A key component in our approach is a new tight large deviation estimate on the number of vertices in $L_1$ whose proof includes several novel ingredients: a structural description of the residue outside the giant component after sprinkling, a tight quantitative estimate on the spread of the giant in the hypercube, and a stability principle which rules out the disintegration of large connected sets under thinning. This toolkit further allows us to obtain optimal bounds on the expansion in $L_1$.
- পেপার আইডি: 2510.13348
- শিরোনাম: পার্কোলেটেড হাইপারকিউবের বৃহত্তম উপাদানের ব্যাস এবং মিশ্রণ সময়
- লেখক: মাইকেল অ্যানাস্টোস, সাহার ডিসকিন, লিউবেন লিচেভ, ম্যাক্সিম ঝুকোভস্কি
- শ্রেণীবিভাগ: math.PR (সম্ভাব্যতা তত্ত্ব), math.CO (সমন্বয় গণিত)
- প্রকাশনার সময়: ২০২৫ সালের অক্টোবর ১৫ (arXiv প্রাক-প্রিন্ট)
- পেপার লিঙ্ক: https://arxiv.org/abs/2510.13348
এই পত্রটি d-মাত্রিক বাইনারি হাইপারকিউবে প্যারামিটার p=c/d (স্থির c>1) সহ প্রান্ত পার্কোলেশন সমস্যা অধ্যয়ন করে। এটি প্রমাণ করে যে বৃহত্তম সংযুক্ত উপাদান L1 এর সাধারণ ব্যাস Θ(d) ক্রমের, এবং এর উপর অলস র্যান্ডম ওয়াকের সাধারণ মিশ্রণ সময় Θ(d2) ক্রমের। এটি বোলোবাস, কোহায়াকাওয়া এবং লুকজাক দ্বারা ১৯৯৪ সালে এবং বেঞ্জামিনি ও মোসেল দ্বারা ২০০৩ সালে উত্থাপিত দীর্ঘস্থায়ী উন্মুক্ত সমস্যা সমাধান করে।
পদ্ধতির মূল উপাদান হল L1 তে শীর্ষবিন্দুর সংখ্যার একটি নতুন কঠোর বড় বিচ্যুতি অনুমান, যার প্রমাণে বেশ কয়েকটি উপন্যাস উপাদান রয়েছে: ছিটানোর পরে বৃহত্তম উপাদানের বাইরে অবশিষ্ট কাঠামোর বর্ণনা, হাইপারকিউবে বৃহত্তম উপাদানের বিস্তারের কঠোর পরিমাণগত অনুমান, এবং বিরল করার অধীনে বড় সংযুক্ত সেটগুলির বিয়োজনকে বাদ দেওয়ার স্থিতিশীলতা নীতি। এই সরঞ্জাম সেট আমাদের L1 তে সম্প্রসারণের সর্বোত্তম সীমানা পেতে আরও অনুমতি দেয়।
১. পার্কোলেশন তত্ত্বের ভিত্তি: d-মাত্রিক বাইনারি হাইপারকিউব Qd হল শীর্ষবিন্দু সেট {0,1}d সহ একটি গ্রাফ, যেখানে দুটি শীর্ষবিন্দু সংলগ্ন হয় যদি এবং শুধুমাত্র যদি তারা একটি একক স্থানাঙ্কে আলাদা হয়। p-পার্কোলেটেড হাইপারকিউব Qdp প্রতিটি প্রান্তকে সম্ভাব্যতা p দিয়ে স্বাধীনভাবে ধরে রেখে প্রাপ্ত হয়।
२. সংকটপূর্ণ ঘটনা: যখন p=c/d এবং c<1 হয়, Qdp সাধারণত শুধুমাত্র O(d) ক্রমের উপাদান ধারণ করে; যখন c>1 হয়, একটি রৈখিক আকারের বৃহত্তম সংযুক্ত উপাদান L1 বিদ্যমান থাকে, যা প্রায় y⋅2d শীর্ষবিন্দু ধারণ করে, যেখানে y=y(c) হল পয়েসন(c) প্যারামিটার সহ একটি গ্যালটন-ওয়াটসন প্রক্রিয়ার বেঁচে থাকার সম্ভাবনা।
३. অমীমাংসিত সমস্যা:
- ব্যাস সমস্যা (১৯৯৪): বোলোবাস এবং অন্যরা জিজ্ঞাসা করেছেন বৃহত্তম উপাদানের সাধারণ ব্যাস d এর বহুপদ কিনা, বিশেষত Θc(d) কিনা
- মিশ্রণ সময় সমস্যা (२००३): বেঞ্জামিনি এবং মোসেল জিজ্ঞাসা করেছেন অলস র্যান্ডম ওয়াকের অ্যাসিম্পটোটিক মিশ্রণ সময় Θc(d2) কিনা
१. তাত্ত্বিক গুরুত্ব: এই সমস্যাগুলি উচ্চ-মাত্রিক র্যান্ডম গ্রাফের মৌলিক জ্যামিতিক বৈশিষ্ট্য জড়িত, পার্কোলেশন তত্ত্বে সংকটপূর্ণ ঘটনা বোঝার জন্য গুরুত্বপূর্ণ
२. প্রযুক্তিগত চ্যালেঞ্জ: এরডস-রেনি র্যান্ডম গ্রাফ G(n,c/n) এর বিপরীতে, হাইপারকিউবের অ-সমজাতীয় কাঠামো সরাসরি পদ্ধতি প্রয়োগ করা কঠিন করে তোলে
३. বিদ্যমান সীমাবদ্ধতা:
- এরডে এবং অন্যরা (२०२१) ব্যাস O(d3) প্রমাণ করেছেন
- ডিসকিন এবং অন্যরা (२०२४) এটি O(d(logd)2) এ উন্নত করেছেন
- মিশ্রণ সময়ের উপরের সীমা O(d11) থেকে O(d2(logd)2) এ উন্নত হয়েছে
१. দীর্ঘস্থায়ী উন্মুক্ত সমস্যা সমাধান:
- বৃহত্তম উপাদান L1 এর ব্যাস Θ(d) প্রমাণ করে
- অলস র্যান্ডম ওয়াকের মিশ্রণ সময় Θ(d2) প্রমাণ করে
२. কঠোর বড় বিচ্যুতি অনুমান প্রতিষ্ঠা: ∣V(L1)∣ এর জন্য নির্ভুল উপরের এবং নিচের লেজ সম্ভাব্যতা সীমানা প্রদান করে
३. নতুন প্রযুক্তিগত সরঞ্জাম বিকাশ:
- ছিটানোর পরে কাঠামোর বর্ণনা
- বৃহত্তম উপাদান বিস্তারের পরিমাণগত অনুমান
- বিরল করার অধীনে স্থিতিশীলতা নীতি
४. সর্বোত্তম সম্প্রসারণ সীমানা অর্জন: L1 তে সংযুক্ত সেটগুলির প্রান্ত সম্প্রসারণ বৈশিষ্ট্য প্রমাণ করে
উপপাদ্য १: স্থির c>1 এর জন্য, p=c/d সেট করুন। তারপর উচ্চ সম্ভাব্যতায় বৃহত্তম উপাদান L1 সন্তুষ্ট করে:
- (a) L1 এর ব্যাস Θc(d)
- (b) L1 উপর অলস র্যান্ডম ওয়াকের মিশ্রণ সময় Θc(d2)
উপপাদ্য २ (বড় বিচ্যুতি অনুমান): ধ্রুবক ε=ε(c)>0 বিদ্যমান থাকে যাতে সমস্ত t≥2d/d0.1 এর জন্য:
P(∣V(L1)∣≥y2d+t)≤exp(−2d(log(2d/t))2εt2)
P(∣V(L1)∣≤y2d−t)≤exp(−dεtlog(2d/t))
p1=(c−δ)/d এবং p2 সেট করুন যাতে (1−p1)(1−p2)=1−p, সংজ্ঞায়িত করুন:
- G1=Qdp1
- G2=G1∪Qdp2 (স্বাধীন নমুনা)
মনোযোগ দিন G2 Qdp এর সাথে একই বিতরণ।
যথেষ্ট ছোট η=η(c)>0 এর জন্য, ε=ε(c,δ,η)>0 বিদ্যমান থাকে যাতে নিম্নলিখিত শর্তগুলি একযোগে সন্তুষ্ট করে এমন শীর্ষবিন্দু সেট S বিদ্যমান থাকার সম্ভাবনা সর্বাধিক exp(−εk):
- ∣S∣=k∈[d51,n]
- G2[S] এর প্রতিটি সংযুক্ত উপাদান আকার কমপক্ষে d10
- G1 তে S এবং V(Qd)∖S এর মধ্যে কোন প্রান্ত নেই
- ∣V(M[0,2)−)∩S∣≥(1−η)k
যথেষ্ট ছোট ধ্রুবক ε,γ,ν>0 এবং t∈[n1−γ,n] এর জন্য:
P(∣Vbad(ε)∣≥t)≤e−νt
যেখানে Vbad(ε) হল বৃহত্তম উপাদানে "খারাপ" শীর্ষবিন্দুর সেট যাদের εd এর চেয়ে কম প্রতিবেশী রয়েছে।
१. কাঠামো বিয়োজন: বৃহত্তম উপাদানের বাইরে প্রদর্শিত হতে পারে এমন বড় উপাদানগুলি দুটি শ্রেণীতে বিভক্ত করুন:
- টাইপ-१: অনেক ছোট G1-উপাদান একত্রিত করে গঠিত
- টাইপ-२: কয়েকটি বড় G1-উপাদানের সাথে সমন্বিত
२. ওজনযুক্ত বিয়োজন এবং বিরলকরণ: টাইপ-१ শীর্ষবিন্দু পরিচালনা করতে উপপাদ্য ३.११ ব্যবহার করুন, অত্যন্ত অসম্ভব ঘটনা বিচ্ছিন্ন করে সম্ভাব্যতা নিয়ন্ত্রণ করুন
३. পরিমাণগত ভাল বিস্তার: প্রমাণ করুন যে প্রায় সমস্ত বড় G1-উপাদানের বাইরের শীর্ষবিন্দুর বৃহত্তম উপাদানে অনেক প্রতিবেশী রয়েছে
এই পত্রটি বিশুদ্ধ তাত্ত্বিক কাজ, সংখ্যাগত পরীক্ষা জড়িত নয়, বরং কঠোর গাণিতিক প্রমাণের মাধ্যমে ফলাফল প্রতিষ্ঠা করে।
१. উপরের লেজ অনুমান (চতুর্থ অংশ): সীমাবদ্ধ পার্থক্য অসমতা ব্যবহার করে, ছোট উপাদান শীর্ষবিন্দু সংখ্যা প্রত্যাশার উল্লেখযোগ্যভাবে কম পর্যবেক্ষণ ব্যবহার করে
२. নিচের লেজ অনুমান (পঞ্চম অংশ): বহু-পর্যায়ের এক্সপোজার এবং স্থিতিশীলতা নীতি ব্যবহার করুন
३. মিশ্রণ সময় (ষষ্ঠ অংশ): সম্প্রসারণ বৈশিষ্ট্য এবং ফাউন্টুলাকিস-রিড উপপাদ্যের মাধ্যমে
४. ব্যাস (সপ্তম অংশ): নির্দিষ্ট পথ প্রকার এবং সুইচিং যুক্তি নির্মাণ করুন
ধ্রুবক ε=ε(c)>0 বিদ্যমান থাকে যাতে উচ্চ সম্ভাব্যতায়:
- প্রতিটি S⊆V(L1) এর জন্য ∣S∣≤∣V(L1)∣/२ সহ, যদি L1[S] সংযুক্ত হয়, তাহলে L1 S এবং L1∖S এর মধ্যে কমপক্ষে ε∣S∣/d প্রান্ত রয়েছে
- যেকোনো ধ্রুবক δ∈(0,1) এর জন্য, η=η(c,δ)>0 বিদ্যমান থাকে যাতে ∣S∣∈[δy2d,(1−δ)y2d] সহ যেকোনো S⊆V(L1) এর জন্য, L1 S এবং L1∖S এর মধ্যে কমপক্ষে η∣S∣/d প্রান্ত রয়েছে
ধ্রুবক K1=K1(c)>0 এবং K2=K2(c)>0 বিদ্যমান থাকে যাতে 0 এবং 1 Qdp তে দৈর্ঘ্য সর্বাধিক K1d এর পথ দ্বারা সংযুক্ত হওয়ার সম্ভাবনা কমপক্ষে d−K2।
१. কঠোরতা: নিচের লেজ অনুমান t∈[2d/d0.1,y2d] পরিসরে কঠোর (ধ্রুবক ফ্যাক্টর অর্জন করে)
२. সর্বোত্তমতা: সম্প্রসারণ সীমানা Ω(1/d) কঠোর, সাহিত্য २४, দাবি ५.२ এ দেখানো হয়েছে
३. সার্বজনীনতা: প্রযুক্তি হাইপারকিউবের পণ্য কাঠামোর উপর নির্ভর করে না, অন্যান্য বিরল উচ্চ-মাত্রিক পার্কোলেশন মডেলে প্রয়োগ করা যেতে পারে
१. প্রাথমিক কাজ:
- বার্টিন (१९७७), সাপোজেনকো (१९६७): p=1/२ সংযোগযোগ্যতার তীক্ষ্ণ থ্রেশহোল্ড
- এরডস-স্পেন্সার (१९७९): p<१/d যখন শুধুমাত্র O(d) ক্রমের উপাদান
- আজটাই-কোমলোস-সেমেরেডি (१९८२): p>१/d যখন বৃহত্তম উপাদান বিদ্যমান
२. নির্ভুল ফলাফল:
- বোলোবাস-কোহায়াকাওয়া-লুকজাক (१९९२): বৃহত্তম উপাদান আকার y२d+o(२d)
- ভ্যান ডার হফস্টাড-নাচমিয়াস (२०१७): ব্যাপক সমীক্ষা
३. জ্যামিতিক বৈশিষ্ট্য:
- এরডে-কাং-ক্রিভেলেভিচ (२०२१): ব্যাস O(d३), মিশ্রণ সময় O(d११)
- ডিসকিন-এরডে-কাং-ক্রিভেলেভিচ (२०२४): O(d(logd)२) এবং O(d२(logd)२) এ উন্নত
এরডস-রেনি র্যান্ডম গ্রাফ G(n,c/n) এর সাথে তুলনা করে:
- সাদৃশ্য: উভয়েরই রৈখিক আকারের বৃহত্তম উপাদান রয়েছে, অন্যান্য উপাদান O(logn) বা O(d)
- পার্থক্য: হাইপারকিউবের অ-সমজাতীয়তা সরাসরি প্রযুক্তি প্রয়োগ করা কঠিন করে তোলে
- এই পত্রের অবদান: প্রথমবার G(n,c/n) এর সাথে একই সর্বোত্তম ক্রম অর্জন করে
१. উন্মুক্ত সমস্যা সম্পূর্ণভাবে সমাধান: পার্কোলেটেড হাইপারকিউবের বৃহত্তম উপাদানের ব্যাস Θ(d), মিশ্রণ সময় Θ(d२) প্রমাণ করে
२. নির্ভুল তত্ত্ব প্রতিষ্ঠা: বৃহত্তম উপাদান আকারের কঠোর বড় বিচ্যুতি অনুমান প্রদান করে
३. সর্বজনীন প্রযুক্তি বিকাশ: স্থিতিশীলতা নীতি এবং সম্প্রসারণ বিশ্লেষণ অন্যান্য মডেলে প্রয়োগ করা যেতে পারে
१. প্যারামিটার পরিসর: ফলাফল শুধুমাত্র c>१ এর অতি-সংকটপূর্ণ ক্ষেত্রে প্রযোজ্য
२. ধ্রুবক নির্ভরতা: লুকানো ধ্রুবক c এর উপর নির্ভর করে, স্পষ্ট অভিব্যক্তি দেওয়া হয়নি
३. মাত্রা প্রয়োজনীয়তা: অ্যাসিম্পটোটিক আচরণ নিশ্চিত করতে d যথেষ্ট বড় হতে হবে
१. সংকটপূর্ণ ক্ষেত্র: dp=१+o(१) এর প্রায় অতি-সংকটপূর্ণ regime অধ্যয়ন করুন
२. অন্যান্য মডেল: প্রযুক্তি অন্যান্য উচ্চ-মাত্রিক র্যান্ডম গ্রাফে প্রসারিত করুন
३. অ্যালগরিদমিক প্রয়োগ: অ্যালগরিদম এবং কম্পিউটার বিজ্ঞানে প্রয়োগ অন্বেষণ করুন
१. তাত্ত্বিক অগ্রগতি: এই ক্ষেত্রে २५ বছরের মূল উন্মুক্ত সমস্যা সমাধান করে, মাইলফলক তাৎপর্য রয়েছে
२. প্রযুক্তিগত উদ্ভাবন:
- স্থিতিশীলতা নীতি বড় সংযুক্ত সেট পরিচালনার জন্য নতুন সরঞ্জাম প্রদান করে
- বহু-স্কেল বিশ্লেষণ প্রযুক্তি পরিশীলিত এবং সর্বজনীন
- সম্ভাব্যতা অনুমান সর্বোত্তম ক্রম অর্জন করে
३. প্রমাণ কঠোরতা:
- গাণিতিক যুক্তি সম্পূর্ণ এবং বিস্তারিত
- প্রযুক্তিগত পরিচালনা পরিশীলিত এবং সঠিক
- ফলাফলের কঠোরতা যাচাই করা হয়েছে
४. গভীর প্রভাব:
- পার্কোলেশন তত্ত্বে নতুন দৃষ্টিভঙ্গি প্রদান করে
- প্রযুক্তি সম্পর্কিত ক্ষেত্রের উন্নয়নকে প্রভাবিত করতে পারে
- বিশেষজ্ঞদের দীর্ঘদিন ধরে চিন্তিত সমস্যা সমাধান করে
१. প্রযুক্তিগত জটিলতা: প্রমাণ অত্যন্ত জটিল, বোঝা এবং যাচাইকরণের জন্য পেশাদার পটভূমি প্রয়োজন
२. ধ্রুবক অ-নির্মাণমূলক: যদিও অস্তিত্ব প্রমাণ করে, ধ্রুবক মান স্পষ্ট নয়
३. প্রয়োগযোগ্য পরিসর: প্রধান ফলাফল হাইপারকিউব মডেলে সীমাবদ্ধ
१. একাডেমিক মূল্য:
- শীর্ষ-স্তরের জার্নাল মানের তাত্ত্বিক অবদান
- এই ক্ষেত্রের গুরুত্বপূর্ণ রেফারেন্স হয়ে উঠবে
- সম্ভবত পরবর্তী গবেষণা তরঙ্গ সৃষ্টি করবে
२. পদ্ধতিগত অবদান:
- স্থিতিশীলতা নীতি সার্বজনীন প্রয়োগযোগ্যতা রয়েছে
- উচ্চ-মাত্রিক র্যান্ডম কাঠামো পরিচালনার জন্য নতুন সরঞ্জাম প্রদান করে
- প্রযুক্তিগত কাঠামো অন্যান্য সমস্যায় সাধারণীকরণ করা যেতে পারে
१. তাত্ত্বিক গবেষণা: পার্কোলেশন তত্ত্ব, র্যান্ডম গ্রাফ তত্ত্ব, সম্ভাব্যতা তত্ত্ব
२. সম্পর্কিত মডেল: অন্যান্য বিরল উচ্চ-মাত্রিক র্যান্ডম গ্রাফ, নেটওয়ার্ক বিজ্ঞান
३. প্রয়োগ ক্ষেত্র: পরিসংখ্যানগত পদার্থবিজ্ঞান, কম্পিউটার বিজ্ঞানে অনুপ্রেরণা থাকতে পারে
পত্রটি ५४টি গুরুত্বপূর্ণ সাহিত্য উদ্ধৃত করে, যার মধ্যে মূল বিষয়গুলি অন্তর্ভুক্ত:
१. আজটাই, এম., কোমলোস, জে., সেমেরেডি, ই. (१९८२): বৃহত্তম উপাদান অস্তিত্বের ভিত্তি কাজ
२. বোলোবাস, বি., কোহায়াকাওয়া, ওয়াই., লুকজাক, টি. (१९९४): ব্যাস সমস্যা উত্থাপনের মূল পত্র
३. বেঞ্জামিনি, আই., মোসেল, ই. (२००३): মিশ্রণ সময় অনুমান উত্থাপন
४. এরডে, জে., কাং, এম., ক্রিভেলেভিচ, এম. (२०२१): আগের গুরুত্বপূর্ণ অগ্রগতি
५. ভ্যান ডার হফস্টাড, আর., নাচমিয়াস, এ. (२०१७): এই ক্ষেত্রের কর্তৃপক্ষ সমীক্ষা
সামগ্রিক মূল্যায়ন: এটি গুরুত্বপূর্ণ উন্মুক্ত সমস্যা সমাধানকারী একটি উৎকৃষ্ট তাত্ত্বিক পত্র, উল্লেখযোগ্য প্রযুক্তিগত উদ্ভাবন রয়েছে, প্রমাণ কঠোর এবং সম্পূর্ণ, এবং পার্কোলেশন তত্ত্ব ক্ষেত্রে উল্লেখযোগ্য অগ্রগতি রয়েছে। যদিও প্রযুক্তিগত জটিলতা অত্যন্ত বেশি, এর তাত্ত্বিক মূল্য এবং পদ্ধতিগত অবদান এটিকে এই ক্ষেত্রের একটি গুরুত্বপূর্ণ মাইলফলক করে তোলে।