两类量子逻辑代数结构的研究
项目介绍
AI项目解读
基本信息
- 批准号:11201279
- 项目类别:青年科学基金项目
- 资助金额:22.0万
- 负责人:
- 依托单位:
- 学科分类:A0101.数学史、数理逻辑与公理集合论
- 结题年份:2015
- 批准年份:2012
- 项目状态:已结题
- 起止时间:2013-01-01 至2015-12-31
- 项目参与者:李得超; 郭建胜; 李平; 席政军;
- 关键词:
项目摘要
Quantum logics consider the propositional calculus corresponding to the quantum physical system events, and effect algebras and pseudo-effect algebras are the main mathematical models of quantum logics. Any lattice ordered effect algebra can be written as a set theoretical union of MV-algebras, however, how to paste a lattice ordered effect algebra with a given family of MV-algebras is still an open question. In this project, we will give the new techniques to paste a lattice ordered effect algebra with a family of MV-algebras. Especially, based on the relationship between the orthomodular lattices and lattice ordered effect algebras, we will suggest the way to obtain a lattice ordered effect algebra through an orthomodular lattice. Then, using the pasting techniques, we will characterize the internal algebraic constructions of lattice ordered effect algebras and construct some lattice ordered effect algebras admitting special state spaces. The n-perfect pseudo-effect algebra is one of the important classes of pseudo-effect algebras. Based on the properties of the infinitesimal elements and the discrete states of n-perfect pseudo-effect algebras, we will provide the sufficient and necessary conditions so that an n-perfect pseudo-effect algebra is isomorphic to an interval of the lexicographical product of the integers group and a partially ordered group. We will prove that the category of n-perfect pseudo-effect algebras and the category of partially ordered groups are categorical equivalence. These results will make the theoretical bases to further study the constructions of non-Archimedean pseudo-effect algebras, and at the same time, the results will establish the new connections between quantum logics and partially ordered groups.
量子逻辑考虑的是量子物理系统的事件对应的命题演算,效应代数及伪效应代数是目前量子逻辑研究的主要模型. 任何格效应代数可以表示成MV-代数的并, 但是如何由MV-代数粘合成格效应代数仍然是开问题. 本项目拟给出由一族MV-代数粘合成格效应代数的新方法,特别地利用正交模格与格效应代数的关系给出由正交模格得到格效应代数的方法. 作为对格效应代数粘合方法的应用, 拟对格效应代数的内部结构进行刻画,并构造出一些具有特殊态空间的格效应代数. n-完全伪效应代数是一类重要的伪效应代数,本项目拟利用n-完全伪效应代数中的无限小元及离散态的性质, 给出n-完全伪效应代数同构于整数群与偏序群的字典序乘积的一个区间的充分必要条件, 并建立n-完全伪效应代数与偏序群之间的范畴等价关系. 这将为进一步研究非阿基米德伪效应代数的结构奠定重要的理论基础,同时建立了量子逻辑与偏序群之间的新关系.
结项摘要
项目组对格效应代数及非阿基米德伪效应代数两类量子逻辑的代数结构进行了深入地研究.另外,项目组对量子逻辑上的量子测度理论,二型t-模及其剩余进行了研究. 所获主要结果有:1.格效应代数的粘合构造方法.给出了MV-代数Greechie图的定义,利用Greechie图得到了由MV-代数粘合成格效应代数的一组充分必要条件.通过MV-代数的Greechie图引入了格效应代数Greechie图的定义, 基于Greechie图这一工具和正交模格与格效应代数的关系给出了通过替换正交模格的原子得到一般格效应代数的方法,作为该方法的应用证明了格效应代数的环引理. 2.非阿基米德伪效应代数的结构.研究了量子逻辑上离散态的性质,利用非阿基米德伪效应代数中无限小元构成的理想及离散态的性质给出了n-完全与Q-完全伪效应代数的定义.证明了强Q-完全伪效应代数同构于有理数群与具有(RDP1)的偏序群字典序乘积的一个区间.证明了强Q-完全伪效应代数范畴与定向的具有 (RDP1)的无扭偏序群范畴是范畴等价的,进而建立了量子逻辑与偏序群之间的范畴关系. 3.量子逻辑上的量子测度.给出了有限布尔代数上的量子测度及超级量子测度空间的基,对布尔代数上量子测度及超级量子测度的结构给出了清晰地刻画.证明了布尔代数上的超级量子测度可唯一确定一个布尔代数直积上强对称的带号测度. 给出了具有(RDP)的有限效应代数上量子超级测度空间的一组基. 证明了效应代数张量积上的对称带号测度可唯一确定一个超级量子测度.反之,得到了超级量子测度可确定效应代数张量积上对称带号测度的充分必要条件. 4. 二型t-模及其剩余的代数性质.研究了二型模糊集上的逻辑算子t-模的代数性质.给出了由一些特殊的二型t-模生成的剩余算子表达式,并讨论了基于上述逻辑算子的推理合成规则.
项目成果
期刊论文数量(11)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Quantum Measures on Finite Effect Algebras with the Riesz Decomposition Properties
具有Riesz分解性质的有限效应代数的量子测度
- DOI:10.1007/s10701-014-9826-9
- 发表时间:2014-08
- 期刊:Foundations of Physics
- 影响因子:1.5
- 作者:Yang Aili;Xie Yongjian
- 通讯作者:Xie Yongjian
N-perfect and Q-perfect pseudo effect algebras
N 完美和 Q 完美伪效应代数
- DOI:--
- 发表时间:2014
- 期刊:International Journal of Theoretical Physics
- 影响因子:1.4
- 作者:Anatolij Dvurecenskij;Yong-Jian Xie
- 通讯作者:Yong-Jian Xie
Atomic effect algebras with the Riesz decompositon property
具有 Riesz 分解性质的原子效应代数
- DOI:--
- 发表时间:2012
- 期刊:Foundations of Physics
- 影响因子:1.5
- 作者:Anatolij Dvurecenskij;Yong-Jian Xie
- 通讯作者:Yong-Jian Xie
Type-2 triangular norms and their residual operators
2 型三角范数及其残差算子
- DOI:10.1016/j.ins.2015.05.003
- 发表时间:2015-10
- 期刊:Information Sciences
- 影响因子:8.1
- 作者:De-Chao Li
- 通讯作者:De-Chao Li
Super Quantum Measures on Finite Spaces
有限空间上的超量子测量
- DOI:10.1007/s10701-013-9731-7
- 发表时间:2013-08
- 期刊:Foundations of Physics
- 影响因子:1.5
- 作者:Xie, Yongjian;Yang, Aili;Ren, Fang
- 通讯作者:Ren, Fang
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--"}}
- 发表时间:{{ item.publish_year || "--" }}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--"}}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ patent.updateTime }}
其他文献
齐次效应代数的黏合构造
- DOI:--
- 发表时间:2019
- 期刊:模糊系统与数学
- 影响因子:--
- 作者:樊丰丽;颉永建
- 通讯作者:颉永建
Heyting代数的布尔原子及其应用
- DOI:--
- 发表时间:2020
- 期刊:山东大学学报(理学版),2020,55(05):71-80.
- 影响因子:--
- 作者:赵马盼;樊丰丽;颉永建
- 通讯作者:颉永建
部分可换半群的子代数与同余关系
- DOI:--
- 发表时间:--
- 期刊:计算机工程与应用
- 影响因子:--
- 作者:颉永建;李永明
- 通讯作者:李永明
区间效应代数的张量积
- DOI:--
- 发表时间:--
- 期刊:数学进展
- 影响因子:--
- 作者:李永明;颉永建
- 通讯作者:颉永建
R_0代数中的布尔原子及其应用
- DOI:10.15983/j.cnki.jsnu.2019.05.253
- 发表时间:2019
- 期刊:陕西师范大学学报(自然科学版)
- 影响因子:--
- 作者:樊丰丽;颉永建
- 通讯作者:颉永建
其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--" }}
- 发表时间:{{ item.publish_year || "--"}}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--" }}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}

内容获取失败,请点击重试

查看分析示例
此项目为已结题,我已根据课题信息分析并撰写以下内容,帮您拓宽课题思路:
AI项目摘要
AI项目思路
AI技术路线图

请为本次AI项目解读的内容对您的实用性打分
非常不实用
非常实用
1
2
3
4
5
6
7
8
9
10
您认为此功能如何分析更能满足您的需求,请填写您的反馈:
颉永建的其他基金
量子逻辑的代数结构与量子测度理论的研究
- 批准号:61673250
- 批准年份:2016
- 资助金额:59.0 万元
- 项目类别:面上项目
相似国自然基金
{{ item.name }}
- 批准号:{{ item.ratify_no }}
- 批准年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}
相似海外基金
{{
item.name }}
{{ item.translate_name }}
- 批准号:{{ item.ratify_no }}
- 财政年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}