[논문 리뷰] Bialgebraic structures on boolean functions

Loïc Foissy|arXiv (Cornell University)|2026. 01. 20.

Advanced Combinatorial Mathematics인용 수 0

한 줄 요약

Foissy는 boolean 함수에 대한 바이얼gebraic 구조를 연구하고, 두 매개변수의 곱과 코프로덕트를 정의하며, 이중 부울 대수(double bialgebras)를 탐구하고, 강직한 boolean 함수에 대해 chromatic polynomial을 일반화하는 고유의 다항식 불변량을 구성한다.

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.

연구 동기 및 목표

• finite 집합의 boolean 함수에 바이얼gebraic 구조를 부여하는 방법을 동기 부여하고 형식화한다.
• Bool에 대한 두 매개변수 가족의 곱과 제한 코프로덕트를 정의하여 twisted bialgebras를 형성한다.
• 모든 boolean 함수에 대한 contraction 기반 코프로덕트를 포함한 obstructions를 식별하고, 전체 이중 바이얼 대수의 가능성을 탐구한다.
• 두 번째 코프로덕트가 존재하는 편리한 하위 종(subspecies)을 도입한다(특히 rigid 및 hyper-rigid).
• 이중 바이얼 대수 준동형체를 통해 고유한 다항식 불변량을 도출하여 hypergraph 및 matroid의 랭크 함수에 대한 chromatic polynomial을 일반화한다.

제안 방법

• Bool(X) 및 Bool(Y)에서 두 매개변수 곱 star_{q1,q2}를 도입하고 bosonic Fock functor를 통해 이를 bialgebra로 확장한다.
• (q1,q2)-불가분(boolean) 함수들을 특징짓고 분해를 통해 indecomposable으로 분해한다.
• 제한 코프로덕트를 Δ로 정의하고 등가관계에 기초한 contraction-restriction 코프로덕트 delta^{E}를 조사하며 적합성 조건(Propositions 3.7, 3.9, 3.11)을 확립한다.
• 약한 동치 E^{W}와 강한 동치 E^{S}를 분석하고 결과 delta^{W}와 delta^{S}가 서로 보완적이지만 불완전한 적합성을 가진다고 보인다.
• 편리한 하위 종 Bool_max를 식별하고 rigid/hyper-rigid boolean 함수를 정의하여 이를 hypergraph 및 matroid와 연관시킨다.
• Bool_max(및 Bool_cou)에서 K[T]로의 이중 바이얼 대수 준동형체 Φ를 구성하여 조합적 불변량을 얻는다.

실험 결과

연구 질문

• RQ1 contraction 기반의 코프로덕트를 사용하여 boolean 함수에 이중 바이얼 대수 구조를 부여할 수 있는가?
• RQ2 현재 곱과 코프로덕트와 contraction-restriction 코프로덕트 간의 적합성 제약은 무엇인가?
• RQ3 두 번째 코프로덕트를 허용하는 boolean 함수의 어떤 하위 종들이 이중 바이얼 대수를 생성하는가?
• RQ4 Φ 불변량이 hypergraph 및 matroid 경우의 고전 다항식(예: chromatic polynomial)을 어떻게 포착하는가?
• RQ5 이 프레임워크에서 rigid boolean 함수와 hypergraph 및 matroid와 같은 표준 조합 객체 간의 관계는 무엇인가?

주요 결과

• 약한 코프로덕트 delta^{W}는 곱 및 Delta와 호환되지만 공역(coassociative)되지 않고 완전한 counit이 없다.
• 강한 코프로덕트 delta^{S}는 공연속적(coassociative)이고 counitary하며 곱과 호환되지만 Delta와는 호환되지 않는다.
• 모든 boolean 함수에 대해 전체 이중 바이얼 대수를 생성하는 단일 동치관계 군은 존재하지 않아 편리한 하위 종의 구성이 필요하다.
• Bool_max(및 그 촘촘한 세분화)는 이중 바이얼 대수 구조를 허용하는 최대의 편리한 하위 종이며, rigid boolean 함수는 다루기 쉬운 부분집합이다.
• Hypergraph와 matroid의 랭크 함수는 rigid boolean 함수를 생성하며, Hypergraph 또는 matroid에서 Bool로의 주입된 twisted bialgebra 준동형체를 가능하게 하여 Φ 불변량을 가능하게 한다.
• Φ 불변량은 K[T]로의 고유한 이중 바이얼 대수 준동형이며, Φ(f)(n)은 모듈러 제약 하의 채색 수를 세고 hypergraph에 대한 chromatic polynomial을 회복한다.