SOURCE CODING THEOREMS FOR GENERAL SEQUENCE MODEL

In this paper, we give a coding theorem for general source sequence. A source sequence \[{\mathcal{T}^{(n)}} = \{ [{X^{(n)}},{p^{(n)}}({X^{(n)}})],[{X^{(n)}} \otimes {Y^{(n)}},{\rho ^{(n)}}({X^{(n)}},{Y^{(n)}})]\} \] is said to be \[({R^{(n)}},{d^{(n)}})\]-compress, if (i)\[{R^{(n)}}\], \[{d^{(n)}}\] are two sequences of real numbers \[{R^{(n)}} \to \infty \]； (ii) there exist \[{\varepsilon ^{(n)}} > 0({\varepsilon ^{(n)}} \to 0)\] and set \[{B^{(n)}} \subset {Y^{(n)}}\] so that \[|{B^{(n)}}| \leqslant {2^{{R^{(n)}}(1 + {\varepsilon ^{(n)}})}}\] and \[{p^{(n)}}{\text{\{ }}({X^{(n)}}){\rho ^{(n)}}({X^{(n)}},{B^{(n)}}) \leqslant {d^{(n)}}\} \geqslant 1 - {\varepsilon ^{(n)}}\] where \[{\rho ^{(n)}}({X^{(n)}},{B^{(n)}}) = \mathop {\min }\limits_{{y^{(n)}} \in {B^{(n}}} {\rho ^{(n)}}({X^{(n)}},{Y^{(n)}})\]. A \[{\mathcal{T}^{(n)}}\] is said to be \[({\mathcal{F}^{(n)}}{D^{(n)}})\]-information bounded, if (i)\[{\mathcal{F}^{(n)}} \to \infty \];(ii) there exist \[{\varepsilon ^{(n)}} > 0\] and conditional probability \[{Q^{(n)}}({Y^{(n)}}/{X^{(n)}})\] so that probability distribution \[{p^{(n)}}({X^{(n)}}{Y^{(n)}}) = {p^{(n)}}({X^{(n)}}){Q^{(n)}}({Y^{(n)}}/{X^{(n)}})\] is satisfied by \[\begin{gathered} {p^{(n)}}\{ ({X^{(n)}},{Y^{(n)}}):i({X^{(n)}},{Y^{(n)}}) \leqslant {\mathcal{F}^{(n)}}(1 + {\varepsilon ^{(n)}}), \hfill \ {\rho ^{(n)}}({X^{(n)}},{Y^{(n)}}) \leqslant {\rho ^{(n)}}\} \geqslant 1 - {\varepsilon ^{(n)}} \hfill \\ \end{gathered} \] where \[i({X^{(n)}},{Y^{(n)}}) = \log \frac{{{p^{(n)}}({X^{(n)}},{Y^{(n)}})}}{{{p^{(n)}}({X^{(n)}}){p^{(n)}}({Y^{(n)}})}}\] Theorem The necessary and sufficient conditions for a source sequence \[{\mathcal{F}^{(n)}}\] to be \[({R^{(n)}},{a^{(n)}})\]-compress is that \[{\mathcal{F}^{(n)}}\] must be \[({R^{(n)}},{a^{(n)}})\]-information bounded. From the theorem we obtain immediately the coding theorem and its converse for stationary and unstationary sources with memory.     

自反代数上的局部Lie $n$-导子

令$\mathcal{L}$是一个满足$X_{-} \neq X$和$(0)_{+} \neq(0)$的Banach空间$X$上的子空间格.我们证明了从${\rm Alg}\,L$映到$B(X)$中的每个局部Lie $n$-导子是一个Lie $n$-导子.     

强不可约算子的K0群及其近似相似不变量

令 $\mathcal H$ 表示复可分的Hilbert空间, ${\mathcal L}({\mathcal H})$ 表示 $\mathcal H$上全体有界线性算子的集合. 算子 $T \in{\mathcal L}{(\mathcal H)}$称为是强不可约的, 如果不存在非平凡的幂等元与 T 可交换. 对强不可约算子的近似不变量给出比以往文献更精细的刻画. 主要结果如下: 对任意具有连通谱的有界线性算子 T 及 ε>0, 存在强不可约算子A, 使得 $\|A-T\|<\varepsilon$, $V({\mathcal A}^{\prime}(A))\cong{\mathbb{N}}$, $K_{0}({\mathcal A}^{\prime}(A))\cong{\mathbb{Z}}$, 且 ${{\mathcal A}^{\prime}(A)}/{\rm rad}{{\mathcal A}^{\prime}(A)}$ 可交换, 这里${\mathcal A}^{\prime}(A)$ 表示A 的换位代数, 且 ${\rm rad}{\mathcal A}^{\prime}(A)$ 表示${\mathcal A}^{\prime}(A)$的Jacobson根.     

与群PSL2(\mathcal{R})相关的交叉积{\mathcal{R}(\mathcal{A}},α)的一点注记

在上半复平面$\mathbb{H}$上给定双曲测度$dxdy/y^{2}$, 群$G={\rm PSL}_{2}(\mathbb{R})$ 在$\mathbb{H}$上的分式线性作用导出了$G$在Hilbert空间$L^{2}(\mathbb{H}, dxdy/y^{2})$上的酉表示$\alpha$. 证明了交叉积 $\mathcal{R}(\mathcal{A}, \alpha)$是$\mathrm{I}$型von Neumann代数, 其中$\mathcal{A}= \{M_{f}:f\in L^{\infty}(\mathbb{H},dxdy/y^{2} )\}$. 具体地, 交叉积代数$\mathcal{R}(\mathcal{A}, \alpha)$与von Neumann代数$\mathcal{B}(L^{2}(P, \nu))\overline{\otimes}\mathcal{L}_{K}$是*-同构的, 其中$\mathcal{L}_{K}$是$G$中子群 $K$的左正则表示生成的群von Neumann代数.     

从$L^{\infty}$空间到Bloch型空间一类奇异积分算子的范数

本文研究了单位圆盘上从$L^{\infty}(\mathbb{D})$空间到Bloch型空间 $\mathcal{B}_\alpha$ 一类奇异积分算子$Q_\alpha, \alpha>0$的范数, 该算子可以看成投影算子$P$ 的推广,定义如下$$Q_\alpha f(z)=\alpha \int_{\mathbb{D}}\frac{f(w)}{(1-z\bar{w})^{\alpha+1}}\d A(w),$$ 同时我们也得到了该算子从 $C(\overline{\mathbb{D}})$空间到小Bloch型空间$\mathcal{B}_{\alpha,0}$上的范数.     

亚纯函数与其微分多项式的分担函数与正规族

设${\cal F}$为开平面内的区域$D$上的亚纯函数族, ${\cal F}$中任何函数$f(z)\in{\cal F}$, $f$的零点竽数至少为$k+1$.对于$D$内不等于零的解析函数$a(z)$.若$f(z)$与其微分多项式$D(f)$ IM分担$a(z)$,本文不仅得到${\cal F}$在$D$上正规, 而且得到相应于正规函数的结果.     

三角Banach代数的Lie弱顺从性

设$\mathcal {A,\ B}$ 是含单位元的Banach代数, $\mathcal M$ 是一个Banach $\mathcal {A,\ B}$-双模. $\mathcal {T}=\left ( \begin{array}{cc} \mathcal {A} & \mathcal M \\ & \mathcal {B} \\ \end{array} \right )$按照通常矩阵加法和乘法,范数定义为$\|\left( \begin{array}{cc} a & m \\ & b\\ \end{array} \right)\|=\|a\|_{\mathcal A}+\|m\|_{\mathcal M}+\|b\|_{\mathcal B}$,构成三角Banach 代数.如果从$\mathcal T$到其$n$次对偶空间$\mathcal T^{n}$上的Lie导子都是标准的,则称$\mathcal T$是Lie $n$弱顺从的.本文研究了三角Banach代数$\mathcal T$上的Lie $n$弱顺从性,证明了有限维套代数是Lie $n$弱顺从的.     

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

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

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

一个有向多重图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)$含有生成迹.     

Heisenberg群上与Schr\"odinger算子相关的Poisson半群的分数阶导数估计

令$\mathcal{L}=-{\Delta}_{\mathbb{H}^{n}}+V$为Heisenberg群$\mathbb{H}^{n}$上的Schr\"odinger算子, 其中${\Delta}_{\mathbb{H}^{n}}$为次Laplace算子, 非负位势$V$属于逆H\"{o}lder类. 本文中, 利用从属性公式, 我们给出与$\mathcal{L}$相关的Poisson半群的分数阶导数的正则性估计, 作为应用, 我们得到了与$\mathcal{L}$相关的Campanato型空间的一个刻画.     

涉及分担函数的正规定则

设k为正整数,M为正数;F为区域D内的亚纯函数族,且其零点重级至少为k;h为D内的亚纯函数(h(z)≠0,∞),且h(z)的极点重级至多为k.若对任意给定的函数f∈F,f与f~((k))分担0,且f~((k))(z)-h(z)=0?|f(z)|≥M,则F在D内正规.     

限制零点个数的亚纯函数的正规定则

设k,n(≥k+1)是两个正整数,a(≠0),b是两个有穷复数,F为区域D内的一族亚纯函数.如果对于任意的f∈F,f的零点重级大于等于k+1,并且在D内满足f+a[L(f)]~n-b至多有n-k-1个判别的零点,那么F在D内正规·这里L(f)=f~((k))(z)+a_1f~((k-1))(z)+…+a_(k-1)f'(z)+a_kf(z),其中a_1(z),a_2(z),…,a_k(z)是区域D上的全纯函数.     

分担一个亚纯函数的亚纯函数族的正规定则

Let F be a family of meromorphic functions in D,and let Ψ(≠0) be a meromorphic function in D all of whose poles are simple.Suppose that,for each f ∈F,f≠0 in D.If for each pair of functions {f,g}(?) F,f' and g' share Ψ in D,then F is normal in D.     

分担值与正规族

设F是平面区域D上的亚纯函数族,a,b是两个有穷非零复数.如果■ff∈F,f(z)=a■f~((k))(z)=a,ff~((k))(z)=b■f~((k+1))(z)=b,且f-a的零点重数至少为k(k≥3),那么函数族F在D内正规;当k=2时,在条件a≠4b的情况下,同样有函数族F在D内正规.     

涉及重级零点的亚纯函数的拟正规定则

设F为区域D内的只有重级零点的亚纯函数族,H(z)为区域D内的非常数亚纯函数,且存在v∈N,使得对于任意的a∈C,n(D,1/H(z)-a)≤v.如果对于任意的f∈F,f′(z)≠H′(z),那么F在区域D内v阶拟正规.     

Hardy-Sobolev类上的Bohr型不等式

Let β 〉 0 and Sβ ：= {z ∈ C ： ｜Imz｜ 〈β} be a strip in the complex plane. For an integer r ≥ 0, let H∞^Г,β denote those real-valued functions f on R, which are analytic in Sβ and satisfy the restriction ｜f^（r）（z）｜ ≤ 1, z ∈ Sβ. For σ 〉 0, denote by Bσ the class of functions f which have spectra in （-2πσ, 2πσ）. And let Bσ^⊥ be the class of functions f which have no spectrum in （-2πσ, 2πσ）. We prove an inequality of Bohr type
‖f‖∞≤π/√λ∧σ^r∑k=0^∞（-1）^k（r＋1）/（2k＋1）^rsinh（（2k＋1）2σβ）,f∈H∞^r,β∩B1/σ,
where λ∈（0,1）,∧and ∧′are the complete elliptic integrals of the first kind for the moduli λ and λ′=√1- λ^2,respectively,and λ satisfies
4∧β/π∧′=1/σ.
The constant in the above inequality is exact.     

广义超特殊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时...     

3$\times$3阶上三角型算子矩阵的可能谱

Let H1, H2 and H3 be infinite dimensional separable complex Hilbert spaces. We denote by M（D,V,F） a 3×3 upper triangular operator matrix acting on Hi ＋H2＋ H3 of theform M（D,E,F）=（A D F 0 B F 0 0 C）.For given A ∈ B（H1）, B ∈ B（H2） and C ∈ B（H3）, the sets ∪D,E,F^σp（M（D,E,F））,∪D,E,F ^σr（M（D,E,F））,∪D,E,F ^σc（M（D,E,F）） and ∪D,E,F σ（M（D,E,F）） are characterized, where D ∈ B（H2,H1）, E ∈B（H3, H1）, F ∈ B（H3,H2） and σ（·）, σp（·）, σr（·）, σc（·） denote the spectrum, the point spectrum, the residual spectrum and the continuous spectrum, respectively.     

一类整函数系数微分方程解的复振荡

本文研究了微分方程f~(k) A_((k-1))f~((k-1)) … A_0f=F(k≥2)解的增长级和零点收敛指数,其中A_j=B_je~(P_j),j=0,1,…,k-1,B_j(z)为整函数,P_j(z)为多项式,σ(B_j)＜degP_j．     

基于有限辛空间的一致偏序集和Leonard对

设F_q为q个元素的有限域,q是一个素数的幂.令F_q~((2v))是F_q上的2v维辛空间,M(m,s;2v)表示辛群作用在F_q~((2v))上的子空间的轨道.L(m,s;2v)是M(m,s;2v)的子空间生成的集合.若按照子空间的包含关系来规定L(m,s;2v)的序,则得一偏序集,记为L_O(m,s;2v).本文,首先构造了L(m,s;2v)上的子偏序集L_O(m,s;2v),然后证明这个子偏序集是强一致偏序的.最后利用这个偏序集构造了Leonard对.