XiaoMi-AI文件搜索系统
World File Search SystemDrops
学习TSP需要重新思考概括-Drops
对组合优化问题（例如旅行推销员问题）的神经网络求解器的端到端培训是棘手的，效率低下，超过了几百个节点。，当最新的机器学习方法经过琐碎的尺寸训练时，与经典求解器紧密相关，但他们无法将学习的政策推广到更大的实用范围。旨在利用转移学习来解决大规模TSP，本文确定了归纳偏见，模型架构和学习算法，这些算法促进对比培训中所见的实例更大的实例。我们的受控实验提供了对这种零弹性概括的首次原则研究，表明除训练数据超出训练数据需要重新思考神经组合优化管道，从网络层和学习范式到评估方案。
跨度程序和量子时间复杂性 - 滴
跨度程序是量子计算的重要模型，因为它们与量子查询和空间复杂性的对应关系。虽然从SPAN程序获得的量子算法的查询复杂性是充分理解的，但通常不清楚如何以时间效率的方式实现某些独立的操作。在这项工作中，我们证明了量子时间复杂性的类似连接。，我们展示了如何将F对于时间复杂性t t的足够结构结构的量子算法转换为f的跨度程序，从而将其汇编回到f的量子算法中，并使用时间复杂性e O（t）。这表明，对于具有时间效率实现的算法衍生的跨度程序，我们可以在实现跨度程序时保留时间效率，这意味着SPAN程序捕获时间，查询和空间复杂性，并且是量子算法的完整模型。能够以保持时间复杂性的方式将量子算法转换为跨度程序的一个实际优势是，跨度程序构成非常好。我们通过通过跨度程序组成或功能来改善Ambainis的可变时间量子搜索结果来证明这一点。
组织之间的主权数据交换 - DROPS
在美国成立的工业数据空间 (IDS)，在德国成立的相关联盟国际数据空间协会 (IDSA)2。这些举措大多旨在提供一个参考架构，以处理（i）与定义能够规范数据生态系统参与的政策和条件有关的治理方面，（ii）与定义保证可信和安全的数据交换的政策和基础设施有关的安全方面，（iii）与表示模型和交换格式和协议有关的数据和服务管理方面，以及（iv）与架构组件的实现及其交互有关的软件设计原则。研讨会上讨论了所有这些方面，主要结果在本报告中描述。此外，我们在研讨会上考虑的数据生态系统的一个新核心方面是，我们认为数据除了具有支持运营和决策核心业务活动的内在价值外，还具有经济价值。这意味着在数据生态系统中，数据通常被视为商业资产和商业商品，可以根据合同以某种形式（例如数据供应服务或原始数据）定价和出售。正如上述问题的数量和种类所证明的那样，创建这样的生态系统带来了许多挑战，涉及广泛的技术和科学专业。因此，研讨会吸引了来自不同社区的研究人员。跨学科讨论使分析不同观点和实现本报告中提出的宝贵成果成为可能，例如广泛的研究挑战和为进一步开发数据生态系统而定义的有趣用例。研讨会期间开展的活动详情如下。
学习和游戏 AI - DROPS - Schloss Dagstuhl
将学习融入商业游戏可以丰富玩家体验，但可能会让开发者担心诸如失去对游戏世界的控制等问题。我们探讨了一些应用研究和一些实地应用，这些应用表明机器学习研究具有巨大的可能性，包括实时战略游戏、飞行模拟游戏、汽车和摩托车赛车游戏、围棋等棋盘游戏，甚至囚徒困境等传统博弈论问题。这些研究的共同特点是机器学习有可能减轻游戏开发者的负担。然而，存在一些挑战阻碍了机器学习的更广泛应用。我们讨论了其中的一些挑战，同时探索了在游戏中广泛使用机器学习的机会。
组织之间的主权数据交换 - DROPS
在美国成立，工业数据空间 (IDS) 在德国成立，相关联盟国际数据空间协会 (IDSA) 2。这些举措大多旨在提供一个参考架构，以处理（i）与定义能够规范数据生态系统参与的政策和条件有关的治理方面，（ii）与定义保证可信和安全的数据交换的政策和基础设施有关的安全方面，（iii）与表示模型和交换格式和协议有关的数据和服务管理方面，以及（iv）与架构组件的实现及其交互有关的软件设计原则。研讨会上讨论了所有这些方面，主要结果在本报告中描述。此外，我们在研讨会上考虑的数据生态系统的一个新核心方面是，我们认为数据除了具有支持运营和决策核心业务活动的内在价值外，还具有经济价值。这意味着在数据生态系统中，数据通常被视为商业资产和商业商品，可以根据合同以某种形式（例如数据供应服务或原始数据）定价和出售。正如上述问题的数量和种类所证明的那样，创建这样的生态系统带来了许多挑战，涉及广泛的技术和科学专业。因此，
错误学习的量子删除证明 - DROPS
量子信息具有测量本质上是一个破坏性过程的特性。这一特征在互补原理中表现得最为明显，该原理指出互不相容的可观测量不能同时测量。Broadbent 和 Islam (TCC 2020) 最近的研究基于量子力学的这一方面，实现了一种称为认证删除的密码概念。虽然这个了不起的概念使经典验证者能够确信 (私钥) 量子密文已被不受信任的一方删除，但它并没有提供额外的功能层。在这项工作中，我们用完全同态加密 (FHE) 增强了删除证明范式。我们构建了第一个具有认证删除的完全同态加密方案——这是一种交互式协议，它使不受信任的量子服务器能够对加密数据进行计算，并且如果客户端要求，可以同时向客户端证明数据删除。我们的方案具有理想的特性，即删除证书的验证是公开的；这意味着任何人都可以验证删除已经发生。我们的主要技术要素是一个交互式协议，通过该协议，量子证明者可以说服经典验证者，以量子态形式出现的带错误学习 (LWE) 分布中的样本已被删除。作为我们协议的一个应用，我们构建了一个具有认证删除的 Dual-Regev 公钥加密方案，然后将其扩展到相同类型的 (分级) FHE 方案。我们引入了高斯崩溃哈希函数的概念 - Unruh (Eurocrypt 2016) 定义的崩溃哈希函数的一个特例 - 并在假设 Ajtai 哈希函数在存在泄漏的情况下满足某种强高斯崩溃性质的情况下证明了我们方案的安全性。
量子行走搜索的统一框架——DROPS
我们提出了一种新的量子行走搜索框架，统一并加强了这些框架，从而产生了许多新成果。例如，新框架可以在电网设置中有效地找到标记元素。新框架还允许在命中时间框架（最小化行走步数）和 MNRS 框架（最小化检查元素是否被标记的次数）之间进行插值。这使得资源之间能够实现更自然的权衡。除了量子行走和相位估计之外，我们的新算法还使用了量子快进，类似于 Ambainis 等人的最新结果。这种观点还使我们能够推导出量子行走算法更一般的复杂性界限，例如基于相应经典行走的蒙特卡罗类型界限。最后，我们展示了如何在某些情况下避免使用相位估计和量子快进，回答了 Ambainis 等人的一个悬而未决的问题。
量子过程演算的效果语义 - DROPS
量子通信协议的发展激发了人们对过程演算和行为等价性的量子扩展的兴趣，但定义与量子系统观测特性相匹配的双相似性是一项出奇困难的任务。明确解决此问题的两个提案 qCCS 和 lqCCS 没有定义算法验证方案：通过比较两个过程在所有输入状态下的行为来证明它们的双相似性。我们引入了一种基于效应的新语义模型，即表示其可观察特性的量子态的概率谓词。我们定义并研究了效应分布和效应标记转换系统 (eLTS) 的属性，分别概括了概率分布和概率标记转换系统 (pLTS)。作为概念证明，我们为最小量子过程代数提供了基于 eLTS 的语义，我们证明它在量子过程的可观察概率行为方面是合理和完整的。据我们所知，我们的提案是第一个符合量子理论特性的可通过算法验证的提案。
idris 2：实践中的定量类型理论 - 滴
依赖类型允许我们精确地表达函数打算做的事情。定量类型理论（QTT）的最新工作以线性性扩展了相关类型系统，也可以精确表达何时运行函数。这是很有希望的，因为它建议对资源使用协议进行设计和推理的能力，例如我们在分布式和并发编程中可能会发现的，其中通信渠道的状态在整个程序执行过程中会发生变化。到目前为止，还没有使用这些想法来实验的完整编程语言。idris 2是依赖类型的语言IDRI的新版本，具有基于QTT的新核心语言，支持线性和依赖类型。在本文中，我们介绍了IDRIS 2，并描述了QTT如何影响其设计。我们在实践中举例说明了QTT的好处，包括：在运行时，类型级别删除哪些数据；并且，在类型系统中进行资源跟踪，从而导致类型和会话类型的类型安全程序编程。