Algebraic Methods in Combinatorics and Finite Geometry

组合学和有限几何中的代数方法

• 批准号: 1600850
• 负责人: Qing Xiang
• 金额: $ 21万
• 依托单位: University of Delaware
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-07-01 至 2019-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1600850&HistoricalAwards=false
• 关键词: Algebraic; Methods; Combinatorics; Finite; Geometry

The project's focus is on algebraic methods in combinatorics and finite geometry. Combinatorics is a fast-growing area of mathematics. It has a wealth of computational, scientific, and engineering applications, ranging from algorithm analysis to human genome sequencing to cellular phone technology. In combinatorics one considers discrete (as opposed to continuous) structures such as graphs, hypergraphs, designs, matroids, and finite geometries. One central task of this research project is to prove existential, enumerative, and constructive results concerning these structures.This research project is centered on algebraic invariants of various matrices arising in combinatorics and finite geometry. Typical matrices considered are incidence matrices of designs and finite geometries, higher inclusion matrices of set systems, and adjacency or Laplacian matrices of graphs. The invariants under investigation include modular ranks, spectrum, and Smith normal forms. The investigator intends to pursue several research directions. One direction is to apply these invariants to solve existential problems in design theory, extremal combinatorics, and finite geometry. Another direction is to use algebraic invariants for the purpose of distinguishing non-isomorphic combinatorial structures with the same parameters.

该项目的重点是组合学和有限几何中的代数方法。组合数学是一个快速发展的数学领域。它具有丰富的计算，科学和工程应用，从算法分析到人类基因组测序到蜂窝电话技术。在组合学中，人们考虑离散（与连续相反）结构，如图、超图、设计、拟阵和有限几何。本研究项目的一个中心任务是证明关于这些结构的存在性、枚举性和构造性结果。本研究项目的中心是组合数学和有限几何中出现的各种矩阵的代数不变量。考虑的典型矩阵是设计和有限几何的关联矩阵，集合系统的高阶包含矩阵，以及图的邻接矩阵或拉普拉斯矩阵。研究中的不变量包括模秩、谱和Smith标准形。研究人员打算从事几个研究方向。一个方向是应用这些不变量来解决设计理论、极值组合学和有限几何中的存在性问题。另一个方向是使用代数不变量来区分具有相同参数的非同构组合结构。