关于数论函数$\sigma(n)$的一个注记

对于两个不相同的正整数$m$和$n$, 如果满足$\sigma(m)=\sigma(n)=m+n$, 则称之为一对亲和数, 这里$\sigma(n)=\sum_{d|n}d$.本文给出了$f(x,y)=x^{2^{x}}+y^{2^{x}}(x>y\geq{1},(x,y)=1)$不与任何正整数构成亲和数对的结论, 这里$x$,$y$具有不同的奇偶性, 即, 关于$z$的方程$\sigma(f(x,y))=\sigma(z)=f(x,y)+z$不存在正整数解.     

有限生成的幂零群的共轭分离性质

研究了有限生成的幂零群中元素的共轭分离问题.设ω表示全部素数组成的集合,π是ω的非空真子集,G是有限生成的幂零群,则下述三条等价:(i)如果x和y是G中的任意两个不共轭的元素,则x和y在G的某个有限p-商群中不共轭,其中p∈π;(ii)如果x和y是G中的任意两个不共轭的元素,则x和y在G的某个有限π-商群中不共轭;(iii)G的挠子群T(G)是π-群且G/T(G)是Abel群.同时举例说明:设G是有限生成的无挠幂零群,对于任意素数p,x和y都在G的有限p-商群G/G~p中共轭,但x和y在G中不共轭.     

A SIMPLICIAL ALGORITHM FOR COMPUTING AN INTEGER ZERO POINT OF A MAPPING WITH THE DIRECTION PRESERVING PROPERTY

A mapping f:Z~n→R~n is said to possess the direction preserving property if fi(x)>0implies fi(y)≥0 for any integer points x and y with ‖x-y‖∞≤1.In this paper,a simplicial algorithm is developed for computing an integer zero point of a mappingwith the direction preserving property.We assume that there is an integer point x~0 withc≤x~0≤d satisfying that max_(1≤i≤n)(x_i-x_i~0)fi(x)>0 for any integer point x withf(x)≠0 on the boundary of H={x∈R~n|c-e≤x≤d e},where c and d are twofinite integer points with c≤d and e=(1,1,…1)~∈R~n.This assumption is impliedby one of two conditions for the existence of an integer zero point of a mapping with thepreserving property in van der Laan et al.(2004).Under this assumption, starting at x~0,the algorithm follows a finite simplicial path and terminates at an integer zero point ofthe mapping.This result has applications in general economic equilibrium models withindivisible commodities.     

ON A MULTILINEAR OSCILLATORY SINGULAR INTEGRAL OPERATOR （I）

ＯＮＡＭＵＬＴＩＬＩＮＥＡＲＯＳＣＩＬＬＡＴＯＲＹＳＩＮＧＵＬＡＲＩＮＴＥＧＲＡＬＯＰＥＲＡＴＯＲ（Ｉ）ＣＨＥＮＷＥＮＧＵＨＵＧＵＯＥＮＬＵＳＨＡＮＺＨＥＮＭａｎｕｓｃｒｉｐｔｒｅｃｅｉｖｅｄＯｃｔｏｂｅｒ１８，１９９４．ＲｅｖｉｓｅｄＤｅｃｅ...     

圈的$L(d_1,d_2,\ldots,d_t)$-数$\lambda(C_n;d_1,d_2,\ldots,d_t)$

An L（d0,d2,...,dt）-labeling of a graph G is a function f from its vertex set V（G） to the set {0,1,..., k} for some positive integer k such that If（x） - f（y）l ≥di, if the distance between vertices x and y in G is equal to i for i = 1,2,...,t. The L（d1,d2,...,dt）-number λ（G;d1,d2,... ,dt） of G is the smallest integer number k such that G has an L（d1,d2,...,dr）- labeling with max{f （x）｜x ∈ V（G）} = k. In this paper, we obtain the exact values for λ（Cn; 2, 2, 1） and λ（Cn; 3, 2, 1）, and present lower and upper bounds for λ（Cn; 2,..., 2, 1,..., 1）     

关于图中存在不含给定k-因子的[a,b]-因子的度条件

设$1\leq a<b, 0\leq k$是整数. 设$G$是一个含有$k$-因子$Q$且阶为$|G|$的图. 设\delta(G)$表示$G$的最小度, 且$\delta(G)\geq a+k$. 如果$Q$连通, 设$\varepsilon=k$, 否则设$\varepsilon=k+1$.证明:当$b\geq a+\varepsilon-1$时, 如果对$G$的任意两个不相邻的点$x$和$y$都有max$\{d_G(x),d_G(y)\}\geq {\rm max}\{{{a|G|} \over {a+b}},{{(|G|+(a-1)(2a+b+\varepsilon-2))} \over {b+1}}\}+k$, 那么$G$有一个$[a, b]$-因子$F$ 使得 $E(F)\cap E(Q)=\emptyset$. 这个度条件是最佳的, 条件$b\geqa+\varepsilon-1$不能去掉. 进一步,得到图存在含给定$k$-因子的$[a, b]$-因子的度条件.     

New Finding on Factoring Prime Power RSA Modulus $N = p^r q$

This paper proposes three new attacks. In the first attack we consider the class of the public exponents satisfying an equation e X-N Y +(ap~r+ bq~r)Y = Z for suitably small positive integers a, b. Applying continued fractions we show thatY/Xcan be recovered among the convergents of the continued fraction expansion of e/N. Moreover, we show that the number of such exponents is at least N~(2/(r+1)-ε)where ε≥ 0 is arbitrarily small for large N. The second and third attacks works upon k RSA public keys(N_i, e_i) when there exist k relations of the form e_ix-N_iy_i +(ap_i~r + bq_i~r )y_i = z_i or of the form e_ix_i-N_iy +(ap_i~r + bq_i~r )y = z_i and the parameters x, x_i, y, y_i, z_i are suitably small in terms of the prime factors of the moduli. We apply the LLL algorithm, and show that our strategy enables us to simultaneously factor k prime power RSA moduli.     

Semi-Coarsening in Multigrid Solution of Steady Incompressible Navier-Stokes Equations

We present a semi-coarsening procedure, i.e., coarsening in one space direction, to improve the convergence rate of the multigrid solver presented in [5] for solving the 2D steady Navier-Stokes in primitive variables when the aspect ratio of grid cells is not equal to 1, i.e., when $h_x/h_y \gg 1 \ {\rm or} \ll 1$, where $h_x$ is the grid step in $x$ direction and $h_y$ is the grid step in $y$ direction, $x$ and $y$ represent the Cartesian coordinates.     

非交换环的拟零因子图

In this paper, a new class of rings, called FIC rings, is introduced for studying quasi-zero-divisor graphs of rings. Let R be a ring. The quasi-zero-divisor graph of R, denoted by Γ_*(R), is a directed graph defined on its nonzero quasi-zero-divisors, where there is an arc from a vertex x to another vertex y if and only if x Ry = 0. We show that the following three conditions on an FIC ring R are equivalent:(1) χ(R) is finite;(2) ω(R) is finite;(3)Nil_*R is finite where Nil_*R equals the finite intersection of prime ideals. Furthermore, we also completely determine the connectedness, the diameter and the girth of Γ_*(R).     

cut* 空间的拓扑性质

该文引入了 cut^*空间的概念,所谓的 cut^*空间是指去掉任意一点连通,去掉任意两点不连通的连通空间.通过对其性质的讨论,得到如下主要结论: 首先得到cut^*空间中每个点非开即闭,并且cut^*空间中有无限多个闭点;其次讨论了一类特殊的 cut^*空间,即去掉一点是COTS的 cut^* 空间.指出``$X$是 cut^*空间,任意 $x\inX,X\setminus\{x\}$是不可约cut空间'这样的空间类是不存在的.在文章的最后,讨论了去掉一点是LOTS的 cut^*空间的覆盖性质,得到这样的空间是紧空间或Lindel\"of空间的结论.     

保持两个等价关系的变换半群的Green关系

Let Tx be the full transformation semigroup on a set X. For a non-trivial equivalence F on X, let
TF（X） = {f ∈ Tx ： arbieary （x, y） ∈ F, （f（x）,f（y）） ∈ F}.
Then TF（X） is a subsemigroup of Tx. Let E be another equivalence on X and TFE（X） = TF（X） ∩ TE（X）. In this paper, under the assumption that the two equivalences F and E are comparable and E lohtain in F, we describe the regular elements and characterize Green＇s relations for the semigroup TFE（X）.     

一类变换半群的正则元和Green关系

设T_X为X上的全变换半群,E为X上的等价关系,令T_E(X)={f∈T_X:■(x,y)∈E,(f(x),f(y))∈E},则T_E(X)是T_X的子半群,如果X是一个全序集,E是X上的一个凸等价关系,设OP_E(X)为T_E(X)中所有保向映射作成的半群。对于有限全序集X上一类特殊的凸等价关系E,本文刻画了半群OP_E(X)的正则元的特征,并且描述了这个半群上的Green关系。     

HOMOCLINIC ORBITS FOR LAGRANGIAN SYSTEMS

The existence of at least two homoclinic orbits for Lagrangian system (LS) is proved, wherethe Lagrangian L(t,x,y) =1/2∑aij(x)yiyj-V(t, x), in which the potential V(t,x) is globallysurperquadratic in x and T-periodic in t. The Concentration-Compactness Lemma and Mini-max argument are used to prove the existences.     

$C(X)$上的开点与紧开拓扑

In this note we define a new topology on C(X),the set of all real-valued continuous functions on a Tychonoff space X.The new topology on C(X) is the topology having subbase open sets of both kinds:[f,C,ε[={g E C(X):|f(x)-g(x)| ε for every x∈C} and[U,r]~-={g∈C(X):g~(-1)(r)∩U≠φ},where f∈C(X),C∈KC(X)={nonempty compact subsets of X},ε 0,while U is an open subset of X and r∈R.The space C(X) equipped with the new topology T_(kh) which is stated above is denoted by C_(kh)(X).Denote X_0={x∈X:x is an isolated point of X} and X_c={x∈X:x has a compact neighborhood in X}.We show that if X is a Tychonoff space such that X_0=X_c,then the following statements are equivalent:(1) X_0 is G_δ-dense in X;(2) C_(kh)(X) is regular;(3) C_(kh)(X) is Tychonoff;(4) C_(kh)(X) is a topological group.We also show that if X is a Tychonoff space such that X_0=X_c and C_(kh)(X) is regular space with countable pseudocharacter,then X is σ-compact.If X is a metrizable hemicompact countable space,then C_(kh)(X) is first countable.     

Green's Equivalences on Semigroups of Transformations Preserving Order and an Equivalence Relation

Let ${\cal T}_X$ be the full transformation semigroup on the set $X$, \[ T_{E}(X)=\{f\in {\cal T}_X\colon \ \forall(a,b)\in E,(f(a),f(b))\in E\} \] be the subsemigroup of ${\cal T}_X$ determined by an equivalence $E$ on $X$. In this paper the set $X$ under consideration is a totally ordered set with $mn$ points where $m\geq 2$ and $n\geq 3$. The equivalence $E$ has $m$ classes each of which contains $n$ consecutive points. The set of all order preserving transformations in $T_{E}(X)$ forms a subsemigroup of $T_E(X)$ denoted by \[ {\cal O}_{E}(X)=\{f\in T_{E}(X)\colon \ \forall\, x, y\in X, \ x\leq y \mbox{ implies } f(x)\leq f(y)\}. \] The nature of regular elements in ${\cal O}_{E}(X)$ is described and the Green's equivalences on ${\cal O}_{E}(X)$ are characterized completely.     

Non-Negative Integer Matrix Representations of a $\mathbb{Z}_{+}$-Ring

The $\mathbb{Z}_{+}$-ring is an important invariant in the theory of tensor category. In this paper, by using matrix method, we describe all irreducible $\mathbb{Z}_{+}$-modules over a $\mathbb{Z}_{+}$-ring $\mathcal{A}$, where $\mathcal{A}$ is a commutative ring with a $\mathbb{Z}_{+}$-basis{$1$, $x$, $y$, $xy$} and relations: $$ x^{2}=1,\;\;\;\;\; y^{2}=1+x+xy.$$We prove that when the rank of $\mathbb{Z}_{+}$-module $n\geq5$, there does not exist irreducible $\mathbb{Z}_{+}$-modules and when the rank $n\leq4$, there exists finite inequivalent irreducible $\mathbb{Z}_{+}$-modules, the number of which is respectively 1, 3, 3, 2 when the rank runs from 1 to 4.     

符号混合控制问题的某些NP-完全性结果

Let G =(V, E) be a simple graph with vertex set V and edge set E. A signed mixed dominating function of G is a function f:V∪E→ {-1, 1} such that ∑_(y∈N_m(x)∪{x})f(y)≥ 1for every element x∈V∪E, where N_m(x) is the set of elements of V∪E adjacent or incident to x. The weight of f is w(f) =∑_(x∈V∪E)f(x). The signed mixed domination problem is to find a minimum-weight signed mixed dominating function of a graph. In this paper we study the computational complexity of signed mixed domination problem. We prove that the signed mixed domination problem is NP-complete for bipartite graphs, chordal graphs, even for planar bipartite graphs.     

一些超空间的非双Lipschitz 齐次性

A metric space(X, d) is called bi-Lipschitz homogeneous if for any points x, y ∈ X,there exists a self-homeomorphism h of X such that both h and h-1are Lipschitz and h(x) = y.Let 2(X,d)denote the family of all non-empty compact subsets of metric space(X, d) with the Hausdorff metric. In 1985, Hohti proved that 2([0,1],d)is not bi-Lipschitz homogeneous, where d is the standard metric on [0, 1]. We extend this result in two aspects. One is that 2([0,1],e)is not bi-Lipschitz homogeneous for an admissible metric e satisfying some conditions. Another is that 2(X,d)is not bi-Lipschitz homogeneous if(X, d) has a nonempty open subspace which is isometric to an open subspace of m-dimensional Euclidean space Rm.     

Dense admissible sequences

A sequence of integers in an interval of length is called admissible if for each prime there is a residue class modulo the prime which contains no elements of the sequence. The maximum number of elements in an admissible sequence in an interval of length is denoted by . Hensley and Richards showed that \pi (x)$"> for large enough . We increase the known bounds on the set of satisfying and find smaller values of such that \pi (x)$">. We also find values of satisfying 2\pi (x/2)$">. This shows the incompatibility of the conjecture with the prime -tuples conjecture.

     

Recurrence Relations for the Coefficients in Ultraspherical Series Solutions of Ordinary Differential Equations

A method is presented for obtaining recurrence relations for the coefficients in ultraspherical series of linear differential equations. This method applies Doha's method (1985) to generate polynomial approximations in terms of ultraspherical polynomials of $y(zx), -1\leq x\leq 1,z\in C,|z|\leq 1$, where y is a solution of a linear differential equation. In particular, rational approximations of $y(z)$ result if $x$ is set equal to unity. Two numerical examples are given to illustrate the application of the method to first and second order differential equations. In general, the rational approximations obtained by this method are better than the corresponding polynomial approximations, and compare favourably with Pade approximants.