奇异奇特征正交几何中的几个计数定理

设F_q是奇特征的q元有限域,F_q~(2v+δ+l)是F_q上的2v+δ+l维行向量空间,O_(2v+δ+l,△)(F_q)是奇特征有限域F_q上的正交群.F_q~(2v+δ+l)在O_(2v+δ+l,△)(F_q)作用下,导出了它在F_q~(2v+δ+l)的子空间集合上的作用,因而F_q~(2v+δ+l)在O_(2v+δ+l,△)(F_q)的作用下划分成一些轨道M(m,2s+γ,8,Γ,k;2v+δ,△).采用正交群O_(2v+δ+l,△)(F_q)作用在F_q~(2v+δ)上子空间轨道长度的公式,并且利用矩阵初等行变换的方法,给出M(m,2s+γ,s,Γ,k;2u+δ,△)的长度公式,由此给出(m,2s+γ,8,Γ)型子空间和(m,2s+T,k)子空间的计数.     

有限域上奇异线性空间相关联的拟一致偏序集和Leonard对（英文）

设F_q~(n+1)是有限域F_q上的(n+l)-维奇异线性空间.令L(m,k;n+l,n)表示包含F_q~(n+1)中的所有满足0≤k_1≤k,0≤m_1≤m的(m_1,k_1)型子空间的集合.如果我们按包含关系规定L(m,k;n+l,n)上的偏序关系,那么L(m,k;n+l,n)是一个偏序集.本文证明了L(m,k;n+l,n)是一个拟一致偏序集并且利用L(m,m;n+l,n)构造了一个Leonard对.     

基于辛空间中全迷向子空间的纠错码（英文）

设F_q~(2v)是q元有限域F_q上的2v维辛空间.对于给定的整数0≤m≤v,设M(m,0;2v)是F_q~(2v)的所有m维全迷向子空间的集合,而M(2v)=U_(m=0)~v=M(m,0;2v).本文给出了M(2v)中码的大小的界,并且证明了在给出M(m,0;2v)中的码达到Wang-Xing-SafaviNaini界当且仅当它是某个Steiner结构.     

两个新高斯系数恒等式的证明

设F_q是q个元素的有限域,其中q是素数的幂,利用有限域F_q上n维向量空间F_q~((n))中子空间的几何意义及其计数公式证明了两个新的高斯系数恒等式.     

仿射辛群作用下的面轨道生成的格

设ASU(2v,F_q)是F_q上的2v维仿射辛空间,ASp_(2v)(F_q)是F_q上的2v次仿射辛群,设M(m,s)是ASp_(2v)(F_q)作用下的(m,s)面的轨道,用L(m,s)表示M(m,s)中面的交生成的集合.讨论了各轨道生成的集合之间的包含关系,一个面是由给定M(m,s)生成的集合中的一个元素的条件,以及L(m,s)何时做成几何格.     

奇异伪辛群作用下子空间轨道的长度

设F_q是q个元素的有限域,q是2的幂,F_q~(2ν+δ+l)是F_q上2ν+δ+l维行向量空间,Ps_(2ν+δ+l,2ν+δ)(F_q)是F_q上级数为2ν+δ+l而秩为2ν+δ的伪辛群.F_q~(2ν+δ+l)在Ps_(2ν+δ+l,2ν+δ)(F_q)的作用下划分成一些子空间轨道Μ(m,2s+τ,s,∈,k;2ν+δ,2ν+δ).采用矩阵初等行变换的方法,给出轨道Μ(m,2s+τ,s,∈,k;2ν+δ,2ν+ε)的长度.     

利用奇异辛空间中部分(2,0,1)型子空间构作的结合方案

设F_q~(2v+1)是有限域F_q上(2v+l)维的奇异辛空间.设K是F_q~(2v+l)上的一个固定的极大全迷向子空间,且Ω是不包含在K中的所有(1,0,0)型子空间构成的集合.本文利用所有包含Ω中的一个子空间的(2,0,1)型子空间构作了一类结合方案,并计算出这类结合方案的所有交叉数.     

有限几何与PBIB设计(Ⅰ)

设q为素数幂,F_q是有q个元素的有限域。记F_q上满足TKT′=K的全体2y阶方阵T对于矩阵的乘法成群,叫做F_q上的2y阶辛群,记作S_p_(2y)(F_q)。当把S_p_(2y)(F_q)看作F_q上的2y维向量空间V_(2y)(F_q)上的变换群时,我们就得到所谓辛空间或辛几何,记作SV_(2y)(F_q)。 设P是F_q上的秩为m的m×2y矩阵。我们约定同一个符号P也表示它所代表的m维子空间。若PKP′的秩(一定为偶数)为2s,就称P为SV_(2y)(F_q)中的一个(m,s)型子空间。又设α,β是SV_(2y)(F_q)中的两个向量。若αKβ′=0,就称α与β正交。SV_(2y)(F_q)中与一个m维子空间     

有限几何与不完全区组设计的构作(Ⅲ)有限域上酉几何中的计数定理及其应用

<正> 以 F_q~2表 q~2个元素的有限域,q 是一个素数的冪.F_q~2中有一个2阶自同构■这个自同构的固定子域是 F_q.考虑 F_q~2上的一个 n×n 非奇异厄米矩阵 H.所谓厄米矩阵是指满足条件■两个厄米矩阵 H_1和 H_2称为合同,如有 F_q~2上的 n×n 非奇异矩阵 P 存在,使■熟知,F_q~2上的 n×n 非奇异厄米矩阵一定合同于 n×n 单位矩阵I~((n)).     

有限几何与不完全区组设计的构作(Ⅰ)——有限域士辛几何中的若干计数定理

<正> §1.引言以 F_q 表 q 个元素的有限域,q 是一个素数的冪.考察 F_q 上所有 n 数组(x_1,x_2,…,x_n),x_i∈F_q,i=1,2,…,n,所组成的 n 维向量空间 V_n(F_q).V_n(F_q)的任—m 维子空间 P(1≤m≤n)都可以用一个秩为 m 的 m×n 矩阵来代表,只要这个矩阵的 m 个行向量组成 P 的一组基.我们把代表这个子空间 P 的矩阵仍记作 P.自然两个秩为 m 的m×n 矩阵 P 和 Q 代表同一子空间,当且仅当有 m×m 非奇异矩阵 A 存在使得 P=AQ.以下设 n=2ν是偶数,并考察 F_q 上的2ν×2ν的非奇异交错矩阵     

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.     

Projektive Skalen,Tschebyscheff-Polynome und Fibonacci-Zahlen

Summary. Let $\widehat{\widehat T}_n$ and $\overline U_n$ denote the modified Chebyshev polynomials defined by $\widehat{\widehat T}_n (x) = {T_{2n + 1} \left(\sqrt{x + 3 \over 4} \right) \over \sqrt{x + 3 \over 4}}, \quad \overline U_{n}(x) = U_{n} \left({x + 1 \over 2}\right) \qquad (n \in \mathbb{N}_{0},\ x \in \mathbb{R}).$ For all $n \in \mathbb{N}_{0}$ define $\widehat{\widehat T}_{-(n + 1)} = \widehat{\widehat T}_n$ and $\overline U_{-(n + 2)} = - \overline U_n$, furthermore $\overline U_{-1} = 0$. In this paper, summation formulae for sums of type $\sum\limits^{+\infty}_{k = -\infty} \mathbf a_{\mathbf k}(\nu; x)$ are given, where $\bigl(\mathbf a_{\mathbf k}(\nu; x)\bigr)^{-1} = (-1)^k \cdot \Bigl( x \cdot \widehat{\widehat T}_{\left[k + 1 \over 2\right] - 1} (\nu) +\widehat{\widehat T}_{\left[k + 1 \over 2\right]}(\nu)\Bigr) \cdot \Bigl(x \cdot \overline U_{\left[k \over 2\right] - 1} (\nu) + \overline U_{\left[k \over 2\right]} (\nu)\Bigr)$ with real constants $ x, \nu $. The above sums will turn out to be telescope sums. They appear in connection with projective geometry. The directed euclidean measures of the line segments of a projective scale form a sequence of type $(\mathbf a_{\mathbf k} (\nu;x))_{k \in \mathbb{Z}}$ where $ \nu $ is the cross-ratio of the scale, and x is the ratio of two consecutive line segments once chosen. In case of hyperbolic $(\nu \in \mathbb{R} \setminus] - 3,1[)$ and parabolic $\nu = -3$ scales, the formula $\sum\limits^{+\infty}_{k = -\infty} \mathbf a_{\mathbf k} (\nu; x) = {\frac{1}{x - q_{{+}\atop(-)}}} - {\frac{1}{x - q_{{-}\atop(+)}}} \eqno (1)$ holds for $\nu > 1$ (resp. $\nu \leq - 3$), unless the scale is geometric, that is unless $x = q_+$ or $x = q_-$. By $q_{\pm} = {-(\nu + 1) \pm \sqrt{(\nu - 1)(\nu + 3)} \over 2}$ we denote the quotient of the associated geometric sequence.

     

参数函数$\epsilon$取边际值时的$GCF_\epsilon$集

Let ∈ :N → R be a parameter function satisfying the condition ∈(k) + k + 1 > 0and let T∈ :(0,1] →(0,1] be a transformation defined by T∈(x) =-1 +(k + 1)x1 + k-k∈x for x ∈(1k + 1,1k].Under the algorithm T∈,every x ∈(0,1] is attached an expansion,called generalized continued fraction(GCF∈) expansion with parameters by Schweiger.Define the sequence {kn(x)}n≥1of the partial quotients of x by k1(x) = ∈1/x∈ and kn(x) = k1(Tn-1∈(x)) for every n ≥ 2.Under the restriction-k-1 < ∈(k) <-k,define the set of non-recurring GCF∈expansions as F∈= {x ∈(0,1] :kn+1(x) > kn(x) for infinitely many n}.It has been proved by Schweiger that F∈has Lebesgue measure 0.In the present paper,we strengthen this result by showing that{dim H F∈≥12,when ∈(k) =-k-1 + ρ for a constant 0 < ρ < 1;1s+2≤ dimHF∈≤1s,when ∈(k) =-k-1 +1ksfor any s ≥ 1where dim H denotes the Hausdorff dimension.     

Boundedness Characterization of Maximal Commutators on Orlicz Spaces in the Dunkl Setting

On the real line, the Dunkl operators$$D_{\nu}(f)(x):=\frac{d f(x)}{dx} + (2\nu+1) \frac{f(x) - f(-x)}{2x}, ~~ \quad\forall \, x \in \mathbb{R}, ~ \forall \, \nu \ge -\tfrac{1}{2}$$are differential-difference operators associated with the reflection group $\mathbb{Z}_2$ on $\mathbb{R}$, and on the $\mathbb{R}^d$ the Dunkl operators $\big\{D_{k,j}\big\}_{j=1}^{d}$ are the differential-difference operators associated with the reflection group $\mathbb{Z}_2^d$ on $\mathbb{R}^{d}$.In this paper, in the setting $\mathbb{R}$ we show that $b \in BMO(\mathbb{R},dm_{\nu})$ if and only if the maximal commutator $M_{b,\nu}$ is bounded on Orlicz spaces $L_{\Phi}(\mathbb{R},dm_{\nu})$. Also in the setting $\mathbb{R}^{d}$ we show that $b \in BMO(\mathbb{R}^{d},h_{k}^{2}(x) dx)$ if and only if the maximal commutator $M_{b,k}$ is bounded on Orlicz spaces $L_{\Phi}(\mathbb{R}^{d},h_{k}^{2}(x) dx)$.     

Asymptotics of Laurent Polynomials of Odd Degree Orthogonal with Respect to Varying Exponential Weights

Let denote the linear space over spanned by . Define the (real) inner product , where V satisfies: (i) V is real analytic on ; (ii) ; and (iii) . Orthogonalisation of the (ordered) base with respect to yields the even degree and odd degree orthonormal Laurent polynomials , and . Define the even degree and odd degree monic orthogonal Laurent polynomials: and . Asymptotics in the double-scaling limit such that of (in the entire complex plane), , and (in the entire complex plane) are obtained by formulating the odd degree monic orthogonal Laurent polynomial problem as a matrix Riemann-Hilbert problem on , and then extracting the large-n behaviour by applying the non-linear steepest-descent method introduced in [1] and further developed in [2],[3].     

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”.     

Bounds on differences of adjacent zeros of Bessel functions and iterative relations between consecutive zeros

Bounds for the distance between adjacent zeros of cylinder functions are given; and are such that ; stands for the th positive zero of the cylinder (Bessel) function , , .

These bounds, together with the application of modified (global) Newton methods based on the monotonic functions and , give rise to forward ( ) and backward ( ) iterative relations between consecutive zeros of cylinder functions.

The problem of finding all the positive real zeros of Bessel functions for any real and inside an interval , 0$">, is solved in a simple way.

     

On the correlations of directions in the Euclidean plane

Let denote the repartition of the -level correlation measure of the finite set of directions , where is the fixed point and is an integer lattice point in the square . We show that the average of the pair correlation repartition over in a fixed disc converges as . More precisely we prove, for every and , the estimate

We also prove that for each individual point , the -level correlation diverges at any point as , and we give an explicit lower bound for the rate of divergence.

     

三角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$弱顺从的.     

Primitive Ideals and Automorphisms of Quantum Matrices

Let be a field and q be a nonzero element of that is not a root of unity. We give a criterion for 〈0〉 to be a primitive ideal of the algebra of quantum matrices. Next, we describe all height one primes of ; these two problems are actually interlinked since it turns out that 〈0〉 is a primitive ideal of whenever has only finitely many height one primes. Finally, we compute the automorphism group of in the case where m ≠ n. In order to do this, we first study the action of this group on the prime spectrum of . Then, by using the preferred basis of and PBW bases, we prove that the automorphism group of is isomorphic to the torus when m ≠ n and (m,n) ≠ (1, 3),(3, 1). This research was supported by a Marie Curie Intra-European Fellowship within the 6th European Community Framework Programme and by Leverhulme Research Interchange Grant F/00158/X.