On Chaitin's Heuristic Principle and Halting Probability
この論文は、チャイティンのヒューリスティック原理を論理的に再構築する試みと、チャイティンの定数Ωが任意の無限離散測度のもとでの入力なしプログラムの停止確率ではないことを示し、様々な測度を用いた停止確率の定義法を提案するものである。
✓ 著者確認済み
著者が確認した論文
原著者が当サイトのやさしい解説を確認した論文。
このページに掲載されている各論文については、少なくとも一人の原著者が当サイトのやさしい解説を確認し、内容の正確性を認めるか、または修正を依頼しその修正を私たちが反映しています。確認は各文への正式な承認を意味するものではありませんが、論文を書いた本人たちの目を通ったことを意味します。
607 件の論文を著者が確認済み · 471–480 / 607
Kathleen: Oscillator-Based Byte-Level Text Classification Without Tokenization or Attention
本論文は、トークナイザーやアテンション機構を不要とし、周波数領域処理と 3 つの新たなコンポーネント（RecurrentOscillatorBanks、FFT-Rotate Wavetable Encoder、PhaseHarmonics）を活用して、わずか 73 万パラメータでバイトレベルのテキスト分類を O(L) の計算量で実現し、大規模なトランスフォーマーモデルを上回る性能を達成する「Kathleen」というアーキテクチャを提案しています。
Why the Bethe Ansatz Works: A Structural Explanation via Interaction Propagation
この論文は、相互作用の伝播が構造的な境界に到達する前に有限の深さで停止するかどうかという単一のメカニズムに基づき、ベテ・アンサッツがなぜ特定の系で厳密に解けるのか、またなぜその範囲外で破綻するのかを説明する構造的な二項対立を提示しています。
Linking Calendar and Cycle Ageing in Lithium-Ion Batteries through Consistent Parameterisation of an Electrochemical-Thermal-Degradation Model
この論文は、PyBaMM を用いた電解熱劣化モデルの整合的なパラメータ化により、リチウムイオン電池の SEI 成長、リチウム析出、活物質損失などの劣化モードを連関させ、多様な使用条件下におけるカレンダー劣化とサイクル劣化の競合メカニズムを解明し、健康状態や残存寿命を高精度に予測する枠組みを提示したものである。
Beyond Functional Correctness: Design Issues in AI IDE-Generated Large-Scale Projects
本論文は、FD-HITL フレームワークを用いて AI IDE（Cursor）で生成された大規模プロジェクトが機能的には高い正しさを示す一方で、コード重複や複雑性の高まりなど設計上の問題が多数存在し、長期的な保守性や拡張性にリスクをもたらすことを実証的に明らかにしたものである。
New-born strings are tensionless
この論文は、従来の永遠の弦というパラダイムを離れ、有限寿命の因果ダイヤモンド内で弦のダイナミクスを定式化することで、弦が誕生する瞬間のみ張力がゼロとなる新たな物理的起源を明らかにした。
In search of truth: Evaluating concordance of AI-based anatomy segmentation models
この論文は、アノテーションのないデータセットにおける AI 解剖学セグメンテーションモデル間の一致度を評価し、モデル間の不一致を特定するための実用的なフレームワークを提案したものである。具体的には、出力を標準化された表現に統一し、対話型可視化ツールを提供することで、NLST CT スキャンにおける 6 つのオープンソースモデルを比較検証し、不一致事例をフラグ付けして専門家によるレビューを優先する手法の有効性を示した。
Non-Abelian Ginzburg-Landau Theory of Spin Triplet Superconductivity
この論文は、スピン三重項超伝導とマグノン・スピントロニクスを記述する SU(2)×U(1) 対称性に基づく非アーベルギンズブルグ・ランダウ理論を提案し、質量のある光子と非アーベル的マグノン、質量のない中性マグノン、そしてヒッグス場から構成されるこの理論が、長距離磁気相互作用、2 種類の保存電流、非アーベル的マイスナー効果、そして磁気・スピン両方の渦とモノポールを特徴づけることを示しています。
Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code
この論文は、7 つの最先端 LLM が生成した 3,500 件のコードを Z3 ソルバーを用いた形式検証で分析した結果、どのモデルも「D 評価」以下であり、55.8% のコードに数学的に証明された脆弱性が存在し、既存のセキュリティツールはこれらを検出できないことを示している。
The role of migration traps in the formation of binary black holes in AGN disks
この論文は、AGN 円盤内での連星ブラックホール形成シミュレーションを通じて、低質量の超大質量ブラックホールでは移動トラップが主要な形成場所となるが、高質量の場合や特定の円盤条件ではトラップ外での形成も支配的となり得ることを示し、固定された形成場所を仮定することの限界を明らかにしている。