2 papers
cs.DM2026
UTVPI-representable integer point sets: discrete convexity, polymorphisms, and pairwise closure
Kei Kimura, Kazuhisa Makino, Shota Yamada +1
We study subsets of the integer lattice represented by single-variable-per-inequality (SVPI), difference-constraint (DC), unit two-variable-per-inequality (UTVPI), and two-variable…
quant-ph2025
A Unified Approach to Quantum Key Leasing with a Classical Lessor
Fuyuki Kitagawa, Jiahui Liu, Shota Yamada +1
Secure key leasing allows a cryptographic key to be leased as a quantum state in such a way that the key can later be revoked in a verifiable manner. In this work, we propose a mod…