| Project/Area Number |
19K03425
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 11010:Algebra-related
|
|---|
| Research Institution | Kyushu Institute of Technology |
|---|
Principal Investigator |
田上 真 九州工業大学, 大学院情報工学研究院, 准教授 (50380671)
|
|---|
| Project Period (FY) |
2019-04-01 – 2024-03-31
|
| Project Status |
Granted (Fiscal Year 2022)
|
| Budget Amount *help |
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2021: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2020: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2019: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
|---|
| Keywords | 部分空間符号 / Delsarte理論 / Anticode限界式 / グラスマンスキーム / Linear Programming限界式 / 調和指数デザイン / ネットワーク符号 / グラスマンアソシエーションスキーム / 双線形形式アソシエーションスキーム / Fisher型不等式 / tight デザイン / Hamming スキーム / relativeデザイン / アソシエーションスキーム |
|---|
| Outline of Research at the Start |
Delsarte理論の勃興紀に、組合せデザインの代数的拡張としてすでに定義されていた調和指数デザインやRelativeデザインは、その調和解析の難しさにより、実質的な研究は最近まで殆ど行われていなかった。調和指数デザインやRelativeデザインという新しい観点からのデザインの研究により、真に新しく、重要なデザイン構造を発見することが期待される。本研究では種々のアソシエーションスキーム上の新しいデザイン理論、主にRelativeデザイン、 調和指数デザインなどに対して、組合せ構造との関係性を明らかにし、その総合的研究を行う。
|
| Outline of Annual Research Achievements |
２０２２年度は主に代数的組合せ論の主要研究対象であるアソシエーションスキームの一つ、グラスマンスキーム上の符号について研究を行った。２０２１年度の成果であった、アソシエーションスキーム上の符号に対して知られているDelsarteのAnticode bound とLinear programming boundがグラスマンスキーム上では数値的に一致することが観察されたこと（これはすでにBachoc-Vallentinによって指摘されていた現象であったが証明はされていなかった） に対して、研究室の学生である小椋大雅君と共同で、証明することに成功した。この研究成果は小椋君により、金沢大学組合せセミナーにおいて発表された。この成果は現在小椋君との共著論文として執筆中である。この証明により、Linear programming bound を与える線形計画問題最適解、すなわち最善な符号の距離分布の候補が分かるなどの情報が得られる。グラスマンスキーム上の符号、すなわち定次元部分空間符号のDelsarte boundに対する最適な符号の研究に対する一つの進展が得られた。
また、２０２２年度は有限環上の自己双対行列符号の研究を研究室の学生である川添聖君と共同で行った。古典的符号理論であるハミングスキーム上の符号と同様に、行列符号に対しても自己双対の概念が定義される。Morrison、Galvez-Kimなどにより、小さいサイズの自己双対行列符号が分類されているが、有限環上ではまだなされていなかった。有限環上の行列符号の分類のため、効率の良い自己双対符号の構成方法が必要となるが、我々はGalvez-Kimにより与えられた行列符号のbuilding up 構成法に対する有限環上の類似をいくつか提起した。この構成法により、有限環上の自己双対行列符号の分類に対して、一つの進展が得られた。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
２０２１年度に生じた大きな課題の一つであったグラスマンスキーム上の符号に対するAnticode boundとLinear programming bound が一致する現象の証明を達成できたため。
|
| Strategy for Future Research Activity |
有限環上の自己双対行列符号の構成法を与えたため、その分類を行う予定である。研究経費により、強力な代数計算ソフトであるMagmaのライセンスを購入し、Magmaを用いて分類を実施する。
|
Report
(4 results)
Research Products
(7 results)
