拓扑动机：配丛与 Klein 瓶
平衡积的原型来自纤维丛理论：给定主丛 （群 H 自由作用于 X）与左 H-空间 Y，配丛（associated bundle）是轨道商
注意 H 在两个因子上一右一左、方向相反——“平衡”之名由此而来。最简单的例子：， 在 X 上作用为半圈旋转、在 Y 上为对径映射，则 是 Klein 瓶——一个非平凡的纤维丛，两个平凡的圆经群作用商出了扭转Breuckmann & Eberhardt 2020 (IEEE-IT)。码构造即把这个图像离散化（图上群作用）再线性化（向量空间上群作用）。
商图、转换映射与纤维丛码的统一
设有限群 H 自由作用于图 X（无边连接 与 ）。商图 的顶点与边是 H-轨道；选定每条轨道的代表元 得到平凡化，此时每条商图的边携带一个转换映射（transition map）——记录这条边在提升回 X 时”转了多少群元素”。这正是 Hastings 纤维丛码中 twist/connection 的来源：平衡积 = 纤维丛码的对称化重构——纤维丛码把 twist 当作自由参数逐边指定，平衡积则要求 X 本身带 H 对称性、twist 由对称性自动给出，从而可以把”大而对称”的码商小。
链复形层面的定义
设链复形 C、D 带相容的右/左 H 作用（作用与微分交换）。向量空间层面，平衡积是张量积对反对角作用的商：
基向量是轨道 ，微分继承 。逐 分次得到平衡积双复形 ，取总复形（total complex）得 3 项链复形——按”链复形即量子码”的词典（见qldpc-overview）就是一个 CSS 码Breuckmann & Eberhardt 2020 (IEEE-IT)。
这个定义自然容纳整个家族：
- H 平凡：退化为张量积，即超图积；
- H 阿贝尔且作用自由：商掉对角作用等价于提升积（lifted product）——LP 是平衡积的特例（见lifted-product）；
- C 取 2 项复形（经典码）+ 阿贝尔 H：重新得到纤维丛码。
Künneth 公式与码率
当 H 为奇数阶时，同调按直和分解（Künneth 公式）：
这是平衡积码码率的计算工具： 等于各因子同调的平衡积维数之和——类比张量积码维数的乘法公式，但每个乘法要在群轨道上”打折”。
主定理与应用
取 LPS Ramanujan 图（ 的 Cayley 图，或由双曲几何 镶嵌派生的图族）上的扩张码——这些码自带大循环对称群——与循环重复码（fiber）做平衡积，调参后得到显式、无条件的码族：
距离证明适配自 Panteleev–Kalachev 的提升积距离定理Breuckmann & Eberhardt 2020 (IEEE-IT)。对比同期的概率性结果：Hastings 纤维丛码 、（whp），提升积折中族 、——平衡积在”显式且无条件”这一栏领先，代价是指数略保守。
好码猜想与 2BGA 后裔
Breuckmann–Eberhardt 在文中明确提出猜想：非阿贝尔群上带 twist 的平衡积可产生渐近好码。这个猜想在 2021 年被 Panteleev–Kalachev 的非阿贝尔提升积构造基本证实Panteleev & Kalachev 2021 (STOC)（见good-quantum-codes）。平衡积的另一个后裔同样重要：其”两个群环块矩阵”的特例形态称为两块群代数码（two-block group-algebra，2BGA）——2023 年 IBM 的双变量自行车码正是 2BGA 在阿贝尔群 上的实例。谱系：MacKay 自行车码 → 广义自行车码（GB）→ 2BGA → BB 码，每一层都是平衡积框架的具体化。