[论文解读] Bialgebraic structures on boolean functions

Loïc Foissy|arXiv (Cornell University)|Jan 20, 2026

Advanced Combinatorial Mathematics被引用 0

一句话总结

Foissy 研究布尔函数上的双代数结构，定义两参数乘积和共积，探索双重双代数，并在刚性布尔函数上构造唯一的多项式不变量，推广着色多项式。

ABSTRACT

We study several bialgebraic structures on boolean functions, that is to say maps defined on the set of subsets of a finite set $X$, taking the value $0$ on $\emptyset$. Examples of boolean functions are given by the indicator function of the hyperedges of a given hypergraph, or the rank function of a matroid. We give the species of boolean functions a two-parameters family of products and a coproduct, and this defines a two-parameters family of twisted bialgebras. We then try to define a second coproduct on boolean functions, based on contractions, in order to obtain a double bialgebra. We show that this is not possible on the whole species of boolean functions, but that there exists a maximal subspecies where this is possible. This subspecies being rather mysterious, we introduce rigid boolean functions and show that this subspecies has indeed a second coproduct, as wished, and that it contains rank functions of matroids and indicator functions associated to hypergraphs. As a consequence, we obtain a unique polynomial invariant on rigid boolean functions, which is a generalization of the chromatic polynomial of graphs.

研究动机与目标

• 激励并形式化有限集上的布尔函数如何被赋予双代数结构的思路和方法。
• 定义一个两参数族的乘积以及一个限制共积，以在 Bool 上形成扭曲的双代数。
• 研究基于收缩的共积并识别在所有布尔函数上构成完整的双重双代数的阻碍。
• 引入方便的子物种（特别是刚性和超刚性），其中存在第二个共积。
• 通过双代态同态导出唯一的多项式不变量，推广超图和线性独立性（秩）函数的着色多项式。

提出的方法

• 在 Bool(X) 与 Bool(Y) 上引入两参数乘积 star_{q1,q2}，并通过玻色子 Fock 函子将其扩展为双代数。
• 刻画 (q1,q2)-不可约布尔函数并给出对不可约分解的分解。
• 定义限制共积 Δ，并基于等价关系研究收缩-限制共积 delta^{E}，建立相容性条件（命题 3.7、3.9、3.11）。
• 分析弱等价 E^{W} 与强等价 E^{S}，并显示得到的 delta^{W} 与 delta^{S 具有互补但不完全的相容性。
• 识别方便的子物种 Bool_max 并定义刚性/超刚性布尔函数，将它们与超图和 matroid 联系起来。
• 从 Bool_max（以及 Bool_cou）到 K[T] 构造一个双代数态射 Φ，产生组合不变量。

实验结果

研究问题

• RQ1 布尔函数能否使用基于收缩的共积来赋予双代数结构？
• RQ2 收缩-限制共积与现有乘积与共积之间存在哪些相容性约束？
• RQ3 哪些布尔函数的子物种允许存在第二个共积，从而产生双代数？
• RQ4 不变量 Φ 如何在超图和 matroid 情况下捕获经典多项式（如着色多项式）？
• RQ5 在该框架下，刚性布尔函数与超图、matroid 等标准组合对象之间有什么关系？

主要发现

• 弱共积 delta^{W} 与乘积及 Delta 兼容，但它不是共结合的，且缺乏完整的陪伴元（ counit ）。
• 强共积 delta^{S} 具有共结合性和陪伴性并与乘积相容，但与 Delta 不相容。
• 不存在能在所有布尔函数上得到完整双代数的一族单一等价关系，因而需要构造方便的子物种。
• Bool_max（及其严格细化版本）构成具有双代数结构的最大方便子物种；刚性布尔函数构成一个可处理的子族。
• 超图与 matroid 的秩函数生成刚性布尔函数，给出从超图或 matroid 到 Bool 的注入的扭曲双代数态射，从而实现不变量 Φ。
• 不变量 Φ 是到 K[T] 的唯一双代数态射，Φ(f)(n) 计数具有模限制的着色数，重新得到超图的着色多项式。