Collaborative Research: New Algorithms for Group Isomorphism

协作研究:群同构的新算法

基本信息

  • 批准号:
    1620454
  • 负责人:
  • 金额:
    $ 13万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2016
  • 资助国家:
    美国
  • 起止时间:
    2016-06-15 至 2020-05-31
  • 项目状态:
    已结题

项目摘要

Symmetry reduces large complex systems to manageable quantities of information. Identifying those symmetries and understanding their structure helps to solve a wide range of problems, from improving engineering tasks to disrupting the mechanisms of disease. The century-old problem of deciding whether two sets of symmetries have the same structure is known today as the Group Isomorphism Problem. This problem is fundamental to both computational algebra and computational complexity, and has implications for fields as diverse as material science, particle physics, and chemistry. The primary goal of this project is to develop significantly better approaches to testing isomorphism of finite groups of symmetries. It supports a new multidisciplinary collaboration between researchers at four universities, including students and early-career mathematicians and computer scientists. The Group Isomorphism Problem asks for an algorithm to decide whether two finite groups are equivalent. Both the problem itself, and the techniques designed to improve upon it, have implications for other computational problems, including the better-known problems of Graph Isomorphism and P versus NP. Our team's approach goes beyond existing static recursions such as working sequentially down a derived or lower central series. Using a new dynamic strategy we prioritize the optimal stages of the problem, thereby improving the performance of later stages. To achieve this we are investigating the use of nonassociative rings, spectral sequences, modular representation theory, and p-local cohomology. We are also inspecting recently developed data structures in computational algebra that seem well-suited to our approach, as well as investigating applications to geometric complexity theory.
对称性将大型复杂系统简化为可管理的信息量。识别这些对称性并了解它们的结构有助于解决一系列问题,从改进工程任务到扰乱疾病机制。判定两组对称是否具有相同结构的问题已有百年历史,今天被称为群同构问题。这个问题是计算代数和计算复杂性的基础,并涉及到材料科学、粒子物理和化学等多个领域。这个项目的主要目标是开发更好的方法来测试有限对称群的同构。它支持四所大学的研究人员之间的新的多学科合作,包括学生和职业生涯早期的数学家和计算机科学家。群同构问题需要一个判定两个有限群是否等价的算法。这个问题本身,以及为改进它而设计的技术,都对其他计算问题有影响,包括更著名的图同构和P与NP的问题。我们团队的方法超越了现有的静态递归,例如沿着派生的或更低的中心序列顺序工作。使用一种新的动态策略,我们对问题的最优阶段进行了优先排序,从而提高了后续阶段的性能。为了实现这一点,我们正在研究非结合环、谱序列、模表示理论和p-局部上同调的使用。我们还在检查计算代数中最近开发的数据结构,这些数据结构似乎非常适合我们的方法,并调查几何复杂性理论的应用。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

James Wilson其他文献

An Evaluation of Models of Bentonite Pore Water Evolution
膨润土孔隙水演化模型评价
  • DOI:
    10.1615/jpormedia.v12.i8.10
  • 发表时间:
    2010
  • 期刊:
  • 影响因子:
    2.3
  • 作者:
    D. Savage;R. Arthur;C. Watson;James Wilson
  • 通讯作者:
    James Wilson
Avoiding unrealistic behaviour in coupled reactive-transport simulations of cation exchange and mineral kinetics in clays
避免粘土中阳离子交换和矿物动力学的耦合反应输运模拟中的不切实际行为
  • DOI:
    10.1180/clm.2019.7
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    1.5
  • 作者:
    S. Benbow;James Wilson;R. Metcalfe;Jarmo Lehikoinen
  • 通讯作者:
    Jarmo Lehikoinen
Therapeutic Community Treatment for Personality Disordered Adults: Changes in Neurotic Symptomatology on Follow-Up
人格障碍成人的社区治疗:随访中神经症症状的变化
The use of magnetically-controlled growing rods to treat children with early-onset scoliosis: early radiological results in 19 children.
使用磁控生长棒治疗早发性脊柱侧弯儿童:19 名儿童的早期放射学结果。
  • DOI:
    10.1302/0301-620x.98b9.37545
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    W. Thompson;C. Thakar;D. Rolton;James Wilson;Colin Nnadi
  • 通讯作者:
    Colin Nnadi
Public Value, Maximization and Health Policy: An Examination of Hausman’s Restricted Consequentialism
公共价值、最大化和卫生政策:豪斯曼有限后果主义的检验
  • DOI:
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    James Wilson
  • 通讯作者:
    James Wilson

James Wilson的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('James Wilson', 18)}}的其他基金

The Data Institute Conference
数据研究所会议
  • 批准号:
    2310950
  • 财政年份:
    2023
  • 资助金额:
    $ 13万
  • 项目类别:
    Standard Grant
Collaborative Research: ATD: Rapid Structure Recovery and Outlier Detection in Multidimensional Data
合作研究:ATD:多维数据中的快速结构恢复和异常值检测
  • 批准号:
    2319370
  • 财政年份:
    2023
  • 资助金额:
    $ 13万
  • 项目类别:
    Standard Grant
The Annual Data Institute Conference
年度数据研究所会议
  • 批准号:
    1841307
  • 财政年份:
    2019
  • 资助金额:
    $ 13万
  • 项目类别:
    Standard Grant
Funding for a conference on Groups, Computation, and Geometry, June 9-13, 2014
为 2014 年 6 月 9 日至 13 日举行的群、计算和几何会议提供资助
  • 批准号:
    1406494
  • 财政年份:
    2014
  • 资助金额:
    $ 13万
  • 项目类别:
    Standard Grant
Collaborative Research: Effective Sequential Procedures for Risk and Error Estimation in Steady-state Simulation
协作研究:稳态仿真中风险和误差估计的有效顺序程序
  • 批准号:
    1232998
  • 财政年份:
    2012
  • 资助金额:
    $ 13万
  • 项目类别:
    Standard Grant
RAPID: A Retrospective Oral History of Computer Simulation
RAPID:计算机模拟的回顾性口述历史
  • 批准号:
    1150107
  • 财政年份:
    2011
  • 资助金额:
    $ 13万
  • 项目类别:
    Standard Grant
Collaborative Doctoral 2010 Grant - Liberty and Public Protection in Infectious Disease Policy
2010 年合作博士补助金 - 传染病政策中的自由和公共保护
  • 批准号:
    AH/I505695/1
  • 财政年份:
    2010
  • 资助金额:
    $ 13万
  • 项目类别:
    Training Grant
CNH: Fine-Scale Dynamics of Human Adaptation in Coupled Natural and Social Systems: An Integrated Computational Approach Applied to Three Fisheries
CNH:耦合自然和社会系统中人类适应的精细尺度动力学:应用于三种渔业的综合计算方法
  • 批准号:
    0909449
  • 财政年份:
    2009
  • 资助金额:
    $ 13万
  • 项目类别:
    Standard Grant
International Planning Visit: Linking Physiology and Dispersal to Population Cycles in Norwegian Lemmings; a New Look at the Charnov-Finerty Hypothesis
国际规划访问:将挪威旅鼠的生理学和传播与种群周期联系起来;
  • 批准号:
    0757022
  • 财政年份:
    2008
  • 资助金额:
    $ 13万
  • 项目类别:
    Standard Grant
Fabrication, Operation and Data Analysis of the University of Denver Low Turbulence Inlets on the NCAR C-130 for ACE-Asia
丹佛大学 NCAR C-130 ACE-Asia 低湍流入口的制造、操作和数据分析
  • 批准号:
    0098122
  • 财政年份:
    2001
  • 资助金额:
    $ 13万
  • 项目类别:
    Standard Grant

相似国自然基金

Research on Quantum Field Theory without a Lagrangian Description
  • 批准号:
    24ZR1403900
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
Cell Research
  • 批准号:
    31224802
  • 批准年份:
    2012
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
Cell Research
  • 批准号:
    31024804
  • 批准年份:
    2010
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
Cell Research (细胞研究)
  • 批准号:
    30824808
  • 批准年份:
    2008
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
Research on the Rapid Growth Mechanism of KDP Crystal
  • 批准号:
    10774081
  • 批准年份:
    2007
  • 资助金额:
    45.0 万元
  • 项目类别:
    面上项目

相似海外基金

Collaborative Research: REU Site: Earth and Planetary Science and Astrophysics REU at the American Museum of Natural History in Collaboration with the City University of New York
合作研究:REU 地点:地球与行星科学和天体物理学 REU 与纽约市立大学合作,位于美国自然历史博物馆
  • 批准号:
    2348998
  • 财政年份:
    2025
  • 资助金额:
    $ 13万
  • 项目类别:
    Standard Grant
Collaborative Research: REU Site: Earth and Planetary Science and Astrophysics REU at the American Museum of Natural History in Collaboration with the City University of New York
合作研究:REU 地点:地球与行星科学和天体物理学 REU 与纽约市立大学合作,位于美国自然历史博物馆
  • 批准号:
    2348999
  • 财政年份:
    2025
  • 资助金额:
    $ 13万
  • 项目类别:
    Standard Grant
Collaborative Research: Resolving the LGM ventilation age conundrum: New radiocarbon records from high sedimentation rate sites in the deep western Pacific
合作研究:解决LGM通风年龄难题:西太平洋深部高沉降率地点的新放射性碳记录
  • 批准号:
    2341426
  • 财政年份:
    2024
  • 资助金额:
    $ 13万
  • 项目类别:
    Continuing Grant
Collaborative Research: Resolving the LGM ventilation age conundrum: New radiocarbon records from high sedimentation rate sites in the deep western Pacific
合作研究:解决LGM通风年龄难题:西太平洋深部高沉降率地点的新放射性碳记录
  • 批准号:
    2341424
  • 财政年份:
    2024
  • 资助金额:
    $ 13万
  • 项目类别:
    Continuing Grant
Collaborative Research: New to IUSE: EDU DCL:Diversifying Economics Education through Plug and Play Video Modules with Diverse Role Models, Relevant Research, and Active Learning
协作研究:IUSE 新增功能:EDU DCL:通过具有不同角色模型、相关研究和主动学习的即插即用视频模块实现经济学教育多元化
  • 批准号:
    2315700
  • 财政年份:
    2024
  • 资助金额:
    $ 13万
  • 项目类别:
    Standard Grant
Collaborative Research: AF: Small: New Directions in Algorithmic Replicability
合作研究:AF:小:算法可复制性的新方向
  • 批准号:
    2342244
  • 财政年份:
    2024
  • 资助金额:
    $ 13万
  • 项目类别:
    Standard Grant
Collaborative Research: On New Directions for the Derivation of Wave Kinetic Equations
合作研究:波动力学方程推导的新方向
  • 批准号:
    2306378
  • 财政年份:
    2024
  • 资助金额:
    $ 13万
  • 项目类别:
    Standard Grant
Collaborative Research: New to IUSE: EDU DCL:Diversifying Economics Education through Plug and Play Video Modules with Diverse Role Models, Relevant Research, and Active Learning
协作研究:IUSE 新增功能:EDU DCL:通过具有不同角色模型、相关研究和主动学习的即插即用视频模块实现经济学教育多元化
  • 批准号:
    2315699
  • 财政年份:
    2024
  • 资助金额:
    $ 13万
  • 项目类别:
    Standard Grant
Collaborative Research: Understanding New Labor Relations for the 21st Century
合作研究:理解21世纪的新型劳动关系
  • 批准号:
    2346230
  • 财政年份:
    2024
  • 资助金额:
    $ 13万
  • 项目类别:
    Standard Grant
Collaborative Research: New Regression Models and Methods for Studying Multiple Categorical Responses
合作研究:研究多重分类响应的新回归模型和方法
  • 批准号:
    2415067
  • 财政年份:
    2024
  • 资助金额:
    $ 13万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了