Existence of a robust optimal control process for efficient measurements in a two-qubit system
Rodriguez, Nguyen, Behrman et al.
The verification of quantum entanglement is essential for quality control in quantum communication. In this work, we propose an efficient protocol to directly verify the two-qubit entanglement of a known target state through a single expectation value measurement. Our method provides exact entanglement quantification using the currencence measure without performing quantum state tomography. We prove the existence of a unitary transformation that drives the initial state of a two-qubit system to a designated final state, where the trace over a chosen observable directly yields the concurrence of the initial state. Furthermore, we implement an optimal control process of that transformation and demonstrate its effectiveness through numerical simulations. We also show that this process is robust to environmental noise. Our approach offers advantages in directly verifying entanglement with low circuit depth, making it suitable for industrial-scale quality control of entanglement generation. Our results, presented here, provide mathematical justification for our earlier computational experiments.
academic
দ্বি-কিউবিট সিস্টেমে দক্ষ পরিমাপের জন্য শক্তিশালী সর্বোত্তম নিয়ন্ত্রণ প্রক্রিয়ার অস্তিত্ব
কোয়ান্টাম জড়িততার যাচাইকরণ কোয়ান্টাম যোগাযোগের গুণমান নিয়ন্ত্রণের জন্য অত্যন্ত গুরুত্বপূর্ণ। এই পেপারটি একটি দক্ষ প্রোটোকল প্রস্তাব করে যা একক প্রত্যাশা মূল্য পরিমাপের মাধ্যমে পরিচিত লক্ষ্য অবস্থার দ্বি-কিউবিট জড়িততা সরাসরি যাচাই করে। এই পদ্ধতিটি কনকারেন্স মেট্রিক ব্যবহার করে নির্ভুল জড়িততার পরিমাণ প্রদান করে, কোয়ান্টাম অবস্থা টোমোগ্রাফি সম্পাদনের প্রয়োজন ছাড়াই। লেখকরা প্রমাণ করেছেন যে একটি ইউনিটারি রূপান্তর বিদ্যমান যা দ্বি-কিউবিট সিস্টেমের প্রাথমিক অবস্থাকে নির্দিষ্ট চূড়ান্ত অবস্থায় চালিত করতে পারে, যেখানে নির্বাচিত পর্যবেক্ষণযোগ্যের ট্রেস সরাসরি প্রাথমিক অবস্থার কনকারেন্স প্রদান করে। অতিরিক্তভাবে, লেখকরা এই রূপান্তরের একটি সর্বোত্তম নিয়ন্ত্রণ প্রক্রিয়া বাস্তবায়ন করেছেন এবং সংখ্যাসূচক সিমুলেশনের মাধ্যমে এর কার্যকারিতা প্রমাণ করেছেন। গবেষণা আরও দেখায় যে এই প্রক্রিয়াটি পরিবেশগত শব্দের প্রতি শক্তিশালী। এই পদ্ধতিটি কম সার্কিট গভীরতায় জড়িততা সরাসরি যাচাই করার ক্ষেত্রে সুবিধা রাখে এবং শিল্প-স্তরের জড়িততা উৎপাদন গুণমান নিয়ন্ত্রণের জন্য প্রযোজ্য।
এই পেপারটি কোয়ান্টাম যোগাযোগে দ্বি-কিউবিট জড়িত অবস্থার দক্ষ যাচাইকরণের সমস্যা সমাধানের লক্ষ্য রাখে। বিশেষভাবে, পরিচিত জড়িততার স্তরের অধীনে, ন্যূনতম পরিমাপ সংখ্যার মাধ্যমে জড়িততার ডিগ্রি নির্ভুলভাবে পরিমাপ করার প্রয়োজন।
কোয়ান্টাম যোগাযোগের ভিত্তি: কোয়ান্টাম জড়িততা কোয়ান্টাম যোগাযোগ এবং কোয়ান্টাম কম্পিউটিংয়ের মূল সম্পদ, যা কোয়ান্টাম কী বিতরণ, কোয়ান্টাম নিরাপদ সরাসরি যোগাযোগ, কোয়ান্টাম গোপন ভাগাভাগি ইত্যাদিতে প্রয়োগ করা হয়
শিল্পীকরণের চাহিদা: ভবিষ্যত কোয়ান্টাম ইন্টারনেট এবং কোয়ান্টাম যোগাযোগের বাস্তব প্রয়োগের জন্য শিল্প-স্তরের জড়িত সিস্টেম উৎপাদন এবং এর গুণমান নিয়ন্ত্রণ প্রয়োজন
সম্পদ অপ্টিমাইজেশন: উৎপাদন প্রোটোকল দ্বারা উৎপন্ন দ্বি-কিউবিট জড়িততা যাচাইকরণ গুণমান নিয়ন্ত্রণে গুরুত্বপূর্ণ ভূমিকা পালন করে
লেখকরা একটি বাস্তব প্রয়োগ পরিস্থিতি কল্পনা করেছেন: পরিচিত জড়িততা স্তরের কণা জোড়া উৎস নির্দিষ্ট প্রয়োগের জন্য ব্যবহৃত হয়, যা পর্যাপ্ত কণা জোড়া নমুনা করার প্রয়োজন, পরিচিত নিয়ন্ত্রণ প্রক্রিয়া ব্যবহার করে তাদের চূড়ান্ত অবস্থায় চালিত করে, যেখানে একক প্রত্যাশা মূল্য পরিমাপের মাধ্যমে জড়িততা যাচাই করা যায়। যদি প্রাথমিক অবস্থায় ভিন্ন জড়িততা মূল্য থাকে, নিয়ন্ত্রণ প্রক্রিয়া প্রত্যাশিত মূল্যের চেয়ে ভিন্ন মূল্য উৎপন্ন করবে। এটি সম্পূর্ণ টোমোগ্রাফি ইত্যাদি পদ্ধতির চেয়ে বেশি দক্ষ এবং ধ্রুবক পরামিতি বিচ্যুতির প্রতি শক্তিশালী।
১. তাত্ত্বিক প্রমাণ: কঠোরভাবে প্রমাণ করা হয়েছে যে একটি ইউনিটারি রূপান্তর বিদ্যমান যা যেকোনো দ্বি-কিউবিট প্রাথমিক অবস্থাকে নির্দিষ্ট চূড়ান্ত অবস্থায় চালিত করতে পারে, যাতে σ_z⊗σ_z পর্যবেক্ষণযোগ্যের পরিমাপ সরাসরি প্রাথমিক অবস্থার কনকারেন্স প্রদান করে
२. নিয়ন্ত্রণযোগ্যতা তত্ত্ব: প্রমাণ করা হয়েছে যে QMA-সম্পূর্ণ হ্যামিলটোনিয়ান (সমীকরণ ২) ব্যবহার করে দ্বি-কিউবিট সিস্টেম ঘনত্ব ম্যাট্রিক্স নিয়ন্ত্রণযোগ্যতা (DMC) রাখে, যার গতিশীলতা লাই বীজগণিত su(4)
३. শক্তিশালীতা গ্যারান্টি: প্রমাণ করা হয়েছে যে এই নিয়ন্ত্রণ সিস্টেম হ্যামিলটোনিয়ান বিচ্যুতির উপস্থিতিতেও DMC বৈশিষ্ট্য বজায় রাখে (Corollary II.1.1), বাস্তব প্রয়োগের জন্য তাত্ত্বিক নিশ্চয়তা প্রদান করে
४. সর্বোত্তম নিয়ন্ত্রণ অ্যালগরিদম: পরিবর্তনশীল পদ্ধতির উপর ভিত্তি করে সর্বোত্তম নিয়ন্ত্রণ অ্যালগরিদম ডিজাইন এবং বাস্তবায়ন করা হয়েছে, GRAPE/Krotov শৈলীর সামনের-পিছনের গ্রেডিয়েন্ট প্রক্রিয়া ব্যবহার করে
५. সংখ্যাসূচক যাচাইকরণ: MATLAB/Octave-এ বাস্তবায়িত, ১০০-১০০০টি ভিন্ন ঘনত্ব ম্যাট্রিক্স নমুনায় যাচাই করা হয়েছে, আপেক্ষিক ত্রুটি ৫% এর মধ্যে নিয়ন্ত্রিত
६. গাণিতিক ন্যায্যতা: লেখকদের ২০০৮ সালের প্রাথমিক গণনামূলক পরীক্ষার জন্য কঠোর গাণিতিক ভিত্তি প্রদান করা হয়েছে
ইনপুট: দ্বি-কিউবিট সিস্টেমের প্রাথমিক ঘনত্ব ম্যাট্রিক্স ρ(0), যার কনকারেন্স C পরিচিত আউটপুট:
१. চূড়ান্ত অবস্থা ঘনত্ব ম্যাট্রিক্স ρ(t_f), যা Tr((σ_z⊗σ_z)·ρ(t_f)) = C সন্তুষ্ট করে
२. নিয়ন্ত্রণ পথ u(t) = {κ_i(t), ε_i(t), ζ(t), ν(t)}, ρ(0) থেকে ρ(t_f) পর্যন্ত ইউনিটারি বিবর্তন বাস্তবায়ন করে সীমাবদ্ধতা শর্ত:
ρ(t_f) অবশ্যই ρ(0) এর সাথে ইউনিটারি সমতুল্য হতে হবে (একই eigenspectrum)
Euler-Lagrange সমীকরণ:
१. নিয়ন্ত্রণ সমীকরণ: ∂H/∂u = 0, ৬টি সমীকরণ পান (६টি নিয়ন্ত্রণ পরামিতির সাথে সংশ্লিষ্ট)
२. সহায়ক সমীকরণ: ∂λ/∂t = 1/(iℏ)H,λ
३. সীমানা শর্ত: λ_f = -(d - ϕ(ρ_f))(σ_z⊗σ_z)
দুই-বিন্দু সীমানা মূল্য সমস্যা:
ρ(t) = U(t)ρ_i U†(t), প্রাথমিক শর্ত ρ(0) পরিচিত
λ(t) = U†(t)λ_f U(t), চূড়ান্ত শর্ত λ_f সমীকরণ ८ দ্বারা নির্ধারিত
ঐতিহ্যবাহী কোয়ান্টাম অবস্থা টোমোগ্রাফির তুলনায়, এই পদ্ধতি শুধুমাত্র একটি পর্যবেক্ষণযোগ্য σ_z⊗σ_z এর প্রত্যাশা মূল্য পরিমাপ করার প্রয়োজন, পরিমাপ সংখ্যা উল্লেখযোগ্যভাবে হ্রাস করে।
প্রমাণ করা হয়েছে যে এমনকি হ্যামিলটোনিয়ান বিচ্যুতি H_d উপস্থিত থাকলেও, সিস্টেম su(4) নিয়ন্ত্রণযোগ্যতা বজায় রাখে, যার অর্থ যেকোনো অবাঞ্ছিত বিচ্যুতি রিয়েল-টাইম সক্রিয় ক্ষতিপূরণ করা যায়।
ক্রমাগত সময় সমস্যা N সময় স্লাইসে বিচ্ছিন্ন করা হয়, প্রতিটি সময় স্লাইসে হ্যামিলটোনিয়ান ধ্রুবক, "bang-bang" শৈলী নিয়ন্ত্রণ গ্রহণ করে, সংখ্যাসূচক বাস্তবায়নের জন্য সুবিধাজনক।
१. সমস্ত নিয়ন্ত্রণ ভেরিয়েবল প্রাথমিক করুন {u_k; k=1,...,N-1}
२. সামনের প্রচার: অবস্থা ভেরিয়েবল ρ_k গণনা করুন (ρ_0 থেকে শুরু করে)
३. পিছনের প্রচার: সহায়ক ভেরিয়েবল λ_k গণনা করুন (λ_N থেকে শুরু করে)
४. থামার মানদণ্ড পরীক্ষা করুন: ∂H/∂u_k ≈ 0
५. যদি সংমিশ্রিত না হয়, গ্রেডিয়েন্ট ডিসেন্ট ব্যবহার করে নিয়ন্ত্রণ ভেরিয়েবল আপডেট করুন
६. সংমিশ্রণ পর্যন্ত ধাপ २-५ পুনরাবৃত্তি করুন
প্রতিটি সময় স্লাইসের নিয়ন্ত্রণ ভেরিয়েবল {u_k} থেকে সেই সময় ব্যবধানের নিয়ন্ত্রণ প্রক্রিয়া প্রতিনিধিত্ব করে এমন ইউনিটারি ম্যাট্রিক্স নির্মাণ করা যায়। এই ম্যাট্রিক্সের ক্রমিক গুণফল প্রাথমিক এবং চূড়ান্ত অবস্থার মধ্যে রূপান্তরের জন্য দায়ী মোট ইউনিটারি ম্যাট্রিক্সের সমান।
१. তাত্ত্বিক সম্পূর্ণতা: প্রমাণ করা হয়েছে যে দ্বি-কিউবিট সিস্টেম নির্দিষ্ট হ্যামিলটোনিয়ান (সমীকরণ २) দ্বারা যেকোনো প্রাথমিক অবস্থা থেকে চূড়ান্ত অবস্থায় চালিত হতে পারে, যাতে একক σ_z⊗σ_z পরিমাপ সরাসরি কনকারেন্স প্রদান করে
२. ব্যবহারিকতা: প্রস্তাবিত প্রোটোকল শিল্প-স্তরের জড়িততা উৎপাদন গুণমান নিয়ন্ত্রণের জন্য উপযুক্ত, কম সার্কিট গভীরতা সুবিধা রাখে
३. শক্তিশালীতা: সিস্টেম ধ্রুবক পরামিতি বিচ্যুতির প্রতি অন্তর্নিহিত শক্তিশালীতা রাখে (Corollary II.1.1), বাস্তব প্রয়োগের জন্য উপযুক্ত
४. দক্ষতা: সম্পূর্ণ টোমোগ্রাফির তুলনায়, শুধুমাত্র একক পরিমাপ প্রয়োজন, পরিমাপ সম্পদ খরচ উল্লেখযোগ্যভাবে হ্রাস করে
५. নির্ভুলতা: নির্ভুল কনকারেন্স মূল্য প্রদান করে, কোনো আনুমানিক ত্রুটি নেই
লেখকরা স্পষ্টভাবে বলেছেন: "যদিও আমাদের এখানকার ফলাফল শুধুমাত্র দ্বি-কোয়ান্টাম বিট সিস্টেমের জন্য প্রযোজ্য, এই কাঠামোর বেশিরভাগ অংশ N-কোয়ান্টাম বিট সিস্টেম, এমনকি Z⊗N বা সাধারণ পরিমাপে সাধারণীকরণ করা যায়।"
লেখকরা উল্লেখ করেছেন: "যদিও কোয়ান্টাম গতিশীলতা ঐতিহ্যবাহী রৈখিক সর্বোত্তম নিয়ন্ত্রণ অর্থে নিয়ন্ত্রণ-সম্বন্ধীয় নয়, λ এবং ρ এর মধ্যে একটি রৈখিক সম্পর্ক অনুমান করা যায়, সমীকরণ (i) এবং (ii) একত্রিত করে u এর বন্ধ-ফর্ম সমাধান অর্জন করা যায়। আমরা এটি ভবিষ্যত পেপারের জন্য রেখে যাচ্ছি।"
१. २१ W. K. Wootters (१९९८): কনকারেন্সের মূল সংজ্ঞা, এই পেপারের মূল মেট্রিক
२. २४ D. D'Alessandro (२०२२): কোয়ান্টাম নিয়ন্ত্রণ তত্ত্বের মান পাঠ্যপুস্তক, DMC তত্ত্ব ভিত্তি
३. २३ Behrman ইত্যাদি (२००८): লেখকদের প্রাথমিক কাজ, এই পেপার এর জন্য গাণিতিক প্রমাণ প্রদান করে
४. १४-१९: সাম্প্রতিক জড়িততা যাচাইকরণ কাজ, এই ক্ষেত্রের সর্বশেষ অগ্রগতি প্রতিনিধিত্ব করে
५. ३०-३२: GRAPE/Krotov অ্যালগরিদম, এই পেপারের সংখ্যাসূচক বাস্তবায়নের তাত্ত্বিক ভিত্তি
এটি একটি তাত্ত্বিকভাবে কঠোর এবং পদ্ধতিগতভাবে উদ্ভাবনী কোয়ান্টাম নিয়ন্ত্রণ পেপার। প্রধান সুবিধা জড়িততা যাচাইকরণ সমস্যার জন্য একটি সম্পূর্ণ গাণিতিক কাঠামো প্রদান করা, একক পরিমাপ যাচাইকরণের সম্ভাব্যতা এবং শক্তিশালীতা প্রমাণ করা। তাত্ত্বিক অবদান উল্লেখযোগ্য, বিশেষত DMC প্রমাণ এবং চূড়ান্ত অবস্থা অস্তিত্ব উপপাদ্য।
প্রধান অপূর্ণতা পরীক্ষামূলক যাচাইকরণ দুর্বল, শুধুমাত্র সংখ্যাসূচক সিমুলেশন এবং প্রকৃত কোয়ান্টাম হার্ডওয়্যার পরীক্ষা অনুপস্থিত, এবং তুলনামূলক পরীক্ষা অনুপস্থিত, বিদ্যমান পদ্ধতির তুলনায় প্রকৃত সুবিধা মূল্যায়ন করা কঠিন। স্কেলেবিলিটা একটি সমস্যা, বর্তমানে শুধুমাত্র দ্বি-কোয়ান্টাম বিট সিস্টেমে সীমাবদ্ধ।
সুপারিশকৃত পাঠক: কোয়ান্টাম নিয়ন্ত্রণ তত্ত্ব গবেষকরা, কোয়ান্টাম যোগাযোগ প্রকৌশলী, কোয়ান্টাম জড়িততা পরিমাপে আগ্রহী পণ্ডিত।