Abstract:We present a detailed analysis of how to implement the computation of modular symbols for a given elliptic curve by using numerical approximations. This method turns out to be more efficient than current implementation as the conductor of the curve increases.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to efficiently calculate the modular symbols of a given elliptic curve \(E/\mathbb{Q}\). As the conductor \(N\) of the elliptic curve increases, the existing implementation methods become inefficient. The author proposes a new algorithm based on numerical approximation, aiming to improve the computational efficiency, especially when dealing with elliptic curves with large conductors.
Specifically, the main contributions of the paper include:
1. **Avoiding full - space computation**: Existing methods determine the modular symbol space related to the elliptic curve \(E\) under rational coefficients through linear algebra, while the new method focuses on directly and efficiently calculating a single modular symbol, avoiding dealing with the full space that grows linearly with \(N\).
2. **Utilizing numerical approximation**: Based on Goldfeld's work, the author uses the method of numerically approximating path integrals to calculate modular symbols. In particular, they use the Atkin - Lehner involution to move the integration path from a place close to the real axis to an area where it is easier to converge.
3. **Strict boundaries and theoretical support**: The author provides strict theoretical boundaries and shows how to return exact rational results through some theoretical knowledge (such as possible denominators).
4. **Extension to non - semistable elliptic curves**: The paper explains how to apply this method to non - semistable elliptic curves.
5. **Optimizing specific application scenarios**: The author introduces a method that can calculate modular symbols over all rational numbers with a fixed denominator, which is very useful for practical applications (such as calculating \(p\)-adic \(L\)-functions).
6. **Complexity analysis**: The author conducts a detailed analysis of the complexity of the algorithm and proves that all Manin symbols can be evaluated within approximately \(N^{7/4}\) steps.
7. **Implementation and comparison**: The new algorithm achieves a faster computational speed in SageMath, especially when calculating a single modular symbol, and is able to handle elliptic curves with larger conductors.
In summary, the goal of this paper is to provide a more efficient method for calculating modular symbols, especially for elliptic curves with large conductors.