[Resource Topic] 2024/1547: HHL for tensor-decomposable matrices

Welcome to the resource topic for 2024/1547

Title:
HHL for tensor-decomposable matrices

Authors: Cezary Pilaszewicz, Marian Margraf

Abstract:

We use the HHL algorithm to retrieve a quantum state holding the algebraic normal formal of a Boolean function. Unlike the standard HHL applications, we do not describe the cipher as an exponentially big system of equations. Rather, we perform a set of small matrix inversions which corresponds to the Boolean Möbius transform. This creates a superposition holding information about the ANF in the form: \ket{\mathcal{A}_{f}} =\frac{1}{C} \sum_{I=0}^{2^n-1} c_I \ket{I}, where c_I is the coefficient of the ANF and C is a scaling factor. The procedure has a time complexity of \mathcal{O}(n) for a Boolean function with n bit input. We also propose two approaches how some information about the ANF can be extracted from such a state.

ePrint: https://eprint.iacr.org/2024/1547

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .