Quantum Mathematics and Computation

量子数学与计算

基本信息

  • 批准号:
    EP/K015478/1
  • 负责人:
  • 金额:
    $ 119.18万
  • 依托单位:
  • 依托单位国家:
    英国
  • 项目类别:
    Research Grant
  • 财政年份:
    2013
  • 资助国家:
    英国
  • 起止时间:
    2013 至 无数据
  • 项目状态:
    已结题

项目摘要

The Centre for Quantum Mathematics and Computation will integrate expertise in the Oxford Computer Science and Mathematics departments to tackle the fundamental problem of understanding the mathematical and computational nature of quantum phenomena. Through a distributed research agenda, we will develop a new geometrical language unifying diagrammatic methods in algebraic topology and quantum representation theory with graphical techniques from quantum computation, computational linguistics, and software and hardware design. This language will natively encode the fundamentally continuous, topological nature of the structures arising in these areas, enabling unprecedented advances of both a theoretical and practical kind.This research effort will be organised into four cross-disciplinary strands, and the research projects of the Centre will address such fundamental problems as the flow of information in quantum protocols, the design of natural language processing platforms, the automated analysis of large unstructured data sets, and the classification of quantum field theories. The resulting integration of knowledge and methods has the potential to transform the practice of computer science and mathematics.This ambitious, integrated research agenda will be achieved by uniting a robust group of researchers spanning the disciplines of the Centre, and by enabling its members to actively engage with the broader scientific community.
量子数学和计算中心将整合牛津大学计算机科学和数学系的专业知识,以解决理解量子现象的数学和计算性质的基本问题。通过分布式研究议程,我们将开发一种新的几何语言,将代数拓扑和量子表示理论中的图解方法与量子计算,计算语言学以及软件和硬件设计的图形技术统一起来。该语言将对这些领域中出现的结构的基本连续性和拓扑性质进行编码,从而在理论和实践方面实现前所未有的进步。这项研究工作将分为四个跨学科领域,中心的研究项目将解决量子协议中的信息流,自然语言处理平台的设计,大型非结构化数据集的自动分析,以及量子场论的分类。由此产生的知识和方法的整合有可能改变计算机科学和数学的实践。这一雄心勃勃的综合研究议程将通过团结该中心各个学科的强大研究人员团队并使其成员能够积极参与来实现与更广泛的科学界。

项目成果

期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Conformal nets I: coordinate-free nets
  • DOI:
    10.1093/imrn/rnu080
  • 发表时间:
    2013-02
  • 期刊:
  • 影响因子:
    0
  • 作者:
    A. Bartels;Christopher L. Douglas;A. Henriques
  • 通讯作者:
    A. Bartels;Christopher L. Douglas;A. Henriques
Possibilities Determine the Combinatorial Structure of Probability Polytopes
  • DOI:
    10.1016/j.jmp.2016.03.006
  • 发表时间:
    2016-03
  • 期刊:
  • 影响因子:
    0
  • 作者:
    S. Abramsky;Rui Soares Barbosa;K. Kishida;Raymond Lal;Shane Mansfield
  • 通讯作者:
    S. Abramsky;Rui Soares Barbosa;K. Kishida;Raymond Lal;Shane Mansfield
Contextuality from Quantum Physics to Psychology
从量子物理学到心理学的语境
  • DOI:
    10.1142/9789814730617_0002
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Abramsky S
  • 通讯作者:
    Abramsky S
Dualizability and Index of Subfactors
对偶性和子因素指数
  • DOI:
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    1.1
  • 作者:
    Arthur Bartles;Christopher L Douglas;Andre Henriques
  • 通讯作者:
    Andre Henriques
Conformal nets II: conformal blocks
共形网络 II:共形块
  • DOI:
    10.48550/arxiv.1409.8672
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Bartels Arthur
  • 通讯作者:
    Bartels Arthur
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Samson Abramsky其他文献

Mixed computation of Prolog programs
  • DOI:
    10.1007/bf03037134
  • 发表时间:
    1988-09-01
  • 期刊:
  • 影响因子:
    2.800
  • 作者:
    David A. Fuller;Samson Abramsky
  • 通讯作者:
    Samson Abramsky
Physics from Computer Science
计算机科学物理学
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Samson Abramsky
  • 通讯作者:
    Samson Abramsky
Structure Meets Power Workshop
结构与动力研讨会
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    A. ´. Conghaile;Samson Abramsky;A. Dawar;©. A. Hadzihasanovic;D. Kessler;Amar Hadzihasanovic;Wei
  • 通讯作者:
    Wei
Linear Arboreal Categories
线性树栖类别
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Samson Abramsky;Yoàv Montacute;Nihil Shah
  • 通讯作者:
    Nihil Shah
2019 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2019 Prague, Czech Republic August 11–16, 2019
符号逻辑协会 2019 年欧洲夏季会议 2019 年逻辑研讨会 捷克共和国布拉格 2019 年 8 月 11-16 日
  • DOI:
    10.1017/bsl.2019.56
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    C. Prague;Republic;Samson Abramsky;O. Guzmán;M. Harrison;Thomas Scanlon;Lev Beklemishev;Ludwig Maximilian;Laurent Bienvenu;Barbara F. Csima;M. Harrison
  • 通讯作者:
    M. Harrison

Samson Abramsky的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Samson Abramsky', 18)}}的其他基金

Resources and co-resources: a junction between semantics and descriptive complexity
资源和共同资源:语义和描述复杂性之间的结合点
  • 批准号:
    EP/T00696X/2
  • 财政年份:
    2021
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Research Grant
Resources in Computation
计算资源
  • 批准号:
    EP/V040944/1
  • 财政年份:
    2021
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Fellowship
Resources and co-resources: a junction between semantics and descriptive complexity
资源和共同资源:语义和描述复杂性之间的结合点
  • 批准号:
    EP/T00696X/1
  • 财政年份:
    2019
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Research Grant
Contextuality as a Resource in Quantum Computation
上下文作为量子计算中的资源
  • 批准号:
    EP/N018745/1
  • 财政年份:
    2016
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Research Grant
Structures at the Interface of Physics and Computer Science
物理学和计算机科学交叉口的结构
  • 批准号:
    EP/I03596X/1
  • 财政年份:
    2011
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Research Grant
Logic and Information Flow in Classical and Quantum Systems
经典和量子系统中的逻辑和信息流
  • 批准号:
    EP/I001301/1
  • 财政年份:
    2010
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Research Grant
Logic of Interaction and Information Flow
交互逻辑与信息流
  • 批准号:
    EP/F067607/1
  • 财政年份:
    2008
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Research Grant
Foundational Structures and Methods for Quantum Informatics
量子信息学的基础结构和方法
  • 批准号:
    EP/E052819/1
  • 财政年份:
    2007
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Fellowship
Centre for Metacomputation
元计算中心
  • 批准号:
    EP/D037085/1
  • 财政年份:
    2006
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Research Grant

相似国自然基金

普林斯顿应用数学指南(The Princeton Companion to Applied Mathematics )的翻译与出版
  • 批准号:
    12226506
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    数学天元基金项目
Handbook of the Mathematics of the Arts and Sciences的中文翻译
  • 批准号:
    12226504
  • 批准年份:
    2022
  • 资助金额:
    20.0 万元
  • 项目类别:
    数学天元基金项目
数学之源书(Source book in mathematics)的翻译与出版
  • 批准号:
    11826405
  • 批准年份:
    2018
  • 资助金额:
    3.0 万元
  • 项目类别:
    数学天元基金项目
怀尔德“Mathematics as a cultural system”翻译研究
  • 批准号:
    11726404
  • 批准年份:
    2017
  • 资助金额:
    3.0 万元
  • 项目类别:
    数学天元基金项目
Frontiers of Mathematics in China
  • 批准号:
    11024802
  • 批准年份:
    2010
  • 资助金额:
    16.0 万元
  • 项目类别:
    专项基金项目

相似海外基金

the Mathematics of Quantum Computation
量子计算数学
  • 批准号:
    CRC-2021-00277
  • 财政年份:
    2022
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Canada Research Chairs
Biennial Mathematics and Computation in Music Conference
双年度音乐数学与计算会议
  • 批准号:
    2207257
  • 财政年份:
    2022
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Standard Grant
Data-driven modelling and computation-improving the efficiency of computations in applied mathematics through scientific machine learning
数据驱动建模与计算——通过科学机器学习提高应用数学计算效率
  • 批准号:
    2777754
  • 财政年份:
    2021
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Studentship
Statistical mathematics for population dynamics models: information criterion, observation model, approximate Bayesian computation
种群动态模型的统计数学:信息准则、观测模型、近似贝叶斯计算
  • 批准号:
    17K07578
  • 财政年份:
    2017
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Workshop on Nonlocal Models in Mathematics, Computation, Science, and Engineering
数学、计算、科学和工程中的非局部模型研讨会
  • 批准号:
    1546334
  • 财政年份:
    2015
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Standard Grant
Attacking the Traveling Salesman Problem: mathematics at the edge of computation.
解决旅行商问题:计算边缘的数学。
  • 批准号:
    405291-2011
  • 财政年份:
    2013
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Postdoctoral Fellowships
Mathematics and Computation of Nonlinear Problems in Diffractive Optics Modeling
衍射光学建模中非线性问题的数学和计算
  • 批准号:
    1211292
  • 财政年份:
    2012
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Standard Grant
The Mathematics of Liquid Crystals - Analysis, Computation and Applications
液晶数学 - 分析、计算和应用
  • 批准号:
    EP/J001686/2
  • 财政年份:
    2012
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Fellowship
Attacking the Traveling Salesman Problem: mathematics at the edge of computation.
解决旅行商问题:计算边缘的数学。
  • 批准号:
    405291-2011
  • 财政年份:
    2012
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Postdoctoral Fellowships
The Mathematics of Liquid Crystals - Analysis, Computation and Applications
液晶数学 - 分析、计算和应用
  • 批准号:
    EP/J001686/1
  • 财政年份:
    2011
  • 资助金额:
    $ 119.18万
  • 项目类别:
    Fellowship
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了