AF: Small: Collaborative Research: Groups in Computer Science
AF: Small: Collaborative Research: Groups in Computer Science
批准号:
1017182
负责人:
Matthew Kahle
金额:
$18.62万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2010
资助国家:
美国
项目状态:
已结题
起止时间:
2010-09-01 至 2015-08-31
中文摘要
该项目继续研究群论与计算的理论和实践之间的相互联系。主要目标是(1)有限群计算算法的设计、分析和实现;(2)设计和分析这类算法所需的数学工具的开发;(3)研究当前图同构问题中的瓶颈,这是计算理论中的一个主要开放问题;以及(4)涉及群概念的计算驱动的离散结构的研究。该项目将建立在PIS的最新成果基础上,这些成果打破了矩阵群计算领域长达四分之一个世纪的瓶颈,并基于图形同构问题。该项目的一个主要主题是理论和实践之间的协同,通过设计和实现既在实践中快速又允许进行严格的复杂性分析的算法,使符号代数领域和计算理论都受益。矩阵计算领域的项目方法将结合几何和抽象结构(“黑箱”)框架这两种现有方法的要素。该项目还包括群论、组合学和计算机科学中的相关问题,通过对涉及群概念的对象的算法研究而联系在一起。特别是,需要这些工具的组合来重新研究阻碍图同构问题和置换群中相关陪集相交问题进展的瓶颈。PI还将研究受对称条件约束的布尔函数的参数,包括性质测试的复杂性;以及阿贝尔沙堆模型,该模型连接了多个领域,包括统计力学、代数图论、离散动力系统、算法以及研究特定交换么半群和群的复杂性。群是对称的数学公式,在数学和科学中普遍存在。有限群及其相关Cayley图的算法有着广泛的应用,从群论到统计学、网络设计、图同构问题(与计算机科学和化学文献相关)、密码学以及构造具有高度对称性的对象。该项目的更广泛影响主要是通过在GAP中实施新算法,GAP是一个领先的、开放访问的计算机代数系统,为群论、代数、图论、编码理论和设计理论的研究提供计算环境。GAP的发展也代表着对教育的重大贡献,因为在本科抽象代数课程中使用GAP的需求越来越大。
英文摘要
The project continues the study of interconnections between group theory and the theory and practice of computation. The major objectives are (1) the design, analysis, and implementation of algorithms for computations with finite groups; (2) the development of mathematical tools required for the design and analysis of such algorithms; (3) the study of current bottlenecks in the graph isomorphism problem, a major open problem in the theory of computing; and (4) the computationally motivated study of discrete structures involving the group concept. The project will build on the PIs recent results of breaking quarter-century old bottlenecks in the areas of matrix group computation and on the graph isomorphism problem. A principal theme of the project is the synergy between the theoretical and practical, benefitting both the field of symbolic algebra and the theory of computing through the design and implementation of algorithms that are both fast in practice and admit rigorous complexity analysis. The project methodology in the area of matrix computations will combine elements of the two existing approaches, the geometric and abstract structural ("black-box") frameworks. The project also includes related problems in group theory, combinatorics, and computer science, connected through the algorithmic study of objects involving the group concept. In particular, a combination of such tools will be required for a renewed study of the bottlenecks that have blocked progress on the graph isomorphism problem and the related coset intersection problem in permutation groups. The PIs will also study of parameters of Boolean functions subject to symmetry conditions, including the complexity of property testing; and the Abelian Sandpile Model which connects a number of fields, including statistical mechanics, algebraic graph theory, discrete dynamical systems, algorithms, and complexity in the study of a certain commutative monoid and group.Groups are the mathematical formulation of symmetry, ubiquitous in mathematics and the sciences. Algorithms for finite groups and their associated Cayley graphs have a wide range of applications, from group theory to statistics, network design, the graph isomorphism problem (of relevance to computer science and chemical documentation), cryptography, and the construction of objects with high symmetry. The broader impact of the project is primarily through the implementation of new algorithms in GAP, a leading, open access computer algebra system that provides computing environment for research in group theory, algebra, graph theory, coding theory, and design theory. GAP development also represents a significant contribution to education as there is an increasing demand to use GAP in undergraduate abstract algebra courses.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Algebraic Topology: Methods, Computation, and Science 2022
-
批准号:2208855
-
项目类别:Standard Grant
-
资助金额:$2.6万
-
财政年份:2022
-
负责人:Matthew Kahle
-
依托单位:
Stochastic Topology and Topological Statistical Mechanics
-
批准号:2005630
-
项目类别:Standard Grant
-
资助金额:$23.94万
-
财政年份:2020
-
负责人:Matthew Kahle
-
依托单位:
TRIPODS+X:RES: Collaborative Research: Thermodynamic Phases and Configuration Space Topology
-
批准号:1839358
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2018
-
负责人:Matthew Kahle
-
依托单位:
Conference on Topology, Geometry, and Data Analysis at The Ohio State University
-
批准号:1613094
-
项目类别:Standard Grant
-
资助金额:$4.0万
-
财政年份:2016
-
负责人:Matthew Kahle
-
依托单位:
RTG: Algebraic Topology and Its Applications
-
批准号:1547357
-
项目类别:Continuing Grant
-
资助金额:$172.26万
-
财政年份:2016
-
负责人:Matthew Kahle
-
依托单位:
CAREER: Random spaces and groups
-
批准号:1352386
-
项目类别:Continuing Grant
-
资助金额:$45.0万
-
财政年份:2014
-
负责人:Matthew Kahle
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: