会员服务
正交 · 类别 ·
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秋季课程完结，课件、视频资源已开放
专知会员服务
15+阅读 · 2020年12月25日
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
50+阅读 · 2020年12月14日
不可错过！UIUC最新《统计强化学习》课程！
专知会员服务
52+阅读 · 2020年9月7日
经济学中的数据科学，Data Science in Economics，附22页pdf
经济学中的数据科学，Data Science in Economics，附22页pdf
专知会员服务
35+阅读 · 2020年4月1日
《Hands-On Machine Learning with Scikit-Learn and TensorFlow》Scikit-Learn与TensorFlow机器学习实用指南
《Hands-On Machine Learning with Scikit-Learn and TensorFlow》Scikit-Learn与TensorFlow机器学习实用指南
专知会员服务
62+阅读 · 2019年10月27日
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
专知会员服务
45+阅读 · 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
专知会员服务
31+阅读 · 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
专知会员服务
53+阅读 · 2019年10月17日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
186+阅读 · 2019年10月10日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
计算机 | 中低难度国际会议信息8条
计算机 | 中低难度国际会议信息8条
Call4Papers
9+阅读 · 2019年6月19日
【泡泡汇总】CVPR2019 SLAM Paperlist
【泡泡汇总】CVPR2019 SLAM Paperlist
泡泡机器人SLAM
14+阅读 · 2019年6月12日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
25+阅读 · 2019年5月18日
计算机 | USENIX Security 2020等国际会议信息5条
计算机 | USENIX Security 2020等国际会议信息5条
Call4Papers
7+阅读 · 2019年4月25日
【泡泡一分钟】LIMO：激光和单目相机融合的视觉里程计
【泡泡一分钟】LIMO：激光和单目相机融合的视觉里程计
泡泡机器人SLAM
11+阅读 · 2019年1月16日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
Disentangled的假设的探讨
Disentangled的假设的探讨
CreateAMind
9+阅读 · 2018年12月10日
计算机类 | 期刊专刊截稿信息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日
The Book of Why: Review
Arxiv
15+阅读 · 2019年9月30日
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日
Measurement-wise Occlusion in Multi-object Tracking
Arxiv
3+阅读 · 2018年5月21日
Active Metric Learning for Supervised Classification
Arxiv
9+阅读 · 2018年3月28日
Towards Synthesizing Complex Programs from Input-Output Examples
Arxiv
3+阅读 · 2018年1月30日
Being Robust (in High Dimensions) Can Be Practical
Arxiv
3+阅读 · 2017年12月14日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
正交
类别
相关VIP内容
威斯康辛大学《机器学习导论》2020秋季课程完结，课件、视频资源已开放
专知会员服务
15+阅读 · 2020年12月25日
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
50+阅读 · 2020年12月14日
不可错过！UIUC最新《统计强化学习》课程！
专知会员服务
52+阅读 · 2020年9月7日
经济学中的数据科学，Data Science in Economics，附22页pdf
经济学中的数据科学，Data Science in Economics，附22页pdf
专知会员服务
35+阅读 · 2020年4月1日
《Hands-On Machine Learning with Scikit-Learn and TensorFlow》Scikit-Learn与TensorFlow机器学习实用指南
《Hands-On Machine Learning with Scikit-Learn and TensorFlow》Scikit-Learn与TensorFlow机器学习实用指南
专知会员服务
62+阅读 · 2019年10月27日
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
专知会员服务
45+阅读 · 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
专知会员服务
31+阅读 · 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
专知会员服务
53+阅读 · 2019年10月17日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
186+阅读 · 2019年10月10日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
热门VIP内容
相关资讯
计算机 | 中低难度国际会议信息8条
计算机 | 中低难度国际会议信息8条
Call4Papers
9+阅读 · 2019年6月19日
【泡泡汇总】CVPR2019 SLAM Paperlist
【泡泡汇总】CVPR2019 SLAM Paperlist
泡泡机器人SLAM
14+阅读 · 2019年6月12日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
25+阅读 · 2019年5月18日
计算机 | USENIX Security 2020等国际会议信息5条
计算机 | USENIX Security 2020等国际会议信息5条
Call4Papers
7+阅读 · 2019年4月25日
【泡泡一分钟】LIMO：激光和单目相机融合的视觉里程计
【泡泡一分钟】LIMO：激光和单目相机融合的视觉里程计
泡泡机器人SLAM
11+阅读 · 2019年1月16日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
Disentangled的假设的探讨
Disentangled的假设的探讨
CreateAMind
9+阅读 · 2018年12月10日
计算机类 | 期刊专刊截稿信息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日
The Book of Why: Review
Arxiv
15+阅读 · 2019年9月30日
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日
Measurement-wise Occlusion in Multi-object Tracking
Arxiv
3+阅读 · 2018年5月21日
Active Metric Learning for Supervised Classification
Arxiv
9+阅读 · 2018年3月28日
Towards Synthesizing Complex Programs from Input-Output Examples
Arxiv
3+阅读 · 2018年1月30日
Being Robust (in High Dimensions) Can Be Practical
Arxiv
3+阅读 · 2017年12月14日
Top
微信扫码咨询专知VIP会员
Top