마스턴 콘더: 대칭을 계산한 사람

만 개의 정점까지의 모든 3가 대칭 그래프를 알아야 하는 세계 어느 곳의 수학자라도 그것을 직접 유도하지는 않습니다. 그들은 마스턴 콘더 (Marston Conder) 의 목록을 다운로드합니다. 다양한 종의 표면상에 있는 정규 및 카이랄 맵, 콤팩트 리만 곡면의 자기동형군, 정규 및 카이랄 폴리토프에 대해서도 마찬가지입니다. 오클랜드에서 40년 넘게 지내면서 콘더는 “이런 종류의 가장 대칭적인 객체는 무엇인가?”라는 추상적인 질문을 누구나 찾아볼 수 있는 것으로 바꾸었으며, 그 과정에서 조용히 자신의 세대에서 가장 많이 활용되는 수학자 중 한 명이 되었습니다.

마타마타에서 옥스퍼드까지

그는 1955년 9월 뉴질랜드 해밀턴에서 태어났으며, 순수 수학의 중심지와는 거리가 먼 작은 마을인 마타마타 칼리지 (Matamata College) 에서 교육을 받았습니다. 그의 첫 고등 학위는 수학이 아니었습니다. 그는 1977년 와이카토 대학교 (Waikato University) 에서 사회과학 석사 학위를 받았습니다. 3년 후 그는 옥스퍼드 대학교에서 박사 학위를 취득했습니다.

옥스퍼드 시절의 지도교수는 20세기 군론의 거장이자 현대 조합론적 접근 방식의 창시자 중 한 명인 그레이엄 히그먼 (Graham Higman) 이었습니다. 콘더의 1980년 논문인 “치환군을 위한 최소 생성 쌍 (Minimal generating pairs for permutation groups)”은 제목에서 그가 평생 몰두할 주제를 예고했습니다. 질문은 단순해 보입니다. 주어진 군에 대해 단 두 개의 원소만으로 전체 군을 생성할 수 있는가? 가능하다면 어떤 원소를 선택해야 가장 경제적인가? 2원소 생성은 방대한 양의 대칭 이론이 돌아가는 축입니다. 기하학과 조합론에서 가장 대칭적인 객체들은 정확히 매우 적은 수의 아주 단순한 운동에 의해 생성되는 대칭군을 가진 객체들이기 때문입니다.

최대 대칭 객체

40년 동안 이어진 콘더의 프로그램은 한 줄로 정의할 수 있습니다. 주어진 제약 조건 하에서 최대 대칭을 가지는 이산 구조를 연구하는 것입니다. 제약 조건을 고정하고(예: 그래프는 3가여야 한다, 맵은 5종의 표면에 존재해야 한다, 폴리토프는 주어진 순위를 가져야 한다) 그 조건을 만족하면서 가능한 한 대칭적인 객체가 무엇인지 묻는 것입니다. 답은 거의 분명하지 않으며 결코 많지도 않기 때문에 목록화할 가치가 있습니다.

도구는 유한 제시 군과 그 상을 다루는 기술을 포함하여 조합 및 계산 군론에서 나왔습니다. 이는 군을 원소 나열이 아닌 몇 개의 생성원과 관계로 정의하는 대수의 한 분야입니다. 핵심적인 어려움은 그러한 제시가 무한 군인지 사소한 군인지 등 거의 모든 것을 숨길 수 있어 구별하기 어렵다는 점입니다. 콘더의 전문 분야는 그러한 제시로부터 계산이 이론과 제대로 결합되었을 때만 실행 가능한 규모로 엄격하고, 철저하며, 증명 가능한 완전한 답을 추출하는 것이었습니다.

맵, 카이랄성 및 폴리토프

가장 풍부한 분야는 맵이었습니다. 그래프를 표면에 매장하는 것으로, 흥미로운 사례는 대칭군이 구조가 허용하는 만큼 전이적으로 작용하는 정규 맵입니다. 그 옆에는 모든 회전 대칭을 허용하지만 반사는 허용하지 않는 카이랄 객체가 있습니다. 이는 자신의 거울 이미지와 겹칠 수 없는 왼손의 수학적 유사체입니다. 뉴질랜드 왕립 학회의 2018년 존스 메달 (Jones Medal) 은 정확히 이 점, 즉 “이산 구조의 대칭과 카이랄성”에 관한 그의 연구를 언급했습니다.

그는 같은 접근 방식을 밖으로 확장했습니다. 오일러 메달 (Euler Medal) 을 수여한 조합 및 그 응용 연구소 (Institute of Combinatorics and its Applications) 는 그래프 대칭과 매장, 정규 및 카이랄 맵, 정규 및 카이랄 폴리토프, 그래프의 에지 파티션, 고차원 익스팬더 그래프 및 이진 그레이 코드를 나열했습니다. 이는 고전적인 표면 위상수학에서 코딩 및 네트워크 이론에 직접 적용되는 객체에 이르는 범위입니다. 그로부터 170편 이상의 논문과 15명의 박사 졸업생이 나왔습니다.

인구 조사원

콘더를 다른 강력한 대수학자들과 구별 짓는 것은 그가 결과를 가지고 무엇을 했느냐입니다. 정리를 발표하고 넘어가는 대신 그는 저장소를 구축하고 게시했습니다. 한 번 계산되고 정확하게 검증된 객체 클래스들의 완전한 인구 조사를 제공했습니다. 3가 대칭 그래프의 카탈로그는 1만 개의 정점에 이릅니다. 맵과 폴리토프 인구 조사는 이전에는 아무도 도달하지 못한 범위를 다룹니다. 이것들은 특정 속성을 가진 객체가 존재하는지 확인해야 하거나, 1년을 낭비하기 전에 모든 알려진 사례에 대해 추측을 테스트해야 하는 군론에 관심이 없는 연구자들을 포함하여 국제적으로 참고됩니다.

지식을 개인 재산이 아닌 인프라로 취급하는 습관은 그의 업적 기록에 명시되어 있습니다. ICA는 그가 지식을 자유롭게 공유하는 평판과 누구나 사용할 수 있는 연구 저장소에 대해 특별히 언급했습니다.

대중적인 수학자

콘더는 1993년 오클랜드 대학교 정교수가 되었고 2012년 석좌교수가 되었습니다. 그는 1993년부터 1995년까지 뉴질랜드 수학 학회 회장을 역임했으며, 뉴질랜드 수학 및 응용 연구소의 공동 소장을 지냈고, 2006년부터 2008년까지 뉴질랜드 왕립 학회 아카데미 회장을 역임했습니다. 이는 순수 수학자가 맡은 국가의 최고 과학직으로, 어느 곳에서나 흔치 않은 경우입니다.

업적에 따른 영예가 이어졌습니다. 2011년 제임스 쿡 연구 펠로우십 (James Cook Research Fellowship), 2012년 미국 수학회 펠로우, 2014년 헥터 메달 (Hector Medal), 2018년 존스 메달, 그리고 2020년에는 조합 연구에 대한 평생의 공로로 조합 및 그 응용 연구소의 오일러 메달을 수상하고 뉴질랜드 공로 훈장 (New Zealand Order of Merit) 오피서로 임명되었습니다.

마스턴이 천재라 불리는 이유

특정한 자질은 대수적 깊이와 계산적 규율이 결합된 드문 하이브리드입니다. 많은 수학자가 대칭 구조에 대한 정리를 증명할 수 있고, 많은 사람이 예제를 나열하는 코드를 작성할 수 있습니다. 콘더의 대표적인 업적은 철저한 분류입니다. 계산된 목록이 단순히 길기만 한 것이 아니라 완전하며 아무것도 놓치지 않았음을 증명하는 것입니다. 이는 검색 공간을 제한하기 위한 이론, 그것을 훑기 위한 계산, 그리고 대부분의 이론가들이 자신보다 낮은 수준이라 여기고 프로그래머들은 넘기 힘들다고 생각하는 오류 검사에 대한 인내심을 요구합니다. 그의 인구 조사는 건재하며, 그것이 전체 시험입니다.

오일러 메달의 인용문은 그래프 대칭, 카이랄 맵과 폴리토프, 익스팬더 및 그레이 코드 전반에 걸친 40년간의 저명한 공헌을 언급하고, 존스 메달은 대칭과 카이랄성을 구체적으로 언급합니다. 이는 전문 기관들이 가장 권위 있는 도구를 사용하는 것이며, 조합론에서 ‘천재’라는 단어를 사용하는 것에 가장 근접한 방식입니다.

반대 사례를 명확히 말할 가치가 있습니다. 콘더는 유명한 난제를 해결하지 못했고 자신의 이름을 딴 이론을 도입하지도 않았습니다. ‘콘더 추측’도, ‘콘더 불변량’도 없습니다. 그의 천재성은 새로운 나라를 개척하는 유형이라기보다, 다른 사람들이 경계를 그려놓은 영토를 철저하고 신뢰할 수 있게 매핑하는 지도 제작자의 유형에 속합니다. 냉철한 평가자는 그가 수학 분야에서 배출한 최고의 인구 조사원이며, 없어서는 안 될 존재라는 것이 혁명적인 것과 같지는 않다고 말할 것입니다. 이에 대한 반론은 확인되지 않은 주장에 익사하는 학문 분야에서, 완벽하고 정확한 답은 영리한 답보다 더 드물고 더 오래 지속된다는 것입니다.

유산

콘더의 가장 지속적인 유산은 순수 수학자에게는 이례적인 것, 바로 일련의 표들입니다. 그의 저장소는 그의 증명을 읽지 않고 그의 이름을 알지 못할 수도 있는 사람들에 의해 참조될 것인데, 엔지니어들이 물리 상수 표를 참조하는 것과 같은 방식입니다. 그 뒤에는 더 어려운 유산이 있습니다. 그 분야에서 임계 질량이 거의 없는 작은 나라가 세계 최고의 연구를 산출할 수 있다는 것, 그리고 수학자가 실무 연구자임을 멈추지 않고 국가 아카데미를 운영할 수 있다는 것을 보여준 것입니다. 15명의 박사 제자와 170편의 논문이 지난 지금, 뉴질랜드의 조합론은 전초 기지가 아닌 인정받는 국제적 거점이 되었으며, 그 대부분은 오클랜드에서 계속해서 계산을 멈추지 않았던 한 사람에게서 비롯되었습니다.