Voronov 瑞士奶酪 operad 的非形式性

瑞士奶酪 operad 编码了小 $n$-立方体 operad 上的代数对小 $(n-1)$-立方体 operad 上的代数的作用，其有多种变体。我们证明了其中开放运算必须至少有一个开放输入的变体在特征零域上非形式(formal)。这比 Livernet 和 Willwacher 的早期结果略强。我们所发现的非形式性阻碍位于 arity $(2, 2^n)$，而非 $(2, 0)$(Livernet)或 $(4, 0)$(Willwacher)。