从线性逻辑,定量语义中汲取灵感旨在代表有关程序及其执行的定量信息:它们包括关系模型及其众多扩展,游戏语义和句法方法,例如非互动交叉点类型以及taylor的扩展。这些模型的关键特征是将程序解释为消耗资源“袋子”的证人。“袋子”通常被视为有限的多人,即商结构。在关系模型的分类中通常看到的另一种方法是使用无关紧要的结构(例如secience)与此处称为符号的显式形态有关,表达资源的交换。对称性显然是这些分类模型的核心,但我们认为它们的兴趣超出了这些模型,尤其是,在某些非分类的定量模型(例如加权关系模型或泰勒的扩展)中,对称性泄漏在数字形式下的组合解释形式并不总是清晰。在本文中,我们建立在一个最近的生物模型的基础上,称为Clairambault和Forest介绍的类似薄的群。不明确,细跨度具有对称性分解为两种偏光和负对称性的亚组。我们首先根据序列而不是家庭构建薄跨度原始指数的变体。然后,就刚性相交的类型和刚性资源术语而言,我们对薄跨度简单类型的the的解释进行了句法表征。最后,我们将薄跨度与加权的相对模型和广义结构物种相关联。这使我们能够展示这些模型中的某些数量如何反映两极分化的符号:特别是我们表明,加权的关系模型是从一般结构物种中计数的证人,除以一组正对称性的基本主教。
对称性是一种不变性:数学对象在一系列运算或变换下保持不变的性质。物理系统的对称变换是理解自然物理定律的基石之一。以恒定相对速度运动的观察者之间的对称性使伽利略提出了相对论原理,为现代物理学的基础提供了初步见解。正是控制麦克斯韦方程的对称性,即洛伦兹群,使爱因斯坦将伽利略的思想推广到狭义相对论,这是我们理解基本粒子运动学以及原子核稳定性的基础。在量子领域,由于自旋和统计学之间的深层联系,人们可以从对称性开始解释元素周期表。从更现代的角度来看,洛伦兹群的表示理论为开始组织相对论量子场理论提供了起点。基本粒子的量子数由对称群组织。对称群与规范对称性、自发对称性破缺和希格斯机制一起被用来构建基本粒子的标准模型,这是 20 世纪最伟大的科学成就之一。随着与扩展算子相关的各种新型对称性的发现,量子场论的最新研究正在经历一场进一步的革命。这些广义全局对称性 [1] 包括高阶形式对称性、范畴对称性(如高阶群对称性或不可逆对称性),甚至更普遍的子系统对称性等。这些新颖的对称性从根本上扩展了以前仅仅基于李代数和李群数学的标准对称概念,它们基于更先进的数学结构,概括了高阶群和高阶范畴。广义对称性有望对我们理解从凝聚态物理学到量子信息、高能物理学甚至宇宙学等各个物理学领域相关的量子场动力学产生深远的影响。1
在量子磁学实验室 (LQM),我们进行磁学和相关电子材料的基础研究。我们的核心活动包括新材料的合成、内部实验技术、低温、高压和高磁场、中子和 X 射线散射以及理论和建模。LQM 隶属于洛桑联邦理工学院 (EPFL),该学院是世界著名的研究和教育中心,提供理想的学术环境以及与工业的良好联系。
我们检查了Bogoliubov-de Gennes Hamiltonian及其对称性对称性,用于分时交换对称性破碎的三维Weyl超导体。在消失的配对电位的极限中,我们指定该哈密顿量在两组持续对称性下是不变的,即u(1)量规对称性和u(1)轴向对称性。尽管Bardeen-Cooper-Schrie Q er类型的配对会自发打破这两个对称性,但我们表明,Fulde-Ferrell-Larkin-ovchinnikov型配对的fulde-ferrell-ferrell-ferrell-larkin-ovchinnikov型配对会自发地破坏u(1)的对称性(然后通过众所周知的超级量表模式恢复了超级质量验证模式)。因此,在前一种情况下,系统中需要两种NAMBU-GOLDSTONE模式来恢复损坏的对称性。我们表明这两种模式之一是出现的伪标量相模式。我们还证明了这种相位模式会导致伪 - 甲壳虫效应。
希格斯机制是弱规玻色子获得质量术语的过程。这是电子对称组的自发对称破坏的结果。该理论的原始对称性被自发地破坏,因为对于非零常数的电势被最小化。此常数称为真空期望值(VEV)。在该项目中,已经在标准模型(SM)描述中研究了Electroweak对称性破坏,并使用有效的现场理论方法在SM的扩展中进行了研究。已经研究的有效田地理论是标准模型有效田间理论(SMEFT),其有效的尺寸为6。已经使用一个有效的操作员(((φ†φ)3)进行了分析计算,它影响了Higgs电位和自发对称性破坏。随着添加的运算符,计算了希格斯质量和VEV的表达式。这些表达式可用于修复希格斯自耦合常数与有效操作员的耦合常数之间的关系。仪表和费米亚扇区保持不变,除了它们通过VEV的表达进行了修改。作为论文中理论工作的应用,使用madgraph进行了LHC的Higgs对生产的模拟。此仿真程序计算事件的横截面。模拟既是使用标准模型作为输入进行的,又可以与SMEFT操作员一起研究有效的操作员如何影响HIGGS对的横截面和不变质量。生成的横截面显示出对Wilson系数Cφ的二次依赖性,这意味着我们还必须包括尺寸至八操作符,以使理论保持一致。
1.2. REM 的相图。获取 REM 相图的一个简单方法是使用微正则系综。对于给定的样本,即对于 2 N 能量 E ( C ) 的给定实现,让 N ( E ) 表示能量在区间 ( E, E + δE ) 内的配置数(我们选择 δE 小于 N ,但不小于 N 的指数级)。显然,样本中 N ( E ) 的平均值是 ⟨N ( E ) ⟩ = 2 NP ( E ) δE 。然后,由于能量是独立的,对于典型样本 N ( E ) ≃⟨N ( E ) ⟩,在 ⟨N ( E ) ⟩≫ 1 的能量范围内(即当 | E/N | < J √ log 2 时),有且有 N ( E ) = 0,在 ⟨N ( E ) ⟩≪ 1 的范围内。这立即告诉我们基态能量为 E GS /N = − J √ log 2,并且在 | E | /N < J √ log 2 范围内的熵由 S ( E ) = N log 2 − E 2 / ( NJ 2 ) 给出。在此范围之外,没有能级(对于典型样本),因此 S ( E ) = −∞ 。综上所述,
摘要:到目前为止,所有量化引力的尝试都未能产生令人满意的模型,该模型不仅能描述量子世界领域的引力,还能描述其与基本粒子和其他基本力的关系。本文概述了量子宇宙模型的初步结果,其中引力从根本上和构造上都是量子的。该模型基于三个有充分理由的假设,并具有令人信服的观察和理论证据:量子力学在所有尺度上都有效;量子系统由其对称性描述;宇宙具有无限个独立的自由度。最后一个假设意味着宇宙的希尔伯特空间具有 SU p N Ñ 8q – 面积保持 Diff. p S 2 q 对称性,由两个角变量参数化。我们表明,在没有背景时空的情况下,这个宇宙是平凡而静态的。尽管如此,量子涨落打破了对称性并将宇宙划分为子系统。当一个子系统被单独选为参考(观察者),另一个子系统被单独选为时钟时,就会出现两个连续参数,它们可以解释为距离和时间。我们将经典时空等同于宇宙希尔伯特空间的参数空间。因此,它的量化是没有意义的。从这个角度来看,爱因斯坦方程表示希尔伯特空间中的量子动力学在其参数空间中的投影。当宇宙被划分为子系统/粒子时,由于对称性破缺,基本粒子的有限维对称性就会出现,而对无限维对称性及其相关相互作用(即引力)没有任何影响。这解释了为什么引力是一种普遍的力量。
在这项工作中,我们研究了在湍流环境的存在下对称破裂。使用两个示例证明了从对称状态向对称状态的过渡:(i)随着流体层的厚度的变化,二维流量向三维流量的过渡,并且(ii)(ii)(ii)薄层流量中的磁性不稳定,因为磁性雷诺数是磁性雷诺数的变化。我们表明,这些示例具有类似的关键指数,这些指数与均值的预测相差。临界行为可以与闪光的乘法性质有关,并且可以使用随机接口的统计特性的结果在某些限制中预测。我们的结果表明存在由乘法噪声控制的新类平衡相变的新类别的可能性。
在压力下,在LA 3 Ni 2 O 7中发现了高温超导性。然而,从理论上讲,对其配对对称性尚未达成共识。通过将密度函数理论(DFT)结合,最大定位的频函数和线性差距方程与随机相位及相关性,我们发现,如果La 3 Ni 2 O 7的配对对称性为D XY,则如果其DFT频带的结构准确地由下flowdolded byborbiane twopord twopold twopord twopord twoce xy。更重要的是,我们揭示了La 3 Ni 2 O 7的配对对称性敏感地取决于两个Ni-e G轨道之间的晶体场分裂。ni-e g晶体场的略有增加分裂改变了配对对称性从d xy到s±。这种转变与费米速度和敏感性的变化有关,而费米表面的形状几乎保持不变。我们的工作强调了多轨超导体中低能电子结构对对称性的敏感依赖性,当一个人计算其配对对称性时,它在下垂过程中需要注意。