Nagisa Hara | Searcharxiv

arXiv2026

Nonequilibrium steady state in Lindblad dynamics for infinite quantum spin systems

We consider Lindblad dynamics of quantum spin systems on infinite lattices and define a nonequilibrium steady state (NESS) and a time-averaged nonequilibrium steady state (TANESS) on the basis of $C^*$-algebraic formalism. Generically, the NESS on an infinite system does not equal the thermodynamic limit of NESSs on finite systems. We give a sufficient condition that they coincide with each other, in terms of both a condition number, which quantifies the normality of a Liouvillian, and some spectral gaps on finite subsystems. To appreciate the importance of the condition number, we provide an example in which the spectral gaps have nonzero lower bounds uniformly for any finite subsystems but a thermodynamic limit and a long-time limit (or a long-time average) do not commute with each other.

math-ph↗

arXiv2025

A classical proof of quantum knowledge for multi-prover interactive proof systems

In a proof of knowledge (PoK), a verifier becomes convinced that a prover possesses privileged information. In combination with zero-knowledge proof systems, PoKs play an important role in security protocols such as in digital signatures and authentication schemes, as they enable a prover to demonstrate possession of certain information (such as a private key or a credential), without revealing it. A PoK is formally defined via the existence of an extractor, which is capable of reconstructing the key information that makes a verifier accept, given oracle access to any accepting prover. We extend this concept to the setting of a single classical verifier and multiple quantum provers and present the first statistical zero-knowledge (ZK) PoK proof system for problems in QMA. To achieve this, we establish the PoK property for the ZK protocol of Broadbent, Mehta, and Zhao (TQC 2024), which applies to the local Hamiltonian problem. More specifically, we construct an extractor which, given oracle access to a provers' strategy that leads to high acceptance probability, is able to reconstruct the ground state of a local Hamiltonian. Our result can be seen as a new form of self-testing, where, in addition to certifying a pre-shared entangled state, the verifier also certifies that a prover has access to a quantum system, in particular, a ground state; this indicates a new level of verification for a proof of quantumness.

quant-ph↗