Provable Training for Graph Contrastive Learning Yue Y u