সিংমাস্টারের অনুমান

testwiki থেকে
পরিভ্রমণে চলুন অনুসন্ধানে চলুন

সিংমাস্টারের অনুমান (En: Singmaster's Conjecture) হল সংখ্যাতত্ত্বের একটি অনুমানভিত্তিক ধারণা, যা প্যাসকালের ত্রিভুজে (Pascal's triangle) বাইনোমিয়াল সংখ্যা (nk) গুলোর পুনরাবৃত্তি কতবার হতে পারে তার একটি সর্বোচ্চ সীমা নির্ধারণ করার প্রস্তাব দেয়। এই ধারণাটি ১৯৭১ সালে ডেভিড সিংমাস্টার প্রথম প্রস্তাব করেন।

ধারণা

প্যাসকালের ত্রিভুজে প্রতিটি উপাদান (nk) আকারে উপস্থাপিত হয়, যেখানে nk স্বাভাবিক সংখ্যা। সিংমাস্টারের অনুমান অনুযায়ী, 1 ছাড়া অন্য কোনো ধনাত্মক পূর্ণসংখ্যা এমনভাবে পুনরাবৃত্তি হয় যে তার পুনরাবৃত্তির সংখ্যা একটি সর্বোচ্চ ধ্রুবক C দ্বারা সীমাবদ্ধ থাকবে। অধিকাংশ গবেষক ধারণা করেন যে, C=8 হতে পারে, অর্থাৎ 1 ব্যতীত কোনো একটি সংখ্যা সর্বাধিক ৮ বার প্যাসকালের ত্রিভুজে দেখা যাবে।

উদাহরণস্বরূপ, প্যাসকালের ত্রিভুজে 1 অসীম সংখ্যক বার উপস্থিত থাকে, তবে অন্যান্য সংখ্যা যেমন 6, 10, 20 ইত্যাদি শুধুমাত্র সীমিত সংখ্যকবারই পুনরাবৃত্তি হয়।

এখনো পর্যন্ত এটি অজানা যে কোনো সংখ্যা আটবারের বেশি উপস্থিত হয়েছে কিনা, কিংবা ৩০০৩ ছাড়া অন্য কোনো সংখ্যা আদৌ কি এতবার (আটবার) দেখা গেছে কিনা! ধারণা করা হয়, এই সীমাটি সর্বোচ্চ ৮ পর্যন্ত হতে পারে, তবে সিংমাস্টার অনুমান করেছিলেন এটি ১০ বা ১২ও হতে পারে। তাছাড়া, কোনো সংখ্যা ঠিক পাঁচ বা সাতবার উপস্থিত হয়েছে কিনা—সেটিও এখনো রহস্যাবৃত্ত।

বিবৃতি

ধরা যাক,N(a) হচ্ছে সেই সংখ্যা, যা নির্দেশ করে যে a সংখ্যাটি (যেখানে a>1) প্যাসকালের ত্রিভুজে কতবার উপস্থিত হয়েছে। বড় O সংকেত অনুসারে, অনুমানটি হলো:

N(a)=O(1).

গাণিতিক ব্যাখ্যা

ধরা যাক, কোনো ধনাত্মক পূর্ণসংখ্যা m প্যাসকালের ত্রিভুজে বিভিন্ন (n,k) জুটিতে প্রকাশিত হয়েছে, অর্থাৎ (nk)=m সমীকরণের সমাধান রয়েছে। সিংমাস্টারের অনুমান অনুসারে, m1 এর জন্য এই সমাধানগুলোর সংখ্যা এমন একটি সর্বোচ্চ ধ্রুবক C দ্বারা আবদ্ধ থাকবে, অর্থাৎ #{(n,k)(nk)=m}C.

প্রাপ্ত সীমা

সিংমাস্টার (১৯৭১) দেখিয়েছেন যে,

N(a)=O(loga).

অ্যাবট, এরডস, এবং হ্যানসন (১৯৭৪) এই অনুমানকে পরিমার্জিত করে লিখেছেন:

N(a)=O(logalogloga).

বর্তমানে পরিচিত সর্বোত্তম (নিঃশর্ত) সীমা হলো,

N(a)=O((loga)(loglogloga)(logloga)3),

এবং এটি কেন (২০০৭)-এর দেওয়া। অ্যাবট, এরডস, এবং হ্যানসন উল্লেখ করেছেন যে, ক্রামারের অনুমান (ক্রমিক মৌলিক সংখ্যার মধ্যে ব্যবধান সম্পর্কিত) অনুযায়ী,

N(a)=O((loga)2/3+ε)

প্রতিটি ε>0-এর জন্য সঠিক।

সিংমাস্টার (১৯৭৫) দেখিয়েছেন যে, ডায়োফ্যান্টাইন সমীকরণ

(n+1k+1)=(nk+2)

দুটি চলক n এবং k-এর জন্য অসীম সংখ্যক সমাধান রয়েছে। এটি থেকে বোঝা যায় যে, প্যাসকেলের ত্রিভুজে অন্তত ৬ বার উপস্থিত হওয়া অসীম সংখ্যক সংখ্যা রয়েছে: যেকোনো অঋণাত্মক i-এর জন্য, প্যাসকেলের ত্রিভুজে ছয়বার উপস্থিত হওয়া একটি সংখ্যা a নিম্নলিখিত দুটি অভিব্যক্তির যেকোনো একটি দ্বারা দেওয়া যায়,

n=F2i+2F2i+31,
k=F2iF2i+31,

যেখানে Fj হলো j-তম ফিবোনাচ্চি সংখ্যা (এই সূচনায় F0 = 0 এবং F1 = 1 ধরা হয়েছে)। উপরের দুটি অভিব্যক্তি দুটি উপস্থিতির অবস্থান নির্দেশ করে; আরও দুটি উপস্থিতি ত্রিভুজে প্রতিসমভাবে অবস্থিত; এবং বাকি দুটি উপস্থিতি হলো (a1) এবং (aa1).-এ।

প্রাথমিক উদাহরণ

  • ২ সংখ্যাটি শুধুমাত্র একবার দেখা যায়; ২-এর চেয়ে বড় সব ধনাত্মক পূর্ণসংখ্যা একাধিকবার দেখা যায়;
  • ৩, ৪, ৫ প্রতিটি সংখ্যা দুইবার দেখা যায়; অসীম সংখ্যক সংখ্যা ঠিক দুইবার উপস্থিত হয়;
  • সব বিজোড় মৌলিক সংখ্যা দুইবার দেখা যায়;
  • ৬ সংখ্যাটি তিনবার দেখা যায়, এবং একইভাবে সব কেন্দ্রীয় দ্বিপদ সহগ (central binomial coefficient) ১ এবং ২ ছাড়া তিনবার দেখা যায়;
    (তাত্ত্বিকভাবে এটা সম্ভব যে এমন একটি সহগ পাঁচ, সাত বা তার বেশি বার দেখা যেতে পারে, কিন্তু এখনো পর্যন্ত এমন কোনো উদাহরণ জানা নেই);
  • (p2) আকারের সব সংখ্যা, যেখানে p>3 মৌলিক সংখ্যা, চারবার দেখা যায়;
  • অসীম সংখ্যক সংখ্যা ঠিক ছয়বার দেখা যায়, যার মধ্যে নিম্নলিখিত সংখ্যাগুলো অন্তর্ভুক্ত:
120=(1201)=(120119)=(162)=(1614)=(103)=(107)


210=(2101)=(210209)=(212)=(2119)=(104)=(106)


1540=(15401)=(15401539)=(562)=(5654)=(223)=(2219)


7140=(71401)=(71407139)=(1202)=(120118)=(363)=(3633)


11628=(116281)=(1162811627)=(1532)=(153151)=(195)=(1914)


24310=(243101)=(2431024309)=(2212)=(221219)=(178)=(179)
সিংমাস্টারের অসীম পরিবারের পরবর্তী সংখ্যা (যা ফিবোনাচ্চি সংখ্যার মাধ্যমে প্রকাশিত) এবং ছয় বা তার বেশি বার উপস্থিত হওয়া পরবর্তী সবচেয়ে ছোট সংখ্যা হলো a=61218182743304701891431482520:[]
a=(a1)=(aa1)=(10439)=(10465)=(10340)=(10363)
  • আটবার উপস্থিত হওয়া সবচেয়ে ছোট সংখ্যা—এবং প্রকৃতপক্ষে, আটবার দেখা যাওয়া একমাত্র সংখ্যা—হলো ৩০০৩, যা সিংমাস্টারের অসীম পরিবারেরও একটি সদস্য, যেখানে সংখ্যাগুলোর গুণিতকতা অন্তত ৬:
3003=(30031)=(782)=(155)=(146)=(148)=(1510)=(7876)=(30033002)
এটা জানা নেই যে অসীম সংখ্যক সংখ্যা আটবার উপস্থিত হয়েছে কিনা, এমনকি ৩০০৩ ছাড়া অন্য কোনো সংখ্যা আটবার দেখা গেছে কিনা তাও অজানা।

প্যাসকেলের ত্রিভুজে n সংখ্যাটি যতবার উপস্থিত হয় তার সংখ্যা হলো: ∞, 1, 2, 2, 2, 3, 2, 2, 2, 4, 2, 2, 2, 2, 4, 2, 2, 2, 2, 3, 4, 2, 2, 2, 2, 2, 2, 4, 2, 2, 2, 2, 2, 2, 4, 4, 2, 2, 2, 2, 2, 2, 2, 2, 4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4, 4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4, 2, 2, 2, 3, 2, 2, 2, 2, 2, 2, 2, 4, 2, 2, 2, 2, 2, 4, 2, 2, 2, 2, 2, 2, 4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 6, 2, 2, 2, 2, 2, 4, 2, 2, ... টেমপ্লেট:OEIS

অ্যাবট, এরডস এবং হ্যানসনের (১৯৭৪) গবেষণা অনুযায়ী, x-এর চেয়ে বড় নয় এমন পূর্ণসংখ্যার সংখ্যা, যেগুলো প্যাসকেলের ত্রিভুজে দুইবারের বেশি উপস্থিত হয়, তা হলো:O(x12).

প্যাসকেলের ত্রিভুজে n বা তার বেশি বার উপস্থিত হওয়া ১-এর চেয়ে বড় সবচেয়ে ছোট স্বাভাবিক সংখ্যা হলো: 2, 3, 6, 10, 120, 120, 3003, 3003, ... টেমপ্লেট:OEIS

প্যাসকেলের ত্রিভুজে যেসব সংখ্যা অন্তত পাঁচবার দেখা যায় সেগুলো হলো: 1, 120, 210, 1540, 3003, 7140, 11628, 24310, 61218182743304701891431482520, ... টেমপ্লেট:OEIS

এই সংখ্যাগুলোর মধ্যে, সিংমাস্টারের অসীম পরিবারে যেগুলো রয়েছে সেগুলো হলো:

1, 3003, 61218182743304701891431482520, ... টেমপ্লেট:OEIS

গবেষণা ও বর্তমান অবস্থা

এখন পর্যন্ত বিভিন্ন গবেষণায় প্রমাণিত হয়েছে যে:

  • বিশেষ কিছু ক্ষেত্রে বাইনোমিয়াল সংখ্যা পুনরাবৃত্তির সংখ্যা সীমিত।
  • পুনরাবৃত্তির সর্বোচ্চ সম্ভাব্য সংখ্যা নির্ধারণের প্রচেষ্টা চলমান, তবে এখনও একটি সার্বিক প্রমাণ বা C এর সঠিক মান নির্ধারণ করা যায়নি।

সিংমাস্টারের অনুমান এখনও একটি উন্মুক্ত সমস্যা হিসেবে রয়েছে এবং সংখ্যাতত্ত্ব ও কম্বিনেটরিক্সে ব্যাপক গবেষণা চলছে।

পরিশিষ্ট

সিংমাস্টারের অনুমান প্যাসকালের ত্রিভুজে সংখ্যাগুলোর পুনরাবৃত্তির সংখ্যা সম্পর্কে গভীর ধারণা প্রদান করে। অনুমানটি সত্য হলে, তা গণিতের অনেক শাখায় গুরুত্বপূর্ণ ফলাফলের সূত্রপাত করতে পারে, তবে এর প্রমাণ এখনও অনিশ্চিত এবং এটি ভবিষ্যতের গবেষণা ক্ষেত্রে একটি চ্যালেঞ্জ হিসেবে দাঁড়িয়েছে।

তথ্যসূত্র

টেমপ্লেট:সূত্র তালিকা