אלון לינדנשטראוס: זוכה מדליית פילדס הראשון של ישראל
כאשר האיגוד הבינלאומי למתמטיקה העניק את מדליית פילדס לשנת 2010 בהיידראבאד שבהודו, היא הוענקה לראשונה למתמטיקאי ישראלי – על עבודה שהשתמשה בכלי שנבנה עבור פיזיקה סטטיסטית, תורת הארגודיות, כדי לפצח שאלות לגבי האופן שבו מספרים אי-רציונליים ניתנים לקירוב על ידי שברים וכיצד חלקיקים קוונטיים מתפזרים באופן כאוטי במרחב עקום. הקריירה של אלון לינדנשטראוס (Elon Lindenstrauss) היא מקרה בוחן לאופן שבו טכניקה מענף אחד של המתמטיקה, אם דוחפים אותה מספיק, יכולה ליישב באופן בלתי צפוי בעיות מענף אחר לגמרי.
משפחה מתמטית
לינדנשטראוס נולד ב-1 באוגוסט 1970 בירושלים, למשפחה שנטועה עמוק במתמטיקה הישראלית. אביו, יורם לינדנשטראוס, היה אנליסט פונקציונלי דגול ששמו קשור באופן קבוע ללמה של ג'ונסון-לינדנשטראוס, תוצאה יסודית בהפחתת ממד המשמשת כיום רבות במדעי המחשב ובלמידת מכונה; אמו, נעמי לינדנשטראוס, הייתה מדענית מחשב; שניהם החזיקו במשרות פרופסור באוניברסיטה העברית. אחותו, איילת לינדנשטראוס, הפכה גם היא למתמטיקאית. בילדותו בסביבה זו, אלון ייצג את ישראל באולימפיאדה הבינלאומית למתמטיקה בשנת 1988, שם זכה במדליית ארד, והמשיך לשרת בתוכנית העילית של צבא ישראל, תלפיות, עבור מגויסים מחוננים מדעית, תוך כדי לימודיו לתואר הראשון.
לימודים באוניברסיטה העברית
לינדנשטראוס השלים תואר ראשון במתמטיקה ופיזיקה באוניברסיטה העברית בירושלים בשנת 1991, תואר שני ב-1995 ודוקטורט ב-1999 בהנחיית בנימין וייס, עם דיסרטציה על תכונות אנטרופיה של מערכות דינמיות – היסוד הארגודי-תיאורטי לכל מה שבא לאחר מכן בקריירה שלו. לאחר הדוקטורט החזיק במשרות פוסט-דוקטורט במכון ללימודים מתקדמים בפרינסטון ובמשרת פרופסור-עמית על שם סגה (Szegő) בסטנפורד, ולאחר מכן עבר דרך מכון קוראנט של אוניברסיטת ניו יורק (NYU) לפני שהפך לפרופסור מן המניין באוניברסיטת פרינסטון ב-2004. הוא חזר לישראל בשנים 2008–2009 כפרופסור במכון איינשטיין למתמטיקה באוניברסיטה העברית, משרה שבה הוא מחזיק מאז, ובשנת 2024 הצטרף למכון ללימודים מתקדמים בפרינסטון כחבר סגל קבוע.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →קשיחות מידה והשערת ליטלווד
תרומתו המתמטית המרכזית של לינדנשטראוס טמונה בקשיחות מידה (Measure Rigidity) בתוך תורת הארגודיות – חקר האופן שבו מערכות דינמיות, הפועלות קדימה ללא הגבלה, מתפלגות על פני המרחב שבו הן פועלות. עבודתו ביססה תוצאות סיווג חזקות עבור מידות אינווריאנטיות תחת פעולות חבורה מסוימות על מרחבים הומוגניים, והראתה כי בתנאים הנכונים מידות כאלה מוגבלות הרבה יותר, וניתנות לסיווג הרבה יותר, ממה שהוכח קודם לכן. ביישום לתורת המספרים, מנגנון זה הפיק התקדמות חלקית משמעותית בהשערת ליטלווד, בעיה פתוחה בת עשרות שנים בקירוב דיופנטי הנוגעת לשאלה עד כמה טוב ניתן לקרב בו-זמנית שני מספרים אי-רציונליים על ידי שברים רציונליים עם מכנה משותף. במאמר משנת 2006 עם מנפרד איינסיידלר (Manfred Einsiedler) ואנטולי קטוק (Anatole Katok), סייע לינדנשטראוס להוכיח שקבוצת זוגות המספרים שעבורם ההשערה עלולה להיכשל היא בעלת ממד האוסדורף אפס – בתיאורו של המתמטיקאי טרנס טאו (Terence Tao), הוכחה לכך שההשערה נכונה עבור "רוב" זוגות המספרים, אף על פי שההשערה המלאה נותרת פתוחה. זו הייתה הדגמה מרשימה, כפי שציין טאו, לאופן שבו תרגום שאלת תורת המספרים קלאסית לשאלה על מסלולים ומידות אינווריאנטיות על מרחבים הומוגניים יכול לפצח בעיה שהתנגדה להתקפה ישירה במשך עשורים.
כאוס קוונטי והשערת ה-QUE האריתמטית
התוצאה הבודדת המפורסמת ביותר של לינדנשטראוס, והעבודה שצוטטה בצורה הישירה ביותר בציטוט מדליית פילדס שלו, הייתה הוכחתו להשערת ה-QUE (Quantum Unique Ergodicity) האריתמטית – שהוצעה במקור על ידי פיטר סרנאק (Peter Sarnak) – במקרה האריתמטי. ההשערה נוגעת לכאוס קוונטי: ככל שהאנרגיה של חלקיק קוונטי גדלה במרחבים עקומים מסוימים (משטחים היפרבוליים אריתמטיים), האם התפלגות ההסתברות שלו מתפשטת באופן אחיד, בהתאמה להתנהגות הכאוטית הצפויה באופן קלאסי? לינדנשטראוס הוכיח שזה אכן המקרה עבור ארגודיות קוונטית ייחודית אריתמטית, תוך שימוש בטכניקות סיווג-מידה מתורת הארגודיות כדי ליישב בעיה שחיברה בין תורת המספרים, מערכות דינמיות ופיזיקה מתמטית בדרך שמעט תוצאות בודדות מצליחות. ועדת מדליית פילדס ציטטה אותו במיוחד "עבור תוצאותיו על קשיחות מידה בתורת הארגודיות, ויישומיהן בתורת המספרים."
הכרה
מעבר למדליית פילדס בשנת 2010 – הראשונה שהוענקה אי פעם למתמטיקאי ישראלי – לינדנשטראוס קיבל את פרס סאלם בשנת 2003 במשותף עם קנן סונדאראראג'אן (Kannan Soundararajan), את פרס האיגוד האירופי למתמטיקה ב-2004, ואת פרס פרמה ופרס ארדש בשנת 2009, השנה שלפני מדליית פילדס שלו, יחד עם פרס ביטחון ישראל. הוא שימש כעורך עבור כתב העת Duke Mathematical Journal ו-Journal d'Analyse Mathématique, המשקפים את מעמדו בתוך הקהילה המתמטית של מערכות אנליטיות ודינמיות.
מדוע אלון לינדנשטראוס מכונה גאון
ההישג הקוגניטיבי הספציפי מאחורי התווית "גאון" הוא היכולת המוכחת של לינדנשטראוס לנוע בשטף בין תחומים שרוב המתמטיקאים מתייחסים אליהם כנפרדים במידה רבה – תורת הארגודיות, תורת המספרים ופיזיקה מתמטית – ולזהות מתי תופעת קשיחות שהוכחה בתחום אחד (סיווג מידה עבור פעולות חבורה על מרחבים הומוגניים) יכולה להיות מותאמת כדי לפתור שאלה פתוחה קונקרטית בת עשרות שנים באחר (השערת ליטלווד, QUE אריתמטית). סוג כזה של העברה בין-תחומית, ולא עומק בתוך התמחות צרה אחת, הוא בדיוק מה שוועדת מדליית פילדס הדגישה, ומתמטיקאים עמיתים חזרו על הנקודה: טרנס טאו, שכתב על המדליה, תיאר את העבודה על השערת ליטלווד ככזו שמראה כיצד שיטות דינמיקה הומוגנית יכולות להפוך שאלת תורת מספרים אנליטית קלאסית לכזו הניתנת לטיפול אודות מסלולים ומידות אינווריאנטיות. המגבלה הכנה על המסגור, כמו ברוב עבודות מדליית פילדס, היא שלינדנשטראוס לא עבד בבידוד: הוכחתו ל-QUE אריתמטי נבנתה ישירות על השערתו המקורית של סרנאק ועל טכניקות קשיחות-מידה שפותחו בשיתוף פעולה עם עמיתים כולל מנפרד איינסיידלר, אנטולי קטוק ואחרים שעבדו באותה תוכנית מחקר פעילה במהלך שנות ה-90 וה-2000, והתקדמותו בהשערת ליטלווד הייתה בעצמה פתרון חלקי ולא מלא לבעיה זו, שנותרה רשמית פתוחה. מדליית פילדס, המוענקת רק למתמטיקאים מתחת לגיל ארבעים, מכירה מטבעה גם בגוף עבודה המרוכז בחלון קריירה מוקדם וצר יחסית ולא בתפוקה של חיים שלמים – הישג אמיתי ונדיר, אך כזה שמשקלו ההיסטורי הסופי, כמו זה של רוב הזוכים הצעירים, עדיין מוערך על ידי התחום עשורים לאחר מכן.
מורשת
טכניקות קשיחות-המידה של לינדנשטראוס הפכו לחלק סטנדרטי מארגז הכלים המחבר בין תורת הארגודיות לתורת המספרים, מצוטטות ומורחבות על ידי חוקרים העובדים על קירוב דיופנטי, דינמיקה הומוגנית וכאוס קוונטי בשנים שלאחר המדליה שלו. כזוכה מדליית פילדס הראשון של ישראל, הוא מחזיק גם במקום סמלי בהיסטוריה המתמטית של המדינה, וחזרתו למשרה בכירה באוניברסיטה העברית – אותו מוסד שבו לימדו הוריו בעבר – סגרה מעגל בין דור אחד של הישג מתמטי ישראלי למשנהו.