2 papers
quant-ph2026
Quaternary-Squeeze Quantum Identity Authentication: Direction-Scaling Security via Single-Mode Squeezed Light
Zhipeng Chen, Haolun Tang, Xiao-Qi Xiao +1
Quantum identity authentication (QIA) has emerged as a crucial technology for secure communication systems, particularly in the burgeoning era of quantum communications. This paper…
cs.LO2026
Formalization of Amicable Numbers Theory
Zhipeng Chen, Haolun Tang, Jingyi Zhan
This paper presents a formalization of the theory of amicable numbers in the Lean~4 proof assistant. Two positive integers and are called an amicable pair if the sum of pro…