2019 Fiscal Year Research-status Report
Project/Area Number |
16K05256
|
Research Institution | Osaka Prefecture University |
Principal Investigator |
丸田 辰哉 大阪府立大学, 理学(系)研究科(研究院), 教授 (80239152)
|
Project Period (FY) |
2016-04-01 – 2021-03-31
|
Keywords | 線形符号 / 最適符号 / 符号の拡張可能性 / 有限射影幾何 / Griesmer 限界 / blocking set |
Outline of Annual Research Achievements |
q 元体 F_q 上の長さ(符号長) n, 次元 k, 最小重み d の線形符号([n,k,d]q 符号)が存在する限界を決定する問題(特に、[n,k,d]q 符号が存在するような長さ n の最小値 n_q(k,d) を求める問題)は、符号理論において最も基本的な研究課題の一つであり、最適線形符号問題(Optimal Linear Codes Problem)と呼ばれる。線形符号が拡張可能であるための条件を新たに求める研究、その研究によって得られた拡張定理を用いた Griesmer 符号等の非存在証明による最適な線形符号がもつ長さの最小値の確定、最適な線形符号のコンピュータによる探索と構造解析、arc や blocking set といった有限射影空間における(多重)集合の特殊な構造を用いた符号の構成等を通して、最適線形符号問題の解決を目指すのが本研究の主目的である。 本年度は、主に5元体上の最適な5次元線形符号(n_5(5,d) の決定問題)とその一般化について取り組み、一般の q 元体上の最適な5次元線形符号の新たな幾何学的構成方法や Griesmer 限界に達する符号の非存在証明が得られた。その成果は、国内の離散数学や組合せ論に関する研究集会や国際会議 42ACCMCC 等で発表を行った。射影平面の arc や blocking set については、PG(2,7) における (29,5)-arc の分類とその構成の一般化についてブルガリア科学アカデミーの I. Bouyukliev 教授らと共同研究を行い、国際学術雑誌に発表した。また、3元体上の最適線形符号問題にも取り組み、非存在証明に有効な線形計画法的な手法に関する知見を得た。
|
Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
「研究実績の概要」で述べたように、5元体上の最適な線形符号の構成方法の一般化や5次元線形符号の存在限界ついて成果が得られ、国内外で発表することができたが、論文として国際学術雑誌に投稿するのが遅れている。4元体上の線形符号の拡張可能性についても大きな進展があったが、最適線形符号問題への応用という点で検討課題が残っている。
|
Strategy for Future Research Activity |
まず、今年度得られた成果を、原著論文として早急に取り纏め、国際学術雑誌に投稿したい。3元線形符号や4元線形符号については、新しい拡張定理を応用して、n_3(6, d) や n_4(5, d) の値が未決定な場合の検討を引き続き行う。その際に必要な低次元の最適線形符号の分類や有限射影空間における arc や blocking set の分類については、ブルガリア科学アカデミーの Iliya Bouyukliev 教授に協力を要請する予定である。また、新たな最適線形符号の探索も、大学院生と共に引き続き行う。未解決問題を含む低次元の nq(k,d) 表は website で公開しており、随時更新する予定である。
|
Causes of Carryover |
理由:年度末に予定していた海外出張が新型コロナウイルス感染拡大のため実施できなくなり、次年度使用額が生じた。 使用計画:出張旅費や消耗品の購入に使用する予定。
|