論文の概要: Extremal Chowla sets and their linear analogues: A human-AI mathematical investigation using Co-Scientist

• arxiv url: http://arxiv.org/abs/2607.24847v2
• Date: Wed, 29 Jul 2026 03:21:21 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-30 14:21:10.715645
• Title: Extremal Chowla sets and their linear analogues: A human-AI mathematical investigation using Co-Scientist
• Title（参考訳）: 極端Chowla集合とその線形類似点:共科学者を用いた人間-AI数学的研究
• Abstract要約: 正確な式 $C(L/K)=[L:K]-d_max(L/K)$ を証明する。 有限体に対しては、正規基底構成を用いてすべての次数の直接証明を与える。
• 参考スコア（独自算出の注目度）: 0.9505505917924889
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We introduce an extremal invariant associated with Chowla-type order conditions in finite groups. A nonempty subset $S$ of a finite group $G$ is called a Chowla set if every element of $S$ has order greater than $|S|$, and we write $C(G)$ for the maximum cardinality of such a set. We first show that $C(G)$ is determined by the distribution of element orders in $G$. For cyclic groups, we derive an exact divisor formula and characterize the integers $n$ for which $C(\mathbb{Z}/n\mathbb{Z})=\varphi(n)$. We prove that $\liminf_{n\to\infty}C(\mathbb{Z}/n\mathbb{Z})/\varphi(n)=1$, whereas $\limsup_{n\to\infty}C(\mathbb{Z}/n\mathbb{Z})/\varphi(n)=\infty$, and we determine the corresponding lower and upper limits under normalization by $n$. For finite abelian groups, we obtain an explicit formula in terms of the invariant-factor decomposition, together with a closed formula for finite abelian $p$-groups. We then develop a linear analogue for finite field extensions. A nonzero $K$-subspace $A$ of an extension $L/K$ is called a Chowla subspace if $[K(a):K]>\dim_K A$ for every nonzero $a\in A$. Since this condition depends on $\dim_K A$, it does not generally require every nonzero element of $A$ to generate $L$ over $K$. Nevertheless, when $L/K$ is finite and separable, we prove the exact formula $C(L/K)=[L:K]-d_{\max}(L/K)$, where $d_{\max}(L/K)$ is the largest degree over $K$ of a proper intermediate field. For finite fields, we give a direct proof in every degree using a normal-basis construction. This work was developed through an expert-guided human-AI collaboration. A reasoning-focused configuration of Co-Scientist was used to explore examples and potential proof strategies. The authors formulated the problem, independently verified and completed all arguments, and wrote the final proofs.
• Abstract（参考訳）: 有限群におけるChowla型順序条件に付随する極端不変量を導入する。 有限群 $G$ の空でない部分集合 $S$ が Chowla 集合と呼ばれるのは、$S$ のすべての元が $|S|$ 以上の順序を持つときであり、そのような集合の最大濃度に対して $C(G)$ を書く。 最初に、$C(G)$は$G$の要素順序の分布によって決定されることを示す。 巡回群に対しては、正確な因子式を導出し、$C(\mathbb{Z}/n\mathbb{Z})=\varphi(n)$ の整数を特徴づける。 我々は、$\liminf_{n\to\infty}C(\mathbb{Z}/n\mathbb{Z})/\varphi(n)=1$であるのに対し、$\limsup_{n\to\infty}C(\mathbb{Z}/n\mathbb{Z})/\varphi(n)=\infty$であることを証明する。 有限アーベル群に対しては、不変因子分解という観点から明示的な公式と有限アーベル$p$-群の閉公式を得る。 次に、有限体拡大に対する線型アナログを開発する。 拡張 $L/K$ の 0 でない $K$-部分空間 $A$ は、すべての 0 でない $a\in A$ に対して $[K(a):K]>\dim_K A$ であるときに Chowla 部分空間 (Chowla subspace) と呼ばれる。 この条件は$\dim_K A$に依存するため、一般に$A$のすべてのゼロでない要素を$L$ over $K$を生成する必要はない。 それでも、$L/K$ が有限で分離可能であるとき、正確な式 $C(L/K)=[L:K]-d_{\max}(L/K)$ を証明する。 有限体に対しては、正規基底構成を用いてすべての次数の直接証明を与える。 この研究は専門家が指導する人間とAIのコラボレーションによって進められた。 推論に焦点をあてた共学者の構成は、例と潜在的な証明戦略を探るために用いられた。 著者らは問題を定式化し、独立に検証し、全ての議論を完了し、最終的な証明を書いた。

関連論文リスト

• A solution to the Erdős Problem #1040 [0.0]
  任意の閉無限集合に対して$vartheta(K)$が$FsubsetmathbbC$transfinite diameter at least oneであることを証明する。
  論文  参考訳（メタデータ） (2026-09-05T12:11:52Z)
• Universal Coefficients and Mayer-Vietoris Sequence for Groupoid Homology [0.0]
  神経のコンパクトなムーア複合体を介し, 両群群について検討した。 この理論は連続エタール準同型(英語版)(continuous étale homomorphisms)の関手である。 コンパクト開集合の基底を持つ局所コンパクト完全非連結ハウスドルフ空間 $X に対して、$_X:C_c(X,mathbb Z)otimes_mathbb ZAto C_c(X,A)$ の像は、ちょうど有限像を持つコンパクト支持函数である。
  論文  参考訳（メタデータ） (2026-02-09T18:43:31Z)
• Discrete symmetries in classical and quantum oscillators [51.56484100374058]
  複素バーグマン・フォック・セガル表現において、量子ハミルトニアンの固有函数 $_n=zn$ を示す。 重ね合わせ $=sum_n c_n_n$ は、シュルディンガー方程式を解くための初期データの不完全な知識によってのみ生じる。
  論文  参考訳（メタデータ） (2026-01-05T10:04:39Z)
• Approximating the operator norm of local Hamiltonians via few quantum states [53.16156504455106]
  複素ヒルベルト空間上で作用するエルミート作用素 $A$ を 2n$ とする。 A$ がパウリ拡大において小さな次数を持つとき、あるいは言い換えれば、$A$ は局所 $n$-量子ハミルトニアンである。 A$ が $d$-local, textiti.e., $deg(A)le d$ であるときは常に、次の離散化型不等式を持つことを示す。
  論文  参考訳（メタデータ） (2025-09-15T14:26:11Z)
• Multiplicative character sums over two classes of subsets of quadratic extensions of finite fields [6.5990719141691825]
  文字和 $sumlimits_g inmathcalGchi(f(g))$, $mathcalG$ は、スパース要素の $mathbbF_qr$ の部分集合である。 これらの推定は、$mathcalG$におけるプリミティブ要素の存在を標準的な方法で証明するために用いられる。
  論文  参考訳（メタデータ） (2025-02-20T10:40:48Z)
• The Communication Complexity of Approximating Matrix Rank [50.6867896228563]
  この問題は通信複雑性のランダム化を$Omega(frac1kcdot n2log|mathbbF|)$とする。 アプリケーションとして、$k$パスを持つ任意のストリーミングアルゴリズムに対して、$Omega(frac1kcdot n2log|mathbbF|)$スペースローバウンドを得る。
  論文  参考訳（メタデータ） (2024-10-26T06:21:42Z)
• Dimension-free discretizations of the uniform norm by small product sets [45.85600902330814]
  ベルンシュタインの古典的不等式は、単位円上の最高ノルムの$f$と、その最高ノルムの$K$-階根のサンプリング集合上の最高ノルムと比較する。 次元自由離散化は、濃度が$deg(f)$とは独立なサンプリング集合で可能であり、代わりに$f$の最大個人次数によって支配されることを示す。
  論文  参考訳（メタデータ） (2023-10-11T22:46:09Z)
• A Unified Framework for Uniform Signal Recovery in Nonlinear Generative Compressed Sensing [68.80803866919123]
  非線形測定では、ほとんどの先行結果は一様ではない、すなわち、すべての$mathbfx*$に対してではなく、固定された$mathbfx*$に対して高い確率で保持される。 本フレームワークはGCSに1ビット/一様量子化観測と単一インデックスモデルを標準例として適用する。 また、指標集合が計量エントロピーが低い製品プロセスに対して、より厳密な境界を生み出す濃度不等式も開発する。
  論文  参考訳（メタデータ） (2023-09-25T17:54:19Z)
• Noncompact uniform universal approximation [0.0]
  普遍近似定理は、(コンパクトでない)入力空間 $mathbbRn$ 上の一様収束に一般化される。 無限大で消えるすべての連続関数は、ニューラルネットワークによって一様に近似することができる。
  論文  参考訳（メタデータ） (2023-08-07T08:54:21Z)
• The Approximate Degree of DNF and CNF Formulas [95.94432031144716]
  すべての$delta>0に対して、$はCNFと近似次数$Omega(n1-delta)の式を構築し、基本的には$nの自明な上限に一致する。 すべての$delta>0$に対して、これらのモデルは$Omega(n1-delta)$、$Omega(n/4kk2)1-delta$、$Omega(n/4kk2)1-delta$が必要です。
  論文  参考訳（メタデータ） (2022-09-04T10:01:39Z)
• Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model [77.34726150561087]
  我々は、Ksubseteq G$ の部分群に基づく境界の体系的な扱いを、バルクの Kokuev 量子倍 D(G)$ モデルで提供する。 境界サイトは$*$-subalgebra $Xisubseteq D(G)$の表現であり、その構造を強い$*$-準ホップ代数として説明する。 治療の応用として、水平方向の$K=G$と垂直方向の$K=e$に基づく境界付きパッチを調査し、量子コンピュータでどのように使用できるかを示す。
  論文  参考訳（メタデータ） (2022-08-12T15:05:07Z)
• A Canonical Transform for Strengthening the Local $L^p$-Type Universal Approximation Property [4.18804572788063]
  任意の機械学習モデルクラス $mathscrFsubseteq C(mathbbRd,mathbbRD)$ が $Lp_mu(mathbbRd,mathbbRD)$ で密であることを保証する。 本稿では、「$mathscrF$'s approximation property」という正準変換を導入することにより、この近似理論問題に対する一般的な解を提案する。
  論文  参考訳（メタデータ） (2020-06-24T17:46:35Z)
• Some convergent results for Backtracking Gradient Descent method on Banach spaces [0.0]
  bf Theorem.$X$をバナッハ空間とし、$f:Xrightarrow mathbbR$を$C2$関数とする。 $mathcalC$ を $f$ の臨界点の集合とする。
  論文  参考訳（メタデータ） (2020-01-16T12:49:42Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。