Solving the p-Riccati Equations and Applications to the Factorisation of Differential Operators
Abstract: The solutions of the equation f{ (p--1) }+ fp = hp in the unknown function f overan algebraic function field of characteristic p are very closely linked to the structure and fac-torisations of linear differential operators with coefficients in function fields of characteristic p.However, while being able to solve this equation over general algebraic function fields is necessaryeven for operators with rational coefficients, no general resolution method has been developed.We present an algorithm for testing the existence of solutions in polynomial time in the size''of h and an algorithm based on the computation of Riemann-Roch spaces and the selection ofelements in the divisor class group, for computing solutions of size polynomial in thesize'' of hin polynomial time in the size of h and linear in the characteristic p, and discuss its applicationsto the factorisation of linear differential operators in positive characteristic p.
- A refined laser method and faster matrix multiplication. In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA) (2021), [Society for Industrial and Applied Mathematics (SIAM)], Philadelphia, PA, pp. 522–539.
- Complexity of OM factorizations of polynomials over local fields. LMS J. Comput. Math. 16 (2013), 139–171.
- Beelen, P. A generalization of Baker’s theorem. Finite Fields Appl. 15, 5 (2009), 558–568.
- Bruin, P. Computing in Picard groups of projective curves over finite fields. Math. Comp. 82, 283 (2013), 1711–1756.
- On fast multiplication of polynomials over arbitrary algebras. Acta Inform. 28, 7 (1991), 693–701.
- Symbolic-numeric factorization of differential operators. In Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation (New York, NY, USA, 2022), ISSAC ’22, Association for Computing Machinery, p. 73–82.
- Cluzeau, T. Factorization of differential systems in characteristic p𝑝pitalic_p. In Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation (2003), ACM, New York, pp. 58–65.
- Computational aspects of modular forms and Galois representations, vol. 176 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2011. How one can compute in polynomial time the value of Ramanujan’s tau at a prime.
- Central Simple Algebras and Galois Cohomology. Cambridge Studies in Advanced Mathematics. Cambridge University Press, 2006.
- Grigor’ev, D. Complexity of factoring and calculating the gcd of linear ordinary differential operators. Journal of Symbolic Computation 10, 1 (1990), 7–37.
- Higher Newton polygons in the computation of discriminants and prime ideal decomposition in number fields. Journal de théorie des nombres de Bordeaux 23, 3 (2011), 667–696.
- Integer multiplication in time O(nlogn)𝑂𝑛𝑛O(n\log n)italic_O ( italic_n roman_log italic_n ). Ann. of Math. (2) 193, 2 (2021), 563–617.
- On the complexity of computing determinants. Comput. Complex. 13, 3–4 (Feb. 2005), 91–130.
- Local polynomial factorisation: Improving the montes algorithm. In Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation (New York, NY, USA, 2022), ISSAC ’22, Association for Computing Machinery, p. 149–157.
- Fast integral basis computation.
- Serre, J. Corps locaux. Actualités scientifiques et industrielles. Hermann, 2004.
- Stichtenoth, H. Algebraic Function Fields and Codes, 2nd ed. Springer Publishing Company, Incorporated, 2008.
- Storjohann, A. High-order lifting and integrality certification. vol. 36. 2003, pp. 613–648. International Symposium on Symbolic and Algebraic Computation (ISSAC’2002) (Lille).
- Tuitman, J. Counting points on curves using a map to P1superscript𝑃1\mathbb{P}^{1}italic_P start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT, II. Finite Fields Appl. 45 (2017), 301–322.
- van der Put, M. Differential equations in characteristic p𝑝pitalic_p. vol. 97. 1995, pp. 227–251. Special issue in honour of Frans Oort.
- van der Put, M. Reduction modulo p𝑝pitalic_p of differential equations. Indag. Math. (N.S.) 7, 3 (1996), 367–387.
- van der Put, M. Modular methods for factoring differential operators. Unpublished manuscript (Preliminary Version).
- Galois theory of linear differential equations, vol. 328 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 2003.
- Van Hoeij, M. Factorization of differential operators with rational functions coefficients. Journal of Symbolic Computation 24, 5 (1997), 537–561.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
