Geometric structure in stochastic approximation

1. IntroductionLet f: Re -- R be a differelltiable fUnction. f reaChes its extremes on the setJ = {x E R"lfx(x) = 0}, (1.1)where,x(X) = (V,..., V)". (1.2)If jx can be observed exactly at any x e R", then there are various numerical methods toconstruct {xh}, xk E Re such that the distance d(xk, J) between uk and J tends to zero ask -- co. However, in many application problems jx can only be observed with noise, i.e.,the observation at time k 1 isYk 1 = fi(~k) (k 1, (1'3)where xk is …     

Concretely Locally Presentable and Locally Generated Categories

We give concrete versions of the characterizations of locally -presentable (resp. -generated) categories as categories of models of (resp. weakly) -ary limit-theories and of (resp. weakly) -ary essentially algebraic theories. By concrete we mean that starting with a category of -structures, the theories obtained are extensions of the original ones, and the equivalences of categories are concrete isomorphisms. -presentable and -generated objects are also investigated from this viewpoint.     

Serre's generalization of Nagao's theorem: An elementary approach

Let be a smooth projective curve over a field . For each closed point of let be the coordinate ring of the affine curve obtained by removing from . Serre has proved that is isomorphic to the fundamental group, , of a graph of groups , where is a tree with at most one non-terminal vertex. Moreover the subgroups of attached to the terminal vertices of are in one-one correspondence with the elements of , the ideal class group of . This extends an earlier result of Nagao for the simplest case .

Serre's proof is based on applying the theory of groups acting on trees to the quotient graph , where is the associated Bruhat-Tits building. To determine he makes extensive use of the theory of vector bundles (of rank 2) over . In this paper we determine using a more elementary approach which involves substantially less algebraic geometry.

The subgroups attached to the edges of are determined (in part) by a set of positive integers , say. In this paper we prove that is bounded, even when Cl is infinite. This leads, for example, to new free product decomposition results for certain principal congruence subgroups of , involving unipotent and elementary matrices.

     

Determinants in Triangulated Categories

For a small triangulated category , Bass's K ₁ group is described, and the theorem of the heart is proved. We define the determinant map from to Neeman's , and we compute this map when is the derived category of an Abelian category .     

Holomorphic K-Theory, Algebraic Co-cycles, and Loop Groups

In this paper we study the holomorphic K-theory of a projective variety. This K-theory is defined in terms of the homotopy type of spaces of holomorphic maps from the variety to Grassmannians and loop groups. This theory is built out of studying algebraic bundles over a variety up to algebraic equivalence. In this paper we will give calculations of this theory for flag like varieties which include projective spaces, Grassmannians, flag manifolds, and more general homogeneous spaces, and also give a complete calculation for symmetric products of projective spaces. Using the algebraic geometric definition of the Chern character studied by the authors we will show that there is a rational isomorphism of graded rings between holomorphic K-theory and the appropriate morphic cohomology groups, in terms of algebraic co-cycles in the variety. In so doing we describe a geometric model for rational morphic cohomology groups in terms of the homotopy type of the space of algebraic maps from the variety to the symmetrized loop group U(n)/ _n where the symmetric group _n acts on U(n) via conjugation. This is equivalent to studying algebraic maps to the quotient of the infinite Grassmannians BU(k) by a similar symmetric group action. We then use the Chern character isomorphism to prove a conjecture of Friedlander and Walker stating that if one localizes holomorphic K-theory by inverting the Bott class, then rationally this is isomorphic to topological K-theory. Finally this will allows us to produce explicit obstructions to periodicity in holomorphic K-theory, and show that these obstructions vanish for generalized flag mani-folds.     

Bi-Invariant Domains in Semisimple Groups: Nonprincipal Orbits and Boundaries

Let G be a complex semisimple group with real form G . For the action of G × G on G by left and right translation, we define and study an orbit-type stratification of G. In particular, we compute the dimension of an arbitrary stratum; we identify certain strata of low codimension in G, the union of whose closures contains every nonprincipal stratum; and we describe the boundaries and adjacency relations of the maximal connected domains in G that contain only principal orbits.     

On the étale Descent Problem for Topological Cyclic Homology and Algebraic K-Theory

We investigate étale descent properties of topological Hochschild and cyclic homology. Using these properties we deduce a general injectivity result for the descent map in algebraic K-theory, and show that algebraic K-theory has étale descent for rings of integers in unramified and tamely ramified p-adic fields.     

Generalized Cofibration Categories and Global Actions

We develop an axiomatic homotopy theory for categories with a family of natural cylinders indexed by a set with relations, generalizing Baues I-categories. The main examples of -cofibration categories are the categories of global actions and simplicial complexes.     

Sums of squares of regular functions on real algebraic varieties

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 .

     

人造地球卫星运动方程的代数动力学算法数值解

代数动力学算法首次被用于求人造地球卫星运动方程的数值解，在四阶算法下，与Runge-Kutta算法和辛算法的计算结果作了比较.结果表明，代数动力学算法对于人造地球卫星长期轨道的计算有较高的精度.并讨论了地球四极和八极带谐项对卫星轨道的影响. 关键词： 人造地球卫星运动方程 代数动力学算法数值解 地球四极和八极带谐项对卫星轨道的影响