Counting Cycles with AI: Counting Cycles with AI: Computationally Efficient Equivalent Forms with Applications
Not on the map. Why?
Abstract (arXiv)
Cycle count statistics are fundamental tools in statistics and engineering, with applications in motif counting, channel coding, and statistical inference of network and matrix data. However, how to compute high-order cycle count statistics efficiently is still an open problem. In this paper, we aim to derive Computationally Efficient Equivalent Forms (CEEF) for cycle count statistics of any given order, where we express each cycle count statistic equivalently as a linear combination of finitely many terms. Using the CEEF, we provide a much more efficient way to compute the cycle count statistics. The CEEF problem has no known general solution and requires delicate combinatorial arguments together with extensive calculations. While this task is hard to accomplish by humans alone, it provides an ideal setting in which Artificial Intelligence (AI) can be useful. We solve the problem by combining several theorems we derive with powerful coding skills of modern AI systems. Our results leverage graph-theoretic arguments and yield new formulas for general cases that were previously unknown. We find that, although AI cannot solve the problem independently, it becomes highly effective when guided by humans through theorems we derive as well as a clear derivation strategy, step-by-step instructions, and carefully-written prompts. We consider several statistical applications, including spiked matrix testing, estimation of weak spike eigenvalues, and pairwise network comparison. For each problem, we demonstrate that optimal statistical performance is achieved by using high-order cycle count statistics, and our CEEF formulas make their computation feasible on large-scale data sets.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Builds on 21 of its 53 references that are in the map. First posted on arXiv 23 May 2025.
Builds on
21 of 53 references.
References · 21
- 2020Language Models are Few-Shot Learnerscited by 32,419
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
- 2023SWE-bench: Can Language Models Resolve Real-World GitHub Issues?cited by 3,373
- 2023A Survey on Large Language Model based Autonomous Agentscited by 2,242
- 2023ChemCrow: Augmenting large-language models with chemistry toolscited by 631
- 2022HyperTree Proof Search for Neural Theorem Provingcited by 197
- 2018Nonconvex Optimization Meets Low-Rank Matrix Factorization: An Overviewcited by 160
- 2023Artificial Intelligence for Science in Quantum, Atomistic, and Continuum Systemscited by 121
- 2021A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Levelcited by 96
- 2025Agentic AI for Scientific Discovery: A Survey of Progress, Challenges, and Future Directionscited by 77
- 2018Optimality and Sub-optimality of PCA I: Spiked Random Matrix Modelscited by 33
- 2024Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformerscited by 29
9 more
- 2014Testing for high-dimensional geometry in random graphscited by 25
- 2021Testing network correlation efficiently via counting treescited by 22
- 2017Optimal hypothesis testing for stochastic block models with growing degreescited by 13
- 2017Two-sample Hypothesis Testing for Inhomogeneous Random Graphscited by 13
- 2025Token-Hungry, Yet Precise: DeepSeek R1 Highlights the Need for Multi-Step Reasoning Over Speed in MATHcited by 10
- 2020Tackling small eigen-gaps: Fine-grained eigenvector estimation and inference under heteroscedastic noisecited by 9
- 2019Optimal Adaptivity of Signed-Polygon Statistics for Network Testingcited by 8
- 2023Efficient Algorithms for Attributed Graph Alignment with Vanishing Edge Correlationcited by 1
- 2024Optimal Network Pairwise Comparisoncited by 1
Built on by
Citing papers per year: 2025: 1.
1 paper.