We present a practical polynomial-time algorithm for computing the
zeta function of a Kummer curve over a finite field of small
characteristic. Such algorithms have recently been obtained using a
method of Kedlaya based upon Monsky–Washnitzer cohomology, and are of
interest in cryptography. We take a different approach.
The problem is reduced to that of computing the L-function
of a multiplicative character sum. This latter task is achieved via a
cohomological formula based upon the work of Dwork and Reich. We show,
however, that our method and that of Kedlaya are very closely related.Dedicated to the memory of Gian-Carlo Rota 相似文献
This study tries to develop two new approaches to the numerical solution of Stackelberg problems. In both of them the tools of nonsmooth analysis are extensively exploited; in particular we utilize some results concerning the differentiability of marginal functions and some stability results concerning the solutions of convex programs. The approaches are illustrated by simple examples and an optimum design problem with an elliptic variational inequality.Prepared while the author was visiting the Department of Mathematics, University of Bayreuth as a guest of the FSP Anwendungsbezogene Optimierung und Steuerung. 相似文献
Performance is an issue for radiative transfer simulations in hyper-spectral remote sensing backscatter retrieval algorithms. 2-Stream models are often used to speed up flux and radiance calculations. Here we present a linearized 2-stream multiple-scatter code, with the ability to generate analytic weighting functions with respect to any atmospheric or surface property. We examine 2-stream accuracy for the satellite intensity diffuse field, and the corresponding Jacobians for total ozone column and surface albedo, for an application in the ozone UV Huggins bands. 相似文献
This paper is concerned with algorithms for computing in the divisor class group of a nonsingular plane curve of the form which has only one point at infinity. Divisors are represented as ideals, and an ideal reduction algorithm based on lattice reduction is given. We obtain a unique representative for each divisor class and the algorithms for addition and reduction of divisors run in polynomial time. An algorithm is also given for solving the discrete logarithm problem when the curve is defined over a finite field.
This paper has arisen from an effort to provide a comprehensive and unifying development of the -theory of quasiconformal mappings in . The governing equations for these mappings form nonlinear differential systems of the first order, analogous in many respects to the Cauchy-Riemann equations in the complex plane. This approach demands that one must work out certain variational integrals involving the Jacobian determinant. Guided by such integrals, we introduce two nonlinear differential operators, denoted by and , which act on weakly differentiable deformations of a domain .
Solutions to the so-called Cauchy-Riemann equations and are simply conformal deformations preserving and reversing orientation, respectively. These operators, though genuinely nonlinear, possess the important feature of being rank-one convex. Among the many desirable properties, we give the fundamental -estimate
In quest of the best constant , we are faced with fascinating problems regarding quasiconvexity of some related variational functionals. Applications to quasiconformal mappings are indicated.
The aim of this paper is to construct non-trivial cycles in the first higher Chow group of the Jacobian of a curve having special torsion points. The basic tool is to compute the analogue of the Griffiths infinitesimal invariant of the natural normal function defined by the cycle as the curve moves in the corresponding moduli space. We prove also a Torelli-like theorem. The case of genus 2 is considered in the last section. To the memory of Fabio BardelliMathematics Subject Classification (2000) 14C25, 14C34 相似文献
In this note, we show that a well-known integral method, which was used by Mayne and Polak to compute an -subgradient, can be exploited to compute deterministically an element of the plenary hull of the Clarke generalized Jacobian of a locally Lipschitz mapping regardless of its structure. In particular, we show that, when a locally Lipschitz mapping is piecewise smooth, we are able to compute deterministically an element of the Clarke generalized Jacobian by the adaptive smoothing method. Consequently, we show that the Newton method based on the plenary hull of the Clarke generalized Jacobian can be implemented in a deterministic way for solving Lipschitz nonsmooth equations. 相似文献
Let be an affine algebraic variety over (or any other real closed field ). We ask when it is true that every positive semidefinite (psd) polynomial function on is a sum of squares (sos). We show that for the answer is always negative if has a real point. Also, if is a smooth non-rational curve all of whose points at infinity are real, the answer is again negative. The same holds if is a smooth surface with only real divisors at infinity. The ``compact' case is harder. We completely settle the case of smooth curves of genus : If such a curve has a complex point at infinity, then every psd function is sos, provided the field is archimedean. If is not archimedean, there are counter-examples of genus .
A curve, that is, a connected, reduced, projective scheme of dimension 1 over an algebraically closed field, admits two types
of compactifications of its (generalized) Jacobian: the moduli schemes of P-quasistable torsion-free, rank-1 sheaves and Seshadri’s moduli schemes of S-equivalence classes of semistable torsion-free,
rank-1 sheaves. Both are constructed with respect to a choice of polarization. The former are fine moduli spaces which were
shown to be complete; here we show that they are actually projective. The latter are just coarse moduli spaces. Here we give
a sufficient condition for when these two types of moduli spaces are equal.
Eduardo Esteves is Supported by CNPq, Processos 301117/04-7 and 470761/06-7, by CNPq/FAPERJ, Processo E-26/171.174/2003, and
by the Institut Mittag–Leffler (Djursholm, Sweden). 相似文献
A new implicit function theorem for a class of nonsmooth functions is proved. It is used to improve the directional implicit function theorem of Demidova and Demyanov (Ref. 1). 相似文献