প্রদত্ত প্রতিসম সংযোগ স্কিম এবং এর আইজেনস্পেস এর জন্য, একটি ম্যাপিং বিদ্যমান যা এর শীর্ষবিন্দুগুলিকে এ একক ভেক্টরে ম্যাপ করে, যাকে এর এ গোলাকার প্রতিনিধিত্ব বলা হয়, যাতে এই ভেক্টরগুলির অভ্যন্তরীণ গুণফল শুধুমাত্র সংশ্লিষ্ট শীর্ষবিন্দুগুলির মধ্যে সম্পর্কের উপর নির্ভর করে; অধিকন্তু, এই অভ্যন্তরীণ গুণফলগুলি শুধুমাত্র এর পরামিতিগুলির উপর নির্ভর করে। এই পেপারটি হারম্যান এবং মালেকির সম্প্রতি প্রকাশিত ভাগফল বহুপদী গ্রাফ পরামিতি তালিকায় খোলা কেস হিসাবে তালিকাভুক্ত অপ্রাথমিক সংযোগ স্কিম পরামিতিগুলি বিবেচনা করে, নির্দিষ্ট আইজেনস্পেসে তাদের উপ-কাঠামো এমবেডিংয়ের সমস্যা অধ্যয়ন করে, যা অনুমিত সংযোগ স্কিমের গোলাকার প্রতিনিধিত্বের সাথে সামঞ্জস্যপূর্ণ। এই পদ্ধতি ব্যবহার করে, আমরা সমস্ত পরিচিত সম্ভাব্যতা শর্তের মধ্য দিয়ে যাওয়া দুটি ৪-শ্রেণী সংযোগ স্কিম পরামিতি সেট এবং একটি ৫-শ্রেণী সংযোগ স্কিম পরামিতি সেটের অস্তিত্বহীনতা প্রমাণ করেছি, এবং দুটি ৫-শ্রেণী সংযোগ স্কিম পরামিতি সেটের অনন্যতা।
এই পেপারটি সংযোগ স্কিম (association schemes) এর অস্তিত্ব এবং অনন্যতার সমস্যা অধ্যয়ন করে, বিশেষত অপ্রাথমিক সংযোগ স্কিমগুলিতে ফোকাস করে। সংযোগ স্কিমগুলি সমন্বয় গণিতে গুরুত্বপূর্ণ বস্তু, এবং তাদের শ্রেণীবিভাগ সর্বদা একটি ব্যাপক খোলা সমস্যা।
সংযোগ স্কিমগুলি কোডিং তত্ত্ব, ডিজাইন তত্ত্ব এবং সীমিত জ্যামিতি সহ একাধিক ক্ষেত্রের ভিত্তি কাঠামো। এই বস্তুগুলির সম্পূর্ণ শ্রেণীবিভাগ এই ক্ষেত্রগুলির মৌলিক কাঠামো বোঝার জন্য অত্যন্ত গুরুত্বপূর্ণ। এমনকি দৃঢ়ভাবে নিয়মিত গ্রাফ (২-শ্রেণী সংযোগ স্কিম) এবং দূরত্ব-নিয়মিত গ্রাফের মতো বিশেষ উপপরিবারের জন্যও, সম্পূর্ণ শ্রেণীবিভাগ একটি খোলা সমস্যা।
ঐতিহ্যবাহী সম্ভাব্যতা শর্তগুলি (যেমন হ্যান্ডশেকিং লেমা, পরম সীমানা, ক্রেইন পরামিতি অ-নেতিবাচকতা ইত্যাদি) প্রয়োজনীয় হলেও যথেষ্ট নয়। অনেক পরামিতি সেট সমস্ত পরিচিত সম্ভাব্যতা পরীক্ষার মধ্য দিয়ে গেছে, কিন্তু বাস্তবে সংশ্লিষ্ট সংযোগ স্কিম বিদ্যমান নেই।
লেখক একটি নতুন কৌশল বিকশিত করেছেন—আইজেনস্পেস এমবেডিং পদ্ধতি, যা সংযোগ স্কিমের আইজেনস্পেসে গোলাকার প্রতিনিধিত্ব অধ্যয়ন করে পরামিতি সেটের সম্ভাব্যতা নির্ধারণ করে। এই পদ্ধতিটি বিশেষভাবে অপ্রাথমিক সংযোগ স্কিমের জন্য উপযুক্ত, কারণ তাদের বিশ্লেষণের জন্য ছোট উপ-কাঠামো রয়েছে।
সংযোগ স্কিমের উপ-কাঠামোর আইজেনস্পেসে এমবেডিং অধ্যয়ন করে পরামিতি সেটের সম্ভাব্যতা নির্ধারণের একটি নতুন পদ্ধতি প্রস্তাব করা হয়েছে।
SageMath-এর উপর ভিত্তি করে eigenspace-embeddings সফটওয়্যার প্যাকেজ বিকশিত করা হয়েছে, যা সম্পর্কিত অ্যালগরিদম বাস্তবায়ন করে।
ভাগফল বহুপদী গ্রাফ পরামিতি ডাটাবেসের ব্যাপক সম্ভাব্যতা পরীক্ষা করা হয়েছে, যা বিপুল সংখ্যক অসম্ভব পরামিতি সেট চিহ্নিত করেছে।
সংযোগ স্কিমের পরামিতি সেট দেওয়া হলে, এই পরামিতিগুলির সাথে একটি সংযোগ স্কিম বিদ্যমান কিনা তা নির্ধারণ করুন, এবং যদি বিদ্যমান থাকে তবে এর অনন্যতা নিশ্চিত করুন। ইনপুট হল ছেদ সংখ্যা, বৈশিষ্ট্য ম্যাট্রিক্স বা দ্বৈত বৈশিষ্ট্য ম্যাট্রিক্স ইত্যাদি পরামিতি, আউটপুট হল অস্তিত্ব/অনন্যতার সিদ্ধান্ত।
সংযোগ স্কিম এবং এর আইজেনস্পেস এর জন্য, গোলাকার প্রতিনিধিত্ব সংজ্ঞায়িত করুন:
ইনপুট: আইজেনস্পেস সূচক j, সম্পর্ক ম্যাট্রিক্স C
আউটপুট: একক ভেক্টর সহগ ম্যাট্রিক্স U অথবা ব্যর্থতা
x = 1 থেকে n' পর্যন্ত করুন
h ← 1
y = 1 থেকে x-1 পর্যন্ত করুন
d ← C_xy - Σ(k=1 থেকে h-1) a_xk * a_yk
যদি h ≤ m_j ∧ a_yh ≠ 0 তাহলে
a_xh ← d/a_yh; h ← h+1
অন্যথায় যদি d ≠ 0 তাহলে ব্যর্থতা
||u_x||² গণনা করুন এবং 1 এর সমান যাচাই করুন
অ-তুচ্ছ প্রাথমিক সেট সহ অপ্রাথমিক সংযোগ স্কিমের জন্য:
১. আইজেনস্পেস সীমাবদ্ধতা: উপ-কাঠামো আইজেনস্পেসে এমবেড করার প্রয়োজনীয়তার মাধ্যমে, ঐতিহ্যবাহী পদ্ধতির চেয়ে শক্তিশালী সীমাবদ্ধতা প্রদান করা হয়।
२. স্তরযুক্ত নির্মাণ কৌশল: ছোট উপ-কাঠামো থেকে শুরু করে ধাপে ধাপে প্রসারিত করুন, প্রতিটি পদক্ষেপে এমবেডিং এর অস্তিত্ব যাচাই করুন।
३. গণনামূলক বীজগণিত পদ্ধতি: নির্ভুল গণনার জন্য সম্প্রসারিত সংখ্যা ক্ষেত্র ব্যবহার করুন, প্রতীকী গণনার জটিলতা এড়ান।
४. লেমা ২ এর প্রয়োগ: নির্দিষ্ট ধরনের অপ্রাথমিক স্কিমের জন্য, উপ-কাঠামোর মধ্যে সংযোগের সীমাবদ্ধতা প্রমাণ করুন, যা পরীক্ষা করার প্রয়োজনীয় ক্ষেত্রগুলি উল্লেখযোগ্যভাবে হ্রাস করে।
ঐতিহ্যবাহী সম্ভাব্যতা শর্ত:
१. QPG [[12, 4, 4, 24], 6, 0, 3; 0, 1; 2]:
२. QPG [[8, 8, 4, 24], 1, 0, 2; 2, 1; 1]:
३. QPG [[6, 18, 2, 6, 12], 1, 0, 2, 0; 0, 0, 3; 0, 1; 2]:
१. QPG [[12, 2, 1, 12, 12], 6, 0, 4, 1; 0, 0, 1; 0, 1; 4]:
२. QPG [[6, 4, 4, 12, 18], 3, 0, 0, 1; 0, 1, 0; 2, 0; 2]:
পেপারটি বিভিন্ন মাত্রার আইজেনস্পেস পদ্ধতিগতভাবে বিশ্লেষণ করে পদ্ধতির কার্যকারিতা যাচাই করেছে:
লেখক পদ্ধতি ব্যাখ্যা করার জন্য একটি ছোট উদাহরণ (৮ শীর্ষবিন্দুর ३-শ্রেণী স্কিম) প্রদান করেছেন:
१. সংযোগ স্কিম শ্রেণীবিভাগ: ব্রাউয়ার ইত্যাদি দৃঢ়ভাবে নিয়মিত গ্রাফ এবং দূরত্ব-নিয়মিত গ্রাফের পরামিতি টেবিল, ভ্যান ড্যাম এর ३-শ্রেণী স্কিমের গবেষণা २. গোলাকার প্রতিনিধিত্ব প্রয়োগ: বান্নাই ইত্যাদি গোলাকার কোডের অনন্যতা প্রমাণের জন্য, গাভ্রিলিউক এবং সুদার সম্পর্কিত কাজ ३. ভাগফল বহুপদী গ্রাফ তত্ত্ব: ফিওলের মূল কাজ, হারম্যান এবং মালেকির পরামিতি ডাটাবেস
१. আইজেনস্পেস এমবেডিং পদ্ধতি সংযোগ স্কিম গবেষণার জন্য একটি শক্তিশালী নতুন সরঞ্জাম প্রদান করে २. অনেক ঐতিহ্যবাহী সম্ভাব্যতা শর্ত অতিক্রম করা পরামিতি সেট বাস্তবে অসম্ভব ३. নির্দিষ্ট পরামিতি সেটের জন্য, সংশ্লিষ্ট সংযোগ স্কিমের অনন্যতা প্রমাণ করা যায়
१. গণনামূলক জটিলতা: পদ্ধতির গণনামূলক খরচ শীর্ষবিন্দু সংখ্যার সাথে সূচকীয়ভাবে বৃদ্ধি পায় २. প্রযোজ্যতার পরিসীমা: প্রধানত অপ্রাথমিক স্কিমের জন্য প্রযোজ্য, প্রাথমিক স্কিমের জন্য কার্যকারিতা সীমিত ३. মাত্রা সীমাবদ্ধতা: কার্যকর হওয়ার জন্য আইজেনস্পেস মাত্রা তুলনামূলকভাবে ছোট হওয়া প্রয়োজন
१. বৃহত্তর আকারের সমস্যায় প্রসারিত করা २. আরও দক্ষ অ্যালগরিদম বিকাশ করা ३. অন্যান্য ধরনের সমন্বয় কাঠামোতে প্রয়োগ করা ४. মেশিন লার্নিং পদ্ধতির সাথে সংমিশ্রণ করা
१. পদ্ধতির উদ্ভাবনী: প্রথমবারের মতো গোলাকার প্রতিনিধিত্ব সংযোগ স্কিম সম্ভাব্যতা গবেষণায় পদ্ধতিগতভাবে প্রয়োগ করা হয়েছে, সম্পূর্ণ নতুন বিশ্লেষণ দৃষ্টিভঙ্গি প্রদান করে २. তাত্ত্বিক অবদান: একাধিক নির্দিষ্ট খোলা সমস্যার সমাধান করেছে, ক্ষেত্রের উন্নয়ন এগিয়ে নিয়ে গেছে ३. বাস্তবায়ন সম্পূর্ণতা: সম্পূর্ণ সফটওয়্যার বাস্তবায়ন প্রদান করেছে, ফলাফলের পুনরুৎপাদনযোগ্যতা বৃদ্ধি করেছে ४. বিশ্লেষণ গভীরতা: হারম্যান-মালেকি ডাটাবেসের সিস্টেমেটিক বিশ্লেষণ ক্ষেত্রের ব্যাপক দৃশ্য প্রদান করেছে
१. স্কেলেবিলিটি সীমাবদ্ধতা: পদ্ধতির গণনামূলক জটিলতা বৃহত্তর সমস্যায় প্রয়োগ সীমিত করে २. তাত্ত্বিক বিশ্লেষণ অপূর্ণ: পদ্ধতির প্রযোজ্যতা শর্তের তাত্ত্বিক চিহ্নিতকরণ অনুপস্থিত ३. সার্বজনীনতা সমস্যা: প্রধানত নির্দিষ্ট ধরনের অপ্রাথমিক স্কিমের জন্য লক্ষ্যবস্তু, সার্বজনীনতা উন্নতির অপেক্ষায়
१. একাডেমিক মূল্য: সংযোগ স্কিম তত্ত্বের জন্য নতুন গবেষণা সরঞ্জাম এবং পদ্ধতি প্রদান করেছে २. ব্যবহারিক মূল্য: সফটওয়্যার সরঞ্জাম অন্যান্য গবেষকদের দ্বারা ব্যবহার করা যায় ३. ক্ষেত্র অগ্রগতি: নির্দিষ্ট সমস্যার সমাধান করেছে, ক্ষেত্রের উন্নয়ন চালিত করেছে
পেপারটি ৩৯টি গুরুত্বপূর্ণ সাহিত্য উদ্ধৃত করেছে, যা সংযোগ স্কিম তত্ত্ব, গোলাকার প্রতিনিধিত্ব, গণনামূলক পদ্ধতি ইত্যাদি একাধিক দিক কভার করে, যার মধ্যে মূল সাহিত্য অন্তর্ভুক্ত: