科研进展
-
(芮和兵、宋林亮)Affine Brauer category and parabolic category O in types B, C, D成果介绍:oA strict monoidal category referred to as affine Brauer category AB is introduced over a commutative ring κ containing multiplicative identity 1 and invertible element 2. We prove that morphism spaces in AB are free over κ. The cyclotmic (or level k) Brauer category CBf(ω) is a quotient category of AB. We prove that any morphism space in CBf(ω) is free over κ with maximal rank if and only if the u-admissible condition holds in the sense of (1.32). Affine Nazarov–Wenzl algebras (Nazarov in J Algebra 182(3):664–693, 1996) and cyclotomic Nazarov–Wenzl algebras (Ariki et al. in Nagoya Math J 182:47–134, 2006) will be realized as certain endomorphism algebras in AB and CBf(ω),respectively.2018-12-13
-
(姜立建)A two-stage ensemble Kalman filter based on multiscale model reduction for inverse problems in time fractional diffusion-wa成果介绍: 集合卡尔曼滤波广泛应用于动态系统的状态和参数估计,其观测数据是依据时间序列获得的。对高维或者非线性问题,需要的集合样本很多,反复计算正问题是非常耗时的。大多数贝叶斯反问题的后验通常只集中在先验支集的一小部分。因此,我们提出了两阶段的集合卡尔曼滤波,其核心是构造新先验并基于该先验构造有效的替代模型。该方法对集合卡尔曼滤波序列后验进行了改进,显著提高同化和反演效率。在第一阶段,我们基于广义多尺度有限元的粗化模型构造新先验,该先验只由一部分观测数据得到并剔除了后验的不重要区域。同时广义多尺度有限元可提粗网格上一组分层多尺度基函数, 对于构造降维模型自由度的选取给予了很大的灵活性。在第二阶段,我们将广义多尺度有限元和多项式混沌展开相结合在新先验上建立替代模型。为减少计算正问题的次数,我们采用稀疏多项式混沌展开。基于数据的动态特性,替代模型将会同步数据的更新。与标准的集合卡尔曼滤波相比较,该方法可获得更精确的估计并显著提高了探索后验的效率。我们还将其应用到非高斯模型和分层模型,进一步扩展了该方法在贝叶斯反问题中的适用性。2018-12-05
-
(姜立建)Adaptive least-squares mixed Generalized multiscale finite element methods成果介绍:最小二乘混合多尺度有限元方法可以同时精确求解复杂多孔介质中达西流问题中的速度与压力。此方法不需要满足速度与压力的多尺度空间的相容性条件,从而可以更加自由的选取速度和压力的多尺度解空间。 为了更高效的求解此类问题,我们构造了离线自适应的和在线自适应的方法。本文研究了两种可以有效求解高对比多孔介质单相达西流问题的自适应最小二乘混合多尺度有限元方法。离线自适应方法根据残差指标用迭代的方式增加局部速度多尺度基函数和压力基函数。这种方法可以根据高对比系数来得到更好的逼近空间。而在线自适应方法通过构造一系列新的在线速度和压力基函数来更快地降低解的误差。同时这种逼近空间的构造也考虑了源项的信息。两种自适应方法都能得到相比均匀增加自由度更精确的解,并且用较少的基函数达到了更高的精度。我们也给出了自适应最小二乘混合多尺度有限元的收敛性分析。数值结果显示当我们选取合适个数的初始基函数,在线自适应方法比离线自适应方法以及均匀增加法的收敛速度都要快。2018-12-05
-
(郑恺)Geodesics in the space of Kähler cone metrics, II. Uniqueness of constant scalar curvature Kähler cone metrics成果介绍: In this article, we give a complete construction of geodesics in the space of Kähler cone metrics (cone geodesics) and we address the problem on the uniqueness of constant scalar curvature Kähler (cscK) cone metrics, when the cone angle stays in the whole interval (0,1). The part when the angle in [1/2,1) requires new weighted function spaces and new analytic techniques. We determine the asymptotic behaviour of both cone geodesics and cscK cone metrics, prove the reductivity of the automorphism group and establish the linear theory for the Lichnerowicz operator, which immediately implies the openness of the path deforming the cone angles of cscK cone metrics.2018-12-03
-
(王琤)A Posteriori Error Estimates of Two-Grid Finite Element Methods for Nonlinear Elliptic Probl...成果介绍: 自适应算法是一种根据后验误差估计,并按照特定自适应策略进行自动调整以改进求解过程的数值方法,其核心是后验误差估计与自适应策略。将自适应算法与有限元、有限体或间断有限元等离散方法结合,可构造一类求解具有不光滑解的微分方程的高效算法。两重网格算法是求解非线性微分方程的一类有效数值算法。该方法仅在粗网格上求解非线性问题,而在细网格上求解相应的线性化问题。适当地选择粗细网格,可在数值解收敛阶不降低的同时,显著地减少计算量,从而提高算法效率。本文研究了求解二阶非线性椭圆边值问题的两重网格算法的残量型后验误差估计,构造了其范数误差的可计算的上下界估计,数值实验验证了所提出的后验误差估计子的有效性。2018-04-19
-
(周海港)Counting zeros in quaternion algebras using Jacobi forms成果介绍: 本文利用Jacobi形式理论研究有理数域上四元代数的极大order中一些元素的个数p(n,r),这些元素的特征多项式等于任意给定的二次多项式x2-rx+n=0。令N是无平方因子正整数,QN是在N的素因子处分歧的正定四元代数。我们新定义的类数HN(n) 推广了经典的Hurwitz类数H(n), 证明了这些个数p(n,r)的加权均值等于HN(4n-r2), 特别在N=2,3,5,7,13 的时候,p(n,r)就等于HN(4n-r2)的倍数。在证明过程中,我们构造出level为N的权为2的Jacobi Eisenstein级数,并明确地计算出其傅里叶系数,还研究了Hecke算子在由四元代数极大order得到的theta级数上的特征形式。我们推广了Deuring,Eichler,Gross和Pizer等人相关的工作, 作为推论,我们给出著名的Eichler迹公式一个新的证明,还给出四元代数理想类数和简洁的型数公式,而Eichler和Pizer都曾给出形式比较复杂的型数公式。2018-04-13
-
(芮和兵,宋林亮)Isomorphisms between simple modules of degenerate cyclotomic Hecke algebras成果介绍:We give explicit isomorphisms between simple modules of degenerate cyclotomic Hecke algebras defined via various cellular bases. A special case gives a generalized Mullineux involution in the degenerate case.2018-04-13
-
(尚轶伦)Subgraph robustness of complex networks under attacks成果介绍:大规模复杂系统不可避免地包含各种不可观测数据,这些缺失的信息影响着系统的可靠性和网络的安全性。本文系统地研究了数据缺失对网络稳健性的影响,首次提出了基于采样的子图稳健性理论计算框架。本文解析地计算了Erdos-Renyi随机网,随机正则网和无标度网的子图稳健性。结果表明子图稳健性能更有效地反映系统的各类受损状态,信息缺失程度对不同网络拓扑具有各自独特的特征效应,合适的采样统计方法在研究含信息缺失的网络可靠性中具有关键作用。研究利用了社会、通讯、生物等系统的数据进行验证。该成果以长文(Regular Paper)的形式发表。2017-09-21
-
(王鹏) Classification of Willmore two-spheres in the 5-dimensional sphere成果介绍:S^n中的Willmore二维球面分类问题是一个长期的公开问题。这一问题由Bryant在1984年的经典文章中首次讨论,并给出了n=3时的分类。之后Ejiri在1988年的PLMS文中给出了n=4时的分类,以及高余维时S-Willmore(具有对偶Willmore曲面)的Willmore球面的分类。 本文在n=5时解决了这一问题。我们证明此时在共形等价意义下,S^n中的Willmore二维球面必为以下三类曲面中的一类: (1) S^4中的超共形曲面; (2) R^5中的极小曲面; (3)由R^5中的分支极小曲面做一次伴随变换得到。特别地,这类Willmore球面不存在对偶Willmore曲面。 通过对于R^n中极小曲面的细致分析,我们构造了分类定理中类型(3)的Willmore球面的新例子。2017-09-19
-
(唐炎林)Testing the presence of significant covariates through conditional marginal regression成果介绍:科研工作者有时对协变量的相对重要性有一些先验信息,以此来筛掉一些协变量。一个很重要的问题是,在最相关的协变量已经被包含在模型中时,那些被剔除的协变量中是否存在有预测能力的变量。我们在给定一些预选协变量的条件下,检验被剔除的协变量中是否存在显著变量。我们构造了一个最大型检验统计量,证明了它的渐近分布是非标准的,并以此提出了条件自适应重抽样检验方法。为了容纳信号中不确定的稀疏性,我们又用最大型与求和型统计量的加权平均构造了一个混合检验统计量。我们在一般的假设下,证明了检验的相合性,诠释了它如何成为向前回归法的停止准则。通过数值模拟可以发现,即使在高维情形下,该方法可以控制总I型错误率,并在稀疏信号和稠密信号下都有很高的功效,且在协变量之间相依程度较高时有优势。我们利用一个eQTL数据诠释了我们所构造的方法。2017-09-14