Schedule of talks for the Spring Semester 1996

The talks are presented on Tuesdays at 4 PM in room 241 or 314, Altgeld Hall [with the exception of Penrose's talks on March 26/27]. Refreshments are served at 3:15 PM in room 321, Altgeld Hall.

  • February 27
    Herbert Edelsbrunner, UIUC
    COMPLEXES, ALGORITHMS, AND MODELING APPLICATIONS
    Abstract: Geometric modeling is a branch of geometric computing characterized by the need and focus on forming and deforming geometric shapes. We present a general approach to modeling based on a combination of tools from topology, geometry, and algorithms. Topology contributes the idea of a complex, which is used as the underlying representation or data structure for all shapes. Geometric ideas associated with the work of Voronoi and Delone are used to lend concrete geometric structure to abstract or topological complexes. Combinatorial algorithms are implemented so possibly large and complicated shapes can be manipulated with ease.

    The geometric modeling approach of this talk can be applied in various directions, including grid generation, medical imaging, geometric morphing, and structural biology. This talk will focus on modeling molecules for the purpose of studying biomolecules and their interaction which forms the basis of all life.

  • March 5
    Vera Pless, UIC
    ERROR-CORRECTING CODES
    Abstract:The study of error-correcting codes began in 1948 when Claude Shannon [A Mathematical Theory of Communication, Bell System Technical J., vol. 27] demonstrated that one could communicate as reliably as desired by using long enough codes. As Shannon's proof was probabilistic, not constructive, many problems required solutions so that these codes could actually be used. Even though much progress has been made and these codes have long been used in many different ways, questions related to their more efficient use remain. As the study of these codes evolved, more and more connections were established with various areas of mathematics including (but not limited to) combinatorial designs, finite group theory, number theory, finite fields, algebraic geometry and combinatorial games. Knowledge from these areas has contributed much to coding theory and the developing mathematical theory of error-correcting codes has added to various mathematical areas.

    We will give a basic introduction to error-correcting codes and describe some of the main problems in coding which arise from their practical applications. Some of the interactions between codes and various mathematical areas will be illustrated by discussions of several topics including the Golay code, duadic codes, and the classification of self-dual codes.

  • March 26
    Roger Penrose, Oxford U
    SHADOWS OF THE MIND
    Abstract: A search for the missing science of consciousness. The role of the Goedel Incompleteness Theorem. The nature of mathematical truth. [Please note the unusual lecture hour: this talk will take place Tuesday at 4:30 PM in Altgeld Hall 314].
  • March 27
    Roger Penrose, Oxford U
    DO WE NEED A NEW GEOMETRY FOR PHYSICS ?
    Abstract: The first part of this lecture discusses twistors. The second part discusses the difficulties in applying space time geometry to quantum mechanics as conceived up to now. Our views of geometry may have to undergo fundamental change. [Note: This talk will take place Wednesday at 4:00 PM in AH 314]
  • April 2
    Thomas Kurtz, U of Wisconsin, Madison
    MODELING PROCESSOR NETWORK WORKLOAD WITH LONG RANGE DEPENDENCE
    Abstract:Analysis of data from Ethernet and other communication networks has identified behavior inconsistent with many of the models used in the analysis of such systems. This inconsistency could have significant implications for the design and control of such networks. The apparent "self similarity" of network traffic has led to an interest in modeling workload in the network using fractional Brownian motion in place of the ordinary Brownian motion that arises in standard heavy traffic limit theory. A rich class of workload input models will be described for which heavy traffic asymptotics lead to a large class of Gaussian processes, including fractional Brownian motion. Representations in terms of Poisson random measures play a fundamental role in the analysis of these models.
  • April 16
    Kenneth Stolarsky, UIUC
    HIGHER DIMENSIONAL SOLUTIONS TO LOWER DIMENSIONAL PROBLEMS: THE DEUS EX MACHINA OF THE EXACT SCIENCES
    Abstract:After denying their existence for two millenia, mathematical scientists finally began using spaces of dimension greater than three in the nineteenth century. Indeed, the solution of an m-dimensional scientific problem may be most easily handled by embedding it in n-dimensional space, where n > m (e.g., one may view Fourier analysis solutions of physics problems as the case n = infinity). We present a broad view of this technique, including its history and philosophical connections, and numerous mathematical and scientific examples, some of which are rather singular (i.e. they do not obviously fit into some systematic discipline such as Fourier analysis or linear programming). Higher dimensional techniques are perhaps most remarkable when they are synthetic rather than analytic.
  • April 30
    Lisa Jeffrey, McGill U
    APPLICATIONS OF QUANTUM FIELD THEORY TO GEOMETRY
    Abstract:Over the past twenty years there has been a resurgence of interaction between theoretical physics (particularly quantum field theory) and pure mathematics (notably topology and geometry). Physicists' ideas have led to a number of discoveries in pure mathematics. Two complementary approaches are applied in quantum field theory. In the first approach (quantization), one associates a Hilbert space to a distinguished manifold -- the phase space -- associated to the physical system, and the behavior of the system is computed by studying linear transformations of the Hilbert space. In the second approach (functional integration), the physical system is specified by a space of fields (which is roughly the space of functions on some manifold) equipped with an action functional (a real or complex valued function on the space of fields): one averages over all possible paths the physical system could take, weighted in such a way that the dominant contribution comes from the extrema of the action functional, which are the paths satisfying the classical equations of motion.

    I shall describe some examples of quantum field theories that have arisen in the context of geometrical problems associated to manifolds, and two recent developments in geometry that are strongly related to the two approaches in quantum field theory:

    (i) the properties of the quantizing Hilbert space when the phase space is acted on by a symmetry group;

    (ii) certain formulas for integrals over finite dimensional manifolds which are computed as sums of extrema of an action functional on the manifold (the stationary phase approximation, which in certain circumstances yields an exact formula). [Note: Lisa Jeffrey will also give a more technical Special Colloquium lecture on Monday, April 29, 4pm as follows:

    FLAT CONNECTIONS ON RIEMANN SURFACES AND TWO DIMENSIONAL YANG-MILLS THEORY

    Abstract: If G = U(n), the space M of flat G-connections on a Riemann surface S has been the subject of intense interest for the past thirty years in algebraic and symplectic geometry as well as through its applications to topology. It appears in two additional guises: in topology as the space of representations of the fundamental group of the Riemann surface into G, and in algebraic geometry as the moduli space of holomorphic vector bundles of rank n (and degree 0) on S. Of associated interest are the spaces M(n,d) which appear in algebraic geometry as the moduli spaces of holomorphic vector bundles of rank n, degree d and fixed determinant: if n and d are coprime these spaces are smooth Kaehler manifolds.

    In a fundamental 1982 paper studying the Morse theory of the Yang-Mills functional, Atiyah and Bott found formulas for the Betti numbers of the spaces M(n,d), so that the characterization of the cohomology as a vector space is complete: its ring structure (or equivalently the value of the intersection numbers in the cohomology ring) has however remained obscure. In 1992, Witten used physical methods to find formulas for these intersection numbers: his work involved a two dimensional quantum field theory for which the Lagrangian was the Yang-Mills functional. In recent joint work with F. Kirwan (announced in Elec. Res. Notices AMS) we have proved Witten's formulas using methods from symplectic geometry (notably the technique of localization in equivariant cohomology). In this lecture I will survey the background leading up to the proof of Witten's formulas: I will also describe how the formulas for intersection numbers lead straightforwardly to a proof of the Verlinde formula.]