ITR/SY: Discrete Models & Algorithms in the Sciences

ITR/SY：离散模型

• 批准号: 0121555
• 负责人: Alistair Sinclair
• 金额: $ 289.94万
• 依托单位: University of California-Berkeley
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2001
• 资助国家: 美国
• 起止时间: 2001-10-01 至 2007-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0121555&HistoricalAwards=false
• 关键词: ITR; SY; Discrete; Models; &amp

The research is centered on four major computational themes which are linked in various ways:1. Quantum Computation: A study of novel quantum algorithms, of entanglement as a computational resource, and of connections to fundamental issues in quantum physics, such as the transition from classical to quantum. 2. Modeling the Regulatory Processes of the Cell:In the post-genomic era, the computational modeling of the operation of an entire cell at the level of interactions among genes, proteins and environmental conditions.3. Statistical Physics and Computational Complexity: A study of central concepts of statistical physics, such as phase transitions and critical exponents, with emphasis on their computational manifestations and their relevance to the analysis of large systems with local interactions.4. Mathematical Economics and the Internet: A study of the Internet as a novel computational artifact and a complex economic arena, as well as of the algorithmic adaptations of Game Theory and Mechanism Design necessary for such a study.The four PIs --- Richard Karp, Christos Papadimitriou, Alistair Sinclair and Umesh Vazirani --- are all based in the Computer Science Division at UC Berkeley. Each of them has a track record of research in at least one of the above areas, and a substantial interest in at least one other. The project also includes one senior scientist from each of the four areas: Birgitta Whaley (Quantum Physics), Adam Arkin (Quantitative Biology), Yuval Peres (Probability and Statistical Physics), and Scott Shenker (Economics and the Internet). The research is rooted in a realization that a computational perspective is becoming increasingly important in the Natural and Mathematical Sciences,and conversely that the Sciences are posing new challenges for the theory of computation, many of which are related. It aims to foster this connection within a dedicated program of research and graduate education.

该研究集中在四个主要的计算主题上，这些主题以各种方式联系在一起：1。量子计算：研究新颖的量子算法、作为计算资源的纠缠以及与量子物理学基本问题（例如从经典到量子的过渡）的联系。 2. 细胞调控过程建模：在后基因组时代，在基因、蛋白质和环境条件相互作用的水平上对整个细胞的运行进行计算建模。 3．统计物理和计算复杂性：研究统计物理的中心概念，例如相变和临界指数，重点是它们的计算表现及其与分析具有局部相互作用的大型系统的相关性。4．数理经济学和互联网：对互联网作为一种新颖的计算工件和复杂的经济领域的研究，以及此类研究所需的博弈论和机制设计的算法改编。四位 PI --- 理查德·卡普 (Richard Karp)、 Christos Papadimitriou、Alistair Sinclair 和 Umesh Vazirani 均在加州大学伯克利分校计算机科学系工作。 他们每个人都至少在上述一个领域有研究记录，并且至少对其他一个领域有浓厚的兴趣。 该项目还包括来自四个领域的一名高级科学家：Birgitta Whaley（量子物理学）、Adam Arkin（定量生物学）、Yuval Peres（概率和统计物理学）和 Scott Shenker（经济学和互联网）。 该研究植根于这样一种认识：计算视角在自然科学和数学科学中变得越来越重要，相反，科学正在对计算理论提出新的挑战，其中许多挑战是相关的。 它旨在通过专门的研究和研究生教育计划促进这种联系。