<p>Motivated by practical inefficiencies in direct implementations of Eisenbrand’s continued fraction-based shortest vector algorithm for 2-dimensional lattices and its limitation to the Chebyshev metric, this work revisits this problem from theoretical and experimental perspectives. Theoretically, we propose a geometrically redefined reduced basis that inherently encodes shortest vectors under <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\ell _1\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\ell _2\)</EquationSource> </InlineEquation>, and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\ell _\infty \)</EquationSource> </InlineEquation> norms—resolving Eisenbrand’s norm-specific constraint. Algorithmically, we develop a continued-fraction-free reduction framework that eliminates costly convergent computations and their associated large-integer arithmetic. Building on Eisenbrand’s unrealized accelerated framework, we extend Möller’s HGCD technique to three integers and develop our modified-HGCD algorithm, yielding the fully implemented <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(O(M(n)\log n)\)</EquationSource> </InlineEquation> solution for arbitrary lattice parameters. Extensive experiments confirm orders-of-magnitude efficiency improvements. Our approach bridges theoretical optimality with practical efficiency by unifying norm handling through newly defined reduced bases and avoiding Schönhage’s intricate back-up steps via stable HGCD adaptation.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

From theory to practice: revisiting the continued fraction algorithm for planar lattice SVP

  • Xu Zhao,
  • Chengliang Tian

摘要

Motivated by practical inefficiencies in direct implementations of Eisenbrand’s continued fraction-based shortest vector algorithm for 2-dimensional lattices and its limitation to the Chebyshev metric, this work revisits this problem from theoretical and experimental perspectives. Theoretically, we propose a geometrically redefined reduced basis that inherently encodes shortest vectors under \(\ell _1\) , \(\ell _2\) , and \(\ell _\infty \) norms—resolving Eisenbrand’s norm-specific constraint. Algorithmically, we develop a continued-fraction-free reduction framework that eliminates costly convergent computations and their associated large-integer arithmetic. Building on Eisenbrand’s unrealized accelerated framework, we extend Möller’s HGCD technique to three integers and develop our modified-HGCD algorithm, yielding the fully implemented \(O(M(n)\log n)\) solution for arbitrary lattice parameters. Extensive experiments confirm orders-of-magnitude efficiency improvements. Our approach bridges theoretical optimality with practical efficiency by unifying norm handling through newly defined reduced bases and avoiding Schönhage’s intricate back-up steps via stable HGCD adaptation.