সিলভেস্টারের ক্রম

সংখ্যাতত্ত্বে সিলভেস্টারের ক্রম হচ্ছে পূর্ণসংখ্যার একটি ক্রম যেখানে ক্রমের অন্তর্গত প্রত্যেকটি সংখ্যা ক্রমের আগের সবগুলি সংখ্যার গুণফলের সাথে এক যোগ করে পাওয়া যায়। এই ক্রমের প্রথম কিছু সংখ্যা হলঃ
2, 3, 7, 43, 1807, 3263443, 10650056950807, 113423713055421844361000443 ( OEIS এর A000058 ক্রম )

সিলভেস্টারের ক্রমের নামকরণ করা হয়েছে জেমস জোসেফ সিলভেস্টার ( ইংরেজিঃ James Joseph Sylvester ) এর নামানুসারে যে এই ক্রমটি উদ্ভাবন করে ১৮৮০ সালে। এই ক্রমের মান বাড়তে থাকে ডাবল এক্সপোনেনশিয়াল ফাংশনের মত করে এবং এই সংখ্যাক্রমের বিপ্রতীপ মানগুলো একক ভগ্নাংশের ধারা গঠন করে যার একটি নির্দিষ্ট পরিমাণ সংখ্যার যোগফল অন্য যেকোন ধারার চেয়ে দ্রুত ১ এর দিকে আগাতে থাকে। এই ক্রমের যেকোন সংখ্যা দ্রুত উৎপাদকে বিশ্লেষণ করা যায় এই ক্রমটি যে রিকারেন্স দিয়ে নির্ধারিত সেজন্য। কিন্তু এই ক্রমের সংখ্যাগুলোর মান খুব দ্রুত বৃদ্ধি পাওয়ায় খুব কম সংখ্যাকেই সম্পূর্ণরূপে মৌলিক উৎপাদকে বিশ্লেষিত করা গেছে। এই ক্রমের সংখ্যাগুলো ১ এর সসীম মিশরীয় ভগ্নাংশ তৈরি করা, সাসাকিয়ান আইনস্টাইন ম্যানিফোল্ড এবং অনলাইন এলগোরিদম এর কঠিন নমুনার ক্ষেত্রেও ব্যবহৃত হয়।

 আনুষ্ঠানিক সংজ্ঞা 
সিলভেস্টারের ক্রমকে সংজ্ঞায়িত করা যায় এই ফর্মূলা দিয়েঃ

যেহেতু শূন্য সংখ্যক সংখ্যার গুণফলের মান 1 সেহেতু
s0 = 2.
এই ক্রমকে এই রিকারেন্স দিয়ে অন্যভাবেও সংজ্ঞায়িত করা যায়ঃ
 যেখানে s0 = 2.
গাণিতিক আরোহ দিয়ে সহজেই দেখানো যায় যে দুইটি সংজ্ঞার একটা অন্যটার সমতুল্য।

 ক্লোজড-ফর্ম ফর্মূলা এবং অসীমতট 
সিলভেস্টারের সংখ্যাগুলো n এর একটা ডাবল এক্সপোনেনশিয়াল ফাংশন অনুসারে বৃদ্ধি পায়। নির্দিষ্টভাবে এটা দেখানো যায় যেঃ

আনুমানিক 1.264084735305302 মানের একটা সংখ্যা E এর জন্য।  একটা অনুশীলনী হিসেবে দিয়েছিলেন; এটিও দেখুন . নিম্নবর্ণিত অ্যালগোরিদমটি উপরের ফর্মূলাকে প্রভাবিত করেঃ
s0, E2 এর সবচেয়ে কাছের পূর্ণসংখ্যা; s1, E4 এর সবচেয়ে কাছের পূর্ণসংখ্যা; s2, E8 এর সবচেয়ে কাছের পূর্ণসংখ্যা; sn হবে E2 কে n বার বর্গ করে সবচেয়ে কাছের সংখ্যাটা।
এটা কাজে লাগানোর মত একটা অ্যালগোরিদম তখনই হবে যখন আমরা sn এর মান বের করে বারবার তার বর্গমূল নেয়ার চেয়ে ভালভাবে প্রয়োজনীয় সংখ্যক বার E এর মান বের করতে পারব।

সিলভেস্টার ক্রমের ডাবল-এক্সপোনেনশিয়াল বৃদ্ধি ফার্মা সংখ্যা Fn এর সাথে তুলনা করা বিস্ময়কর নয়; ফার্মা সংখ্যাগুলো সাধারণত একটা ডাবল-এক্সপোনেনশিয়াল ফর্মূলা  দিয়ে সংজ্ঞায়িত করা হয়। কিন্তু ফার্মা সংখ্যাকে সিলভেস্টার ক্রমের মতই একটা প্রোডাক্ট ফর্মূলা দিয়ে প্রকাশ করা যায়ঃ

 মিশরীয় ভগ্নাংশের সাথে সম্পর্ক 
সিলভেস্টার ক্রমের বিপ্রতীপ মানগুলোর দ্বারা গঠিত একক ভগ্নাংশগুলো একটা অসীম ধারা গঠন করেঃ

এই ধারার আংশিক ভগ্নাংশকে খুব সহজেই লেখা যায়,

গাণিতিক আরোহ দিয়ে এটা প্রমাণ করা যেতে পারে অথবা সরাসরি একটা রিকার্শন খেয়াল করে যে,

টেলিস্কোপ সিরিজ অনুসারে, যোগফল

যেহেতু (sj-2)/(sj-1) আংশিক ভগ্নাংশের এই ক্রমটি এক এর দিকে অভিসৃত হয়, সম্পূর্ণ সিরিজটি এক এর একটি অসীম মিশরীয় ভগ্নাংশের রিপ্রেজেন্টেশন গঠন করে।

এক এর মিশরীয় ভগ্নাংশ রিপ্রেজেন্টেশন যেকোন দৈর্ঘ্যের করা সম্ভব। উপরের সিরিজকে কেটে এবং শেষের হর থেকে এক বিয়োগ করেঃ

k পদের মিশরীয় ভগ্নাংশের এক এর রিপ্রেজেন্টেশনের সবচেয়ে কাছাকাছি কিন্তু ছোট মান দেয় অসীম সিরিজটির প্রথম k টি পদের যোগফল।সাধারণত  এর আরোপিত দাবী, কিন্তু দেখা যায় যে  আগের দিককার একটা পেপারে একই বিবৃতি দেন. এগুলোও দেখুন , , এবং . উদাহরণস্বরূপ, প্রথম চারটি পদ যোগ করলে 1805/1806 হয় এবং সেজন্য (1805/1806,1) খোলা ব্যবধিতে যেকোন সংখ্যার মিশরীয় ভগ্নাংশের জন্য অন্তত পাঁচটি পদ দরকার।

সিলভেস্টার ক্রমকে মিশরীয় ভগ্নাংশের একটা গ্রিডি অ্যালগোরিদম হিসেবে কল্পনা করা যেতে পারে যেটা প্রত্যেকটি স্টেপে সবচে ছোট হরকে নেয় যাতে আংশিক ভগ্নাংশ এক এর চেয়ে কম থাকে। অন্যভাবে, এই ক্রমের প্রথমটির পরের সবগুলো পদকে 1/2 এর অড-গ্রিডি এক্সপানশন এর হর হিসেবে দেখা যেতে পারে।

 মূলদ যোগফল বিশিষ্ট দ্রুত বৃদ্ধি পাওয়া ধারার অনন্যতা 
সিলভেস্টার নিজেই খেয়াল করেন যে দ্রুত বৃদ্ধি পাওয়া মানের দিক থেকে সিলভেস্টার ক্রম অনন্য যেখানে একইসাথে এই ক্রমের মানগুলোর বিপ্রতীপ গুলো একটি ধারা গঠন করে যা একটি মূলদ সংখ্যায় অভিসৃত হয়। ডাবল এক্সপোনেনশিয়াল ই যথেষ্ট নয় একটি পূর্ণসংখ্যার ধারাকে অমূলদ হতে - এই ক্রম তার একটি উদাহরণ।
একে আরও যথাযথ ভাবে বলতে গেলে,  এর উত্তরগুলো থেকে দেখা যায় যে, যদি একটি পূর্ণসংখ্যার ক্রম  দ্রুত বৃদ্ধি পায় যাতে 

এবং যদি ধারা

একটি মূলদ সংখ্যা A এর দিকে অভিসৃত হয়, তাহলে সব n এর জন্য, এই ক্রমটি এভাবেই সংজ্ঞায়িত করতে হবে

যেটা দিয়ে সিলভেস্টার ক্রমকে সংজ্ঞায়িত করা যায়।

 অনুমান করেছিলেন যে, এধরনের উত্তরে, ক্রমের বৃদ্ধিহারের অসমতাকে একটা দুর্বল শর্ত দিয়ে প্রতিস্থাপন করা যায়,

 এই অনুমানের অগ্রগতি নিয়ে জরিপ করেছিলেন; এটিও দেখুনঃ .

 বিভাজ্যতা ও উৎপাদকে বিশ্লেষণ 
যদি i < j হয় তবে সংজ্ঞা থেকে দেখা যায় sj ≡ 1 (mod si). সুতরাং সিলভেস্টার ক্রমের যেকোন দুইটি সংখ্যা সহ-মৌলিক। এই ক্রম দিয়ে প্রমাণ করা যায় যে অসীম সংখ্যক মৌলিক সংখ্যার অস্তিত্ব আছে যেহেতু একটা মৌলিক সংখ্যা এই ধারার সর্বোচ্চ একটি সংখ্যাকে নিঃশেষে ভাগ করতে পারে। আরও জোর দিয়ে বলা যায়, এই ধারার কোন মৌলিক উৎপাদকই 5 (mod 6) এর সর্বসম হতে পারবে না। এবং এই ধারা দিয়ে অসীম সংখ্যক মৌলিক সংখ্যার অস্তিত্ব প্রমাণ করা যেতে পারে যারা 7 (mod 12) এর সর্বসম। 

সিলভেস্টার ক্রমের সংখ্যাগুলোর উৎপাদকে বিশ্লেষণ নিয়ে অনেক কিছুই অজানা। উদহরণস্বরূপ, এটা এখনো জানা যায় নি সিলভেস্টার ক্রমের প্রত্যেকটি সংখ্যাই বর্গমুক্ত কি না যদিও জানা সংখ্যাগুলো বর্গমুক্ত।

 এর বর্ণনানুসারে, একটা মৌলিক সংখ্যা p কোন সিলভেস্টার সংখ্যাকে ভাগ করবে ( যদি আদৌ করে ) তা খুব সহজেই জানা সম্ভব: সংখ্যাগুলোকে মডুলো p দিয়ে ডিফাইন করে রিকারেন্স চালাতে হবে যতক্ষণ পর্যন্ত না আরেকটা সংখ্যা পাওয়া যায় যা 0 (mod p) এর সর্বসম অথবা একই মডুলো পাওয়া যায়। এই উপায় অবলম্বন করে তিনি দেখতে পেলেন যে প্রথম তিন মিলিয়ন মৌলিক সংখ্যার ১১৬৬ টি সিলভেস্টার সংখ্যার উৎপাদক,সম্ভবত টাইপিং ভুল, যেহেতু Andersen 1167 টি মৌলিক উৎপাদক খুঁজে পান ঐ পরিসরে. এবং এই মৌলিক সংখ্যাগুলোর কোনটারই বর্গ সিলভেস্টার সংখ্যাকে ভাগ করে না।
সিলভেস্টার সংখ্যাকে ভাগ করে এমন মৌলিক সংখ্যার সেট, সবগুলো মৌলিক সংখ্যার সেটে শূন্য ঘনত্বের: আসলেই, x এর চেয়ে ছোট এমন মৌলিক সংখ্যার সংখ্যাঃ .

এই সংখ্যাগুলোর জানা উৎপাদকে বিশ্লেষণ নিচের টেবিলে দেখান হল, (প্রথম চারটি বাদে যারা নিজেরাই মৌলিক সংখ্যা):
সিলভেস্টার সংখ্যা sn এর প্রত্যেকটি মৌলিক উৎপাদক p যেখানে p < 5 এবং n ≤ 200, Vardi এর লিস্ট করা। Ken Takusagawa s9 পর্যন্ত উৎপাদকে বিশ্লেষণ এবং s10 এর উৎপাদকে বিশ্লেষণ লিস্ট করেন। বাকিগুলো নেয়া হয়েছে Jens Kruse Andersen এর রাখা a list of factorizations of Sylvester's sequence। নেয়া 2014-06-13.

 n sn এর উৎপাদকসমূহ413 × 13953263443, যেটা মৌলিক6547 × 607 × 1033 × 31051729881 × 67003 × 9119521 × 621215748185295435634831 × 31401519357481261 × 773669302140219919922779181 × 1987 × 112374829138729 × 114152531605972711 × 35874380272246624152764569191134894955972560447869169859142453622851102287 × 2271427 × 21430986826194127130578627950810640891005487 × P1561173 × C416122589377038614498251653 × 2872413602289671035947763837 × C7851352387 × 5020387 × 5783021473 × 401472621488821859737 × 287001545675964617409598279 × C16001413999 × 74203 × 9638659 × 57218683 × 10861631274478494529 × C32931517881 × 97822786011310111 × 54062008753544850522999875710411 × C661816128551 × C1333517635263 × 1286773 × 21269959 × C266611850201023123 × 139263586549 × 60466397701555612333765567 × C53313 19775608719589345260583891023073879169 × C10668520352867 × 6210298470888313 × C21341921387347773 × 1620516511 × C4268632291798039513 × C853750
Pn এবং Cn দিয়ে n অঙ্কের মৌলিক ও যৌগিক সংখ্যা বোঝানো হয়েছে।

 প্রয়োগ 
বিজোড় মাত্রার গোলক বা এক্সোটিক গোলক এর অন্তরীকরণযোগ্য টপোলজি বিশিষ্ট সাসাকিয়ান আইনস্টাইন ম্যানিফোল্ড এর বড় বড় সংখ্যার সংজ্ঞা দিতে  সিলভেস্টার ক্রমের গুণাবলী ব্যবহার করেন। তারা দেখান‌ যে 2n − 1 মাত্রার একটা টপোলজিকাল গোলক এর উপর ভিন্ন ভিন্ন সাসাকিয়ান আইনস্টাইন মেট্রিকস অন্তত sn এর সমানুপাতিক এবং তাই n এর সাথে ডাবল এক্সপোনেনশিয়ালি বৃদ্ধি পায়।

 বলেন যে,  এবং  সিলভেস্টারের ক্রম থেকে উদ্ভূত মান ব্যবহার করে অনলাইন বিন প্যাকিং অ্যালগোরিদম এর জন্য লোয়ার-বাউন্ড উদাহরণ গঠন করেন।
 একইভাবে এই ক্রম ব্যবহার করে দুই-মাত্রার কাটিং স্টক অ্যালগোরিদমের লোয়ার-বাউন্ড বের করেন।Seiden এবং Woeginger তাদের কাজে সিলভেস্টার ক্রমকে "Salzer's sequence" বলে উল্লেখ করেন,  এর নামানুসারে, ক্লোজেস্ট অ্যাপ্রোক্সিমেশনের উপর তার কাজের জন্য.

নাম-এর সমস্যা এমন সংখ্যার সেট নিয়ে আলোচনা করে যে সেটের প্রত্যেকটা সংখ্যাই অন্য সব সংখ্যাকে ভাগ করে কিন্তু অন্য সব সংখ্যার গুণফল + ১ এর সমান নয়। অসমতার বাধ্যবাধকতা ছাড়া, সিলভেস্টার ক্রমের সংখ্যাগুলো এই সমস্যা সমাধান করে দিত; বাধ্যবাধকতা সহ, সিলভেস্টার ক্রমের সংজ্ঞাদায়ী রিকারেন্সের মতই অন্য রিকারেন্স থেকে উদ্ভূত আরও সমাধান আছে এটার। Znám এর সমস্যা সমাধানের প্রয়োগ দেখা যায় সারফেস সিঙ্গুলারিটির ক্লাসিফিকেশনে (Brenton and Hill 1988) এবং নন-ডিটারমিনিস্টিক ফিনিট অটোমাটা এর তত্ত্বে।

 এক এর জন্য একক ভগ্নাংশের k-পদের যোগফলের আসন্নতার একটি প্রয়োগ বর্ণনা করেন, নিখুঁত সংখ্যার উৎপাদকগুলোর লোয়ার-বাউন্ডিং এর ক্ষেত্রে। এবং  একই ধর্ম ব্যবহার করেন গ্রুপ এর আকারের আপার বাউন্ডে।

 আরও দেখুন 
 Cahen's constant
 Primary pseudoperfect number

 টীকা 

 তথ্যসূত্র 























 বহিঃসংযোগ 
 Irrationality of Quadratic Sums, K. S. Brown এর MathPages থেকে।


বিষয়শ্রেণী:মিশরীয় ভগ্নাংশ
বিষয়শ্রেণী:পূর্ণসংখ্যার ক্রম
বিষয়শ্রেণী:গণিতের ধারা
বিষয়শ্রেণী:সংখ্যাতত্ত্ব
বিষয়শ্রেণী:রিকারেন্স সম্পর্ক
বিষয়শ্রেণী:পূর্ণ সংখ্যার ধারা
বিষয়শ্রেণী:গাণিতিক ধারা