Fodor space in generalized descriptive set theory
この論文は、非可算基数が非到達基数である場合、個未満の非同型モデルを持つ理論のモデル同型関係が、不安定または超安定で非分類可能な理論のモデル同型関係に対して連続的に帰着可能であることを示しています。
2549 件の論文
この論文は、非可算基数が非到達基数である場合、個未満の非同型モデルを持つ理論のモデル同型関係が、不安定または超安定で非分類可能な理論のモデル同型関係に対して連続的に帰着可能であることを示しています。
本論文は、木オートマトン群のシュライアグラフに対して直径、完全マッチング数、トゥット多項式などの厳密な式を導出することで、全域木数や彩色多項式を容易に計算可能にし、さらにウィーナー指数やセゲド指数の正確な値を決定するものである。
本論文は、2 次元の粘性ハミルトン・ヤコビ方程式に対する定量的な Calderón-Zygmund 推定を確立し、それを用いて任意の指数に対する定常型平均場ゲームの古典解の存在を証明するとともに、関連する正則性理論の現状と未解決問題を概説するものである。
この論文は、トラクト(tract)上の T-マトロイドに対して、フラットと超平面配置の理論を展開し、T-フラットの格子、T 上の超平面配置、T 上の射影空間における点線配置、および T 上のクイバー表現という複数の同値な記述(クリプトモルフィック記述)を確立し、その概念をトロピカル線形空間(評価付きマトロイド)の例で具体化しています。
この論文は、最小次数が十分大きく()かつ次数が十分大きい($10^8K_{k+1}$ の誘導部分グラフを含むことを示し、Kühn と Osthus が提起した問題を解決したものである。
本論文は、分散非凸最適化問題に対して、既存の一次および二次法を統合する「ユニファイング・プライマル・デュアル・プロキシマル(UPP)」フレームワークを提案し、その実装である UPP-MC と UPP-SC が非凸滑らかな問題で定常解への収束を保証し、さらに P-Ł 条件下で線形収束や最適通信複雑性を持つことを理論的に証明するとともに、実験により最先端手法を上回る性能を実証したものである。
本論文は、変位と温度の測定データを用いて、熱負荷下での構造物の損傷特定と温度場復元を可能にする、最適化駆動型の単方向熱・力連成システム同定フレームワークを提案し、その有効性を数値例で検証したものである。
この論文は、タイプ A のヤンギアンおよびタイプ A2 の量子アフィン代数について、修正されたドリント・カルタン生成系列の余積の明示的な公式を導出するとともに、後者に対して正のプレファンダメンタル表現の明示的な表示を与えることを目的としています。
この論文は、3 つの一般化複素構造のクラフォード型関係によって定義されるランク 3 の一般化クリフォード多様体を導入し、それが標準的な純スピンルアプローチとは異なり、一般化ニイエンハイステンソルを用いて完全証明された積分可能性を持つ、自然な 族の一般化複素構造と対応するツイスト空間を構成することを示しています。
本論文は、従来の単一解仮定(LLS)に依存せず、ADMM とバイレベル降下集約法(BDA)を統合した新たなバイレベル最適化フレームワーク「ADMM-BDA」を提案し、その大域収束性を証明するとともに、スパース超パラメータ選択問題において既存手法を上回る有効性と頑健性を示すものです。
本論文は、奇数ホールやハンマー、 を含まないグラフが完全に分割可能であることを示すとともに、特定の短ホールグラフに対する彩色数と最大クリーク数の間の新たな上界を証明している。
この論文は、論理的に同等な命題に対しても無知の態度が異なるという直観を捉えるため、トピック感受性意味論を用いて無知を超拡張論的概念として定式化し、論理的全知性の問題に対する新たな解決策を提示するものです。
この論文では、Kharaghani と Seberry の基本ブロック構成法を修正し、特定の奇数次巡回行列を用いて複素ハダマード行列を構成する方法を示し、特に の場合の計算機支援探索により、94 次複素ハダマード行列の存在を初めて証明しました。
この論文は、2 つの異なる素数 と を用いた位数 の巡回群上の Bi-Cayley グラフの連結性、直径、色数などの構造的・組合せ論的性質を詳細に解析し、さらに接続集合がすべての対合からなる場合など、任意の有限群に対する拡張結果を示すものである。
この論文は、ソフィックシフトの未来被覆に対して、それ自身と同様に標準的な「拡張された未来被覆」を定義し、その構造が元の被覆と同型になる場合と真の拡張となる場合があることを示しています。
本論文は、温度依存性粘性を有するケルビン・フォイグト型の熱粘弾性系において、任意の大きさの初期データに対して有界領域における弱解の大域的存在を証明し、既存の一次元結果を多次元へ拡張したものである。
本論文は、3 次元反ド・ジッター空間と (1,1) 共形計量の対応関係の文脈において、双曲 3 次元多様体と 2 次元共形計量の対応で研究されてきた-体積、エプシュタイン曲面、およびリウヴィル作用の類似概念を定義し、これらを正構造を備えた旗多様体上の正曲線に応用して、特に区分的な円の場合に有限となる不変量を導出する。
本論文は、エネルギー保存則によって決定される一様な温度分布を持つ平衡状態へ任意の初期データから漸近的に収束することを示し、非線形 3 次元熱弾性力学系における解の全球存在性および漸近挙動に関する完全な証明を提供するものである。
本論文は、Bóna らの先行研究を拡張し、任意の有限グラフにおけるマジックラベリングの数を表す関数 の具体的な形式とその生成関数を、擬線グラフおよび擬サイクルグラフに対して計算することを目的としている。
この論文は、Lurie の意味における分断構造を凝縮アニマの-トポス上に構成し、それを用いて明示的な共同保存点の集合を提示するとともに、極端に非連結な空間の圏における極限を解析することで、そのすべてのファイバーを持たないことを示し、クラウゼンの問いに答えるものである。