3 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…
cs.DS2024
Characterizing the integer points in 2-decomposable polyhedra by closedness under operations
Kei Kimura, Kazuhisa Makino, Shota Yamada +1
Characterizing the solution sets in a problem by closedness under operations is recognized as one of the key aspects of algorithm development, especially in constraint satisfaction…