বিচ্ছিন্ন অ্যাডিয়াবেটিক কোয়ান্টাম লিনিয়ার সিস্টেম সলভারের র‍্যান্ডমাইজড অ্যাডিয়াবেটিক সলভারের চেয়ে কম ধ্রুবক গুণাঙ্ক রয়েছে

মৌলিক তথ্য

• পেপার আইডি: 2312.07690
• শিরোনাম: বিচ্ছিন্ন অ্যাডিয়াবেটিক কোয়ান্টাম লিনিয়ার সিস্টেম সলভারের র‍্যান্ডমাইজড অ্যাডিয়াবেটিক সলভারের চেয়ে কম ধ্রুবক গুণাঙ্ক রয়েছে
• লেখক: পেড্রো সি. এস. কোস্তা, ডং আন, রায়ান বাবুশ, ডমিনিক ডব্লিউ. বেরি
• শ্রেণীবিভাগ: quant-ph (কোয়ান্টাম পদার্থবিজ্ঞান)
• প্রকাশনার সময়: ২০২৩ সালের ডিসেম্বর, সর্বশেষ সংস্করণ ২০২৫ সালের ১১ অক্টোবর
• পেপার লিঙ্ক: https://arxiv.org/abs/2312.07690

সারসংক্ষেপ

লিনিয়ার সমীকরণ সিস্টেম সমাধান অনেক কোয়ান্টাম অ্যালগরিদমের ভিত্তি, এবং সম্প্রতির গবেষণা শর্তাধীন সংখ্যা κ এবং অনুমোদিত ত্রুটি ε উভয় ক্ষেত্রেই সর্বোত্তম জটিলতা সহ অ্যালগরিদম প্রদান করেছে PRX Quantum 3, 040303 (2022)। এই কাজটি বিচ্ছিন্ন অ্যাডিয়াবেটিক উপপাদ্যের উপর ভিত্তি করে এবং জটিলতা উপরের সীমার স্পষ্ট ধ্রুবক গুণাঙ্ক প্রদান করে। এই পত্রটি র‍্যান্ডম ম্যাট্রিক্সের সংখ্যাগত পরীক্ষার মাধ্যমে দেখায় যে বাস্তবে ধ্রুবক গুণাঙ্ক পূর্ববর্তী ফলাফলে সংখ্যাগতভাবে প্রাপ্ত উপরের সীমার চেয়ে প্রায় ১২০০ গুণ ছোট। এর অর্থ এই পদ্ধতিটি উপরের সীমা থেকে নিষ্ঠুরভাবে প্রত্যাশিত তুলনায় অনেক বেশি দক্ষ। বিশেষত, এটি আরও দক্ষতার দাবি করা র‍্যান্ডমাইজড পদ্ধতির arXiv:2305.11352 চেয়ে প্রায় একটি মাত্রার দিক থেকে বেশি দক্ষ।

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

সমস্যার গুরুত্ব

কোয়ান্টাম লিনিয়ার সিস্টেম সমস্যা (QLSP) কোয়ান্টাম কম্পিউটিংয়ের মূল সমস্যাগুলির একটি, যা লিনিয়ার সমীকরণ সিস্টেম Ax = b এর সমাধানের সাথে সমানুপাতিক কোয়ান্টাম অবস্থা |x⟩ দক্ষতার সাথে উৎপন্ন করার লক্ষ্য রাখে। এই সমস্যার সমাধান অন্যান্য অনেক কোয়ান্টাম অ্যালগরিদমের ভিত্তি, যার মধ্যে কোয়ান্টাম মেশিন লার্নিং এবং কোয়ান্টাম অপ্টিমাইজেশন ক্ষেত্রের অ্যালগরিদম রয়েছে।

বিদ্যমান পদ্ধতির বিকাশের ইতিহাস

১. HHL অ্যালগরিদম: হ্যারো, হাসিডিম এবং লয়েড প্রথম কোয়ান্টাম লিনিয়ার সিস্টেম অ্যালগরিদম প্রস্তাব করেছিলেন, জটিলতা O(poly(n)κ²/ε) ২. অ্যাডিয়াবেটিক কোয়ান্টাম কম্পিউটিং পদ্ধতি: পরবর্তী গবেষণা অ্যাডিয়াবেটিক কোয়ান্টাম কম্পিউটিং (AQC) এর উপর ভিত্তি করে উন্নতি প্রদান করেছে, বিশেষত কোস্তা এবং অন্যরা 6 এ বিচ্ছিন্ন অ্যাডিয়াবেটিক উপপাদ্যের উপর ভিত্তি করে সর্বোত্তম জটিলতা O(κlog(1/ε)) অর্জন করেছেন ३. র‍্যান্ডমাইজড পদ্ধতি: অন্য একটি পদ্ধতি কোয়ান্টাম জেনো প্রভাব অনুকরণ করতে র‍্যান্ডমাইজড সময় বিবর্তন ব্যবহার করে

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

যদিও বিচ্ছিন্ন অ্যাডিয়াবেটিক পদ্ধতি তাত্ত্বিকভাবে সর্বোত্তম অ্যাসিম্পটোটিক জটিলতা অর্জন করে, তার কঠোর উপরের সীমা α = 2305 এর অত্যন্ত বড় ধ্রুবক গুণাঙ্ক প্রদান করে, যা এর বাস্তব দক্ষতা সম্পর্কে প্রশ্ন উত্থাপন করে। একই সাথে, র‍্যান্ডমাইজড পদ্ধতি আরও কঠোর উপরের সীমার কারণে বাস্তবে আরও দক্ষ হওয়ার দাবি করে। এই পত্রটি সংখ্যাগত পরীক্ষার মাধ্যমে এই পদ্ধতিগুলির বাস্তব কর্মক্ষমতা যাচাই করার লক্ষ্য রাখে।

মূল অবদান

१. বিচ্ছিন্ন অ্যাডিয়াবেটিক পদ্ধতির বাস্তব ধ্রুবক গুণাঙ্ক প্রকাশ করা: বিস্তৃত সংখ্যাগত পরীক্ষার মাধ্যমে বাস্তব ধ্রুবক গুণাঙ্ক α = 1.84 আবিষ্কার করা হয়েছে, যা তাত্ত্বিক উপরের সীমার চেয়ে প্রায় ১২০০ গুণ ছোট २. বিচ্ছিন্ন অ্যাডিয়াবেটিক পদ্ধতির বাস্তব শ্রেষ্ঠত্ব প্রমাণ করা: সংখ্যাগত পরীক্ষা দেখায় যে কোয়ান্টাম হাঁটা পদ্ধতি গড়ে র‍্যান্ডমাইজড পদ্ধতির চেয়ে প্রায় ৭ গুণ বেশি দক্ষ ३. ব্যাপক কর্মক্ষমতা তুলনা প্রদান করা: ধনাত্মক নির্দিষ্ট ম্যাট্রিক্স এবং সাধারণ অ-হার্মিটিয়ান ম্যাট্রিক্সের ক্ষেত্রে, বিভিন্ন মাত্রা এবং শর্তাধীন সংখ্যার পরীক্ষা সহ ४. সম্পূর্ণ অ্যালগরিদমের ওভারহেড বিবেচনা করা: ফিল্টারিং ধাপ সহ মোট জটিলতা বিশ্লেষণ করা, প্রমাণ করা যে সমস্ত ওভারহেড বিবেচনা করার পরেও বিচ্ছিন্ন অ্যাডিয়াবেটিক পদ্ধতি কমপক্ষে ৩ গুণ উন্নতি রয়েছে

পদ্ধতির বিস্তারিত বিবরণ

কাজের সংজ্ঞা

একটি বিপরীতযোগ্য ম্যাট্রিক্স A ∈ C^(N×N) দেওয়া হয়েছে, যেখানে ∥A∥ = 1, এবং একটি স্বাভাবিকীকৃত ভেক্টর |b⟩ ∈ C^N, লক্ষ্য হল একটি স্বাভাবিকীকৃত অবস্থা |x̃⟩ প্রস্তুত করা, যা |x⟩ = A^(-1)|b⟩/∥A^(-1)|b⟩∥ এর কাছাকাছি, নির্ভুলতা ∥|x̃⟩ - |x⟩∥ ≤ ε সহ।

বিচ্ছিন্ন কোয়ান্টাম হাঁটা পদ্ধতি (QW)

ধনাত্মক নির্দিষ্ট হার্মিটিয়ান ম্যাট্রিক্সের ক্ষেত্রে

ধনাত্মক নির্দিষ্ট হার্মিটিয়ান ম্যাট্রিক্স A এর জন্য, হ্যামিলটোনিয়ান তৈরি করা হয়:

• H₀ := (0 Qb; Qb 0)
• H₁ := (0 AQb; QbA 0)

যেখানে Qb = I_N - |b⟩⟨b| একটি প্রজেকশন অপারেটর।

সময়-নির্ভর হ্যামিলটোনিয়ান হল: H(s) = (1 - f(s))H₀ + f(s)H₁

সময়সূচী ফাংশন f(s) শক্তি ফাঁক শর্ত অনুযায়ী ডিজাইন করা হয়: f(s) = κ/(κ-1)1 - (1 + s(κ^(p-1) - 1))^(1/(1-p))

অ-হার্মিটিয়ান ম্যাট্রিক্সের ক্ষেত্রে

ম্যাট্রিক্সের মাত্রা দ্বিগুণ করে হার্মিটিয়ান ফর্মে রূপান্তর করা হয়: A := (0 A; A† 0)

সংশ্লিষ্ট হ্যামিলটোনিয়ান হল: H(s) = (0 A(f(s))Qb; QbA(f(s)) 0)

যেখানে A(f) := (1-f)σz⊗I_N + fA।

র‍্যান্ডমাইজড পদ্ধতি (RM)

র‍্যান্ডমাইজড পদ্ধতি নিম্নলিখিত অপারেশন বাস্তবায়ন করে: e^(-it_q H(v_q)) ⋯ e^(-it₂H(v₂))e^(-it₁H(v₁))

যেখানে:

• vⱼ = vₐ + j(vb - vₐ)/q হল বিচ্ছিন্ন সময় বিন্দু
• tⱼ নির্দিষ্ট সম্ভাব্যতা বিতরণ অনুযায়ী নির্বাচিত র‍্যান্ডম ভেরিয়েবল

সম্ভাব্যতা ঘনত্ব ফাংশন হল: p_j(t) ∝ (J_p(Δ(vⱼ)|t|/2)/(Δ^(p-1)(vⱼ)|t|^p))²

যেখানে J_p প্রথম ধরনের বেসেল ফাংশন, p = 1.165।

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

পরীক্ষা ম্যাট্রিক্স

• মাত্রা: ৪×४, ८×८, १६×१६ র‍্যান্ডম ম্যাট্রিক্স
• শর্তাধীন সংখ্যা: κ = 10, 20, 30, 40, 50
• ম্যাট্রিক্স প্রকার: ধনাত্মক নির্দিষ্ট হার্মিটিয়ান ম্যাট্রিক্স এবং সাধারণ অ-হার্মিটিয়ান ম্যাট্রিক্স
• নমুনা সংখ্যা: প্রতিটি শর্তাধীন সংখ্যার জন্য ১০০টি স্বাধীন র‍্যান্ডম ম্যাট্রিক্স তৈরি করা হয়েছে

মূল্যায়ন সূচক

• কোয়ান্টাম হাঁটা পদ্ধতি: লক্ষ্য ত্রুটি Δ = 0.4 অর্জনের জন্য প্রয়োজনীয় হাঁটার পদক্ষেপ
• র‍্যান্ডমাইজড পদ্ধতি: একই ত্রুটি অর্জনের জন্য প্রয়োজনীয় মোট বিবর্তন সময় ∑|tⱼ|
• ত্রুটি সংজ্ঞা: ২-নর্ম ত্রুটি ∥|x̃⟩ - |x⟩∥

বাস্তবায়ন বিবরণ

• সময়সূচী ফাংশন প্যারামিটার p = 1.4
• জটিলতা গণনার জন্য জ্যামিতিক গড় ব্যবহার করা হয়েছে
• চতুর্থাংশ পরিসীমা এবং সম্পূর্ণ ডেটা পরিসীমা সহ ত্রুটি বার অন্তর্ভুক্ত
• প্রতিটি র‍্যান্ডমাইজড পদ্ধতি উদাহরণ ২০০ বার পুনরাবৃত্তি করা হয়েছে

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

প্রধান ফলাফল

ধ্রুবক গুণাঙ্ক তুলনা

κ = 50 এর ক্ষেত্রে:

• তাত্ত্বিক উপরের সীমা: α = 2305
• বাস্তব পরিমাপ: α = 1.84
• উন্নতির গুণাঙ্ক: প্রায় ১২৫০ গুণ

পদ্ধতির মধ্যে কর্মক্ষমতা তুলনা

বাস্তব প্রয়োগ পরীক্ষা

SuiteSparse ম্যাট্রিক্স সংগ্রহ থেকে বাস্তব ম্যাট্রিক্স ব্যবহার করা হয়েছে:

• নির্দেশিত গ্রাফ সমস্যা (ID=168, κ=4.041×10²): QW RM এর চেয়ে ৯.৫৮ গুণ দ্রুত
• সার্কিট সিমুলেশন সমস্যা (ID=1199, κ=6.302×10⁵): QW RM এর চেয়ে ৪৫৭ গুণ দ্রুত

মাত্রা নির্ভরতা

পরীক্ষা দেখায় যে জটিলতা ম্যাট্রিক্স মাত্রার উপর খুব কম নির্ভরশীল, যা তাত্ত্বিক প্রত্যাশার সাথে সামঞ্জস্যপূর্ণ, কারণ জটিলতা প্রধানত শর্তাধীন সংখ্যার উপর নির্ভর করে মাত্রার উপর নয়।

সম্পূর্ণ অ্যালগরিদম ওভারহেড বিশ্লেষণ

ফিল্টারিং ধাপ বিবেচনা করার পরে মোট জটিলতা:

• সাধারণ লক্ষ্য ত্রুটি ε > 0.0004 এর জন্য, অ্যাডিয়াবেটিক অংশ প্রভাবশালী
• QW পদ্ধতি ফিল্টারিং ওভারহেড অন্তর্ভুক্ত করার পরেও RM পদ্ধতির উপর উল্লেখযোগ্য সুবিধা রাখে
• সর্বোত্তম ত্রুটি থ্রেশহোল্ড Δ প্রায় 0.4, যা পরীক্ষামূলক সেটআপের সাথে সামঞ্জস্যপূর্ণ

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

কোয়ান্টাম লিনিয়ার সিস্টেম অ্যালগরিদম বিকাশ

१. HHL অ্যালগরিদম: অগ্রগামী কাজ, কিন্তু জটিলতা O(κ²/ε) २. পরিবর্তনশীল সময় প্রশস্ততা বর্ধন: নির্ভুলতার উপর নির্ভরতা উন্নত করেছে ३. অ্যাডিয়াবেটিক কোয়ান্টাম কম্পিউটিং পদ্ধতি: আরও ভাল জটিলতা স্কেলিং প্রদান করেছে ४. সর্বোত্তম বহুপদী ফিল্টারিং: বাস্তবায়ন আরও অপ্টিমাইজ করেছে

জটিলতা নিম্ন সীমা

হ্যারো এবং কোটহারি কোয়ান্টাম লিনিয়ার সিস্টেম সমস্যার নিম্ন সীমা Ω(κlog(1/ε)) প্রমাণ করেছেন, এই নিম্ন সীমা কোস্তা এবং অন্যদের কাজে প্রথমবার অর্জিত হয়েছে।

র‍্যান্ডমাইজড পদ্ধতি

সুবাশী এবং অন্যরা প্রস্তাবিত র‍্যান্ডমাইজড পদ্ধতির জটিলতা O(κlog(κ/ε)), যদিও অতিরিক্ত log κ গুণাঙ্ক রয়েছে, কিন্তু ছোট ধ্রুবক গুণাঙ্কের কারণে বাস্তবে আরও দক্ষ হওয়ার দাবি করে।

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

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

१. তত্ত্ব এবং অনুশীলনের বিশাল ব্যবধান: বিচ্ছিন্ন অ্যাডিয়াবেটিক পদ্ধতির বাস্তব ধ্রুবক গুণাঙ্ক তাত্ত্বিক উপরের সীমার চেয়ে ১২০০ গুণ ছোট २. পদ্ধতির শ্রেষ্ঠত্ব: কোয়ান্টাম হাঁটা পদ্ধতি সমস্ত পরীক্ষিত ক্ষেত্রে র‍্যান্ডমাইজড পদ্ধতির উপর শ্রেষ্ঠ ३. ব্যবহারিক মূল্য: এই পদ্ধতিটি শুধুমাত্র তাত্ত্বিকভাবে সর্বোত্তম নয়, বাস্তবে অত্যন্ত দক্ষ

সীমাবদ্ধতা

१. ত্রুটি থ্রেশহোল্ড: তুলনামূলকভাবে বড় লক্ষ্য ত্রুটি Δ = 0.4 ব্যবহার করা হয়েছে, যা কিছু আউটলায়ার ক্ষেত্রে হতে পারে २. ম্যাট্রিক্স প্রকার: প্রধানত র‍্যান্ডম ম্যাট্রিক্স পরীক্ষা করা হয়েছে, বাস্তব প্রয়োগে কাঠামোগত ম্যাট্রিক্সের বিভিন্ন কর্মক্ষমতা থাকতে পারে ३. তুলনার ন্যায্যতা: RM পদ্ধতির তুলনা বিবর্তন সময় নির্দিষ্ট কোয়ান্টাম গেটের সংখ্যার পরিবর্তে

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

१. আরও নির্ভুল ধ্রুবক গুণাঙ্ক বিশ্লেষণ: আরও কঠোর তাত্ত্বিক সীমা বিকাশ করা २. কাঠামোগত ম্যাট্রিক্স: বিশেষ কাঠামো ম্যাট্রিক্সের কর্মক্ষমতা গবেষণা করা ३. হার্ডওয়্যার বাস্তবায়ন: বাস্তব কোয়ান্টাম হার্ডওয়্যারে এই ফলাফলগুলি যাচাই করা

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

সুবিধা

१. উচ্চ ব্যবহারিক মূল্য: তত্ত্ব এবং অনুশীলনের মধ্যে গুরুত্বপূর্ণ ব্যবধান সমাধান করেছে २. পর্যাপ্ত পরীক্ষা: বিস্তৃত র‍্যান্ডম ম্যাট্রিক্স পরীক্ষা এবং বাস্তব প্রয়োগ ক্ষেত্র ३. ব্যাপক বিশ্লেষণ: ফিল্টারিং ধাপ সহ সম্পূর্ণ অ্যালগরিদম ওভারহেড বিবেচনা করেছে ४. বিশ্বাসযোগ্য ফলাফল: সমস্ত পরীক্ষা উদাহরণ সামঞ্জস্যপূর্ণ সুবিধা দেখায়

অপূর্ণতা

१. তাত্ত্বিক ব্যাখ্যা অপর্যাপ্ত: বাস্তব ধ্রুবক গুণাঙ্ক কেন এত ছোট তা গভীরভাবে বিশ্লেষণ করা হয়নি २. তুলনা মানদণ্ড: RM পদ্ধতির সাথে তুলনা সরাসরি নাও হতে পারে (সময় বনাম পদক্ষেপ) ३. স্কেল সীমাবদ্ধতা: পরীক্ষিত ম্যাট্রিক্স মাত্রা তুলনামূলকভাবে ছোট (সর্বোচ্চ 16×16)

প্রভাব

এই কাজটি কোয়ান্টাম অ্যালগরিদম সম্প্রদায়ের উপর গুরুত্বপূর্ণ প্রভাব ফেলে: १. অ্যালগরিদম দক্ষতা পুনর্মূল্যায়ন: গবেষকদের মনে করিয়ে দেয় যে তাত্ত্বিক সীমা অত্যন্ত রক্ষণশীল হতে পারে २. অ্যালগরিদম নির্বাচন নির্দেশনা: বাস্তব প্রয়োগের জন্য স্পষ্ট অ্যালগরিদম নির্বাচন পরামর্শ প্রদান করেছে ३. ভবিষ্যত গবেষণা দিকনির্দেশনা: আরও নির্ভুল জটিলতা বিশ্লেষণের প্রয়োজন অনুপ্রাণিত করেছে

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

এই পদ্ধতিটি বিশেষভাবে উপযুক্ত: १. উচ্চ নির্ভুলতা লিনিয়ার সমাধান প্রয়োজনীয় কোয়ান্টাম অ্যালগরিদম २. মধ্যম শর্তাধীন সংখ্যা সহ বাস্তব সমস্যা ३. ধ্রুবক গুণাঙ্কের প্রতি সংবেদনশীল প্রয়োগ পরিস্থিতি

তথ্যসূত্র

এই পত্রটি কোয়ান্টাম লিনিয়ার সিস্টেম সমাধান ক্ষেত্রের মূল সাহিত্য উদ্ধৃত করেছে, যার মধ্যে রয়েছে:

• 1 HHL মূল অ্যালগরিদম
• 6 কোস্তা এবং অন্যদের বিচ্ছিন্ন অ্যাডিয়াবেটিক পদ্ধতি
• 10 জেনিংস এবং অন্যদের র‍্যান্ডমাইজড পদ্ধতি উন্নতি
• 14 বেরি এবং অন্যদের হ্যামিলটোনিয়ান সিমুলেশন অপ্টিমাইজেশন