human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "on the bit complexity of sum of squares proofs"
  Abstract: It has often been claimed in recent papers that one can find a degree d Sum-of-Squares proof if one exists via the Ellipsoid algorithm. In [O17], Ryan O'Donnell notes this widely quoted claim is not necessarily true. He presents an example of a polynomial system with bounded coeffcients that admits low-degree proofs of non-negativity, but these proofs necessarily involve numbers with an exponential number of bits, causing the Ellipsoid algorithm to take exponential time. In this paper we obtain both positive and negative results on the bit complexity of SoS proofs. First, we propose a suffcient condition on a polynomial system that implies a bound on the coefficients in an SoS proof. We demonstrate that this sufficient condition is applicable for common use-cases of the SoS algorithm, such as Max-CSP, Balanced Separator, Max- Clique, Max-Bisection, and Unit-Vector constraints. On the negative side, O'Donnell asked whether every polynomial system containing Boolean constraints admits proofs of polynomial bit complexity. We answer this question in the negative, giving a counterexample system and non-negative polynomial which has degree two SoS proofs, but no SoS proof with small coefficients until degree Omega(sqrt(n))

Connected through hyperedge HE-1 (induced by source paper "new dependencies of hierarchies in polynomial optimization"):
  with members:
    - "optimization over the boolean hypercube via sums of nonnegative circuit polynomials"
    - "exact tensor completion with sum of squares"
    - "fast and robust tensor decomposition with applications to dictionary learning"
    - "the power of sherali adams relaxations for general valued csps"
    - "a 1 epsilon approximation for makespan scheduling with precedence constraints using lp hierarchies"
    - "noisy tensor completion via the sum of squares hierarchy"
    - "fast spectral algorithms from sum of squares proofs tensor decomposition and planted sparse vectors"
    - "lower bounds on the size of semidefinite programming relaxations"

Connected through hyperedge HE-2 (induced by source paper "optimization over the boolean hypercube via sums of nonnegative circuit polynomials"):
  with members:
    - "a nearly tight sum of squares lower bound for the planted clique problem"
    - "on the hardest problem formulations for the 0 1 lasserre hierarchy"
    - "sum of squares lower bounds for planted clique"
    - "lower bounds on the size of semidefinite programming relaxations"
    - "sum of squares hierarchy lower bounds for symmetric formulations"
    - "sum of squares proofs and the quest toward optimal algorithms"
    - "approximating csps with global cardinality constraints using sdp hierarchies"

Connected through hyperedge HE-3 (induced by source paper "mixture models robustness and sum of squares proofs"):
  with members:
    - "thresholding based efficient outlier robust pca"
    - "learning geometric concepts with nasty noise"
    - "outlier robust moment estimation via sum of squares"
    - "being robust in high dimensions can be practical"
    - "exact tensor completion with sum of squares"
    - "better agnostic clustering via relaxed tensor norms"
    - "robustly learning a gaussian getting optimal error efficiently"
    - "the power of sum of squares for detecting hidden structures"

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.CC(Computational Complexity)