We have 3 of 55 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
This work introduces an alternative paradigm: a thermodynamic proof of quantumness based on energy consumption, using the search problem of Yamakawa and Zhandry with a structureless uniformly random oracle to show that any classical machine solving the task with constant success probability must generate entropy that g...
This framework provides foundational tools for exploring quantum information regardless of whether the physical world using finite- or infinite-dimensional spaces, and shows that the operational interpretation of entropic quantities through these achievable rates constitutes a universal principle beyond finite dimensio...
This work presents a Lean 4 library for quantum information, designed as a reusable formal infrastructure for theoretical analysis, and formalizes the DPI for the sandwiched R\'enyi relative entropy for positive semidefinite operators on finite-dimensional quantum systems.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
