Partial independence suffices to rule out Real Quantum Theory experimentally
Weilenmann, Gisin, Sekatski
The role of complex quantities in quantum theory has been puzzling physicists since the beginnings. It is thus natural to ask whether, in order to describe our experiments, the mathematical structure of complex Hilbert spaces it is built on is really necessary. Recently, it was shown that this structure is inevitable in network scenarios with independent sources. More precisely, Real Quantum Theory cannot explain the predictions of (Complex) Quantum Theory [Renou et al., Nature 600, 2021]. Here, we revisit the independence assumption underlying this work. We show that assuming partial independence is sufficient for showing the inadequacy of Real Quantum Theory. We derive a tradeoff between source independence and the Bell value achievable in Real Quantum Theory, which also lower bounds the source correlations required to explain previous experiments by means of real quantum systems. We further show that 1 bit of entanglement is necessary and sufficient for recovering the complex quantum correlations by means of Real Quantum Theory in the scenario from [Renou et al., Nature 600, 2021]. Finally, building on [McKague et al., PRL 102, 2009], we provide a construction to simulate any complex quantum setup with m independent sources by means of Real Quantum Theory, by allowing the sources to share a m real-qubit entangled state in the first round of the experiment.
academic
আংশিক স্বাধীনতা বাস্তব কোয়ান্টাম তত্ত্বকে পরীক্ষামূলকভাবে বাতিল করতে যথেষ্ট
এই কাগজটি কোয়ান্টাম তত্ত্বে জটিল সংখ্যার প্রয়োজনীয়তার প্রশ্ন অনুসন্ধান করে। রেনু এবং অন্যদের ২০২১ সালের Nature কাজের উপর ভিত্তি করে যা দেখিয়েছে যে বাস্তব কোয়ান্টাম তত্ত্ব (Real Quantum Theory) জটিল কোয়ান্টাম তত্ত্বের পূর্বাভাসিত ফলাফল ব্যাখ্যা করতে পারে না, এই কাগজটি উৎস স্বাধীনতার অনুমান পুনর্বিবেচনা করে। লেখকরা প্রমাণ করেন যে আংশিক স্বাধীনতা বাস্তব কোয়ান্টাম তত্ত্বের অপর্যাপ্ততা প্রমাণ করতে যথেষ্ট, উৎস স্বাধীনতা এবং বাস্তব কোয়ান্টাম তত্ত্বে অর্জনযোগ্য বেল মানের মধ্যে ট্রেড-অফ সম্পর্ক প্রাপ্ত করেন, এবং প্রমাণ করেন যে ১ বিট এন্ট্যাঙ্গেলমেন্ট প্রয়োজনীয় এবং যথেষ্ট সম্পদ যা বাস্তব কোয়ান্টাম তত্ত্বে জটিল কোয়ান্টাম সম্পর্ক পুনরুদ্ধার করতে। অবশেষে, ম্যাকগ্যু এবং অন্যদের কাজের উপর ভিত্তি করে, তারা m টি বাস্তব কোয়ান্টাম বিট এন্ট্যাঙ্গেলড অবস্থা দিয়ে যেকোনো m টি স্বাধীন উৎস জটিল কোয়ান্টাম পরীক্ষা অনুকরণ করার একটি স্কিম তৈরি করেছেন।
কোয়ান্টাম তত্ত্যকে সত্যিই জটিল সংখ্যার কাঠামোর প্রয়োজন? এটি কোয়ান্টাম বলবিজ্ঞানের ভিত্তিতে একটি দীর্ঘস্থায়ী বিভ্রান্তি। যদিও চিরন্তন পদার্থবিজ্ঞান (বলবিজ্ঞান, তাপগতিবিজ্ঞান, বিদ্যুৎচুম্বকত্ব) সবই বাস্তব সংখ্যার উপর ভিত্তি করে, কোয়ান্টাম তত্ত্বের প্রথম স্বতঃসিদ্ধই জটিল হিলবার্ট স্থান Cd প্রবর্তন করে।
গাণিতিক কাঠামোর ভৌত প্রয়োজনীয়তা: জটিল সংখ্যা কোয়ান্টাম তত্ত্যে শুধুমাত্র গণনার সরঞ্জাম নয়, কোয়ান্টাম অবস্থা নিজেই জটিল-মূল্যবান
অন্তর্ভুক্তিগত প্রশ্ন: যদি বাস্তব হিলবার্ট স্থান Rd যথেষ্ট হয়, তাহলে কেন "কল্পনাপ্রবণ সংখ্যা" প্রয়োজন যা ডেকার্টেস "কল্পিত" এবং অয়লার "অসম্ভব" বলে অভিহিত করেছেন?
পরীক্ষামূলক পরীক্ষাযোগ্যতা: এই মৌলিক প্রশ্নটি পরীক্ষার মাধ্যমে নির্ধারণ করা যায়?
ম্যাকগ্যু এবং অন্যরা (২০০৯): প্রমাণ করেছেন যে বাস্তব কোয়ান্টাম তত্ত্য যেকোনো জটিল কোয়ান্টাম পরীক্ষা অনুকরণ করতে পারে, পদ্ধতি হল প্রতিটি সাব-সিস্টেমে একটি সহায়ক বাস্তব কোয়ান্টাম বিট (rebit) সংযুক্ত করা, কিন্তু এই সহায়ক বিটগুলিকে একটি এন্ট্যাঙ্গেলড অবস্থা ভাগ করতে হবে
ভৌত ব্যাখ্যার অসুবিধা: যখন সাব-সিস্টেম স্থানিকভাবে বিচ্ছিন্ন থাকে, তখন তারা সবাই একই সহায়ক rebit অ্যাক্সেস করতে পারে কীভাবে? এই এন্ট্যাঙ্গেলমেন্ট কোথা থেকে আসে?
রেনু এবং অন্যরা (২০২১): নেটওয়ার্ক পরিস্থিতিতে, উৎসগুলি সম্পূর্ণভাবে স্বাধীন অনুমান করে, প্রমাণ করেছেন যে বাস্তব কোয়ান্টাম তত্ত্য জটিল কোয়ান্টাম তত্ত্যের বেল মান উপরের সীমায় পৌঁছাতে পারে না (BCsup=62≈8.49 বনাম BRub≤7.66)
স্বাধীনতার অনুমান শিথিল করা: যদি উৎসগুলি শুধুমাত্র আংশিকভাবে স্বাধীন (partially independent) হয় তাহলে কী হবে? বাস্তব কোয়ান্টাম তত্ত্যে পরীক্ষামূলক ফলাফল ব্যাখ্যা করতে কত পরিমাণ কোয়ান্টাম সম্পর্ক প্রয়োজন তা পরিমাণগতভাবে চিহ্নিত করা যায়?
১. স্বাধীনতার অনুমান শিথিল করা: প্রমাণ করেছেন যে আংশিক উৎস স্বাধীনতা বাস্তব কোয়ান্টাম তত্ত্য বাতিল করতে যথেষ্ট, সম্পূর্ণ স্বাধীনতার অনুমানের প্রয়োজন নেই
२. পরিমাণগত ট্রেড-অফ সম্পর্ক: উৎস স্বাধীনতার মাত্রা এবং বাস্তব কোয়ান্টাম তত্ত্যে অর্জনযোগ্য বেল মানের মধ্যে সঠিক ট্রেড-অফ সম্পর্ক প্রাপ্ত করেছেন (আধা-নির্দিষ্ট প্রোগ্রামিং শ্রেণীবিন্যাসের মাধ্যমে)
३. প্রয়োজনীয় এবং যথেষ্ট সম্পদ: রেনু এবং অন্যদের পরিস্থিতিতে প্রমাণ করেছেন যে ১ ebit এন্ট্যাঙ্গেলমেন্ট (দুটি rebit এর সর্বাধিক এন্ট্যাঙ্গেলমেন্টের সাথে সামঞ্জস্যপূর্ণ) প্রয়োজনীয় এবং যথেষ্ট:
প্রয়োজনীয়তা: স্ব-পরীক্ষার মাধ্যমে প্রমাণ করেছেন যে সর্বাধিক বেল মান 62 অর্জন করতে অবস্থা ϱˉS1S2=21(Φ−+Ψ+) প্রয়োজন, যার এন্ট্যাঙ্গেলমেন্ট ফর্মেশন EF=1, বিচ্ছেদ্য অবস্থা থেকে দূরত্ব DSep=21
যথেষ্টতা: এই এন্ট্যাঙ্গেলমেন্ট এই নেটওয়ার্কে যেকোনো কোয়ান্টাম পরীক্ষা অনুকরণ করতে যথেষ্ট
४. সাধারণ অনুকরণ উপপাদ্য: ম্যাকগ্যু নির্মাণ প্রসারিত করেছেন, প্রমাণ করেছেন যে m টি rebit এন্ট্যাঙ্গেলড অবস্থাϱˉS(m) যেকোনো m টি স্বাধীন উৎসের জটিল কোয়ান্টাম পরীক্ষা অনুকরণ করতে যথেষ্ট
५. পরীক্ষামূলক অর্থের পরিমাণ: বিদ্যমান পরীক্ষামূলক ফলাফলকে পরিমাণগত অর্থ প্রদান করেছেন (যেমন বেল মান ৮.০৯ এর জন্য DSep≥0.2 প্রয়োজন)
উদ্দেশ্য: উৎসগুলি আংশিক কোয়ান্টাম সম্পর্ক ϱS1S2 ভাগ করার অনুমতি দেওয়ার সময় বাস্তব কোয়ান্টাম তত্ত্য অর্জন করতে পারে এমন বেল মান উপরের সীমা বিশ্লেষণ করা
রেনু এবং অন্যদের বেল ফাংশনাল ব্যবহার করা:
B(P)=∑b∈{0,1}2Bb(P)
যেখানে প্রতিটি Bb(P) অ্যালিস এবং চার্লির মধ্যে তিনটি CHSH পরীক্ষার সমন্বয় (সমীকরণ ২)। মূল মান:
জটিল কোয়ান্টাম তত্ত্যের সর্বাধিক মান: BCsup=62≈8.49
স্বাধীন উৎস বাস্তব কোয়ান্টাম তত্ত্যের উপরের সীমা: BRub≤7.66
প্রতিটি d-মাত্রিক জটিল সিস্টেম Ci२d-মাত্রিক বাস্তব সিস্টেম Rˉi=RiLi এর সাথে সামঞ্জস্যপূর্ণ
L=L1...Ln "জটিলতা রেফারেন্স ফ্রেম" হিসাবে কাজ করে, যুক্তিসঙ্গত সাব-স্পেসে এনকোড করা:
∣R⟩L=21(⨂i∣y+⟩Li+⨂i∣y−⟩Li)∣I⟩L=2i(⨂i∣y+⟩Li−⨂i∣y−⟩Li)
যেখানে ∣y±⟩=(∣0⟩±i∣1⟩)/2
মূল বৈশিষ্ট্য: বাস্তব একক অপারেটর J=iσY যেকোনো Lj এ কাজ করে কল্পিত একক অনুকরণ করে:
JLj∣R⟩L=∣I⟩L,JLj∣I⟩L=−∣R⟩L
१. আংশিক স্বাধীনতার আনুষ্ঠানিকীকরণ: প্রথমবারের মতো উৎস সম্পর্কিত মাত্রা (D_,E_F$ এর মাধ্যমে) এবং বেল লঙ্ঘনের সম্পর্ক পরিমাণগতভাবে চিহ্নিত করা
२. SDP সীমাবদ্ধতা উদ্ভাবন: ক্রমাগত ট্রেস দূরত্ব সীমাবদ্ধতা বিচ্ছিন্ন মুহূর্ত সমস্যায় এম্বেড করা, প্রযুক্তিগত অসুবিধা উচ্চ
३. সংক্ষিপ্ততা প্রমাণ: আদর্শ পরিস্থিতিতে সীমা সংক্ষিপ্ত (ϵ=0.5 এ ঠিক 62 অর্জন করে)
४. সম্পদ তত্ত্ব দৃষ্টিভঙ্গি: সমস্যাটি কোয়ান্টাম সম্পদ তত্ত্য কাঠামোতে স্থাপন করা, মুক্ত অবস্থা (Sep/Ind) এবং মুক্ত ক্রিয়াকলাপ (LOCC/LO) স্পষ্ট করা
५. বাউন্ড এন্ট্যাঙ্গেলমেন্ট প্রয়োগ: বাস্তব কোয়ান্টাম তত্ত্যে স্থানীয়ভাবে সম্প্রচারযোগ্য বাউন্ড এন্ট্যাঙ্গেলমেন্ট ব্যবহার করা, যা জটিল তত্ত্যে বিদ্যমান নয়
এই কাগজটি তিনটি প্রকাশিত পরীক্ষা বিশ্লেষণ করে:
१. চেন এবং অন্যরা (२०२२, PRL १२८, ०४०४०३): বেল মান ८.०९(१) → DSep≥0.2 প্রয়োজন
२. লি এবং অন্যরা (२०२२, PRL १२८, ०४०४०२): বিভিন্ন বেল অভিব্যক্তি ব্যবহার করা
३. উ এবং অন্যরা (२०२२, PRL १२९, १४०४०१): বেল মান ७.८३(३) → DSep≥0.05 প্রয়োজন
মূল আবিষ্কার:
१. SDP সীমা রৈখিক সীমার চেয়ে উল্লেখযোগ্যভাবে ভাল: উদাহরণস্বরূপ B=8.06 এ, SDP দেয় ϵ1=20% বনাম রৈখিক সীমা ϵ2=2.4%
२. সংক্ষিপ্ততা যাচাইকরণ: ϵ1=50% এ B=8.4953≈62 (সংখ্যাগত নির্ভুলতার মধ্যে সমান)
३. পরীক্ষামূলক অর্থ:
চেন পরীক্ষা (८.०९): বাস্তব কোয়ান্টাম তত্ত্য DSep≥0.2 এর উৎস সম্পর্ক প্রয়োজন
উপপাদ্য: m টি স্বাধীন উৎসের যেকোনো জটিল কোয়ান্টাম পরীক্ষা বাস্তব কোয়ান্টাম তত্ত্য দিয়ে অনুকরণ করা যায়, যদি উৎসগুলি প্রাথমিকভাবে ভাগ করে:
ϱˉS(m)=21(⨂i=1m∣y+⟩⟨y+∣Si+⨂i=1m∣y−⟩⟨y−∣Si)
প্রমাণের মূল পয়েন্ট:
१. এই অবস্থা ১ ebit গঠন এন্ট্যাঙ্গেলমেন্ট ধারণ করে (যেকোনো দ্বিবিভাজন জুড়ে)
२. একই সাথে স্থানীয়ভাবে সম্প্রচারযোগ্য: ϱˉS(m)LOϱˉSL(m+n)
३. পরিমাপ রেফারেন্স ফ্রেম এন্ট্যাঙ্গেলমেন্ট ব্যবহার করে না
४. m=२ এর জন্য, ঠিক স্ব-পরীক্ষা অবস্থা
१. স্টুকেলবার্গ (१९६०): প্রথমবারের মতো বাস্তব হিলবার্ট স্থান কোয়ান্টাম তত্ত্য প্রস্তাব করেছেন
२. উটার্স (१९९०), কেভস এবং অন্যরা (२००२): বাস্তব কোয়ান্টাম অবস্থার স্থানীয় অ্যাক্সেসযোগ্যতা গবেষণা করেছেন
३. ম্যাকগ্যু এবং অন্যরা (२००९): প্রমাণ করেছেন বাস্তব কোয়ান্টাম তত্ত্য জটিল কোয়ান্টাম তত্ত্য অনুকরণ করতে পারে (সহায়ক এন্ট্যাঙ্গেলমেন্ট প্রয়োজন)
४. হার্ডি এবং উটার্স (२०१२): সীমিত সামগ্রিকতা এবং বাস্তব ভেক্টর স্থান কোয়ান্টাম তত্ত্য
५. চিরিবেলা এবং অন্যরা (२०१०), বার্নাম এবং অন্যরা (२०२०): সম্ভাব্যতা তত্ত্য কাঠামোর অধীনে গবেষণা
এটি কোয়ান্টাম ভিত্তি ক্ষেত্রে গুরুত্বপূর্ণ তাত্ত্বিক এবং পরীক্ষামূলক তাৎপর্য সহ একটি উচ্চ-মানের কাগজ। কঠোর গাণিতিক বিশ্লেষণ এবং উদ্ভাবনী SDP কৌশলের মাধ্যমে, এটি রেনু এবং অন্যদের যুগান্তকারী কাজকে পরিমাণগত স্তরে এগিয়ে নিয়ে যায়, কোয়ান্টাম তত্ত্যে জটিল সংখ্যার অপরিহার্যতা বোঝার জন্য আরও সূক্ষ্ম চিত্র প্রদান করে। গণনা জটিলতা এবং পরীক্ষামূলক চ্যালেঞ্জ থাকা সত্ত্বেও, এটি প্রতিষ্ঠিত তাত্ত্বিক কাঠামো এবং পদ্ধতিবিদ্যা কোয়ান্টাম ভিত্তি গবেষণা এবং কোয়ান্টাম নেটওয়ার্ক পরীক্ষা উভয়ের জন্য দীর্ঘস্থায়ী মূল্য রয়েছে। সর্বশেষ তাত্ত্বিক পুনঃসূত্রায়ন কাজের সাথে (বারিওস, হফ্রয়েমন) আকর্ষণীয় বৈপরীত্য তৈরি করে, "বাস্তব কোয়ান্টাম তত্ত্য কী" এই সংজ্ঞা প্রশ্নের সূক্ষ্মতা তুলে ধরে।