XiaoMi-AI文件搜索系统
World File Search SystemMahadev
国际研究出版与评论杂志-IJRPR
Selenicereus Dragon Fruit Misss的草药唇膏的配方和评估。 div>Mule Dhanashri Achyutrao，Mote Somnath Yashwant先生，Muzawar Zishan Ahmed先生，Pathan Sadaf Nasar Khan，Shaikh Gazi博士，Nirwane Aboli Mahadev夫人
案件编号47:2020年最终判决
垂直。受访者：Dakshin Gujarat Vij 公司有限公司执行工程师，工业部办公室，对面。 Batliboi 公司，位于 Kamanath Mahadev 寺庙附近，Udhna-Navsari 路，Pandesara，苏拉特 - 394221。代表：Shri HKParmar, DE, DGVCL, S/dn., Udhna-1 Shri DBVasava, Dy.SA, DGVCL, Ind. D/o.，苏拉特
量子计算的简洁经典验证
我们为量子计算 (BQP) 构建了一个经典可验证的简洁交互式论证，其通信复杂度和验证器运行时间在 BQP 计算的运行时间内是多对数的（在安全参数中是多项式的）。我们的协议是安全的，假设不可区分混淆 (iO) 和带错学习 (LWE) 的后量子安全性。这是普通模型中量子计算的第一个简洁论证；先前的工作（Chia-Chung-Yamakawa，TCC '20）需要长公共参考字符串和非黑盒使用以随机预言机建模的哈希函数。在技术层面，我们重新审视了构建经典可验证量子计算的框架（Mahadev，FOCS '18）。我们为 Mahadev 的协议提供了一个独立的模块化安全性证明，我们认为这是独立的兴趣。我们的证明很容易推广到验证者的第一条消息（包含许多公钥）被压缩的场景。接下来，我们将压缩公钥的概念形式化；我们将对象视为受约束/可编程 PRF 的泛化，并基于不可区分性混淆对其进行实例化。最后，我们使用（足够可组合的）简洁的 NP 知识论证将上述协议编译成完全简洁的论证。使用我们的框架，我们实现了几个额外的结果，包括
量子计算的简洁经典验证
摘要。我们为量子计算 (BQP) 构建了一个经典可验证的简洁交互式论证，其通信复杂性和验证器运行时间在 BQP 计算的运行时间内是多对数的（在安全参数中是多项式的）。我们的协议是安全的，假设不可区分混淆 (iO) 和错误学习 (LWE) 的后量子安全性。这是第一个简洁的论证，适用于普通模型中的量子计算；先前的工作（Chia-Chung-Yamakawa，TCC '20）既需要较长的公共参考字符串，又需要非黑盒使用以随机预言机建模的哈希函数。在技术层面，我们重新审视了构建经典可验证量子计算的框架（Mahadev，FOCS '18）。我们为 Mahadev 的协议提供了一个独立的模块化安全性证明，我们认为这是有独立意义的。我们的证明很容易推广到验证者的第一条消息（包含许多公钥）被压缩的场景。接下来，我们将压缩公钥的概念形式化；我们将该对象视为受限/可编程 PRF 的泛化，并基于不可区分混淆对其进行实例化。最后，我们使用（足够可组合的）NP 简洁知识论证将上述协议编译成完全简洁的论证。使用我们的框架，我们获得了几个额外的结果，包括 - QMA 的简洁论证（给定见证的多个副本）， - 量子随机预言模型中 BQP（或 QMA）的简洁非交互式论证，以及 - 假设后量子 LWE（无 iO）的 BQP（或 QMA）的简洁批处理论证。
任何非局部游戏的量子优势
我们展示了一种将任何 k 个证明者非局部博弈编译成单证明者交互式博弈的通用方法，同时保持相同的（量子）完整性和（经典）健全性保证（安全参数中的加性因子最多可忽略不计）。我们的编译器使用任何满足辅助（量子）输入自然正确性的量子同态加密方案（Mahadev，FOCS 2018；Brakerski，CRYPTO 2018）。同态加密方案用作模拟空间分离效果的加密机制，并且需要对加密查询评估 k - 1 个证明者策略（选出 k 个）。结合从著名的 CHSH 博弈（Clauser、Horne、Shimonyi 和 Holt，Physical Review Letters 1969）开始的（纠缠）多证明者非局部博弈的丰富文献，我们的编译器为构建机制来经典地验证量子优势提供了一个广泛的框架。
使用小深度量子电路进行量子性测试
最近，Brakerski、Christiano、Mahadev、Vazirani 和 Vidick (FOCS 2018) 展示了如何基于带错学习 (LWE) 假设构建量子性测试：该测试可以由量子计算机有效解决，但在 LWE 假设下无法由经典多项式时间计算机解决。该测试已导致多种加密应用。具体而言，它已应用于从单个不受信任的量子设备产生可证明的随机性、对单个量子设备进行自我测试以及独立于设备的量子密钥分发。在本文中，我们表明，这种量子性测试以及基本上所有上述应用实际上都可以通过一类非常弱的量子电路来实现：恒定深度量子电路与对数深度经典计算相结合。这揭示了这种基本量子性测试的新颖复杂性理论特性，并为小深度量子电路优于经典计算提供了新的具体证据。
简历
客座讲师 , 康奈尔科技, 纽约市 2024 研究助理 , 卡内基梅隆大学 (与 J. Zico Kolter 合作研究 ML 和优化) 2016 – 2019 研究实习生 , 英特尔实验室, 圣克拉拉 (与 Vladlen Koltun 合作研究计算机视觉) 2018 研究实习生 , Google DeepMind, 伦敦 (与 Nando de Freitas 和 Misha Denil 合作研究 RL) 2017 研究助理 , 卡内基梅隆大学 (与 Mahadev Satyanarayanan 合作研究移动系统) 2014 – 2016 研究实习生 , Adobe Research, 圣何塞 (与 David Tompkins 合作研究分布式系统) 2014 研究助理 , 弗吉尼亚理工大学 (与 Layne Watson 和 David Easterling 合作研究优化) 2013 – 2014 研究助理 , 弗吉尼亚理工大学 (与 Jules White 和 Hamilton Turner 合作研究移动系统) 2012 – 2014 研究助理技术 (与 Binoy Ravindran 和 Alastair Murray 合作开发编译器) 2012 – 2014 软件实习生 , Snowplow (Scala 开发) 2013 – 2014 软件实习生 , Qualcomm , 圣地亚哥 (Python 和 C++ 开发) 2013 软件实习生 , Phoenix Integration , 弗吉尼亚 (C++, C# 和 Java 开发) 2012 网络管理员实习生 , Sunapsys , 弗吉尼亚 2011
在计算假设下对单个量子设备进行自我测试
自测试是一种仅基于其经典输入输出相关性来表征任意量子系统的方法，在独立于设备的量子信息处理以及量子复杂性理论中发挥着重要作用。先前关于自测试的研究需要假设系统的状态在仅执行本地测量且无法通信的多方之间共享。在这里，我们用单个计算受限方取代了多个非通信方的设置，这在实践中很难执行。具体来说，我们构建了一个协议，允许经典验证者稳健地证明单个计算受限的量子设备必须准备一个贝尔对并对其执行单量子位测量，直到对设备的状态和测量应用基础变化。这意味着在计算假设下，验证者能够证明单个量子设备内存在纠缠，这是一种通常与两个分离的子系统密切相关的属性。为了实现这一点，我们基于 Brakerski 等人首次引入的技术。 （2018）和 Mahadev (2018) 允许经典验证者约束量子设备的行为，假设该设备不会破坏后量子密码学。
在计算假设下对单个量子设备进行自我测试
自我测试是一种仅基于其classical输入输出相关性来表征任意量子系统的方法，并在独立于设备与设备无关的量子信息处理以及量子复杂性理论中起重要作用。进行自我测试的事务需要假设，即系统状态在仅构成本地测量且无法交流的多个政党之间共享。在这里，我们替换了多个非沟通各方的设置，这在实践中很难通过一个计算方面的政党实践。特别是，我们构建了一个协议，该协议允许经典的验证者可靠地证明单个计算界限的量子设备必须准备好铃铛对并在其上进行了单量测量，直到将其应用于设备状态和测量值的基础上。这意味着，在计算标题下，verifier能够证明纠缠的存在，纠缠是一种通常与两个分离的子系统密切相关的属性，在一个单个量子设备内。为了实现这一目标，我们以Brakerski等人提出的技术为基础。（2018）和Mahadev（2018），允许经典的Verifier限制假设该设备不会破坏量子后加密的量子设备的作用。