研究課題/領域番号 |
19K03445
|
研究種目 |
基盤研究(C)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分11010:代数学関連
|
研究機関 | 愛知教育大学 |
研究代表者 |
野崎 寛 愛知教育大学, 教育学部, 准教授 (80632778)
|
研究期間 (年度) |
2019-04-01 – 2024-03-31
|
研究課題ステータス |
交付 (2022年度)
|
配分額 *注記 |
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2023年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2022年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2021年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2020年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2019年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
|
キーワード | 球面デザイン / 線形計画限界 / s-距離集合 / 代数体 / ルート格子 / 保型形式 / 正則一様ハイパーグラフ / グラフの固有値 / スペクトラルギャップ / 距離正則グラフ / アソシエーションスキーム / Delsarte理論 / デザイン / 符号 |
研究開始時の研究の概要 |
アソシエーションスキームに付随する Bose-Mesner代数の二つの基底 {A_i}, {E_i} の双対構造から得られる線形計画限界は,符号理論・デザイン理論において良い特徴づけを与えてきた(Delsarte理論).重要なクラスにP多項式スキーム・Q多項式スキームがあり,それらの無限集合版であるランク1対称空間・無限距離正則グラフを,Bose-Mesner代数の生成元の個数の観点から一般化し,無限アソシエーションスキームを定義したい.無限アソシエーションスキーム上でDelsarte理論を確立し,より統一的な視点から符号理論・デザイン理論を再構築する.
|
研究実績の概要 |
ユークリッド空間上の有限集合Xで互いに異なる2点間の距離の値が整数であり,素数pを法として,その距離の値の個数がsであるとき,元の個数|X|について,ある自然な上界(mod-p bound)が得られることが知られている[Blokhuis (1984)]. これを任意の代数体の整数環とその素イデアルに拡張することに成功した論文が,代数的組合せ論専門誌Algebraic Combinatoricsへの掲載が決定した。さらに,s=1のとき,先述の上界を達成する例が存在する次元の特徴づけに成功しており,これをまとめた論文も学術誌に投稿済みである。 球面をある意味でよく近似する集合としてspherical T-designという概念が知られている。線形計画限界と呼ばれる手法を適用することで,D_4ルート系からなる24点の球面上の集合が,極対的な{2,4,10}-designの元の個数の下界を達成することを示すことができた。さらに,その下界を達成する集合はD_4ルート系のみであることも示すことに成功した。この結果の応用として,D_4ルート格子の一般のshell(原点からの距離が等しい,D_4ルート格子の部分集合)が,D_4ルート系の直交変換たちで分割できることを示した。これは,平尾将剛氏(愛知県立大学),田坂浩二氏(愛知県立大学)との共同研究であり,さらにD_4ルート格子に関わる保形形式などの数論的対象についても調査中である。 昨年度から取り組んでいる,擬ユークリッド空間(pseudo-Euclidean space)上の距離集合の論文を完成させ,専門誌へ投稿できた。これは,篠原雅史氏(滋賀大学),須田庄氏(防衛大学校)との共同研究として得られた成果である。
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
mod-p boundを代数体の整数環に拡張した論文の雑誌Algebraic Combinatoricsへの掲載が決まったことや,D4ルート系のデザインとしての新たな一意性の結果を得たことなど,既存の理論の発展が期待できる研究成果が得られたため。
|
今後の研究の推進方策 |
昨年度から取り組んでいる,擬ユークリッド空間(pseudo-Euclidean space)上の距離集合の論文について,専門誌での出版を目指す。また,D_4ルート格子に関わる保型形式などの数論的対象について,平尾将剛氏(愛知県立大学),田坂浩二氏(愛知県立大学)との共同研究を進める。
|