The Ramanujan Library -- Automated Discovery on the Hypergraph of Integer Relations

• URL: http://arxiv.org/abs/2412.12361v2
• Date: Sun, 19 Jan 2025 10:51:22 GMT
• Title: The Ramanujan Library -- Automated Discovery on the Hypergraph of Integer Relations
• Authors: Itay Beit-Halachmi, Ido Kaminer,
• Abstract summary: We present the first library dedicated to mathematical constants and their interrelations. The library is based on a new representation that we propose for organizing the formulas of mathematical constants. During its development and testing, our strategy led to the discovery of 75 previously unknown connections between constants.
• Score: 0.0
• License:
• Abstract: Fundamental mathematical constants appear in nearly every field of science, from physics to biology. Formulas that connect different constants often bring great insight by hinting at connections between previously disparate fields. Discoveries of such relations, however, have remained scarce events, relying on sporadic strokes of creativity by human mathematicians. Recent developments of algorithms for automated conjecture generation have accelerated the discovery of formulas for specific constants. Yet, the discovery of connections between constants has not been addressed. In this paper, we present the first library dedicated to mathematical constants and their interrelations. This library can serve as a central repository of knowledge for scientists from different areas, and as a collaborative platform for development of new algorithms. The library is based on a new representation that we propose for organizing the formulas of mathematical constants: a hypergraph, with each node representing a constant and each edge representing a formula. Using this representation, we propose and demonstrate a systematic approach for automatically enriching this library using PSLQ, an integer relation algorithm based on QR decomposition and lattice construction. During its development and testing, our strategy led to the discovery of 75 previously unknown connections between constants, including a new formula for the `first continued fraction' constant $C_1$, novel formulas for natural logarithms, and new formulas connecting $\pi$ and $e$. The latter formulas generalize a century-old relation between $\pi$ and $e$ by Ramanujan, which until now was considered a singular formula and is now found to be part of a broader mathematical structure. The code supporting this library is a public, open-source API that can serve researchers in experimental mathematics and other fields of science.

Related papers

• Knowledge-aware equation discovery with automated background knowledge extraction [50.79602839359522]
  We describe an algorithm that allows the discovery of unknown equations using automatically or manually extracted background knowledge. In this way, we mimic expertly chosen terms while preserving the possibility of obtaining any equation form. The paper shows that the extraction and use of knowledge allows it to outperform the SINDy algorithm in terms of search stability and robustness.
  arXiv  Detail & Related papers  (2024-12-31T13:51:31Z)
• Unsupervised Discovery of Formulas for Mathematical Constants [0.0]
  We propose a systematic methodology for categorization, characterization, and pattern identification of such formulas. Key to our methodology is introducing metrics based on the convergence dynamics of the formulas, rather than on the numerical value of the formula. We test our methodology on a set of 1,768,900 such formulas, identifying many known formulas for mathematical constants, and discover previously unknown formulas for $pi$, $ln(2)$, Gauss', and Lemniscate's constants.
  arXiv  Detail & Related papers  (2024-12-22T01:43:56Z)
• Automated Discovery of Integral with Deep Learning [0.0]
  We show that deep learning models can approach the task of inferring integrals either through a sequence-to-sequence model, or by uncovering the rudimentary principles of integration. Our experiments show that deep learning models can approach the task of inferring integrals either through a sequence-to-sequence model, or by uncovering the rudimentary principles of integration.
  arXiv  Detail & Related papers  (2024-02-28T04:34:15Z)
• Algorithm-assisted discovery of an intrinsic order among mathematical constants [3.7689882895317037]
  We develop a computer algorithm that discovers an unprecedented number of continued fraction formulas for fundamental mathematical constants. The sheer number of formulas unveils a novel mathematical structure that we call the conservative matrix field. Such matrix fields unify thousands of existing formulas, generate infinitely many new formulas, and lead to unexpected relations between different mathematical constants.
  arXiv  Detail & Related papers  (2023-08-22T23:27:47Z)
• Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences [0.0]
  Formulas involving fundamental mathematical constants had a great impact on various fields of science and mathematics. Recent efforts to automate the discovery of formulas for mathematical constants, such as the Ramanujan Machine project, relied on exhaustive search. Here we propose a fundamentally different method to search for conjectures on mathematical constants: through analysis of integer sequences.
  arXiv  Detail & Related papers  (2022-12-13T18:01:21Z)
• Bayesian Learning to Discover Mathematical Operations in Governing Equations of Dynamic Systems [3.1544304017740634]
  This work presents a new representation for governing equations by designing the Mathematical Operation Network (MathONet) with a deep neural network-like hierarchical structure. An MathONet is typically regarded as a super-graph with a redundant structure, a sub-graph of which can yield the governing equation.
  arXiv  Detail & Related papers  (2022-06-01T10:31:14Z)
• Finding Geometric Models by Clustering in the Consensus Space [61.65661010039768]
  We propose a new algorithm for finding an unknown number of geometric models, e.g., homographies. We present a number of applications where the use of multiple geometric models improves accuracy. These include pose estimation from multiple generalized homographies; trajectory estimation of fast-moving objects.
  arXiv  Detail & Related papers  (2021-03-25T14:35:07Z)
• Bayesian Quadrature on Riemannian Data Manifolds [79.71142807798284]
  A principled way to model nonlinear geometric structure inherent in data is provided. However, these operations are typically computationally demanding. In particular, we focus on Bayesian quadrature (BQ) to numerically compute integrals over normal laws. We show that by leveraging both prior knowledge and an active exploration scheme, BQ significantly reduces the number of required evaluations.
  arXiv  Detail & Related papers  (2021-02-12T17:38:04Z)
• Fourier Neural Operator for Parametric Partial Differential Equations [57.90284928158383]
  We formulate a new neural operator by parameterizing the integral kernel directly in Fourier space. We perform experiments on Burgers' equation, Darcy flow, and Navier-Stokes equation. It is up to three orders of magnitude faster compared to traditional PDE solvers.
  arXiv  Detail & Related papers  (2020-10-18T00:34:21Z)
• Connecting the Dots: Multivariate Time Series Forecasting with Graph Neural Networks [91.65637773358347]
  We propose a general graph neural network framework designed specifically for multivariate time series data. Our approach automatically extracts the uni-directed relations among variables through a graph learning module. Our proposed model outperforms the state-of-the-art baseline methods on 3 of 4 benchmark datasets.
  arXiv  Detail & Related papers  (2020-05-24T04:02:18Z)
• The data-driven physical-based equations discovery using evolutionary approach [77.34726150561087]
  We describe the algorithm for the mathematical equations discovery from the given observations data. The algorithm combines genetic programming with the sparse regression. It could be used for governing analytical equation discovery as well as for partial differential equations (PDE) discovery.
  arXiv  Detail & Related papers  (2020-04-03T17:21:57Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.