論文の概要: Almost-Orthogonality in Lp Spaces: A Case Study with Grok
- arxiv url: http://arxiv.org/abs/2605.05192v1
- Date: Wed, 06 May 2026 17:54:51 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-07 18:41:07.980573
- Title: Almost-Orthogonality in Lp Spaces: A Case Study with Grok
- Title（参考訳）: Lp空間におけるほぼ直交性:Grokを用いたケーススタディ
- Abstract要約: カーベリーは、多くの函数に対して以下の鋭い三角形の不等式を提案した。
この研究に現れるいくつかの中間補題と不等式は、大きな言語モデルGrokの助けを借りて検討された。
- 参考スコア（独自算出の注目度）: 9.384449875311857
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Carbery proposed the following sharpened form of triangle inequality for many functions: for any $p\ge 2$ and any finite sequence $(f_j)_j\subset L^p$ we have \[ \Big\|\sum_j f_j\Big\|_p \ \le\ \left(\sup_{j} \sum_{k} α_{jk}^{\,c}\right)^{1/p'} \Big(\sum_j \|f_j\|_p^p\Big)^{1/p}, \] where $c=2$, $1/p+1/p'=1$, and $α_{jk}=\sqrt{\frac{\|f_{j}f_{k}\|_{p/2}}{\|f_{j}\|_{p}\|f_{k}\|_{p}}}$. In the first part of this paper we construct a counterexample showing that this inequality fails for every $p>2$. We then prove that if an estimate of the above form holds, the exponent must satisfy $c\le p'$. Finally, at the critical exponent $c=p'$, we establish the inequality for all integer values $p\ge 2$. In the second part of the paper we obtain a sharp three-function bound \[ \Big\|\sum_{j=1}^{3} f_j\Big\|_p \ \le\ \left(1+2Γ^{c(p)}\right)^{1/p'} \Big(\sum_{j=1}^{3} \|f_j\|_p^p\Big)^{1/p}, \] where $p \geq 3$, $c(p) = \frac{2\ln(2)}{(p-2)\ln(3)+2\ln(2)}$ and $Γ=Γ(f_1,f_2,f_3)\in[0,1]$ quantifies the degree of orthogonality among $f_1,f_2,f_3$. The exponent $c(p)$ is optimal, and improves upon the power $r(p) = \frac{6}{5p-4}$ obtained previously by Carlen, Frank, and Lieb. Some intermediate lemmas and inequalities appearing in this work were explored with the assistance of the large language model Grok.
- Abstract（参考訳）: 任意の$p\ge 2$と任意の有限列 $(f_j)_j\subset L^p$ に対して \[ \Big\|\sum_j f_j\Big|_p \ \le\ \left(\sup_{j} \sum_{k} α_{jk}^{\,c}\right)^{1/p'} \Big(\sum_j \|f_j\|_p^p\Big)^{1/p}, \] ここで$c=2$, $1/p+1/p'=1$, $α_{jk}=\sqrt {\frac {|f_{j}f_{j}|||||_{p}\||_{p}\||_{p}} が成立する。
この論文の前半では、この不等式が$p>2$ごとに失敗することを示す反例を構築している。
すると、上記の形式の推定が成り立つならば、指数は$c\le p'$を満たさなければならない。
最後に、臨界指数$c=p'$で、すべての整数値$p\ge 2$の不等式を確立する。
論文の第2部では、シャープな三函数束 \[ \Big\|\sum_{j=1}^{3} f_j\Big\|_p \ \le\ \left(1+2\^{c(p)}\right)^{1/p'} \Big(\sum_{j=1}^{3} \|f_j\|_p^p\Big)^{1/p}, \] を得る。
指数 $c(p)$ は最適であり、以前にCarren, Frank, Lieb が獲得したパワー $r(p) = \frac{6}{5p-4}$ により改善される。
この研究に現れるいくつかの中間補題と不等式は、大きな言語モデルGrokの助けを借りて検討された。
関連論文リスト
- Isospectral majorization and isoperimetric inequalities for coherent states on the Bloch sphere [0.0]
我々はリーブ・ソロヴェイ不等式の等スペクトルバージョンを証明した。
球面キャップは、Toeplitz作用素の固有値の任意の部分和を1_$で最大化する。
論文 参考訳（メタデータ） (2026-08-12T16:46:26Z) - 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) - The Communication Complexity of Approximating Matrix Rank [50.6867896228563]
この問題は通信複雑性のランダム化を$Omega(frac1kcdot n2log|mathbbF|)$とする。
アプリケーションとして、$k$パスを持つ任意のストリーミングアルゴリズムに対して、$Omega(frac1kcdot n2log|mathbbF|)$スペースローバウンドを得る。
論文 参考訳（メタデータ） (2024-10-26T06:21:42Z) - Tight Lower Bounds under Asymmetric High-Order Hölder Smoothness and Uniform Convexity [6.309677398331863]
我々は最適性ギャップの観点から、$Omegaleft( left( fracHsigmaright)frac23(p+nu)$の最悪のオラクル複合体を確立する。
我々の結果は、この一般的な設定における対応する上界と一致する。
論文 参考訳（メタデータ） (2024-09-16T23:17:33Z) - Efficient Continual Finite-Sum Minimization [52.5238287567572]
連続有限サム最小化(continuous finite-sum minimization)と呼ばれる有限サム最小化の鍵となるツイストを提案する。
我々のアプローチは$mathcalO(n/epsilon)$ FOs that $mathrmStochasticGradientDescent$で大幅に改善されます。
また、$mathcalOleft(n/epsilonalpharight)$ complexity gradient for $alpha 1/4$という自然な一階法は存在しないことを証明し、この方法の第一階法がほぼ密であることを示す。
論文 参考訳（メタデータ） (2024-06-07T08:26:31Z) - Quantum Algorithms and Lower Bounds for Finite-Sum Optimization [22.076317220348145]
我々は、複雑性 $tildeObig(n+sqrtd+sqrtell/mubig)$ の量子アルゴリズムを与え、古典的なタイト境界 $tildeThetabig(n+sqrtnell/mubig)$ を改善する。
また、$d$が十分大きいとき、量子下界$tildeOmega(n+n3/4(ell/mu)1/4)$を証明します。
論文 参考訳（メタデータ） (2024-06-05T07:13:52Z) - Dimension Independent Disentanglers from Unentanglement and Applications [55.86191108738564]
両部非絡み込み入力から次元独立なk-パーティイトディジアンタングル(類似)チャネルを構築する。
NEXP を捉えるためには、$| psi rangle = sqrta | sqrt1-a | psi_+ rangle という形の非負の振幅を持つのに十分であることを示す。
論文 参考訳（メタデータ） (2024-02-23T12:22:03Z) - Low-degree learning and the metric entropy of polynomials [44.99833362998488]
少なくとも$Omega(sqrtvarepsilon)2dlog n leq log mathsfM(mathscrF_n,d,|cdot|_L,varepsilon)は2辺の推定値$c(1-varepsilon)2dlogを満たす。
論文 参考訳（メタデータ） (2022-03-17T23:52:08Z) - Low-Rank Approximation with $1/\epsilon^{1/3}$ Matrix-Vector Products [58.05771390012827]
我々は、任意のSchatten-$p$ノルムの下で、低ランク近似のためのクリロフ部分空間に基づく反復法について研究する。
我々の主な成果は、$tildeO(k/sqrtepsilon)$ matrix-vector productのみを使用するアルゴリズムである。
論文 参考訳（メタデータ） (2022-02-10T16:10:41Z) - On the continuous Zauner conjecture [0.0]
本稿では, [-frac1d2-1, frac1d+1] setminus0$ the equality $textebr(Phi_t)=d2$ is equivalent to a pair of a informationally complete unit norm tight frames。
論文 参考訳（メタデータ） (2021-12-11T00:14:35Z) - Computational Complexity of Normalizing Constants for the Product of
Determinantal Point Processes [12.640283469603357]
正規化定数の計算における計算複雑性について検討する。
例えば、$sum_Sdet(bf A_S,S)p$は、すべての(固定された)正の偶数に対して、$p$ が UP-hard で Mod$_3$P-hard であることを示す。
論文 参考訳（メタデータ） (2021-11-28T14:08:25Z) - On the Complexity of Minimizing Convex Finite Sums Without Using the
Indices of the Individual Functions [62.01594253618911]
有限和の有限ノイズ構造を利用して、大域オラクルモデルの下での一致する$O(n2)$-upper境界を導出する。
同様のアプローチを踏襲したSVRGの新規な適応法を提案し、これはオラクルと互換性があり、$tildeO(n2+nsqrtL/mu)log (1/epsilon)$と$O(nsqrtL/epsilon)$, for $mu>0$と$mu=0$の複雑さ境界を実現する。
論文 参考訳（メタデータ） (2020-02-09T03:39:46Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。