XiaoMi-AI文件搜索系统
World File Search SystemComputable
单向功能和零知识
上面的表征还适用于统计和计算零知识参数系统。我们将此特征进一步扩展到具有知识复杂性o（log n）的证明系统。特别是，如果GAPMCSP具有具有知识复杂性O（log n）的证明系统，则表明单向函数的存在的特征是CZK的最差硬度。我们通过证明NP在存在指数性的硬辅助输入单向函数的情况下以知识复杂性ω（log n）的互动性证明系统进行补充（这是比指数硬的单向函数较弱的原始功能）。我们还表征了CZK的非确定性硬度在pspace̸⊆am的弱假设下，CZK的非确定性硬度的不均匀计算单向函数的存在。我们提出了结果的两个应用。首先，我们简化了通过NP的元素函数来证明元计算问题的单向功能，以及Hirahara（stoc'23）给出的NP的最坏情况的证明。第二，我们表明，如果NP具有La-conic零知识参数系统，则存在一个公用密钥加密方案，其安全性可以基于NP的最坏情况。这改善了以前的结果，该结果假定存在无法区分的混淆。
JHEP10(2024)048
摘要：根据 Nielsen 及其合作者的开创性工作，合适算子空间的几何实现中最小测地线的长度提供了操作量子复杂性的度量。与基于将所需操作构建为乘积所需的最少门数的原始复杂性概念相比，这种几何方法相当于一个更具体和可计算的定义，但在具有高维希尔伯特空间的系统中，它的评估并不简单。通过考虑与由系统中少量相关算子生成的合适有限维群相关的几何，可以更轻松地评估几何公式。通过这种方式，该方法特别应用于谐振子，这也是本文感兴趣的。然而，群论中微妙且以前未被认识到的问题可能会导致无法预见的复杂情况，从而促使人们提出一种新的公式，该公式在大多数所需步骤中仍处于底层李代数的水平。因此，可以在低维环境中发现关于复杂性的新见解，并有可能系统地扩展到更高维度以及相互作用。具体示例包括与谐振子、倒谐振子和耦合谐振子相关的各种目标幺正算子的量子复杂性。该方法的普遍性通过应用于具有三次项的非谐振子来证明。
量子最大割近似的难度
一些正振幅，因此它们总体上相互抵消。通常，量子程序的输入和输出是经典字符串，因此我们输入一个基向量并在最后进行测量，以上述规则给出的概率获得每个状态。“量子程序”只是这些操作的有序列表，以及每个操作所作用的量子位，而有效的量子可计算函数是具有有效量子算法的函数（即至少有 2/3 的概率得到正确答案）。有效的量子程序是有效经典程序的超集，因为它们的门集中包含 CX 和 X 门（从我们给出的集合来看，这并不明显；但确实如此）。此外，如果我们考虑将 H 应用于纯量子位，然后立即进行测量，我们会得到一个随机输出。这样，我们可以看到有效的量子程序也是有效随机程序的超集。它们比随机程序更强大这一点可能并不明显，因为迄今为止讨论的唯一新颖的能力是破坏性干扰。我们将在后面的章节中看到如何利用此属性来提高计算速度。当向量 | ψ ⟩ 具有许多非零项时，它被称为“相干叠加”，重要的是要理解这与概率混合有着根本的不同。以下状态
![arXiv:2211.04868v1 [quant-ph] 2022 年 11 月 9 日](/simg/1\126e5b8372f6690252371cc4946c07f77a351c04.webp)
arXiv:2211.04868v1 [quant-ph] 2022 年 11 月 9 日
这里{ pi }是概率分布，ρ i A 和ρ i B 分别为子系统A和B的状态，则它是可分离的，否则它是纠缠的。对于2 ⊗ 2和2 ⊗ 3系统，上述问题可以通过Peres-Horodecki准则完全解决：二分状态ρ AB 是可分离的当且仅当它是正部分转置（PPT），即（id⊗T）（ρAB）≥0[6]。然而对于任意维系统，该问题是NP难的[7]。在过去的二十年中，还有其他几个突出的准则。可计算交叉范数或重排准则（CCNR）准则由Rudolph[8]以及Chen和Wu[9]提出。 2006 年，作者提出了局部不确定性关系 (LUR)，并证明 LUR 比 CCNR 准则更强 [10]。2007 年，作者提出了一个基于 Bloch 表示的准则 [11]。随后，张等人提出了增强重排准则 [12]。2015 年，作者提出了一种改进的 CCNR 准则，并证明其比 CCNR 准则更强 [13]。2018 年，尚等人提出了二分状态可分性的充分条件，称为 ESIC 准则 [14]。最近，Sarbicki 等人提出了一类基于状态的 Bloch 表示的可分性准则 [15]。随后，他们证明
α-静态负性
二分量子状态的对数负态是量子信息理论中广泛使用的纠缠，因为它易于计算并用作可蒸馏纠缠的上限。最近，两部分状态的κ键入被证明是易于计算且具有精确的信息理论含义的第一个纠缠措施，等于双方量子状态的确切纠缠成本，而自由操作是那些完全保留部分trans pose pose porths-pose pose and porths porths pornale porneme wang and warg and wang and wang and wang and wang and wang and wang wang and warg and wang and wang and warg and warg and wang wang and warg and wang wang and warg and wang wang wang and warg wang。修订版Lett。 125（4）：040502，2020年7月]。 在本文中，我们通过表明它们是α-千层词的纠缠措施的有序家族的极端，提供了这两种纠缠措施之间的非平凡联系，每种措施都由参数α∈[1，∞]鉴定出来。 在这个家族中，原始的对数负性被恢复为具有α= 1的较小的eST，并且κ键入被恢复为最大的α=∞。 我们证明α-静态的负性满足了以下特性：纠缠单调，归一化，忠诚和亚功能。 我们还证明它既不是凸面也不是一夫一妻制。 最后，我们定义了量子通道作为量子状态概念的概括的α-静态负性，我们展示了如何将许多概念推广到任意资源理论。Lett。125（4）：040502，2020年7月]。在本文中，我们通过表明它们是α-千层词的纠缠措施的有序家族的极端，提供了这两种纠缠措施之间的非平凡联系，每种措施都由参数α∈[1，∞]鉴定出来。在这个家族中，原始的对数负性被恢复为具有α= 1的较小的eST，并且κ键入被恢复为最大的α=∞。我们证明α-静态的负性满足了以下特性：纠缠单调，归一化，忠诚和亚功能。我们还证明它既不是凸面也不是一夫一妻制。最后，我们定义了量子通道作为量子状态概念的概括的α-静态负性，我们展示了如何将许多概念推广到任意资源理论。
人机协作中的伦理问题：原则与观点
摘要 道德考量是我们社会的组成部分，它促进合作、帮助和为更大的利益而牺牲。人工智能的进步使得人们更需要研究涉及此类系统开发和实施的道德考量。将道德融入基于人工智能的程序对于防止隐私泄露和决策偏见等负面结果至关重要。人机协作 (HAIT) 带来了额外的挑战，因为为其提供依据的道德原则和道德理论尚未被机器计算；人类必须保持“知情”才能仲裁道德考量。为此，人类判断和决策模型（例如代理-行为-后果 (ADC) 模型）对于指导人工智能队友的道德指导功能以及阐明人类如何以及为何（不）信任机器至关重要。本文将研究 ADC 模型在 HAIT 环境中的应用，以及在人工智能环境中使用以人为中心的道德模型所带来的挑战。由 ADC 模型决策树赋能的 AI 算法既能灵活适应各种道德框架，又能适应不同的环境和背景情况，因此我们相信这项研究为将道德原则应用于 HAIT 的挑战提供了一种新颖的解决方案。关键词：人机协作 (HAIT)、代理-行为-后果 (ADC) 模型、护理机器人、道德、信任、人工智能 (AI)
基于本体的糖尿病营养疗法的决策支持系统：系统文献评论
糖尿病是一种非传染性疾病，已达到流行病，全球影响5.37亿人。人工智能可以在糖尿病营养疗法中为患者或临床医生提供支持 - 在大多数1型和2型糖尿病的情况下，第一种药物疗法。尤其是基于本体的推荐人和决策支持系统可以提供专家知识的可计算代表，从而提供患者监管的营养建议或支持临床人员确定最合适的饮食。这项工作提出了对描述此类系统中糖尿病的领域的系统文献回顾，识别其潜在的概念化，系统针对的用户，所解决的糖尿病类型以及提供的营养建议。本综述还深入研究了领域本体论的结构，突出了几个方面可能会阻碍（或促进）其在推荐人中的采用和决策支持系统中用于糖尿病营养疗法。这一审查过程的结果允许强调如何制定推荐，以及临床专家在发展领域本体论中的作用，概述了表征该研究领域的研究趋势。结果还允许确定可以促进临床专家和临床指南的重要作用的研究方向，以使本体更加可互操作，从而使他们能够在有关糖尿病营养治疗的决策过程中发挥重要作用。
![arxiv：2405.07340v1 [cs.cy] 2024年5月12日](/simg/8\8b9cd7e2d463646b9f89e377e647447c56e2fd1b.webp)
arxiv：2405.07340v1 [cs.cy] 2024年5月12日
摘要。自从人工智能概念发明以来，有意识机器的假设一直在争论，因为该系统实现的计算智能是该系统中现象意识出现的原因，即作为epiphenomenon或epiphenomenon的出现的原因，或者是导致epiphenomenon的epiphenomenon或系统的行为或内部复杂性的结果。因此，已经发布了大量文献来探讨机器意识的可能性以及如何在计算机上实施它。，更重要的是，普通的民间心理学和超人类主义文学将这一假设带来了科幻文学的普及，在这种假设中，智能机器人通常是吞噬的，因此鉴于惊人的意识。但是，在这项工作中，我们争论了这些文献如何缺乏科学的严格性，不可能伪造相反的假设，并说明了一系列论点，这些论点表明了机器意识文献发表的每种方法如何取决于无法通过科学方法证明的哲学假设。contey，我们还展示了非计算的现象意识如何独立于算法或模型的复杂性，不能客观地测量或定义定义，并且基本上是一种主观和内部的观察者。鉴于所有这些论点，我们结束了工作，论证了为什么如今有意识的机器的思想是超人类主义和科幻文化的神话。
系统文献评论
糖尿病是一种非传染性疾病，已达到流行病，全球影响5.37亿人。人工智能可以在糖尿病营养疗法中为患者或临床医生提供支持 - 在大多数1型和2型糖尿病的情况下，第一种药物疗法。尤其是基于本体的推荐人和决策支持系统可以提供专家知识的可计算代表，从而提供患者监管的营养建议或支持临床人员确定最合适的饮食。这项工作提出了对描述此类系统中糖尿病的领域的系统文献回顾，识别其潜在的概念化，系统针对的用户，所解决的糖尿病类型以及提供的营养建议。本综述还深入研究了领域本体论的结构，突出了几个方面可能会阻碍（或促进）其在推荐人中的采用和决策支持系统中用于糖尿病营养疗法。这一审查过程的结果允许强调如何制定推荐，以及临床专家在发展领域本体论中的作用，概述了表征该研究领域的研究趋势。结果还允许确定可以促进临床专家和临床指南的重要作用的研究方向，以使本体更加可互操作，从而使他们能够在有关糖尿病营养治疗的决策过程中发挥重要作用。
自动有效发现量子内核
摘要 - 量词计算可以通过启用内核机器来利用量子kernels来代表数据之间的相似性度量来增强机器学习模型。量子内核能够捕获在经典设备上无法有效计算的数据中的关系。但是，没有直接的方法可以针对每个特定用例设计最佳量子内核。我们提出了一种方法，该方法采用了与神经体系结构搜索和自动化中使用的技术相似的优化技术，以启发式方式自动找到最佳内核。为此，我们定义了用于构建实现相似性度量作为组合对象的量子电路的算法，该算法是根据成本函数进行评估的，然后使用元效法优化技术进行了迭代修改。成本函数可以启用许多标准，以确保候选解决方案的有利统计属性，例如动态LIE代数的等级。重要的是，我们的方法独立于采用的优化技术。通过在高能物理问题上测试我们的方法获得的结果表明，在最佳情况下，我们可以相对于手动设计方法匹配或提高测试准确性，表明我们技术的潜力可以减少努力来提供卓越的结果。