该论文研究量子密码学中伪随机态（PRS）构造的可实现性问题，属于量子计算复杂性理论中的黑盒分离（oracle separation）研究。已知结论表明，存在从量子安全单向函数（quantum-secure OWF）构造 PRS 生成器的黑盒构造方案，因此直觉上"存在量子安全 OWF"应当蕴含"存在 PRS"。本文作者 Minki Hhan、Changhun Oh、Vaughn Sohn 构造了一类量子 oracle，相对于该 oracle 同时满足两个条件：量子安全单向函数存在，但输出长度超过对数量级（superlogarithmic）的伪随机态（PRS）不存在。这表面上与已知的黑盒构造矛盾，作者指出关键在于对 oracle 的访问模型：他们的分离使用的是"经典可访问"（classical-accessible）的随机 oracle，即即便是量子算法也只能以经典方式查询该 oracle，无法进行量子叠加式（相干）查询。作者进一步证明，这一 PRS 的不可能性结论实际上适用于替换随机 oracle 的任意经典可访问经典 oracle，而保持 oracle 的另一组成部分不变，从而说明构造 PRS 必须依赖相干访问（coherent access）能力。此外，作者证明相对于同一组 oracle，对数量级输出长度的伪随机函数类态（PRFS）是存在的，由此给出"经典可访问的对数长度 PRFS"与"超对数长度 PRS"之间的 oracle 分离。综合这些结果，论文表明：任何完全黑盒的、把 PRS 输出长度从对数量级扩展到超对数长度的构造，都必须对底层的短 PRS 使用相干访问。该工作厘清了量子密码原语黑盒构造中访问模型（经典 vs 相干）这一此前被忽视的关键维度，对理解 PRS/PRFS 与 OWF 之间的相对关系、以及量子密码安全性归约的边界具有理论意义。

该论文研究量子密码学中用于实例化 Microcrypt 的 Hamiltonian phase state (HPS) 假设。此前工作提出 HPS 假设，认为哈密顿相位态可用于构造伪随机态生成器和单向态生成器；并进一步猜想该假设可能成立，即使经典单向函数不存在。若此猜想成立，HPS 将为 Microcrypt（不依赖经典单向函数的密码原语）提供实现路径。本文否证了该猜想：证明若 HPS 假设成立，则经典单向函数必然存在。技术上，作者给出从单向态生成器构造单向谜题的新方法，核心是定制化的“先测量、后询问”态认证协议。该方法推广了此前借助经典影子从单向态生成器构造单向谜题的工作，并建立单向谜题性质与所用态认证协议性质之间的关联：若态认证协议允许高效经典后处理，则得到可高效验证的单向谜题；若协议在某种意义下可被高效经典模拟，则得到经典单向谜题，进而推出单向函数。作者利用相位态认证协议的性质，由后一观察证明 HPS 假设蕴含单向函数；前一类构造则为利用定制态认证协议从伪随机和单向态生成器构造可高效验证单向谜题提供了新工具箱。贡献包括否证 HPS 可独立于 OWF 的猜想、给出一般化构造框架，并重新定位 HPS 为可导出经典密码学的量子假设。

本文是一篇关于量子单向函数及相关量子态原语的综述性论文，由Georgios M. Nikolopoulos撰写，属于量子物理与数学物理交叉领域。论文指出，在经典密码学中，单向函数几乎支撑了所有标准密码协议，但量子密码学中除密钥分发外的原语研究尚不成熟。作者系统回顾了量子单向函数及其密切相关的量子态原语，包括单向态生成器（one-way state generators）、伪随机量子态（pseudorandom quantum states）以及高效不可区分态对（efficiently indistinguishable pairs of states）。论文详细讨论了量子单向性的计算复杂性与信息论两种定义，强调不同构造背后的对抗模型和安全假设差异；对比了各类提出的原语，并厘清了它们之间的概念关系。特别关注物理可实现性、实验可行性和噪声鲁棒性等实际问题。最后，论文列出了开放问题与未来方向，旨在推动密钥分发之外的实用量子密码原语发展，并构建更广泛的量子密码生态系统。该综述适合量子信息、密码学理论以及量子安全领域的研究人员阅读，有助于理解量子单向函数的研究现状、核心挑战和潜在应用。由于仅基于摘要，本条目只能代表作者在摘要中呈现的核心观点。