
Science Resources RSS Feeds
|
 |
 |
 |
Researchers master one of the largest, most complicated mathematical structures
March 21, 2007
New tool could drive breakthroughs in several disciplines Ever since 1887, when Norwegian mathematician Sophus Lie discovered the mathematical group called E8, researchers have been trying to understand the extraordinarily complex object described by a numerical matrix of more than 400,000 rows and columns.
Now, an international team of experts using powerful computers and programming techniques has mapped E8—a feat numerically akin to the mapping of the human genome—allowing for breakthroughs in a wide range of problems in geometry, number theory and the physics of string theory.
"Although mapping the human genome was of fundamental importance in biology, it doesn't instantly give you a miracle drug or a cure for cancer" said mathematician Jeffrey Adams, project leader and mathematics professor at the University of Maryland. "This research is similar: it is critical basic research, but its implications may not become known for many years."
Team member David Vogan, a professor of mathematics at the Massachusetts Institute of Technology (MIT), presented the findings today at MIT.
The effort to map E8 is part of a larger project to map out all of the Lie groups—mathematical descriptions of symmetry for continuous objects like cones, spheres and their higher-dimensional counterparts. Many of the groups are well understood; E8 is the most complex.
The project is funded by the National Science Foundation (NSF) through the American Institute of Mathematics.
It is fairly easy to understand the symmetry of a square, for example. The group has only two components, the mirror images across the diagonals and the mirror images that result when the square is cut in half midway through any of its sides. The symmetries form a group with only those 2 degrees of freedom, or dimensions, as members.
A continuous symmetrical object like a sphere is 2-dimensional on its surface, for it takes only two coordinates (latitude and longitude on the Earth) to define a location. But in space, it can be rotated about three axes (an x-axis, y-axis and z-axis), so the symmetry group has three dimensions.
In that context, E8 strains the imagination. The symmetries represent a 57-dimensional solid (it would take 57 coordinates to define a location), and the group of symmetries has a whopping 248 dimensions.
Because of its size and complexity, the E8 calculation ultimately took about 77 hours on the supercomputer Sage and created a file 60 gigabytes in size. For comparison, the human genome is less than a gigabyte in size. In fact, if written out on paper in a small font, the E8 answer would cover an area the size of Manhattan.
While even consumer hard drives can store that much data, the computer had to have continuous access to tens of gigabytes of data in its random access memory (the RAM in a personal computer), something far beyond that of home computers and unavailable in any computer until recently.
The computation was sophisticated and demanded experts with a range of experiences who could develop both new mathematical techniques and new programming methods. Yet despite numerous computer crashes, both for hardware and software problems, at 9 a.m. on Jan. 8, 2007, the calculation of E8 was complete.
National Science Foundation
|
 |

|
Mathematical Structures for Computer Science
by Judith L. Gersting (Author)
Computing Curricula 2001 (CC2001), a joint undertaking of the Institute for Electrical and Electronic Engineers/Computer Society (IEEE/CS) and the Association for Computing Machinery (ACM), identifies the essential material for an undergraduate degree in computer science.
This Sixth Edition of Mathematical Structures for Computer Science covers all the topics in the CC2001 suggested curriculum for a one-semester intensive discrete structures course, and virtually everything suggested for a two-semester version of a discrete structures course. Gersting’s text binds together what otherwise appears to be a collection of disjointed topics by emphasizing the following themes: • Importance of logical thinking • Power of mathematical notation • Usefulness of...
|

|
The Structure of Economics: A Mathematical Analysis
by Eugene Silberberg (Author), Wing Suen (Author)
This text combines mathematical economics with microeconomic theory and can be required or recommended as part of a course in graduate microeconomic theory, advanced undergraduate or graduate-level mathematical economics, or any advanced topics course. It also has reference value for international, library, professional and reference markets. This revision addresses significant new topics - the theory of contracts and markets with imperfect information - that have recently become prominent in the microeconomics literature.
|

|
Reversible Grammar in Natural Language Processing (The Springer International Series in Engineering and Computer Science)
by T. Strzalkowski (Editor)
Reversible grammar allows computational models to be built that are equally well suited for the analysis and generation of natural language utterances. This task can be viewed from very different perspectives by theoretical and computational linguists, and computer scientists. The papers in this volume present a broad range of approaches to reversible, bi-directional, and non-directional grammar systems that have emerged in recent years. This is also the first collection entirely devoted to the problems of reversibility in natural language processing. Most papers collected in this volume are derived from presentations at a workshop held at the University of California at Berkeley in the summer of 1991 organised under the auspices of the Association for Computational...
|

|
Thermodynamic Formalism: The Mathematical Structure of Equilibrium Statistical Mechanics (Cambridge Mathematical Library)
by David Ruelle (Author)
Reissued in the Cambridge Mathematical Library, this classic book outlines the theory of thermodynamic formalism which was developed to describe the properties of certain physical systems consisting of a large number of subunits. Background material on physics has been collected in appendices to help the reader. Supplementary work is provided in the form of exercises and problems that were "open" at the original time of writing.
|

|
Discrete Mathematical Structures (6th Edition)
by Bernard Kolman (Author), Robert Busby (Author), Sharon C. Ross (Author)
Key Message: Discrete Mathematical Structures, Sixth Edition, offers a clear and concise presentation of the fundamental concepts of discrete mathematics. This introductory book contains more genuine computer science applications than any other text in the field, and will be especially helpful for readers interested in computer science. This book is written at an appropriate level for a wide variety of readers, and assumes a college algebra course as the only prerequisite. Key Topics: Fundamentals; Logic; Counting; Relations and Digraphs; Functions; Order Relations and Structures; Trees; Topics in Graph Theory; Semigroups and Groups; Languages and Finite-State Machines; Groups and Coding
|

|
Discrete Mathematical Structures: Theory and Applications
by D.S. Malik (Author), M.K. Sen (Author)
Discrete Mathematical Structures teaches students the mathematical foundations of computer science, including logic, Boolean algebra, basic graph theory, finite state machines, grammars, and algorithms. This required class for Computer Science students helps them understand mathematical reasoning for reading, comprehension, and construction of mathematical arguments.
|

|
Introduction to Mathematical Structures and Proofs
by Larry J. Gerstein (Author)
This textbook is intended for a one term course whose goal is to ease the transition from lower division calculus courses, to upper level courses in algebra, analysis, number theory and so on. Without such a "bridge course", most instructors in advanced courses feel the need to start their courses with a review of the rudiments of logic, set theory, equivalence relations, and other basic mathematics before getting to the subject at hand. Students need experience in working with abstract ideas at a nontrivial level if they are to achieve what we call "mathematical maturity", in other words, to develop an ability to understand and create mathematical proofs. Part of this transition involves learning to use the language of mathematics. This text spends a good deal of time exploring the...
|

|
The Large Scale Structure of Space-Time (Cambridge Monographs on Mathematical Physics)
by Stephen W. Hawking (Author), G. F. R. Ellis (Author), P. V. Landshoff (Author), D. R. Nelson (Author), D. W. Sciama (Author), S. Weinberg (Author)
Einstein's General Theory of Relativity leads to two remarkable predictions: first, that the ultimate destiny of many massive stars is to undergo gravitational collapse and to disappear from view, leaving behind a 'black hole' in space; and secondly, that there will exist singularities in space-time itself. These singularities are places where space-time begins or ends, and the presently known laws of physics break down. They will occur inside black holes, and in the past are what might be construed as the beginning of the universe. To show how these predictions arise, the authors discuss the General Theory of Relativity in the large. Starting with a precise formulation of the theory and an account of the necessary background of differential geometry, the significance of space-time...
|

|
Mathematical Structures for Computer Sci
by Judith L. Gersting (Author)
International Edition
|

|
Introduction to Theoretical Neurobiology: Volume 1, Linear Cable Theory and Dendritic Structure (Cambridge Studies in Mathematical Biology)
by Henry C. Tuckwell (Author)
The human brain contains billions of nerve cells whose activity plays a critical role in the way we behave, feel, perceive, and think. This two-volume set explains the basic properties of a neuron--an electrically active nerve cell--and develops mathematical theories for the way neurons respond to the various stimuli they receive. Volume 1 contains descriptions and analyses of the principle mathematical models that have been developed for neurons in the past thirty years. It provides a brief review of the basic neuroanatomical and neurophysiological facts that will form the focus of the mathematical treatment. Tuckwell discusses the mathematical theories, beginning with the theory of membrane potentials. He then goes on to treat the Lapicque model, linear cable theory, and time-dependent...
|
|