Log-concave Inequalities in Combinatorics and Order Theory

这个项目的重点是基本的数学现象，这些现象是由于物体的底层结构而出现的，而这些结构往往很难辨别。单峰性是这种现象的一个显著例子，其特征在于统计分布中存在单个最大值或模式。这种现象已经在各种物体中观察到，包括学生的年级分布和特定地点的地震频率。该项目旨在分析这种现象出现的确切机制，使用基于组合学，概率和顺序理论的最新进展和技术的方法。PI将指导学生作为这个项目的一部分。更技术性地说，该项目涉及组合对象中的对数凹不等式和相关不等式及其与底层组合结构的连接。近年来，这一领域取得了重大进展，特别是在拟阵理论中的Heron-Rota-Welsh猜想和Mason猜想的解决方案是最突出的进展例子。该项目旨在探索这些不平等的组合性质，通过开发纯粹的组合工具来推广和加强它们，以匹配它们的平等条件。在序理论方面，该项目试图利用这些新的见解来建立对数凹和相关不等式，这些不等式在历史上是导出序理论中最著名的1/3-2/3猜想的关键因素。所采用的工具包括这些领域的经典工具的组合，如概率中的FKG型不等式和几何中的混合体积不等式，沿着一些新的工具，如洛伦兹多项式和组合图集方法。该奖项反映了NSF的法定使命，并被认为是值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估的支持。

This project focuses on the fundamental mathematical phenomena that emerge as a result of the underlying structure of objects that are often difficult to discern. Unimodality is a remarkable example of such a phenomenon, which is characterized by the presence of a single maximum or mode in a statistical distribution. This phenomenon has been observed in various objects, including student grade distributions and the frequency of earthquakes at a specific location. The project aims to analyze the precise mechanism of the emergence of such phenomena using approaches based on recent advances and techniques in combinatorics, probability, and order theory. The PI will mentor students as part of this project.More technically, the project deals with log-concave inequalities and correlation inequalities in combinatorial objects and their connections to the underlying combinatorial structure. Significant advancements have been made in this field in recent years, particularly with the solutions to the Heron-Rota-Welsh Conjecture and Mason's Conjecture in matroid theory being the most prominent examples of progress. The project aims to explore the combinatorial nature of these inequalities by developing purely combinatorial tools to generalize and strengthen them to match their equality conditions. On the order theory side, the project seeks to use these new insights to establish log-concave and correlation inequalities, which historically were crucial elements in deriving the best-known bound to the 1/3-2/3 Conjecture in order theory. The employed tools include a combination of classical tools from these fields, such as FKG-type inequalities in probability and mixed volume inequalities in geometry, along with some new tools such as Lorentzian polynomials and the combinatorial atlas method.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.