Transcript
Page 1: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

QuantumAlgorithmsforSystemsofLinearEquations

RolandoSommaTheoreticalDivisionLosAlamosNationalLaboratory

Jointworkwith

WorkshopattheIntersectionofMachineLearningandQuantumInformationUniversityofMaryland

September2018

RobinKothariMicrosoft

Yigit SubasiLosAlamos

AndrewChildsMaryland

DavideOrsucciVienna

Page 2: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

QuantumAlgorithmsforSystemsofLinearEquations

References:

• “Quantumlinearsystemsalgorithmwithexponentiallyimproveddependenceonprecision”,A.M.Childs,R.Kothari,andR.D.Somma,SIAMJ.Comp.46,1920(2017).

• “Quantumalgorithmsforlinearsystemsinspiredbyadiabaticquantumcomputing”,Y.Subasi,R.D.Somma,andD.Orsucci,arXiv:1805.10549(2018).

Page 3: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Abriefhistoryofresultsinquantumcomputing

• SimulatingquantumsystemswasthemainmotivationbehindFeynman’sideaofaquantumcomputer(1982).

• Forexample,algorithmsforsimulatingthedynamicsofn spinsystemswithclassicalcomputershavecomplexitythatisexponentialinn.Quantumalgorithms,inprinciple,haveonlycomplexitythatispolynomialinn.

Page 4: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Abriefhistoryofresultsinquantumcomputing

• SimulatingquantumsystemswasthemainmotivationbehindFeynman’sideaofaquantumcomputer(1982).

• Forexample,algorithmsforsimulatingthedynamicsofn spinsystemswithclassicalcomputershavecomplexitythatisexponentialinn.Quantumalgorithms,inprinciple,haveonlycomplexitythatispolynomialinn.

• PeterShordiscoversaquantumalgorithmforefficientfactorizationofintegerswithimportantapplicationstocryptography.Shor’salgorithmresultsinasuperpolynomial quantumspeedup(1994).Hisresultwasamainmotivationforthediscoveryofotherquantumalgorithms.

Page 5: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Abriefhistoryofresultsinquantumcomputing

• SimulatingquantumsystemswasthemainmotivationbehindFeynman’sideaofaquantumcomputer(1982).

• Forexample,algorithmsforsimulatingthedynamicsofn spinsystemswithclassicalcomputershavecomplexitythatisexponentialinn.Quantumalgorithms,inprinciple,haveonlycomplexitythatispolynomialinn.

• PeterShordiscoversaquantumalgorithmforefficientfactorizationofintegerswithimportantapplicationstocryptography.Shor’salgorithmresultsinasuperpolynomial quantumspeedup(1994).Hisresultwasamainmotivationforthediscoveryofotherquantumalgorithms.

• L.Groverdiscoversaquantumalgorithmforunstructuredsearchresultinginapolynomial(quadratic)quantumspeedup(1997).AmainideainGrover’sresult(amplitudeamplification)hasbeenextensivelyusedinotherquantumalgorithmsforproblemssuchasoptimization,search,andmore.

Page 6: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Abriefhistoryofresultsinquantumcomputing

• SimulatingquantumsystemswasthemainmotivationbehindFeynman’sideaofaquantumcomputer(1982).

• Forexample,algorithmsforsimulatingthedynamicsofn spinsystemswithclassicalcomputershavecomplexitythatisexponentialinn.Quantumalgorithms,inprinciple,haveonlycomplexitythatispolynomialinn.

• PeterShordescubre unalgoritmo cuántico parafactorizar enterosconaplicaciones importantes acybersecurity,resultando en unareducción exponencial delacomplejidad clásica (1994).Sibiencomputadoras cuánticas degrantamaño noexisten,este fue elprincipalresultado quedisparó investigación en algoritmoscuánticos

• L.Groverdiscoversaquantumalgorithmforunstructuredsearchresultinginapolynomial(quadratic)quantumspeedup(1997).AmainideainGrover’sresult(amplitudeamplification)hasbeenextensivelyusedinotherquantumalgorithmsforproblemssuchasoptimization,search,andmore.

Otherquantumalgorithmsforlinearalgebraproblems?

Page 7: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Let’sconsidertheproblemofsolvingasystemoflinearequationsortherelatedproblemofinvertingamatrix:

LinearEquations:Animportantproblem

A.~x = ~

b ~x = A

�1~

b

Page 8: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Let’sconsidertheproblemofsolvingasystemoflinearequationsortherelatedproblemofinvertingamatrix:

LinearEquations:Animportantproblem

A.~x = ~

b ~x = A

�1~

b

NxN N-dimensional

Page 9: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Let’sconsidertheproblemofsolvingasystemoflinearequationsortherelatedproblemofinvertingamatrix:

LinearEquations:Animportantproblem

A.~x = ~

b ~x = A

�1~

b

• Thereisavarietyofclassicalalgorithmstosolvethisproblem.Nevertheless,evenwhenthematrixA andvectorƃ aresparse,thecomplexityof``exact’’classicalalgorithmsisatleastlinearinN.

Page 10: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Let’sconsidertheproblemofsolvingasystemoflinearequationsortherelatedproblemofinvertingamatrix:

LinearEquations:Animportantproblem

A.~x = ~

b ~x = A

�1~

b

• Thereisavarietyofclassicalalgorithmstosolvethisproblem.Nevertheless,evenwhenthematrixA andvectorƃ aresparse,thecomplexityof``exact’’classicalalgorithmsisatleastlinearinN.

• Aresult[HHL08]:Quantumcomputerscanprepareaquantumstateproportionaltothesolutionofthesystemintimethatispolynomialintheconditionnumber,inverseofprecision,andthelogarithmofthedimension(undersomeassumptions).

Page 11: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Let’sconsidertheproblemofsolvingasystemoflinearequationsortherelatedproblemofinvertingamatrix:

LinearEquations:Animportantproblem

A.~x = ~

b ~x = A

�1~

b

• Thereisavarietyofclassicalalgorithmstosolvethisproblem.Nevertheless,evenwhenthematrixA andvectorƃ aresparse,thecomplexityof``exact’’classicalalgorithmsisatleastlinearinN.

• Aresult[HHL08]:Quantumcomputerscanprepareaquantumstateproportionaltothesolutionofthesystemintimethatispolynomialintheconditionnumber,inverseofprecision,andthelogarithmofthedimension(undersomeassumptions).

• Note:Thisisasomewhatdifferentproblem(QLSP)andclassicalalgorithmsmaydobetterinthiscase.However,theQLSPisBQP-Complete.

Page 12: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

QuantumLinearSystemProblem(QLSP)

A.~x = ~

b

Assumptions

• A isHermitianofdimensionNxN• A iss-sparse• A isinvertibleanditsconditionnumberis𝜅<∞• ThespectralnormofA isboundedby1

Page 13: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

QuantumLinearSystemProblem(QLSP)

A.~x = ~

b

Assumptions

• A isHermitianofdimensionNxN• A iss-sparse• A isinvertibleanditsconditionnumberis𝜅<∞• ThespectralnormofA isboundedby1

Page 14: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

QuantumLinearSystemProblem(QLSP)

A.~x = ~

b

Assumptions

• A isHermitianofdimensionNxN• A iss-sparse• A isinvertibleanditsconditionnumberis𝜅<∞• ThespectralnormofA isboundedby1

Page 15: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

QuantumLinearSystemProblem(QLSP)

A.~x = ~

b

Assumptions

• A isHermitianofdimensionNxN• A iss-sparse• A isinvertibleanditsconditionnumberis𝜅<∞• ThespectralnormofA isboundedby1

Page 16: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

QuantumLinearSystemProblem(QLSP)

A.~x = ~

b

Assumptions

• A isHermitianofdimensionNxN• A iss-sparse• A isinvertibleanditsconditionnumberis𝜅<∞• ThespectralnormofA isboundedby1

Let CA(t, ✏) be the cost of simulating e�iAtwith precision ✏

Page 17: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

QuantumLinearSystemProblem(QLSP)

A.~x = ~

b

Assumptions

• A isHermitianofdimensionNxN• A iss-sparse• A isinvertibleanditsconditionnumberis𝜅<∞• ThespectralnormofA isboundedby1

Let CA(t, ✏) be the cost of simulating e�iAtwith precision ✏

Page 18: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Hamiltoniansimulation

Note:RecentadvancesinHamiltoniansimulationresultedin

CA(t, ✏) = ˜O(tsTA log(t/✏))

• Complexityalmostlinearintheevolutiontime• Complexityispolylogarithmic intheinverseofaprecisionparameter

D.Berry,A.Childs,R.Cleve,R.Kothari,andRDS,PRL114,090502(2015)D.Berry,A.Childs,andR.Kothari,FOCS2015,792(2015)G.H.LowandI.Chuang,PRL118,010501(2017)

Page 19: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

QuantumLinearSystemProblem(QLSP)Someapplications:

• Inphysics,wherethegoalistocomputetheexpectationvalueoftheinverseofamatrix.Thisideawasusedin[1]forobtainingtheresistanceofanetwork.

• Instatmech,where,e.g.,estimatingthehittingtimeofaMarkovchainalsoreducestocomputingtheexpectationvalueoftheinverseofamatrix[2]

• InML,forsolvingproblemsrelatedtoleast-squaresestimation[3],byapplyingthepseudoinverse:

• Forsolvingcertainlineardifferentialequations[4]:

[1]G.Wang,arXiv:1311.1851(2013).[2]A.ChowdhuryandR.Somma,QIC17,0041(2017)[3]N.Wiebe,D.Braun,andS.Lloyd,PRL109,050505(2012).[4]D.Berry,A.Childs,A.Ostrander,andG.Wang,CMP356,1057(2017)

Page 20: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

QuantumLinearSystemProblem(QLSP)

Anote: Evenforthoseapplications,anumberofassumptionsmustbemadeinordertoobtainquantumspeedups.Theseassumptionsincludeefficientpreparationofcertainstates(ofexp manyamplitudes),nicescalingoftheconditionnumber,andsolvingcertainproblemslikecomputingexpectationvalues.Forthesereasons,shownquantumspeedupsaretypicallypolynomial.

Page 21: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

TheHHLAlgorithmfortheQLSP[5]

[5]Harrow,Hassidim,Lloyd,PRL103,150502(2009)

[HHL08]ThereexistsaquantumalgorithmthatsolvestheQLSPwithcomplexity

O [(Tb + CA(/✏, ✏/))]

Page 22: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

TheHHLAlgorithmfortheQLSP[5]

[HHL08]ThereexistsaquantumalgorithmthatsolvestheQLSPwithcomplexity

ConsideringthatmanyHamiltonianscanbesimulatedefficientlyonquantumcomputers,thecomplexitydependenceonthedimensionissmall(e.g.,logarithmic)

[5]Harrow,Hassidim,Lloyd,PRL103,150502(2009)

O [(Tb + CA(/✏, ✏/))]

Page 23: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

ImprovementsoftheHHLAlgorithm[6]

[5]Harrow,Hassidim,Lloyd,PRL103,150502(2009)[6]A.Ambainis,STACS14,636(2012)

[HHL08]ThereexistsaquantumalgorithmthatsolvestheQLSPwithcomplexity

FurtherimprovementsbyAmbainis (VariableTimeAmplitudeAmplificationorVTAA):

[6]ThereexistsaquantumalgorithmthatsolvestheQLSPwithcomplexity

O⇥Tb + CA(/✏

3, ✏)⇤

ConsideringthatmanyHamiltonianscanbesimulatedefficientlyonquantumcomputers,thecomplexitydependenceonthedimensionissmall(e.g.,logarithmic)

O [(Tb + CA(/✏, ✏/))]

Page 24: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

ImprovementsoftheHHLAlgorithm[6]

[5]Harrow,Hassidim,Lloyd,PRL103,150502(2009)[6]A.Ambainis,STACS14,636(2012)

[HHL08]ThereexistsaquantumalgorithmthatsolvestheQLSPwithcomplexity

FurtherimprovementsbyAmbainis (VariableTimeAmplitudeAmplificationorVTAA):

[6]ThereexistsaquantumalgorithmthatsolvestheQLSPwithcomplexity

O⇥Tb + CA(/✏

3, ✏)⇤

• NotethatthebestHamiltoniansimulationmethodshavequeryandgatecomplexitiesalmostlinearinevolutiontimeandlogarithmicinprecision

Almostlinearin𝜅!

ConsideringthatmanyHamiltonianscanbesimulatedefficientlyonquantumcomputers,thecomplexitydependenceonthedimensionissmall(e.g.,logarithmic)

O [(Tb + CA(/✏, ✏/))]

Page 25: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

AquickviewoftheHHLalgorithmandVTAA

[5]Harrow,Hassidim,Lloyd,PRL103,150502(2009)

Page 26: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

AquickviewoftheHHLalgorithmandVTAA

[5]Harrow,Hassidim,Lloyd,PRL103,150502(2009)

Page 27: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

AquickviewoftheHHLalgorithmandVTAA

[5]Harrow,Hassidim,Lloyd,PRL103,150502(2009)[6]A.Ambainis,STACS14,636(2012)

|bi !N�1X

j=0

cj |vjiI |�jiE

Page 28: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

AquickviewoftheHHLalgorithmandVTAA

[5]Harrow,Hassidim,Lloyd,PRL103,150502(2009)

|bi !N�1X

j=0

cj |vjiI |�jiE

Thisregistercontainstheeigenvalueestimate(superposition):

• Itsufficestohavetheestimatewithrelativeprecision𝜖• Orderlog(𝜅/𝜖)ancillaryqubits

Page 29: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

AquickviewoftheHHLalgorithmandVTAA

[5]Harrow,Hassidim,Lloyd,PRL103,150502(2009)

|bi !N�1X

j=0

cj |vjiI |�jiE

Then we implement the conditional rotation: |˜�jiE ! |˜�jiE

1

˜�j

|0iO +

s1� 1

2˜�2j

|1iO

!

Page 30: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

AquickviewoftheHHLalgorithmandVTAA

[5]Harrow,Hassidim,Lloyd,PRL103,150502(2009)

|bi !N�1X

j=0

cj |vjiI |�jiE

Then we implement the conditional rotation: |˜�jiE ! |˜�jiE

1

˜�j

|0iO +

s1� 1

2˜�2j

|1iO

!

Undophaseestimation

Page 31: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

AquickviewoftheHHLalgorithmandVTAA

[5]Harrow,Hassidim,Lloyd,PRL103,150502(2009)

|bi !N�1X

j=0

cj |vjiI |�jiE

Then we implement the conditional rotation: |˜�jiE ! |˜�jiE

1

˜�j

|0iO +

s1� 1

2˜�2j

|1iO

!

Undophaseestimation

Amplitude amplification for amplifying the amplitude of the |0iO state

Page 32: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

AquickviewoftheHHLalgorithmandVTAA

[5]Harrow,Hassidim,Lloyd,PRL103,150502(2009)

Roughly,thescalingoftheHHLalgorithmcanbeanalyzedfromtheworstcase:

|bi = (1/)|v1/i+p

1� 1/2|v1i

Page 33: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

AquickviewoftheHHLalgorithmandVTAA

[5]Harrow,Hassidim,Lloyd,PRL103,150502(2009)

Roughly,thescalingoftheHHLalgorithmcanbeanalyzedfromtheworstcase:

|bi = (1/)|v1/i+p

1� 1/2|v1i

Theactionof1/ A willroughlycreatetheequalsuperpositionstate,sobothareequallyimportant

Page 34: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

AquickviewoftheHHLalgorithmandVTAA

[5]Harrow,Hassidim,Lloyd,PRL103,150502(2009)

Roughly,thescalingoftheHHLalgorithmcanbeanalyzedfromtheworstcase:

|bi = (1/)|v1/i+p

1� 1/2|v1i

Theactionof1/ A willroughlycreatetheequalsuperpositionstate,sobothareequallyimportant

ForthedesiredprecisionweneedtoevolvewithA fortimeoforder𝜅/𝜖

Page 35: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

AquickviewoftheHHLalgorithmandVTAA

[5]Harrow,Hassidim,Lloyd,PRL103,150502(2009)

Roughly,thescalingoftheHHLalgorithmcanbeanalyzedfromtheworstcase:

|bi = (1/)|v1/i+p

1� 1/2|v1i

Theactionof1/ A willroughlycreatetheequalsuperpositionstate,sobothareequallyimportant

ForthedesiredprecisionweneedtoevolvewithA fortimeoforder𝜅/𝜖

Theactionof1/ (𝜅 A )onthestatereducesitsamplitudebyorder1/ 𝜅 andorder𝜅amplitudeamplificationroundsareneeded

Page 36: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

AquickviewoftheHHLalgorithmandVTAA

[5]Harrow,Hassidim,Lloyd,PRL103,150502(2009)

Roughly,thescalingoftheHHLalgorithmcanbeanalyzedfromtheworstcase:

|bi = (1/)|v1/i+p

1� 1/2|v1i

Theactionof1/ A willroughlycreatetheequalsuperpositionstate,sobothareequallyimportant

ForthedesiredprecisionweneedtoevolvewithA fortimeoforder𝜅/𝜖

Theactionof1/ (𝜅 A )onthestatereducesitsamplitudebyorder1/ 𝜅 andorder𝜅amplitudeamplificationroundsareneeded

FromhereweseethatweneedtoevolvewithA fortimethatis,atleast,order𝜅2/𝜖

Page 37: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

AquickviewoftheHHLalgorithmandVTAA

Howcanweimprovethistimecomplexitytosomethingthatisalmostlinearintheconditionnumber?

[6]A.Ambainis,STACS14,636(2012)

Page 38: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

AquickviewoftheHHLalgorithmandVTAA

Howcanweimprovethistimecomplexitytosomethingthatisalmostlinearintheconditionnumber?OneanswerisviaVariableTimeAmplitudeAmplification(VTAA)[6]

[6]A.Ambainis,STACS14,636(2012)

Page 39: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

AquickviewoftheHHLalgorithmandVTAA

[6]A.Ambainis,STACS14,636(2012)

Howcanweimprovethistimecomplexitytosomethingthatisalmostlinearintheconditionnumber?OneanswerisviaVariableTimeAmplitudeAmplification(VTAA)[6]Theroughideaisasfollows(again,consideringtheworstcase):

• Firstwedoabad-precisionphaseestimationtodistinguishlargefromsmalleigenvalues.ThismaybedoneevolvingwithA fortimeindependentof𝜅

• Thenweimplementaroughapproximationof1/𝜅 A toeigenstatesoflargeeigenvalue

• Weneedorder𝜅 amplitudeamplificationsteps• Weimplementanaccurateapproximationof1/ 𝜅 A toeigenstatesofsmall

eigenvalue• Amplitudeamplificationfororder1steps• UndophaseestimationorapplytheFouriertransform

|bi = (1/)|v1/i+p

1� 1/2|v1i

Page 40: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

AquickviewoftheHHLalgorithmandVTAA

[6]A.Ambainis,STACS14,636(2012)

Howcanweimprovethistimecomplexitytosomethingthatisalmostlinearintheconditionnumber?OneanswerisviaVariableTimeAmplitudeAmplification(VTAA)[6]Theroughideaisasfollows(again,consideringtheworstcase):

• Firstwedoabad-precisionphaseestimationtodistinguishlargefromsmalleigenvalues.ThismaybedoneevolvingwithA fortimeindependentof𝜅

• Thenweimplementaroughapproximationof1/𝜅 A toeigenstatesoflargeeigenvalue

• Weneedorder𝜅 amplitudeamplificationsteps• Weimplementanaccurateapproximationof1/ 𝜅 A toeigenstatesofsmall

eigenvalue• Amplitudeamplificationfororder1steps• UndophaseestimationorapplytheFouriertransform

ThecomplexityofVTAAintermsofprecisionisworsethanthatofHHL

|bi = (1/)|v1/i+p

1� 1/2|v1i

Page 41: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Thistalk:twoquantumalgorithmsfortheQSLP

• IwillpresenttwoquantumalgorithmsfortheQLSPthatimprovepreviousresultsindifferentways:

[7]ThereexistsaquantumalgorithmthatsolvestheQLSPwithcomplexity

[7]A.Childs,R.Kothari,RDS,SIAMJ.Comp.46,1920(2017).

˜O [(Tb + CA( log(/✏, ✏/))]

Page 42: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Thistalk:twoquantumalgorithmsfortheQSLP

• IwillpresenttwoquantumalgorithmsfortheQLSPthatimprovepreviousresultsindifferentways:

[7]ThereexistsaquantumalgorithmthatsolvestheQLSPwithcomplexity

• Thisresultsinanexponentialimprovementontheprecisionparameter

[7]A.Childs,R.Kothari,RDS,SIAMJ.Comp.46,1920(2017).

˜O [(Tb + CA( log(/✏, ✏/))]

Page 43: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Thistalk:twoquantumalgorithmsfortheQSLP

• IwillpresenttwoquantumalgorithmsfortheQLSPthatimprovepreviousresultsindifferentways:

[7]ThereexistsaquantumalgorithmthatsolvestheQLSPwithcomplexity

• Thisresultsinanexponentialimprovementontheprecisionparameter• ItcanbeimprovedusingaversionofVTAAto:

[7]A.Childs,R.Kothari,RDS,SIAMJ.Comp.46,1920(2017).

[7]ThereexistsaquantumalgorithmthatsolvestheQLSPwithcomplexity

˜O [(Tb + CA( log(/✏, ✏/))]

˜O [Tb + CA( log(/✏, ✏))]

Page 44: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Thistalk:twoquantumalgorithmsfortheQSLP

• ThepreviousresultallowedustoproveapolynomialquantumspeedupforhittingtimeestimationintermsofthespectralgapofaMarkovchainandprecision(A.Chowdhury,R.D.Somma,QIC17,0041(2017)).

• Havingasmallcomplexitydependenceonprecisionisimportantfor,e.g.,computingexpectationvaluesofobservablesatthequantummetrologylimit.

Whytheseimprovementsareimportant?

Page 45: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Thistalk:twoquantumalgorithmsfortheQSLP

• IwillpresenttwoquantumalgorithmsfortheQLSPthatimprovepreviousresultsindifferentways:

[8]ThereexistsaquantumalgorithmthatsolvestheQLSPbyevolvingwithHamiltoniansthatarelinearcombinationsof(productsof)A,theprojectorintheinitialstate,andPaulimatrices.Theoverallevolutiontimeis

[8]Y.Subasi,RDS,D.Orsucci,arXiv:1805.10549(2018).

O(/✏)

Page 46: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Thistalk:twoquantumalgorithmsfortheQSLP

• IwillpresenttwoquantumalgorithmsfortheQLSPthatimprovepreviousresultsindifferentways:

[8]ThereexistsaquantumalgorithmthatsolvestheQLSPbyevolvingwithHamiltoniansthatarelinearcombinationsof(productsof)A,theprojectorintheinitialstate,andPaulimatrices.Theoverallevolutiontimeis

UsingHamiltoniansimulation,thistransferstocomplexity

[8]Y.Subasi,RDS,D.Orsucci,arXiv:1805.10549(2018).

O(/✏)

O(Tb/✏+ CA(/✏, ✏))

Page 47: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Thistalk:twoquantumalgorithmsfortheQSLP

• IwillpresenttwoquantumalgorithmsfortheQLSPthatimprovepreviousresultsindifferentways:

[8]ThereexistsaquantumalgorithmthatsolvestheQLSPbyevolvingwithHamiltoniansthatarelinearcombinationsof(productsof)A,theprojectorintheinitialstate,andPaulimatrices.Theoverallevolutiontimeis

UsingHamiltoniansimulation,thistransferstocomplexity

O(/✏)

O(Tb/✏+ CA(/✏, ✏))

• Themethodisverydifferentandbasedonadiabaticevolutions.Itdoesnotrequireofcomplicatedsubroutinessuchasphaseestimationandvariabletimeamplitudeamplification,thereforereducingthenumberofancillaryqubitssubstantially.

[8]Y.Subasi,RDS,D.Orsucci,arXiv:1805.10549(2018).

Page 48: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Thistalk:twoquantumalgorithmsfortheQSLP

• PhaseestimationandVTAArequireseveralancillaryqubits(beyondthoseneededforHamiltoniansimulation)

• Withintwoweeksofpostingourresult,agroupimplementedouralgorithminNMR,claimingthatitisthelargestsimulatedinstancesofar(8x8)[9]

Whythisimprovementisimportant?

[9]J.Wen,et.al.,arXiv:1806.0329(2018)

Page 49: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

Page 50: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

Page 51: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

• 1/A isnotunitaryandweneedtofindaunitaryimplementationforit.Wethengothroughasequenceofapproximations:

Page 52: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

• 1/A isnotunitaryandweneedtofindaunitaryimplementationforit.Wethengothroughasequenceofapproximations:

wearegettingcloser:Linearcombinationofunitaries

Page 53: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

Page 54: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

�1.0 �0.5 0.5 1.0

�20

�10

10

20

Page 55: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

�1.0 �0.5 0.5 1.0

�20

�10

10

20

Page 56: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

�1.0 �0.5 0.5 1.0

�20

�10

10

20

Themaximum“evolutiontime”underA intheapproximationof1/A is

Page 57: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

• Sofarweapproximated1/A,withinthedesiredaccuracy,byafinitelinearcombinationofunitaries.EachunitarycorrespondstoevolvingwithA forcertaintime,andthemaxevolutiontimeisalmostlinearintheconditionnumber

Page 58: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

• Sofarweapproximated1/A,withinthedesiredaccuracy,byafinitelinearcombinationofunitaries.EachunitarycorrespondstoevolvingwithA forcertaintime,andthemaxevolutiontimeisalmostlinearintheconditionnumber

QLSP Hamiltoniansimulation

Page 59: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Implementingalinearcombinationofunitaries

Suppose we want to implement the operator �1U1 + �2U2 to some state | iwhere �i � 0, �1 + �2 = 1, and Ui unitary

Page 60: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Implementingalinearcombinationofunitaries

Suppose we want to implement the operator �1U1 + �2U2 to some state | iwhere �i � 0, �1 + �2 = 1, and Ui unitary

p�1|0i+

p�2|1i

| i Ui

V V †|0i

(�1U1 + �2U2)| i|0i+p�1�2(U1 � U2)| i|1i

Page 61: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Implementingalinearcombinationofunitaries

Suppose we want to implement the operator �1U1 + �2U2 to some state | iwhere �i � 0, �1 + �2 = 1, and Ui unitary

p�1|0i+

p�2|1i

| i Ui

V V †|0i

(�1U1 + �2U2)| i|0i+p�1�2(U1 � U2)| i|1i

Correctpart Incorrectpart(orthogonal)

Page 62: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Implementingalinearcombinationofunitaries

Suppose we want to implement the operator �1U1 + �2U2 to some state | iwhere �i � 0, �1 + �2 = 1, and Ui unitary

p�1|0i+

p�2|1i

| i Ui

V V †|0i

(�1U1 + �2U2)| i|0i+p�1�2(U1 � U2)| i|1i

Correctpart Incorrectpart(orthogonal)

This idea can be generalized to the case where the goal is to implement

M�1X

i=0

�iUi

Page 63: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Implementingalinearcombinationofunitaries

Suppose we want to implement the operator �1U1 + �2U2 to some state | iwhere �i � 0, �1 + �2 = 1, and Ui unitary

p�1|0i+

p�2|1i

| i Ui

V V †|0i

(�1U1 + �2U2)| i|0i+p�1�2(U1 � U2)| i|1i

Correctpart Incorrectpart(orthogonal)

This idea can be generalized to the case where the goal is to implement

M�1X

i=0

�iUi

1

�(M�1X

i=0

�iUi)| i|0 . . . 0i+ |⇠?i

Page 64: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Implementingalinearcombinationofunitaries

Suppose we want to implement the operator �1U1 + �2U2 to some state | iwhere �i � 0, �1 + �2 = 1, and Ui unitary

p�1|0i+

p�2|1i

| i Ui

V V †|0i

(�1U1 + �2U2)| i|0i+p�1�2(U1 � U2)| i|1i

Correctpart Incorrectpart(orthogonal)

This idea can be generalized to the case where the goal is to implement

M�1X

i=0

�iUi

1

�(M�1X

i=0

�iUi)| i|0 . . . 0i+ |⇠?i Amplitudeamplificationtoobtainthecorrectpart

Page 65: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

• WeusetheLCUapproachtoimplementtheFourierapproximationof1/A

Page 66: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

• WeusetheLCUapproachtoimplementtheFourierapproximationof1/A

• Note:WeassumethatthegatecomplexityoftheoperationVissmallwithrespecttoothercomplexities

• Addingupallthecoefficientsinthelinearcombinationofunitaries,weobtain

� = O()

Page 67: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

• WeusetheLCUapproachtoimplementtheFourierapproximationof1/A

• Note:WeassumethatthegatecomplexityoftheoperationVissmallwithrespecttoothercomplexities

• Addingupallthecoefficientsinthelinearcombinationofunitaries,weobtain

• Thisisalsothenumberofamplitudeamplificationrounds

� = O()

Page 68: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

• WeusetheLCUapproachtoimplementtheFourierapproximationof1/A

• Note:WeassumethatthegatecomplexityoftheoperationVissmallwithrespecttoothercomplexities

• Addingupallthecoefficientsinthelinearcombinationofunitaries,weobtain

• Thisisalsothenumberofamplitudeamplificationrounds

• Then,theoverallcomplexityofthisapproachis

� = O()

˜O [(Tb + CA( log(/✏, ✏/))]

Page 69: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

• WeusetheLCUapproachtoimplementtheFourierapproximationof1/A

• Note:WeassumethatthegatecomplexityoftheoperationVissmallwithrespecttoothercomplexities

• Addingupallthecoefficientsinthelinearcombinationofunitaries,weobtain

• Thisisalsothenumberofamplitudeamplificationrounds

• Then,theoverallcomplexityofthisapproachis

� = O()

Thisisalmostquadraticintheconditionnumber.ToimproveittoalmostlinearweuseaversionofVTAAthatdoesn’truinthelogarithmicscalinginprecision

˜O [(Tb + CA( log(/✏, ✏/))]

Page 70: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

• VTAAforHHLreliesheavilyonphaseestimation,bringingaprohibitivecomplexitydependenceonprecision

• Butinourcaseweonlyneedtodistinguishtheregionsfortheeigenvalueswithhighconfidence,sothescalinginprecisionislogarithmic

Page 71: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

• VTAAforHHLreliesheavilyonphaseestimation,bringingaprohibitivecomplexitydependenceonprecision

• Butinourcaseweonlyneedtodistinguishtheregionsfortheeigenvalueswithhighconfidence,sothescalinginprecisionislogarithmic

• ThefinalalgorithmisVTAAappliedtoanotheralgorithmthatisbuiltuponasequenceofsteps.

• Ateachstepwedothefollowing:i)Wedeterminetheregionoftheeigenvaluewithhighconfidence.ii)Weapply1/Awithinthenecessaryprecisionforthatregion(replacingtheconditionnumber)

Page 72: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

• VTAAforHHLreliesheavilyonphaseestimation,bringingaprohibitivecomplexitydependenceonprecision

• Butinourcaseweonlyneedtodistinguishtheregionsfortheeigenvalueswithhighconfidence,sothescalinginprecisionislogarithmic

• ThefinalalgorithmisVTAAappliedtoanotheralgorithmthatisbuiltuponasequenceofsteps.

• Ateachstepwedothefollowing:i)Wedeterminetheregionoftheeigenvaluewithhighconfidence.ii)Weapply1/Awithinthenecessaryprecisionforthatregion(replacingtheconditionnumber)

• Theoverallcomplexityofthisapproachis

˜O [Tb + CA( log(/✏, ✏))]

Page 73: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Firstalgorithm:AFourierapproachforsolvingtheQSLP

• VTAAforHHLreliesheavilyonphaseestimation,bringingaprohibitivecomplexitydependenceonprecision

• Butinourcaseweonlyneedtodistinguishtheregionsfortheeigenvalueswithhighconfidence,sothescalinginprecisionislogarithmic

• ThefinalalgorithmisVTAAappliedtoanotheralgorithmthatisbuiltuponasequenceofsteps.

• Ateachstepwedothefollowing:i)Wedeterminetheregionoftheeigenvaluewithhighconfidence.ii)Weapply1/Awithinthenecessaryprecisionforthatregion(replacingtheconditionnumber)

• Theoverallcomplexityofthisapproachis

UsingthebestHamiltoniansimulationmethods,thisisalmostlinearintheconditionnumberandpolylog ininverseofprecision

˜O [Tb + CA( log(/✏, ✏))]

Page 74: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Secondalgorithm:An“adiabatic”approachfortheQSLP

Page 75: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Secondalgorithm:An“adiabatic”approachfortheQSLP

• TheideahereistopreparetheeigenstateofaHamiltonianbypreparingasequencecontinuouslyrelatedeigenstatesofafamilyofHamiltonians

Page 76: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Secondalgorithm:An“adiabatic”approachfortheQSLP

• TheideahereistopreparetheeigenstateofaHamiltonianbypreparingasequencecontinuouslyrelatedeigenstatesofafamilyofHamiltonians

• Wewanttheeigenstatetobethedesiredquantumstate(aftertracingoutancillarysystems)

Page 77: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Secondalgorithm:An“adiabatic”approachfortheQSLP

• TheideahereistopreparetheeigenstateofaHamiltonianbypreparingasequencecontinuouslyrelatedeigenstatesofafamilyofHamiltonians

• Wewanttheeigenstatetobethedesiredquantumstate(aftertracingoutancillarysystems)

P

?b A.~x = P

?b~

b = 0

B

†B|xi = 0 , B = P

?b .A

Page 78: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Secondalgorithm:An“adiabatic”approachfortheQSLP

• TheideahereistopreparetheeigenstateofaHamiltonianbypreparingasequencecontinuouslyrelatedeigenstatesofafamilyofHamiltonians

• Wewanttheeigenstatetobethedesiredquantumstate(aftertracingoutancillarysystems)

Thefollowingpropertiescanbeproven:

• ThedesiredstateistheuniquegroundstateofH• Theeigenvaluegapisorder1/ 𝜅2

P

?b A.~x = P

?b~

b = 0

B

†B|xi = 0 , B = P

?b .A

H

Page 79: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Secondalgorithm:An“adiabatic”approachfortheQSLP

• TheideahereistopreparetheeigenstateofaHamiltonianbypreparingasequencecontinuouslyrelatedeigenstatesofafamilyofHamiltonians

• Wewanttheeigenstatetobethedesiredquantumstate(aftertracingoutancillarysystems)

Thefollowingpropertiescanbeproven:

• ThedesiredstateistheuniquegroundstateofH• Theeigenvaluegapisorder1/ 𝜅2

• WenowseekthefamilyofinterpolatingHamiltonians

P

?b A.~x = P

?b~

b = 0

B

†B|xi = 0 , B = P

?b .A

H

Page 80: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Secondalgorithm:An“adiabatic”approachfortheQSLP

• WeassumeforthemomentthatA>1/ 𝜅

Page 81: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Secondalgorithm:An“adiabatic”approachfortheQSLP

• WeassumeforthemomentthatA>1/ 𝜅

• Wedefinetheinterpolatingmatrix A(s) = (1� s)I + sA , 0 s 1

Page 82: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Secondalgorithm:An“adiabatic”approachfortheQSLP

• WeassumeforthemomentthatA>1/ 𝜅

• Wedefinetheinterpolatingmatrix

• Similarly,wedefine

A(s) = (1� s)I + sA , 0 s 1

H(s) = B†(s)B(s) , B(s) = P?b A(s)

Page 83: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Secondalgorithm:An“adiabatic”approachfortheQSLP

• WeassumeforthemomentthatA>1/ 𝜅

• Wedefinetheinterpolatingmatrix

• Similarly,wedefine

• Thisislikesolvinganincreasinglydifficultsystemoflinearequations!

A(s) = (1� s)I + sA , 0 s 1

H(s) = B†(s)B(s) , B(s) = P?b A(s)

Page 84: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Secondalgorithm:An“adiabatic”approachfortheQSLP

• WeassumeforthemomentthatA>1/ 𝜅

• Wedefinetheinterpolatingmatrix

• Similarly,wedefine

• Thisislikesolvinganincreasinglydifficultsystemoflinearequations!

A(s) = (1� s)I + sA , 0 s 1

H(s) = B†(s)B(s) , B(s) = P?b A(s)

s = 0

s = 1

|bi

|xi

H(0) = P?b

H(1) = A.P?b .A

Page 85: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Secondalgorithm:An“adiabatic”approachfortheQSLP

• WeassumeforthemomentthatA>1/ 𝜅

• Wedefinetheinterpolatingmatrix

• Similarly,wedefine

• Thisislikesolvinganincreasinglydifficultsystemoflinearequations!

• Theminimumeigenvaluegapisorder1/𝜅2 andthelengthofthepathL islog(𝜅)

A(s) = (1� s)I + sA , 0 s 1

H(s) = B†(s)B(s) , B(s) = P?b A(s)

s = 0

s = 1

|bi

|xi

H(0) = P?b

H(1) = A.P?b .A

L

Page 86: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Therandomizationmethodtoprepareeigenstates[]

s = 0|bi

|xi

H(0) = P?b

H(1) = A.P?b .A

• Byperformingasequenceofprojectivemeasurementsatsufficientlyclosepoints,wecanpreparetherelatedeigenstateswithhighprobability

s1

s2

sq

Page 87: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Therandomizationmethodtoprepareeigenstates[]

s = 0H(0) = P?

b

H(1) = A.P?b .A

• Byperformingasequenceofprojectivemeasurementsatsufficientlyclosepoints,wecanpreparetherelatedeigenstateswithhighprobability

• EachmeasurementcanbesimulatedbyevolvingwiththecorrespondingHamiltonianforrandomtime.Thisreducescoherencesbetweeneigenstates

s1

s2

sq

|bi

|xi

Page 88: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Therandomizationmethodtoprepareeigenstates[]

s = 0H(0) = P?

b

H(1) = A.P?b .A

• Byperformingasequenceofprojectivemeasurementsatsufficientlyclosepoints,wecanpreparetherelatedeigenstateswithhighprobability

• EachmeasurementcanbesimulatedbyevolvingwiththecorrespondingHamiltonianforrandomtime.Thisreducescoherencesbetweeneigenstates

• TheexpectedevolutiontimewiththeHamiltoniansintherandomizationmethodsatisfies

s1

s2

sq

|bi

|xi

TRM = O

✓L2

✏�

Page 89: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Therandomizationmethodtoprepareeigenstates[]

s = 0H(0) = P?

b

H(1) = A.P?b .A

• Byperformingasequenceofprojectivemeasurementsatsufficientlyclosepoints,wecanpreparetherelatedeigenstateswithhighprobability

• EachmeasurementcanbesimulatedbyevolvingwiththecorrespondingHamiltonianforrandomtime.Thisreducescoherencesbetweeneigenstates

• TheexpectedevolutiontimewiththeHamiltoniansintherandomizationmethodsatisfies

s1

s2

sq

|bi

|xi

L isthepathlength𝛥 isthemingap𝜖 istheerror(tracenorm)

TRM = O

✓L2

✏�

Page 90: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

TherandomizationmethodfortheQLSP[]

s = 0H(0) = P?

b

H(1) = A.P?b .A

• Byperformingasequenceofprojectivemeasurementsatsufficientlyclosepoints,wecanpreparetherelatedeigenstateswithhighprobability

• EachmeasurementcanbesimulatedbyevolvingwiththecorrespondingHamiltonianforrandomtime.Thisreducescoherencesbetweeneigenstates

• TheexpectedevolutiontimewiththeHamiltoniansintherandomizationmethodsatisfies

s1

s2

sq

|bi

|xi

TRM = O

✓2

log

2()

Page 91: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

TherandomizationmethodfortheQLSP[]

• ThestrongdependenceoftheevolutiontimewiththespectralgapsuggestsonetoconsiderotherHamiltoniansthathavethesameeigenstatebutalargereigenvaluegap

Page 92: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

TherandomizationmethodfortheQLSP[]

• ThestrongdependenceoftheevolutiontimewiththespectralgapsuggestsonetoconsiderotherHamiltoniansthathavethesameeigenstatebutalargereigenvaluegap

• Forthisproblem,spectralgapamplification[10]isuseful:

H(s) ! H 0(s) = B†(s)⌦ �� +B(s)⌦ �+ =

✓0 B(s)

B†(s) 0

[10]R.D.SommaandS.Boixo,SIAMJ.Comp.593(2013)

Page 93: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

TherandomizationmethodfortheQLSP[]

• ThestrongdependenceoftheevolutiontimewiththespectralgapsuggestsonetoconsiderotherHamiltoniansthathavethesameeigenstatebutalargereigenvaluegap

• Forthisproblem,spectralgapamplification[10]isuseful:

• Someresults:

H(s) ! H 0(s) = B†(s)⌦ �� +B(s)⌦ �+ =

✓0 B(s)

B†(s) 0

Let |x(s)i be the eigenstate of 0-eigenvalue of H(s).

Then, |x(s)i|1i is an eigenstate of 0-eigenvalue of H 0(s).

This eigenstate is separated from others by an eigenvalue gap

p�(s)

[10]R.D.SommaandS.Boixo,SIAMJ.Comp.593(2013)

Page 94: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

TherandomizationmethodfortheQLSP[]

• ThestrongdependenceoftheevolutiontimewiththespectralgapsuggestsonetoconsiderotherHamiltoniansthathavethesameeigenstatebutalargereigenvaluegap

• Forthisproblem,spectralgapamplificationisuseful:

• Someresults:

• Notethatthepathlengthdidnotchange.TheonlychangefortheRMistheuseofadifferentHamiltonian.

H(s) ! H 0(s) = B†(s)⌦ �� +B(s)⌦ �+ =

✓0 B(s)

B†(s) 0

Let |x(s)i be the eigenstate of 0-eigenvalue of H(s).

Then, |x(s)i|1i is an eigenstate of 0-eigenvalue of H 0(s).

This eigenstate is separated from others by an eigenvalue gap

p�(s)

Page 95: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

TherandomizationmethodfortheQLSP[]

• UsingtherandomizationmethodwiththenewHamiltonian,theexpectedevolutiontimeis

TRM = O

✓ log2()

Page 96: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

TherandomizationmethodfortheQLSP[]

• UsingtherandomizationmethodwiththenewHamiltonian,theexpectedevolutiontimeis

• Thecaseofnon-positivematrixA canbeanalyzedsimilarlyusing

TRM = O

✓ log2()

A(s) = (1� s)(�anc

z

⌦ I) + s(�anc

x

⌦A)

Page 97: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Therandomizationmethod,theQLSP,andthegatemodel

For A > 0, the Hamiltonian is H 0(s) = (I � |bihb|)((1� s)I + sA)�� +H.c.

Page 98: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Therandomizationmethod,theQLSP,andthegatemodel

For A > 0, the Hamiltonian is H 0(s) = (I � |bihb|)((1� s)I + sA)�� +H.c.

If |bi is sparse and A is sparse, then H 0(s) is also sparse

Page 99: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Therandomizationmethod,theQLSP,andthegatemodel

For A > 0, the Hamiltonian is H 0(s) = (I � |bihb|)((1� s)I + sA)�� +H.c.

If |bi is sparse and A is sparse, then H 0(s) is also sparse

WecanuseaHamiltoniansimulationmethodtobuildaquantumcircuitthatsimulatestheevolution.Thequantumcircuitwillusequeries.

• Thecomplexityintermsofqueriesforis

• ThecomplexityintermsofqueriesforA isalmostorder

|bihb| O(Tb/✏)

CA(/✏, ✏)

Page 100: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Therandomizationmethod,theQLSP,andthegatemodel

For A > 0, the Hamiltonian is H 0(s) = (I � |bihb|)((1� s)I + sA)�� +H.c.

If |bi is sparse and A is sparse, then H 0(s) is also sparse

• Thescalingintheprecisionparametercanbedonepolyligarithmic byusingfastermethodsforeigenpath traversal[11]

WecanuseaHamiltoniansimulationmethodtobuildaquantumcircuitthatsimulatestheevolution.Thequantumcircuitwillusequeries.

• Thecomplexityintermsofqueriesforis

• ThecomplexityintermsofqueriesforA isalmostorder

|bihb| O(Tb/✏)

CA(/✏, ✏)

[11]S.Boixo,E.Knill,andR.D.Somma,arXiv:1005.3034(2010)

Page 101: Quantum Algorithms for Systems of Linear Equationsqml2018.umiacs.io/slides/Somma.pdf · Let’s consider the problem of solving a system of linear equations or the related problem

Someconclusionsandobservations

• Quantumcomputingseemspromising.Severalquantumalgorithmsforproblemsinlinearalgebrawithsignificantspeedupsexist

• Ipresentedquantumalgorithmstosolvethequantumlinearsystemsproblem.Thetechniquescanbegeneralizedtoapplyotheroperators(otherthantheinverseofamatrix)toquantumstates.

• Theadvantagesofthefirstalgorithmareinthatthecomplexitydependenceonprecisionisonlypolylogarithmic,exponentiallyimprovingpreviousalgorithmsforthisproblem

• Theadvantagesofthesecondalgorithmareinthatitdoesn’trequiremanyancillaryqubitsandtheproblemreducestoasimpleHamiltoniansimulationproblem

• ItwouldbeimportanttounderstandtheapplicabilityofthisalgorithmtoscientificproblemsbeyondtheonesImentioned.Howimportantaretheproblemsandalgorithms?


Top Related