α2-独立数为2的有向图中的迹,路和圈

设α₂(D)=max{|X|:X?V(D)且D[X]不含有向2-圈}是有向图D的α₂ (D)-独立数.在文献[Proc.London Math.Soc.,42 (1981) 231-251]中,Thomassen构造了满足κ(D)=α(D)的非哈密尔顿有向图D,以此证明Chvátal-Erd?s定理在有向图情形下不能得到自然推广.Bang-Jensen和Thomassé提出如下猜想:每一个满足弧强连通度大于等于其独立数的有向图一定包含生成闭迹.对于满足弧强连通度大于等于其α2(D)-独立数的有向图是否包含生成迹这一问题,目前仍未解决.如果对于D中的任意两个顶点x和y,D包含生成(x,y)-迹,或者生成(y,x)-迹,则称有向图D是弱迹连通的.如果对于D中的任意两个顶点x和y,D既包含生成(x,y)-迹又包含生成(y,x)-迹,则称D是强迹连通的.本文在确定两个强连通有向图类M和H的基础上,研究了在满足α₂(D)=2条件下,有向图D的相关结果,并得到以下结论:(ⅰ) D是哈密尔顿的当且仅当D?M.(ⅱ) D是弱迹连通的.(...     

有向线图的限制性连通度

设D=（y（D）,A（D））是一个强连通有向图．弧集S A（D）称为D的k-限制性弧割,如果D-S中至少有两个强连通分支的阶数大于等于后．最小k-限制性弧割的基数称为k-限制性弧连通度,记作Ak（D）．k-限制性点连通度Kk（D）可以类似地定义．有k-限制性弧割（k-限制性点割）的有向图称为λk-连通（kk-连通）有向图．本文研究有向图D的限制性弧连通度和其线图L（D）的限制性点连通度的关系,证明了对任意λk-连通有向图D,kk（L（D））≤λk（D）,当k=2,3时等式成立;若L（D）是Kk（k-1）连通的,则λk（D）≤Kk（k-1）（L（D））;特别地,若D是一个定向图且L（D）是Kk（k-1）／2．连通的,贝0Ak（D）≤Kk（k-1）,2（L（D））．     

关于循环有向图的强连通度

本文定义的循环有向图D(n;S)在分布式环形计算机互连网络设计中被广泛运用。本文证明了D(n;S)的强连通度k>2/3|S|。     

有向循环图强连通度的下界

为简便计,本文采用文[1]中的定义和符号,而未说明的概念或符号引自[3].本文仅讨论有限、简单有向图. 有向图D=(V,A)称为强连通的,如果对D的任两顶点u与v,在D中同时存在(u,v)—有向路和(v,u)—有向路,C(?)V称为D的点割集,如果D—C非强连通或是单点.D的所含点数最少的点割集称为最小点割集,其阶数定义为D的强连通度,记为k(D)或k. 循环有向图D(n,S)定义如下:     

强定向图的k-强距离

对强连通有向图D的一个非空顶点子集S,D中包含S的具有最少弧数的强连通有向子图称为S的Steiner子图,S的强Steiner距离d(S)等于S的Steiner子图的弧数. 如果|S|=k, 那么d(S)称为S的k-强距离. 对整数k≥2和强有向图D的顶点v,v的k-强离心率sek(v)为D中所有包含v的k个顶点的子集的k-强距离的最大值. D中顶点的最小k-强离心率称为D的k-强半径,记为sradk(D),最大k-强离心率称为D的k-强直径,记为sdiamk(D). 本文证明了,对于满足k+1≤r,d≤n的任意整数r,d,存在顶点数为n的强竞赛图T′和T″,使得sradk(T′)=r和sdiamk(T″)=d;进而给出了强定向图的k-强直径的一个上界.     

有向图的边割(X,Y)中｜X｜和｜Y｜的下界与有向图的极大性和超级性

在已有的极大边连通、超级边连通、极大局部边连通有向图概念的基础上,提出超级局部边连通有向图的概念,对一般的、二部的、基础图的团数至多为p的有向图、定向图分别给出｜(X,Y)｜＜δ(D)的边割(X,Y)、非平凡的最小边割(X,Y)中｜X｜和｜Y｜的下界,据此分别得到极大边连通、超级边连通有向图的最小度条件.类似地分别得到...     

有向路和有向圈的控制集数

1引言设G=(V,E)为无向图．子集D (?)V(G)是无向图G的控制集,如果对于任意的y,∈V(G)-D,都存在x∈D,使xy∈E(G)．G的控制集D是G的分裂控制集,如果G中由V(G)-D导出的子图G〈V(G)-D〉是不连通的．G的一个控制集D是G的一个强(弱)控制集,若dG(x)≥d_G(y)(d_G(x)≤d_G(y)),其中d_G(x)表示G中与点x关联的边数．对于有向图H=(V,A),子集D(?)V(H)称为H的控制集,如果对于任意的y∈     

强哈密尔顿连通有向图的一个注记

利用收缩技术,证明了1)阶为n=2k且最小半度至少是k的有向图D是强哈密尔顿连通的,除非D属于某些图类;2)2强连通且包含n个顶点、(n-1)(n-2)+4条弧的有向图是强哈密尔顿连通的,除非D属于某些图类.     

广义de Bruijn和Kautz有向图的距离控制数

对于任意的正整数(?),强连通图G的顶点子集D被称为距离(?)-控制集,是指对于任意顶点v(?)D,D中至少含有一个顶点u,使得距离dG(u,v)≤(?)．图G距离(?)- 控制数γe(G)是指G中所有距离(?)-控制集的基数的最小者．本文给出了广义de Bruijn 和广义Kautz有向图的距离(?)-控制数的上界和下界,并且给出当它们的距离2-控制数达到下界时的一个充分条件．从而得到对于de Bruijn有向图B(d,k)的距离2-控制数γ2(B(d,k))= ．在该文结尾,我们猜想Kautz有向图K(d,k)的距离2-控制数γ2(K(d,k))= .     

极小强连通本原有向图的本原指数集

本文的主要结果为:(1)当一个n阶极小强连通本原有向图至少含三个不同圈长时,有γ(D)≤[1/2(n~2-6n+14)](当n≥14时)。(2)e(n)≥[1/2(n~2-6n+16)],即从6到[1/2(n~2-6n+14)]的所有正整数都是某个n阶极小强连通本原有向图的本原指数。(3)给出了n阶极小强连通本原有向图的本原指数集NE_n的明确表达式。     

具有最小弧数且基指数为3的本原不可幂对称无环带号有向图

Let S be a primitive non-powerful symmetric loop-free signed digraph on even n vertices with base 3 and minimum number of arcs. In [Lihua YOU, Yuhan WU. Primitive non-powerful symmetric loop-free signed digraphs with given base and minimum number of arcs. Linear Algebra Appl., 2011, 434(5), 1215-1227], authors conjectured that D is the underlying digraph of S with exp(D) = 3 if and only if D is isomorphic to ED n,3,3 , where ED n,3,3 = (V, A) is a digraph with V = {1, 2, . . . , n}, A = {(1, i), (i, 1) | 3≤i≤n} ∪ {(2i-1, 2i), (2i, 2i-1) | 2≤i≤ n/2 } ∪ {(2, 3), (3, 2), (2, 4), (4, 2)}). In this paper, we show the conjecture is true and completely characterize the underlying digraphs which have base 3 and the minimum number of arcs.     

有向跳图的生成欧拉子有向图

一个有向多重图D的跳图$J(D)$是一个顶点集为$D$的弧集,其中$(a,b)$是$J(D)$的一条弧当且仅当存在有向多重图$D$中的顶点$u_1$, $v_1$, $u_2$, $v_2$,使得$a=(u_1,v_1)$, $b=(u_2,v_2)$ 并且$v_1\neq u_2$.本文刻画了有向多重图类$\mathcal{H}_1$和$\mathcal{H}_2$,并证明了一个有向多重图$D$的跳图$J(D)$是强连通的当且仅当$D\not\in \mathcal{H}_1$.特别地, $J(D)$是弱连通的当且仅当$D\not\in \mathcal{H}_2$.进一步, 得到以下结果: (i) 存在有向多重图类$\mathcal{D}$使得有向多重图$D$的强连通跳图$J(D)$是强迹连通的当且仅当$D\not\in\mathcal{D}$. (ii) 每一个有向多重图$D$的强连通跳图$J(D)$是弱迹连通的,因此是超欧拉的. (iii) 每一个有向多重图D的弱连通跳图$J(D)$含有生成迹.     

On the existence of full dimensional KAM torus for fractional nonlinear Schrodinger equation

In this paper,\ we study fractional nonlinear Schrodinger equation (FNLS) with periodic boundary condition $$ \textbf{i}u_{t}=-(-\Delta)^{s_{0}} u-V*u-\epsilon f(x)|u|^4u,\ ~~x\in \mathbb{T}, ~~t\in \mathbb{R}, ~~s_{0}\in (\frac12,1),~~~~~~~~~~~~~~~~~~~~~~~~~~~~(0.1) $$ where $(-\Delta)^{s_{0}}$ is the Riesz fractional differentiation defined in [21] and $V*$ is the Fourier multiplier defined by $\widehat{V*u}(n)=V_n\widehat{u}(n),\ V_n\in\left[-1,1\right],$ and $f(x)$ is Gevrey smooth. We prove that for $0\leq|\epsilon|\ll1$ and appropriate $V$,\ the equation (0.1) admits a full dimensional KAM torus in the Gevrey space satisfying $ \frac12e^{-rn^{\theta}}\leq \left|q_n\right|\leq 2e^{-rn^{\theta}}, \theta\in (0,1),$ which generalizes the results given by [8-10] to fractional nonlinear Schrodinger equation.     

SOME EXTENSIONS OF PALEY-WIENNER THEOREM

§１．ＩｎｔｒｏｄｕｃｔｉｏｎａｎｄＭｏｔｉｖａｔｉｏｎＴｈｅｃｌａｓｉｃａｌＳｈａｎｎｏｎ’ｓｓａｍｐｌｉｎｇｔｈｅｏｒｅｍｈｏｌｄｓｄｕｅｔｏｔｈｅｆｏｌｏｗｉｎｇｔｗｏｒｅａｓｏｎｓ：（ｉ）ｑ（ｔ，ｕ）＝ｓｉｎπ（ｔ－ｕ）π（ｔ－ｕ）ｉｓｔｈｅ...     

On the absence of positive eigenvalues of Schrödinger operators with rough potentials

We prove the absence of positive eigenvalues of Schrödinger operators $ H=-\Delta+V $ on Euclidean spaces $ \mathbb{R}^n $ for a certain class of rough potentials $V$. To describe our class of potentials fix an exponent $q\in[n/2,\infty]$ (or $q\in(1,\infty]$, if $n=2$) and let $\beta(q)=(2q-n)/(2q)$. For the potential $V$ we assume that $V\in L^{n/2}_{{\rm{loc}}}(\mathbb{R}^n)$ (or $V\in L^{r}_{{\rm{loc}}}(\mathbb{R}^n)$, $r>1$, if $n=2$) and$\begin{equation*}$$\lim_{R\to\infty}R^{\beta(q)}||V||_{L^q(R\leq |x|\leq 2R)}=0\,.$$\end{equation*}$Under these assumptions we prove that the operator $H$ does not admit positive eigenvalues. The case $q=\infty$ was considered by Kato [K]. The absence of positive eigenvalues follows from a uniform Carleman inequality of the form$\begin{equation*}$$||W_m u||_{l^a(L^{p(q)})(\mathbb R^n)}\leq C_q||W_m|x|^{\beta(q)}(\Delta+1)u||_{l^a(L^{p(q)})(\mathbb{R}^n)}$$\end{equation*}$for all smooth compactly supported functions $u$ and a suitable sequence of weights $W_m$, where $p(q)$ and $p(q)$ are dual exponents with the property that $1/p(q)-1/p(q)=1/q$.     

整数距离图G(Dm,k,2)的点线性荫度

整数距离图G(D)以全体整数作为顶点集,顶点u,v相邻当且仅当|u-v|∈D,其中D是一个正整数集．本文讨论整数距离图的点线性荫度,记为vla(G(D))．对于m≥5k,设D_(m,k,2)={1,2,…,m}/{k,2k),得到vla(G(D_(m,1,2)))=■并决定出了G(D_(m,2,2))在某些特殊的仇值上点线性荫度的确切值以及当k≥3时G(D_(m,k,2))的点线性荫度的上、下界．     

Cauchy-Schwarz and means inequalities for elementary operators into norm ideals

The Cauchy-Schwarz norm inequality for normal elementary operators

implies a means inequality for generalized normal derivations

for all , as well as an inequality for normal contractions and

for all in and for all unitarily invariant norms

     

平衡子欧拉符号图及符号线图

符号图$S=(S^u,\sigma)$是以$S^u$作为底图并且满足$\sigma: E(S^u)\rightarrow\{+,-\}$. 设$E^-(S)$表示$S$的负边集. 如果$S^u$是欧拉的(或者分别是子欧拉的, 欧拉的且$|E^-(S)|$是偶数, 则$S$是欧拉符号图(或者分别是子欧拉符号图, 平衡欧拉符号图). 如果存在平衡欧拉符号图$S''$使得$S''$由$S$生成, 则$S$是平衡子欧拉符号图. 符号图$S$的线图$L(S)$也是一个符号图, 使得$L(S)$的点是$S$中的边, 其中$e_ie_j$是$L(S)$中的边当且仅当$e_i$和$e_j$在$S$中相邻,并且$e_ie_j$是$L(S)$中的负边当且仅当$e_i$和$e_j$在$S$中都是负边. 本文给出了两个符号图族$S$和$S''$,它们应用于刻画平衡子欧拉符号图和平衡子欧拉符号线图. 特别地, 本文证明了符号图$S$是平衡子欧拉的当且仅当$\not\in S$, $S$的符号线图是平衡子欧拉的当且仅当$S\not\in S''$.     

Symmetry-Breaking Phenomena in an Optimization Problem for some Nonlinear Elliptic Equation

Let $\Omega$ be a bounded domain in ${\bf R^n}$ with Lipschitz boundary, $\lambda >0,$ and $1\le p \le (n+2)/(n-2)$ if $n\ge 3$ and $1\le p< +\infty$ if $n=1,2$. Let $D$ be a measurable subset of $\Omega$ which belongs to the class $ {\cal C}_{\beta}=\{D\subset \Omega \quad | \quad |D|=\beta\} $ for the prescribed $\beta\in (0, |\Omega|).$ For any $D\in{\cal C}_{\beta}$, it is well known that there exists a unique global minimizer $u\in H^1_0(\Omega)$, which we denote by $u_D$, of the functional \[\quad J_{\Omega,D}(v)=\frac12\int_{\Omega}|\nabla v|^2\, dx+\frac{\lambda}{p+1}\int_{\Omega}|v|^{p+1}\, dx -\int_{\Omega}\chi_Dv\,dx \] on $H^1_0(\Omega)$. We consider the optimization problem $ E_{\beta,\Omega}=\inf_{D\in {\cal C}_{\beta}} J_D(u_D) $ and say that a subset $D^*\in {\cal C}_{\beta}$ which attains $E_{\beta,\Omega}$ is an optimal configuration to this problem. In this paper we show the existence, uniqueness and non-uniqueness, and symmetry-preserving and symmetry-breaking phenomena of the optimal configuration $D^*$ to this optimization problem in various settings.     

CYCLES EMBEDDING ON FOLDED HYPERCUBES WITH FAULTY NODES

Let FF_v be the set of faulty nodes in an n-dimensional folded hypercube FQ_n with |FF_v| ≤ n-1 and all faulty vertices are not adjacent to the same vertex. In this paper, we show that if n ≥ 4, then every edge of FQn-FF_v lies on a fault-free cycle of every even length from 6 to 2~n-2|FF_v|.