Height Rigidity for Entire Functions

في المشهد الشاسع للرياضيات، يوجد توتر هادئ بين نوعين من الأعداد: تلك التي يمكن كتابتها في صورة كسور بسيطة، وتلك التي لا يمكن ذلك. الأعداد التي نستخدمها كل يوم، مثل النصف أو ثلاثة أرباع، هي أعداد نسبية؛ إنها منظمة ويمكن التنبؤ بها. ولكن هناك مجموعة أخرى، وهي الأعداد المتسامية (transcendental)، وهي أكثر مراوغة بكثير. هذه الأعداد، مثل "باي" (pi) أو أساس اللوغاريتم الطبيعي، لا يمكن أن تكون حلاً لأي معادلة متعددة الحدود بسيطة ذات معاملات نسبية. لأكثر من قرن، فُتن الرياضيون بكيفية تفاعل هذين العالمين. وتحديداً، تساءلوا عما يحدث عندما تغذي دالة متسامية معقدة برقم نسبي. هل يظل المخرج بسيطاً، أم ينفجر إلى فوضى؟

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

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

الإجابة، كما ثبت في هذا العمل، هي قيد حاسم. توضح الدراسة أنه إذا كانت هناك دالة كاملة متسامية (transcendental entire function) — وهي دالة سلسة ومعرفة في كل مكان في المستوى المركب — ترسم الأعداد النسبية إلى أعداد جبرية ذات تعقيد ثابت ومحدود، وإذا نما "ارتفاع" المخرج بما لا يتجاوز قوة محددة من ارتفاع المدخل، فإن الدالة لا يمكن أن تكون متسامية. يجب أن تكون كثير حدود. بعبارات أبسط، تُجبر الدالة على خلع طبيعتها المعقدة واللانهائية لتكشف عن نفسها ككائن جبري محدود. يثبت البحث أن الطريقة الوحيدة لكي تحافظ الدالة على مثل هذه العلاقة متعددة الحدود الوثيقة بين تعقيد مدخلاتها وتعقيد مخرجاتها هي أن تكون الدالة نفسها كثير حدود.

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

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

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

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

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

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