טושיקאזו סונאדה: המתמטיקאי שענה על שאלה לגבי תופים
בשנת 1966 הציב המתמטיקאי מארק קאץ שאלה שהפכה לאחת המפורסמות במתמטיקה של המאה העשרים: "האם ניתן לשמוע את צורתו של תוף?" – כלומר, האם ספקטרום התדרים שתוף מייצר קובע באופן ייחודי את צורתו? במשך כמעט שני עשורים השאלה התנגדה לתשובה ברורה. ואז ב-1985, טושיקאזו סונאדה (Toshikazu Sunada), שעבד מכיוון בלתי צפוי המושרש בתורת המספרים ולא באקוסטיקה, הפיק שיטת בנייה כללית שיצרה זוגות של תופים בעלי צורות שונות – מתמטית, יריעות איזוספקטרליות – שנשמעים זהים. התשובה, התברר, הייתה לא, וסונאדה היה זה שהוכיח זאת בצורה שמתמטיקאים אחרים יכלו לבנות עליה.
מהמכון הטכנולוגי של טוקיו לקריירה לאומית
סונאדה נולד ב-7 בספטמבר 1948 בטוקיו, ולמד במכון הטכנולוגי של טוקיו, אחת האוניברסיטאות הטכניות המובילות ביפן. הקריירה האקדמית שלו עברה לאחר מכן דרך רצף של אוניברסיטאות המחקר הבולטות ביפן: הוא החזיק במשרות פרופסור באוניברסיטת נאגויה מ-1988 עד 1991, באוניברסיטת טוקיו מ-1991 עד 1993, ובאוניברסיטת טוהוקו מ-1993 עד 2003, לפני שהתיישב באוניברסיטת מייג'י ב-2003, שם הוא נותר דמות מרכזית. במייג'י הוא הפך לדיקן המייסד של בית הספר למדעי מתמטיקה בין-תחומיים, כיהן מ-2013 עד 2017 ועיצב מבנה מוסדי חדש שמטרתו במפורש לחבר בין מתמטיקה טהורה לדיסציפלינות אחרות. כיום הוא מחזיק במעמד פרופסור אמריטוס הן במייג'י והן בטוהוקו, ומאז 2019 כיהן כנשיא האגודה לחינוך מתמטי של יפן, כשהוא מרחיב את השפעתו ממתמטיקה מחקרית לאופן שבו המקצוע נלמד ברמה הלאומית.
פתרון בעיית התוף של קאץ
ההישג הבודד המפורסם ביותר של סונאדה הוא טכניקת הבנייה שלו מ-1985 לייצור יריעות איזוספקטרליות אך לא איזומטריות – אובייקטים שהם מובחנים גיאומטרית אך חולקים בדיוק את אותו ספקטרום של תדרים רטטיים, התופים המתמטיים ש"נשמעים" זהים למרות שיש להם צורות שונות. מה שהפך את הגישה שלו למובחנת היה הבסיס שלה: במקום לתקוף את הגיאומטריה ישירות, סונאדה בנה את הבנייה שלו על מודל גיאומטרי השאוב מתורת המספרים, ותרגם בעיה אנליטית וגיאומטרית למסגרת שבה טכניקות מתורת המספרים יכלו לעשות את העבודה האמיתית. תמרון בין-תחומי זה הוא מה שמתמטיקאים מציינים כפריצת הדרך – לא רק שקיימת דוגמה נגדית לתקווה המרומזת של קאץ, אלא שסונאדה סיפק שיטה שיטתית ליצירת משפחות שלמות שלהם, שיטה שחוקרים אחרים יכלו לאחר מכן להתאים ולהרחיב. ב-1988, בעבודה עם אטסושי קטסודה, סונאדה דחף את הרעיונות הבסיסיים רחוק יותר, וביסס מקבילה גיאומטרית למשפט הקלאסי של דיריכלה על ראשוניים בסדרות חשבוניות, שנוסח מחדש בתוך מסגרת של מערכות דינמיות – הדגמה נוספת לאותו אינסטינקט למציאת מבנה של תורת המספרים החבוי בתוך בעיות גיאומטריות ודינמיות.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →ניתוח גיאומטרי בדיד וגביש K4
מעבר לבעיית התוף, סונאדה בנה גוף עבודה משמעותי במה שהוא ואחרים מכנים ניתוח גיאומטרי בדיד: לימוד הגיאומטריה של גרפים וסריגים באמצעות כלים שפותחו במקור עבור מרחבים רציפים. הוא פיתח פרשנויות תורת-גרפים של פונקציות זטא של איהארה, ניתח הליכות אקראיות על סריגי גבישים, וחקר אנלוגים בדידים של אופרטורים מגנטיים תקופתיים של שרדינגר – כשהוא מביא את המתמטיקה של מכניקת הקוונטים ותורת המספרים לידי ביטוי במבנה הקומבינטורי של גרפים תקופתיים אינסופיים. קו מחקר זה הגיע לשיאו באחת התוצאות הבולטות ביותר שלו מבחינה ציבורית: ב-2005, סונאדה זיהה מבנה סריג גבישי מובחן מתמטית הידוע כיום כגביש K4. מה שמייחד את גביש K4 הוא תכונה הנקראת איזוטרופיה חזקה, כלומר המבנה נראה זהה בכל כיוון מכל אחד מהקודקודים שלו – סימטריה כה נדירה בין סריגי גבישים אפשריים ש, לפי הניתוח של סונאדה עצמו, רק מבנה גביש היהלום חולק אותה. יהלום ו-K4 עומדים, במובן זה, כסוג של זוג "תאומים מתמטיים" בין כל מבני הסריג התקופתיים שניתן להעלות על הדעת, ממצא שמחבר תורת גרפים טהורה ישירות לשאלות אמיתיות בקריסטלוגרפיה ומדעי החומרים, שכן סריג K4 משך מאז עניין כתבנית לחומרים חדשים היפותטיים מבוססי פחמן או ננו-מבניים.
הכרה בתוך המתמטיקה היפנית
תרומותיו של סונאדה זכו להכרה שוב ושוב על ידי הממסד המתמטי של יפן: הוא קיבל את פרס איאנאגה מהאגודה המתמטית של יפן ב-1987, את פרס הפרסום שלה ב-2013, את פרס הירושי פוג'יווארה למדעי המתמטיקה ב-2017, פרס לאומי למדע וטכנולוגיה ב-2018, ואת פרס קודאירה קוניהיקו הראשון ב-2019 – פרס הקרוי על שם אחד המתמטיקאים המפורסמים ביותר של יפן במאה העשרים, כשלעצמו סימן להערכה שבה מחזיקים אותו עמיתיו של סונאדה. תחומי המחקר שלו, המשתרעים על פני גיאומטריה ספקטרלית, גיאומטריה אנליטית מורכבת, מערכות דינמיות, תורת ההסתברות, תורת הגרפים וקריסטלוגרפיה מתמטית, משקפים קריירה שנבנתה פחות סביב התמחות צרה אחת ויותר סביב שיטה חוזרת: מציאת השלד האלגברי או תורת-המספרי החבוי בתוך בעיות גיאומטריות ופיזיקליות.
מדוע טושיקאזו מכונה גאון
הטענה החזקה ביותר של סונאדה למילה היא פעולה ספציפית ומתועדת היטב של יצירתיות מתמטית: פתרון, עבור מחלקה רחבה של מקרים, שאלה – "האם ניתן לשמוע את צורתו של תוף?" – שהביכה את התחום במשך כמעט שני עשורים, ועשייתה לא בכוח אנליטי גולמי אלא בתרגום בלתי צפוי לתורת המספרים, מהלך שמתמטיקאים מתארים בעקביות כפריצת דרך מושגית אמיתית ולא כהתקדמות מצטברת. אותו אינסטינקט לתרגום בין-תחומי הפיק מאוחר יותר את גביש K4, אובייקט שמחבר תורת גרפים מופשטת לקריסטלוגרפיה פיזיקלית בדרך שמעט מתמטיקאים טהורים מצליחים. מקרה הנגד הכנה הוא שהתהילה של סונאדה, אפילו בתוך המתמטיקה, מוגבלת ברובה למומחים בגיאומטריה ספקטרלית וניתוח גיאומטרי בדיד; עבודתו לא עיצבה מחדש את המתמטיקה בקנה מידה של תוצאה ברמת מדליית פילדס, והפרסים שלו, בעודם יוקרתיים באמת, הם בעיקר כיבודים יפניים מקומיים ולא הפרסים הבינלאומיים המובילים. הגאונות שלו אמיתית אך ספציפית: כישרון למציאת הארכיטקטורה של תורת המספרים החבויה מתחת לחידות גיאומטריות, המופעל בדיוק יוצא דופן לאורך קריירה ארוכה ועדיין פעילה.
מורשת
בניית היריעה האיזוספקטרלית של סונאדה נותרה נקודת התייחסות סטנדרטית בגיאומטריה ספקטרלית, מצוטטת בכל פעם שמתמטיקאים דנים בגבולות של מה שספקטרום יכול לחשוף על צורה. גביש K4 שהוא זיהה ב-2005 ממשיך למשוך עניין מקריסטלוגרפים ומדעני חומרים החוקרים מבני סריג חדשניים, מה שנותן לפיסת תורת גרפים טהורה חיים שלאחר המוות ישירים בצורה יוצאת דופן במדע יישומי – מורשת מתאימה למתמטיקאי שהמהלך המזוהה שלו היה תמיד למצוא את הגשר המפתיע בין שני תחומים שנראו, במבט ראשון, ככאלה שאין להם שום קשר זה לזה.