有限温度张量重正化群方法及其在阻挫量子磁性研究中的应用

阻挫量子磁体中的新奇物态与效应是凝聚态物理研究的重要前沿方向,因其与高温超导、拓扑量子计算等的密切联系,近年来吸引了人们浓厚的研究兴趣。实验上,阻挫自旋液体候选材料的 新进展层出不穷,人们系统地研究了若干三角晶格、笼目晶格和六角Kitaev 阻挫磁体等材料,发 现其在一定条件下展现出自旋液体态的特征,但澄清其中的量子物态是充满挑战的量子多体问题。 作者最近的工作指出,可以从有限温度张量重正化群多体计算入手,开展热力学性质的精确计算 与分析,确定阻挫磁体的微观自旋模型,做出进一步理论预言并开展实验验证,从而建立量子磁性 系统的多体计算精确研究方案。有限温度张量重正化群方法是计算大尺寸二维阻挫量子自旋模型 有限温度性质的有力工具,在本文中作者首先介绍新近发展的系列张量重正化群方法,包括线性 和指数张量重正化群等。随后,作者讨论有限温度张量方法在三角晶格量子伊辛磁体TmMgGaO4 和六角晶格Kitaev 磁体α-RuCl3 的微观自旋模型中的具体应用：通过高精度和全面的多体计算, 揭示出其中存在演生U(1) 对称性与拓扑相变,以及高场量子自旋液体态等新颖的结论,这些理 论预言也陆续被实验所证实。通过上述实例,作者展示了有限温度张量重正化群计算方法在自旋 液体候选材料研究中的应用价值,并期待这些方法能在强关联量子物质研究中发挥重要作用。     

一个含参量广义积分的计算

广义积分，包括含参量的广义积分的计算，其计算方法较多，这些方法在一般大学数学教科书如《数学分析》、《复交函数》中均有所见。本文则是从一个线性微分方程的解出发来计算一个含参量的广义积分分。其中ｎ为自然数，ｘ≥０。本文推广了［１］（Ｐ．２８４）的结果。     

关于广群的顺从性

对第二可数局部紧广群Ｇ，若Ｇ是测度点点顺从的，则，反之，若Ｇ满足ｉ）ｕ→λｕ（Ｏ）连续，为相对紧开集；或ｉｉ）λｕ（Ｋ∩Ｋｃ）＝０，Ｋ为Ｇ中紧集；则若，对任意拟不变概率测度μ，存在η∈Ｃｃ（Ｇ），‖ηｎ‖Ｌ２（Ｇ，ν）＝１，使得∫ｆ（ｘ）ηｎ·ηｎ（ｘ）ｄν０（ｘ）→∫ｆ（ｘ）ｄν０（ｘ）     

共球有限点集的一类几何不等式

本文建立了Ｅｎ中共球有限点集的一类几何不等式，作为其特例，可以得到ｎ维单形的外接球半径与其子单形外接球半径之间的关系．     

Q_k(x)与F_k(x)的渐近公式

设ｎ，ｋ为自然数，Ｇ（ｎ）阶群中的同构类数，Ｆｋ（ｘ）与Ｑｋ（ｘ）分别表示不超过ｘ的自然数中使Ｇ（ｎ）＝ｋ的自然数、无平方因子自然数的个数．本文的目的是用Ｂｒｕｎ筛法证明Ｑｋ（ｘ）的条件渐近公式并对Ｆｋ（ｘ）的渐近性质做出了推测．     

关于低阶K群的若干问题

本文主要介绍了低阶Ｋ群Ｋ＿０，Ｋ＿１，Ｋ＿２及与它们相关的Ｂａｓｓ－Ｑｕｉｌｌｅｎ猜测、Ｂｉｒｃｈ－Ｔａｔｅ猜测研究的最新进展．Ｋ＿０与Ｋ＿１方面主要通过对Ｂａｓｓ～Ｑｕｉｌｌｅｎ猜测研究说明Ｋ＿０，Ｋ＿１的作用，同时也给出了一些多项式环上投射模自同构群的计算公式．在Ｋ＿２群方面，我们主要介绍了域上Ｋ＿２群，代数整数环上Ｋ＿２群以及著名的Ｂｉｒｃｈ－Ｔａｔｅ猜想．并且也给出了Ｋ＿２群一些计算方面的结果．     

关于Abel群上Cayley图的Hamilton圈分解

设Ｇ（Ｆ，Ｔ∩Ｔ＾－１）是有限Ａｂｅｌ群Ｆ上的Ｃａｙｌｅｙ图，Ｔ∩Ｔ＾－１只含２阶元，此文证明了当Ｔ是Ｆ的极小生成元集时，若ｄ（Ｇ）＝２ｋ，则Ｇ是ｋ个边不相交的Ｈａｍｉｌｔｏｎ圈的并，若ｄ（Ｇ）＝２ｋ＋１，则Ｇ是ｋ个边不相交的Ｈａｍｉｌｔｏｎ圈与一个１－因子的并。     

双格半群

本文给出格半群上对偶同构、双格半群、ST-格半群等概念,讨论了格上半群构成格群的几组充要条件,从而解决了格在什么情况下具有格群结构这一至今未解决的问题.同时研究了ST-格半群等的一些性质、指出格群类是双格半群类的一个真子类.     

具有2p阶二面体群次成份的本原群

本文确定了具有同构于2p 阶二面体群的极大子群的全部有限单群,进而得到了对于具有素数次二面体群次成份的本原置换群的一个完全分类.     

Ⅰ型不可约Riemann全对称空间在保距下的分类

相伴于Ⅰ型不可约正交对称 Lie 代数(U,θ)的 Riemann 全对称空间的保距诱导了(?)的一个令对应于 U 的θ不变点集 K 的(?)不变的自同构(?),且令(U,θ)的伴随空间的基本群π_1(p_u~*)不变.相伴于(U,θ)的 Riemann 全对称空间保距的充分必要条件是它们对应的π_1(p_u~*)的子群在上述(?)下同构.π_1(p_u~*)(?)(?)/Γ_0,由Aut U/Ad U 中令 K 不变的元在((?))/Γ_0 上的作用得到了π_1(p_u~*)的子群在上述元下的同构分类,因而得到了Ⅰ型不可约 Riemann 全对称空间在保距下的分类.