🔢 mathematics

Computing with Continued Logarithms

تقدم هذه الورقة خوارزمية لإجراء حسابات العمليات الحسابية والدوال المتسامية (مثل الدوال المثلثية والأسية واللوغاريتمية) مباشرة ضمن مجال اللوغاريتمات المستمرة، مما يوفر بديلاً أكثر كفاءة للكسور المستمرة يتجنب الحسابات بنظام الفاصلة العائمة.

المؤلفون الأصليون: Michael J. Collins

نُشر 2026-02-10

📖 3 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Michael J. Collins

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل أنك تحاول وصف حجم الكون لشخص ما. إذا استخدمت أرقاماً قياسية (مثل 1,000,000,000)، فستنفد منك الأصفار في النهاية وتضطر لاستخدام الصيغة العلمية ( $10^9$ ). ولكن ماذا لو أردت نظاماً يمكنه التعامل مع أرقام ضخمة للغاية تجعل المجرات تبدو كأنها ذرات، أو أرقاماً متناهية الصغر تجعل الجسيمات دون الذرية تبدو كأنها جبال، وكل ذلك دون الحاجة أبداً لتغيير التنسيق؟

تقدم هذه الورقة البحثية "أداة فائقة" رياضية تسمى اللوغاريتمات المستمرة (Continued Logarithms - CLs). إليك تفصيل لكيفية عملها ولماذا هي مهمة.

1. المفهوم: "عدسة الزووم" للأرقام

معظم الرياضيات تستخدم "مسطرة" (النقاط العشرية). إذا أردت قياس شيء أكبر، فأنت بحاجة إلى مسطرة أكبر.

تعمل اللوغاريتمات المستمرة بشكل يشبه عدسة الكاميرا التي تقوم بعمل "زووم". بدلاً من القول: "هذا الرقم هو 1,000,000"، تقول اللوغاريتمات المستمرة: "ابدأ من قدر 20 (وهو $2^{20}$ )، ثم عدل هذا القدر بهذا القدر، ثم عدل تلك النتيجة بهذا القدر..."

إنها طريقة تكرارية لوصف الرقم. أنت تصف "الحي" الذي يسكن فيه الرقم، ثم تقوم بعمل زووم لتصف "الشارع"، ثم "المنزل"، وهكذا. ولأنها تعمل عن طريق "الزووم" (باستاستخدام قوى العدد 2)، فهي فعالة للغاية بالنسبة للحواسيب للتعامل مع القيم الضخمة أو الصغيرة جداً.

2. الحساب: طريقة "الوصفة"

الجزء الأكثر إثارة للإعجاب في الورقة البحثية هو كيفية إجراء العمليات الحسابية (الجمع، الضرب، إل_خ) باستخدام هذه الأوصاف "المكبرة".

تخيل أن لديك وصفتين معقدتين لصنع كعكة. إحدى الوصفتين مكتوبة بـ "الجرامات"، والأخرى بـ "الأونصات". عادةً، سيتعين عليك تحويل كل شيء إلى وحدة قياسية واحدة (مثل الكسور العشرية). لكن التحويل إلى الكسور العشرية قد يؤدي إلى "أخطاء التقريب" — وهي أخطاء صغيرة تتراكم لتصبح أخطاءً كبيرة.

يستخدم المؤلفون خوارزمية تسم تتيح لك جمع الوصفات دون الحاجة أبداً لتحويلها إلى معيار قياسي. إنهم يستخدمون ما يسمى التعبيرات ثنائية الشكل (Bihomographic Expressions). فكر في هذا على أنه "مترجم رياضي". بدلاً من تحويل المكونات، يقوم المترجم بالنظر في الأنماط الموجودة في الوصفتين ويتنبأ بكيف سيكون شكل الوصفة المدمجة، خطوة بخطوة.

بينما تقرأ المزيد من الوصفة الأولى، يخبرك المترجم فوراً بالخطوات الأولى للنتيجة النهائية. الأمر يشبه مشاهدة شخصين يمشيان باتجاه بعضهما البعض والقدرة على التنبؤ بالضبط أين سيلتقيان قبل أن يصلا حتى.

3. الدوال المتسامية: "المرآة اللانهائية"

تذهب الورقة البحثية إلى أبعد من ذلك. فهي توضح كيفية حساب الدوال المعقدة مثل الجيب (Sine)، وجيب التمام (Cosine)، واللوغاريتمات باستخدام هذا النظام.

في الرياضيات القياسية، يتطلب حساب $\sin(x)$ صيغاً طويلة ومعقدة (سلسلة تايلور). يعامل المؤلفون هذه الدوال مثل قاعة مرايا لانهائية. إنهم يضعون حلقة رياضية حيث يتم تعريف الدالة من خلال نفسها. ولأن "عدسة الزووم" (نظام CL) بارعة جداً في تضييق النطاقات، يمكن للحاسوب "عمل زووم" على نتيجة موجة الجيب أو المنحنى الأسي بنفس السهولة التي يتعامل بها مع الجمع البسيط.

4. مشكلة "التوقف": "النافذة الضبابية"

يعترف المؤلفون بوجود مشكلة صعبة واحدة: الإنهاء (Termination).

تخيل أنك تنظر عبر نافذة ضبابية إلى جسم بعيد. يمكنك رؤية أنه يقترب، لكن لا يمكنك تحديد ما إذا كان يبعد بالضبط قدمين أو 2.000001 قدم. في الرياضيات، إذا كان الرقم يقع تماماً على حافة حد ما، فقد "يتعثر" (Stall) النظام — يستمر في قراءة المزيد والمزيد من المعلومات لكنه لا يستطيع أن يقرر ما إذا كان يسمي الرقم التالي "0" أو "1".

يشير المؤلفون إلى أنه على الرغم من كون هذا تحدياً، إلا أنه ثمن ضئيل مقابل نظام سريع ومدمج للغاية بالنسبة للعتاد (مثل الرقائق الحاسوبية) لاستخدامه.

الملخص: لماذا يجب أن نهتم؟

إذا احتجنا يوماً لبناء حواسيب تحاكي التاريخ الكامل للكون أو تحسب فيزياء الثقوب السوداء، فإن الرياضيات العشرية القياسية ستنهار. توفر هذه الورقة البحثية مخططاً لـ "رياضيات ثابتة المقياس" (Scale-Invariant Math) — وهي طريقة تمكن الحواسيب من التفكير من حيث "الرتب المقدارية" بدلاً من مجرد "الأرقام"، مما يجعلها أقوى بكثير في التعامل مع حدود الواقع القصوى.

ملخص تقني: الحوسبة باستخدام اللوغاريتمات المستمرة

المؤلفون: مايكل جيه كولينز (دانيال إتش فاغنر وشركاه)
مجال الموضوع: نظرية الأعداد الحسابية / الحساب الخوارزمي

1. بيان المشكلة

تعتمد الحسابات التقليدية على الأعداد الحقيقية عادةً على تمثيلات الفاصلة العائمة، والتي تكون محدودة بالدقة الثابتة وقد تواجه صعوبات مع القيم الكبيرة جداً أو الصغيرة جداً. وبينما توفر الكسور المستمرة (CFs) بديلاً لتمثيل الأعداد الحقيقية، إلا أنها غالباً ما تكون مكثفة حسابياً.

تعالج الورقة تحدي إجراء عمليات حسابية عالية الدقة وفعالة على اللوغاريتمات المستمرة (CLs). واللوغاريتمات المستمرة هي نوع متغير من الكسور المستمرة صُمم لتمثيل الأعداد ذات المقادير الهائلة بشكل أكثر كفاءة، وهي مناسبة بشكل خاص للتنفيذ في الأجهزة (Hardware). وتتمثل المشكلة الجوهرية في تطوير خوارزمية يمكنها إجراء العمليات الحسابية وتقييم الدوال المتسامية (المثلثية، والأسية، واللوغاريتمية) بالكامل ضمن نطاق اللوغاريتمات المستمرة، دون الحاجة أبداً للتحويل إلى أرقام الفاصلة العائمة.

2. المنهجية

تستخدم الورقة نهج "رقم برقم" (digit-by-digit)، وهو مشابه لخوارزمية غوسبر للكسور المستمرة. وتعتمد المنهجية على عدة أطر رياضية رئيسية:

تمثيل اللوغاريتم المستمر (CL Representation): يتم تمثيل العدد الحقيقي $x > 1$ كسلسلة من الأعداد الصحيحة $[a_0, a_1, \dots]$ المستمدة من العلاقة التكرارية $x = 2^k(1 + 1/y)$ ، حيث $k = \lfloor \log_2(x) \rfloor$ .
تمثيل الأنظمة الديناميكية: لتبسيط الحساب، قام المؤلفون برسم خريطة لعملية اللوغاريتم المستمر إلى نظام ديناميكي باستخدام سلسلة من البتات (0 و 1) التي تمثل العمليات $x/2$ و $1/(x-1)$ .
التحويلات ثنائية الشكل (Bihomographic Transformations): المحرك الأساسي لخوارزمية الحساب هو استخدام التعبيرات ثنائية الشكل من الصيغة:
$M(x, y) = \frac{axy + bx + cy + d}{exy + fx + gy + h}$
حيث $x$ و $y$ هما حدود المدخلات غير المقروءة. وتحافظ الخوارزمية على مصفوفة $M$ التي تمثل العلاقة بين المدخلات والمخرجات.
عمليات المصفوفات: حدد المؤلفون تحويلات مصفوفية محددة للتعامل مع "إنتاج" حدود المخرجات (تحديد الحد التالي للوغاريتم المستمر) و "استهلاك" حدود المدخلات (قراءة الحد التالي من تسلسل المدخلات).
- prod0 و prod1: يُستخدمان عندما تحدد حدود $M(x, y)$ الحد التالي للمخرج.
- conx,0 و conx,1: يُستخدمان لتضييق نطاق التعبير من خلال استهلاك حدود $x$ من المدخلات.

3. المساهمات الرئيسية

تقدم الورقة ثلاث طفرات خوارزمية رئيسية:

خوارزمية الحساب للوغاريتمات المستمرة: صياغة رسمية لكيفية إجراء الجمع، والطرح، والضرب، والقسمة على اللوغاريتمات المستمرة باستخدام المصفوفات ثنائية الشكل. وهذا يسمح بـ "الحساب التدفقي" (streaming arithmetic)، حيث يتم إنتاج حدود المخرجات بمجرد تحديدها رياضياً.
خوارزميات الدوال المتسامية: وسع المؤلفون طريقة ثنائية الشكل لحساب:
- الدوال الأسية ( $e^x$ ): باستخدام نهج متسلسلة تايلور التكراري عبر قاعدة هورنر (Horner’s rule).
- الدوال المثلثية العكسية ( $\arcsin x$ ): باستخدام متسلسلات القوى وتقنيات التحديد.
- الدوال المثلثية ( $\sin, \cos, \tan$ ): باستخدام العلاقة بين $\cos(x)$ والمتسلسلات المتناوبة.
- اللوغاريتمات ( $\log x$ ): باستخدام توسيع متسلسلة يتقارب لجميع قيم $x > 0$ .
تحليل التقارب والإنهاء: تقدم الورقة أساساً نظرياً لسبب قيام هذه التعبيرات المتداخلة لانهائياً في نهاية المطاف بإنتاج كل حد من المخرجات (الإنهاء)، بشرط استهلاك مدخلات كافية.

4. النتائج والتنفيذ

التنفيذ: تم تنفيذ الخوارزميات بنجاح باستخدام لغة Haskell، مما أثبت جدوى النهج النظري.
الكفاءة: يشير المؤلفون إلى أن خوارزميات اللوغاريتم المستمر (CL) هي في الواقع أبسط من نظيراتها في الكسور المستمرة (CF). التمثيل مدمج للغاية، وطبيعة "التدفق" للخوارزمية تسمح بالحوسبة في الوقت الفعلي.
ملاحظة حول التعقيد: يقر المؤلفون بوجود "مشكلة إنهاء" حيث قد لا يتم تحديد حد المخرج إذا أصبحت الحدود ضيقة جداً (على سبيل المثال $2 - \epsilon < M(x, y) < 2 + \epsilon$ ). ورغم أن تنفيذهم الحالي لا يحل هذه المشكلة، إلا أنهم يقترحون قناة خطأ موازية للكشف عن ذلك في الأجهزة.

5. الأهمية

هذا العمل ذو أهمية كبيرة في مجالات الحوسبة عالية الدقة و تصميم الأجهزة. من خلال توفير طريقة لحساب الدوال المتسامية بالكامل ضمن نطاق اللوغاريتم المستمر، تمهد الورقة الطريق لـ:

وحدات حسابية على مستوى الأجهزة يمكنها التعامل مع أعداد ذات مقاييس متفاوتة للغاية دون العبء الإضافي لمنطق الفاصلة العائمة.
طرق جديدة للتحليل العددي الرمزي وعالي الدقة حيث تشكل حدود الدقة التقليدية عائقاً.
جسر بين الأنظمة الديناميكية ونظرية الأعداد، مما يوضح كيف يمكن استخدام الخرائط التكرارية لدفع الحسابات الرياضية المعقدة.