الهيكل الرياضي الحقيقي لغربال حقل الأعداد العام (GNFS)

الهدف النهائي لـ GNFS هو العثور على $X, Y$ بحيث يكون $X^2 \equiv Y^2 \pmod N$. لتحقيق ذلك، بنى علماء الرياضيات جسرًا بين “عالم الأعداد الصحيحة الحقيقي” و “عالم الحقول الجبرية”. هذا الجسر هو ما يُعرف بـ “التشاكل” (Homomorphism).

المرحلة الأولى: “التشاكل” الذي يربط العالمين

1. اختيار المتعددة الحدود وتعريف الجذور

لعدد مركب ضخم $N$، نختار عددًا صحيحًا $m$ ومتعددة حدود $f(x)$ بحيث $f(m) \equiv 0 \pmod N$. (مثال: توسيع $N$ في الأساس $m$، وبناء $f(x)$ من معاملاته. في هذه الحالة، يُفترض أن $f(x)$ غير قابل للاختزال على حقل الأعداد الكسرية $\mathbb{Q}$).

بعد ذلك، لنفترض أن $\alpha$ هو أحد “الجذور المركبة” للمعادلة $f(x) = 0$. بالطبع، $f(\alpha) = 0$. لاحظ أن $\alpha$ ليس عددًا صحيحًا، بل عددًا مركبًا (عددًا جبريًا) قد يحتوي على جذور أو أعداد تخيلية.

2. بناء الحلقة (Ring) والتشاكل

هنا، نقوم بإعداد “حلقتين” رياضيتين (عالمان حيث يُعرّف الجمع والضرب):

• العالم A: $\mathbb{Z}[\alpha]$ (حلقة الأعداد الصحيحة الجبرية التي تحتوي على $\alpha$) هذا هو عالم الأعداد التي تُعبّر عن شكل $a + b\alpha + c\alpha^2 + \dots$.
• العالم B: $\mathbb{Z}/N\mathbb{Z}$ (حلقة البواقي بعد القسمة على $N$) عالم التطابق (modulo) الذي يتكون فقط من الأعداد الصحيحة من $0$ إلى $N-1$.

هنا، نُعرّف تعيينًا (Mapping) يُسمى $\phi$ من العالم A إلى العالم B على النحو التالي: $$\phi : \mathbb{Z}[\alpha] \to \mathbb{Z}/N\mathbb{Z}$$ $$\phi(\alpha) = m \pmod N$$

هذا التعيين $\phi$ هو عملية سحرية تستبدل المتغير $\alpha$ في العالم A بالعدد الصحيح $m$ في العالم B بشكل كامل. هذا الـ $\phi$ يمتلك خاصية قوية جدًا تُسمى “تشاكل الحلقة” (Ring Homomorphism). التشاكل هو خاصية “الانتقال إلى عالم آخر دون تدمير هيكل الجمع والضرب”. وهذا يعني أن المعادلات التالية صحيحة:

• $\phi(X \times Y) = \phi(X) \times \phi(Y)$
• $\phi(X^2) = \phi(X)^2$

ماذا يعني كل هذا؟ إذا تمكنا من صنع “مربع كامل” ($\gamma^2$) من عنصر معقد $\gamma$ في “العالم A” (عالم $\alpha$)، فيمكننا القفز إلى “العالم B” (عالم البواقي) باستخدام $\phi$، و سيتم الحفاظ على شكل المربع $\phi(\gamma)^2$ تمامًا.

المرحلة الثانية: انهيار التحليل إلى العوامل الأولية وولادة “المثالي” (Ideal)

نريد جمع الكثير من العناصر المناسبة $(a - b\alpha)$ في العالم A ($\mathbb{Z}[\alpha]$) وضربها معًا لتكوين “مربع كامل”. عادةً، يمكننا “التحليل إلى العوامل الأولية” للعناصر $(a - b\alpha)$ المجمعة، ودمجها بحيث تصبح كل أسس الأعداد الأولية زوجية (محلولة باستخدام المصفوفات) لإنشاء مربع.

ولكن، هنا يقف جدار اليأس الجبري في طريقنا. في عالم الحقول الجبرية مثل $\mathbb{Z}[\alpha]$، فإن “وحدانية التحليل إلى العوامل الأولية (يمكن التعبير عن كل عدد بطريقة واحدة فقط كحاصل ضرب أعداد أولية)” التي تعلمناها في المدرسة الإعدادية تنهار تمامًا.

(مثال: في بعض عوالم الحقول الجبرية، $6 = 2 \times 3$، وفي نفس الوقت $6 = (1+\sqrt{-5}) \times (1-\sqrt{-5})$، مما يجعل من المستحيل معرفة أي منها هي الأعداد الأولية الحقيقية).

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

إنقاذ كومر وديديكيند: “المثالي” (Ideal)

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

في حلقة الأعداد الصحيحة للحقل الجبري $\mathcal{O}_K$ (الحلقة الأكثر كمالًا التي تحتوي على $\mathbb{Z}[\alpha]$)، حتى لو لم يكن بالإمكان تحليل العناصر بشكل فريد، فقد تم إثبات أن “المثالي يمكن دائمًا تحليله بشكل فريد كحاصل ضرب ‘مثاليات أولية’ ($\mathfrak{p}$)”.

لذلك، في GNFS، بدلًا من تحليل العنصر $(a - b\alpha)$ نفسه، نقوم بـ التحليل إلى المثاليات الأولية للمثالي الرئيسي $\langle a - b\alpha \rangle$ الذي يولده.

المرحلة الثالثة: المعيار (Norm) والغربالان (Sieve)

إذن، كيف نعرف ما هي المثاليات الأولية التي يتحلل إليها المثالي $\langle a - b\alpha \rangle$؟ هنا نستخدم دالة تسمى “المعيار” (Norm). المعيار هو دالة تحول العناصر المعقدة في الحقل الجبري إلى “أعداد صحيحة عادية $\mathbb{Z}$” في العالم الحقيقي.

يُحسب معيار العنصر $(a - b\alpha)$ بواسطة متعددة الحدود البسيطة $b^d f(a/b)$ (حيث $d$ هي درجة $f(x)$).

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

لذلك، يحسب GNFS الأمرين التاليين في وقت واحد لعدد كبير من أزواج الأعداد الصحيحة $(a, b)$، ويجمع فقط الأزواج التي يكون كلاهما “أعدادًا ملساء”:

1. الغربال النسبي (Rational Sieve): $a - bm$ (القيمة في العالم الحقيقي)
2. الغربال الجبري (Algebraic Sieve): $b^d f(a/b)$ (المعيار في عالم الحقل الجبري)

نجمع عشرات الملايين من الأزواج $(a, b)$ الملساء معًا، ونحل بيانات التحليل إلى المثاليات الأولية (كم عدد المثاليات الأولية الموجودة) كمصفوفة عملاقة (الجبر الخطي على GF(2))، ونجد مجموعة $S$ من الأزواج بحيث “عند ضربها، تصبح أسس جميع المثاليات الأولية زوجية”.

المرحلة الرابعة: “العقبتان” وزمرة أصناف المثاليات

من خلال حساب المصفوفة، وجدنا أن ضرب جميع المثاليات $(a - b\alpha)$ في المجموعة $S$ ينتج مربعًا لمثالي ما $I$.

لكن الأمر لم ينتهِ بعد. أعمق وأصعب جدار رياضي في GNFS يكمن هنا.

ما نريده في النهاية ليس “مربع المثالي”، بل “مربع العنصر” ($\gamma^2$) لتعويضه في التعيين $\phi$. فقط لأن المثالي تم تربيعه، لا يعني أن العنصر نفسه تم تربيعه. توجد عقبتان رياضيتان قويتان جدًا (Obstructions) هنا.

العقبة 1: جدار زمرة أصناف المثاليات (Ideal Class Group)

المثالي $I$ ليس دائمًا “مثاليًا مولدًا بواسطة عنصر واحد (مثالي رئيسي)”. من المستحيل استخراج العنصر المحدد $\gamma$ من مثالي ليس مثاليًا رئيسيًا.

هنا يظهر مفهوم “زمرة أصناف المثاليات (Class Group, $Cl_K$)”. زمرة أصناف المثاليات هي زمرة تقيس “مدى وجود مثاليات غير رئيسية في عالم الحقل الجبري (إلى أي مدى تم تدمير وحدانية التحليل إلى العوامل الأولية)”. حتى لو أصبح $\prod \langle a - b\alpha \rangle$ هو $I^2$، إذا لم يكن $I$ عنصرًا محايدًا (مثاليًا رئيسيًا) في زمرة أصناف المثاليات، فلا يمكننا سحبه مرة أخرى إلى مربع عنصر.

العقبة 2: جدار زمرة الوحدات (Unit Group)

لنفترض أننا محظوظون وأن $I$ هو مثالي رئيسي $\langle \gamma \rangle$. إذن، $\prod \langle a - b\alpha \rangle = \langle \gamma^2 \rangle$. قد تعتقد، “رائع، العنصر مربع أيضًا!"، لكنك مخطئ تمامًا.

حقيقة أن المثاليات (مجموعات المضاعفات) متساوية لا تعني أن العناصر متساوية تمامًا. سيكون هناك دائمًا إزاحة بواسطة “الوحدة” (Unit: عدد مقلوبه هو أيضًا عدد صحيح، مثل 1 أو -1). بمعنى آخر، معادلة العنصر الفعلي هي كالتالي:

(حيث $u$ هو عنصر من زمرة الوحدات $U_K$)

ما لم تكن هذه الوحدة $u$ بحد ذاتها مربعًا لشيء ما، فلن يكون الجانب الأيسر أبدًا “مربع عنصر كامل”.

المرحلة الخامسة: سحر أدلمان “الرموز التربيعية” (Quadratic Characters)

عقبة زمرة أصناف المثاليات وعقبة زمرة الوحدات. كيف نتغلب عليهما؟ هنا يأتي دور الطريقة العبقرية التي تسمى “الرموز التربيعية” (Quadratic Characters)، والتي أدخلها عالم التشفير ليونارد أدلمان (حرف “A” في RSA) وزملاؤه.

لتحديد ما إذا كان “عنصر ما هو مربع كامل في الحقل الجبري”، نستخدم إصدار الحقل الجبري من رمز ليجاندر (الباقي التربيعي). في المصفوفة العملاقة السابقة (اللغز لجعل عدد المثاليات الأولية زوجيًا)، نضيف سرًا بضع عشرات من الشروط الإضافية (الأعمدة) التي تنص على أن “الرموز التربيعية لبعض المثاليات الأولية الخاصة $\mathfrak{q}$ تصبح جميعها $1$ (زوجية)”.

عندما نجد المجموعة $S$ التي تستوفي هذه الشروط الإضافية من خلال حساب المصفوفة، تضمن مبرهنة عميقة في نظرية الأعداد الجبرية أن “كل من عقبة زمرة أصناف المثاليات وعقبة زمرة الوحدات ستختفيان بشكل طبيعي باحتمال ساحق”.

وبهذا، نحصل أخيرًا على المعادلة الحقيقية:

المرحلة النهائية: اندماج العوالم وانهيار التشفير

أخيرًا، اكتملت جميع قطع اللغز.

[العنصر في عالم الحقل الجبري (العالم A)] $\gamma^2 = \prod (a - b\alpha)$ (استخدم خوارزمية الجذر التربيعي لإيجاد $\gamma$)

[العنصر في العالم الحقيقي (عالم الأعداد الكسرية)] $V^2 = \prod (a - bm)$ (هذا مجرد ضرب أعداد صحيحة عادي، لذا يمكن العثور على الجذر التربيعي $V$ بسهولة)

الآن، حان وقت عمل الجسر السحري الأول الذي صنعناه، التشاكل $\phi$. نقفز بالعنصر $\gamma$ من العالم A إلى العالم B (عالم البواقي $N$) باستخدام $\phi$ (التعيين الذي يعوض بـ $m$ بدلًا من $\alpha$).

من ناحية أخرى، نأخذ $V$ الذي تم إنشاؤه في العالم الحقيقي مباشرة إلى عالم البواقي ونسميه $X$.

بفضل خاصية “الحفاظ على الهيكل” للتشاكل، فإن علاقة التربيع التي كانت صحيحة في العالم A يتم حفظها تمامًا في العالم B (عالم المقياس $N$). علاوة على ذلك، نظرًا لأن الأزواج الأصلية $(a, b)$ تم تشكيلها بطريقة متقابلة كـ $a - b\alpha$ و $a - bm$، فإن $X$ و $Y$ يصطدمان في عالم المقياس $N$ وينتجان المعادلة المطلقة التالية:

$$X^2 \equiv Y^2 \pmod N$$

الآن، كل ما علينا فعله هو أن نصلي ألا يكون $X$ و $Y$ حلولاً بديهية ($X \equiv \pm Y$)، ثم نحسب: $\gcd(X - Y, N)$

إذا كان حلاً غير بديهي، فستعمل خوارزمية إقليدس في 0.001 ثانية، وسيتم طباعة الأعداد الأولية السرية $p$ و $q$، والتي تعد قلب تشفير RSA، على شاشة الإخراج.

هذا هو الشكل الكامل لـ “غربال حقل الأعداد العام (GNFS)” الذي يجمع خلاصة الرياضيات الحديثة.