Feasibility of Primality in Bounded Arithmetic
本論文は、多項式時間計算量理論 (または )の枠組みにおいて、AKS 素数判定アルゴリズムの正当性を、フェルマーの小定理の一般化や多項式の根に関する新たな公理、および や における数論的・代数的形式化を介して証明したものである。
原著者が当サイトのやさしい解説を確認した論文。
このページに掲載されている各論文については、少なくとも一人の原著者が当サイトのやさしい解説を確認し、内容の正確性を認めるか、または修正を依頼しその修正を私たちが反映しています。確認は各文への正式な承認を意味するものではありませんが、論文を書いた本人たちの目を通ったことを意味します。
607 件の論文を著者が確認済み · 481–490 / 607
本論文は、多項式時間計算量理論 (または )の枠組みにおいて、AKS 素数判定アルゴリズムの正当性を、フェルマーの小定理の一般化や多項式の根に関する新たな公理、および や における数論的・代数的形式化を介して証明したものである。
この論文は、電磁的に遮蔽された空洞内に設置された帯電したウェバー棒が重力波の照射により光子を放出する現象を利用し、半古典的なゲルツェンシュテイン効果の光力学的システムへの応用を通じて、重力波検出の新たな実験手法を提案するものである。
アレクセーエフの流体力学方程式に基づき、平均流速分布の実験データと高い精度で一致する解析解を導出するとともに、横方向速度成分と流線方向運動量の結合から「キック型解」を導き、これが壁面乱流におけるコヒーレントなストリーク構造の形成メカニズムを統一的に説明することを示した。
本論文は、TCAD と SPICE を用いたシミュレーションにより、ゲート・オール・アラウンドトランジスタに基づくシリコン・スピン・キュービットの読み出しプロセスを理論的に検証し、適切な回路設計と電圧制御により従来のセンスアンプを用いた効率的な読み出しが可能であることを示したものである。
この論文は、対称性ねじれ分配関数をテンソル再正規化群法で効率的に計算する手法を確立し、2 次元イジング模型や 3 次元 O(2) 模型などの自発的対称性の破れや BKT 転移といった臨界現象を、その分配関数のみから検出・解析することに成功したことを報告しています。
本研究は、恒星の固有運動速度と位置残差の交差相関を用いて古代の星表を年代決定する「SESCC」法を提案し、そのアルマゲストへの適用結果がプトレマイオス説ではなくヒッパルコス起源を支持する証拠を示したことを報告しています。
この論文は、WIDER FACE や Open Images データセットを用いた厳密な制御実験により、クラス不均衡の影響を排除した上で、画像内の顔の密度(インスタンス数)が増加するにつれてモデル性能が単調に低下し、低密度領域で学習したモデルは高密度領域への一般化に失敗して過小推定バイアスを示すことを実証し、インスタンス密度をデータ難易度の定量化可能な本質的な指標として確立した。
この論文は、ラベル付きデータが限定的かつ市場レジームが不安定な環境において、CVaR オプティマイザを教師とした教師あり学習と合成データ拡張を組み合わせることで、限られたデータから学習した学生モデルが教師モデルと同等かそれ以上のポートフォリオ最適化性能とレジームシフトへの頑健性を達成できることを示しています。
この論文は、ハミルトン・ヤコビ方程式を速度の自由度を除去したモデル縮約として捉えることで、保存系から非保存力を含む一般のニュートン力学系への拡張を可能にし、幾何光学近似を通じて散逸シュレーディンガー方程式を導出するアプローチを提案しています。
この論文は、量子理論を世界そのものの記述ではなく確率的な予測の指針として捉えるプラグマティズム的視点を採用し、測定結果や量子状態を物理的評価文脈に相対化する「相対的視点」によって測定問題と非局所性の問題を解決し、現実の測定が単一の文脈で確証されるため統計的予測が科学的に客観的であるとする立場を提示しています。