参系数零维分片代数簇的实零点

分片代数簇是一些多元样条函数的公共零点集. 文中表明: 解参系数分片代数簇问题可转化为解有限个包含严格不等式的参系数多项式系统. 利用半代数系统的正则分解和柱形代数分解方法, 提出了计算零维参系数分片代数簇无挠实零点数的上确界, 以及达到上确界时实零点在各个胞腔内的数目分布情形的算法. 该算法同时能产生达到上确界的充要条件, 以及达到上确界时实零点数在各个$n$维胞腔内 取得某种分布的充要条件. 也给出了另一算法, 用于产生零维分片代数簇在$n$维复形中的 各个$n$维胞腔内恰有指定数目的相异无挠实零点的充分必要条件.     

关于子空间计数的CARLITZ公式

域 GF(q)上 n 维线性空间 V_n(q)的所有子空间在包含关系之下构成的子空间格(?)_n(q)同 n 个原子的布尔代数之间的相似性于近年来得到了广泛的重视.熟知(?)_n(q)中 k 维子空间以 Gauss 二项系数     

实对称型上的Schur子空间及应用

本文构作了Schur型多项式,将其作为研究实对称型的基础.研究了具有零点(1,1,...,1)的实对称型形成的子空间,即Schur子空间.建立了这种子空间的构造性理论,并应用于计算(构造)实代数几何中比较关心的对称型正性判定问题,以及给出一些特殊类型的Hilbert第17问题的构造解.     

一类半单Hopf代数的结构

设k是特征为零的代数闭域,H是k上的pq~2维Frobenius型半单Hopf代数,其中p,q为不同的素数.本文证明了,如果p>q且H~*也是Frobenius型Hopf代数,则H是q~2维群代数A与A上p维Yetter-Drinfeld Hopf代数R的双积,即H≌R#A.作为例子,本文还证明了任意63维或68维的半单Hopf代数均为Frobenius型Hopf代数.     

复Finsler流形上的Koppelman-Leray-Norguet公式

利用不变积分核(Berndtsson核),复Finsler度量和联系于Chern-Finsler联络的非线性联络,研究复Finsler流形上具有逐块光滑C~((1))边界的有界域上(p,q)型微分形式的积分表示,得到了(p,q)型微分形式的Koppelman-Leray-Norguet公式和■-方程的解．作为应用,利用复Finsler度量和联系于Chern-Finsler联络的非线性联络,给出了Stein流形上具有逐块光滑C~((1))边界的有界域上(p,q)型微分形式的Koppelman- Leray-Norguet公式以及■-方程的解,并且得到了Stein流形上实非退化强拟凸多面体上(p,q)型微分形式的积分表示式和■-方程的解．     

实轮换对称型及其半正定性判定的可读证明

可读证明是不等式机器证明领域中的热点问题.针对具有对称零点的实轮换对称型,文章提出了其线性空间的一组基以及分拆算法和两种分拆形式用于对不等式进行可读证明研究.讨论了该线性空间的维数,以及轮换对称型半正定性的判别方法.给出了一类具有对称零点的轮换对称型的半正定性判定条件.大量实例表明此分拆方式在轮换对称型半正定性的判定及可读证明上具有很好的实用性.     

用组合方法证明Gaussian系数恒等式

设F_q是q个元素的有限域,其中q是素数的幂,F_q~n是F_q上n维向量空间,用[n/m]_q表示Gaussian系数,它可看作为F_q~n的m维子空间的个数.用组合方法证明了几个Gaussian系数恒等式.     

C(X)中的连续选择问题(Ⅰ):拟Haar子空间

我们称C(X)的有限维子空间G为拟Haar子空间,如果每个函数g∈G满足下面二个条件: (1)card(bdZ(g))≤dim{p∈G:intZ(g)Z(p)}=:r_g; (2)g至多有r_g-1个变号点;这里Z(p)表示p的所有零点的集合,card(bdZ(g))表示Z(g)的边界点集bdZ(g)的点的个数. 我们在此文中证明了拟Haar子空间具有某些类似于样条函数的性质.     

线性格中t-交反链的LYM-型不等式

线性格Ln(q)是q元域上n维线性空间的所有子空间组成的格.两个子空间称为t-交的,如果它们交空间的维数不小于t.已知线性格的1-交反链满足LYM(Lubell-Yamamoto-Meschalkin)-型不等式,本文讨论线性格中t-交反链的LYM-型不等式,并在一些特殊情形下证明该不等式.     

有限几何与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维子空间     

Study of the blow-up of solutions of systems of equations of hydrodynamic type

Mathematical Notes - We study the initial boundary-value problem for three-dimensional systems of equations of pseudoparabolic type. The system is similar to the Oskolkov system, but differs from...     

Distribution of types of symmetry of tensors of high degree

The asymptotic distribution of tensors of degree N in symmetry types is studied in this paper.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 155, pp. 181–186, 1986.     

Characterization of types of asymptotic discernibility of families of hypotheses

We give a characterization of the types of asymptotic discernibility of families of hypotheses in the case of hypothetical measures that are not, in general, mutually absolutely continuous. The case when the logarithm of the likelihood ratio admits an asymptotic expansion of the type of an expansion with local asymptotic normality is examined in detail. Examples are studied.Translated fromTeoriya Sluchainykh Protsessov, Vol. 15, pp. 64–71, 1987.     

Axiomatizability of reducts of algebras of relations

In this paper, we prove that any subreduct of the class of representable relation algebras whose similarity type includes intersection, relation composition and converse is a non-finitely axiomatizable quasivariety and that its equational theory is not finitely based. We show the same result for subreducts of the class of representable cylindric algebras of dimension at least three whose similarity types include intersection and cylindrifications. A similar result is proved for subreducts of the class of representable sequential algebras. Received October 7, 1998; accepted in final form September 10, 1999.     

Lengths of periods of continued fractions of square roots of integers

Empirical study of the period’s length T of the continued fractions of $\sqrt{Q}$ (for growing integers Q) shows several strange asymptotical results, for instance, $T\leq C\sqrt{Q}\ln{Q}$ . These results show important differences between the statistics of the elements of the continued fractions of random real numbers and of square roots of random integers.