𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Decision Problems in Quadratic Function Fields of High Genus

✍ Scribed by R. Scheidler


Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
146 KB
Volume
16
Category
Article
ISSN
0885-064X

No coin nor oath required. For personal study only.

✦ Synopsis


This paper provides verification procedures for a number of decision problems in quadratic function fields of odd characteristic, thereby establishing membership of these problems in both NP and co-NP. The problems include determining the ideal and divisor class numbers of the field, the regulator of the field (in the real case), a generating system of the ideal class group, a basis of the ideal class group, the pricipality of an ideal, the equivalence of two ideals, the discrete logarithm of an ideal class with respect to another ideal class, and the order of a class in the ideal class group. While several of these problems belong to the aforementioned complexity classes unconditionally, others require a certain assumption to ensure that the verification procedures can be done in polynomial time; so far, this assumption has only been verified for fields of high genus.


πŸ“œ SIMILAR VOLUMES


Class Numbers of Real Quadratic Function
✍ Humio Ichimura πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 160 KB

For a prime number p, let ‫ކ‬ p be the finite field of cardinality p and X Ο­ X p a fixed indeterminate. We prove that for any natural number N, there exist infinitely many pairs ( p, K/‫ކ‬ p (X )) of a prime number p and a ''real'' quadratic extension K/‫ކ‬ p (X ) for which the genus of K is one and

Time-dependent density-functional theory
✍ Xiao-Min Tong; Shih-I Chu πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 263 KB πŸ‘ 2 views

We present a time-dependent density-functional theory TDDFT with ## Ε½ . Ε½ . optimized effective potential OEP and self-interaction correction SIC for nonperturbative treatment of multiphoton and nonlinear optical processes of manyelectron systems in intense laser fields. The resulting TDOEPrKLI-SI