Journal of the Operations Research Society of China ›› 2023, Vol. 11 ›› Issue (4): 875-889.doi: 10.1007/s40305-022-00408-6

Previous Articles     Next Articles

Approximation of the Shannon Capacity Via Matrix Cone Programming

Shi-Tong Wu1,2, Zhen-Nan Zhou3, Zhong-Yi Huang1, Bo Bai2   

  1. 1. Department of Mathematical Sciences, Tsinghua University, Beijing, 100084, China;
    2. Theory Lab, Central Research Institute, 2012 Labs, Huawei Technologies Co., Ltd., Hong Kong, China;
    3. Beijing International Center for Mathematical Research, Peking University, Beijing, 100871, China
  • Received:2021-02-04 Revised:2022-02-18 Online:2023-12-30 Published:2023-12-26
  • Contact: Zhen-Nan Zhou, Shi-Tong Wu, Zhong-Yi Huang, Bo Bai E-mail:zhennan@bicmr.pku.edu.cn;wust20@mails.tsinghua.edu.cn;zhongyih@tsinghua.edu.cn;ee.bobbai@gmail.com
  • Supported by:
    This work was supported by the National Natural Science Foundation of China (Nos. 11871297, 11871298, 12025104 and 12031013) and the Tsinghua University Initiative Scientific Research Program. Zhen-Nan Zhou was also partially supported by the National Key R&D Program of China (No. 2020YFA0712000).

Abstract: This paper proposes a novel formulation using the matrix cone programming to compute an upper bound of the Shannon capacity of graphs, which is theoretically superior to the Lovász number. To achieve this, a sequence of matrix cones is constructed by adding certain co-positive matrices to the positive semi-definite matrix cones during the matrix cone programming. We require the sequence of matrix cones to have the weak product property so that the improved result of the matrix cone programming remains an upper bound of the Shannon capacity. Our result shows that the existence of a sequence of suitable matrix cones with the weak product property is equivalent to the existence of a co-positive matrix with testable conditions. Finally, we give some concrete examples with special structures to verify the existence of the matrix cone sequence.

Key words: Shannon capacity, Lovász number, Matrix cone programming, Weak product property

CLC Number: