关于Jordan函数的gcd和函数的渐近估计

将整数$k$ 和 $j$的最大公约数记为$\gcd(k, j)$.设$k$为正整数, $f$为任意的算术函数, $r$是任一固定的整数. 其中$n$为任意正整数. 对实数$x \ge 2$, 我们定义与$f$相关联的gcd-和函数$M_r(x; f)$如下： $$M_r(x; f):=\sum\limits_{k \le x}\frac{1}{k^{r+1}}\sum\limits_{j=1}^k j^rf(\gcd(k,j)).$$ 本论文中, 我们主要利用Kiuchi在2017年所得到的关于$M_r(x; f)$ 的一个恒等式, 以及初等和解析方法, 给出了$ M_r(x;J_k)$的渐近公式.若当函数$J_k$定义为$J_k(n):=n^k\prod\limits_{p|n}(1-\frac{1}{p^k})$, 这加强了Kiuchi和Saad eddin在2018年所得到的结果     

一些特殊第二类Stirling数的p-adic赋值

设k和n为非负整数.第二类Stirling数表示将n个元素划分为恰好k个非空集合的个数,记为S（n,k）.对任意给定的素数p和正整数n,存在惟一的整数a和m≥0使得n=ap^m,其中（a,p）=1（a与p互素）.称m为n的p-adic赋值,并记v_p（n）=m.第二类Stirling数的p-adic赋值是数论和代数拓扑领域的重要问题.本文研究了一些特殊第二类Stirling数S（pⁿ,2^tp）的p-adic赋值,其中p为奇素数,t和n为正整数.本文证明当n≥2,2≤2^tp(S（pⁿ,2^tp）)≥n+2-2^t,推广了Zhao和Qiu最近的结果.     

关于$1,1/3^{s_{1}},...,1/(2n-1)^{s_{n-1}}$的第二类初等对称函数的整性

设$d,\ m$ 与 $n$ 均为正整数. 在1915年, Theisinger证明当$n\ge 2$时,$n$次调和和 $\sum_{k=1}^n\frac{1}{k}$不是一个整数. 在1946年,Erd\H{o}s和Niven 证明仅有有限多个$n$, 使得关于$1/m, 1/(m+d),..., 1/(m+nd)$ 的一个或多个初等对称函数是整数.在2015年, Wang 和 Hong 证明当 $n\ge 2$ 时,$1,1/3,...,1/(2n-1)$ 的所有初等对称函数均非整数.在本文中, 我们证明如下结果成立: 如果$n\ge 2$为正整数, 那么对任意$n$个正整数 $s_0,..., s_{n-1}$, 关于$1,1/3^{s_{1}},...,1/(2n-1)^{s_{n-1}}$的第二类初等对称函数 $$\sum\limits_{0\le i相似文献   

Stirling数关于3的一个整除性质

在本文中, 作者主要研究了第二类Stirling数S(n,k)及其差的3-adic赋值. 设m,n为正整数且nm4. 作者证明了ν3(S(3n+1,3m)－S(3n,3m))=n－m+3.     

关于单位分数的 Lazar 问题

设 $n$ 为任意正整数. 著名 Erd\H{o}s-Straus 猜想是指当 $n\ge 2$ 时, Diophantine 方程 $\frac{4}{n}=\frac{1}{x}+\frac{1}{y}+\frac{1}{z}$ 总有正整数解 $(x,y,z)$. 虽然有许多作者研究这个猜想, 但是至今它还未被解决. 设 $p\ge 5$ 为任意素数. 最近, Lazar 证明 Diophantine 方程 $ \frac{4}{p}=\frac{1}{x}+\frac{1}{y}+\frac{1}{z}$ 在区域 $xy<\sqrt{z/2}$ 内没有 $x$ 与 $y$ 互素的正整数解 $(x,y,z)$. 同时, Lazar 提出问题: 在上述方程中以 $5/p$ 替换 $4/p$, 是否有类似结果? 这也是 Sierpinski 提出的一个猜想. 在本文中, 我们证明 Diophantine 方程 $\frac{a}{p}=\frac{1}{x}+\frac{1}{y}+\frac{1}{z}$ 没有满足\ $x, y$ 互素且\ $xy<\sqrt{z/2}$ 的正整数解 $(x,y,z)$, 其中 $a$ 为满足\ $a<7\le p$ 的正整数. 这回答了上述 Lazar 问题, 并推广了 Lazar 的结果. 我们的证明方法和工具主要是利用有理数\ $\frac{a}{p}$ 的连分数表示.     

关于1, 1/2, …, 1/n的一类初等对称函数的2-adic赋值

设n和k为正整数且n≥k.本文考虑关于1,1/2,…,1/n的第k次初等对称函数■的2-adic赋值．设p为素数．2015年,Lengyel证明v_p(H(n,k))>-klog_pn+O_k(1),其中v_p(H(n,k))表示H(n,k)的p-adic赋值,O_k(1)表示一个依赖于k的常数．2017年,Leonetti和Sanna猜想：对所有足够大的正整数n,总存在一个正的常数c=c(p,k),使得v_p(H(n,k))<-clogn,并对不超过x的正整数n证明了当n的p-adic表示是以k-1的p-adic表示为起始值时,除了至多3x^0.835个例外之外此猜想是正确的．本文给出了H(n,2)的2-adic赋值的确切值或下界,部分验证了上述猜想．     

有关李型单群的$|cd(G)|-1$个特征标次数的图

文献[12]中已证明对于有限可解群$G$,都有$n(\Delta(G-m))\leq2$,其中$m\in cd(G)$.对于不可解群, 我们考虑单群的情况.若$G$交换或$cd(G)=\{1,a\}$,且$m=a$时,$cd(G)\backslash\{m\}=\varnothing$或$\{1\}$,此时定义 $n(\Delta(G-m))=0$.现令$G$是一个非交换单群.由有限单群分类定理知$G$是下列之一: 散在单群,$n$大于等于5的交错单群$A_{n}$,和李型单群.文献[13]中我们已讨论证明了交错单群$G\cong A_{n},n\geq 7$ 或$G$是散在单群,有$n(\Delta(G-m))\leq2$.由于$A_{5}\cong L_{2}(4)\cong L_{2}(5)$,$A_{6}\cong L_{2}(9)$. 且$cd(A_{5})=\{1,3,4,5\},cd(A_{6})=\{1,5,8,9,10\}$,即若$G\cong A_{5}$或$A_{6}$,则$n(\Delta(G-m))\leq3$. 本文主要是讨论李型单群的情况,可证明如下结论:若$G$是李型单群,则对任意$m\in cd(G)$,$\Delta(G-m)$ 至多有三个连通分支,即$n(\Delta(G-m))\leq3$.     

高阶Bernoulli数与两类Stirling数的恒等式

利用高阶Bernoulli数与第一类Stirling数S1(n,k)和第二类Stirling数S2(n,k)的定义,研究了其母函数的幂级数展开,揭示了高阶Bernoulli数和第一类Stirling数S1(n,k)、第二类Stirling数S2(n,k)之间的内在联系,得到了几个高阶Bernoulli数和第一类Stirling数S1(n,k)、第二类Stirling数S2(n,k)有趣的恒等式.     

哈密顿路径的饱和数

给定一个图$F$, 如果图$G$中不包含$F$,且在$G$中添加图$G$的补图$\overline{G}$的任意一条边$e$后得到的图$G+e$中包含$F$, 则称图$G$为$F$-饱和图. 设sat($n,F$)=min{|$E(G)$|:|$V(G)$|=$n$,$G$是$F$-饱和图. 证明了当$n\in K=\{34,35,36,37,44,45,52,53\}$时都有sat($n,P_{n}$)=$\left\lceil \frac{3n-2}{2} \right\rceil$, 并给出边数最少的哈密顿路径饱和图的一种构造方法.     

关于两个数论函数的一个整除式

证明了对于正整数n,当2n且n≠2αpq(α∈N),ω(n)=3时,σ(n)=kφ(n)(k∈N且k≤4)无正整数解,其中p,q为不同的奇素数.     

简约模李代数的上同调

令\,$G$\,为素特征代数闭域上简约连通的代数群, $\mathfrak{g}$\,是\,$G$\,的李代数. 本文研究当\,$p$-特征\,$\chi$\,具有标准\,Levi\,型时简约模李代数\,$\mathfrak{g}$\,的上同调. 当\,baby Verma\,模的最高权为\,$p$-正则时, 得到了\,baby Verma\,模和扭\,baby Verma\,模之间的扩张群非分裂的充分必要条件.     

剩余类环上多项式的同余性质

设Z/p~nZ是模p~n剩余类环.本文证明了U={f(x)∈Z/p~nZ[x]|f(a)≡0(modp~n),■a∈Z}是自由生成的Z/p~nZ-模,给出了它的一组基,还证明了商环(Z/p~nZ[x])/U是有限环,并通过这组基确定了商环(Z/p~nZ[x])/U中的元素个数.     

与分担值相关的正规族

设F为区域D上的亚纯函数族,a和b都是不为零的两个有穷复数(a/b不是正整数),若每个f∈F,f(z)=a(?)f^((k))(z)=a,且f-a的零点重级至少为k,当f((k))(z)=a,且f-a的零点重级至少为k,当f^((k))(z)=b时有|f(z)-a|≥ε,其中ε为正数.则F在区域D内正规.     

给定权集的赋权双圈图的谱半径(英文)

令B_(n,n+1)~W表示阶为n的赋权双圈图的集合,W={w_1,w_2,…,w_n+1},其中w_1≥w_2≥…≥w_n+1>0为权集合.本文确定了它们中谱半径最大的赋权双圈图的结构及部分权值的分布情况.     

$P_n$和$C_n^k$的Ramsey数

称Fk为图F的k幂次图,如果V(Fk)=V(F),且Fk中的任意两个顶点相邻当且仅当在F中的距离至多为k.给定图G和H,Ramsey数R(G,H)为最小的正整数N,使得完全图KN的任意红蓝-边着色都会含有一个红色的子图G或者蓝色的子图H.证明了渐近阶R(Pn,Ckn)=(n-1)(χ(Ckn)-1)+σ(Ckn)+o(n),其中k是常数.