Hamming Ideals and Grobner Bases for ISD-like Syndrome Decoding

2026-09-16

AI Summary

研究通过结合汉明重量约束和信息集解码范式，利用Groebner基技术解决综合症解码问题，提出了一种新的ISD-like解码策略。

Abstract

We investigate an algebraic approach to the Syndrome Decoding Problem, based on a reformulation of the Hamming weight constraint and its integration with the Information Set Decoding paradigm. We begin with a systematic analysis of the Hamming variety, deriving its defining equations in terms of elementary symmetric functions. Since these equations may have high degree, we exploit convolution identities for elementary symmetric functions, together with factorizations based on Lucas' identity, to derive an equivalent formulation with auxiliary variables and equations of bounded degree. Building on this modeling, we generalize the ISD paradigm through an ISD-like decoding strategy, implemented by the GBDecode algorithm, in which only a subset of an information set is fixed. This approach reduces the size of the combinatorial search space at the cost of solving the associated multivariate nonlinear systems. To handle this algebraic component, we employ the MultiSolve algorithm, which replaces a single Grobner basis computation with a collection of computations on simpler systems, obtained by exhaustively assigning a varying number of indeterminates over the finite field. This provides a tunable balance between combinatorial search and algebraic solving. We evaluate the resulting approach experimentally on instances of the Syndrome Decoding Problem for random binary linear codes, using parameters corresponding to the NIST Security Category 1 parameter set of the Classic McEliece cryptosystem. The experiments assess the feasibility of this combinatorial-algebraic approach and provide insights into the practical behavior of Grobner basis techniques within an ISD-like decoding framework.

Problem

• Syndrome Decoding Problem
• Hamming Weight Constraint
• Information Set Decoding
• Algebraic Approach
• Multivariate Nonlinear Systems

Innovation

• Hamming weight
• Information Set Decoding (ISD)
• Grobner Bases
• algebraic approach
• combinatorial-algebraic balance