arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2012.07247math.COcs.DM
收藏

复形、图、同伦、乘积与Shannon容量

Complexes, Graphs, Homotopy, Products and Shannon Capacity

Oliver Knill

摘要:

有限抽象单纯复形G定义重心加细图phi(G)=(G,{(a,b),a子集b或b子集a})和连接图psi(G)=(G,{(a,b),a子集b不为空}).我们注意到从复形到图的函子phi和psi在象上都是可逆的(定理1),G,phi(G),psi(G)都有相同的自同构群,并且对应于phi(G)的Stanley-Reisner积和psi(G)的强Shannon积的G的笛卡儿积有乘积自同构群.其次,我们看到,如果G是重心加细,则phi(G)和psi(G)是图同伦的(定理2)。第三,如果gamma是几何实现函子,将其团复形的几何实现赋给复形或图,则gamma(G)和gamma(phi(G))和gamma(psi(G))对于重心精化单纯复形G都是经典同伦的(定理3)。在定理2和定理3中,重心假设是必要的。与复形的笛卡儿积的相容性表现在连通图的强图积上:如果两个图A,A '是同伦的,而B,B'是同伦的,则A. B与A '同伦. B '(定理4)导致同伦类图的交换环。最后,我们注意到(定理5),对于所有的单纯复形G以及乘积G = G_1 × G_2. xG_k,psi(G)的Shannon容量Theta(psi(G))等于G中零维集合的个数m. R ^m中的一个显式Lowasz伞导致Lowasz数theta(G)leq m,因此Theta(psi(G))= theta(psi(G))= m使得Theta与不相交的并加法和强乘法兼容。

英文摘要:

A finite abstract simplicial complex G defines the Barycentric refinement graph phi(G) = (G,{ (a,b), a subset b or b subset a }) and the connection graph psi(G) = (G,{ (a,b), a intersected with b not empty }). We note here that both functors phi and psi from complexes to graphs are invertible on the image (Theorem 1) and that G,phi(G),psi(G) all have the same automorphism group and that the Cartesian product of G corresponding to the Stanley-Reisner product of phi(G) and the strong Shannon product of psi(G), have the product automorphism groups. Second, we see that if G is a Barycentric refinement, then phi(G) and psi(G) are graph homotopic (Theorem 2). Third, if gamma is the geometric realization functor, assigning to a complex or to a graph the geometric realization of its clique complex, then gamma(G) and gamma(phi(G)) and gamma(psi(G)) are all classically homotopic for a Barycentric refined simplicial complex G (Theorem 3). The Barycentric assumption is necessary in Theorem 2 and 3. There is compatibility with Cartesian products of complexes which manifests in the strong graph product of connection graphs: if two graphs A,A' are homotopic and B,B' are homotopic, then A . B is homotopic to A' . B' (Theorem 4) leading to a commutative ring of homotopy classes of graphs. Finally, we note (Theorem 5) that for all simplicial complexes G as well as product G=G_1 x G_2 ... x G_k, the Shannon capacity Theta(psi(G)) of psi(G) is equal to the number m of zero-dimensional sets in G. An explicit Lowasz umbrella in R^m leads to the Lowasz number theta(G) leq m and so Theta(psi(G))=theta(psi(G))=m making Theta compatible with disjoint union addition and strong multiplication.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑