关于P_(r,(2s-1))的奇优美标号

对于简单图G=〈V,E〉,如果存在一个映射f:V(G)→{0,1,2,…,2 |E|-1}满足1)对任意的u,v∈V,若u≠v,则(u)≠f(v);2)max{f(v)|v∈V}=2|E|-1;3)对任意的e_1,e_2∈E,若e_1≠e_2,则g(e_1)≠g(e_2),此处g(e)=|f(u)+f(v)|,e=uv;4){g(e)|e∈E}={1,3,5,…,2|E|-1},则称G是奇优美图,f称为G的奇优美标号.Gnanajoethi提出了一个猜想:每棵树都是奇优美的.证明了图P_(r,(2s-1)是奇优美图.     

形如1/3(2~p+1)的孤立数

设p是奇素数.X_p=1/3(2~p+1),证明了:X_p都是孤立数.     

对奇素数p构造正交表L_(2p~u)(p~(1+sum from i=1 to u-1 2p~i))

一、引言 本文改进了[1]的结果,对任意奇素数p给出了差集D(2p,2p,p,2)的构造法。并给出了一些构造正交表的公式,应用这些公式,对任意整数λ≥1,u≥2可由D(λp,λp,     

根式(A±(B~(1/2)))~(1/n)的化简

本文给出根式■与■及其和、差■与■的化简方法,揭示出化简这类根式与解n次方程的内在联系。设,则u_u~(?)+v~n=2A,uv=(A~2-B)~(1/n)。根据对称式的基本性质(见文[1]),对称式u~n+v~n可用基本对称式(u+v)和(uv)的一个n次多项式表示,即     

Diophantine方程（a^m-1）（6^n-1）=x^2的一点注记

设a,b是适合min（a,b）〉1,2｜a,2＋b以及v（6—1）是正奇数,其中v（b-1）表示整除b-1的2的最高次数．本文运用初等方法以及同余性质,研究了方程（a^m-1）（b^n-1）=x^2的可解性．对某些特殊素数P,证明了该方程无解．证明了如果存在适合P≡±E3（mod8）的奇素数P,可使a≡-1（modP）...     

实二次域Q(P(1/2))(p≡3(mod 4))类数的上界

设p是适合p≡3（Pod4）的奇素数,h,ε分别是实二次域Q的类数和基本单位．本文运用初等方法证明了：εh＜（p a 2)a 2/4(a 2)!,其中     

关于丢番图方程x~3±1=3·2~αpD_1y~2

设D_1=multiply from i=1 to s q_i(s=1或2),q_i≡-1(mod6)(i=1,2,…,s)是彼此不同的奇素数,p≡1(mod6)为奇素数.运用初等方法讨论了丢番图方程x~3±1=3·2~αpD_1y~2(α=0或1)的正整数解的情况.     

椭圆曲线y~2=px(x~2+2)在p≡1(mod 8)时的正整数点

设p是适合p≡1(mod 8)的奇素数.运用二次和四次Diophantine方程的性质给出了椭圆曲线E:Y²=px(x2=px(x²+2)有正整数点(x,y)的判别条件,并且证明了:当p<100时,该曲线没有正整数点.     

关于指数丢番图方程$x^2+(3a^2-1)^m=(4a^2-1)^n$

应用Bilu,Hanrot和Voutier关于本原素因子的深刻结果以及二次丢番图方程解的表示的一些精细结果,完全解决了指数型丢番图方程x2 (3a2-1)m=(4a2-1)n当3a2-1是奇素数或奇素数幂时的求解问题．     

实二次域Q(P(1/2))(p≡3(mod 4))类数的上界

设p是适合p≡3（Pod4）的奇素数,h,ε分别是实二次域Q的类数和基本单位．本文运用初等方法证明了：εh＜（p+a+2)a+2/4(a+2)!,其中     

区组长为奇素数的自反MD设计 (英)

本文利用差方法对自反MD设计SCMD$(4mp, p,1)$的存在性给出了构造性证明, 这里$p$为奇素数, $m$为正整数.     

A sharp estimate for the hexagonal circle packing constants

In [6] it is shown that the hexagonal circle packing rigidity constants s _n satisfy

关于一类实二次域的类数与基本单位的上界

设素数P≡1(mod4),k,ε分别表示实二次域Q(p~(1/2))类数和基本单位．本文改进了类数h和基本单位ε的上界,证明了:hlogeε<1/4(p~(1/2) 6)log(2ep~(1/2)),并得到了几个重要的推论．     

Two-dimensional complex tori with multiplication by $\sqrt {d}$

We give an elementary argument for the well known fact that the endomorphism algebra End(A)?\Bbb Q {\rm {End}}(A)\otimes {\Bbb Q } of a simple complex abelian surface A can neither be an imaginary quadratic field nor a definite quaternion algebra. Another consequence of our argument is that a two-dimensional complex torus T with \Bbb Q (?d)\hookrightarrow End_{\Bbb Q} (T){\Bbb Q }(\sqrt {d})\hookrightarrow {\rm{End_{{\Bbb Q }}}}(T) where \Bbb Q (?d){\Bbb Q }(\sqrt {d}) is real quadratic, is algebraic.     

Conjugates of Rational Equivariant Holomorphic Maps of Symmetric Domains

Let be an equivariant holomorphic map of symmetric domains associated to a homomorphism of semisimple algebraic groups defined over . If and are torsion-free arithmetic subgroups with , the map induces a morphism : of arithmetic varieties and the rationality of is defined by using symmetries on and as well as the commensurability groups of and . An element determines a conjugate equivariant holomorphic map of which induces the conjugate morphism of . We prove that is rational if is rational.     

对谱半径至多为$\sqrt[r]{2+\sqrt{5}}$的超图的分类研究

在本文,我们研究谱半径至多为$\sqrt[r]{2+\sqrt{5}}$的超图.我们得到此种超图必须具有一个基普结构,这与Woo-Neumaier在2007年对谱半径至多为$\frac{3}{2}\sqrt{2}$的图的分类结果类似.     

On the equivariant structure of ideals in abelian extensions of local fields (with an appendix by W. Bley)

Let p be an odd rational prime and K a finite extension of \Bbb Q_p {\Bbb Q}_p . We give a complete classification of those finite abelian extensions L/K L/K in which any ideal of the valuation ring of L is free over its associated order in \Bbb Q_p[Gal(L/K)] {\Bbb Q}_p[Gal(L/K)] . In an appendix W. Bley describes an algorithm which can be used to determine the structure of Galois stable ideals in abelian extensions of number fields. The algorithm is applied to give several new and interesting examples.     

Covering and packing in ${\Bbb Z}^n$ and ${\Bbb R}^n$, (I)

Given a finite subset of an additive group such as or , we are interested in efficient covering of by translates of , and efficient packing of translates of in . A set provides a covering if the translates with cover (i.e., their union is ), and the covering will be efficient if has small density in . On the other hand, a set will provide a packing if the translated sets with are mutually disjoint, and the packing is efficient if has large density. In the present part (I) we will derive some facts on these concepts when , and give estimates for the minimal covering densities and maximal packing densities of finite sets . In part (II) we will again deal with , and study the behaviour of such densities under linear transformations. In part (III) we will turn to . Authors’ address: Department of Mathematics, University of Colorado at Boulder, Campus Box 395, Boulder, Colorado 80309-0395, USA The first author was partially supported by NSF DMS 0074531.     

Precise inequalities for norms of functions,third partial,second mixed,or directional derivatives

For functions f which are bounded throughout the plane R₂ together with the partial derivatives f(^3,0) f(_0,3), inequalities $$\left\| {f^{(1,1)} } \right\| \leqslant \sqrt[3]{3}\left\| f \right\|^{{\raise0.7ex\hbox{$1$} \!\mathord{\left/ {\vphantom {1 3}}\right.\kern-\nulldelimiterspace}\!\lower0.7ex\hbox{$3$}}} \left\| {f^{(3,0)} } \right\|^{{\raise0.7ex\hbox{$1$} \!\mathord{\left/ {\vphantom {1 3}}\right.\kern-\nulldelimiterspace}\!\lower0.7ex\hbox{$3$}}} \left\| {f^{(0,3)} } \right\|^{{\raise0.7ex\hbox{$1$} \!\mathord{\left/ {\vphantom {1 3}}\right.\kern-\nulldelimiterspace}\!\lower0.7ex\hbox{$3$}}} ,\left\| {f_e^{(2)} } \right\| \leqslant \sqrt[3]{3}\left\| f \right\|^{{\raise0.7ex\hbox{$1$} \!\mathord{\left/ {\vphantom {1 3}}\right.\kern-\nulldelimiterspace}\!\lower0.7ex\hbox{$3$}}} \left( {\left\| {f^{(3,0)} } \right\|^{{\raise0.7ex\hbox{$1$} \!\mathord{\left/ {\vphantom {1 3}}\right.\kern-\nulldelimiterspace}\!\lower0.7ex\hbox{$3$}}} \left| {e_1 } \right| + \left\| {f^{(0,3)} } \right\|^{{\raise0.7ex\hbox{$1$} \!\mathord{\left/ {\vphantom {1 3}}\right.\kern-\nulldelimiterspace}\!\lower0.7ex\hbox{$3$}}} \left| {e_2 } \right|} \right)^2 ,$$ are established, where ∥?∥denotes the upper bound on R² of the absolute values of the corresponding function, andf _fe ⁽²⁾ is the second derivative in the direction of the unit vector e=(e₁, e₂). Functions are exhibited for which these inequalities become equalities.