抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
有限アベリアグループ上の関数の非負性を検証する問題は,長年の挑戦的な問題である。有限群の表現理論の基本理論は,有限アベルアングループG上の関数fが,f(x)=Σ_χ∈Gf(χ)χ(x)によるGの既約表現の特性の線形結合として記述でき,そこでは,GがGとf(χ)のすべての特性から成るGの二重グループが,ΔΔGにおけるfのFourier係数であることを示した。本論文では,高速(逆)Fourier変換を実行することにより,もし,もしfのk_minfがFSOSスパース性におけるGと多項式の次数において準線形であるならば,計算量を有する有限アベリアグループG上で,fのスパースFourier和(FSOS)証明書を計算量で計算できることを示した(|G|G|+log(k_min)演算子nameSDP(2k_min))。さらに,有限アベリアグループGとセットS⊂G上の非ネガタビエ関数fに対して,f+Mが}S上に担持されたFSOSを付加するような定数Mの下限を与えた。10 ̄7までの次数の様々なアベル群に関する数値実験によって提案アルゴリズムの効率性を実証した。また,アプリケーションとして,著者らは,スパースFSOSによるT ̄nfiに関して,いくつかの組合せ最適化問題とHermitian正方形(SOHS)問題の和も解決する。【JST・京大機械翻訳】