מרסטון קונדר: האיש שספר את הסימטריות
כל מתמטיקאי פעיל בכל מקום בעולם שצריך לדעת את כל הגרפים סימטריים תלת-ערכיים עד עשרת אלפים צמתים, לא מפיק אותם בעצמו. הם מורידים את הרשימה של מרסטון קונדר. אותו הדבר נכון למפות רגילות וכיראליות על משטחים בטווח רחב של גנוס, לחבורות אוטומורפיזם של משטחי רימן קומפקטיים, ולפוליטופים רגילים וכיראליים. במשך ארבעה עשורים באוקלנד, הפך קונדר את השאלה המופשטת "מהם האובייקטים הסימטריים ביותר מסוג זה?" למשהו שניתן לחפש — ובכך הפך בשקט לאחד המתמטיקאים המועסקים ביותר בדורו.
מטמטה לאוקספורד
הוא נולד בספטמבר 1955 בהמילטון, ניו זילנד, ולמד במכללת מטמטה — התחלה בעיירה קטנה שהיא כמה שיותר רחוקה ממרכזים של מתמטיקה טהורה. תואר ההשכלה הגבוהה הראשון שלו לא היה במתמטיקה כלל: ב-1977 קיבל תואר שני במדעי החברה מאוניברסיטת ואיקטו. שלוש שנים מאוחר יותר היה לו דוקטור מאוקספורד.
המנחה באוקספורד היה גרהם היגמן, אחד הדמויות הבולטות של תורת החבורות במאה ה-20 ומייסד גישת הקומבינטוריקה המודרנית לנושא. עבודת הדוקטורט של קונדר מ-1980, "זוגות יוצרים מינימליים עבור חבורות תמורה," הכריזה על התעניינותו המתמדת לאורך חייו בכותרתה. השאלה פשוטה לכאורה: נתונה חבורה, אפשר ליצור אותה כולה משני איברים בלבד, ואם כן, אילו שניים, כאלה שנבחרו בצורה כלכלית ביותר? יצירה על ידי שני איברים היא הציר שעליו מסתובבת תאוריה עצומה של סימטריה, כי האובייקטים הסימטריים ביותר בגאומטריה ובקומבינטוריקה הם אלה שחבורות הסימטריה שלהם נוצרות על ידי מספר קטן מאוד של תנועות פשוטות מאוד.
אובייקטים של סימטריה מרבית
תוכניתו של קונדר, שנמשכה ארבעים שנה, ניתנת לניסוח בשורה אחת: לחקור מבנים דיסקרטיים שיש להם את הסימטריה המרבית האפשרית בהינתן אילוצים נתונים. קבעו אילוץ — גרף חייב להיות תלת-ערכי, מפה חייבת להיות על משטח מגנוס חמש, פוליטופ חייב להיות בדרגה נתונה — ושאלו אילו אובייקטים העונים עליו יכולים להיות סימטריים ככל האפשר. התשובות כמעט אף פעם לא ברורות וכמעט אף פעם לא רבות, וזה מה שהופך אותן לראויות לקטלוג.
הכלים הגיעו מתורת החבורות הקומבינטורית והחישובית, כולל טכניקות לטיפול בחבורות שהוצגו בצורה סופית ובתמונותיהן. זו הסתעפות של האלגברה בה חבורה מוגדרת לא על ידי רשימת האיברים שלה אלא על ידי מספר קטן של יוצרים ויחסים, והקושי המרכזי הוא שהצגה כזו יכולה להסתיר כמען שהוא — כולל חבורה אינסופית או טריוויאלית, ללא דרך קלה לדעת. התמחותו של קונדר הייתה לחלץ תשובות קשות, מקיפות ומוכחות כהלכה מהצגות מסוג זה, בקנה מידה שהפך אפשרי רק כאשר חישוב התחבר כראוי לתיאוריה.
מפות, כיראליות ופוליטופים
העורף העשיר ביותר היה מפות: הטמעות של גרפים במשטחים, שבהן המקרים המעניינים הם אלה של מפות רגילות, שחבורת הסימטריה שלהן פועלת בצורה טרנזיטיבית ככל שהמבנאי מאפשר. לצידן נמצאים האובייקטים הכיראליים, שמקבלים כל סימטריה סיבובית אך לא שיקוף — האנלוג המתמטי של יד שמאל, שאי אפשר להניח על תמונת המראה שלה. מדליית ג'ונס של החברה המלכותית של ניו זילנד לשנת 2018 ציינה בדיוק זה: עבודתו על "סימטריה וכיראליות במבנים דיסקרטיים."
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →הוא הרחיב את אותה גישה החוצה. המכון לקומבינטוריקה ויישומיה, שהעניק לו את מדליית אוילר, רשם סימטריות גרפים והטמעות, מפות ופוליטופים רגילים וכיראליים, חלוקות קצוות של גרפים, גרפי מרחב דימנסיה גבוהה וקודי גריי בינאריים — טווח שנע מטופולוגיה קלאסית של משטחים ועד אובייקטים עם יישום ישיר בקידוד ותורת הרשתות. מזה יצאו יותר מ-170 מאמרים, וחמישה-עשר דוקטורנטים.
המונה האוכלוסין
מה שמבדיל את קונדר מאלגבראיסטים אחרים חזקים הוא מה שהוא עשה עם התוצאות. במקום לפרסם משפט ולהמשיך הלאה, הוא בנה ופרסם מאגרים — סקרי אוכלוסין מלאים של מחלקות של אובייקטים, שחושבו פעם אחת, נכון, וניתנו בחינם. הקטלוג של גרפים סימטריים תלת-ערכיים מגיע ל-10,000 צמתים. סקרי המפות והפוליטופים כוסו טווחים שאף אחד לא הגיע אליהם קודם. אלה ניתנים לייעוץ בינלאומי, כולל על ידי חוקרים שאין להם עניין בתורת החבורות שפשוט צריכים לדעת אם אובייקט עם תכונות מסוימות קיים, או לבדוק השערה נגד כל המקרים הידועים לפני בזבוז שנה עליה.
הרגל זה — להתייחס לידע כתשתית ולא כרכוש אישי — הוא חלק מפורש מרשומות הציטוט שלו; ה-ICA ציין את המוניטין שלו לשיתוף ידע בחינם ולמאגרי מחקר שכל אחד יכול להשתמש בהם.
המתמטיקאי הציבורי
קונדר הפך לפרופסור מן המניין באוקלנד ב-1993 ופרופסור מכובד ב-2012. הוא שימש כנשיא החברה המתמטית של ניו זילנד מ-1993 עד 1995, כמנהל-שותף של המכון הניו זילנדי למתמטיקה ויישומיה, וכנשיא האקדמיה של החברה המלכותית של ניו זילנד מ-2006 עד 2008 — המשרה המדעית הבכירה במדינה, שנשאה בה מתמטיקאי טהור, מה שאינו הסדר הרגיל בשום מקום.
הכבוד ליווה את העבודה: עמיתות מחקר ג'יימס קוק ב-2011, עמיתות החברה המתמטית האמריקאית ב-2012, מדליית הקטור ב-2014, מדליית ג'ונס ב-2018, וב-2020 גם מדליית אוילר של המכון לקומבינטוריקה ויישומיה — על תרומות מצוינות לאורך חיים למחקר קומבינטורי — ומינויו כקצין במסדר ההצטיינות של ניו זילנד.
מדוע מרסטון נקרא גאון
התכונה הספציפית היא היבריד נדיר: עומק אלגברי משולב במשמעת חישובית. רבים מהמתמטיקאים יכולים להוכיח משפט על מבנים סימטריים; רבים אחרים יכולים לכתוב קוד שמספר דוגמאות. ההישג האופייני של קונדר הוא הסיווג המקיף — הוכחה שרשימה מחושבת אינה ארוכה בלבד אלא מלאה, שלא נפספס כלום. זה דורש תיאוריה כדי לגבול את חלל החיפוש, חישוב כדי לסרוק אותו, וסבלנות לבדיקת שגיאות שרוב התאורטיקנים מוצאים מתחת לכבודם ורוב המתכנתים מוצאים מעבר ליכולתם. הסקרים שלו עמדו במבחן; זהו המבחן כולו.
ציטוט מדליית אוילר מזכיר ארבעים שנה של תרומה מצוינת בסימטריות גרפים, מפות ופוליטופים כיראליים, מרחיבים וקודי גריי, וציטוט מדליית ג'ונס מזכיר במיוחד סימטריה וכיראליות. אלה גופים מקצועיים המשתמשים בכלי הבכירים ביותר שלהם, מהווה קרוב לכך שקומבינטוריקה משתמשת במילה.
המקרה הנגדי ראוי לציין בבירור. קונדר לא פתר שום בעיה פתוחה מפורסמת והציג לא שום תיאוריה שנושאת את שמו. אין השערת קונדר, אין אינווריאנט קונדר. הגאונות שלו היא מסוג קרטוגרפי — המיפוי המקיף והאמין של טריטוריה שגבולותיה נקבעו על ידי אחרים — ולא מהסוג שפותח ארץ חדשה. מעריך קשוח אומר שהוא המונה האוכלוסין הטוב ביותר שהמתמטיקה ייצרה בתחומו, ושהיות חיוני אינה זהה למהפכניות. התשובה היא שבתחום שטובע בטענות לא מאומתות, תשובות שלמות ונכונות נדירות יותר מתשובות חדשניות, ונמשכות זמן רב יותר.
מורשת
המורשת העמידה ביותר של קונדר ייחודית למתמטיקאי טהור: היא סדרת טבלאות. המאגרים שלו ייעסקו בהם אנשים שלא יקראו את ההוכחות שלו ואולי לא ידעו את שמו, בדומה לאופן שבו מהנדסים עוסקים בטבלאות של קבועים פיזיקליים. מאחוריהם עומדת מורשת קשה יותר — הדגמה שמדינה קטנה עם כמעט מסה קריטית בתחומו יכולה לייצר עבודה מובילת בעולם, ושמתמטיקאי יכול לנהל אקדמיה לאומית מבל להפסיק להיות חוקר פעיל. חמישה-עשר דוקטורנטים ו-170 מאמרים מאוחר יותר, הקומבינטוריקה של ניו זילנד היא צומת בינלאומי מוכר ולא מוצבת חיצונית, ורוב זה נובע מאדם אחד באוקלנד שהמשיך לספור.