We obtain a non-asymptotic bound for the expected injective norm of a random tensor with independent entries. This bound is similar to the bound by Bandeira and van Handel (2016) for the expected spectral norm of a random matrix with independent entries.
পেপার আইডি : 2412.21193শিরোনাম : স্বাধীন প্রবিষ্টি সহ র্যান্ডম টেনসরের ইনজেক্টিভ নর্মলেখক : March T. Boedihardjo (মিশিগান স্টেট বিশ্ববিদ্যালয়)শ্রেণীবিভাগ : math.PR (সম্ভাবনা তত্ত্ব)প্রকাশনার সময় : ২০২৫ সালের ২ জানুয়ারি (arXiv v2)পেপার লিংক : https://arxiv.org/abs/2412.21193 এই পেপারটি স্বাধীন প্রবিষ্টি সহ র্যান্ডম টেনসরের প্রত্যাশিত ইনজেক্টিভ নর্মের জন্য অ-অ্যাসিম্পটোটিক সীমানা প্রাপ্ত করেছে। এই সীমানা Bandeira এবং van Handel (2016) দ্বারা স্বাধীন প্রবিষ্টি সহ র্যান্ডম ম্যাট্রিক্সের প্রত্যাশিত বর্ণালী নর্মের সীমানার অনুরূপ।
মূল সমস্যা : উচ্চ-ক্রম র্যান্ডম টেনসরের ইনজেক্টিভ নর্মের জন্য অ-অ্যাসিম্পটোটিক সম্ভাব্যতা সীমানা স্থাপন করা, যা র্যান্ডম ম্যাট্রিক্সের বর্ণালী নর্মের সীমানার প্রাকৃতিক সম্প্রসারণগুরুত্ব : ইনজেক্টিভ নর্ম টেনসর বিশ্লেষণে একটি মৌলিক ধারণা, যখন টেনসর ক্রম r=2 হয় তখন এটি ম্যাট্রিক্সের বর্ণালী নর্মে হ্রাস পায়, উচ্চ-মাত্রিক র্যান্ডম কাঠামো বোঝার জন্য গুরুত্বপূর্ণবিদ্যমান সীমাবদ্ধতা :
Bandeira-van Handel (2016) এর ক্লাসিক ফলাফল শুধুমাত্র ম্যাট্রিক্স (r=2) ক্ষেত্রে প্রযোজ্য বিদ্যমান টেনসর সীমানা হয় ধ্রুবক ফ্যাক্টর যথেষ্ট নির্ভুল নয়, অথবা অপ্রয়োজনীয় লগারিদমিক ফ্যাক্টর অন্তর্ভুক্ত করে ম্যাট্রিক্স ক্ষেত্রের প্রমাণ কৌশল (মোমেন্ট পদ্ধতি, বর্ণালী বিয়োজন) টেনসর ক্ষেত্রে সরাসরি সম্প্রসারণ করা কঠিন লেখক ম্যাট্রিক্স ক্ষেত্রের নির্ভুল সীমানা সাধারণ টেনসরে সম্প্রসারিত করার লক্ষ্য রাখেন, যদিও ধ্রুবক ফ্যাক্টর এবং লগারিদমিক পদে কিছু আপস করা হয়েছে, তবে প্রধান পদের সর্বোত্তম কাঠামো বজায় রাখা হয়েছে।
প্রধান উপপাদ্য : r-ক্রম র্যান্ডম টেনসরের ইনজেক্টিভ নর্মের জন্য অ-অ্যাসিম্পটোটিক উপরের সীমানা স্থাপন করা, যা প্রধান পদ এবং লগারিদমিক সংশোধন পদের আকারেপ্রযুক্তিগত উদ্ভাবন : জ্যামিতিক কার্যকরী বিশ্লেষণের উপর ভিত্তি করে প্রমাণ কাঠামো বিকাশ করা, টেনসর ক্ষেত্রে কঠিন বর্ণালী বিয়োজন এড়িয়ে যাওয়াসম্প্রসারিত ফলাফল : সীমাবদ্ধ স্বাধীন র্যান্ডম ভেরিয়েবল এবং বার্নুলি র্যান্ডম ভেরিয়েবল ক্ষেত্রে সীমানা সম্প্রসারিত করাঘনত্ব অসমতা : সংশ্লিষ্ট সম্ভাব্যতা ঘনত্ব সীমানা প্রদান করাr-ক্রম টেনসর স্থান ( R d ) ⊗ r (R^d)^{\otimes r} ( R d ) ⊗ r এ র্যান্ডম টেনসর বিবেচনা করুন:
Z = ∑ i 1 , … , i r ∈ [ d ] b i 1 , … , i r g i 1 , … , i r e i 1 ⊗ ⋯ ⊗ e i r Z = \sum_{i_1,\ldots,i_r \in [d]} b_{i_1,\ldots,i_r} g_{i_1,\ldots,i_r} e_{i_1} \otimes \cdots \otimes e_{i_r} Z = ∑ i 1 , … , i r ∈ [ d ] b i 1 , … , i r g i 1 , … , i r e i 1 ⊗ ⋯ ⊗ e i r
যেখানে g i 1 , … , i r g_{i_1,\ldots,i_r} g i 1 , … , i r স্বাধীন মানক গাউসিয়ান র্যান্ডম ভেরিয়েবল, এবং b i 1 , … , i r ∈ R b_{i_1,\ldots,i_r} \in \mathbb{R} b i 1 , … , i r ∈ R নির্দিষ্ট সহগ।
ইনজেক্টিভ নর্ম সংজ্ঞায়িত করা হয়:
∥ Z ∥ i n j : = sup x 1 , … , x r ∈ B 2 d ⟨ Z , x 1 ⊗ ⋯ ⊗ x r ⟩ \|Z\|_{inj} := \sup_{x_1,\ldots,x_r \in B_2^d} \langle Z, x_1 \otimes \cdots \otimes x_r \rangle ∥ Z ∥ inj := sup x 1 , … , x r ∈ B 2 d ⟨ Z , x 1 ⊗ ⋯ ⊗ x r ⟩
লেখক তিনটি মূল প্রযুক্তিগত বস্তু নির্মাণ করেছেন:
বহুরৈখিক ম্যাপিং τ :
τ ( x 1 , … , x r ) : = ( b i 1 , … , i r ⟨ x 1 , e i 1 ⟩ ⋯ ⟨ x r , e i r ⟩ ) i 1 , … , i r ∈ [ d ] \tau(x_1,\ldots,x_r) := (b_{i_1,\ldots,i_r}\langle x_1, e_{i_1}\rangle \cdots \langle x_r, e_{i_r}\rangle)_{i_1,\ldots,i_r \in [d]} τ ( x 1 , … , x r ) := ( b i 1 , … , i r ⟨ x 1 , e i 1 ⟩ ⋯ ⟨ x r , e i r ⟩ ) i 1 , … , i r ∈ [ d ]
কর্ণ ম্যাট্রিক্স D ( k ) D^{(k)} D ( k ) :
( D x 1 , … , x k − 1 , x k + 1 , … , x r ( k ) ) i k , i k : = ( ∑ i 1 , … , i k − 1 , i k + 1 , … , i r b i 1 , … , i r 2 ∏ j ≠ k ⟨ x j , e i j ⟩ 2 ) 1 / 2 (D^{(k)}_{x_1,\ldots,x_{k-1},x_{k+1},\ldots,x_r})_{i_k,i_k} := \left(\sum_{i_1,\ldots,i_{k-1},i_{k+1},\ldots,i_r} b_{i_1,\ldots,i_r}^2 \prod_{j \neq k} \langle x_j, e_{i_j}\rangle^2\right)^{1/2} ( D x 1 , … , x k − 1 , x k + 1 , … , x r ( k ) ) i k , i k := ( ∑ i 1 , … , i k − 1 , i k + 1 , … , i r b i 1 , … , i r 2 ∏ j = k ⟨ x j , e i j ⟩ 2 ) 1/2
মেট্রিক η ( k ) \eta^{(k)} η ( k ) :
η ( k ) ( x , y ) : = ∥ ψ k ( x ) − ψ k ( y ) ∥ ∞ \eta^{(k)}(x,y) := \|\psi_k(x) - \psi_k(y)\|_\infty η ( k ) ( x , y ) := ∥ ψ k ( x ) − ψ k ( y ) ∥ ∞
লেম্মা 2.1 : τ এবং মেট্রিক η এর মধ্যে সম্পর্ক স্থাপন করালেম্মা 2.2 : কর্ণ ম্যাট্রিক্স D এবং মেট্রিক η এর মধ্যে সম্পর্ক স্থাপন করালেম্মা 2.6 : মেট্রিক η এর কভারিং সংখ্যা এবং Dudley ইন্টিগ্রাল নিয়ন্ত্রণ করালেখক দ্বিতীয় মেট্রিক পদ অনুমতি দেওয়ার Slepian-Fernique অসমতার একটি সংস্করণ বিকাশ করেছেন:
লেম্মা 3.4 : যদি গাউসিয়ান প্রক্রিয়া ( Z t ) (Z_t) ( Z t ) এবং ( W t ) (W_t) ( W t ) সন্তুষ্ট করে
E ( Z t − Z s ) 2 ≤ E ( W t − W s ) 2 + ρ ( t , s ) 2 E(Z_t - Z_s)^2 \leq E(W_t - W_s)^2 + \rho(t,s)^2 E ( Z t − Z s ) 2 ≤ E ( W t − W s ) 2 + ρ ( t , s ) 2
তাহলে
E sup t Z t ≤ E sup t W t + C ∫ 0 ∞ ln N ( T , ρ , ε ) d ε E\sup_t Z_t \leq E\sup_t W_t + C\int_0^\infty \sqrt{\ln N(T,\rho,\varepsilon)} d\varepsilon E sup t Z t ≤ E sup t W t + C ∫ 0 ∞ ln N ( T , ρ , ε ) d ε
বর্ণালী বিয়োজন এড়িয়ে যাওয়া : জ্যামিতিক কার্যকরী বিশ্লেষণ পদ্ধতির মাধ্যমে টেনসর ক্ষেত্রে কঠিন বর্ণালী বিয়োজন এড়িয়ে যাওয়ামেট্রিক বিয়োজন : প্রেরিত মেট্রিক নিয়ন্ত্রণযোগ্য গাউসিয়ান প্রক্রিয়া অংশ এবং জ্যামিতিক মেট্রিক অংশে বিয়োজন করাকভারিং সংখ্যা নিয়ন্ত্রণ : Maurey অভিজ্ঞতামূলক পদ্ধতির মাধ্যমে জটিল মেট্রিকের কভারিং সংখ্যা নিয়ন্ত্রণ করাউপরোক্ত র্যান্ডম টেনসর Z এর জন্য, আমাদের আছে
E ∥ Z ∥ i n j ≤ 2 r ∑ k ∈ [ r ] max i 1 , … , i k − 1 , i k + 1 , … , i r ( ∑ i k b i 1 , … , i r 2 ) 1 / 2 + C r 3 ( ln d ) 2 max ∣ b i 1 , … , i r ∣ E\|Z\|_{inj} \leq \sqrt{2r}\sum_{k \in [r]} \max_{i_1,\ldots,i_{k-1},i_{k+1},\ldots,i_r} \left(\sum_{i_k} b_{i_1,\ldots,i_r}^2\right)^{1/2} + Cr^3(\ln d)^2 \max |b_{i_1,\ldots,i_r}| E ∥ Z ∥ inj ≤ 2 r ∑ k ∈ [ r ] max i 1 , … , i k − 1 , i k + 1 , … , i r ( ∑ i k b i 1 , … , i r 2 ) 1/2 + C r 3 ( ln d ) 2 max ∣ b i 1 , … , i r ∣
( E ∥ Z ∥ i n j 2 ) 1 / 2 ≥ max k ∈ [ r ] max i 1 , … , i k − 1 , i k + 1 , … , i r ( ∑ i k b i 1 , … , i r 2 ) 1 / 2 (E\|Z\|_{inj}^2)^{1/2} \geq \max_{k \in [r]} \max_{i_1,\ldots,i_{k-1},i_{k+1},\ldots,i_r} \left(\sum_{i_k} b_{i_1,\ldots,i_r}^2\right)^{1/2} ( E ∥ Z ∥ inj 2 ) 1/2 ≥ max k ∈ [ r ] max i 1 , … , i k − 1 , i k + 1 , … , i r ( ∑ i k b i 1 , … , i r 2 ) 1/2
অনুসিদ্ধান্ত 1.4 : [ − K , K ] [-K,K] [ − K , K ] এ মূল্য নেওয়া স্বাধীন র্যান্ডম ভেরিয়েবলের জন্য, অনুরূপ সীমানা প্রযোজ্য, প্রধান পদ সহগ 4 r 4\sqrt{r} 4 r হয়ে ওঠে।
অনুসিদ্ধান্ত 1.5 : বার্নুলি র্যান্ডম ভেরিয়েবল ক্ষেত্রের জন্য, সাহিত্য 16 এ ( l n d ) r − 2 (ln d)^{r-2} ( l n d ) r − 2 ফ্যাক্টর সরানো হয়েছে।
ধাপ 1 : সমস্যাটি গাউসিয়ান প্রক্রিয়ার সর্বোচ্চতায় রূপান্তরিত করাধাপ 2 : তিনটি প্রযুক্তিগত বস্তু ব্যবহার করে প্রেরিত মেট্রিক বিয়োজন করাধাপ 3 : সাধারণীকৃত Slepian-Fernique অসমতা প্রয়োগ করাধাপ 4 : গাউসিয়ান পদ এবং জ্যামিতিক পদ আলাদাভাবে অনুমান করাগাউসিয়ান পদ ঘনত্ব অসমতা দ্বারা নিয়ন্ত্রিত জ্যামিতিক পদ কভারিং সংখ্যার Dudley ইন্টিগ্রাল দ্বারা নিয়ন্ত্রিত কভারিং সংখ্যা অনুমান Maurey অভিজ্ঞতামূলক পদ্ধতি ব্যবহার করে Bandeira-van Handel (2016) এর সাথে তুলনা :প্রধান পদ কাঠামো একই লগারিদমিক পদ ln d \sqrt{\ln d} ln d থেকে ( ln d ) 2 (\ln d)^2 ( ln d ) 2 এ পরিবর্তিত হয় ধ্রুবক ফ্যাক্টর কিছু ক্ষতি হয়েছে Latała (2005) এর সাথে তুলনা :ℓ 4 \ell^4 ℓ 4 নর্ম পদ এড়িয়ে যাওয়া হয়েছেআরও নির্ভুল প্রধান পদ প্রদান করা হয়েছে Zhou-Zhu (2021) এর সাথে তুলনা :( l n d ) r − 2 (ln d)^{r-2} ( l n d ) r − 2 ফ্যাক্টর সরানো হয়েছেনিয়ন্ত্রণযোগ্য লগারিদমিক পদ যোগ করা হয়েছে এই পেপারটি র্যান্ডম ম্যাট্রিক্সের বর্ণালী নর্মের নির্ভুল সীমানা টেনসর ক্ষেত্রে সফলভাবে সম্প্রসারিত করেছে, যদিও প্রযুক্তিগত বিবরণে কিছু আপস করা হয়েছে, তবে প্রধান পদের সর্বোত্তম কাঠামো বজায় রাখা হয়েছে।
লগারিদমিক পদ ln d \sqrt{\ln d} ln d থেকে ( ln d ) 2 (\ln d)^2 ( ln d ) 2 এ অবনতি হয়েছে ধ্রুবক ফ্যাক্টর যথেষ্ট নির্ভুল নয় প্রমাণ প্রযুক্তির জটিলতা অপেক্ষাকৃত বেশি লগারিদমিক পদের নির্ভরতা উন্নত করা ধ্রুবক ফ্যাক্টর অপ্টিমাইজ করা আরও সরাসরি টেনসর বর্ণালী বিয়োজন কৌশল বিকাশ করা তাত্ত্বিক তাৎপর্য : টেনসর র্যান্ডম বিশ্লেষণে গুরুত্বপূর্ণ শূন্যতা পূরণ করাপ্রযুক্তিগত উদ্ভাবন : টেনসর ক্ষেত্রে প্রযোজ্য নতুন প্রমাণ কাঠামো বিকাশ করাফলাফল নির্ভুলতা : প্রধান পদ সর্বোত্তম অর্জন করা, নিম্ন সীমানা মিলিত হওয়াব্যাপক প্রয়োগযোগ্যতা : একাধিক র্যান্ডম ভেরিয়েবল ধরনে সম্প্রসারিত করাপ্রযুক্তিগত জটিলতা : প্রমাণ প্রক্রিয়া অপেক্ষাকৃত জটিলধ্রুবক ক্ষতি : ম্যাট্রিক্স ক্ষেত্রের তুলনায় ধ্রুবক এবং লগারিদমিক পদ ক্ষতিব্যবহারিক প্রয়োগ : উচ্চ-মাত্রিক ক্ষেত্রে সীমানা যথেষ্ট শক্ত নাও হতে পারেএই পেপারটি টেনসর র্যান্ডম বিশ্লেষণের জন্য মৌলিক সরঞ্জাম প্রদান করে, মেশিন লার্নিং, পরিসংখ্যানগত পদার্থবিজ্ঞান এবং অন্যান্য ক্ষেত্রে টেনসর পদ্ধতির জন্য গুরুত্বপূর্ণ তাত্ত্বিক সমর্থন রয়েছে।
উচ্চ-মাত্রিক টেনসর ডেটা বিশ্লেষণ র্যান্ডম টেনসর নেটওয়ার্ক গবেষণা কোয়ান্টাম এনট্যাঙ্গেলমেন্ট জ্যামিতি বিশ্লেষণ মেশিন লার্নিংয়ে টেনসর বিয়োজন Bandeira, A. S. and van Handel, R. (2016). স্বাধীন প্রবিষ্টি সহ র্যান্ডম ম্যাট্রিক্সের নর্মের তীক্ষ্ণ অ-অ্যাসিম্পটোটিক সীমানা। Latała, R. (2005). র্যান্ডম ম্যাট্রিক্সের নর্মের কিছু অনুমান। Zhou, Z. and Zhu, Y. (2021). বিরল র্যান্ডম টেনসর: ঘনত্ব, নিয়মিতকরণ এবং প্রয়োগ।