সমীকরণের লিনিয়ার সিস্টেমের জন্য কোয়ান্টাম অ্যালগরিদম (HHL09): পদক্ষেপ 2 - কী ?


9

এটি সমীকরণের লিনিয়ার সিস্টেমগুলির জন্য কোয়ান্টাম অ্যালগরিদমের একটি সিক্যুয়্যাল (এইচএইচএল 09): পদক্ষেপ 1 - সমীকরণের লিনিয়ার সিস্টেমের জন্য এইচএইচএল09: পর্বের অনুমানের অ্যালগরিদম এবং কোয়ান্টাম অ্যালগরিদমের ব্যবহার সম্পর্কে বিভ্রান্তি: পদক্ষেপ 1 - কোয়েটগুলির প্রয়োজনীয় সংখ্যা


কাগজে: সমীকরণের রৈখিক সিস্টেমের জন্য কোয়ান্টাম অ্যালগরিদম (হ্যারো, হাসিদিম এবং লয়েড, ২০০৯) , অংশ পর্যন্ত কী লেখা আছে

পরের পদক্ষেপটি হ'ল আইজেনভেেক্টর ভিত্তিতে পর্বের প্রাক্কলন [5-7] ব্যবহার করে পচে যাওয়া । দ্বারা চিহ্নিত | u_j \ rangle এর eigenvectors একজন (অথবা equivalently, এর ই ^ {IAT} ), এবং দ্বারা \ lambda_j সংশ্লিষ্ট eigenvalues।|b|ujAeiAtλj

পৃষ্ঠাতে 2 তোলে কিছু আমার ধারণা (আপ পর্যন্ত সেখানে ছিলাম আগের পোস্ট উপরে লিঙ্ক সুরাহা বিভ্রান্তি)। তবে এর পরের অংশটি অর্থাৎ R(λ1) ঘূর্ণনটি কিছুটা রহস্যজনক বলে মনে হচ্ছে।

আসুন

|Ψ0:=2Tτ=0T1sinπ(τ+12)T|τ

কিছু বড় । ত্রুটি বিশ্লেষণে উপস্থিত হওয়া একটি নির্দিষ্ট চতুর্ভুজ ক্ষতির ক্রিয়াকে হ্রাস করার জন্য বেছে নেওয়া হয়েছে ([[5-7] অনুসরণ করুন) (বিশদের জন্য দেখুন [13])।T|Ψ0

এরপরে, আমরা শর্তসাপেক্ষ হ্যামিলটোনীয় বিবর্তন অন , যেখানে ।τ=0T1|ττ|CeiAτt0/T|Ψ0C|bt0=O(κ/ϵ)

প্রশ্নাবলী:

1. ঠিক কী ? এবং কী ? আমি জানি না কোথা থেকে এই বিশাল অভিব্যক্তি হঠাৎ করে এসেছিল এবং এর ব্যবহার কী।|Ψ0Tτ

2Tτ=0T1sinπ(τ+12)T|τ

২. পর্যায়ের অনুমানের পদক্ষেপের পরে, আমাদের সিস্টেমের অবস্থা দৃশ্যত :

(j=1j=Nβj|uj|λ~j)|0ancilla

এই নিশ্চয় না পারেন হিসেবে লেখা যেতে অর্থাৎ

(j=1j=Nβj|uj)(j=1j=N|λ~j)|0ancilla

|b(j=1j=N|λ~j)|0ancilla

সুতরাং, এটি পরিষ্কার যে রেজিস্ট্রেশন দ্বিতীয় রেজিস্টারে আলাদাভাবে পাওয়া যায় না। সুতরাং আমি জানি না যে তারা কীভাবে প্রথম অবস্থানে মতো একটি রাজ্য প্রস্তুত করছে ! এছাড়াও, ? সুপারস্ক্রিপ্টে সেই কী বোঝায়?|b|Ψ0C|bC|Ψ0C

৩. এই অভিব্যক্তিটি হঠাৎ কোথা থেকে এসেছে? এটি সিমুলেট করার ব্যবহার কী? আর কি মধ্যে ?τ=0T1|ττ|CeiAτt0/TκO(κ/ϵ)

উত্তর:


5

1. সংজ্ঞা

এই উত্তরে ব্যবহৃত নাম এবং চিহ্নগুলি কোয়ান্টাম লিনিয়ার সিস্টেম অ্যালগরিদমে সংজ্ঞায়িত অনুসৃতগুলি অনুসরণ করে : একটি প্রাইমার (ডারভোভিচ, হার্বস্টার, মাউন্টনি, সেভেরিনি, উশার এবং ওয়াসনিগ, 2018) । একটি প্রত্যাহার নীচে করা হয়।

1.1 নাম নিবন্ধন করুন

নিবন্ধসমূহের নামগুলি কোয়ান্টাম লিনিয়ার সিস্টেম অ্যালগোরিদমের চিত্র 5-এ সংজ্ঞায়িত করা হয়েছে : একটি প্রাইমার (ডারভোভিচ, হার্বস্টার, মাউন্টনি, সেভেরিনি, উশার এবং ওয়াসনিগ, 2018) (নীচে পুনরুত্পাদন করা):

  • S (1 কুইবিট) হ'ল আনুষঙ্গিক রেজিস্টার যা আউটপুটটি বৈধ কিনা তা পরীক্ষা করতে ব্যবহৃত হয়।
  • C ( কোয়েটস) হ'ল ক্লক রেজিস্ট্রার, অর্থাৎ রেজিস্টার হ্যামিলটোনীয়দের কোয়ান্টাম ফেজের প্রাক্কলন (কিউপিই) এর ইগ্যালভ্যালুগুলি অনুমান করতে ব্যবহৃত হয়।n
  • I ( কুইটস) সমীকরণের ডান-হাতের অক্ষরটি অক্ষর সঞ্চিত রেজিস্টার । এটি অ্যালগরিদমের শেষে হিসাবে পরিমাপ করা হলে সমীকরণের ফলাফল , সঞ্চয় করে ।mAx=bxS|1

এইচএইচএল অ্যালগরিদম

2. প্রায় :|Ψ0

  1. ঠিক কী ?|Ψ0

    |Ψ0 হ'ল ঘড়ির রেজিস্ট্রারের একটি সম্ভাব্য প্রাথমিক অবস্থা ।C

  2. এবং কী ?Tτ

    T একটি বড় ধনাত্মক পূর্ণসংখ্যার জন্য দাঁড়িয়েছে। এই যথাসম্ভব বৃহত্তর হওয়া উচিত কারণ অভিব্যক্তি অসীমের দিকে বাড়ার জন্য প্রদত্ত ত্রুটি কমিয়ে দেয় । ইন অভিব্যক্তি , হতে হবে , কোয়ান্টাম ঘড়ি সম্ভব রাজ্যের সংখ্যা ।T|Ψ0T|Ψ0T2nC

    τ কেবল সামিট সূচক

  3. জন্য এ জাতীয় বিশাল প্রকাশ কেন ?|Ψ0

    বিস্তারিত ব্যাখ্যার জন্য দাফটওয়ুলির পোস্টটি দেখুন ।

    সমীকরণের রৈখিক সিস্টেমের জন্য কোয়ান্টাম অ্যালগরিদমের উদ্ধৃতিগুলি অনুসরণ করার পরে (হ্যারো, হাসিদিম এবং লয়েড, ২০০৯ ভি 3) আমরা এগুলি শেষ করি:

    1. সমীকরণের রৈখিক সিস্টেমের জন্য একই কাগজের কোয়ান্টাম অ্যালগরিদমের আগের সংস্করণ (হ্যারো, হাসিদিম এবং লয়েড, ২০০৯ ভি 2) । লেখকরা কাগজটি 2 বার সংশোধন করেছেন (মূল এইচএইচএল কাগজের 3 সংস্করণ রয়েছে) এবং সংস্করণ n ° 3 পূর্ববর্তী সংস্করণগুলিতে প্রদত্ত সমস্ত তথ্য অন্তর্ভুক্ত করে না। ভি 2-তে (বিভাগের.3.3। পৃষ্ঠায় শুরু হওয়া) লেখকরা এই বিশেষ প্রাথমিক অবস্থার সাথে ত্রুটির বিশদ বিশ্লেষণ সরবরাহ করেন।
    2. অনুকূল কোয়ান্টাম ক্লকস (বুজেক, ডেরকা, মাসার, 1998) যেখানে সমীকরণ 10-তে এক্সপ্রেশন দেওয়া হয়েছে হিসাবে আমার জ্ঞান নেই এই অংশটি সম্পূর্ণরূপে বুঝতে পারছেন তবে মনে হয় কিছুটা অর্থে এই ভাবটি "অনুকূল"।|Ψ0|Ψopt

3. প্রস্তুতি :|Ψ0

পূর্ববর্তী অংশে যেমন বলা হয়েছে, একটি প্রাথমিক অবস্থা। তারা পর্বের প্রাক্কলন পদ্ধতির পরে প্রস্তুত করেন না । বাক্য অর্ডারিং কাগজে সত্যই অনুকূল নয়। তারা কাগজে যে ধাপের প্রাক্কলন পদ্ধতি ব্যবহার করে তা অংশ 1 এর সাথে সংযুক্ত কোয়ান্টাম সার্কিটের প্রতিনিধিত্বকারী "ক্লাসিক" ফেজ অনুমানের অ্যালগরিদম থেকে কিছুটা আলাদা এবং এজন্য তারা বিশদে এটি ব্যাখ্যা করে।|Ψ0|Ψ0

তাদের পর্যায় অনুমানের অ্যালগরিদম হ'ল:

  1. প্রস্তুত করুন রেজিস্টার রাষ্ট্র ।|Ψ0C
  2. এবং রেজিস্টারগুলিতে শর্তসাপেক্ষ হ্যামিল্টোনীয় বিবর্তন প্রয়োগ করুন (যা রাজ্যে )।CI|Ψ0|b
  3. কোয়ান্টাম ফুরিয়ারকে ফলাফলের স্থিতিতে রূপান্তর করুন।

অবশেষে, এ অর্থ হল রেজিস্টার মধ্যে সংরক্ষিত হয় । ব্যবহৃত রেজিস্টারগুলিতে নজর রাখার জন্য এটি একটি সংক্ষিপ্ত এবং সুবিধাজনক স্বরলিপি।C|Ψ0C|Ψ0C

৪.হ্যামিলটোনীয় সিমুলেশন:

প্রথমত, হ'ল ম্যাট্রিক্স এর শর্ত নম্বর ( "শর্ত সংখ্যা" তে উইকিপিডিয়া পৃষ্ঠা ) ।κA

τ=0T1|ττ|CeiAτt0/T a হল কোয়ান্টাম গেটের গাণিতিক উপস্থাপনা।

যোগফলের প্রথম অংশ একটি নিয়ন্ত্রণ অংশ part এর অর্থ হ'ল অপারেশনটি প্রথম কোয়ান্টাম রেজিস্টারের রাষ্ট্র দ্বারা নিয়ন্ত্রিত হবে ( এক্সপেন্ডারটি আমাদের হিসাবে রেজিস্টার বলে)।|ττ|CC

দ্বিতীয় অংশ "হ্যামিল্টনিয়ান সিমুলেশন" গেট, অর্থাত্ কোয়ান্টাম গেট যে ঐকিক ম্যাট্রিক্স কর্তৃক প্রদত্ত প্রযোজ্য হবে দ্বিতীয় রেজিস্টার করার জন্য (রেজিস্টার করো প্রাথমিক অবস্থায় মধ্যে যে )।eiAτt0/TI|b

পুরো সমষ্টি সঙ্গে, এর "1. সংজ্ঞা" কোয়ান্টাম বর্তনী নিয়ন্ত্রিত-ইউ অপারেশন গাণিতিক উপস্থাপনা ।U=eiAτt0/T


3

আপনার প্রথম প্রশ্নের উত্তরে আমি কীভাবে এটি কাজ করে তা সম্পর্কে আমার বোঝার বিষয়ে কিছুক্ষণ আগে নিজেকে কিছু নোট লিখেছিলাম। স্বরলিপিটি সম্ভবত কিছুটা আলাদা (আমি এটিকে আরও বেশি লাইনে আনার চেষ্টা করেছি, তবে বিটগুলি মিস করা সহজ), তবে রাষ্ট্রটির সেই পছন্দটি ব্যাখ্যা করার চেষ্টা । এর কয়েকটি কারণগুলি স্থানে ভাসমান বলে মনে হচ্ছে ।|Ψ012

আমরা যখন প্রথম পর্যায়ের অনুমানটি অধ্যয়ন করি, তখন আমরা সাধারণত কিছু নির্দিষ্ট অ্যালগরিদমে যেমন শোরের অ্যালগরিদম ব্যবহারের ক্ষেত্রে এটি সম্পর্কে চিন্তাভাবনা করি। এটির একটি সুনির্দিষ্ট লক্ষ্য রয়েছে: ইগেনভ্যালুতে সেরা বিট সান্নিধ্য প্রাপ্তি। আপনি হয়, না আপনি করেন না, এবং পর্যায়ে অনুমানের বিবরণটি যথাসম্ভব উচ্চতর সাফল্যের সম্ভাবনা দেওয়ার জন্য বিশেষভাবে সুর করা হয়েছে।t

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

|ϕ=jβjλj|λj,
|b=jβj|λj2π/TeiAtT=2ttϕyy{0,1}t each bin প্রতিটি বিনের কেন্দ্র হিসাবে কাজ করতে যাতে আমরা 0 পর্বের খুব কাছাকাছি নির্ভুলতা বৃদ্ধি করতে পারি। আরও সাধারণভাবে, আপনি একটি ফাংশন হিসাবে ত্রুটি হতে পারে এমন সহনশীলতার জন্য আপনি একটি বাণিজ্য-বন্ধ কার্য নির্দিষ্ট করতে পারেন । এই ফাংশনটির যথাযথ প্রকৃতি তখন প্রদত্ত অ্যাপ্লিকেশনটিতে এবং যোগ্যতার নির্দিষ্ট চিত্র যা আপনি সাফল্য নির্ধারণ করতে ব্যবহার করবেন tun শোরের অ্যালগরিদমের ক্ষেত্রে, আমাদের যোগ্যতার চিত্রটি ছিল কেবল এই বিনিং প্রোটোকল - উত্তরটি সঠিক বিনে থাকলে এবং এর বাইরে আমরা ব্যর্থ হয়েছি আমরা সফল হয়েছি। এইচএইচএল-তে এটি ঘটবে না, যার সাফল্য বিশ্বস্ততার মতো ধারাবাহিক ব্যবস্থা দ্বারা আরও যুক্তিসঙ্গতভাবে ধরা পড়ে। সুতরাং, সাধারণ ক্ষেত্রে, আমরা একটি ব্যয় ফাংশনϕC(ϕ,ϕ)যা উত্তরের জন্য একটি শাস্তি নির্দিষ্ট করে যদি সত্যি ফেজ যা ।ϕϕ

স্মরণ করুন যে স্ট্যান্ডার্ড ফেজ অনুমানের প্রোটোকল একটি ইনপুট রাজ্য তৈরি করে কাজ করেছিল যা সমস্ত ভিত্তি রাজ্যের uniform জন্য এর অভিন্ন সুপারপজিশন ছিল । এই রাজ্যটি একাধিক নিয়ন্ত্রিত গেটগুলির ক্রমিক অ্যাপ্লিকেশন নিয়ন্ত্রণ করতে ব্যবহৃত হয়েছিল , যা একটি বিপরীতমুখী ফুরিয়ার রূপান্তর অনুসরণ করে। কল্পনা করুন যে আমরা ইনপুট অন্য কোনও রাজ্যের এবং তারপরে বাকী প্রোটোকলটি পারে আগের মত কাজ আমরা কেবল মৌলিক ধারণাটি প্রকাশ করার চেষ্টা করছি আমরা এখন নতুন রাজ্য উত্পাদন করা কতটা কঠিন এই প্রশ্নটিকে আমরা উপেক্ষা করব । এই রাজ্য থেকে শুরু করে, নিয়ন্ত্রিত- ব্যবহার|xx{0,1}tU

|Ψ0=x{0,1}tαx|x,
|Ψ0Uগেটস (একজন eigenvector লক্ষ্য করে eigenvalue এর ), রাষ্ট্র উৎপন্ন বিপরীত ফুরিয়ার রূপান্তর ফলন প্রয়োগ করা উত্তর (যেমন ) পাওয়ার সম্ভাবনা হ'ল তাই খরচ ফাংশনের প্রত্যাশিত মান, এর একটি র্যান্ডম বন্টন অভিমানী হয় Uϕ
x{0,1}tαxeiϕx|x.
1Tx,y{0,1}teix(ϕ2πyM)αx|y.
yϕ=2πy/T
1T|x{0,1}teix(ϕ2πyT)αx|2
ϕ
C¯=12πT02πdϕy{0,1}t|x{0,1}teix(ϕ2πyT)αx|2C(ϕ,2πy/T),
এবং আমাদের কাজটি হল এর নির্দিষ্ট কোনও উপলব্ধির জন্য এটি হ্রাস করা প্রশস্ততা নির্বাচন করা । যদি আমরা অনুমান করি যে কেবলমাত্র একটি ফাংশন , তবে আমরা give দেওয়ার জন্য সংহতকরণে পরিবর্তনশীল পরিবর্তন করতে পারি যেমনটি আমরা উল্লেখ করেছি, সর্বাধিক দরকারী পরিমাপটি বিশ্বস্ততার পরিমাপ হতে পারে। বিবেচনা করুন আমাদের একটি রাজ্য রয়েছেαxC(ϕ,ϕ)C(ϕ,ϕ)ϕϕ
C¯=12π02πdϕ|x{0,1}teixϕαx|2C(ϕ),
|+এবং আমরা একক implement বাস্তবায়ন করতে চাই, তবে পরিবর্তে আমরা implement বাস্তবায়ন করি । বিশ্বস্ততা পরিমাপ করে যে এটি কতটা ভালভাবে কাঙ্ক্ষিত কাজটি অর্জন করবে, তাই আমরা যেহেতু আদর্শ ক্ষেত্রে , তাই ত্রুটিটি, যা আমরা কম করতে চাই, হিসাবে নেওয়া যেতে পারে । এটি অবশ্যই কোনও মূল্যায়নের জন্য সঠিক ফাংশন হবেUϕ=|00|+eiϕ|11|Uϕ=|00|+eiϕ|11|
F=|+|UϕU|+|2=cos2(ϕϕ2),
C(ϕϕ)=sin2(ϕϕ2),
F=11FUt, তবে কেবলমাত্র পর্যায়গুলি নয়, প্রশস্ততাগুলি সংশোধন করার আরও সাধারণ কাজের জন্য, ভুল ব্যবহারের প্রোটোকলটি কম তুচ্ছ পদ্ধতিতে প্রোটোকলের মাধ্যমে প্রচার করে, তাই প্রমাণ করা কঠিন, যদিও ফাংশন ইতিমধ্যে রাজ্যের অভিন্ন সুপারপজিশনের তুলনায় কিছু উন্নতি প্রদান করবে। এই ফর্মটি নিয়ে এগিয়ে অবিচ্ছেদ্য ওভার এখন সম্পাদন করা যেতে পারে, তাই আমরা ফাংশনটি হ্রাস করতে চাই এটি সংক্ষিপ্তভাবে হিসাবে প্রকাশ করা যেতে পারে C(ϕϕ)
C¯=12π02πdϕ|x{0,1}teixϕαx|2sin2(12ϕ),
ϕ
12x,y=0T1αxαy(δx,y12δx,y112δx,y+1).
minΨ0|H|Ψ0
যেখানে এর সর্বোত্তম পছন্দটি ম্যাট্রিক্স এর ন্যূনতম , এবং হ'ল ন্যূনতম এগেনুয়ালু গুরুতরভাবে, বৃহত , স্কেলগুলি চেয়ে rather নয় যা আমরা অভিন্ন পছন্দ
H=12x,y=0T1(δx,y12δx,y112δx,y+1)|xy|.
|Ψ0H
αx=2T+1sin((x+1)πT+1),
C¯
C¯=1212cos(πT+1).
TC¯1/T21/Tαx=1/T। এটি ত্রুটি বিশ্লেষণের জন্য একটি উল্লেখযোগ্য উপকার পেয়েছে।

আপনি যদি এইচএইচএল কাগজে উল্লিখিত হিসাবে একই পেতে চান তবে আমার বিশ্বাস আপনি শর্তগুলি যোগ করতে হবে হ্যামিলটোনিয়ায়। আমার অবশ্য এটি করার কোন যুক্তি নেই, তবে এটি সম্ভবত আমার ব্যর্থ ing|Ψ014(|0T1|+|T10|)

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.