একটি অসমাপ্ত প্রমাণ আপনাকে সবচেয়ে কাজের যে কথাটি বলতে পারে তা হলো এটি ঠিক কোথায় ভেঙে পড়ে, এবং এই প্রমাণটি প্রায় এক ডজন নির্দিষ্ট জায়গায় ভেঙে পড়েছে।
নির্বাহী সারসংক্ষেপ
- এই কাজটির দুটি অংশ রয়েছে। প্রথমটি রেসিপ্রোকাল-সাম সমস্যার জন্য একটি যুক্তি তৈরি করে। দ্বিতীয়টি প্রতিটি নির্দিষ্ট প্রগ্রেশন দৈর্ঘ্যের জন্য একটি কোয়াসিপলিনোমিয়াল বাউন্ড খোঁজে, এবং সেই লক্ষ্যটি অর্জিত হয়নি।
- এর ভিত্তিরেখা হলো ব্লুম এবং সিসাস্কের তিন-পদের রেসিপ্রোকাল-সাম ফলাফল। কেবল গুণগত ঘনত্ব হ্রাস (qualitative density decay) যুক্তির জন্য প্রয়োজনীয় যোগযোগ্যতা (summability) সরবরাহ করে না।
- অনেকগুলো পদ্ধতি চেষ্টা করা হয়েছিল: কাঠামোগত পরিবেষ্টিত সেট (structured ambient sets), যুগপৎ কম্পাঙ্ক সারিবদ্ধকরণ (simultaneous frequency alignment), স্পার্স কাউন্টিং লেমা, ক্রুট-সিসাস্ক (Croot-Sisask) স্মুদিং, লিফটিং এবং পুনরাবৃত্তি, কর্নার, এবং p = log M স্কেলে এনট্রপি। প্রতিটিই সুনির্দিষ্ট বাধার সম্মুখীন হয়েছে।
- একটি রেস্ট্রিকশন লেমা বা স্পার্স কাউন্টিং নীতি ছাড়াই চূড়ান্ত হিসাবটি অসমাপ্ত রাখা হয়েছে।
- প্রতিষ্ঠাতা এবং কারিগরি প্রধানদের জন্য, শিক্ষাটি হলো পদ্ধতি সম্পর্কে: আত্মবিশ্বাসী খসড়ার চেয়ে চিহ্নিত ব্যর্থতার একটি খতিয়ান অনেক বেশি নির্ভরযোগ্য ফলাফল।
দুটি কাজ, এবং সেগুলোর মধ্যে কেবল একটিরই দাবি করা হয়েছিল #
উপাদানগুলো দুটি কাজে বিভক্ত, এবং এদের অবস্থান আলাদা রাখা প্রয়োজন। প্রথমটি রেসিপ্রোকাল-সাম সমস্যার জন্য একটি যুক্তি তৈরি করে। দ্বিতীয়টি প্রতিটি নির্দিষ্ট প্রগ্রেশন দৈর্ঘ্যের জন্য একটি কোয়াসিপলিনোমিয়াল বাউন্ড খোঁজে। এখানে ক্রিয়াপদগুলো গুরুত্বপূর্ণ। প্রথম কাজটিকে একটি যুক্তি তৈরি করা হিসেবে বর্ণনা করা হয়েছে। দ্বিতীয়টি কেবল একটি সীমা বা বাউন্ড খোঁজে। নথিতে কোথাও বলা নেই যে দ্বিতীয় লক্ষ্যটি অর্জিত হয়েছে, এবং আমি পুরো লেখায় এটিকে একটি লক্ষ্য হিসেবেই বিবেচনা করব।
সহকারীটি শূন্য থেকে শুরু করেনি। এটি ভিত্তিরেখা হিসেবে ব্লুম এবং সিসাস্কের তিন-পদের রেসিপ্রোকাল-সাম ফলাফল ব্যবহার করেছে। এর পরের সবকিছুই সেই ভিত্তিরেখা ছাড়িয়ে যাওয়ার একটি প্রচেষ্টা, হয় দীর্ঘতর প্রগ্রেশনের দিকে অথবা আরও শক্তিশালী পরিমাণগত বিবৃতির দিকে। চিহ্ন বা নোটেশন (notation) শুরুতেই নির্ধারণ করা হয়েছে। প্রতিটি k-এর জন্য, r_k(N) হলো কোনো অ-তুচ্ছ (nontrivial) k-পদের প্রগ্রেশন ছাড়া {1, ..., N}-এর একটি উপসেটের বৃহত্তম আকার। ঘনত্ব α = |A|/N বিশিষ্ট একটি সেট A হলো অধ্যয়নের বিষয়, এবং স্বাভাবিকীকৃত ফাংশনটি (normalised function) হলো f = 1_A/α।
সেই স্বাভাবিকীকরণই পরবর্তী বেশিরভাগ বিষয়কে চালিত করে। μ = 1_A/α সংজ্ঞায়িত করুন, যাতে E[μ] = 1 হয়, এবং M = α^-1 ধরুন। তখন লগারিদমিক স্পার্সিটি বা বিরলতা (logarithmic sparsity) হলো p = log(1/α), যা log M-এর সমান। সেটটি যত বেশি বিরল বা স্পার্স হবে, M এবং p তত বড় হবে। নিচের প্রতিটি বাধাই, কোনো না কোনোভাবে, সেই বিরলতা বৃদ্ধির সাথে সাথে কী ঘটে তারই একটি বিবৃতি।
ঘনত্ব হ্রাস আর যোগযোগ্যতা এক জিনিস নয় #
প্রথম বাধাটি দেখা দেয় যুক্তির কাঠামোর স্তরে, যেকোনো ফুরিয়ার বিশ্লেষণের আগে। নথিতে স্পষ্টভাবে বলা হয়েছে যে কেবল গুণগত ঘনত্ব হ্রাস এই যোগযোগ্যতা সরবরাহ করে না। আপনি যখন বিভিন্ন স্কেলের মধ্য দিয়ে যান তখন ঘনত্ব সংকুচিত হয়, কেবল এটি জানাই যথেষ্ট নয়। রেসিপ্রোকাল-সাম সমস্যার জন্য এই সংকোচনকে যোগ করার মতো যথেষ্ট পরিমাণে পরিমাপ করা প্রয়োজন।
একটি প্রলুব্ধকর পরিত্রাণের উপায় হলো পুনরাবৃত্ত সম্পর্ক বা রেকারেন্স (recurrence)। নোটে বলা হয়েছে যে চরম প্রগ্রেশন-মুক্ত ঘনত্বের জন্য যথেষ্ট শক্তিশালী একটি রেকারেন্স সূচকীয় স্কেল জুড়ে (across exponential scales) যোগযোগ্যতা দিতে পারে। সেই বাক্যটি সতর্কতার সাথে লেখা হয়েছে, এবং এটিকে সতর্কই রাখা উচিত। একটি কাল্পনিক শক্তিশালী রেকারেন্স কী করতে পারে তা এটি বর্ণনা করে। এটি এমন কোনো রেকারেন্স খুঁজে পাওয়ার কথা জানায় না।
দ্বিতীয় খরচটি প্রথমটি থেকে আলাদা। সহকারীটি আরেকটি খরচ হিসেবে অনেকগুলো দুর্বল সহসম্পর্কের (weak correlations) পুঞ্জীভূত হওয়াকে চিহ্নিত করে। প্রতিটি একক সহসম্পর্ক নিরীহ হতে পারে কিন্তু তাদের যোগফল নিরীহ নয়। এই বিষয়টি বারবার ফিরে আসে: যে পদক্ষেপটি একবার নিলে সস্তা হয়, বারবার পুনরাবৃত্তি করতে হলে তা ব্যয়বহুল হয়ে ওঠে।
কাঠামো ধরে রাখা, এবং কেন তিনটি পদ সাধারণীকৃত হয় না #
একটি প্রস্তাবিত প্রতিকার হলো কাঠামোটিকে ধরে রাখা। সহকারীটি ক্রমিক বৃদ্ধির (successive increments) মধ্য দিয়ে কাঠামোগত পরিবেষ্টিত সেটগুলো ধরে রাখার প্রস্তাব দেয়। মূল উৎসে সতর্কভাবে বলা ধারণাটি হলো, এক ধাপ থেকে পরের ধাপে যাওয়ার সময় আগের ধাপে পাওয়া কাঠামোগত সেটটি আপনার ফেলে দেওয়া উচিত নয়।
তিন-পদের ক্ষেত্রে এমন একটি বৈশিষ্ট্য রয়েছে যা দীর্ঘতর প্রগ্রেশনে নেই। তিন-পদের প্রগ্রেশনের জন্য কার্যকর ধনাত্মকতা কৌশলটি (positivity mechanism) সরাসরি দীর্ঘতর মূলযুক্ত গণনায় (rooted counts) প্রসারিত হয় না। এটি এমন বেশ কয়েকটি স্থানের মধ্যে প্রথম যেখানে বাধাটি তিনের চেয়ে বড় k-এর জন্য সুনির্দিষ্ট। পরের একটি নোট সাধারণ ভাষায় একই কথা বলে: দীর্ঘতর প্রগ্রেশনগুলো আরও উচ্চ-ক্রমের বাধা তৈরি করে।
নথিতে নির্দিষ্ট সুষমতা নর্মগুলো (uniformity norms) স্পার্স স্বাভাবিকীকৃত ফাংশনগুলোকে নিয়ন্ত্রণ করতে পারে কি না সে সম্পর্কে একটি টেনসর-প্রোডাক্ট (tensor-product) খসড়া অন্তর্ভুক্ত রয়েছে। সহকারীটি এই খসড়াটি সম্পূর্ণ করেনি। প্রশ্নটি কোনো একদিকে মীমাংসিত হয়েছে এমন ইঙ্গিত দেওয়ার চেয়ে আমি বরং এই অসমাপ্ত থাকার তথ্যটিই জানাতে চাই।
কম্পাঙ্কগুলো বহুবারের পরিবর্তে একবারে সারিবদ্ধ করা #
কম্পাঙ্ক ফাংশনগুলোর ক্রমিক সারিবদ্ধকরণ (sequential alignment) হলো সেই জায়গা যেখানে পুঞ্জীভূত হওয়ার সমস্যাটি সবচেয়ে তীব্রভাবে আঘাত করে। প্রতিটি সারিবদ্ধকরণে যদি সামান্য কিছু খরচ হয়, তবে সেগুলোর একটি দীর্ঘ শৃঙ্খলে অনেক বেশি খরচ হয়। ক্রমিক সারিবদ্ধকরণের মাধ্যমে ক্ষতি জমা করার পরিবর্তে, সহকারীটি বেশ কয়েকটি কম্পাঙ্ক ফাংশনকে একসাথে বা যুগপৎ সারিবদ্ধ করার প্রস্তাব দেয়। মার্জিনের নোটটি সরাসরি বলে: "সব কম্পাঙ্ক একসাথে সারিবদ্ধ করলে কোনো পুনরাবৃত্তিমূলক ক্ষতি হয় না।" যে প্রস্তাবের সারসংক্ষেপ এটি করছে, তার মতোই এই বাক্যটিও শর্তসাপেক্ষ, কারণ যুগপৎ সারিবদ্ধকরণ কাজ করলে তা কী সুবিধা দেবে এটি তা বর্ণনা করে।
নোটটি এরপর জানায় যে এখনও কী অনুপস্থিত। S_h-কে বড় সহসম্পর্কযুক্ত, অন্তত exp(-poly), কম্পাঙ্ক থেকে পুনরুদ্ধারযোগ্য হতে হবে। এটি একটি প্রয়োজনীয়তা হিসেবেই রয়ে গেছে, কোনো ফলাফল নয়। যে সহসম্পর্কগুলোকে সংগঠিত করা হচ্ছে সেগুলো হলো জোড় গুণফল f(x)f(x + h)-এর সহসম্পর্ক, যেখানে f = 1_A/α এবং α = |A|/N।
এমনকি এটি মেনে নিলেও, সহকারীটিকে তখনও আপেক্ষিক সহসম্পর্ক বজায় রাখতে হবে এবং গণনার যুক্তিটি সম্পূর্ণ করতে হবে। তাই যুগপৎ-সারিবদ্ধকরণ ধারণাটির একটি আকর্ষণীয় বৈশিষ্ট্য রয়েছে - কোনো পুনরাবৃত্তিমূলক ক্ষতি নেই - এবং এমন কিছু জিনিসের তালিকা রয়েছে যা কেউ যাচাই করেনি। একটি সম্পর্কিত পদ্ধতির একটি সম্পর্কিত সীমাবদ্ধতা রয়েছে। বিরল সুসংগত চূড়াগুলো (rare coherent peaks) ছাঁটাই করা স্বাধীন কম্পাঙ্ক ক্লাস্টারগুলোর জন্য কাজ করে, কিন্তু নির্ভরশীল ক্লাস্টারগুলোতে (dependent clusters) সেই যুক্তি প্রসারিত করার বিষয়টি অমীমাংসিত রয়ে গেছে।
বিরল খালি অংশ এবং অভিযোজিত পূরণের খরচ #
যখন যুক্তিটি ফুরিয়ার-পাশের হিসাব-নিকাশ থেকে প্রকৃতপক্ষে প্রগ্রেশন গণনার দিকে যায়, তখন একটি কাঠামোগত সমস্যা দেখা দেয়। সহকারীটি একটি বাধা চিহ্নিত করে: কাঠামোগত অংশগুলোর ওপর ঊর্ধ্ব ঘনত্ব সীমা বিরল খালি অংশের অবকাশ রাখে। একটি অংশে A-এর কতটুকু রয়েছে তার ঊর্ধ্বসীমা সেখানে আদৌ A-এর কিছু আছে কি না সে সম্পর্কে কিছুই বলে না। বিরল এবং খালি একটি অংশ এমন সব অংশের পরিবারের ভেতরে বসে থাকতে পারে যারা সবাই ওই সীমাটি মেনে চলে।
এর একটি জবাব হলো অভিযোজিত পূরণ (adaptive filling), এবং এর নিজস্ব একটি মাশুল রয়েছে। অভিযোজিত পূরণ আরও কিছু সম্ভাব্যতা শর্ত (feasibility conditions) নিয়ে আসে যা সহকারীটি প্রমাণ করেনি। বিরল খারাপ অংশগুলোকে বাদ দেওয়ার একটি স্বাভাবিক উপায় হলো একটি মেজর্যান্ট (majorant)। সহকারীর উদ্ধৃত পাঠে বলা হয়েছে যে সমস্ত বিরল পরমাণুর ওপর একটি মেজর্যান্ট থাকা সম্ভবত অবাস্তব। মন্তব্যটি সতর্ক, তবে এটি সবচেয়ে সরাসরি সমাধান থেকে দূরে সরে যাওয়ার ইঙ্গিত দেয়।
এই প্যাটার্নটিই বাকি নথির ব্যাখ্যা দেয়। একটি সস্তা যুক্তির কোথাও না কোথাও একটি নিম্নসীমা (lower bound) প্রয়োজন, উপলব্ধ সরঞ্জামগুলো ঊর্ধ্বসীমা দেয়, এবং তাদের মধ্যকার ব্যবধানটি বিরল, স্পার্স ও খালি জিনিসে পূর্ণ থাকে।
স্পার্স কাউন্টিং কৌশল ধার করা, এবং দেখা যে ধার করা অংশটি যথেষ্ট ছিল না #
সহকারীটি পার পাওয়ার পথ খুঁজতে বিদ্যমান স্পার্স-কাউন্টিং সাহিত্যের দিকে তাকিয়েছিল। দুটি উৎস এই প্রচেষ্টাকে রূপ দিয়েছে।
কনলন-ফক্স-ঝাও (Conlon-Fox-Zhao) ঘনীভবন (densification) সম্পর্কে, সহকারীটি দেখেছে যে এটি দ্বিমুখী রৈখিক-ফর্ম প্রাক্কলনের (two-sided linear-forms estimates) ওপর নির্ভরশীল। এটি গুরুত্বপূর্ণ কারণ এখানকার প্রেক্ষাপটে একটি ঊর্ধ্ব-সীমা কাঠামো রয়েছে, কোনো দ্বিমুখী কাঠামো নয়। দ্বিমুখী নিয়ন্ত্রণের ওপর নির্মিত একটি পদ্ধতি তখন পাওয়া যায় না যখন কেবল একটি দিক জানা থাকে।
ফিলমাস, হাতামি, হোসেইনি এবং কেলম্যানের (Filmus, Hatami, Hosseini, and Kelman) স্পার্স গ্রাফ কাউন্টিং লেমাটি অপ্রতিসম গ্রিড মোমেন্ট (asymmetric grid moments) এবং ধনাত্মক-সেমিডেফিনিট ভারসাম্যহীনতার (positive-semidefinite unbalancing) জন্য মডেল সরবরাহ করেছিল। তাই এটি একটি টেমপ্লেট হিসেবে কাজ করেছে, সরাসরি বসিয়ে দেওয়ার মতো উপপাদ্য হিসেবে নয়। তা সত্ত্বেও, একই অসুবিধা ফিরে এসেছে। কেবল ঊর্ধ্বসীমাগুলো বারবার স্পার্স গর্তের সম্মুখীন হয়েছে। আরেকটি জটিলতা গ্রিড মোমেন্টগুলোকে পড়া কঠিন করে তোলে: বড় কেন্দ্রীভূত গ্রিড মোমেন্টগুলো ঊর্ধ্বমুখী ঘনত্বের পরিবর্তে অনুপস্থিত ভরকে (missing mass) প্রতিফলিত করতে পারে। একটি বড় মোমেন্ট দেখতে ঘনত্বের প্রমাণের মতো লাগে, কিন্তু এটি সমানভাবে সেই ভর দ্বারাও তৈরি হতে পারে যা সেখানে নেই। সেই অস্পষ্টতাই হলো মোমেন্টের দিক থেকে দেখা স্পার্স-গর্তের সমস্যা।
এরপর সহকারীটি M-এ সামান্য ঘাত ক্ষতির (small power losses) বিষয়টি বিবেচনা করে। এটি কোনো উপযুক্ত কাউন্টিং উপপাদ্য পায়নি। এটি একটি পরিষ্কার নেতিবাচক ফলাফল, এবং এটি ক্ষেত্রটিকে সংকুচিত করে: যুক্তিটিকে M-এর একটি ছোট ঘাত হারানোর অনুমতি দিলেও, কোনো উপযুক্ত কাউন্টিং উপপাদ্য পাওয়া যায়নি।
স্মুদিং প্রয়োগ করার জন্য অতিরিক্ত ব্যয়বহুল ছিল #
গণনার আগে একটি সেটকে নিয়মিত (regularise) করার একটি আদর্শ পথ হলো ক্রুট-সিসাস্ক স্মুদিং। সহকারীটি এটি বিবেচনা করেছে এবং দেখেছে যে প্রস্তাবিত প্রয়োগে প্রয়োজনীয় নির্ভুলতা অতিরিক্ত ব্যয়বহুল। পদ্ধতিটি ভুল ছিল না। এর দাম যুক্তিটির বহন করার ক্ষমতার চেয়ে বেশি ছিল।
একই অর্থনীতি অন্যান্য পথগুলোকেও নিয়ন্ত্রণ করে। ফাইবার যুক্তির (fibre arguments) ক্ষেত্রে, ফাইবার সীমাগুলো স্বয়ংক্রিয়ভাবে গুণিত হয়নি, এবং ধ্রুবক-নর্ম গোলকগুলো (constant-norm spheres) নির্দিষ্ট অঙ্ক বর্ণমালার (fixed digit alphabets) ওপর প্রত্যাশিত শক্তিশালী হ্রাসকে বাধাগ্রস্ত করেছে। একটি গুণফল কাঠামো ইঙ্গিত দেয় যে অংশগুলোর ওপরের সীমাগুলো মিলে পুরোটির ওপর একটি সীমা তৈরি হওয়া উচিত, কিন্তু এখানে তা হয়নি। লিফটিং এবং পুনরাবৃত্তির প্রচেষ্টায় তখনও পরিমাণগতভাবে অনেক বেশি ক্ষতি হয়েছে।
এরপর বেন-সাসন-রন-জেউই (Ben-Sasson-Ron-Zewi) আনুমানিক-দ্বৈততা পদ্ধতিটি বিবেচনা করা হয়েছিল। সহকারীটি দেখেছে যে বিবেচনাধীন পুনরাবৃত্তিটি পরিমাণগতভাবে অনেক বেশি হারায়। এটি লিফটিং প্রচেষ্টার মতোই একই রায়, যাতে ভিন্ন একটি দিক থেকে পৌঁছানো হয়েছে, যা ইঙ্গিত দেয় যে সমস্যাটি কোনো একটি নির্দিষ্ট নির্মাণে নয় বরং খোদ পুনরাবৃত্তির মধ্যেই নিহিত। আমি এটিকে একটি প্রমাণিত রোগনির্ণয় হিসেবে নয়, বরং প্যাটার্নটি সম্পর্কে একটি পর্যবেক্ষণ হিসেবে রাখব।
আশাবাদের একটি পঙ্ক্তি, এবং যে পাটিগণিত তা কেটে দিয়েছে #
নথিতে আপাত অগ্রগতির একটি মুহূর্ত রয়েছে। সহকারীর উদ্ধৃত পাঠে বিস্ময়সূচক চিহ্নসহ দাবি করা হয়েছে যে গুণফলের মাত্রার ওঠানামা (products degree fluctuations) বহুপদী নির্ভুলতার (polynomial precision) সাথে সামলানো হয়েছে! এটি একটি সতর্ক দাবি, সহকারীটি যেভাবে লিখেছে ঠিক সেভাবেই উদ্ধৃত করা হয়েছে।
সহকারীটি এরপর এর ভেতরকার সমস্যাটি লক্ষ্য করে। চিহ্নযুক্ত বিস্তৃতিগুলোর (signed expansions) 2^p ক্রমের পরম ভর (absolute mass) থাকতে পারে, যা বহুপদী নির্ভুলতাকে ছাপিয়ে যায়। মনে করুন যে p = log M। M-এ বহুপদী নির্ভুলতা একটি পরিমিত লক্ষ্য, অথচ 2^p ক্রমের ভর বিশিষ্ট একটি চিহ্নযুক্ত বিস্তৃতি সূচকীয়ভাবে অনেক বড়। নির্ভুলতাটি বাস্তব, কিন্তু এটি যে কাটাকাটির (cancellation) ওপর নির্ভর করে তা এত বিপুল ভর শোষণ করতে পারে না।
আমার কাছে এটি খতিয়ানের সবচেয়ে শিক্ষণীয় ভুক্তি বলে মনে হয়, কারণ এটি দেখায় যে স্ব-পরীক্ষা কাজ করছে। বিস্ময়সূচক চিহ্ন দিয়ে করা একটি দাবি পুনরায় খোলা হয়েছে, এবং এটি যে পাটিগণিতের ওপর নির্ভরশীল ছিল তা অপর্যাপ্ত বলে প্রমাণিত হয়েছে। একটি সৎ কাজের নথি দেখতে এমনই হয়। উদ্দীপনা এবং সংশোধন উভয়ই একই নথিতে পাশাপাশি অবস্থান করে।
কর্নার এবং বক্সগুলো দীর্ঘতর প্রগ্রেশনে রূপ নেয় না #
একটি ভিন্ন কৌশল ছিল সিঁড়ি হিসেবে আরও শক্তিশালী একটি জানা ফলাফল ব্যবহার করা। কোয়াসিপলিনোমিয়াল কর্নার বাউন্ড (quasipolynomial corners bound) হলো প্রাসঙ্গিক সরঞ্জাম, কিন্তু এর ফলে প্রাপ্ত কর্নারগুলো স্বয়ংক্রিয়ভাবে দীর্ঘতর প্রগ্রেশন তৈরি করেনি। একটি কর্নার হলো দ্বিমাত্রিক প্যাটার্ন এবং একটি দীর্ঘ প্রগ্রেশন হলো একমাত্রিক প্যাটার্ন, আর এদের মধ্যকার রূপান্তর স্বয়ংক্রিয় নয়।
চার-পদের বক্স গণনা (four-term box count) একটি সম্পর্কিত অসুবিধা উপস্থাপন করে। চার-পদের বক্স গণনার ধনাত্মকতা এর ব্যতিক্রমী কর্ণকে (exceptional diagonal) নিয়ন্ত্রণ করতে পারেনি। একটি ধনাত্মক গণনা তখনও অপজাত কনফিগারেশন (degenerate configurations) দ্বারা প্রভাবিত হতে পারে, এবং কর্ণটিই হলো সেই জায়গা যেখানে সেগুলো থাকে।
নোটগুলো অবশ্য সামনে এগোনোর একটি সম্ভাব্য পথ বাতলে দেয়, যা সতর্কভাবে শর্তসাপেক্ষ করা হয়েছে। সম্পূর্ণ বক্স নর্মগুলো (complete box norms) কেবল ঊর্ধ্ব গণনাগুলোই নিম্ন প্রগ্রেশন গণনাকে বাধ্য করতে পারে কি না তার একটি সম্ভাব্য কৌশল প্রদান করে। সেই প্রশ্নটি - একমুখী তথ্য কোনো নিম্নসীমাকে বাধ্য করতে পারে কি না - এমন একটি বিষয় যাকে ঘিরে পুরো প্রকল্পটি আবর্তিত হচ্ছে। তবুও এটি কতদূর প্রসারিত হতে পারে তার একটি সীমা রয়েছে। ঋণাত্মক ঘনকীয় অবদানগুলো (negative cubic contributions) প্রগ্রেশন সিস্টেমে সরাসরি সম্প্রসারণকে বাধাগ্রস্ত করে।
p = log M স্কেলে এনট্রপির দিকে যাত্রা #
সরাসরি গণনার পথগুলো অবরুদ্ধ হয়ে যাওয়ায়, উচ্চ মোমেন্টের কেলি-মেকা (Kelley-Meka) ব্যবহারের ওপর ভিত্তি করে অনুসন্ধানটি p = log M স্কেলে এনট্রপির দিকে মোড় নেয়। স্কেলের এই পছন্দটি খামখেয়ালি নয়: p = log M হলো ঠিক সেই লগারিদমিক বিরলতা যা শুরুতে সংজ্ঞায়িত করা হয়েছিল।
সহকারীর উদ্ধৃত পাঠে অ-ঋণাত্মকতা (nonnegativity) এবং কম্পাঙ্ক বিয়োজ্যতার (frequency dissociativity - Chang) মাধ্যমে L2-এর পরিবর্তে এনট্রপি ব্যবহারের প্রস্তাব দেওয়া হয়েছে। এটি একটি প্রস্তাব, কোনো ফলাফল নয়। যুক্তিটি হলো μ = 1_A/α অ-ঋণাত্মক, এবং চ্যাং-এর বিয়োজ্যতা কম্পাঙ্কের দিকে কাঠামো প্রদান করে, তাই এনট্রপি সেই কাজটি করতে পারে যা একটি L2 রাশি পারে না।
এটি কাজ করার জন্য সহকারীটির একটি সুনির্দিষ্ট বিশ্লেষণাত্মক ইনপুট প্রয়োজন ছিল। সহকারীটি উপযুক্ত স্থানীয় ঊর্ধ্বসীমার অধীনে, সীমাবদ্ধ (bounded) g এবং নির্দিষ্ট q > 2-এর জন্য একটি ফুরিয়ার রেস্ট্রিকশন প্রাক্কলন ||g_hat||_q = O(1) খুঁজেছিল। এটি একটি লক্ষ্য ছিল। এটি প্রতিষ্ঠিত হয়নি।
পরের ধাপেই বাধাটি সামনে আসে। উচ্চ মোমেন্ট থেকে কাঠামো নিষ্কাশন করতে গিয়ে অনেক বেশি ভর হারিয়ে যায়। উচ্চ মোমেন্ট হলো সেই জায়গা যেখানে কেলি-মেকা-ধাঁচের যুক্তিগুলো তাদের শক্তি পায়, এবং এখানে এটি এমনও জায়গা হয়ে দাঁড়ায় যেখানে যুক্তিটি তার ধরে রাখার মতো প্রয়োজনীয় জিনিসগুলো হারিয়ে ফেলে।
যে হিসাবটি সবচেয়ে কাছাকাছি পৌঁছেছিল #
চূড়ান্ত হিসাবটি আলাদাভাবে দেখার দাবি রাখে, কারণ এতে একটি সাফল্য এবং একটি ব্যর্থতা উভয়ই রয়েছে। এটি তার কনভোলিউশন অনুমানের অধীনে একটি পূর্ণ এন্ডপয়েন্ট বাউন্ডে পৌঁছায়। এটি একটি বাস্তব ফলাফল, সেভাবেই বিবৃত হয়েছে, এবং এর সাথে "তার কনভোলিউশন অনুমানের অধীনে" শর্তটি যুক্ত রয়েছে। যখন সেই অনুমানগুলো বজায় থাকে তখন এই বাউন্ডটিও বজায় থাকে।
কিন্তু এটি প্রস্তাবিত গণনা যুক্তির জন্য প্রয়োজনীয় তিন-ঘাত (exponent-three) সীমা অতিক্রম করতে ব্যর্থ হয়। সহকারীর উদ্ধৃতিতে কনভোলিউশন এবং ক্যাপ (cap) থেকে প্রাপ্ত একটি দুর্বল l3 বাউন্ডের কথা উল্লেখ করা হয়েছে, এবং বলা হয়েছে যে ইন্টারপোলেশনের (interpolation) জন্য কঠোরভাবে আরও ভালো একটি ঘাত (3-এর নিচে) প্রয়োজন। সহজ কথায়, হিসাবটি একটি রেখার ঠিক ভুল পাশে গিয়ে ল্যান্ড করে। তিন ঘাতে একটি বাউন্ড যথেষ্ট নয়, এবং ইন্টারপোলেশনের জন্য কঠোরভাবে আরও ভালো কিছুর প্রয়োজন।
এই ধরনের অল্পের জন্য ফসকে যাওয়াকে "প্রায় পৌঁছে গেছি" হিসেবে পড়ার লোভ হতে পারে। আমি তার বিরোধিতা করব। হিসাবটি সীমা থেকে কত দূরে তা নথিতে বলা নেই, এবং মাত্র একটি ঘাতের ব্যবধানও পুরো সমস্যাটি হতে পারে। নথিতে যা বলা আছে তা হলো, সহকারীটি রেস্ট্রিকশন লেমা বা স্পার্স কাউন্টিং নীতি প্রতিষ্ঠা না করেই হিসাবটি অসমাপ্ত রেখে গেছে। ওই দুটি অনুপস্থিত অংশই হলো প্রকল্পটির অনাদায়ী ঋণ।
এই খতিয়ানের মূল্য কতটুকু #
এটিকে একটি ব্যর্থ প্রচেষ্টা হিসেবে উড়িয়ে দেওয়া সহজ হবে। আমি মনে করি এটি প্রমাণকে ভুলভাবে পাঠ করে, এমন একটি কারণে যা সংখ্যাতত্ত্বের বাইরেও দারুণভাবে প্রযোজ্য।
নথিটি সুনির্দিষ্ট। এটি প্রতিটি সংযোগস্থলে বাধার নাম উল্লেখ করে: বিরল খালি অংশ, গ্রিড মোমেন্টে অনুপস্থিত ভর, কনলন-ফক্স-ঝাও-তে দ্বিমুখী প্রাক্কলন, p-তে সূচকীয় চিহ্নযুক্ত ভর, চার-পদের বক্স গণনার ব্যতিক্রমী কর্ণ, ঋণাত্মক ঘনকীয় অবদান। এটি একটি প্রমাণিত সীমাবদ্ধতা এবং একটি প্রত্যাশিত কৌশলের মধ্যে পার্থক্য করে। এটি যোগযোগ্যতার জন্য রেকারেন্সকে এমন কিছু হিসেবে চিহ্নিত করে যা কাজ করতে পারে, এবং দ্বিতীয় কাজটিকে এমন কিছু হিসেবে চিহ্নিত করে যা খোঁজা হয়েছে। সহকারীটি কী শেষ করেনি তা এটি স্পষ্টভাবে বলে।
AI-সহায়তায় গবেষণার মূল্যায়নকারী একজন প্রতিষ্ঠাতা বা কারিগরি প্রধানের জন্য, এটিই হলো খোঁজার মতো জিনিস। যে সিস্টেম একটি আত্মবিশ্বাসী, সম্পূর্ণ-দেখতে যুক্তি ফেরত দেয়, তা নিরীক্ষা (audit) করা কঠিন। আর যে সিস্টেম চিহ্নিত ব্যর্থতার একটি তালিকা ফেরত দেয়, যেখানে একটি প্রায়-সাফল্যকে স্পষ্টভাবে সীমার নিচে থাকা হিসেবে চিহ্নিত করা হয়, সেটিকে লাইন ধরে ধরে নিরীক্ষা করা যায়। যে কেউ তিন-ঘাতের সমস্যাটি, বা নির্ভরশীল-ক্লাস্টারের সমস্যাটি হাতে নিতে পারে, এবং জানতে পারে যে শুরুর অবস্থানটি কী।
এখানে একটি প্যাটার্নও রয়েছে যা সরাসরি উল্লেখ করার মতো। অনেকগুলো ব্যর্থতাই হলো পুঞ্জীভূত হওয়ার ব্যর্থতা: দুর্বল সহসম্পর্ক যা যোগ হতে থাকে, ক্রমিক সারিবদ্ধকরণ যা চক্রবৃদ্ধি হারে বাড়ে, পুনরাবৃত্তি যা অনেক বেশি হারায়, ফাইবার বাউন্ড যা গুণ হতে ব্যর্থ হয়। একটি প্রস্তাবিত প্রতিকার সরাসরি এটিকে লক্ষ্য করে - কম্পাঙ্কগুলোকে যুগপৎ সারিবদ্ধ করা যাতে কোনো পুনরাবৃত্তিমূলক ক্ষতি না হয়। এটি শর্তসাপেক্ষ, এবং এর পূর্বশর্ত, বড় সহসম্পর্কযুক্ত কম্পাঙ্ক থেকে S_h পুনরুদ্ধার করা, অপ্রমাণিত। তবুও, নথিতে এটিই সেই প্রস্তাব যা সবচেয়ে ঘন ঘন ওঠা অভিযোগটির সবচেয়ে সরাসরি জবাব দেয়।
নথিটি যে অমীমাংসিত প্রশ্নটি তোলে তা তাই সংকীর্ণ এবং যাচাইযোগ্য। যে কনভোলিউশন অনুমানগুলো ইতিমধ্যেই এন্ডপয়েন্ট বাউন্ড দেয়, সেগুলোর অধীনে কি তিন ঘাতের চেয়ে কঠোরভাবে ভালো কোনো বাউন্ড পাওয়া সম্ভব? যদি সম্ভব হয়, তবে ইন্টারপোলেশনের কাজ করার মতো কিছু থাকবে। যদি না হয়, তবে ফুরিয়ার রেস্ট্রিকশন পথ এবং স্পার্স কাউন্টিং নীতি, যেগুলোর কোনোটিই প্রতিষ্ঠা করা হয়নি, সেগুলোই হলো পরবর্তী অনুসন্ধানের জায়গা।
সচরাচর জিজ্ঞাসিত প্রশ্নাবলি #
AI সহকারীটি যে দুটি গাণিতিক সমস্যা অনুসন্ধান করেছিল সেগুলো কী ছিল?
সহকারীটি প্রগ্রেশন-মুক্ত সেট সংক্রান্ত দুটি সম্পর্কিত কাজের ওপর কাজ করেছে: রেসিপ্রোকাল-সাম সমস্যার জন্য একটি যুক্তি তৈরি করা, এবং প্রতিটি নির্দিষ্ট প্রগ্রেশন দৈর্ঘ্য k-এর জন্য একটি কোয়াসিপলিনোমিয়াল বাউন্ড খোঁজা। যদিও এটি ভিত্তিরেখা হিসেবে ব্লুম এবং সিসাস্কের তিন-পদের রেসিপ্রোকাল-সাম ফলাফল ব্যবহার করেছে, যেকোনো প্রগ্রেশন দৈর্ঘ্যের জন্য কোয়াসিপলিনোমিয়াল বাউন্ডটি অর্জিত হয়নি।
কেন ঊর্ধ্ব ঘনত্ব সীমাগুলো প্রয়োজনীয় কাউন্টিং লেমা তৈরি করতে ব্যর্থ হলো?
কাঠামোগত অংশগুলোর ওপর ঊর্ধ্ব ঘনত্ব সীমা বিরল খালি অংশের অবকাশ রাখে, যার অর্থ হলো একটি অংশের ভেতরে সেট A-এর কতটুকু রয়েছে তার ঊর্ধ্বসীমা সেখানে A-এর কোনো উপাদান থাকার নিশ্চয়তা দেয় না। একাধিক প্রচেষ্টায়, কেবল ঊর্ধ্বসীমাগুলো বারবার স্পার্স গর্তের সম্মুখীন হয়েছে, এবং বড় কেন্দ্রীভূত গ্রিড মোমেন্টগুলো ঊর্ধ্বমুখী ঘনত্বের পরিবর্তে অনুপস্থিত ভরকে প্রতিফলিত করতে পারত।
চূড়ান্ত হিসাবটি কোথায় গিয়ে থমকে গেল?
চূড়ান্ত হিসাবটি তার বিবৃত কনভোলিউশন অনুমানের অধীনে একটি পূর্ণ এন্ডপয়েন্ট বাউন্ডে পৌঁছেছিল, কিন্তু কেবল একটি দুর্বল l3 বাউন্ড তৈরি করেছিল যা ইন্টারপোলেশনের জন্য প্রয়োজনীয় কঠোরভাবে তিনের নিচের ঘাতের সীমা অতিক্রম করতে ব্যর্থ হয়। সহকারীটি ফুরিয়ার রেস্ট্রিকশন লেমা বা স্পার্স কাউন্টিং নীতি প্রতিষ্ঠা না করেই হিসাবটি অসমাপ্ত রেখে গেছে।
তথ্যসূত্র #
- Thomas F. Bloom and Olof Sisask, (2020). Breaking the logarithmic barrier in Roth's theorem on arithmetic progressions ⧉. arXiv.
- Zander Kelley and Raghu Meka, (2023). Strong Bounds for 3-Progressions ⧉. arXiv.
- David Conlon, Jacob Fox, and Yufei Zhao, (2014). A relative Szemerédi theorem ⧉. Geometric and Functional Analysis.
- Ernie Croot and Olof Sisask, (2010). A probabilistic technique for finding almost-periods of convolutions ⧉. Geometric and Functional Analysis.
সর্বশেষ পর্যালোচনা .
এই নিবন্ধটি ক্রস-পোস্ট করুন
Medium-এর জন্য ফরম্যাট কপি করুন
# প্রগ্রেশন-মুক্ত সেটের ওপর একটি AI-এর আক্রমণ: যা থমকে গেছে তার একটি খতিয়ান — Sebastien Rousseau > Originally published at [https://sebastienrousseau.com/bn/2026-10-24-pragreshan-mukt-seter-opar-ekati/](https://sebastienrousseau.com/bn/2026-10-24-pragreshan-mukt-seter-opar-ekati/) একটি AI সহকারী প্রগ্রেশন-মুক্ত সেট সংক্রান্ত দুটি সমস্যার ওপর কাজ করেছে: রেসিপ্রোকাল-সাম সমস্যার জন্য একটি যুক্তি, এবং প্রতিটি নির্দিষ্ট প্রগ্রেশন দৈর্ঘ্যের জন্য একটি কোয়াসিপলিনোমিয়াল বাউন্ড। এটি ব্লুম এবং সিসাস্কের ফলাফল ব্যবহার করেছে। Read the full article on sebastienrousseau.com: https://sebastienrousseau.com/bn/2026-10-24-pragreshan-mukt-seter-opar-ekati/
Mastodon-এর জন্য ফরম্যাট কপি করুন
প্রগ্রেশন-মুক্ত সেটের ওপর একটি AI-এর আক্রমণ: যা থমকে গেছে তার একটি খতিয়ান — Sebastien Rousseau একটি AI সহকারী প্রগ্রেশন-মুক্ত সেট সংক্রান্ত দুটি সমস্যার ওপর কাজ করেছে: রেসিপ্রোকাল-সাম সমস্যার জন্য একটি যুক্তি, এবং প্রতিটি নির্দিষ্ট প্রগ্রেশন দৈর্ঘ্যের জন্য একটি কোয়াসিপলিনোমিয়াল বাউন্ড। এটি ব্লুম এবং সিসাস্কের ফলাফল ব্যবহার করেছে। https://sebastienrousseau.com/bn/2026-10-24-pragreshan-mukt-seter-opar-ekati/
LinkedIn-এর জন্য বিন্যাসিত কপি করুন
প্রগ্রেশন-মুক্ত সেটের ওপর একটি AI-এর আক্রমণ: যা থমকে গেছে তার একটি খতিয়ান — Sebastien Rousseau একটি AI সহকারী প্রগ্রেশন-মুক্ত সেট সংক্রান্ত দুটি সমস্যার ওপর কাজ করেছে: রেসিপ্রোকাল-সাম সমস্যার জন্য একটি যুক্তি, এবং প্রতিটি নির্দিষ্ট প্রগ্রেশন দৈর্ঘ্যের জন্য একটি কোয়াসিপলিনোমিয়াল বাউন্ড। এটি ব্লুম এবং সিসাস্কের ফলাফল ব্যবহার করেছে।. এখানে মূল কৌশলগত টেকওয়েগুলি রয়েছে: - দুটি কাজ, এবং সেগুলোর মধ্যে কেবল একটিরই দাবি করা হয়েছিল. উপাদানগুলো দুটি কাজে বিভক্ত, এবং এদের অবস্থান আলাদা রাখা প্রয়োজন। প্রথমটি রেসিপ্রোকাল-সাম সমস্যার জন্য একটি যুক্তি তৈরি করে। দ্বিতীয়টি প্রতিটি নির্দিষ্ট প্রগ্রেশন দৈর্ঘ্যের জন্য একটি কোয়াসিপলিনোমিয়াল বাউন্ড… - ঘনত্ব হ্রাস আর যোগযোগ্যতা এক জিনিস নয়. প্রথম বাধাটি দেখা দেয় যুক্তির কাঠামোর স্তরে, যেকোনো ফুরিয়ার বিশ্লেষণের আগে। নথিতে স্পষ্টভাবে বলা হয়েছে যে কেবল গুণগত ঘনত্ব হ্রাস এই যোগযোগ্যতা সরবরাহ করে না। আপনি যখন বিভিন্ন স্কেলের মধ্য দিয়ে যান তখন ঘনত্ব… - কাঠামো ধরে রাখা, এবং কেন তিনটি পদ সাধারণীকৃত হয় না. একটি প্রস্তাবিত প্রতিকার হলো কাঠামোটিকে ধরে রাখা। সহকারীটি ক্রমিক বৃদ্ধির (successive increments) মধ্য দিয়ে কাঠামোগত পরিবেষ্টিত সেটগুলো ধরে রাখার প্রস্তাব দেয়। মূল উৎসে সতর্কভাবে বলা ধারণাটি হলো, এক ধাপ থেকে পরের… - কম্পাঙ্কগুলো বহুবারের পরিবর্তে একবারে সারিবদ্ধ করা. কম্পাঙ্ক ফাংশনগুলোর ক্রমিক সারিবদ্ধকরণ (sequential alignment) হলো সেই জায়গা যেখানে পুঞ্জীভূত হওয়ার সমস্যাটি সবচেয়ে তীব্রভাবে আঘাত করে। প্রতিটি সারিবদ্ধকরণে যদি সামান্য কিছু খরচ হয়, তবে সেগুলোর একটি দীর্ঘ শৃঙ্খলে… এই নিবন্ধে উল্লিখিত চ্যালেঞ্জগুলির প্রতি আপনার প্রতিষ্ঠানের পদ্ধতি কী? → https://sebastienrousseau.com/bn/2026-10-24-pragreshan-mukt-seter-opar-ekati/ #Ai #আক্রমণ #প্রগ্রেশনমুক্ত #সেট #খতিয়ান Sebastien Rousseau | CC-BY-4.0
এই নিবন্ধটি উদ্ধৃত করুন
প্রগ্রেশন-মুক্ত সেটের ওপর একটি AI-এর আক্রমণ: যা থমকে গেছে তার একটি খতিয়ান — Sebastien Rousseau
একটি AI সহকারী প্রগ্রেশন-মুক্ত সেট সংক্রান্ত দুটি সমস্যার ওপর কাজ করেছে: রেসিপ্রোকাল-সাম সমস্যার জন্য একটি যুক্তি, এবং প্রতিটি নির্দিষ্ট প্রগ্রেশন দৈর্ঘ্যের জন্য একটি কোয়াসিপলিনোমিয়াল বাউন্ড। এটি ব্লুম এবং সিসাস্কের ফলাফল ব্যবহার করেছে।
BibTeX
@online{rousseau2026প,
author = {Rousseau, Sebastien},
title = {{প্রগ্রেশন-মুক্ত সেটের ওপর একটি AI-এর আক্রমণ: যা থমকে গেছে তার একটি খতিয়ান — Sebastien Rousseau}},
year = {2026},
url = {https://sebastienrousseau.com/bn/2026-10-24-pragreshan-mukt-seter-opar-ekati/},
urldate = {2026}
}RIS
TY - GEN AU - Rousseau, Sebastien TI - প্রগ্রেশন-মুক্ত সেটের ওপর একটি AI-এর আক্রমণ: যা থমকে গেছে তার একটি খতিয়ান — Sebastien Rousseau PY - 2026 UR - https://sebastienrousseau.com/bn/2026-10-24-pragreshan-mukt-seter-opar-ekati/ ER -
Vancouver
Rousseau S. প্রগ্রেশন-মুক্ত সেটের ওপর একটি AI-এর আক্রমণ: যা থমকে গেছে তার একটি খতিয়ান — Sebastien Rousseau. sebastienrousseau.com. 2026 Oct 24. Available from: https://sebastienrousseau.com/bn/2026-10-24-pragreshan-mukt-seter-opar-ekati/
Chicago
Rousseau, Sebastien. "প্রগ্রেশন-মুক্ত সেটের ওপর একটি AI-এর আক্রমণ: যা থমকে গেছে তার একটি খতিয়ান — Sebastien Rousseau." sebastienrousseau.com. October 24, 2026. https://sebastienrousseau.com/bn/2026-10-24-pragreshan-mukt-seter-opar-ekati/.
APA
Rousseau, S. (2026, October 24). প্রগ্রেশন-মুক্ত সেটের ওপর একটি AI-এর আক্রমণ: যা থমকে গেছে তার একটি খতিয়ান — Sebastien Rousseau. sebastienrousseau.com. https://sebastienrousseau.com/bn/2026-10-24-pragreshan-mukt-seter-opar-ekati/
এই নিবন্ধটি পুনঃপ্রকাশ করুন
প্রগ্রেশন-মুক্ত সেটের ওপর একটি AI-এর আক্রমণ: যা থমকে গেছে তার একটি খতিয়ান — Sebastien Rousseau
একটি AI সহকারী প্রগ্রেশন-মুক্ত সেট সংক্রান্ত দুটি সমস্যার ওপর কাজ করেছে: রেসিপ্রোকাল-সাম সমস্যার জন্য একটি যুক্তি, এবং প্রতিটি নির্দিষ্ট প্রগ্রেশন দৈর্ঘ্যের জন্য একটি কোয়াসিপলিনোমিয়াল বাউন্ড। এটি ব্লুম এবং সিসাস্কের ফলাফল ব্যবহার করেছে।
এই নিবন্ধটি লাইসেন্স করা হয়েছে Creative Commons Attribution 4.0 International. পুনঃপ্রকাশনার জন্য মূল URL-এর কৃতিত্ব আবশ্যক।
প্রগ্রেশন-মুক্ত সেটের ওপর একটি AI-এর আক্রমণ: যা থমকে গেছে তার একটি খতিয়ান — Sebastien Rousseau একটি AI সহকারী প্রগ্রেশন-মুক্ত সেট সংক্রান্ত দুটি সমস্যার ওপর কাজ করেছে: রেসিপ্রোকাল-সাম সমস্যার জন্য একটি যুক্তি, এবং প্রতিটি নির্দিষ্ট প্রগ্রেশন দৈর্ঘ্যের জন্য একটি কোয়াসিপলিনোমিয়াল বাউন্ড। এটি ব্লুম এবং সিসাস্কের ফলাফল ব্যবহার করেছে। Originally published at https://sebastienrousseau.com/bn/2026-10-24-pragreshan-mukt-seter-opar-ekati/ by Sebastien Rousseau. Licensed under CC-BY-4.0.