摘要。我们提供有界共同体的新计算:如果在所有正度程度上具有微不足道的真实系数的有界的共同体,则一组有限的无环。我们表明,存在一个有限产生的无界无环群的连续体,并构建了一个有限的无界无环群。另一方面,我们构建了一个有限生成的群体的连续体,其有限的共同体在大于或等于2的所有程度上具有无数的维度,并且有限地提出了一个。可计数的不符合性群体,但这些构成了第一个有限的/有限呈现的示例。最后,我们表明有界共同体的各种算法问题是不可决定的。
多权利功能加密(MA -FE)[Chase,TCC'07; Lewko-Waters,Eurocrypt'11; Brakererski等人,ITCS'17]是对功能加密(FE)的普遍概括,其中心目标是将信任假设从单个中心信任的关键权威转移到一组多个独立和非相互作用的关键机构。在过去的几十年中,我们看到了从各种假设和各种安全性水平的FE支持不同功能类别的新设计和构造方面的巨大进步。不幸的是,在多权设置中尚未复制同样的情况。当前的MA-Fe设计范围是相当有限的,其正面结果仅因(全部或全部)属性功能而闻名,或者需要通用代码混淆的全部功能。Brakerski等人提供的含义可以部分解释MA-FE中的最新技术。(ITCS'17)。表明,即使只有在有限的收集模型中安全的磁盘方案才能安全,即使MA -FE方案才能安全,即使在界限模型中,每个机构最多都会损坏了通用的混淆方案。在这项工作中,我们重新审视了Ma -fe的问题,并表明从Ma -Fe到混淆的现有含义并不紧张。我们提供了新的方法来设计MA -FE,用于简单和最小的加密假设的电路。我们的主要贡献总结为
与 Haimeng Zhao、Ishaan Kannan、Yihui Quek、Hsin-Yuan Huang 和 Matthias C. Caro 合作
O'Donnell and Wright, STOC 2016 Haah, Kothari, O'Donnell, Tang, FOCS 2023 n ∼10 23 ! 学习如何成为可能?
摘要:我们对 Arunachalam、Briët 和 Palazuelos (SICOMP'19) 的主要结果进行了新的介绍,并表明量子查询算法由一类新的多项式来表征,我们称之为傅里叶完全有界多项式。我们推测所有这样的多项式都有一个影响变量。这个猜想比著名的 Aaronson-Ambainis (AA) 猜想(计算理论'14)要弱,但对量子查询算法的经典模拟具有相同的含义。我们通过证明它适用于齐次傅里叶完全有界多项式来证明 AA 猜想的一个新案例。这意味着如果 d 查询量子算法的输出是 2 次 d 的齐次多项式 p,那么它有一个影响变量至少为 Var [ p ] 2。此外,我们给出了 Bansal、Sinha 和 de Wolf (CCC'22 和 QIP'23) 的结果的另一种证明,表明块多线性完全有界多项式具有影响变量。我们的证明更简单,获得更好的常数,并且不使用随机性。
按照预期,它是上一代的子代,由上一代生成:根据这一说法,当将大型计算机的计算时间分配给多个批处理作业的算法变得越来越先进时,很明显可以将大型计算机的计算时间进一步划分。将其划分为足够小的部分,这些部分快速连续地相互衔接,在几个人看来,他们将对整个机器拥有独占控制权。这种称为“时间共享”的想法并没有将计算机的资源划分给几个批处理作业,而是划分给几个人(正如我们将在下面看到的,重新定义为“用户”),这些人现在可以与机器进行“对话交互”。6 虽然分时一代的对话是以书面文本交换的形式进行的,但沃克的第四代交互引入了图形显示,将文本命令集中到可视菜单中。第五代也是最后一代催生了个人计算的图形用户界面,这些界面在各种迭代中一直陪伴着我们的台式机、笔记本电脑和手机,直到今天。7
正如我们所料,它是上一代计算机的产物,并由上一代计算机生成:随着将大型计算机的计算时间分配给多个批处理作业的算法越来越先进,显然可以进一步划分大型计算机的计算时间。将计算时间划分为足够小的部分,并快速连续地相互衔接,在几个人看来,他们将拥有对整台机器的独占控制权。这种称为“分时”的想法并没有将计算机的资源划分给几个批处理作业,而是划分给几个人(我们将在下文中将这些人重新定义为“用户”),这些人现在可以与机器进行“对话交互”。6 分时一代的对话以书面文本交换的形式发生,而沃克的第四代交互则引入了图形显示,将文本命令集中到可视菜单中。第五代也是最后一代催生了个人计算的图形用户界面,这些界面经过多次迭代,至今仍在我们的台式机、笔记本电脑和手机上陪伴着我们。7