ON THE EXISTENCE OF GLOBAL GENERAL SOLUTIONS OF POLYNOMIAL SYSTEMS

ＯＮＴＨＥＥＸＩＳＴＥＮＣＥＯＦＧＬＯＢＡＬＧＥＮＥＲＡＬＳＯＬＵＴＩＯＮＳＯＦ　ＰＯＬＹＮＯＭＩＡＬＳＹＳＴＥＭＳＺＨＡＯＸＩＡＯＱＩＡＮＧ（赵晓强）（ＩｎｓｔｉｔｕｔｅｏｆＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉｃｓ，ｔｈｅＣｈｉｎｅｓｅＡｃａｄｅｍｙｏ...     

STABILIZATION OF UNITARY GROUPSOVER POLYNOMIAL RINGS

ＳＴＡＢＩＬＩＺＡＴＩＯＮＯＦＵＮＩＴＡＲＹＧＲＯＵＰＳＯＶＥＲＰＯＬＹＮＯＭＩＡＬＲＩＮＧＳ￥ＹＯＵＨＯＮＧＡｂｓｔｒａｃｔ：Ｔｈｅａｕｔｈｏｒｓｔｕｄｉｅｓｔｈｅｓｔａｂｉｌｉｚａｔｉｏｎｆｏｒｔｈｅｕｎｉｔａｒｙｇｒｏｕｐｓｏｖｅｒｐｏｌｙｎｏ...     

Riemann引理的若干证法和推广

本文首先给出了Ｒｉｅｍａｎｎ引理及其三种证法；然后通过直接方法、变量替换方法和多项式逼近的方法分别进行了证明．最后给出了Ｒｉｅｍａｎｎ引理的推广及其证明。     

Analyse de complexité pour un théorème de Hall sur les fractions continues

We give a polynomial time controlled version of a theorem of M. Hall: every real number can be written as the sum of two irrational numbers whose developments into a continued fraction contain only 1, 2, 3 or 4. Mathematics Subject Classification: 03D15, 03F60, 11A55, 68Q25.     

Comparison of Two Reformulation-Linearization Technique Based Linear Programming Relaxations for Polynomial Programming Problems

In this paper, we compare two strategies for constructing linear programmingrelaxations for polynomial programming problems using aReformulation-Linearization Technique (RLT). RLT involves an automaticreformulation of the problem via the addition of certain nonlinear impliedconstraints that are generated by using the products of the simple boundingrestrictions (among other products), and a subsequent linearization based onvariable redefinitions. We prove that applying RLT directly to the originalpolynomial program produces a bound that dominates in the sense of being atleast as tight as the value obtained when RLT is applied to the jointcollection of all equivalent quadratic problems that could be constructed byrecursively defining additional variables as suggested by Shor.     

A Note on Relative Efficiency of Axiom Systems

We introduce a notion of relative efficiency for axiom systems. Given an axiom system A_β for a theory T consistent with S¹₂, we show that the problem of deciding whether an axiom system A_α for the same theory is more efficient than A_β is II₂-hard. Several possibilities of speed-up of proofs are examined in relation to pairs of axiom systems A_α, A_β, with A_α ? A_β, both in the case of A_α, A_β having the same language, and in the case of the language of A_α extending that of A_β: in the latter case, letting Pr_α, Pr_β denote the theories axiomatized by A_α, A_β, respectively, and assuming Pr_α to be a conservative extension of Pr_β, we show that if A_α — A_β contains no nonlogical axioms, then A_α can only be a linear speed-up of A_β; otherwise, given any recursive function g and any A_β, there exists a finite extension A_α of A_β such that A_α is a speed-up of A_β with respect to g. Mathematics Subject Classification: 03F20, 03F30.     

Implementing an efficient minimum capacity cut algorithm

In this paper, we present an efficient implementation of theO(mn + n ² logn) time algorithm originally proposed by Nagamochi and Ibaraki (1992) for computing the minimum capacity cut of an undirected network. To enhance computation, various ideas are added so that it can contract as many edges as possible in each iteration. To evaluate the performance of the resulting implementation, we conducted extensive computational experiments, and compared the results with that of Padberg and Rinaldi's algorithm (1990), which is currently known as one of the practically fastest programs for this problem. The results indicate that our program is considerably faster than Padberg and Rinaldi's program, and its running time is not significantly affected by the types of the networks being solved.Corresponding author.     

On Nondeterminism,Enumeration Reducibility and Polynomial Bounds

Enumeration reducibility is a notion of relative computability between sets of natural numbers where only positive information about the sets is used or produced. Extending e-reducibility to partial functions characterises relative computability between partial functions. We define a polynomial time enumeration reducibility that retains the character of enumeration reducibility and show that it is equivalent to conjunctive non-deterministic polynomial time reducibility. We define the polynomial time e-degrees as the equivalence classes under this reducibility and investigate their structure on the recursive sets, showing in particular that the pe-degrees of the computable sets are dense and do not form a lattice, but that minimal pairs exist. We define a jump operator and use it to produce a characterisation of the polynomial hierarchy.     

平坦的多项式剩余类环

本文证明了如果多项式的剩余类环 A=R[T]/fR[T]作为 R-模是平坦模,且R是约化环,则f是正规多项式.特别地,若R还是连通的,则f的首项系数是单位.也证明了弱整体有限的凝聚环是约化环,以及弱整体为有限的凝聚连通环是整环.     

Asymptotic Distribution of Nodes for Near-Optimal Polynomial Interpolation on Certain Curves in R 2

Let E\subset \Bbb R ^s be compact and let d _n ^E denote the dimension of the space of polynomials of degree at most n in s variables restricted to E . We introduce the notion of an asymptotic interpolation measure (AIM). Such a measure, if it exists , describes the asymptotic behavior of any scheme τ _n ={ \bf x _k,n } _k=1 ^dnE , n=1,2,\ldots , of nodes for multivariate polynomial interpolation for which the norms of the corresponding interpolation operators do not grow geometrically large with n . We demonstrate the existence of AIMs for the finite union of compact subsets of certain algebraic curves in R ² . It turns out that the theory of logarithmic potentials with external fields plays a useful role in the investigation. Furthermore, for the sets mentioned above, we give a computationally simple construction for ``good' interpolation schemes. November 9, 2000. Date revised: August 4, 2001. Date accepted: September 14, 2001.