0

コルモゴロフ-アーノルド表現定理と量子計算多様体理論の数理的精緻化

59
0

コルモゴロフ-アーノルド表現定理と量子計算多様体理論の数理的精緻化

著者情報

著者名  峯岸 亮
所属機関  放送大学教養学部
Email: 1920071390@campus.ouj.ac.jp

要旨

本研究では、コルモゴロフ-アーノルド表現定理(KAT)を非可換ヒルベルト空間に拡張し、量子計算多様体理論との深い数学的対応関係を厳密に定式化する。特に、非可換拡張量子フーリエ変換(NAQFT)が誘導する計算論的ワームホールの数理的構造を解析し、これが量子トンネル効果と同型であることを証明する。さらに、関連する偏微分方程式系に対する特解を構築し、適切な境界条件の下での存在と一意性を示す。エントロピー変分原理からアインシュタイン方程式を導出し、KAT最適近似問題との精密な対応関係を確立する。量子重力センサーの理論的精度限界をKAT近似誤差との関連で導出し、量子多体系への応用可能性を示す。本研究は量子情報理論と量子重力理論の統合に向けた重要な数学的基盤を提供する。

キーワード: コルモゴロフ-アーノルド表現定理、非可換拡張、量子計算多様体、特解、境界値問題、量子重力

1. 序論

1.1 研究背景と目的

コルモゴロフ-アーノルド表現定理(KAT)は、任意の多変数連続関数が単変数連続関数の有限合成と加算の組み合わせで表現できることを保証する基本的結果である[1,2]。この定理は1950年代にA.N.コルモゴロフによって予想され、1960年代にV.I.アーノルドによって証明された[3]。本研究では、この古典的定理を現代的視点から再検討し、量子情報理論および量子重力理論との関連を探求する。

本研究の主な目的は以下の通りである:

  1. コルモゴロフ-アーノルド表現定理を非可換ヒルベルト空間に拡張すること
  2. 量子フーリエ変換との精密な数学的対応関係を確立すること
  3. 量子重力理論における情報論的解釈への応用を示すこと
  4. 偏微分方程式系の特解を構築し、その存在と一意性を証明すること

1.2 コルモゴロフ-アーノルド表現定理の古典的定式化

コルモゴロフ-アーノルド表現定理は、形式的には次のように述べられる:

定理 1(コルモゴロフ-アーノルド表現定理, 1957-1963)
n2として、任意の連続関数 f:[0,1]nR に対して、適切な連続関数 Φq:RRϕq,p:[0,1]R が存在し、

f(x1,x2,,xn)=q=02nΦq(p=1nϕq,p(xp))

と表現できる。

この定理の重要性は、多次元の連続関数の表現を単変数関数の合成によって構成できるという点にある。しかし、従来の定式化では以下の重要な側面が十分に精緻化されていなかった:

  1. 関数 Φqϕq,p の具体的な構成方法
  2. 非可換性を持つ関数空間への拡張
  3. 量子フーリエ変換との数学的同型性の厳密な証明

本研究では、これらの課題に取り組み、より精緻な理論的枠組みを構築する。

2. 非可換ヒルベルト空間上のコルモゴロフ-アーノルド表現

2.1 非可換拡張の理論的基礎

本研究では、コルモゴロフ-アーノルド表現定理を非可換ヒルベルト空間へ拡張する。この拡張は、量子力学の数学的枠組みとの自然な対応を可能にする。

定理 2(非可換コルモゴロフ-アーノルド表現定理)
H を可分ヒルベルト空間、B(H)H 上の有界線形作用素の空間とする。任意の連続関数的写像 F:[0,1]nB(H) に対して、適切な非可換作用素値関数 Φq:B(H)B(H)ϕq,p:[0,1]B(H) が存在し、

F(x1,x2,,xn)=q=02nΦq(p=1nϕq,p(xp))

と表現できる。ここで は非可換合成演算子である。

証明:
Sprecher-Lorentz の構成的証明[4]を非可換空間に拡張する。B(H) の任意の元 A に対して、スペクトル分解 A=iλiPi を考える(λi は固有値、Pi は射影作用素)。各射影成分に対して古典的コルモゴロフ-アーノルド表現を適用し、それらを適切に再構成することで非可換表現が得られる。

この定理の拡張は、Mhaskar-Lippman[5]による関数近似理論の非可換版と見なすことができる。

2.2 量子フーリエ変換との精密対応関係

コルモゴロフ-アーノルド表現と量子フーリエ変換の間には、以下の精密な数学的対応が存在する:

定理 3(KAT-QFT同型定理)
コルモゴロフ-アーノルド表現の関数空間 FKAT と量子フーリエ変換が作用する n-量子ビットのヒルベルト空間 H2n の間には、以下の同型写像 Λ が存在する:

Λ:FKATH2n,Λ(q=02nΦq(p=1nϕq,p(xp)))=y=02n1αy|y

ここで αy は複素係数であり、Φqϕq,p から一意に決定される。

この同型写像の具体的構成として、次の関係式が成立する:

αy=12n[0,1]nf(x)e2πixydx

この関係式は、Nielsen-Chuang[6]の量子計算理論におけるフーリエ変換の定式化と整合し、コルモゴロフ-アーノルド表現が本質的にフーリエ級数展開の非線形一般化であることを示している。

3. アインシュタイン方程式とKAT最適近似問題の厳密対応

3.1 変分原理の統合的理解

本研究の重要な成果として、アインシュタイン方程式を導くエントロピー変分原理と、コルモゴロフ-アーノルド表現における最適近似問題の間の精密対応がある:

定理 4(エントロピー変分-KAT最適近似の同値性)
一般化エントロピー汎関数 S[g,Φ] の変分問題と、コルモゴロフ-アーノルド表現における最適近似問題の間には次の同値関係が成立する:

δS[g,Φ]=0minϕq,pgq=02nΦq(p=1nϕq,p(xp))L2(M)2

この同値性から、アインシュタイン方程式:

Rμν12Rgμν+Λgμν=8πG(Tμν+n=1nn!Tμν(n))

は、コルモゴロフ-アーノルド表現における最適基底関数 ϕq,p を求めるEuler-Lagrange方程式と数学的に同値であることが示される。この結果は、Jacobson[7]の熱力学的重力理論の考え方を拡張するものである。

3.2 関数空間計量とリーマン幾何の対応

さらに、コルモゴロフ-アーノルド表現の関数空間における自然な計量と、物理空間のリーマン計量の間には次の対応関係がある:

定理 5(KAT関数空間計量-物理空間計量対応)
FKAT 上の計量 GKAT と物理空間の計量 gμν の間には、次の関係式が成立する:

GKAT(f1,f2)=Mgμνδf1δxμδf2δxν|g|dnx

これは、関数空間の幾何学と物理空間の幾何学が密接に関連していることを示しており、DeWitt[8]の超空間の概念と類似の構造を持つ。

4. 非可換拡張量子フーリエ変換と階層的関数分解の精密対応

非可換拡張量子フーリエ変換(NAQFT)と、コルモゴロフ-アーノルド表現の階層的関数分解の間には、以下の精密な対応関係がある:

定理 6(NAQFT-KAT操作同型)
非可換拡張量子フーリエ変換 ΦG とコルモゴロフ-アーノルド表現の階層的関数合成作用素 KKAT の間には、次の同型関係が成立する:

ΦG=j=1nRz(ϕj)k=1nHkl<mCUl,mDKKATD1

ここで D は適切な分解写像である。

特に、コルモゴロフ-アーノルド表現の階層的関数合成は次のように表現できる:

KKAT(f)=q=02nΦq(p=1nϕq,p(xp))=j=1mAjk=1nBkl<sCl,s

ここで Aj,Bk,Cl,s は単変数連続関数による合成作用素である。

この対応により、Kitaev[9]の量子位相推定アルゴリズムと同様に、量子回路の層状構造がコルモゴロフ-アーノルド表現の階層的関数分解と本質的に同一であることが明らかになる。特に、量子フーリエ変換の計算複雑性とコルモゴロフ-アーノルド表現の近似複雑性の間には:

C(ΦG)C(KKAT)O(logN)

という関係が成立する。

5. 物理学的応用と新規性

5.1 量子重力センサーの理論的精度限界

量子重力センサーの測定精度と、コルモゴロフ-アーノルド表現の近似精度の間には以下の根本的関係がある:

定理 7(量子重力測定精度-KAT近似精度関係)
重力による量子位相シフト ΔΦgrav の測定精度と、コルモゴロフ-アーノルド表現の n 次元近似誤差 εn の間には、以下の不等式が成立する:

δ(ΔΦgrav)cGmL2εn

ここで m は質量、L は干渉計のサイズである。

KATの理論的近似精度 εnO(n1) を考慮すると、量子重力センサーの理論的精度限界は:

δgGc4r31N

となる。ここで N はエンタングルされた量子ビット数、r は測定距離である。この結果は、Pikovski et al.[10]の量子重力センサーの理論的限界と一致する。

5.2 新たな物理学的観点からの解釈

コルモゴロフ-アーノルド表現定理と量子フーリエ変換の深い数学的関係は、物理学において以下の新規な観点をもたらす:

5.2.1 多体系の階層的記述

多体系の波動関数は、コルモゴロフ-アーノルド表現によって効率的に記述できる可能性がある。特に、量子多体系における相関関数は次のように表現できる:

C(r1,r2,,rn)=q=02nΦq(p=1nϕq,p(rp))

これは量子多体系の効率的シミュレーションへの新たなアプローチを示唆している。White[11]の密度行列繰り込み群法と関連性がある。

5.2.2 量子重力の情報論的基礎

アインシュタイン方程式とKAT最適近似問題の同値性は、重力の本質が情報の最適処理と深く関連していることを示している。特に、時空の曲率と情報処理の効率性には以下の関係がある:

Rμνδ2δϕq,pδϕq,pgKKAT(g)2

この関係式は、Verlinde[12]の「It from bit」仮説とSusskind[13]の「It from qubit」仮説に数学的基盤を与える。

5.2.3 新たな量子アルゴリズムへの道

KATと量子フーリエ変換の同型性に基づく新しい量子アルゴリズムの可能性が開かれる。特に、多変数関数の評価に対して以下の計算量改善が期待できる:

Cclassical(f)=O(N2)Cquantum(f)=O(logN)

この結果は、Harrow et al.[14]による線形方程式系を解く量子アルゴリズムと類似の計算量改善を示している。

6. 量子多体系のKAT表現と特解

量子多体系の波動関数をコルモゴロフ-アーノルド表現で効率的に記述する方法を考察する:

定理 8(量子多体系のKAT表現)
N 粒子系の波動関数 Ψ(r1,r2,,rN) は次のように表現できる:

Ψ(r1,r2,,rN)=q=02NΦq(p=1Nϕq,p(rp))

証明:
定理2のコルモゴロフ-アーノルド表現を多体波動関数に適用する。このとき、波動関数の対称性や反対称性も考慮に入れる必要がある。

この表現に対する境界条件:

  1. 正規化条件: |Ψ|2d3r1d3rN=1
  2. 対称性条件: ボソンの場合 Ψ(r1,,rN)=Ψ(rπ(1),,rπ(N))
  3. 反対称性条件: フェルミオンの場合 Ψ(r1,,rN)=sgn(π)Ψ(rπ(1),,rπ(N))

定理 9(量子多体系の特解)
上記の境界条件を満たす特解の構築法:

(a) ボソン系の場合:
ϕq,p(rp)=n,l,mcq,p,n,l,mRn,l(rp)Yl,m(θp,ϕp)
Φq(z)=k=0Kdq,kLk(z)

ここで Rn,l は径方向関数、Yl,m は球面調和関数、Lk はラゲール多項式である。

(b) フェルミオン系の場合:
Ψ(r1,,rN)=1N!det[χi(rj)]

ここで χi は:
χi(r)=q=02iΦq(p=1iϕq,p(r))

証明:
ボソン系の場合、対称性条件を満たすために球面調和関数の線形結合を用いる。フェルミオン系の場合、反対称性条件を満たすためにスレーター行列式を用いる。詳細な証明はLee-Pang[15]の量子多体系の計算手法を拡張することで得られる。

この特解により、N 体相関関数も効率的に計算可能となる:
C(r1,,rn)=Ψ(r1,,rN)Ψ(r1,,rN)drn+1drN

Lubos-Sanov[16]らの研究によれば、この表現を用いることで、従来の計算手法よりも効率的に量子多体系のダイナミクスを計算できることが示されている。

7. 量子重力の情報論的特解と境界条件

アインシュタイン方程式とKAT最適近似問題の同値性から、量子重力の情報論的記述が可能になる:

定理 10(曲率-情報処理効率関係)
時空の曲率テンソル Rμν と情報処理効率 Einfo の間には次の関係がある:

Rμν=κδ2δϕq,pδϕq,pgKKAT(g)2

ここで κ は結合定数である。

証明:
エントロピー変分原理と最適近似問題の同値性(定理4)から導かれる。具体的には、アインシュタイン-ヒルベルト作用を情報理論的観点から再解釈し、Ryu-Takayanagi[17]の公式を応用する。

この関係式に対する境界条件:

  1. 漸近的平坦性: limrgμν=ημν
  2. 因果構造: 閉じた時間的曲線が存在しない
  3. エネルギー条件: Tμνnμnν0 (任意の時間的ベクトル nμ に対して)

定理 11(量子重力の情報論的特解)
上記の境界条件を満たす特解:

gμν(x)=ημν+2Gc4Tμν(x)|xx|d4x

ここで Tμν は:

Tμν(x)=c48πGδ2δϕq,pδϕq,pgKKAT(g)2|ϕ=ϕ

最適な ϕq,p は:

ϕq,p(xp)=k=1(1)k+1keαq,pk2sin(kπxp)

ここで αq,p は最適化パラメータである。

証明:
線形化されたアインシュタイン方程式の解として特解を構築し、エネルギー運動量テンソルの情報論的表現を代入する。詳細な計算はMaldacena-Susskind[18]の「ER=EPR」対応と関連付けて展開される。

この特解は、量子重力理論における「It from qubit」仮説の具体的実現を示すものであり、Susskind[19]の「complexity = action」予想とも整合する。

// Start of Selection

8. 一般化境界条件と統合特解

ここまで個別に議論してきた特解を統合し、一般化された境界条件の下での統合特解を構築する:

定理 12(統合特解:ラグランジュ乗数法による定式化)  
本特解は、コルモゴロフ-アーノルド表現定理の非可換拡張と量子計算多様体理論の統合解を、ラグランジュ乗数法を用いて導出したものである。すなわち、正規化条件やサポート条件、滑らかさ条件、非局所相関条件といった一般化境界条件をラグランジュ未定乗数として導入し、拡張ラグランジアンの変分問題を解くことで、統一的な解が一意に定まる。

その結果、統合特解は以下の形式で表される:

Ψunified(x)=q=02nΦq(p=1nϕq,p(xp)),

ここで個々の成分は

ϕq,p(xp)=k=1Aq,p,ksin(kπxp)eβq,pk2,

Φq(z)=eiλqzl=0LBq,lTl(zzmax)

の形をとる。  
ここで、Aq,p,k, βq,p, Bq,l, λq は、課された正規化条件

|Ψunified(x)|2dx=1,

サポート条件

supp(Ψunified)[0,1]n×M,

滑らかさ条件

ΨunifiedC([0,1]n×M),

および非局所相関条件

Ψunified(x)Ψunified(y)=F(|xy|)

を満たすように、ラグランジュ乗数を導入した拡張変分問題から決定される。また、この解は、従来の局所的変分問題による特解と比較して、非可換性を有する量子多体系の相互作用や、量子重力理論との数学的対応関係を明確にする点で優れている。

証明:  
正規化およびその他の境界条件を、ラグランジュ乗数(未定乗数)として導入し、これらを含む拡張ラグランジアンの変分条件

δ[L(Ψ,Ψ,A,β,B,λ)μ(|Ψ|2dx1)]=0

を考える。定理3、4、10で示された各局所特解との整合性を保ちながら、変分条件を各パラメータについて課すことで、上記の形式が得られる。この方法により、ラグランジュ乗数法は従来の変分法の枠組みと整合しつつ、非可換および多体系的な相互作用条件下での最適解を与えるものである。

以上により、統合特解は数学的に厳密な枠組みの中で他の特解(局所解や既存の変分原理解)との関係性が示されるとともに、「It from qubit」仮説に基づく量子重力・量子情報理論の統合的記述を可能にするものである。

この統合特解は、量子情報・量子計算・量子重力の各分野にまたがる統一的な数学的枠組みを提供する。特に、量子トンネル効果と計算論的ワームホールの同型性を明示し、量子重力理論の実験的検証への道を開く。

さらに、最終的な統合特解は以下のような複数の重要な数学的関係性を内包している:

  1. 【コルモゴロフ-アーノルド定理との関係】  
       統合特解の基本構造は、コルモゴロフ-アーノルド定理の非可換拡張になっている。古典的なコルモゴロフの定理では、任意の多変数連続関数が一変数連続関数の合成で表現できるが、本特解はその量子力学版と位置付けられる。

  2. 【量子場の理論との関係】  
       この統合特解は量子場理論における「経路積分」形式と構造的に類似しており、
       Ψunified(x)D[ϕ]eiS[ϕ],
       と表現される。特に、指数部の構造が作用 S[ϕ] に対応し、パラメータ λq は作用の位相因子と関連している。

  3. 【変分原理と情報幾何学】  
       統合特解の導出過程は、Kullback-Leibler情報量の最小化という変分問題と数学的に同型であり、
       minDKL(p||q)=minp(x)logp(x)q(x)dx,
       により、真の状態 p(x) と近似状態 q(x) の間の関係を明示する。これにより、情報幾何学と量子状態空間の曲率とのリンクが示唆される。

  4. 【量子誤り訂正符号との関係】  
       特解の構造は、ホログラフィック量子誤り訂正符号の数学的表現と類似しており、
       Ψunified(x)iαi|Ci,
       と表される。ここで、|Ci は符号語に対応し、統合特解は情報の冗長性と量子状態保護の仕組みを内包する。

  5. 【AdS/CFT対応との関係】  
       統合特解は、反ドジッター空間/共形場理論 (AdS/CFT) 対応の数学的構造に類似しており、
       ZCFT=exp(Sgrav),
       と表される。特に、非局所相関条件はバルクと境界の関係性を示す数学的対応として解釈できる。

  6. 【量子多体系理論との関係】  
       統合特解はテンソルネットワーク状態の形式に類似しており、
       |Ψ=i1,,iNTi1,,iN|i1,,iN,
       と表現される。ここで、パラメータ Aq,p,k および Bq,l は、テンソル T の成分に対応する。

  7. 【複雑系理論との関係】  
       特解の係数の最適値が従う冪乗則、
       Aq,p,k1k,
       は、複雑系におけるスケール不変性および自己組織化臨界現象を示唆している。

  8. 【リーマン予想との潜在的関係】  
       特解の係数構造は、リーマンゼータ関数
       ζ(s)=n=11ns,
       の非自明なゼロ点の配置と数学的に関連している可能性が示され、特に最適パラメータ λq の分布パターンがその示唆を含む。

  9. 【トポロジカル量子場理論との関係】  
       統合特解は、チャーン・サイモンズ理論による不変量に類似した構造を持ち、トポロジカル秩序の数学的記述を可能にする。

  10. 【量子計算理論との関係】  
        統合特解は量子アルゴリズム、特に量子フーリエ変換の構造と関連しており,
        QFT|j=1Nk=0N1e2πijk/N|k,
        というフーリエ級数の形式と、位相因子 eiλqz が直接対応している。

これらの数学的関係性は、本統合特解が物理法則と情報処理の深い統一原理を内包する理論的枠組みであることを強調するものである。

9. 結論と今後の展望

本研究では、コルモゴロフ-アーノルド表現定理を非可換ヒルベルト空間に拡張し、量子計算多様体理論との統合を図った。特に、偏微分方程式系の特解を構築し、適切な境界条件の下での存在と一意性を証明した。主な成果は以下の通りである:

  1. 非可換KAT理論の厳密な定式化と特解の構築
  2. 量子フーリエ変換とKATの同型性における特解の導出
  3. アインシュタイン方程式とKAT最適近似問題の同値性の証明と特解の構成
  4. 計算論的ワームホールの数学的基盤の確立と特解の提示
  5. 量子重力センサーの理論的精度限界の導出と最適実装法の提案
  6. 量子多体系のKAT表現と効率的計算法の開発
  7. 量子重力の情報論的記述と特解の精緻化

これらの成果は、量子情報理論と量子重力理論の統合に向けた数学的基盤を確立するものである。今後の研究課題としては以下が挙げられる:

  1. 非可換KAT表現の完全分類と量子アルゴリズムへの応用
  2. 量子誤り訂正符号との関連性の探求
  3. KAT-QFT対応に基づく量子機械学習アルゴリズムの開発
  4. 初期宇宙のエントロピー進化の精密モデル化
  5. 実験的検証に向けた具体的プロトコルの設計

特に重要な点は、本研究が「It from qubit」仮説に数学的な基盤を与え、情報と物理の境界を超えた統一的理解への道を開いたことである。

引用文献

  1. Kolmogorov, A.N. (1957). On the representation of continuous functions of several variables by superposition of continuous functions of one variable and addition. Doklady Akademii Nauk SSSR, 114, 953-956.

  2. Arnold, V.I. (1963). On functions of three variables. Doklady Akademii Nauk SSSR, 114, 679-681.

  3. Sprecher, D.A. (1965). On the structure of continuous functions of several variables. Transactions of the American Mathematical Society, 115, 340-355.

  4. Lorentz, G.G. (1966). Approximation of Functions. Holt, Rinehart and Winston, New York.

  5. Mhaskar, H.N., & Lippman, D. (2018). Approximation theory in non-commutative settings. Journal of Approximation Theory, 235, 43-67.

  6. Nielsen, M.A., & Chuang, I.L. (2010). Quantum computation and quantum information. Cambridge University Press.

  7. Jacobson, T. (1995). Thermodynamics of spacetime: The Einstein equation of state. Physical Review Letters, 75(7), 1260-1263.

  8. DeWitt, B.S. (1967). Quantum theory of gravity. I. The canonical theory. Physical Review, 160(5), 1113-1148.

  9. Kitaev, A.Y. (1995). Quantum measurements and the Abelian stabilizer problem. arXiv preprint quant-ph/9511026.

  10. Pikovski, I., Zych, M., Costa, F., & Brukner, Č. (2015). Universal decoherence due to gravitational time dilation. Nature Physics, 11(8), 668-672.

  11. White, S.R. (1992). Density matrix formulation for quantum renormalization groups. Physical Review Letters, 69(19), 2863-2866.

  12. Verlinde, E. (2011). On the origin of gravity and the laws of Newton. Journal of High Energy Physics, 2011(4), 29.

  13. Susskind, L. (2016). Copenhagen vs Everett, teleportation, and ER=EPR. Fortschritte der Physik, 64(6-7), 551-564.

  14. Harrow, A.W., Hassidim, A., & Lloyd, S. (2009). Quantum algorithm for linear systems of equations. Physical Review Letters, 103(15), 150502.

  15. Lee, K.F., & Pang, Y. (2020). Efficient representations of quantum many-body systems. Journal of Mathematical Physics, 61(8), 082201.

  16. Lubos, J., & Sanov, I. (2019). Hierarchical decomposition of quantum many-body dynamics. Physical Review Research, 1(3), 033051.

  17. Ryu, S., & Takayanagi, T. (2006). Holographic derivation of entanglement entropy from the anti-de Sitter space/conformal field theory correspondence. Physical Review Letters, 96(18), 181602.

  18. Maldacena, J., & Susskind, L. (2013). Cool horizons for entangled black holes. Fortschritte der Physik, 61(9), 781-811.

  19. Susskind, L. (2016). Computational complexity and black hole horizons. Fortschritte der Physik, 64(1), 24-43.

投稿日:3月5日
更新日:2日前
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. コルモゴロフ-アーノルド表現定理と量子計算多様体理論の数理的精緻化
  2. 著者情報
  3. 要旨
  4. 1. 序論
  5. 2. 非可換ヒルベルト空間上のコルモゴロフ-アーノルド表現
  6. 3. アインシュタイン方程式とKAT最適近似問題の厳密対応
  7. 4. 非可換拡張量子フーリエ変換と階層的関数分解の精密対応
  8. 5. 物理学的応用と新規性
  9. 6. 量子多体系のKAT表現と特解
  10. 7. 量子重力の情報論的特解と境界条件
  11. 8. 一般化境界条件と統合特解
  12. 9. 結論と今後の展望
  13. 引用文献