2025-11-23T08:55:16.500829

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?

Durán, Pérez, Varona
Computer algebra systems are a great help for mathematical research but sometimes unexpected errors in the software can also badly affect it. As an example, we show how we have detected an error of Mathematica computing determinants of matrices of integer numbers: not only it computes the determinants wrongly, but also it produces different results if one evaluates the same determinant twice.
academic

একজন গণিতবিদদের ত্রয়ীর দুর্ভাগ্য কম্পিউটার বীজগণিত সিস্টেম ব্যবহার করে: আমরা কি বিশ্বাস করতে পারি?

মৌলিক তথ্য

  • পেপার আইডি: 1312.3270
  • শিরোনাম: একজন গণিতবিদদের ত্রয়ীর দুর্ভাগ্য কম্পিউটার বীজগণিত সিস্টেম ব্যবহার করে: আমরা কি বিশ্বাস করতে পারি?
  • লেখক: Antonio J. Durán (Universidad de Sevilla), Mario Pérez (Universidad de Zaragoza), Juan L. Varona (Universidad de La Rioja)
  • শ্রেণীবিভাগ: cs.SC (প্রতীকী গণনা), cs.MS (গাণিতিক সফটওয়্যার)
  • প্রকাশনার সময়: ২০১৩ সালের ১৫ অক্টোবর (arXiv প্রাক-প্রিন্ট)
  • পেপার লিংক: https://arxiv.org/abs/1312.3270

সারসংক্ষেপ

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

গবেষণার পটভূমি এবং প্রেরণা

  1. সমাধানের জন্য সমস্যা: লেখকরা Mathematica ব্যবহার করে গাণিতিক গবেষণা করার সময় বড় পূর্ণসংখ্যা ম্যাট্রিক্সের নির্ণায়ক গণনায় সফটওয়্যারে গুরুতর ত্রুটি আবিষ্কার করেছেন, যার মধ্যে রয়েছে ভুল গণনার ফলাফল এবং একই গণনা থেকে ভিন্ন ফলাফল পাওয়া।
  2. সমস্যার গুরুত্ব:
    • গণিতবিদরা ক্রমবর্ধমানভাবে গবেষণার জন্য কম্পিউটার বীজগণিত সিস্টেমের উপর নির্ভরশীল
    • ভুল গণনার ফলাফল ভুল গাণিতিক সিদ্ধান্তের দিকে পরিচালিত করতে পারে
    • বড় পূর্ণসংখ্যা গণনা ক্রিপ্টোগ্রাফি এবং অন্যান্য ক্ষেত্রে গুরুত্বপূর্ণ প্রয়োগ রয়েছে
  3. বিদ্যমান পদ্ধতির সীমাবদ্ধতা:
    • বাণিজ্যিক কম্পিউটার বীজগণিত সিস্টেম "ব্ল্যাক বক্স", অ্যালগরিদম স্বচ্ছ নয়
    • পরিচিত ত্রুটিগুলি সাধারণত ব্যবহারকারীদের কাছে প্রকাশ করা হয় না
    • আধুনিক সফটওয়্যার যাচাইকরণ কৌশল প্রয়োগ করা কঠিন
  4. গবেষণার প্রেরণা: লেখকরা Karlin এবং Szegő এর অর্থোগোনাল বহুপদ সম্পর্কিত ফলাফলের সম্প্রসারণ নিয়ে গবেষণা করার সময়, Mathematica এবং Maple বিভিন্ন গণনার ফলাফল দিয়েছে, যা তাদের গভীর তদন্তে নিয়ে গেছে এবং Mathematica-তে সিস্টেমেটিক ত্রুটি আবিষ্কার করেছে।

মূল অবদান

  1. Mathematica-তে গুরুতর গণনা ত্রুটি আবিষ্কার এবং রিপোর্ট করা: বড় পূর্ণসংখ্যা ম্যাট্রিক্সের নির্ণায়ক গণনায় ভুল ফলাফল উৎপন্ন করা
  2. পুনরুৎপাদনযোগ্য ত্রুটি উৎপাদন পদ্ধতি প্রদান করা: ত্রুটি ট্রিগার করে এমন ম্যাট্রিক্স তৈরি করার জন্য একটি র্যান্ডম প্রোগ্রাম ডিজাইন করা
  3. ত্রুটির অ-নির্ধারণমূলক বৈশিষ্ট্য প্রকাশ করা: একই ম্যাট্রিক্সের নির্ণায়ক গণনা ভিন্ন ফলাফল উৎপন্ন করতে পারে
  4. কম্পিউটার বীজগণিত সিস্টেমের বিশ্বাসযোগ্যতার প্রশ্ন উত্থাপন করা: এই সিস্টেমগুলিকে কিভাবে বিশ্বাস করতে হবে তা নিয়ে গুরুত্বপূর্ণ আলোচনা সৃষ্টি করা

পদ্ধতির বিস্তারিত ব্যাখ্যা

সমস্যা আবিষ্কারের প্রক্রিয়া

লেখকরা অর্থোগোনাল বহুপদের Casorati নির্ণায়ক নিয়ে গবেষণা করার সময়:

P_{f_1}(a_k) & P_{f_1}(a_{k+1}) & \cdots & P_{f_1}(a_{k+l}) \\ P_{f_2}(a_k) & P_{f_2}(a_{k+1}) & \cdots & P_{f_2}(a_{k+l}) \\ \vdots & \vdots & \ddots & \vdots \\ P_{f_l}(a_k) & P_{f_l}(a_{k+1}) & \cdots & P_{f_l}(a_{k+l}) \end{pmatrix}$$ ফ্লোটিং-পয়েন্ট সংখ্যার সমস্যা এড়াতে সমস্ত উদাহরণ পূর্ণসংখ্যা ব্যবহার করে তৈরি করেছেন, কিন্তু Mathematica এবং Maple বিভিন্ন ফলাফল দিয়েছে। ### ত্রুটি বিচ্ছিন্নকরণ পদ্ধতি গণনা সমস্যা বিচ্ছিন্ন করার জন্য, লেখকরা ত্রুটি ট্রিগার করে এমন ম্যাট্রিক্স তৈরি করার জন্য নিম্নলিখিত পদ্ধতি ডিজাইন করেছেন: 1. **মৌলিক ম্যাট্রিক্স তৈরি করা**: ```mathematica basicMatrix = Table[Table[RandomInteger[{-99, 99}], {i, 1, 14}], {j, 1, 14}] ``` 2. **বড় পূর্ণসংখ্যা তৈরি করা**: ```mathematica powersMatrix = DiagonalMatrix[{10^123, 10^152, 10^185, 10^220, 10^397, 10^449, 10^503, 10^563, 10^979, 10^1059, 10^1143, 10^1229, 10^1319, 10^1412}] ``` 3. **র্যান্ডম বিঘ্ন যোগ করা**: ```mathematica smallMatrix = Table[Table[RandomInteger[{-999, 999}], {i, 1, 14}], {j, 1, 14}] ``` 4. **চূড়ান্ত ম্যাট্রিক্স তৈরি করা**: ```mathematica bigMatrix = basicMatrix.powersMatrix + smallMatrix ``` ### ত্রুটি যাচাইকরণ একই ম্যাট্রিক্সের নির্ণায়ক একাধিকবার গণনা করে ত্রুটি যাচাই করা: ```mathematica a = Det[bigMatrix]; b = Det[bigMatrix]; ``` ফলাফল দেখায় যে `a==b` প্রায়শই `False` প্রদান করে। ## পরীক্ষামূলক সেটআপ ### পরীক্ষার পরিবেশ - **সফটওয়্যার সংস্করণ**: Mathematica 8.0 থেকে 9.0.1 - **অপারেটিং সিস্টেম**: Mac এবং Windows - **তুলনামূলক সফটওয়্যার**: যাচাইকরণ সরঞ্জাম হিসেবে Maple এবং Sage ### পরীক্ষার ডেটা - **ম্যাট্রিক্সের আকার**: 14×14 - **সংখ্যাগত পরিসীমা**: প্রায় 10,000 অঙ্কের বড় পূর্ণসংখ্যা সহ - **উৎপাদন পদ্ধতি**: র্যান্ডমভাবে মৌলিক ম্যাট্রিক্স তৈরি করা, তারপর শক্তি বৃদ্ধি এবং ছোট বিঘ্ন দ্বারা তৈরি করা ## পরীক্ষামূলক ফলাফল ### প্রধান আবিষ্কার 1. **গণনা ত্রুটি**: Mathematica দ্বারা গণনা করা নির্ণায়ক মূল্য সম্পূর্ণভাবে ভুল 2. **অ-নির্ধারণমূলকতা**: একই ম্যাট্রিক্সের একাধিক গণনা ভিন্ন ফলাফল উৎপন্ন করে 3. **সংস্করণ সম্পর্কিত**: ত্রুটি সংস্করণ 8 এবং 9-এ প্রদর্শিত হয়, সংস্করণ 6 এবং 7 প্রভাবিত বলে মনে হয় না ### নির্দিষ্ট কেস একটি নির্দিষ্ট উদাহরণে: - Mathematica প্রথম গণনা: `N[a] = -3.263388173990166 × 10^9768` - Mathematica দ্বিতীয় গণনা: `N[b] = -8.158470434975415 × 10^9768` - সঠিক ফলাফল (Maple/Sage): `≈ 1.95124219131987 × 10^9762` ### ত্রুটি রিপোর্ট লেখকরা ২০১৩ সালের ৭ অক্টোবর Wolfram Research-এ এই ত্রুটি রিপোর্ট করেছেন (কেস নম্বর: CASE:303438), একটি নিশ্চিতকরণ প্রতিক্রিয়া পেয়েছেন, কিন্তু সমস্যা পরবর্তী সংস্করণে এখনও সমাধান করা হয়নি। ## সম্পর্কিত কাজ 1. **ঐতিহাসিক পূর্বনিদর্শন**: 1994 সালে Thomas Nicely দ্বারা আবিষ্কৃত Pentium বিভাজন ত্রুটির মতো 2. **সফটওয়্যার যাচাইকরণ**: ওপেন সোর্স কম্পিউটার বীজগণিত সিস্টেমের যাচাইকরণ প্রযুক্তি গবেষণা উল্লেখ করা 3. **গাণিতিক সফটওয়্যার সাফল্যের কেস**: - চার রঙ উপপাদ্যের প্রমাণ (Appel এবং Haken) - Kepler অনুমানের প্রমাণ (Thomas Hales) - Kenzo সফটওয়্যার প্রকাশিত উপপাদ্যে ত্রুটি আবিষ্কার করেছে ## উপসংহার এবং আলোচনা ### প্রধান উপসংহার 1. **বিশ্বাসযোগ্যতার সমস্যা**: এমনকি প্রতীকী গণনা (পূর্ণসংখ্যা অপারেশন) এও কম্পিউটার বীজগণিত সিস্টেম ত্রুটি উৎপন্ন করতে পারে 2. **প্রভাবের পরিসীমা**: বড় পূর্ণসংখ্যা গণনা ত্রুটি শুধুমাত্র তাত্ত্বিক গণিত নয়, ক্রিপ্টোগ্রাফি এবং অন্যান্য প্রয়োগ ক্ষেত্রকেও প্রভাবিত করে 3. **সিস্টেমেটিক সমস্যা**: বাণিজ্যিক সফটওয়্যারের "ব্ল্যাক বক্স" প্রকৃতি ত্রুটি পূর্বাভাস এবং এড়ানো কঠিন করে তোলে ### সীমাবদ্ধতা 1. **ত্রুটি ট্রিগার শর্ত অস্পষ্ট**: কোন ম্যাট্রিক্স ত্রুটি ট্রিগার করবে তা সঠিকভাবে পূর্বাভাস দেওয়া যায় না 2. **সংস্করণ বিশেষত্ব**: ত্রুটি শুধুমাত্র নির্দিষ্ট সংস্করণে প্রদর্শিত হয় 3. **প্ল্যাটফর্ম নির্ভরতা**: বিভিন্ন অপারেটিং সিস্টেমে যাচাইকরণের প্রয়োজন ### ভবিষ্যত দিকনির্দেশনা 1. আরও ভাল সফটওয়্যার যাচাইকরণ প্রযুক্তি বিকাশ করা 2. বাণিজ্যিক সফটওয়্যারের স্বচ্ছতা বৃদ্ধি করা 3. আরও সম্পূর্ণ ত্রুটি রিপোর্টিং এবং মেরামত প্রক্রিয়া প্রতিষ্ঠা করা ## গভীর মূল্যায়ন ### সুবিধা 1. **বাস্তব তাৎপর্য উল্লেখযোগ্য**: ব্যাপকভাবে ব্যবহৃত গাণিতিক সফটওয়্যারে গুরুতর ত্রুটি প্রকাশ করা 2. **পদ্ধতি বৈজ্ঞানিক**: একাধিক স্বাধীন সিস্টেম দ্বারা যাচাইকরণ, আবিষ্কারের নির্ভরযোগ্যতা নিশ্চিত করা 3. **পুনরুৎপাদনযোগ্যতা শক্তিশালী**: ত্রুটি পুনরুৎপাদনের বিস্তারিত পদ্ধতি প্রদান করা 4. **লেখা স্পষ্ট**: নির্দিষ্ট গাণিতিক গবেষণার পটভূমিতে, সমস্যা আবিষ্কার প্রক্রিয়া জীবন্তভাবে প্রদর্শন করা ### অসুবিধা 1. **তাত্ত্বিক বিশ্লেষণ সীমিত**: ত্রুটি উৎপাদনের মূল কারণ গভীরভাবে বিশ্লেষণ করা হয়নি 2. **সমাধান অভাব**: প্রধানত সমস্যা রিপোর্ট, এই ধরনের ত্রুটি প্রতিরোধ বা সনাক্তকরণের পদ্ধতি অভাব 3. **পরীক্ষার পরিসীমা**: প্রধানত একটি নির্দিষ্ট ধরনের গণনায় কেন্দ্রীভূত (বড় পূর্ণসংখ্যা ম্যাট্রিক্স নির্ণায়ক) ### প্রভাব 1. **একাডেমিক মূল্য**: গবেষকদের কম্পিউটার-সহায়ক প্রমাণের নির্ভরযোগ্যতা সমস্যার প্রতি সতর্ক করা 2. **ব্যবহারিক মূল্য**: Mathematica ব্যবহার করে বড় পূর্ণসংখ্যা গণনা করে এমন ব্যবহারকারীদের জন্য গুরুত্বপূর্ণ সতর্কতা 3. **সফটওয়্যার উন্নতি**: সফটওয়্যার বিকাশকারীদের এই ধরনের ত্রুটি মনোযোগ এবং সংশোধন করতে উৎসাহিত করা ### প্রযোজ্য পরিস্থিতি এই গবেষণার আবিষ্কার নিম্নলিখিত ক্ষেত্রে প্রযোজ্য: - Mathematica ব্যবহার করে বড় পূর্ণসংখ্যা ম্যাট্রিক্স গণনা করে এমন গবেষণা - ক্রিপ্টোগ্রাফিতে বড় সংখ্যা অপারেশন - উচ্চ নির্ভুলতা প্রতীকী গণনা প্রয়োজনীয় গাণিতিক গবেষণা - কম্পিউটার বীজগণিত সিস্টেমের নির্ভরযোগ্যতা মূল্যায়ন ## সংদর্ভ পেপারটি নিম্নলিখিত গুরুত্বপূর্ণ সাহিত্য উদ্ধৃত করেছে: 1. Karlin & Szegő (1960/1961) - অর্থোগোনাল বহুপদ নির্ণায়ক সম্পর্কিত মূল গবেষণা 2. Appel & Haken (1977) - চার রঙ সমস্যার কম্পিউটার-সহায়ক প্রমাণ 3. Hales (2005) - Kepler অনুমানের প্রমাণ 4. Ciaurri & Varona (2006) - কম্পিউটার গণনা নির্ভরযোগ্যতা সম্পর্কিত প্রাথমিক গবেষণা --- যদিও এই পেপারটি দৈর্ঘ্যে সংক্ষিপ্ত, এটি একটি গুরুত্বপূর্ণ সমস্যা প্রকাশ করে: এমনকি দেখতে নির্ভরযোগ্য প্রতীকী গণনাও সিস্টেমেটিক ত্রুটি থাকতে পারে। এটি আমাদের মনে করিয়ে দেয় যে গাণিতিক গবেষণায় কম্পিউটার ব্যবহার করার সময় সতর্ক থাকা প্রয়োজন, এবং সফটওয়্যার যাচাইকরণ এবং স্বচ্ছতার গুরুত্ব তুলে ধরে।