{
"type": "Article",
"authors": [
{
"type": "Person",
"familyNames": [
"Schlederer"
],
"givenNames": [
"Florian"
]
}
],
"description": [
"What is mathematics, if not the most practical art?\nA precise formalism for abstract thinking and the most powerful language to gain insight into nature’s phenomena.\nOftentimes the most playful scholars gravitate to its immaterial beauty.\nIt serves as a rigorous backbone supporting and connecting all kinds of scientific disciplines.\nFoundational mathematical research at the ",
{
"type": "Link",
"target": "http://www.ista.ac.at/",
"content": [
"Institute of Science and Technology Austria (ISTA)"
]
},
" embraces exactly these qualities.\nIt is defined by a strictly curiosity-driven approach, the multidisciplinarity in the Institute’s DNA, and the scientific excellence of its international faculty.\nFrom discrete/computational topology over number theory to mathematical physics and analysis, eleven groups make up a selected, successful, and fast-growing faculty."
],
"identifiers": [],
"references": [
{
"type": "Article",
"id": "bib-bib1",
"authors": [],
"title": " T. Browning, P. Le Boudec and W. Sawin, The Hasse principle for random Fano hypersurfaces, preprint, arXiv:2006.02356 (2020)\n",
"url": "https://arxiv.org/abs/2006.02356"
},
{
"type": "Article",
"id": "bib-bib2",
"authors": [],
"title": " T. Hausel and N. Hitchin, Very stable Higgs bundles, equivariant multiplicity and mirror symmetry.\nInvent. Math., DOI 10.1007/s00222-021-01093-7 (2022)\n"
},
{
"type": "Article",
"id": "bib-bib3",
"authors": [],
"title": " M. Lewin, E. H. Lieb and R. Seiringer, Floating Wigner crystal with no boundary charge fluctuations.\nPhys. Rev. Lett. B 100, 035127 (2019)\n"
}
],
"title": "Mathematics at the Institute of Science and Technology Austria (ISTA)",
"meta": {},
"content": [
{
"type": "Figure",
"id": "fig1",
"licenses": [
{
"type": "CreativeWork",
"content": [
{
"type": "Paragraph",
"content": [
"All rights reserved."
]
}
]
}
],
"content": [
{
"type": "ImageObject",
"contentUrl": "mag-82-1-cut.jpg",
"mediaType": "image/jpeg",
"meta": {
"inline": false
}
}
]
},
{
"type": "Paragraph",
"id": "p2",
"content": [
"Not long ago, Klosterneuburg near Vienna was only known for its magnificent 900-year-old monastery and fertile vineyards on the hills.\nSince 2009, it has become the home of a brand-new scientific institute, the Institute of Science and Technology Austria (ISTA).\nThis bold initiative from the Austrian government aims to foster research and graduate education in the natural sciences.\nWhile so young and with 68 research groups comparably small, ISTA already ranked ",
{
"type": "Link",
"target": "https://www.natureindex.com/annual-tables/2019/academic-normalized",
"content": [
"third in the normalized Nature Index"
]
},
" amongst the world’s best research institutions.\nHow did an institute located at the edge of the tranquil Vienna Woods achieve this distinction?"
]
},
{
"type": "Heading",
"id": "Sx1",
"depth": 1,
"content": [
"The formula for world-class research"
]
},
{
"type": "Paragraph",
"id": "Sx1.p1",
"content": [
"ISTA was founded based on a set of principles distilled from the most successful governance systems and ideas in the world of research institutions.\nIn fact, Professor Haim Harari, former president of the Weizmann Institute of Science, played a pivotal role in applying proven methods to the founding of ISTA.\nFirst President of ISTA is Professor Thomas A. Henzinger, a leading computer scientist with roots at the University of California in Berkeley, USA, and the EPFL in Lausanne, Switzerland.\nHe shaped the Institute into what has become a model of academic institution to emulate."
]
},
{
"type": "Figure",
"id": "Sx1-fig1",
"caption": [
{
"type": "Paragraph",
"content": [
{
"type": "Emphasis",
"content": [
"Lab Buildings East (left) and West (right)."
]
},
"\nThe Institute of Science and Technology Austria (ISTA) offers state-of-the-art research facilities and scientific support units in all major disciplines. © Peter Rigaud/ISTA"
]
}
],
"licenses": [
{
"type": "CreativeWork",
"content": [
{
"type": "Paragraph",
"content": [
"All rights reserved."
]
}
]
}
],
"content": [
{
"type": "ImageObject",
"contentUrl": "mag-82-3a.jpg",
"mediaType": "image/jpeg",
"meta": {
"inline": false
}
},
{
"type": "ImageObject",
"contentUrl": "mag-82-3b.jpg",
"mediaType": "image/jpeg",
"meta": {
"inline": false
}
}
]
},
{
"type": "Figure",
"id": "Sx1-fig2",
"caption": [
{
"type": "Paragraph",
"content": [
{
"type": "Emphasis",
"content": [
"Leading a world-class research institution."
]
},
"\nThe management of ISTA consists of (from left to right) Vice President for Science Education Gaia Novarino, Managing Director Georg Schneider, President Thomas A. Henzinger, Executive Vice President Michael Sixt, Dean of the Graduate School Eva Benková, and Vice President for Technology Transfer Bernd Bickel. © Peter Rigaud/ISTA"
]
}
],
"licenses": [
{
"type": "CreativeWork",
"content": [
{
"type": "Paragraph",
"content": [
"All rights reserved."
]
}
]
}
],
"content": [
{
"type": "ImageObject",
"contentUrl": "mag-82-2.jpg",
"mediaType": "image/jpeg",
"meta": {
"inline": false
}
}
]
},
{
"type": "Paragraph",
"id": "Sx1.p2",
"content": [
"All researchers at ISTA pursue their interests without constraints or predefined research topics.\nThe Institute does not allocate a predetermined number of positions to different disciplines; excellence and promising research are the exclusive hiring criteria for all scientists at ISTA.\nGroups are supported by state-of-the-art infrastructure and scientific service units.\nProfessors are mostly hired early in their careers on a tenure track system, usually between three to eight years after their PhD.\nThis system provides them scientific independence and a career perspective.\nSince their basic research may lead to unforeseen but useful discoveries and applications, intellectual property and technology transfer are also important objectives of the Institute.\nThe technology park adjacent to the Institute, IST Park, has developed rapidly since opening in 2019 and is already home to ten companies, including three start-ups that are based partly on Institute research.\n"
]
},
{
"type": "Paragraph",
"id": "Sx1.p3",
"content": [
"To foster a creative atmosphere at ISTA, separating organizational structures such as faculties and scientific departments are avoided.\nAlso, the Institute brings together researchers from all major scientific disciplines.\nTheir communication and collaboration across fields is actively encouraged, though not mandatory – the fact that some principal areas of mathematics do not have a direct interdisciplinary component is fully recognized."
]
},
{
"type": "Paragraph",
"id": "Sx1.p4",
"content": [
"Another core mission of ISTA is science education.\nThe Institute sees itself as a place of inquiry and reason that translates scientific practice and its results for the general public via a diverse science outreach program.\nFurthermore, it is a PhD-granting institution that offers fully funded PhD positions to highly qualified candidates with a bachelor’s or master’s degree in the natural sciences.\nTraining the next generation of scientific leaders is done on graduate level, which favors advanced and research-related teaching."
]
},
{
"type": "Figure",
"id": "Sx1-fig3",
"caption": [
{
"type": "Paragraph",
"content": [
"ISTA’s mathematics groups"
]
}
],
"content": [
{
"type": "Paragraph",
"content": []
},
{
"type": "List",
"items": [
{
"type": "ListItem",
"content": [
{
"type": "Paragraph",
"id": "Sx1.I1.i1.p1",
"content": [
"Nick Barton: Mathematical Models of Evolution"
]
}
]
},
{
"type": "ListItem",
"content": [
{
"type": "Paragraph",
"id": "Sx1.I1.i2.p1",
"content": [
"Tim Browning: Analytic Number Theory and its Interfaces"
]
}
]
},
{
"type": "ListItem",
"content": [
{
"type": "Paragraph",
"id": "Sx1.I1.i3.p1",
"content": [
"Herbert Edelsbrunner: Algorithms, Computational Geometry, and Computational Topology"
]
}
]
},
{
"type": "ListItem",
"content": [
{
"type": "Paragraph",
"id": "Sx1.I1.i4.p1",
"content": [
"László Erdős: Mathematics of Disordered Quantum Systems and Matrices"
]
}
]
},
{
"type": "ListItem",
"content": [
{
"type": "Paragraph",
"id": "Sx1.I1.i5.p1",
"content": [
"Julian Fischer: Theory of Partial Differential Equations, Applied and Numerical Analysis"
]
}
]
},
{
"type": "ListItem",
"content": [
{
"type": "Paragraph",
"id": "Sx1.I1.i6.p1",
"content": [
"Tamás Hausel: Geometry and its Interfaces"
]
}
]
},
{
"type": "ListItem",
"content": [
{
"type": "Paragraph",
"id": "Sx1.I1.i7.p1",
"content": [
"Vadim Kaloshin: Dynamical Systems, Celestial Mechanics, and Spectral Rigidity"
]
}
]
},
{
"type": "ListItem",
"content": [
{
"type": "Paragraph",
"id": "Sx1.I1.i8.p1",
"content": [
"Matthew Kwan: Combinatorics and Probability\n"
]
}
]
},
{
"type": "ListItem",
"content": [
{
"type": "Paragraph",
"id": "Sx1.I1.i9.p1",
"content": [
"Jan Maas: Stochastic Analysis"
]
}
]
},
{
"type": "ListItem",
"content": [
{
"type": "Paragraph",
"id": "Sx1.I1.i10.p1",
"content": [
"Robert Seiringer: Mathematical Physics"
]
}
]
},
{
"type": "ListItem",
"content": [
{
"type": "Paragraph",
"id": "Sx1.I1.i11.p1",
"content": [
"Uli Wagner: Discrete and Computational Geometry and Topology"
]
}
]
}
],
"order": "Unordered"
}
]
},
{
"type": "Heading",
"id": "Sx2",
"depth": 1,
"content": [
"A growing community"
]
},
{
"type": "Paragraph",
"id": "Sx2.p1",
"content": [
"From the beginning, ISTA has recruited around five professors per year.\nFrom more than 15,000 applications, 68 professors are currently under contract.\nIn the fall of 2021, the government committed another 3.3 billion Euro to secure further growth of the Institute for the next 15 years.\nBy 2026, ISTA will reach 90 research groups, and then up to 150 groups by 2036.\nThis growth trajectory enables it to transcend its status as a small institute and to become a substantial European hub in the global network of frontier science.\nNew laboratory buildings, research facilities, and a visitor center are under construction and further ones are in planning to meet the needs of a growing and diversifying community."
]
},
{
"type": "Paragraph",
"id": "Sx2.p2",
"content": [
"The clear decision towards growth is based on the scientists’ achievements since the founding of the Institute.\nThis encompasses more than 3,600 scientific publications, numerous memberships in prestigious academies and societies, and a list of renowned awards for example in mathematics: the Leonard Eisenbud Prize from the American Mathematical Society and the Erwin Schrödinger Prize from the Austrian Academy of Sciences to László Erdős, the Promotion Prize of the Austrian Mathematical Society to Julian Fischer, and twice the Ferran Sunyer i Balaguer Prize to Tim Browning."
]
},
{
"type": "Paragraph",
"id": "Sx2.p3",
"content": [
"So far 54 European Research Council (ERC) grants have been awarded to 45 professors.\nIn mathematics, ten ERC grants for eleven research groups constitute a considerable portion of the total grant sum of 22.7 million Euro for mathematicians at ISTA.\nAmong the graduates and alumni from mathematical groups, there are personalities like ",
{
"type": "Link",
"target": "https://www.mathematik.uni-muenchen.de/~nam/",
"content": [
"Phan Thành Nam"
]
},
", professor of analysis and mathematical physics at the Ludwig Maximilian University (LMU) in Munich, Germany, and ",
{
"type": "Link",
"target": "http://mathface.com/",
"content": [
"Tanya Kaushal Srivastava"
]
},
", assistant professor of algebraic geometry at the Indian Institute of Technology (IIT) Gandhinagar."
]
},
{
"type": "Figure",
"id": "Sx2-fig1",
"caption": [
{
"type": "Paragraph",
"content": [
{
"type": "Emphasis",
"content": [
"PhD graduate Laura Schmid."
]
},
"\nHer research in computer-aided verification and game theory supervised by professor Krishnendu Chatterjee lies at the cross-section of mathematics, evolution, and computer science. © Peter Rigaud/ISTA"
]
}
],
"licenses": [
{
"type": "CreativeWork",
"content": [
{
"type": "Paragraph",
"content": [
"All rights reserved."
]
}
]
}
],
"content": [
{
"type": "ImageObject",
"contentUrl": "mag-82-4.jpg",
"mediaType": "image/jpeg",
"meta": {
"inline": false
}
}
]
},
{
"type": "Heading",
"id": "Sx3",
"depth": 1,
"content": [
"Becoming a mathematician at ISTA"
]
},
{
"type": "Paragraph",
"id": "Sx3.p1",
"content": [
"Two of the eleven mathematics groups began their work last year.\nSince hiring is done on an institute-wide level, attracting many excellent candidates in mathematics is key to maintaining its presence at ISTA.\nWhile the hiring concept is open to every direction in mathematics, ISTA strives for a healthy balance."
]
},
{
"type": "Paragraph",
"id": "Sx3.p2",
"content": [
"“Looking at the mathematics groups here, I can roughly identify three areas,” says Robert Seiringer, professor and area chair for mathematics and physics.\n“Five groups are working at the cross-section of mathematical physics and analysis, three groups are concerned with combinatorics and discrete/computational topology, and two groups work on algebra and number theory.”\nHe hopes to hire colleagues in other key fields such as geometry and statistics.\nThe envisioned development plan lays out a mosaic of mathematical expertise, where every new group – much like a tessera – feels connected to at least one existing group without duplicating it adding to a full display of cutting-edge mathematics."
]
},
{
"type": "Figure",
"id": "Sx3-fig1",
"caption": [
{
"type": "Paragraph",
"content": [
{
"type": "Emphasis",
"content": [
"The newly opened Sunstone Building."
]
},
"\nIt provides space for first-year students, hosts the Institute’s library, a nuclear magnetic resonance facility, and state-of-the-art laboratories for fundamental research in chemistry and materials.\nFurther expansion of the campus is in construction and planning. © Peter Rigaud/ISTA"
]
}
],
"licenses": [
{
"type": "CreativeWork",
"content": [
{
"type": "Paragraph",
"content": [
"All rights reserved."
]
}
]
}
],
"content": [
{
"type": "ImageObject",
"contentUrl": "mag-82-5.jpg",
"mediaType": "image/jpeg",
"meta": {
"inline": false
}
}
]
},
{
"type": "Paragraph",
"id": "Sx3.p3",
"content": [
"Out of the present 534 scientists 280 are PhD students, 29 of which are currently working in mathematics groups.\nThe graduate school follows the US admission pattern: ISTA admits students once a year, with a mid-January application deadline.\nStudents are provided with a generous fellowship for the whole duration of their studies, assuming satisfactory progress.\nTheir first year is defined by three to five rotations, where students experience different groups in various fields until they choose an affiliation for their PhD."
]
},
{
"type": "Figure",
"id": "Sx3-fig2",
"caption": [
{
"type": "Paragraph",
"content": [
{
"type": "Emphasis",
"content": [
"The historic central building of ISTA."
]
},
"\nA place of curiosity-driven inquiry and excellent science at the borders of the peaceful Vienna Woods. © ISTA"
]
}
],
"licenses": [
{
"type": "CreativeWork",
"content": [
{
"type": "Paragraph",
"content": [
"All rights reserved."
]
}
]
}
],
"content": [
{
"type": "ImageObject",
"contentUrl": "mag-82-6.jpg",
"mediaType": "image/jpeg",
"meta": {
"inline": false
}
}
]
},
{
"type": "Paragraph",
"id": "Sx3.p4",
"content": [
"Postdoctoral programs are centrally financed by the ISTA Fellowship; applications are solicited with deadlines of March and September.\nOnce again, candidates compete across disciplines for admissions.\nOther possibilities for fully funded, two-year postdoctoral positions are the ",
{
"type": "Link",
"target": "https://ista.ac.at/en/education/postdocs/ist-bridge/",
"content": [
"twelve IST-BRIDGE fellowships"
]
},
" every six months until November 2023; or the ",
{
"type": "Link",
"target": "https://ista.ac.at/en/education/postdocs/nomis-fellowship/",
"content": [
"two annual NOMIS fellowships"
]
},
", backed by the NOMIS Foundation to advance interdisciplinary research.\nBrazilian mathematician ",
{
"type": "Link",
"target": "https://sites.google.com/view/goncalo-oliveira-math-webpage/home",
"content": [
"Gonçalo-Oliveira"
]
},
", for instance, embodies the outstanding talent which ISTA and the NOMIS Foundation strive to inspire.\nHe works at the intersection of Tamás Hausel’s and László Erdős’ groups."
]
},
{
"type": "Paragraph",
"id": "Sx3.p5",
"content": [
"For long-term visitors, there is a program with partial financing for periods of three to twelve months.\nFinally, ISTA offers an internship program – the ISTernship – for talented and enthusiastic undergraduate students, who would like to spend eight to twelve weeks at the Institute during the summer.\nA more detailed description of these opportunities may be found on the ISTA website ",
{
"type": "Link",
"target": "http://www.ista.ac.at/",
"content": [
"www.ista.ac.at"
]
},
"."
]
},
{
"type": "Heading",
"id": "Sx4",
"depth": 1,
"content": [
"Recent research highlights in mathematics"
]
},
{
"type": "Paragraph",
"id": "Sx4.p1",
"content": [
"Three recent highlights give insight into the current mathematical activities at ISTA, each exemplifying one strand of current research: algebraic geometry, mathematical physics, and number theory."
]
},
{
"type": "Figure",
"id": "Sx4-fig1",
"caption": [
{
"type": "Paragraph",
"content": [
{
"type": "Emphasis",
"content": [
"Mathematics from tip to icy toe."
]
},
"\nProfessor Tamás Hausel investigates the weight diagrams in the nilpotent cone to gain knowledge about the whole underlying representation theory of Lie groups. © ISTA/Ruslan Tagiyev"
]
}
],
"licenses": [
{
"type": "CreativeWork",
"content": [
{
"type": "Paragraph",
"content": [
"All rights reserved."
]
}
]
}
],
"content": [
{
"type": "ImageObject",
"contentUrl": "mag-82-7.png",
"mediaType": "image/png",
"meta": {
"inline": false
}
}
]
},
{
"type": "Heading",
"id": "Sx4.SSx1",
"depth": 2,
"content": [
"The tip of the mathematical iceberg"
]
},
{
"type": "Paragraph",
"id": "Sx4.SSx1.p1",
"content": [
"Mathematics may strike you as less adventurous than a polar expedition, but the exquisiteness of this conquered abstract iceberg could change your mind.\nThe pioneers of this quest, ISTA-professor Tamás Hausel and Oxford scholar Nigel Hitchin, ",
{
"type": "Link",
"target": "https://ista.ac.at/en/news/the-tip-of-the-mathematical-iceberg/",
"content": [
"collaborated at the intersection of differential and algebraic geometry"
]
},
", connecting the distant fields of physics and number theory.\n"
]
},
{
"type": "Paragraph",
"id": "Sx4.SSx1.p2",
"content": [
"The analogy with a floating iceberg shows the significance of their mathematical expedition.\nThe iceberg is attached to a Lie group: Most of its characteristics lie hidden beneath the surface.\nDown there, the interesting useful properties reside.\nHausel’s and Hitchin’s elegant construction uses an abstract mathematical object from the Lie group in question, a so-called nilpotent cone of Higgs bundles.\nThe nilpotent cone refers to the iceberg.\nFortunately, the tip of its structure is completely understandable in terms of weight diagrams, which serve as visual representations of the characteristic notions of the Lie group.\nFrom the tip, they can infer knowledge about the mysterious bottom, and may even reconstruct the whole representation theory of Lie groups from it [",
{
"type": "Cite",
"target": "bib-bib2",
"content": [
"2"
]
},
"]."
]
},
{
"type": "Heading",
"id": "Sx4.SSx2",
"depth": 2,
"content": [
"Unifying definitions of jellium"
]
},
{
"type": "Paragraph",
"id": "Sx4.SSx2.p1",
"content": [
"Jellium, or the homogeneous electron gas, is a fundamental system in quantum physics and chemistry.\nFor instance, it is used for describing the deep interiors of white dwarfs and the valence electrons in alkaline metals.\nIt was originally defined as an infinite gas of electrons in a positively charged uniform background, and the thermodynamic limit of the system was established rigorously.\nAnother system, the ",
{
"type": "Emphasis",
"content": [
"uniform"
]
},
" electron gas, is similar, but there is no background and the electron density is constant everywhere.\nIn yet another model, electrons interact with periodic images of themselves."
]
},
{
"type": "Paragraph",
"id": "Sx4.SSx2.p2",
"content": [
"It was conjectured in the 1980s that the ground state energies of these three systems coincide in the thermodynamic limit, but rigorously establishing this remained elusive – until now.\nUsing a novel “floating crystal” trial state, Professor Robert Seiringer and his co-authors were able to show that these three systems are equivalent.\nTheir argument involves “melting” a layer of crystal close to the boundary, then replacing it by an incompressible fluid.\nThis allowed them to compensate for the charge fluctuations that occur at the system boundaries [",
{
"type": "Cite",
"target": "bib-bib3",
"content": [
"3"
]
},
"]."
]
},
{
"type": "Heading",
"id": "Sx4.SSx3",
"depth": 2,
"content": [
"When is necessary sufficient?"
]
},
{
"type": "Paragraph",
"id": "Sx4.SSx3.p1",
"content": [
"Polynomials with integer coefficients and their integer solutions have long been studied and continue to fascinate researchers up to this day.\nMoreover, the very ",
{
"type": "Emphasis",
"content": [
"existence"
]
},
" of solutions is an important part of this: In 1900, Hilbert famously challenged researchers to design an algorithm that could say whether a polynomial equation with integer coefficients has an integer solution.\nWe now know that in general this is not the case.\nHowever, we can say that if integer solutions exist, two conditions must hold, one having to do with solutions that are real numbers, the other with the divisibility of solutions by integers.\nA central conjecture in number theory suggested that if the number of variables (call this number ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "n",
"meta": {
"altText": "n"
}
},
") of a polynomial is greater than the degree ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "d",
"meta": {
"altText": "d"
}
},
", then passing these two tests almost always means there exists an integer solution.\nIn 2020, Professor Tim Browning and his coauthors proved the conjecture to be true in all cases except when ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "n=4",
"meta": {
"altText": "n=4"
}
},
" and ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "d=3",
"meta": {
"altText": "d=3"
}
},
", a family known as cubic surfaces.\nTheir result provides the key to creating an algorithm – of the kind Hilbert asked for – for nearly all polynomials whose number of variables is greater than their degree [",
{
"type": "Cite",
"target": "bib-bib1",
"content": [
"1"
]
},
"]."
]
},
{
"type": "Figure",
"id": "Sx4-SSx3-fig1",
"caption": [
{
"type": "Paragraph",
"content": [
{
"type": "Emphasis",
"content": [
"The cubic surface ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "x3+xy+yz2=0",
"meta": {
"altText": "x^{3}+xy+yz^{2}=0"
}
},
"."
]
},
"\nIt passes the two tests and has numerous integer solutions (red dots), but the conjecture remains open for cubic equations in general. © Ulrich Derenthal/Leibniz University Hannover"
]
}
],
"licenses": [
{
"type": "CreativeWork",
"content": [
{
"type": "Paragraph",
"content": [
"All rights reserved."
]
}
]
}
],
"content": [
{
"type": "ImageObject",
"contentUrl": "mag-82-9.png",
"mediaType": "image/png",
"meta": {
"inline": false
}
}
]
},
{
"type": "Paragraph",
"id": "authorinfo",
"content": [
"\nFlorian Schlederer is an Austrian book author, science curator, and one of three science writers at the Institute of Science and Technology Austria (ISTA). After having studied both physics and philosophy at the Universities of Vienna, Oxford, and Tokyo, he currently searches for intriguing story angles to disseminate mathematics, physics, computer science, and climate science into society.\n",
{
"type": "Link",
"target": "mailto:communications@ista.ac.at",
"content": [
"communications@ista.ac.at"
]
}
]
}
]
}