XiaoMi-AI文件搜索系统
World File Search SystemPrimitives
AIM 的量子实现：瞄准低深度
摘要。密码的对称密钥原语中的安全漏洞可能会破坏密码的整体安全声明。近年来，随着量子计算的快速发展，人们越来越努力地评估对称密钥密码术对潜在量子攻击的安全性。本文重点分析了 AIMer 数字签名方案中使用的对称密钥原语 AIM 的量子攻击抵抗力。我们介绍了 AIM 的第一个量子电路实现，并根据 Grover 搜索算法估计了其复杂性（例如量子比特数、门数和电路深度）。对于 Grover 密钥搜索，最重要的优化指标是深度，尤其是在考虑并行搜索时。我们的实现汇集了 AIM 低深度量子电路的多种方法，以减少 Toffoli 深度和全深度。
设计植物驱动的执行器，以使机器人生长，年龄...
设计以植物为导向的执行器为创建新型设备的机会提供了一个机会，例如在物理结构中体现这些品质的机器人。生长和衰减的植物杆型植物构成了生物体固有的不可预测和逐渐转换，并提出了一种直接性，响应，控制，准确性和耐用性的设计原理的替代方法。为了探讨这一点，我们为植物驱动的机器人执行器提供了原始设计空间。概念证明原型幻觉如何将诸如缓慢变化，缓慢运动，衰减和破坏之类的概念纳入机器人形式中。我们描述了为机器人构建植物驱动的辅助器所需的设计注意事项，包括有关植物力的机械性能的实验性fndings。最后，我们推测
关于非线性所得税的政治经济学
在这里吸引了有关投票，最佳所得税，实施和纯公共物品的文献，以解决对所得税进行投票的问题，以确定公共利益。与以前的文章有关，一般的非线性所得税会影响允许工作和投票的消费者的劳动力决策。不确定性起着重要的作用，因为政府不知道从已知分布中吸引的消费者能力的真实实现，但必须符合依赖于实现的预算；税制必须坚固。即使替代方案的空间是有限的维度，也发现原始条件可以确保大多数规则均衡。JEL数字：D72，D82，H21，H41关键字：投票；所得税；公共利益；鲁棒性
关于所得税的政治经济学
在此集成了有关投票，最佳所得税，实施和纯公共物品的文献，以解决对所得税和公共物品投票的问题。与以前的文章相比，允许从事工作和投票的消费者的劳动休闲决定的一般非线性所得税。毫无疑问起着重要的作用，因为政府不知道从已知分布中吸引的消费者能力的真正实现，但必须满足依赖于实现的预算。即使替代方案的空间是有限的维度，当代理商对公共利益和所得税投票以确定其确定时，原始条件也可以确保存在多数规则的存在。JEL数字：D72，D82，H21，H41关键字：投票；所得税；公共商品
关于非线性所得税的政治经济学
在这里吸引了有关投票，最佳所得税，实施和纯公共物品的文献，以解决对所得税进行投票的问题，以确定公共利益。与以前的文章有关，一般的非线性所得税会影响允许工作和投票的消费者的劳动力决策。不确定性起着重要的作用，因为政府不知道从已知分布中吸引的消费者能力的真实实现，但必须符合依赖于实现的预算；税制必须坚固。即使替代方案的空间是有限的维度，也发现原始条件可以确保大多数规则均衡。JEL数字：D72，D82，H21，H41关键字：投票；所得税；公共利益；鲁棒性
量子单向性的计算硬度
摘要有大量的工作研究需要什么形式的计算硬度来实现经典的加密。特别是，可以从彼此构建单向函数和伪随机生成器，因此需要等效的计算假设才能实现。此外，这些原语中的任何一个的存在都意味着p̸= np，这在必要的硬度上给出了下限。也可以通过量子输出来定义这些原始词的版本：分别单向状态发生器和伪随机态生成器。与经典环境不同，尚不清楚是否可以从另一个可以构建两者。尽管已经证明，某些参数制度的假态状态生成器可用于构建单向状态发生器，但该含义以前尚未在一般性中被广为人知。此外，据我们所知，单向状态发生器的存在在传统复杂性理论中没有已知的含义。我们表明，伪随机态将n位压缩到log n + 1量子位可用于构建单向状态发电机，并且伪和态态将n位压缩到ω（log n）量子位本身就是单向状态发电机。这是一个几乎最佳的结果，因为可以无条件地证明具有小于C n Q n Qubit Output的假态状态。我们还表明，任何单向状态生成器都可以通过具有经典访问PP Oracle的量子算法破坏。这与先前已知的事实形成鲜明对比：o（n） - 副本单向发电机需要计算硬度。我们结果的一个有趣的含义是，对于每个t（n）= o（n/ log n），t（n） - 副本单向状态发生器无条件地存在。我们还概述了单向状态发电机和量子位承诺之间的黑框分离的新途径。
量子密钥可撤销双 Regev 加密，重新审视
量子信息可用于实现经典加密无法实现的新型加密原语。Ananth、Poremba、Vaikuntanathan (TCC 2023) 最近的一项工作重点是使用量子信息为 Gentry、Peikert、Vaikuntanathan (STOC 2008) 引入的双 Regev 加密方案配备密钥撤销功能。他们进一步表明，密钥可撤销双 Regev 方案意味着存在完全同态加密和伪随机函数，它们都配备了密钥撤销功能。不幸的是，他们只能根据新的猜想证明其方案的安全性，而没有解决基于经过充分研究的假设来确定密钥可撤销双 Regev 加密安全性的问题。在这项工作中，我们解决了这个悬而未决的问题。假设具有误差的多项式学习难度（超过亚指数模数），我们证明密钥可撤销双 Regev 加密是安全的。因此，我们首次获得以下结果：
安全与量子计算：一个视角
摘要 — 可扩展量子计算的前景正在密码学和安全领域引起重大变革。在这篇前瞻性论文中，我们回顾了实现大规模量子计算的进展。我们进一步总结了现有密码原语面临的迫在眉睫的威胁。为了应对这些挑战，人们正在努力实现新的密码原语的标准化，即后量子密码学 (PQC)。我们讨论了定义不同类别的 PQC 候选的底层数学问题，以及它们对对手访问大型量子计算机的抵抗力。与此研究线索并行的是，几个经典的密码原语也被移植到量子世界。我们在此背景下讨论了量子密钥分发 (QKD)、物理不可克隆函数 (PUF) 和真随机数生成器 (TRNG)。对于这些实现，我们对由此产生的与实现相关的漏洞进行了预览。
使用人类运动词典的手机操纵计划
摘要 - 灵巧的手工操纵是一种独特而有用的人类技能。这种能力需要许多感官和手动的协调，以遵守许多约束。这些约束变化，可以受对象特征或特定应用的影响。机器人平台实现可靠的手动操纵技能的关键要素之一是能够将这些约束整合到其运动世代中。这些约束可以通过经验或人类示范进行隐式建模，学习。我们提出了一种基于运动原始词典的方法，以学习和复制手持操纵技巧。尤其是在操纵过程中，我们专注于指尖运动，并定义了一个优化过程来构造运动原始图，以达到特定的指尖配置。这项工作的结果表明，所提出的方法可以产生与人类相干的操纵运动，并且即使没有明确的形式化也可以继承操纵约束。
机器人技术和智能机器的博士课程
描述：神经形态传感和计算可用于设计机器人的低延迟感知。为了充分利用低延迟和低功率范式，我们旨在设计端到端的尖峰机器人系统，依靠事件驱动的感觉编码，神经形态计算和尖峰运动控制，所有这些都在神经形态硬件[1]上实现。为此，我们计划使用受脑启发的计算原始剂，以有限且嘈杂的资源来生成可靠的行为[2]。我们将基于最近的工作，展示了通过三联尖峰触发的可塑性，基础神经节启发的抑制作用和竞争性竞争力网络[1]的研究，并通过平衡的混乱动力学吸引力来产生稳定的轨迹[3,4]。作为玩具问题，我们将使用ICUB机器人并使用开发的网络进行笔迹。