Cornell Mathematics Research Computing Environment

康奈尔大学数学系将购买和安装一台多处理器计算机，以使计算密集型研究部门内。该计算机将提供给数学系从事计算研究的所有教师和学生，这些研究需要一个以上的处理器。基思丹尼斯，格哈德米什勒，迈克斯蒂尔曼，丹巴巴什，亚历山大瓦尔迪米尔斯基，里克杜雷特和约翰古肯海默。Dennis和Michler将研究有限简单群的结构。他们的工作将有助于澄清有限单群的分类，这是数学中最复杂的证明之一。 Durrett将模拟基因组和进化过程的概率模型。这项研究将测试近似，显着减少所需的计算时间来分析大型数据集。Stillman将研究在基因组数据的统计分析中使用贝叶斯网络所产生的代数问题。Barbasch将研究李群的不可约表示，这是一个在量子力学中发现重要应用的主题。Vladimirsky将研究解决最优控制问题的有效算法的并行化，例如寻找过程所需的最小时间或成本的问题。 Guckenheimer将研究神经科学中出现的动力系统，研究运动和化学燃烧。

The Cornell Mathematics Department will purchase and install amultiple processor computer to enable computationally intensiveresearch within the department. The computer will be available to allfaculty and students in the Mathematics Department engaged incomputational research requiring more than a single processor.Specific problems described in the proposal will be pursued byR. Keith Dennis, Gerhard Michler, Mike Stillman, Dan Barbasch,Alexander Valdimirsky, Rick Durrett and John Guckenheimer. Dennis andMichler will investigate the structure of finite simple groups. Theirwill work will help clarify the classification of finite simplegroups, one of the most complex proofs in mathematics. Durrett willsimulate probabilistic models for genomic and evolutionaryprocesses. This research will test approximations that significantlyreduce the computational time required to analyze large datasets. Stillman will investigate algebraic problems arising from theuse of Bayesian networks in the statistical analysis of genomic data.Barbasch will study irreducible representations of Lie groups, asubject that finds important applications in quantum mechanics.Vladimirsky will investigate parallelization of efficient algorithmsfor solving of optimal control problems, for example problems to findthe minimum time or cost required for a process. Guckenheimer willinvestigate dynamical systems that arise in neuroscience, studies oflocomotion and chemical combustion.