[論文レビュー] Bialgebraic structures on boolean functions

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

Advanced Combinatorial Mathematics被引用数 0

ひとこと要約

Foissy はブール関数上のビアルジェブラ的構造を研究し、二つのパラメータを持つ積と余積を定義し、二重ビアルgebras を探り、剛性ブール関数上の一意の多項式不変量を構築して、 chromatic polynomial を generalize する。

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 上で二パラメータ系の積と制限余積を定義して Twisted bialgebras を形成する。
• contraction に基づく余積を調べ、すべてのブール関数上で完全な二重ビアルを妨げる障害を特定する。
• 第二の余積が存在する便利な亜種（特に rigid および hyper-rigid）を導入し、これを用いた相補的性質を明らかにする。
• 二重ビアルgebra準同形写像を介して一意の多項式不変量を導出し、 hypergraph および matroid のランク関数に対して chromatic polynomial を一般化する。

提案手法

• Bool(X) および Bool(Y) 上の二パラメータ積 star_{q1,q2} を導入し、 bosonic Fock functor によってビアルベ olarak 拡張する。
• (q1,q2)-不分解ブール関数を特徴づけ、不可分成分への分解を与える。
• 制限余積 Δ を定義し、等価関係に基づく contraction-restriction 余積 delta^{E} を調べ、適合性条件を確立する（命題 3.7, 3.9, 3.11）。
• 弱い同値 E^{W} および 強い同値 E^{S} を分析し、それに対応する delta^{W} および delta^{S} が互補的だが完全に適合していないことを示す。
• 便利な亜種 Bool_max を特定し、rigid/ hyper-rigid ブール関数を定義して、それらを hypergraph および matroid と関連づける。
• Bool_max (および Bool_cou) から K[T] への二重ビアルgebra 準同形写像 Φ を構築し、組合せ的不変量を得る。

実験結果

リサーチクエスチョン

• RQ1 contraction-based coproducts を用いてブール関数に二重ビアルベ構造を与えられるか？
• RQ2 contraction-restriction coproducts の既存の積と coproducts との適合条件は何か？
• RQ3 どのブール関数の亜種が第二の coproduct を認め、二重ビアルgebra を生じるか？
• RQ4 Φ によって不変量がどのように古典的多項式（例：hypergraph の chromatic polynomial）を捉えるか？
• RQ5 rigid なブール関数と hypergraph や matroid の標準的組合的対象との関係はこの枠組みでどうなるか？

主な発見

• 弱い余積 delta^{W} は積および Delta とは適合するが共同化性(coassociativity) がなく、全体的な counit を欠く。
• 強い余積 delta^{S} は共連想性および counitary を満たし、積とは適合するが Delta とは適合しない。
• 全ブール関数上で完全な二重ビアルを生じる同値関係の単一ファミリは存在せず、便利な亜種の構築を動機づける。
• Bool_max（およびその厳密な精練形）は二重ビアルgebra 構造を認める最大の便利な亜種を成す。 rigid ブール関数は取り扱いやすい部分集合である。
• hypergraph および matroid の rank 関数は rigid ブール関数を生み、Hypergraph または Matroid から Bool への射影的な twisted bialgebra 準同形を与え、 Φ を可能にする。
• 不変量 Φ は K[T] への唯一の二重ビアルgebra 準同形であり、Φ(f)(n) はモジュラ制限付きカラーリングを数え、hypergraph の chromatic polynomial を回復する。