关于一类中心循环的有限P-群的自同构群

确定了一类中心循环的有限p-群G的自同构群.设G=X_3(p~m)~(*n)*Z_(p~(m+r)),其中m≥1,n≥1和r≥0,并且X_3(p~m)=x,y|x~(p~m)=y~(p~m)=1,[x,y]~(p~m)=1,[x,[x,y]]=[y,[x,y]]=1.Aut_nG表示Aut G中平凡地作用在N上的元素形成的正规子群,其中G'≤N≤ζG,|N|=p~(m+s),0≤s≤r,则(i)如果p是一个奇素数,那么AutG/Aut_nG≌Z_(p~((m+s-1)(p-1))),Aut_nG/InnG≌Sp(2n,Z_(p~m))×Z_(p~(r-s)).(ii)如果p=2,那么AutG/Aut_nG≌H,其中H=1(当m+s=1时)或者Z_(2~(m+s-2))×Z_2(当m+s≥2时).进一步地,Aut_nG/InnG≌K×L,其中K=Sp(2n,Z_(2~m))(当r0时)或者O(2n,Z_(2~m))(当r=0时),L=Z_(2~(r-1))×Z_2(当m=1,s=0,r≥1时)或者Z_(2~(r-s)).     

有循环极大子群的素数幂阶群的作用是边传递的图(II)

假定Γ是一个有限的、单的、无向的且无孤立点的图,G是Aut(Γ)的一个子群.如果G在Γ的边集合上传递,则称Γ是G-边传递图.我们完全分类了当G为一个有循环的极大子群的素数幂阶群时的G-边传递图.结果为:设图Γ含有一个阶为pn(p是素数,n≥2)的自同构群,且G有一个极大子群循环,则Γ是G-边传递的,当且仅当Γ同构于下列图之一1)pmK1,pn-1-m,0≤m≤n-1;2)pmK1,pn-m,0≤m≤n;3)pmKp,pn-m-1,0≤m≤n-2;4)pn-mCpm,pm≥3,m＜n;5)2n-2K1,1;6)pn-1-mCpm,pm≥3,m≤n-1;7)2pn-mCpm,pm≥3,m≤n-1;8)2pn-mK1,pm,0≤m≤n;9)pn-mK1,2pm,0≤m≤n;10)pn-mK2,pm,0＜m≤n;11)C(2pn-m,1,pm);12)pkC(2pm-k,1,pn-m),0＜k＜m,0＜m≤n;13)(t-s,2m)C(2m 1/(t-s,2m),1,2n-1-m),其中0≤m≤n-1,2n-2(s-1)≡0(mod 2m),t≡1(mod 2),s(≠)t(mod 2m),1≤s≤2m,1≤t≤2n-1;14)∪p i=1 Ci p n-1,其中Ci p n-1=Ca1a1 [1 (i-1)pn-2]a 1 2[1 (i--1)p n-2]…a 1 (pn-1-1)[1 (i-1)p n-2]≌Cp n-1,i=1,2,…,p;15)∪2 i=1 Ci 2n-1,其中Ci 2n-1=Ca1a 1 [1 (i-1)(2n-2-1)]a1 2[1 (i-1)(2n-2-1)]…a1 (2n-1-1)[1 (i-1)(2n-2-1)]≌C2n-1,i=1,2.     

广义超特殊p-群的自同构群Ⅲ

确定了广义超特殊p-群G的自同构群的结构.设|G|=p~(2n+m),|■G|=p~m,其中n≥1,m≥2,Aut_fG是AutG中平凡地作用在Frat G上的元素形成的正规子群,则(1)当G的幂指数是p~m时,(i)如果p是奇素数,那么AutG/AutfG≌Z_((p-1)p~(m-2)),并且AutfG/InnG≌Sp(2n,p)×Zp.(ii)如果p=2,那么AutG=Aut_fG(若m=2)或者AutG/AutfG≌Z_(2~(m-3))×Z_2(若m≥3),并且AutfG/InnG≌Sp(2n,2)×Z_2.(2)当G的幂指数是p~(m+1)时,(i)如果p是奇素数,那么AutG=〈θ〉■Aut_fG,其中θ的阶是(p-1)p~(m-1),且Aut_f G/Inn G≌K■Sp(2n-2,p),其中K是p~(2n-1)阶超特殊p-群.(ii)如果p=2,那么AutG=〈θ_1,θ_2〉■Aut_fG,其中〈θ_1,θ_2〉=〈θ_1〉×〈θ_2〉≌Z_(2~(m-2))×Z_2,并且Aut_fG/Inn G≌K×Sp(2n-2,2),其中K是2~(2n-1)阶初等Abel 2-群.特别地,当n=1时...     

Constructions of p-ary Quadratic Bent Functions

Bent functions have many applications in the fields of coding theory, communications and cryptography. This paper studies the constructions of bent functions having the form for odd n and for even n, over the finite field of odd characteristic p, where . Based on the irreducibility of some polynomials on , we focus on characterizing the bent functions for n=p ^v q ^r and n=2p ^v q ^r , where is an odd prime and p a primitive root modulo q ². Moreover, the enumerations of those functions are also considered. Partially supported by the NSF of China under Grants No. 60603012 and No. 60573053.     

有限域上的重根自对偶负循环码

Let F_q be a finite field with q = p~m, where p is an odd prime. In this paper, we study the repeated-root self-dual negacyclic codes over Fq. The enumeration of such codes is investigated. We obtain all the self-dual negacyclic codes of length 2~ap~r over F_q, a ≥ 1.The construction of self-dual negacyclic codes of length 2~abp~r over F_q is also provided, where gcd(2, b) = gcd(b, p) = 1 and a ≥ 1.     

在Freud正交多项式零点处的Gr\"{u}nwald插值算子的收敛性

设$W_{\beta}(x)=\exp(-\frac{1}{2}|x|^{\beta})~(\beta > 7/6)$ 为Freud权, Freud正交多项式定义为满足下式$\int_{- \infty}^{\infty}p_{n}(x)p_{m}(x)W_{\beta}^{2}(x)\rd x=\left \{ \begin{array}{ll} 0 & \hspace{3mm} n \neq m , \\ 1 & \hspace{3mm}n = m \end{array} \right.$的     

由H\"{o}rmander向量场构成的抛物方程的 $W_{\ast}^{1,p}$ 正则性

设 $X_{1},\cdots ,X_{q}\ (q相似文献   

一类上三角矩阵环$W_{n}(p, q)$的斜Armendariz性质

设α是环R的一个自同态,称环R是α-斜Armendariz环,如果在R[x;α]中,(∑_(i=0)~ma_ix~i)(∑_(j=0)~nb_jx~j)=0,那么a_ia~i(b_j)=0,其中0≤i≤m,0≤j≤n.设R是α-rigid环,则R上的上三角矩阵环的子环W_n(p,q)是α~—-斜Armendariz环.     

阶极小渐近基

Let N denote the set of all nonnegative integers and A be a subset of N.Let W be a nonempty subset of N.Denote by F~*(W) the set of all finite,nonempty subsets of W.Fix integer g≥2,let A_g(W) be the set of all numbers of the form sum f∈Fa_fg~f where F∈F~*(W)and 1≤a_f≤g-1.For i=0,1,2,3,let W_i = {n∈N|n≡ i(mod 4)}.In this paper,we show that the set A = U_i~3=0 A_g(W_i) is a minimal asymptotic basis of order four.     

一类复线性微分差分方程亚纯解的唯一性

本文主要研究一类复线性微分差分方程超越亚纯解的唯一性.特别地,假设$f(z)$为复线性微分差分方程: $W_{1}(z)f''(z+1)+W_{2}(z)f(z)=W_{3}(z)$的一个有穷级超越亚纯解,其中$W_{1}(z)$, $W_{2}(z)$, $W_{3}(z)$为增长级小于1的非零亚纯函数并且满足$W_{1}(z)+W_{2}(z)\not\equiv 0$.若$f(z)$与亚纯函数$g(z)$, $CM$分担0,1,$\infty$,则$f(z)\equiv g(z)$或$f(z)+g(z)\equiv f(z)g(z)$或$f^{2}(z)(g(z)-1)^2+g^{2}(z)(f(z)-1)^2=g(z)f(z)(g(z)f(z)-1)$或存在一个多项式$\varphi(z)=az+b_{0}$使得$f(z)=\frac{1-e^{\varphi(z)}}{e^{\varphi(z)}(e^{a_{0}-b_{0}}-1)}$与$g(z)=\frac{1-e^{\varphi(z)}}{1-e^{b_{0}-a_{0}}}$,其中$a(\neq 0)$, $a_{0}$ $b_{0}$均为常数且$a_{0}\neq b_{0}$.     

一类精细化Eulerian多项式的若干性质

最近,孙华定义了一类新的精细化Eulerian多项式,即$$A_n(p,q)=\sum_{\pi\in \mathfrak{S}_n}p^{{\rm odes}(\pi)}q^{{\rm edes}(\pi)},\ \ n\ge 1,$$ 其中$S_n$表示$\{1,2,\ldots,n\}$上全体$n$阶排列的集合, odes$(\pi)$与edes$(\pi)$分别表示$S_n$中排列$\pi$的奇数位与偶数位上降位数的个数.本文利用经典的Eulerian多项式$A_n(q)$ 与Catalan 序列的生成函数$C(q)$,得到精细化Eulerian 多项式$A_n(p,q)$的指数型生成函数及$A_n(p,q)$的显示表达式.在一些特殊情形,本文建立了$A_n(p,q)$与$A_n(0,q)$或$A_n(p,0)$之间的联系,并利用Eulerian数表示多项式$A_n(0,q)$的系数.特别地,这些联系揭示了Euler数$E_n$与Eulerian数$A_{n,k}$之间的一种新的关系.     

A one-parameter quadratic-base version of the Baillie-PSW probable prime test

The well-known Baillie-PSW probable prime test is a combination of a Rabin-Miller test and a ``true' (i.e., with The well-known Baillie-PSW probable prime test is a combination of a Rabin-Miller test and a ``true' (i.e., with ) Lucas test. Arnault mentioned in a recent paper that no precise result is known about its probability of error. Grantham recently provided a probable prime test (RQFT) with probability of error less than 1/7710, and pointed out that the lack of counter-examples to the Baillie-PSW test indicates that the true probability of error may be much lower.

In this paper we first define pseudoprimes and strong pseudoprimes to quadratic bases with one parameter: , and define the base-counting functions:

and

Then we give explicit formulas to compute B and SB, and prove that, for odd composites ,

and point out that these are best possible. Finally, based on one-parameter quadratic-base pseudoprimes, we provide a probable prime test, called the One-Parameter Quadratic-Base Test (OPQBT), which passed by all primes and passed by an odd composite odd primes) with probability of error . We give explicit formulas to compute , and prove that

The running time of the OPQBT is asymptotically 4 times that of a Rabin-Miller test for worst cases, but twice that of a Rabin-Miller test for most composites. We point out that the OPQBT has clear finite group (field) structure and nice symmetry, and is indeed a more general and strict version of the Baillie-PSW test. Comparisons with Gantham's RQFT are given.

     

具$p$-Laplacian 算子的多点边值问题迭代解的存在性

利用单调迭代技巧和推广的Mawhin定理得到下述带有p-Laplacian算子的多点边值问题迭代解的存在性,{(Фp(u'))' f(t,u, Tu)=0, 0(≤)t(≤)1,u(0)=q-1∑i=1γiu(δi),u(1)=m-1∑i=1ηiu(ξi),其中Фp(s)=|s|p-2s,p＞1;0＜δi＜1,γi＞0,1(≤)i(≤)q-1;0＜ξi＜1,ηi(≥)0,1(≤)i(≤)m-1且q-1∑i=1γi＜1,m-1∑i=1ηi(≤)1;Tu(t)=∫t0k(t,s)u(s)ds,k(t,s)∈C(I×I,R ).     

半拟线性p-Laplacian问题结点解的存在性

In this paper, we study the existence of nodal solutions for the following problem:-(φ_p(x′))′= α(t)φ_p(x~+) + β(t)φ_p(x~-) + ra(t)f(x), 0 t 1,x(0) = x(1) = 0,where φ_p(s) = |s|~(p-2)s, a ∈ C([0, 1],(0, ∞)), x~+= max{x, 0}, x~-=- min{x, 0}, α(t), β(t) ∈C[0, 1]; f ∈ C(R, R), sf(s) 0 for s ≠ 0, and f_0, f_∞∈(0, ∞), where f_0 = lim_|s|→0f(s)/φ_p(s), f_∞ = lim|s|→+∞f(s)/φ_p(s).We use bifurcation techniques and the approximation of connected components to prove our main results.     

LIMIT CYCLES OF THE GENERALIZED POLYNOMIAL LINARD DIFFERENTIAL SYSTEMS

Using the averaging theory of first and second order we study the maximum number of limit cycles of generalized Linard differential systems{x = y + εh_l~1(x) + ε~2h_l~2(x),y=-x- ε(f_n~1(x)y~(2p+1) + g_m~1(x)) + ∈~2(f_n~2(x)y~(2p+1) + g_m~2(x)),which bifurcate from the periodic orbits of the linear center x = y,y=-x,where ε is a small parameter.The polynomials h_l~1 and h_l~2 have degree l;f_n~1and f_n~2 have degree n;and g_m~1,g_m~2 have degree m.p ∈ N and[·]denotes the integer part function.     

Compact and Loeb Hausdorff spaces in \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathsf {ZF}$\end{document} and the axiom of choice for families of finite sets

Given a set X, $\mathsf {AC}^{\mathrm{fin}(X)}$ denotes the statement: “$[X]^{<\omega }\backslash \lbrace \varnothing \rbrace$ has a choice set” and $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )$ denotes the family of all closed subsets of the topological space $\mathbf {2}^{X}$ whose definition depends on a finite subset of X. We study the interrelations between the statements $\mathsf {AC}^{\mathrm{fin}(X)},$ $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega })},$ $\mathsf {AC}^{\mathrm{fin} (F_{n}(X,2))},$ $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ and “$\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set”. We show:

• (i) $\mathsf {AC}^{\mathrm{fin}(X)}$ iff $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega } )}$ iff $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set iff $\mathsf {AC}^{\mathrm{fin}(F_{n}(X,2))}$.
• (ii) $\mathsf {AC}_{\mathrm{fin}}$ ($\mathsf {AC}$ restricted to families of finite sets) iff for every set X, $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set.
• (iii) $\mathsf {AC}_{\mathrm{fin}}$ does not imply “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set($\mathcal {K}(\mathbf {X})$ is the family of all closed subsets of the space $\mathbf {X}$)
• (iv) $\mathcal {K}(\mathbf {2}^{X})\backslash \lbrace \varnothing \rbrace$ implies $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ but $\mathsf {AC}^{\mathrm{fin}(X)}$ does not imply $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$.

We also show that “For every setX, “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every setX, $\mathcal {K}\big (\mathbf {[0,1]}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every product$\mathbf {X}$of finite discrete spaces,$\mathcal {K}(\mathbf {X})\backslash \lbrace \varnothing \rbrace$ has a choice set”.     

Combinatorial congruences modulo prime powers

Let be any prime, and let and be nonnegative integers. Let and . We establish the congruence

(motivated by a conjecture arising from algebraic topology) and obtain the following vast generalization of Lucas' theorem: If is greater than one, and are nonnegative integers with , then

We also present an application of the first congruence to Bernoulli polynomials and apply the second congruence to show that a -adic order bound given by the authors in a previous paper can be attained when .

     

Moments of L-Functions Attached to the Twist of Modular Form by Dirichlet Characters

Let f(z) be a holomorphic cusp form of weight κ with respect to the full modular group SL2(Z). Let L(s, f) be the automorphic L-function associated with f(z) and χ be a Dirichlet character modulo q. In this paper, the authors prove that unconditionally for k =1/n with n ∈ N,and the result also holds for any real number 0 k 1 under the GRH for L(s, f ■χ).The authors also prove that under the GRH for L(s, f ■χ),for any real number k 0 and any large prime q.     

截断和随机乘积的渐近性质

对一列独立同分布平方可积的随机变量序列{Xn,n≥1},当随机变量的分布具有中尾分布时,讨论了其截断和Tn(a)的随机乘积的渐近正态性质,其中Tn(a)=Sn-Sn(a),n=1,2,…,Sn(a)=n∑ j=1 XjI{Mn-a＜Xj≤Mn},a为某一大于零的常数'Mn=max 1≤k≤n{Xk}.     

Integral formulas for Chebyshev polynomials and the error term of interpolatory quadrature formulae for analytic functions

We evaluate explicitly the integrals , with the being any one of the four Chebyshev polynomials of degree . These integrals are subsequently used in order to obtain error bounds for interpolatory quadrature formulae with Chebyshev abscissae, when the function to be integrated is analytic in a domain containing in its interior.