Linear independence of Gamma values in positive characteristic

W. Dale Brownawell,Matthew A. Papanikolas

DOI: https://doi.org/10.1515/crll.2002.068

2001-06-09

Abstract:We investigate the arithmetic nature of special values of Thakur's function field Gamma function at rational points. Our main result is that all linear independence relations over the field of algebraic functions are consequences of the known relations of Anderson and Thakur arising from the functional equations of the Gamma function.

Number Theory

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is how to create a software toolkit for building knowledge - base systems that can be embedded in larger software systems and operate cooperatively in computer networks. Specifically, it aims to solve the following problems:

1. **Distributed and Embedded Applications of Knowledge - base Systems**: Traditional knowledge - base systems usually run independently and are difficult to integrate with other information systems. This paper proposes an architecture based on frame - based knowledge representation and production rules, enabling these systems to be embedded in larger information - processing systems and to run distributively among different computers.

2. **Knowledge Sharing and Interaction**: To support cross - network knowledge sharing, the paper explores how frames located on different computers can transparently access and use knowledge in the reasoning process. In addition, dynamic knowledge (such as instance data of specific frames) can also be transmitted over the network.

3. **Integration with Traditional Information Systems**: In many practical application scenarios, most of the information already exists in existing databases. Therefore, the paper discusses how to integrate expert systems with these existing databases to ensure that newly developed knowledge - base systems can obtain necessary information from existing resources.

4. **Flexibility and Extensibility**: To meet different types of application requirements, the paper also emphasizes that the designed toolkit needs to have good flexibility and extensibility. For example, it can be easily interfaced with multiple high - level programming languages and support technologies such as CORBA and XML to implement external knowledge representation.

5. **Component - based Design**: Drawing on the component - based idea in modern software engineering, this paper proposes a component - based architecture scheme that allows various functional modules to work together on a single computer or across network nodes. This design not only improves the openness of the system but also facilitates the construction of complex heterogeneous environments.

In summary, the core objective of this paper is to provide an effective solution to promote the wider application and development of knowledge - base systems in networked and open environments.