XiaoMi-AI文件搜索系统
World File Search SystemNaor
有向平面图中的多源多源最大流量
他们分别向所有来源和下沉，但这种减少并不能保留平面性。使用Orlin的算法进行稀疏图[21]导致O（n 2 / log N）的运行时间。对于少于u的整数容量，可以使用Goldberg and Rao [9]的算法，它导致O（n1。5 log n log u）。Miller和Naor [19]首先研究了具有多个来源和水槽的平面图中的最大流量。他们为所有水槽和来源都位于单个面边界的情况下给出了一种分裂和争议算法。插入Henzinger等人的线性最短路径算法。[12]产生O（n log n）的运行时间。Borradaile和Harutyunyan具有相同的运行时间的迭代算法[2]。Miller和Naor还为源头和水槽位于K不同面部边界的情况下提供了一种算法。使用O（n log N） - 时源单源单源单源最大流量算法和klein [3]产生O（k 2 n log 2 n）的运行时间。Miller和Naor表明，当知道多少商品在每个来源和每个水槽都产生/消耗时，可以找到一致的流量路由，而尊重ARC容量的一致路由可以降低到最短的最短路径[19]，可以在O（n log 2 N/ log log 2 n/ log log log N n n/ log log N n n n n/ log log n n）时[20]。
计算机科学学院课程目录2024年...
教职员工 院长 Raz Danny 教授 Attiya Hagit Barequet Gill Ben-Chen Miri Biham Eli Bronstein Alexander Bruckstein Alfred Bshouty Nader Censor-Hillel Keren Cohen Reuven Elad Michael Elber Gershon El-Yaniv Ran Etzion Tuvi Friedman Roy Geiger Dan Ishai Yufeld Kimmel Kimmel Kimmel E. Naor Joseph (Seffi) Petrank Erez Pinter Ron Raz Danny Rivlin Ehud Roth Ronny Schuster Assaf Shachnai Hadas Shlomi Tomer Tsafrir Dan Yahav Eran Yavneh Irad
有效的量子并行重复定理和应用程序
我们证明了3台计算量子量子交互协议与有效的挑战者和有效对手之间的紧密平行重复定理。我们还证明，在合理的假设下，在并行重复下，4台式计算协议的安全性通常不会降低。这些反映了Bellare，Impagliazzo和Naor的经典结果[BIN97]。最后，我们证明所有量子参数系统都可以一致地编译到等效的3-序列参数系统，从而反映了量子证明系统的转换[KW00，KKMV07]。As immediate applications, we show how to derive hardness amplification theorems for quantum bit commitment schemes (answering a question of Yan [ Yan22 ]), EFI pairs (answering a question of Brakerski, Canetti, and Qian [ BCQ23 ]), public-key quantum money schemes (answering a question of Aaronson and Christiano [ AC13 ]), and quantum零知识参数系统。我们还为量子谓词推导了XOR引理[YAO82]作为推论。
来自 Mod 的简单后量子无意识传输协议...
摘要。不经意传输 (OT) 是一种基本加密协议，在安全多方计算 (MPC) 中起着至关重要的作用。大多数实用的 OT 协议（例如 Naor 和 Pinkas (SODA'01) 或 Chou 和 Orlandi (Latincrypt'15)）都基于类似 Diffie-Hellman (DH) 的假设，并且不具有后量子安全性。相反，MPC 协议的许多其他组件（包括乱码电路和秘密共享）都是后量子安全的。随着量子计算的出现，对非后量子 OT 协议的依赖带来了重大的安全瓶颈。在本文中，我们通过构建一个基于 Saber（一种基于 Mod-LWR 的密钥交换协议）的简单、高效的 OT 协议来解决这个问题。我们实现了我们的 OT 协议并进行了实验以评估其性能。我们的结果表明，我们的 OT 协议在计算和通信成本方面都明显优于 Masny 和 Rindal (CCS'19) 提出的最先进的基于 Kyber 的后量子 OT 协议。此外，我们的 OT 协议的计算速度比 Chou 和 Orlandi (Latincrypt'15) 提出的最著名的基于 DH 的 OT 协议更快，使其在高带宽网络设置中具有竞争力，可以取代基于 DH 的 OT。
多党计算的量子安全协议
安全多方计算（MPC）对于安全保护敏感数据至关重要。它允许两个或多个当事方共同对其私人数据进行计算，而无需透露输出以外的任何内容。因此，MPC保证了隐私和机密性等安全性。对功能的遗忘评估是加密设计中最重要的基础之一。在Rabin [1]的工作中，引入了遗忘转移（OT）的想法。ot考虑有两个方的设置：发件人和接收者。发件人有两个位s 0和s 1，而接收器只能根据他选择的b来学习一个位s b。稍后，在[2]中显示了OT可用于对任何加密函数的遗漏评估。在过去的三十年中，在基于OT的MPC协议的设计中取得了很大的进步。但是，值得注意的是，可以使用直接构造对特定类型的功能进行更有效的评估，从而绕开了对MPC的需求。考虑到这种观点，Naor等人。[3]设计了遗忘的多项式评估（OPE）。这是一个有用的原始性，它解决了在输入α上忽略评估多项式P的问题。更准确地说，OPE是两个不信任的政党之间的两党协议，其中一个政党（例如鲍勃）拥有一个私人多项式P（x），而另一个
分布式的Merlin-Arthur合成量子状态及其应用
量子状态的产生和验证是量子信息处理的基本任务，伊朗人，Natarajan，Natarajan，Nirkhe，Rao和Yuen [CCC 2022]，Rosenthal和Yuen和Yuen [ITCS 2022]，Metger和Yuen，Metger和Yuen [focs 2023] [focs 2023]遵守了任期状态的统治状态。本文从量子分布式计算的角度研究了这一概念，尤其是分布式量子Merlin-Arthur（DQMA）协议。我们首先在一条线上引入一项新型任务，称为州生成，带有分布式输入（SGDI）。在此任务中，目标是生成量子状态u | ψ⟩在该行的最右边节点，其中| ψ⟩是在最左节点处给出的量子状态，u是一个单位矩阵，其描述分布在线的节点上。我们为SGDI提供了DQMA协议，并利用此协议来构建Naor，Parter和Yogev [Soda 2020]研究的集合平等问题的DQMA协议，并通过显示此问题的经典下限来补充我们的协议。我们的第二个贡献是DQMA协议，基于Zhu和Hayashi [物理评论A，2019]的最新工作，以在没有量子通信的网络的相邻节点之间创建EPR对。作为此DQMA协议的应用，我们证明了一个一般结果，显示了如何将任意网络上的任何DQMA协议转换为另一个DQMA协议，在该协议中，验证阶段不需要任何量子通信。
分布式Merlin-Arthur量子态合成及其应用
量子态的生成和验证是量子信息处理的基本任务，最近由 Irani、Natarajan、Nirkhe、Rao 和 Yuen [CCC 2022]、Rosenthal 和 Yuen [ITCS 2022]、Metger 和 Yuen [QIP 2023] 在状态合成这一术语下进行了研究。本文从量子分布式计算，特别是分布式量子 Merlin-Arthur (dQMA) 协议的角度研究了这一概念。我们首先在线上介绍一项新任务，称为具有分布式输入的状态生成 (SGDI)。在这个任务中，目标是在线的最右边节点生成量子态 U | ψ ⟩，其中 | ψ ⟩ 是在最左边节点给出的量子态，U 是一个酉矩阵，其描述分布在线的各个节点上。我们为 SGDI 提供了一个 dQMA 协议，并利用该协议为 Naor、Parter 和 Yogev [SODA 2020] 研究的集合相等问题构建了一个 dQMA 协议，并通过展示该问题的经典下限来补充我们的协议。我们的第二个贡献是基于 Zhu 和 Hayashi [Physical Review A, 2019] 的最新研究的 dQMA 协议，用于在没有量子通信的情况下在网络的相邻节点之间创建 EPR 对。作为此 dQMA 协议的一个应用，我们证明了一个通用结果，该结果展示了如何将任意网络上的任何 dQMA 协议转换为另一个 dQMA 协议，其中验证阶段不需要任何量子通信。
在部分可观察性下符合道德符合的自主系统
J7 N. Haghtalab，T。Roughgarden，A。Shetty。具有自适应对手的平滑分析。ACM期刊，即将出版。J6 N. Haghtalab，M.O。 Jackson，A.D。Procaccia。 在复杂世界中的信念两极分化：学习理论的观点。 proc。 国家科学院，118（19）E2010144118，2021。 J5 A. Torrico，M。Singh，S。Pokutta，S。Naor，N。Haghtalab，N。Anari。 结构化稳健的supdodular最大化：离线和在线。 通知杂志有关计算的期刊，33（4）：1590–1607，2021。 J4 M. Dud´ık，N。Haghtalab，H。Luo，R.E。 Schapire，V。Syrgkanis和J. Wortman Vaughan。 Oracle效率学习和拍卖设计。 ACM 67（5）：1-57，2020。 J3 M.F. Balcan，N。Haghtalab和C. White。 k-扰动弹性下的中心聚类。 算法上的ACM交易，16（2）：1–30，2020。 J2 A. Blum，J.P。Dickerson，N。Haghtalab，A.D。Procaccia，T。Sandholm和A. Sharma。 无知几乎是幸福：几乎最佳的随机匹配与几个查询。 操作研究，68（1）：16–34，2020。 J1 N. Haghtalab，A。Laszka，A.D。Procaccia，Y。Vorobeychik和Xenofon Koutsoukos。 监视隐形扩散。 知识和信息系统，52（3）：1-29，2017。J6 N. Haghtalab，M.O。Jackson，A.D。Procaccia。 在复杂世界中的信念两极分化：学习理论的观点。 proc。 国家科学院，118（19）E2010144118，2021。 J5 A. Torrico，M。Singh，S。Pokutta，S。Naor，N。Haghtalab，N。Anari。 结构化稳健的supdodular最大化：离线和在线。 通知杂志有关计算的期刊，33（4）：1590–1607，2021。 J4 M. Dud´ık，N。Haghtalab，H。Luo，R.E。 Schapire，V。Syrgkanis和J. Wortman Vaughan。 Oracle效率学习和拍卖设计。 ACM 67（5）：1-57，2020。 J3 M.F. Balcan，N。Haghtalab和C. White。 k-扰动弹性下的中心聚类。 算法上的ACM交易，16（2）：1–30，2020。 J2 A. Blum，J.P。Dickerson，N。Haghtalab，A.D。Procaccia，T。Sandholm和A. Sharma。 无知几乎是幸福：几乎最佳的随机匹配与几个查询。 操作研究，68（1）：16–34，2020。 J1 N. Haghtalab，A。Laszka，A.D。Procaccia，Y。Vorobeychik和Xenofon Koutsoukos。 监视隐形扩散。 知识和信息系统，52（3）：1-29，2017。Jackson，A.D。Procaccia。在复杂世界中的信念两极分化：学习理论的观点。proc。国家科学院，118（19）E2010144118，2021。 J5 A. Torrico，M。Singh，S。Pokutta，S。Naor，N。Haghtalab，N。Anari。 结构化稳健的supdodular最大化：离线和在线。 通知杂志有关计算的期刊，33（4）：1590–1607，2021。 J4 M. Dud´ık，N。Haghtalab，H。Luo，R.E。 Schapire，V。Syrgkanis和J. Wortman Vaughan。 Oracle效率学习和拍卖设计。 ACM 67（5）：1-57，2020。 J3 M.F. Balcan，N。Haghtalab和C. White。 k-扰动弹性下的中心聚类。 算法上的ACM交易，16（2）：1–30，2020。 J2 A. Blum，J.P。Dickerson，N。Haghtalab，A.D。Procaccia，T。Sandholm和A. Sharma。 无知几乎是幸福：几乎最佳的随机匹配与几个查询。 操作研究，68（1）：16–34，2020。 J1 N. Haghtalab，A。Laszka，A.D。Procaccia，Y。Vorobeychik和Xenofon Koutsoukos。 监视隐形扩散。 知识和信息系统，52（3）：1-29，2017。国家科学院，118（19）E2010144118，2021。J5 A. Torrico，M。Singh，S。Pokutta，S。Naor，N。Haghtalab，N。Anari。结构化稳健的supdodular最大化：离线和在线。通知杂志有关计算的期刊，33（4）：1590–1607，2021。J4 M. Dud´ık，N。Haghtalab，H。Luo，R.E。 Schapire，V。Syrgkanis和J. Wortman Vaughan。 Oracle效率学习和拍卖设计。 ACM 67（5）：1-57，2020。 J3 M.F. Balcan，N。Haghtalab和C. White。 k-扰动弹性下的中心聚类。 算法上的ACM交易，16（2）：1–30，2020。 J2 A. Blum，J.P。Dickerson，N。Haghtalab，A.D。Procaccia，T。Sandholm和A. Sharma。 无知几乎是幸福：几乎最佳的随机匹配与几个查询。 操作研究，68（1）：16–34，2020。 J1 N. Haghtalab，A。Laszka，A.D。Procaccia，Y。Vorobeychik和Xenofon Koutsoukos。 监视隐形扩散。 知识和信息系统，52（3）：1-29，2017。J4 M. Dud´ık，N。Haghtalab，H。Luo，R.E。Schapire，V。Syrgkanis和J. Wortman Vaughan。Oracle效率学习和拍卖设计。 ACM 67（5）：1-57，2020。 J3 M.F. Balcan，N。Haghtalab和C. White。 k-扰动弹性下的中心聚类。 算法上的ACM交易，16（2）：1–30，2020。 J2 A. Blum，J.P。Dickerson，N。Haghtalab，A.D。Procaccia，T。Sandholm和A. Sharma。 无知几乎是幸福：几乎最佳的随机匹配与几个查询。 操作研究，68（1）：16–34，2020。 J1 N. Haghtalab，A。Laszka，A.D。Procaccia，Y。Vorobeychik和Xenofon Koutsoukos。 监视隐形扩散。 知识和信息系统，52（3）：1-29，2017。Oracle效率学习和拍卖设计。ACM 67（5）：1-57，2020。J3 M.F. Balcan，N。Haghtalab和C. White。 k-扰动弹性下的中心聚类。 算法上的ACM交易，16（2）：1–30，2020。 J2 A. Blum，J.P。Dickerson，N。Haghtalab，A.D。Procaccia，T。Sandholm和A. Sharma。 无知几乎是幸福：几乎最佳的随机匹配与几个查询。 操作研究，68（1）：16–34，2020。 J1 N. Haghtalab，A。Laszka，A.D。Procaccia，Y。Vorobeychik和Xenofon Koutsoukos。 监视隐形扩散。 知识和信息系统，52（3）：1-29，2017。J3 M.F.Balcan，N。Haghtalab和C. White。k-扰动弹性下的中心聚类。算法上的ACM交易，16（2）：1–30，2020。J2 A. Blum，J.P。Dickerson，N。Haghtalab，A.D。Procaccia，T。Sandholm和A. Sharma。无知几乎是幸福：几乎最佳的随机匹配与几个查询。操作研究，68（1）：16–34，2020。J1 N. Haghtalab，A。Laszka，A.D。Procaccia，Y。Vorobeychik和Xenofon Koutsoukos。监视隐形扩散。知识和信息系统，52（3）：1-29，2017。
量子承诺的经典绑定
在经典承诺中，统计绑定意味着几乎所有承诺成绩单最多都有可能的开口。虽然量子承诺（对于经典消息）有时比其经典同行有益（例如在假设方面），它们提供了较弱的结合概念。本质上，发件人不能以明显大于1/2的概率开放给定值的给定承诺。< / div>我们引入了对量子承诺的经典结合概念，该量子承诺提供了类似于经典案例的保证。在我们的概念中，接收器对量子承诺字符串进行（部分）测量，并且该测量结果决定了发件人可以打开的单个值。我们希望我们的概念可以在各种设置中取代经典承诺，而安全证明基本上没有变化。作为一个例子，我们显示了GMW零知识证明系统的合理性证明。我们构建了一种非相互作用的量子承诺方案，该方案是经典的统计结合，并根据任何后量子后单向函数的存在，具有经典的开口。先前的候选人具有固有的量子开口，并且没有经典结合。相反，我们表明，无论假设或复杂性如何，都无法实现统计上隐藏承诺的经典结合。我们的方案只是NAOR的承诺方案（在经典上需要一个常见的随机字符串，CRS），但在CRS的所有可能值中以叠加执行，并重复多次。我们希望使用量子通信去除CRS的技术可以找到其他用途。