論文の概要: Partial Proof of a Conjecture with Implications for Spectral
Majorization
- arxiv url: http://arxiv.org/abs/2309.01302v1
- Date: Mon, 4 Sep 2023 01:02:19 GMT
- ステータス: 処理完了
- システム内更新日: 2023-09-06 20:12:31.151604
- Title: Partial Proof of a Conjecture with Implications for Spectral
Majorization
- Title(参考訳): スペクトルのメジャー化を意味する予想の部分的証明
- Authors: Jeffrey Uhlmann
- Abstract要約: 我々は、$ntimes n$, $nleq 6$, positive definite matrices の性質に関する予想に関する新しい結果を示す。
我々は、コンピュータ支援とAIに基づく証明の将来について、一般的な考察で結論付けている。
- 参考スコア(独自算出の注目度): 0.43512163406551996
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In this paper we report on new results relating to a conjecture regarding
properties of $n\times n$, $n\leq 6$, positive definite matrices. The
conjecture has been proven for $n\leq 4$ using computer-assisted sum of squares
(SoS) methods for proving polynomial nonnegativity. Based on these proven
cases, we report on the recent identification of a new family of matrices with
the property that their diagonals majorize their spectrum. We then present new
results showing that this family can extended via Kronecker composition to
$n>6$ while retaining the special majorization property. We conclude with
general considerations on the future of computer-assisted and AI-based proofs.
- Abstract(参考訳): 本稿では,$n\times n$,$n\leq 6$,正定値行列の性質に関する予想に関する新しい結果について報告する。
この予想は、多項式の非負性を証明するためにコンピュータ支援された平方和(SoS)法を用いて$n\leq 4$で証明されている。
これらの証明された事例に基づき、直近では、その対角線がスペクトルを多角化する性質を持つ新しい行列族が同定されたことを報告する。
次に、この族が特殊偏化特性を維持しながら、Kronecker合成により$n>6$まで拡張可能であることを示す新しい結果を示す。
コンピュータ支援とAIに基づく証明の今後について概観した。
関連論文リスト
- Optimal level set estimation for non-parametric tournament and crowdsourcing problems [49.75262185577198]
クラウドソーシングによって動機づけられた我々は、$d$の質問に対する$n$の専門家の回答の正しさを部分的に観察する問題を考える。
本稿では、専門家$i$が疑問に答える確率を含む行列$M$が、行と列の置換までの双等方性であることを仮定する。
我々は,この分類問題に対して最小限のアルゴリズムを最適に構築する。
論文 参考訳(メタデータ) (2024-08-27T18:28:31Z) - Efficient Unitary T-designs from Random Sums [0.6640968473398456]
Unitary $T$-Designsは、量子アルゴリズム、ベンチマーク、トモグラフィ、通信における様々な応用において、量子情報において重要な役割を果たす。
我々は、$tildeO(T2 n2)$量子ゲートを用いたランダム行列理論による$T$-designsの新たな構成を提供する。
論文 参考訳(メタデータ) (2024-02-14T17:32:30Z) - A generic quantum Wielandt's inequality [0.9975341265604578]
一般に$k$は$mathcalO(n2)$の次数でなければならないと推測されている。
量子ウィーランドの不等式の一般的なバージョンを提供し、確率 1 で最適な長さを与える。
我々は、Projected Entangled Pair Stateの長年のオープンな問題に新たな光を当てた。
論文 参考訳(メタデータ) (2023-01-19T18:57:32Z) - Quantum and classical low-degree learning via a dimension-free Remez
inequality [52.12931955662553]
ハイパーグリッド上の関数をポリトーラス上の高調波拡張に関連付ける新しい方法を示す。
巡回群 $exp(2pi i k/K)_k=1K$ の積に対して函数の上限が$f$であることを示す。
我々は最近、超キューブやキュービット上の観測可能な観測値の低次学習を、同様に効率的に行う方法として、EI22, CHP, VZ22を引用して、新しい空間に拡張した。
論文 参考訳(メタデータ) (2023-01-04T04:15:40Z) - Average-Case Complexity of Tensor Decomposition for Low-Degree
Polynomials [93.59919600451487]
多くの統計的推論タスクにおいて「統計計算ギャップ」が発生する。
1つの成分が他の成分よりもわずかに大きいランダムオーダー3分解モデルを考える。
テンソルエントリは$ll n3/2$のとき最大成分を正確に推定できるが、$rgg n3/2$のとき失敗する。
論文 参考訳(メタデータ) (2022-11-10T00:40:37Z) - Near-optimal fitting of ellipsoids to random points [68.12685213894112]
楕円体をランダムな点に合わせるという基本的な問題は、低ランク行列分解、独立成分分析、主成分分析に関係している。
我々はこの予想を、ある$n = Omega(, d2/mathrmpolylog(d))$ に対する適合楕円体を構成することで対数的因子まで解決する。
我々の証明は、ある非標準確率行列の便利な分解を用いて、サンダーソン等最小二乗構成の実現可能性を示す。
論文 参考訳(メタデータ) (2022-08-19T18:00:34Z) - Block-Circulant Complex Hadamard Matrices [0.0]
次元$Ngeqslant 7$に対する孤立複素アダマール行列(CHM)の列を得る新しい方法を示す。
本稿では,Sinkhornアルゴリズムの修正によるいくつかの解析例について論じる。
論文 参考訳(メタデータ) (2022-04-25T15:33:26Z) - Algebraic and geometric structures inside the Birkhoff polytope [0.0]
Birkhoff polytope $mathcalB_d$ は位数 $d$ のすべての双確率行列からなる。
我々は、$mathcalL_d$ と $mathcalF_d$ が平面行列に対して星型であることを証明する。
論文 参考訳(メタデータ) (2021-01-27T09:51:24Z) - Linear-Sample Learning of Low-Rank Distributions [56.59844655107251]
ktimes k$, rank-r$, matrices to normalized $L_1$ distance requires $Omega(frackrepsilon2)$ sample。
我々は、$cal O(frackrepsilon2log2fracepsilon)$ sample, a number linear in the high dimension, and almost linear in the matrices, usually low, rank proofs.というアルゴリズムを提案する。
論文 参考訳(メタデータ) (2020-09-30T19:10:32Z) - Supersymmetry of $\mathcal{PT}$- symmetric tridiagonal Hamiltonians [0.0]
我々は超対称三対角ハミルトニアンの研究を、実あるいは複素固有値を持つ非エルミート・ハミルトニアンの場合にまで拡張する。
一般性に加えて、この作品の発達した形式主義は、数値的に強力なガウスラチャ技法を使用する自然な家である。
論文 参考訳(メタデータ) (2020-06-16T22:18:25Z) - Robustly Learning any Clusterable Mixture of Gaussians [55.41573600814391]
本研究では,高次元ガウス混合系の対向ロバスト条件下での効率的な学習性について検討する。
理論的に最適に近い誤り証明である$tildeO(epsilon)$の情報を、$epsilon$-corrupted $k$-mixtureで学習するアルゴリズムを提供する。
我々の主な技術的貢献は、ガウス混合系からの新しい頑健な識別可能性証明クラスターであり、これは正方形の定度証明システムによって捉えることができる。
論文 参考訳(メタデータ) (2020-05-13T16:44:12Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。