human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "When does the K4-free process stop?"):
  Abstract: The K4-free process starts with the empty graph on n vertices and at each step adds a new edge chosen uniformly at random from all remaining edges that do not complete a copy of K4. Let G be the random maximal K4-free graph obtained at the end of the process. We show that for some positive constant C, with high probability as , the maximum degree in G is at most . This resolves a conjecture of Bohman and Keevash for the K4-free process and improves on previous bounds obtained by Bollobas and Riordan and by Osthus and Taraz. Combined with results of Bohman and Keevash this shows that with high probability G has edges and is ‘nearly regular’, i.e., every vertex has degree . This answers a question of Erdős, Suen and Winkler for the K4-free process. We furthermore deduce an additional structural property: we show that whp the independence number of G is at least , which matches an upper bound obtained by Bohman up to a factor of . Our analysis of the K4-free process also yields a new result in Ramsey theory: for a special case of a well-studied function introduced by Erdős and Rogers we slightly improve the best known upper bound.Copyright © 2012 Wiley Periodicals, Inc. Random Struct. Alg., 44, 355-397, 2014

Includes members:
  Member "Dense subgraphs in the H-free process":
    also connected through other hyperedges:
      (none)

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Mathematics