Minglong Qin

In many cryptographic tasks, we encounter situations where we would like to retrieve some information about two incompatible observables. A natural strategy to tackle this problem involves consecutive measurements of two observables, raising the critical question: How does the information gained from the first measurement relate to that obtained through both consecutive measurements? A loose relation between these two quantities has been established by the consecutive measurement theorem and is found useful in quantum proofs of knowledge and nonlocal games. In this work, we establish a tight consecutive measurement theorem, and apply our theorem to improve the best-known bounds on the quantum value of CHSH_q(p) games and their parallel repetition. Moreover, we explore a novel application of the consecutive measurement theorem to find tighter trade-off relations for quantum oblivious transfer in most regimes. This advancement enhances the analytical toolkit to study quantum advantage and has direct implications for quantum cryptographic protocols.

Ma and Huang recently proved that the PFC construction, introduced by Metger, Poremba, Sinha and Yuen [MPSY24], gives an adaptive-secure pseudorandom unitary family (PRU). Their proof developed a new path recording technique. In this work, we show that a linear number of sequential repetitions of the parallel Kac's Walk, introduced by Lu, Qin, Song, Yao and Zhao [LQSY+24], also forms an adaptive-secure PRU, confirming a conjecture therein. Moreover, it additionally satisfies strong security against adversaries making inverse queries. This gives an alternative PRU construction, and provides another instance demonstrating the power of the path recording technique. We also discuss some further simplifications and implications.