2025-11-14T10:22:11.075309

A Formalization of the Generalized Quantum Stein's Lemma in Lean

Meiburg, Lessa, Soldati
The Generalized Quantum Stein's Lemma is a theorem in quantum hypothesis testing that provides an operational meaning to the relative entropy within the context of quantum resource theories. Its original proof was found to have a gap, which led to a search for a corrected proof. We formalize the proof presented in [Hayashi and Yamasaki (2024)] in the Lean interactive theorem prover. This is the most technically demanding theorem in physics with a computer-verified proof to date, building with a variety of intermediate results from topology, analysis, and operator algebra. In the process, we rectified minor imprecisions in [HY24]'s proof that formalization forces us to confront, and refine a more precise definition of quantum resource theory. Formalizing this theorem has ensured that our Lean-QuantumInfo library, which otherwise has begun to encompass a variety of topics from quantum information, includes a robust foundation suitable for a larger collaborative program of formalizing quantum theory more broadly.
academic

Lean-এ সাধারণীকৃত কোয়ান্টাম স্টাইন লেমার একটি আনুপচারিকীকরণ

মৌলিক তথ্য

  • পেপার আইডি: 2510.08672
  • শিরোনাম: Lean-এ সাধারণীকৃত কোয়ান্টাম স্টাইন লেমার একটি আনুপচারিকীকরণ
  • লেখক: Alex Meiburg, Leonardo A. Lessa, Rodolfo R. Soldati
  • প্রতিষ্ঠান: পেরিমিটার ইনস্টিটিউট ফর থিওরেটিক্যাল ফিজিক্স, ওয়াটারলু বিশ্ববিদ্যালয়
  • শ্রেণীবিভাগ: quant-ph cs.LO
  • প্রকাশনার সময়: ২০২৫ সালের ৯ অক্টোবর
  • পেপার লিঙ্ক: https://arxiv.org/abs/2510.08672

সারসংক্ষেপ

সাধারণীকৃত কোয়ান্টাম স্টাইন লেমা কোয়ান্টাম অনুমান পরীক্ষায় একটি গুরুত্বপূর্ণ উপপাদ্য, যা কোয়ান্টাম সম্পদ তত্ত্বের কাঠামোর মধ্যে আপেক্ষিক এন্ট্রপির জন্য অপারেশনাল অর্থ প্রদান করে। এই উপপাদ্যের মূল প্রমাণে ত্রুটি আবিষ্কৃত হয়েছিল, যা পণ্ডিতদের সংশোধিত প্রমাণ খুঁজতে উৎসাহিত করেছিল। এই পত্রটি Lean ইন্টারেক্টিভ উপপাদ্য প্রমাণকারীতে Hayashi এবং Yamasaki (2024) দ্বারা প্রস্তাবিত প্রমাণটি আনুপচারিকীকরণ করে। এটি পর্যন্ত পদার্থবিজ্ঞানে সবচেয়ে প্রযুক্তিগতভাবে চ্যালেঞ্জিং কম্পিউটার-যাচাইকৃত উপপাদ্য, যা টপোলজি, বিশ্লেষণ এবং অপারেটর বীজগণিত সহ একাধিক ক্ষেত্রের মধ্যবর্তী ফলাফলের উপর নির্মিত। আনুপচারিকীকরণ প্রক্রিয়ায়, লেখকরা মূল প্রমাণের কিছু অনির্ভুলতা সংশোধন করেছেন এবং কোয়ান্টাম সম্পদ তত্ত্বের আরও নির্ভুল সংজ্ঞা উন্নত করেছেন।

গবেষণা পটভূমি এবং প্রেরণা

সমস্যার পটভূমি

  1. কোয়ান্টাম অনুমান পরীক্ষার সমস্যা: পরীক্ষামূলক গবেষকরা কীভাবে পরীক্ষাগারে পাওয়া যায় এমন কোয়ান্টাম অবস্থা যাচাই করতে পারেন? এটি পরিসংখ্যানে অনুমান পরীক্ষার কোয়ান্টাম তথ্য তত্ত্বে প্রয়োগ, যা শূন্য অনুমান (অবস্থা ρ অনুমান) এবং বিকল্প অনুমান (অবস্থা σ অনুমান) এর বৈপরীত্য জড়িত।
  2. ক্লাসিক্যাল কোয়ান্টাম স্টাইন লেমার সীমাবদ্ধতা: মূল কোয়ান্টাম স্টাইন লেমা দুটি স্বাধীন এবং সমানভাবে বিতরণকৃত (i.i.d.) অবস্থার অনুলিপির প্রয়োজন এবং একটি ত্রুটি শ্রেণীর সম্ভাবনা স্থির করার সময় অন্যটির অ্যাসিম্পটোটিক হার নির্ধারণ করে।
  3. সাধারণীকরণের প্রয়োজনীয়তা: ২০১০ সালের একটি গুরুত্বপূর্ণ কাজ i.i.d. শর্তকে কোয়ান্টাম সম্পদ তত্ত্বে মুক্ত অবস্থার সেটে সাধারণীকরণ করার চেষ্টা করেছিল, যেমন জড়িত সম্পদ তত্ত্বে বিচ্ছেদ্য অবস্থার সেট।

গবেষণা প্রেরণা

  1. প্রমাণ ত্রুটির আবিষ্কার: ২০২৩ সালে মূল প্রমাণে ত্রুটি আবিষ্কৃত হয়েছিল, যা পণ্ডিতদের সঠিক প্রমাণ পদ্ধতি খুঁজতে উৎসাহিত করেছিল।
  2. আনুপচারিক যাচাইকরণের মূল্য: কোয়ান্টাম তথ্য তত্ত্ব প্রমাণের বৈশিষ্ট্যের উপর ভিত্তি করে এটি পদার্থবিজ্ঞানের অন্যান্য উপক্ষেত্রের তুলনায় আনুপচারিকীকরণ থেকে উপকৃত হওয়ার জন্য বিশেষভাবে উপযুক্ত।
  3. নির্ভরযোগ্য ভিত্তি নির্মাণ: এই চ্যালেঞ্জিং উপপাদ্যটি আনুপচারিকীকরণের মাধ্যমে, বৃহত্তর কোয়ান্টাম তত্ত্ব আনুপচারিকীকরণ সহযোগিতা প্রকল্পের জন্য একটি দৃঢ় ভিত্তি স্থাপন করা।

মূল অবদান

  1. সাধারণীকৃত কোয়ান্টাম স্টাইন লেমার প্রথম আনুপচারিকীকরণ: Lean উপপাদ্য প্রমাণকারীতে পর্যন্ত পদার্থবিজ্ঞানে প্রযুক্তিগতভাবে সর্বোচ্চ প্রয়োজনীয় কম্পিউটার-যাচাইকৃত উপপাদ্য সম্পন্ন করা।
  2. Lean-QuantumInfo লাইব্রেরি নির্মাণ: ১০০০+ উপপাদ্য, ২৫০টি সংজ্ঞা এবং ১৫০০০ লাইন কোড সহ কোয়ান্টাম তথ্য আনুপচারিকীকরণ লাইব্রেরি বিকাশ করা।
  3. প্রমাণে অনির্ভুলতা আবিষ্কার এবং সংশোধন: আনুপচারিকীকরণ প্রক্রিয়া অসীমতা ইত্যাদি প্রযুক্তিগত বিবরণ পরিচালনায় মূল প্রমাণের সমস্যা প্রকাশ করেছে।
  4. কোয়ান্টাম সম্পদ তত্ত্ব সংজ্ঞা উন্নতি: আনুপচারিক কাঠামোর জন্য উপযুক্ত আরও নির্ভুল কোয়ান্টাম সম্পদ তত্ত্ব গাণিতিক সংজ্ঞা প্রদান করা।
  5. mathlib-এ মৌলিক গাণিতিক ফলাফলে অবদান: একাধিক pull request এর মাধ্যমে mathlib লাইব্রেরিতে সম্পর্কিত গাণিতিক মৌলিক ফলাফলে অবদান রাখা।

পদ্ধতির বিস্তারিত ব্যাখ্যা

কাজের সংজ্ঞা

এই পত্রের মূল কাজ হল Lean-এ সাধারণীকৃত কোয়ান্টাম স্টাইন লেমা আনুপচারিকীকরণ করা, যা কোয়ান্টাম সম্পদ তত্ত্ব কাঠামোর অধীনে অনুমান পরীক্ষার সমস্যা বর্ণনা করে:

ইনপুট:

  • শূন্য অনুমান অবস্থা ρ⊗n
  • বিকল্প অনুমান অবস্থা সেট Sn (নির্দিষ্ট শর্ত সন্তুষ্টকারী কোয়ান্টাম সম্পদ তত্ত্বে মুক্ত অবস্থা)
  • গ্রহণযোগ্য প্রথম ধরনের ত্রুটির সম্ভাবনা ε ∈ (0,1)

আউটপুট:

  • দ্বিতীয় ধরনের ত্রুটির সম্ভাবনার সূচকীয় ক্ষয় হার সাধারণীকৃত আপেক্ষিক এন্ট্রপির সমান

মূল উপপাদ্য প্রকাশ

সাধারণীকৃত কোয়ান্টাম স্টাইন লেমা (উপপাদ্য 1): যেকোনো ε ∈ (0,1) এবং শর্ত 1, 2, 3 সন্তুষ্টকারী অবস্থা সেট ক্রম {Sn}n এর জন্য:

lim(n→∞) [-1/n log βε(ρ⊗n∥Sn)] = lim(n→∞) [1/n min(σ∈Sn) D(ρ⊗n∥σ)]

যেখানে:

  • βε(ρ∥S) = min(T∈Tε,ρ) max(σ∈S) TrTσ হল ন্যূনতম দ্বিতীয় ধরনের ত্রুটির সম্ভাবনা
  • D(ρ∥σ) হল কোয়ান্টাম আপেক্ষিক এন্ট্রপি
  • Sn সংক্ষিপ্ততা, উত্তলতা, টেনসর পণ্য বন্ধতা এবং পূর্ণ র‍্যাঙ্ক অবস্থা অন্তর্ভুক্তির শর্ত সন্তুষ্ট করে

Lean-এ আনুপচারিক প্রকাশ

theorem limit_hypotesting_eq_limit_rel_entropy (ρ : MState (H i)) (ε : Prob)
(hε : 0 < ε ∧ ε < 1) :
∃ rate : R≥0,
Filter.atTop.Tendsto (fun n ↦ —log β_ ε(ρ⊗^S[n]∥IsFree) / n) (N rate)
∧
Filter.atTop.Tendsto (fun n ↦ (⊓ σ ∈ IsFree, D(ρ⊗^S[n]∥σ)) / n) (N rate)

প্রযুক্তিগত স্থাপত্য ডিজাইন

1. কোয়ান্টাম তত্ত্বের ভিত্তি

  • মিশ্র অবস্থার সংজ্ঞা: হার্মিটিয়ান ম্যাট্রিক্স ব্যবহার করে প্রতিনিধিত্ব, ধনাত্মক আধা-নির্ধারিত এবং একক ট্রেস সীমাবদ্ধতা অন্তর্ভুক্ত
structure MState (d : Type*) [Fintype d] [DecidableEq d] where
M : HermitianMat d C
zero_le : 0 ≤ M
tr : M.trace = 1
  • প্রকার নিরাপত্তা ডিজাইন: Bra, Ket, হার্মিটিয়ান ম্যাট্রিক্স ইত্যাদি বিভিন্ন প্রকার আলাদা করে, অনুপযুক্ত অপারেশন প্রতিরোধ করে

2. কোয়ান্টাম সম্পদ তত্ত্ব আনুপচারিকীকরণ

  • মুক্ত অবস্থা তত্ত্ব: FreeStateTheory কাঠামো সংজ্ঞায়িত করে, প্রতিটি হিলবার্ট স্পেসের জন্য মুক্ত অবস্থার সেট অন্তর্ভুক্ত করে
  • মনোইডাল বিভাগ কাঠামো: সম্পদ তত্ত্বকে প্রতিসম মনোইডাল বিভাগ হিসাবে মডেল করে, টেনসর পণ্য অপারেশন এবং সহযোগিতা আইন অন্তর্ভুক্ত করে

3. সংখ্যাগত সম্মেলন পরিচালনা

  • সম্প্রসারিত অ-নেতিবাচক বাস্তব: সম্ভাব্য অসীম মান পরিচালনা করতে ENNReal প্রকার ব্যবহার করে, আপেক্ষিক এন্ট্রপি সংজ্ঞার সম্পূর্ণতা নিশ্চিত করে
  • আবর্জনা মূল্য সম্মেলন: mathlib এর সম্মেলন অনুসরণ করে, অসংজ্ঞায়িত অপারেশনে ডিফল্ট মান প্রদান করে

পরীক্ষামূলক সেটআপ

আনুপচারিক যাচাইকরণ পরিবেশ

  • উপপাদ্য প্রমাণকারী: Lean 4
  • গাণিতিক লাইব্রেরি: mathlib (রৈখিক বীজগণিত, বিশ্লেষণ, টপোলজি অন্তর্ভুক্ত)
  • কোড স্কেল: Lean-QuantumInfo লাইব্রেরি 1000+ উপপাদ্য, 250টি সংজ্ঞা, 15000 লাইন কোড অন্তর্ভুক্ত করে

যাচাইকরণ পরিসীমা

  • প্রধান লক্ষ্য: Hayashi-Yamasaki পত্রের প্রথম অর্ধের সমস্ত বিবৃতি আনুপচারিকীকরণ করা
  • নির্ভরশীল উপপাদ্য: ডেটা প্রক্রিয়াকরণ অসমতা, আপেক্ষিক এন্ট্রপির যোজনীয়তা এবং নিম্ন আধা-ধারাবাহিকতা ইত্যাদি মান ফলাফল
  • বর্তমান অবস্থা: প্রধান উপপাদ্য এবং লেমা এক-থেকে-এক আনুপচারিক সংযোগ সম্পন্ন করেছে

প্রযুক্তিগত চ্যালেঞ্জ পরিচালনা

  1. অসীমতা পরিচালনা: আপেক্ষিক এন্ট্রপিতে সম্প্রসারিত বাস্তব পাটিগণিত সঠিকভাবে পরিচালনা করা
  2. টপোলজি বিবরণ: সংক্ষিপ্ত সেটে নিম্ন আধা-ধারাবাহিক ফাংশনের ন্যূনতমকরণ সমস্যা পরিচালনা করা
  3. প্রকার তত্ত্ব প্রয়োজনীয়তা: বিভিন্ন কিন্তু সমান হিলবার্ট স্পেসের অধীনে আপেক্ষিক এন্ট্রপির সমতুল্যতা প্রমাণ করা

পরীক্ষামূলক ফলাফল

আনুপচারিক সম্পূর্ণতা

  1. প্রধান উপপাদ্য: সাধারণীকৃত কোয়ান্টাম স্টাইন লেমার সম্পূর্ণ আনুপচারিক বিবৃতি
  2. সহায়ক ফলাফল: প্রায় সমস্ত সম্পর্কিত সংজ্ঞা, লেমা এবং উপপাদ্যের এক-থেকে-এক সংযোগ
  3. প্রান্ত-থেকে-প্রান্ত প্রমাণ: বেশিরভাগ উপপাদ্যের সম্পূর্ণ প্রমাণ রয়েছে, অবশিষ্ট অংশ কয়েকটি মান তথ্যের উপর নির্ভর করে

আবিষ্কৃত প্রমাণ সমস্যা

  1. অসীমতা বিয়োগ সমস্যা: মূল প্রমাণে সমীকরণ (S59) সম্প্রসারিত বাস্তব বিয়োগের অনুপযুক্ত অপারেশন আবিষ্কার করা
  2. প্রাথমিক ক্রম অস্তিত্ব: লেমা 7 এর প্রয়োগ প্রথমে সীমিত R2 এর ক্রম অস্তিত্ব প্রমাণ করতে প্রয়োজন
  3. অনুমান শর্ত স্পষ্টীকরণ: নির্দিষ্ট পদক্ষেপের অনুমান শর্ত মূল পাঠে দাবি করা হয়েছে তার চেয়ে শক্তিশালী বা দুর্বল

mathlib-এ অবদান

9টি pull request এর মাধ্যমে mathlib-এ মৌলিক গাণিতিক ফলাফলে অবদান রাখা, যার মধ্যে রয়েছে:

  • ম্যাট্রিক্স ধনাত্মক নির্ধারিততা সম্পর্কিত উপপাদ্য
  • ধারাবাহিক ফাংশন ক্যালকুলাসের উন্নতি
  • উত্তল সেট তত্ত্বের সম্প্রসারণ
  • সমতুল্য সম্পর্কের নতুন বৈশিষ্ট্য

সম্পর্কিত কাজ

ইন্টারেক্টিভ উপপাদ্য প্রমাণ

  • অন্যান্য প্রমাণকারী: Rocq (Coq), Isabelle/HOL, Agda ইত্যাদি বিভিন্ন যুক্তি ভিত্তি সহ
  • Lean নির্বাচনের কারণ: mathlib এর ব্যাপক কভারেজ এবং স্বয়ংক্রিয় কৌশল সরঞ্জাম বাক্স

পদার্থবিজ্ঞান আনুপচারিকীকরণ

  • বিদ্যমান কাজ: mathlib-এ CHSH খেলার প্রমাণ, PhysLean লাইব্রেরি, Shor অ্যালগরিদমের যাচাইকরণ বাস্তবায়ন
  • এই কাজের বৈশিষ্ট্য: সর্বশেষ গবেষণা ফলাফলের উপর ফোকাস করে পাঠ্যপুস্তক উপপাদ্যের পরিবর্তে

কোয়ান্টাম তথ্য তত্ত্ব ভিত্তি

  • বিভিন্ন স্বতঃসিদ্ধকরণ: হিলবার্ট স্পেস, C* বীজগণিত, von Neumann বীজগণিত, সাধারণীকৃত সম্ভাব্যতা তত্ত্ব ইত্যাদি
  • ম্যাট্রিক্স প্রতিনিধিত্ব নির্বাচন: সীমিত মাত্রা কেস এবং মান ভিত্তি সম্পর্কিত সংজ্ঞা পরিচালনা সুবিধাজনক

উপসংহার এবং আলোচনা

প্রধান উপসংহার

  1. প্রযুক্তিগত সম্ভাব্যতা: Lean-এ উচ্চ প্রযুক্তিগত কোয়ান্টাম তথ্য সংজ্ঞা আনুপচারিকীকরণের সম্ভাব্যতা প্রমাণ করা
  2. গুণমান উন্নতি: আনুপচারিকীকরণ প্রক্রিয়া মূল প্রমাণে প্রযুক্তিগত ত্রুটি আবিষ্কার এবং সংশোধন করেছে
  3. ভিত্তি নির্মাণ: বৃহত্তর কোয়ান্টাম তত্ত্ব আনুপচারিকীকরণ প্রকল্পের জন্য একটি ভিত্তি স্থাপন করেছে

সীমাবদ্ধতা

  1. সীমিত মাত্রা সীমাবদ্ধতা: বর্তমান বাস্তবায়ন শুধুমাত্র সীমিত মাত্রার হিলবার্ট স্পেস সমর্থন করে
  2. মনোইডাল বিভাগ প্রয়োজনীয়তা: প্রমাণ সরলীকরণের জন্য, মনোইডাল সম্পদ তত্ত্ব কাঠামোতে সীমাবদ্ধ
  3. মান ফলাফলের উপর নির্ভরতা: এখনও কয়েকটি অপ্রমাণিত কোয়ান্টাম তথ্য মান উপপাদ্যের উপর নির্ভর করে

ভবিষ্যত দিকনির্দেশনা

  1. প্রান্ত-থেকে-প্রান্ত প্রমাণ সম্পূর্ণ করা: অবশিষ্ট মান কোয়ান্টাম তথ্য ফলাফল প্রমাণ করা
  2. অসীম মাত্রায় সম্প্রসারণ: অসীম মাত্রার হিলবার্ট স্পেসের টপোলজি বিবরণ পরিচালনা করা
  3. অ-মনোইডাল তত্ত্ব: আরও সাধারণ কোয়ান্টাম সম্পদ তত্ত্বে সম্প্রসারণ করা
  4. প্রয়োগ উপপাদ্য: GQSL এর ফলাফল আনুপচারিকীকরণ করা, যেমন কোয়ান্টাম সম্পদ তত্ত্ব দ্বিতীয় আইন

গভীর মূল্যায়ন

সুবিধা

  1. অগ্রগামী কাজ: পদার্থবিজ্ঞানে এত প্রযুক্তিগতভাবে জটিল আধুনিক উপপাদ্য আনুপচারিকীকরণের প্রথম উদাহরণ
  2. কঠোরতা: আনুপচারিকীকরণের মাধ্যমে মূল প্রমাণের প্রযুক্তিগত সমস্যা আবিষ্কার এবং সংশোধন করেছে
  3. সিস্টেমেটিকতা: সম্পূর্ণ কোয়ান্টাম তথ্য তত্ত্ব আনুপচারিক ভিত্তি নির্মাণ করেছে
  4. ব্যবহারিক মূল্য: কোয়ান্টাম তথ্য সম্প্রদায়কে যাচাইযোগ্য তাত্ত্বিক ভিত্তি প্রদান করেছে

প্রযুক্তিগত উদ্ভাবন

  1. প্রকার নিরাপত্তা ডিজাইন: Lean এর প্রকার সিস্টেম চতুরভাবে ব্যবহার করে পদার্থবিজ্ঞানগতভাবে অযুক্তিসঙ্গত অপারেশন প্রতিরোধ করেছে
  2. সম্প্রসারিত বাস্তব পরিচালনা: কোয়ান্টাম আপেক্ষিক এন্ট্রপিতে অসীম মান সমস্যা সঠিকভাবে পরিচালনা করেছে
  3. কাস্টম কৌশল: বিশেষায়িত ম্যাট্রিক্স সম্প্রসারণ কৌশল বিকশিত করেছে কোয়ান্টাম সার্কিট যাচাইকরণ সরলীকরণ করতে

অপূর্ণতা

  1. সম্পূর্ণতা: এখনও কয়েকটি মূল উপপাদ্য axiom বা sorry এর উপর নির্ভর করে
  2. স্কেলেবিলিটি: সীমিত মাত্রা সীমাবদ্ধতা নির্দিষ্ট প্রয়োগকে প্রভাবিত করতে পারে
  3. শেখার বক্ররেখা: কোয়ান্টাম তথ্য তত্ত্ব এবং Lean প্রোগ্রামিং উভয়ই একযোগে আয়ত্ত করার প্রয়োজন

প্রভাব মূল্যায়ন

  1. একাডেমিক মূল্য: পদার্থবিজ্ঞান আনুপচারিকীকরণের জন্য নতুন দিকনির্দেশনা খুলেছে
  2. ব্যবহারিক তাৎপর্য: কোয়ান্টাম অ্যালগরিদম এবং প্রোটোকল যাচাইকরণের জন্য বিশ্বাসযোগ্য সরঞ্জাম প্রদান করেছে
  3. সম্প্রদায় নির্মাণ: গাণিতিক আনুপচারিকীকরণ এবং কোয়ান্টাম তথ্য সম্প্রদায়ের মধ্যে যোগাযোগ প্রচার করেছে

প্রযোজ্য পরিস্থিতি

  1. কোয়ান্টাম অ্যালগরিদম যাচাইকরণ: কোয়ান্টাম কম্পিউটিং প্রোটোকলের জন্য কঠোর যাচাইকরণ প্রদান করা
  2. তাত্ত্বিক গবেষণা: কোয়ান্টাম তথ্য তত্ত্বের কঠোর যুক্তি সমর্থন করা
  3. শিক্ষা প্রয়োগ: ইন্টারেক্টিভ কোয়ান্টাম তত্ত্ব শেখার পরিবেশ প্রদান করা
  4. মান নির্ধারণ: কোয়ান্টাম প্রযুক্তি মান জন্য গাণিতিক ভিত্তি প্রদান করা

সংদর্ভ

এই পত্রটি প্রধানত নিম্নলিখিত মূল সাহিত্যের উপর ভিত্তি করে:

  • Hayashi & Yamasaki (2024): আনুপচারিকীকৃত GQSL প্রমাণ প্রদান করেছে
  • Brandão & Plenio (2010): মূল GQSL প্রমাণ (পরে ত্রুটি আবিষ্কৃত)
  • Berta et al. (2023): মূল প্রমাণে ত্রুটি আবিষ্কার করেছে
  • Lami (2025): GQSL এর অন্য একটি সংশোধিত প্রমাণ

এই কাজ আনুপচারিক গণিত এবং কোয়ান্টাম তথ্য তত্ত্বের ক্রস-ডিসিপ্লিনারি ক্ষেত্রে গুরুত্বপূর্ণ অগ্রগতি প্রতিনিধিত্ব করে, শুধুমাত্র একটি গুরুত্বপূর্ণ তাত্ত্বিক ফলাফল যাচাই করেনি বরং ভবিষ্যত আন্তঃবিষয়ক সহযোগিতার জন্য একটি উদাহরণ স্থাপন করেছে। কঠোর আনুপচারিকীকরণ প্রক্রিয়ার মাধ্যমে, লেখকরা শুধুমাত্র উপপাদ্যের সঠিকতা নিশ্চিত করেননি বরং সম্পূর্ণ কোয়ান্টাম তথ্য তত্ত্বের আনুপচারিকীকরণের জন্য একটি দৃঢ় ভিত্তি স্থাপন করেছেন।