TY - GEN
T1 - A polynomial-based QCQP solver for encrypted optimization
AU - Schlor, Sebastian
AU - Iannelli, Andrea
AU - Kim, Junsoo
AU - Shim, Hyungbo
AU - Allgöwer, Frank
N1 - Publisher Copyright:
© 2025 IEEE.
PY - 2025
Y1 - 2025
N2 - In this paper, we present a novel method for solving a class of quadratically constrained quadratic optimization problems using only additions and multiplications. This approach enables solving constrained optimization problems on private data since the operations involved are compatible with the capabilities of homomorphic encryption schemes. To solve the constrained optimization problem, a sequence of polynomial penalty functions of increasing degree is introduced, which are sufficiently steep at the boundary of the feasible set. Adding the penalty function to the original cost function creates a sequence of unconstrained optimization problems whose minimizer always lies in the admissible set and converges to the minimizer of the constrained problem. A gradient descent method is used to generate a sequence of iterates associated with these problems. For the algorithm, it is shown that the iterate converges to a minimizer of the original problem, and the feasible set is positively invariant under the iteration. Finally, the method is demonstrated on an illustrative cryptographic problem, finding the smaller value of two numbers, and the encrypted implementability is discussed.
AB - In this paper, we present a novel method for solving a class of quadratically constrained quadratic optimization problems using only additions and multiplications. This approach enables solving constrained optimization problems on private data since the operations involved are compatible with the capabilities of homomorphic encryption schemes. To solve the constrained optimization problem, a sequence of polynomial penalty functions of increasing degree is introduced, which are sufficiently steep at the boundary of the feasible set. Adding the penalty function to the original cost function creates a sequence of unconstrained optimization problems whose minimizer always lies in the admissible set and converges to the minimizer of the constrained problem. A gradient descent method is used to generate a sequence of iterates associated with these problems. For the algorithm, it is shown that the iterate converges to a minimizer of the original problem, and the feasible set is positively invariant under the iteration. Finally, the method is demonstrated on an illustrative cryptographic problem, finding the smaller value of two numbers, and the encrypted implementability is discussed.
UR - https://www.scopus.com/pages/publications/105031910989
U2 - 10.1109/CDC57313.2025.11312321
DO - 10.1109/CDC57313.2025.11312321
M3 - Conference contribution
AN - SCOPUS:105031910989
T3 - Proceedings of the IEEE Conference on Decision and Control
SP - 7885
EP - 7891
BT - 2025 IEEE 64th Conference on Decision and Control, CDC 2025
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 64th IEEE Conference on Decision and Control, CDC 2025
Y2 - 9 December 2025 through 12 December 2025
ER -