会员服务
正交 · 类别 ·
2021 年 3 月 15 日
Quantum projective measurements and the CHSH inequality in Isabelle/HOL
翻译：伊莎贝尔/霍尔的量子预测测量和CHSH不平等情况
Mnacho Echenim,Mehdi Mhalla
Mnacho Echenim,Mehdi Mhalla

We present a formalization in Isabelle/HOL of quantum projective measurements, a class of measurements involving orthogonal projectors that is frequently used in quantum computing. We also formalize the CHSH inequality, a result that holds on arbitrary probability spaces, which can used to disprove the existence of a local hidden-variable theory for quantum mechanics.


翻译：我们在Isabelle/HOL中提出了量子投射测量的正规化,这是一个涉及在量子计算中经常使用的正向投射器的测量类别。 我们还正式确定了CHSH的不平等,这一结果维持了任意概率空间,这可用来推翻本地的量子力学隐性可变理论的存在。
0
下载
关闭预览

相关内容

威斯康辛大学《机器学习导论》2020秋季课程完结，课件、视频资源已开放
专知会员服务
16+阅读 · 2020年12月25日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
50+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
36+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
59+阅读 · 2019年10月17日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
197+阅读 · 2019年10月10日
计算机 | 中低难度国际会议信息8条
计算机 | 中低难度国际会议信息8条
Call4Papers
9+阅读 · 2019年6月19日
计算机 | USENIX Security 2020等国际会议信息5条
计算机 | USENIX Security 2020等国际会议信息5条
Call4Papers
7+阅读 · 2019年4月25日
计算机类 | 期刊专刊截稿信息9条
计算机类 | 期刊专刊截稿信息9条
Call4Papers
4+阅读 · 2018年1月26日
【计算机类】期刊专刊/国际会议截稿信息6条
【计算机类】期刊专刊/国际会议截稿信息6条
Call4Papers
3+阅读 · 2017年10月13日
【今日新增】IEEE Trans.专刊截稿信息8条
【今日新增】IEEE Trans.专刊截稿信息8条
Call4Papers
7+阅读 · 2017年6月29日
Deep learning: a statistical viewpoint
Arxiv
18+阅读 · 2021年3月16日
Differential Dynamic Programming Neural Optimizer
Arxiv
7+阅读 · 2020年6月29日
Products of Euclidean metrics and applications to proximity questions among curves
Arxiv
3+阅读 · 2020年4月13日
Reinforcement Learning Enhanced Quantum-inspired Algorithm for Combinatorial Optimization
Arxiv
4+阅读 · 2020年2月14日
Generating Realistic Geology Conditioned on Physical Measurements with Generative Adversarial Networks
Generating Realistic Geology Conditioned on Physical Measurements with Generative Adversarial Networks
Arxiv
6+阅读 · 2018年7月5日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
正交
类别
相关VIP内容
威斯康辛大学《机器学习导论》2020秋季课程完结，课件、视频资源已开放
专知会员服务
16+阅读 · 2020年12月25日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
50+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
36+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
59+阅读 · 2019年10月17日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
197+阅读 · 2019年10月10日
热门VIP内容
相关资讯
计算机 | 中低难度国际会议信息8条
计算机 | 中低难度国际会议信息8条
Call4Papers
9+阅读 · 2019年6月19日
计算机 | USENIX Security 2020等国际会议信息5条
计算机 | USENIX Security 2020等国际会议信息5条
Call4Papers
7+阅读 · 2019年4月25日
计算机类 | 期刊专刊截稿信息9条
计算机类 | 期刊专刊截稿信息9条
Call4Papers
4+阅读 · 2018年1月26日
【计算机类】期刊专刊/国际会议截稿信息6条
【计算机类】期刊专刊/国际会议截稿信息6条
Call4Papers
3+阅读 · 2017年10月13日
【今日新增】IEEE Trans.专刊截稿信息8条
【今日新增】IEEE Trans.专刊截稿信息8条
Call4Papers
7+阅读 · 2017年6月29日
相关论文
Deep learning: a statistical viewpoint
Arxiv
18+阅读 · 2021年3月16日
Differential Dynamic Programming Neural Optimizer
Arxiv
7+阅读 · 2020年6月29日
Products of Euclidean metrics and applications to proximity questions among curves
Arxiv
3+阅读 · 2020年4月13日
Reinforcement Learning Enhanced Quantum-inspired Algorithm for Combinatorial Optimization
Arxiv
4+阅读 · 2020年2月14日
Generating Realistic Geology Conditioned on Physical Measurements with Generative Adversarial Networks
Generating Realistic Geology Conditioned on Physical Measurements with Generative Adversarial Networks
Arxiv
6+阅读 · 2018年7月5日
Top
微信扫码咨询专知VIP会员
Top