詹姆斯·乔丹诺(James Giordano)博士,姆菲尔(Mphil)是神经病学和生物化学系的教授;神经伦理学研究计划的负责人;网络智能中心生物技术,生物安全和道德计划的主任;该计划的脑科学与全球法律与政策的联合主任;乔治敦大学军事医学伦理学子计划主席。他是美国国防医学伦理中心的美国海军战争学院,纽波特,RI和生物伦理学家的生物安全,技术和道德项目的高级研究员。他还是SMA分支机构的高级科学咨询会员,IEEE Brain Initiative神经伦理学计划的联合职员,五角大楼和荣誉主席。佐丹奴教授此前曾在美国特种作战司令部(USSOCOM)担任多诺万生物安全研究员;作为神经伦理学的任命成员,国防高级研究项目局(DARPA)的法律和社会问题咨询小组;作为欧盟人类大脑项目的研究研究员和任务负责人,涉及双重用途脑科学;作为卫生与公共服务部秘书人类研究保护咨询委员会(SACHRP)的任命成员;作为经济合作与发展组织的高级顾问(OECD)。弗吉里特学者佐尔达教授在德国慕尼黑的路德维希 - 马西米利人大学被授予JW Fulbright访问教授职位,目前在德国科伯格的科堡应用科学科学大学的生物技术,健康促进,健康促进和伦理学教授。他以前曾是英国牛津大学神经伦理学中心的国际会员。佐丹奴教授是325篇论文,7本书,22本书和25篇关于脑科学,全球生物安全性和伦理的政府白皮书,他是《人工智能伦理学期刊》(Springer)和哲学,伦理学,人文和人文(BMC/Springerer)的人工智能伦理学期刊(Springer)和主编(Springer-In-Springer)的副编辑。佐丹奴教授是前美国海军官员,担任航空生理学家,研究生理学家和研究心理学家的名称,他曾在美国海军和海军陆战队任职。认可他的成就,他当选为欧洲科学与艺术学院,并被任命为皇家医学学会(英国)的海外研究员。
这是与量子信息理论有关的数学物理学子领域的博士学位论文。它的大多数结果可以用类别理论的数学语言来解释,并且在量子信息之外也可能引起人们的关注。在高级术语中,我提出了一个框架,在该框架上可以在数学上谈论以下基本问题的各个方面:两个给定的相同物理过程的实现如何相比如何?尽管引起了独立的兴趣,但这个问题的主要动机来自量子自我测试的领域([my98,my04]),在这些领域中,人们希望通过在多部分量子状态上实现局部测量结果来理解一组给定的测量统计数据的所有不同方式。促使论文的问题是,尽管传统的量子自我测试的环境在数学上是精确的,但它被施放的语言没有明确的操作解释。根据论文中提出的框架,一组测量统计数据被认为是信息通道的投入输出行为,并且该通道的各种实现对应于因果结构化计算,这些计算可能在与之交互期间在通道环境中秘密执行。该论文的主要贡献是引入一种形式主义,这使得先前的证词精确,并提供与量子自我测试的通常定义的关系。这构成了以纯粹的操作(与理论无关的)术语重铸量子自我测试的第一步。的关系本质上是,量子自我测试对应于可以得出所有其他的实用的存在,并且这些量没有任何其他有关通道输出的预先存在的信息。第1章回顾了物理理论类别理论模型的变体。该模型包括量子信息理论和经典信息理论,以及更多的数学示例,例如任何有限产品的类别(例如适当解释时,集合或组的类别)以及任何部分有序的可交换性单体。该模型的关键特征是它促进了边缘的概念(如从例如经典概率理论)和扩张的双重概念。扩张是第2章的主题。所呈现的结果在概念上存在量子自我测试的因素,而是通过证明信息理论的几种特征可以源自仅参考扩张结构的一些原理来启动系统扩张的系统研究并构成了概念验证。第3章包含一些关于如何进行扩张理论的近似(度量)范围的初始思想,以及用于量子通道的新指标,引入了纯净的钻石距离。它概括了参考文献的纯距离。[TCR10,TOM12]。第4章提出了一种形式主义,以争论其输出在其输入上取决于因果的信息渠道。最后,在第5章中,建立了与量子自我测试的联系。这可以将其视为量子梳框架([CDP09])框架的广义替代方案,但也可以看作是对称单类类别中痕迹的抽象概念的概括([JSV96])。形式主义使我们能够精确地构成因果扩张的概念,该概念捕获了上述因果关系结构化的侧面计算。本章还包含一些关于自我测试的一般结果的简单证明,以及根据其STINESPRING膨胀的非信号性能来对一组量子行为进行新颖的补充。
这是与量子信息理论有关的数学物理学子领域的博士学位论文。它的大多数结果可以用类别理论的数学语言来解释,并且在量子信息之外也可能引起人们的关注。在高级术语中,我提出了一个框架,在该框架上可以在数学上谈论以下基本问题的各个方面:两个给定的相同物理过程的实现如何相比如何?尽管引起了独立的兴趣,但这个问题的主要动机来自量子自我测试的领域([my98,my04]),在这些领域中,人们希望通过在多部分量子状态上实现局部测量结果来理解一组给定的测量统计数据的所有不同方式。促使论文的问题是,尽管传统的量子自我测试的环境在数学上是精确的,但它被施放的语言没有明确的操作解释。根据论文中提出的框架,一组测量统计数据被认为是信息通道的投入输出行为,并且该通道的各种实现对应于因果结构化计算,这些计算可能在与之交互期间在通道环境中秘密执行。该论文的主要贡献是引入一种形式主义,这使得先前的证词精确,并提供与量子自我测试的通常定义的关系。这构成了以纯粹的操作(与理论无关的)术语重铸量子自我测试的第一步。的关系本质上是,量子自我测试对应于可以得出所有其他的实用的存在,并且这些量没有任何其他有关通道输出的预先存在的信息。第1章回顾了物理理论类别理论模型的变体。该模型包括量子信息理论和经典信息理论,以及更多的数学示例,例如任何有限产品的类别(例如适当解释时,集合或组的类别)以及任何部分有序的可交换性单体。该模型的关键特征是它促进了边缘的概念(如从例如经典概率理论)和扩张的双重概念。扩张是第2章的主题。所呈现的结果在概念上存在量子自我测试的因素,而是通过证明信息理论的几种特征可以源自仅参考扩张结构的一些原理来启动系统扩张的系统研究并构成了概念验证。第3章包含一些关于如何进行扩张理论的近似(度量)范围的初始思想,以及用于量子通道的新指标,引入了纯净的钻石距离。它概括了参考文献的纯距离。[TCR10,TOM12]。第4章提出了一种形式主义,以争论其输出在其输入上取决于因果的信息渠道。最后,在第5章中,建立了与量子自我测试的联系。这可以将其视为量子梳框架([CDP09])框架的广义替代方案,但也可以看作是对称单类类别中痕迹的抽象概念的概括([JSV96])。形式主义使我们能够精确地构成因果扩张的概念,该概念捕获了上述因果关系结构化的侧面计算。本章还包含一些关于自我测试的一般结果的简单证明,以及根据其STINESPRING膨胀的非信号性能来对一组量子行为进行新颖的补充。