+ All Categories
Home > Documents > E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin...

E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin...

Date post: 06-Aug-2020
Category:
Upload: others
View: 2 times
Download: 0 times
Share this document with a friend
of 83 /83
Efficient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered Quantum Systems School of Physics University of Sydney Honours Talks 2014
Transcript
Page 1: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Efficient approximation of gapped spin chainground states.

The unfrustrated case.

Christopher Thomas Chubb

Centre for Engineered Quantum SystemsSchool of Physics

University of Sydney

Honours Talks2014

Page 2: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Simulation

Due to the computational complexity, simulations of quantumsystems often have to employ heuristics:

Simulation

Page 3: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Simulation

Due to the computational complexity, simulations of quantumsystems often have to employ heuristics:

SimulationPerturbation Theory

Page 4: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Simulation

Due to the computational complexity, simulations of quantumsystems often have to employ heuristics:

SimulationPerturbation Theory

Density Functional Theory1

1P Hohenberg and W. Kohn, doi:10/csx7jx, 1964.

Page 5: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Simulation

Due to the computational complexity, simulations of quantumsystems often have to employ heuristics:

SimulationPerturbation Theory

Density Functional Theory1

Quantum Monte Carlo

1P Hohenberg and W. Kohn, doi:10/csx7jx , 1964.

Page 6: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Simulation

Due to the computational complexity, simulations of quantumsystems often have to employ heuristics:

SimulationPerturbation Theory

Density Functional Theory1

Quantum Monte Carlo

Clustering AnalysisCoupled Clustering

Dynamic Quantum Clustering2

1P Hohenberg and W. Kohn, doi:10/csx7jx , 1964.

2M. Weinstein and D. Horn, doi:10/dffjfm, arXiv:0908.2644, 2009.

Page 7: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Simulation

Due to the computational complexity, simulations of quantumsystems often have to employ heuristics:

SimulationPerturbation Theory

Density Functional Theory1

Quantum Monte Carlo

Clustering AnalysisCoupled Clustering

Dynamic Quantum Clustering2

RenormalisationNumerical Renormalisation Group3

Density Matrix Renormalisation Group4

Time Dependent Variational Principle

Time-Evolving Block Decimation5

1P Hohenberg and W. Kohn, doi:10/csx7jx , 1964.

2M. Weinstein and D. Horn, doi:10/dffjfm, arXiv:0908.2644, 2009.

3K. G. Wilson, doi:10/b6nstt, 1975.

4S. R. White, doi:10/bbvnr8, 1992.

5G. Vidal, doi:10/c44j2t, arXiv:quant-ph/0301063, 2003

Page 8: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Simulation

Due to the computational complexity, simulations of quantumsystems often have to employ heuristics:

SimulationPerturbation Theory

Density Functional Theory1

Quantum Monte Carlo

Clustering AnalysisCoupled Clustering

Dynamic Quantum Clustering2

Density Matrix Renormalisation Group3

RenormalisationNumerical Renormalisation Group4

Time Dependent Variational Principle

Time-Evolving Block Decimation5

1P Hohenberg and W. Kohn, doi:10/csx7jx , 1964.

2M. Weinstein and D. Horn, doi:10/dffjfm, arXiv:0908.2644, 2009.

3S. R. White, doi:10/bbvnr8, 1992.

4K. G. Wilson, doi:10/b6nstt, 1975.

5G. Vidal, doi:10/c44j2t, arXiv:quant-ph/0301063, 2003

Page 9: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

The Problem with Heuristic Methods

What’s the problem with these methods? They all employheuristics.

There exist systems for which running DFT1 and DMRG2 wouldrequire solving QMA3-hard problems, implying they are notalways efficient.

They are typically efficient however. Do there existprovable-efficient equivalents?

The toy problem we are going to consider is ground stateapproximation of a spin system. This forms an importantstepping-stone to more general low-temperature simulations.

1N. Schuch and F. Verstraete, doi:10/dx67xg, arXiv:0712.0483, 2007.

2J. Eisert, doi:10/dtkfcr, arXiv:quant-ph/0609051, 2006.

3The quantum equivalent of NP; a complexity class of problems widely believed to not be efficiently solvable.

Page 10: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

The Problem with Heuristic Methods

What’s the problem with these methods? They all employheuristics.

There exist systems for which running DFT1 and DMRG2 wouldrequire solving QMA3-hard problems, implying they are notalways efficient.

They are typically efficient however. Do there existprovable-efficient equivalents?

The toy problem we are going to consider is ground stateapproximation of a spin system. This forms an importantstepping-stone to more general low-temperature simulations.

1N. Schuch and F. Verstraete, doi:10/dx67xg, arXiv:0712.0483, 2007.

2J. Eisert, doi:10/dtkfcr, arXiv:quant-ph/0609051, 2006.

3The quantum equivalent of NP; a complexity class of problems widely believed to not be efficiently solvable.

Page 11: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

The Problem with Heuristic Methods

What’s the problem with these methods? They all employheuristics.

There exist systems for which running DFT1 and DMRG2 wouldrequire solving QMA3-hard problems, implying they are notalways efficient.

They are typically efficient however. Do there existprovable-efficient equivalents?

The toy problem we are going to consider is ground stateapproximation of a spin system. This forms an importantstepping-stone to more general low-temperature simulations.

1N. Schuch and F. Verstraete, doi:10/dx67xg, arXiv:0712.0483, 2007.

2J. Eisert, doi:10/dtkfcr, arXiv:quant-ph/0609051, 2006.

3The quantum equivalent of NP; a complexity class of problems widely believed to not be efficiently solvable.

Page 12: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

The Problem with Heuristic Methods

What’s the problem with these methods? They all employheuristics.

There exist systems for which running DFT1 and DMRG2 wouldrequire solving QMA3-hard problems, implying they are notalways efficient.

They are typically efficient however. Do there existprovable-efficient equivalents?

The toy problem we are going to consider is ground stateapproximation of a spin system. This forms an importantstepping-stone to more general low-temperature simulations.

1N. Schuch and F. Verstraete, doi:10/dx67xg, arXiv:0712.0483, 2007.

2J. Eisert, doi:10/dtkfcr, arXiv:quant-ph/0609051, 2006.

3The quantum equivalent of NP; a complexity class of problems widely believed to not be efficiently solvable.

Page 13: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Quantum Hamiltonian Complexity Theory

The general problem of ground state approximation isQMA-complete.

What about if we simplify the problem?

Local1 interactions?

QMA-complete2.

2D local interactions?

QMA-complete3.

1D local interactions?

QMA-complete4.

Translation-invariant 1D local interactions?

QMA-complete.5.

Question

Are there any non-trivial ‘physically realistic’ conditions under which1D local systems can be simulated with provable efficiency?

1Geometrically local, meaning the diameter of the support is bounded by a constant.

2J. Kempe, A. Kitaev, and O. Regev, doi:10/dqbscx, arXiv:quant-ph/0406180, 2004.

3R. Oliveira and B.M. Terhal, arXiv:quant-ph/0504050, 2005.

4D. Aharanov, D. Gottesman, S. Irani, and J. Kempe, doi:10/frvmn8, arXiv:0705.4077, 2007.

5D. Gottesman, S .Irani, doi:10/v3x, arXiv:0905.2419, 2009. QMA in the system size, QMAEXP in digits of the system size.

Page 14: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Quantum Hamiltonian Complexity Theory

The general problem of ground state approximation isQMA-complete.

What about if we simplify the problem?

Local1 interactions?

QMA-complete2.

2D local interactions?

QMA-complete3.

1D local interactions?

QMA-complete4.

Translation-invariant 1D local interactions?

QMA-complete.5.

Question

Are there any non-trivial ‘physically realistic’ conditions under which1D local systems can be simulated with provable efficiency?

1Geometrically local, meaning the diameter of the support is bounded by a constant.

2J. Kempe, A. Kitaev, and O. Regev, doi:10/dqbscx, arXiv:quant-ph/0406180, 2004.

3R. Oliveira and B.M. Terhal, arXiv:quant-ph/0504050, 2005.

4D. Aharanov, D. Gottesman, S. Irani, and J. Kempe, doi:10/frvmn8, arXiv:0705.4077, 2007.

5D. Gottesman, S .Irani, doi:10/v3x, arXiv:0905.2419, 2009. QMA in the system size, QMAEXP in digits of the system size.

Page 15: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Quantum Hamiltonian Complexity Theory

The general problem of ground state approximation isQMA-complete.

What about if we simplify the problem?

Local1 interactions?

QMA-complete2.2D local interactions?

QMA-complete3.

1D local interactions?

QMA-complete4.

Translation-invariant 1D local interactions?

QMA-complete.5.

Question

Are there any non-trivial ‘physically realistic’ conditions under which1D local systems can be simulated with provable efficiency?

1Geometrically local, meaning the diameter of the support is bounded by a constant.

2J. Kempe, A. Kitaev, and O. Regev, doi:10/dqbscx, arXiv:quant-ph/0406180, 2004.

3R. Oliveira and B.M. Terhal, arXiv:quant-ph/0504050, 2005.

4D. Aharanov, D. Gottesman, S. Irani, and J. Kempe, doi:10/frvmn8, arXiv:0705.4077, 2007.

5D. Gottesman, S .Irani, doi:10/v3x, arXiv:0905.2419, 2009. QMA in the system size, QMAEXP in digits of the system size.

Page 16: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Quantum Hamiltonian Complexity Theory

The general problem of ground state approximation isQMA-complete.

What about if we simplify the problem?

Local1 interactions? QMA-complete2.

2D local interactions?

QMA-complete3.

1D local interactions?

QMA-complete4.

Translation-invariant 1D local interactions?

QMA-complete.5.

Question

Are there any non-trivial ‘physically realistic’ conditions under which1D local systems can be simulated with provable efficiency?

1Geometrically local, meaning the diameter of the support is bounded by a constant.

2J. Kempe, A. Kitaev, and O. Regev, doi:10/dqbscx, arXiv:quant-ph/0406180, 2004.

3R. Oliveira and B.M. Terhal, arXiv:quant-ph/0504050, 2005.

4D. Aharanov, D. Gottesman, S. Irani, and J. Kempe, doi:10/frvmn8, arXiv:0705.4077, 2007.

5D. Gottesman, S .Irani, doi:10/v3x, arXiv:0905.2419, 2009. QMA in the system size, QMAEXP in digits of the system size.

Page 17: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Quantum Hamiltonian Complexity Theory

The general problem of ground state approximation isQMA-complete.

What about if we simplify the problem?

Local1 interactions? QMA-complete2.2D local interactions?

QMA-complete3.1D local interactions?

QMA-complete4.

Translation-invariant 1D local interactions?

QMA-complete.5.

Question

Are there any non-trivial ‘physically realistic’ conditions under which1D local systems can be simulated with provable efficiency?

1Geometrically local, meaning the diameter of the support is bounded by a constant.

2J. Kempe, A. Kitaev, and O. Regev, doi:10/dqbscx, arXiv:quant-ph/0406180, 2004.

3R. Oliveira and B.M. Terhal, arXiv:quant-ph/0504050, 2005.

4D. Aharanov, D. Gottesman, S. Irani, and J. Kempe, doi:10/frvmn8, arXiv:0705.4077, 2007.

5D. Gottesman, S .Irani, doi:10/v3x, arXiv:0905.2419, 2009. QMA in the system size, QMAEXP in digits of the system size.

Page 18: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Quantum Hamiltonian Complexity Theory

The general problem of ground state approximation isQMA-complete.

What about if we simplify the problem?

Local1 interactions? QMA-complete2.2D local interactions? QMA-complete3.

1D local interactions?

QMA-complete4.

Translation-invariant 1D local interactions?

QMA-complete.5.

Question

Are there any non-trivial ‘physically realistic’ conditions under which1D local systems can be simulated with provable efficiency?

1Geometrically local, meaning the diameter of the support is bounded by a constant.

2J. Kempe, A. Kitaev, and O. Regev, doi:10/dqbscx, arXiv:quant-ph/0406180, 2004.

3R. Oliveira and B.M. Terhal, arXiv:quant-ph/0504050, 2005.

4D. Aharanov, D. Gottesman, S. Irani, and J. Kempe, doi:10/frvmn8, arXiv:0705.4077, 2007.

5D. Gottesman, S .Irani, doi:10/v3x, arXiv:0905.2419, 2009. QMA in the system size, QMAEXP in digits of the system size.

Page 19: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Quantum Hamiltonian Complexity Theory

The general problem of ground state approximation isQMA-complete.

What about if we simplify the problem?

Local1 interactions? QMA-complete2.2D local interactions? QMA-complete3.1D local interactions?

QMA-complete4.Translation-invariant 1D local interactions?

QMA-complete.5.

Question

Are there any non-trivial ‘physically realistic’ conditions under which1D local systems can be simulated with provable efficiency?

1Geometrically local, meaning the diameter of the support is bounded by a constant.

2J. Kempe, A. Kitaev, and O. Regev, doi:10/dqbscx, arXiv:quant-ph/0406180, 2004.

3R. Oliveira and B.M. Terhal, arXiv:quant-ph/0504050, 2005.

4D. Aharanov, D. Gottesman, S. Irani, and J. Kempe, doi:10/frvmn8, arXiv:0705.4077, 2007.

5D. Gottesman, S .Irani, doi:10/v3x, arXiv:0905.2419, 2009. QMA in the system size, QMAEXP in digits of the system size.

Page 20: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Quantum Hamiltonian Complexity Theory

The general problem of ground state approximation isQMA-complete.

What about if we simplify the problem?

Local1 interactions? QMA-complete2.2D local interactions? QMA-complete3.1D local interactions? QMA-complete4.

Translation-invariant 1D local interactions?

QMA-complete.5.

Question

Are there any non-trivial ‘physically realistic’ conditions under which1D local systems can be simulated with provable efficiency?

1Geometrically local, meaning the diameter of the support is bounded by a constant.

2J. Kempe, A. Kitaev, and O. Regev, doi:10/dqbscx, arXiv:quant-ph/0406180, 2004.

3R. Oliveira and B.M. Terhal, arXiv:quant-ph/0504050, 2005.

4D. Aharanov, D. Gottesman, S. Irani, and J. Kempe, doi:10/frvmn8, arXiv:0705.4077, 2007.

5D. Gottesman, S .Irani, doi:10/v3x, arXiv:0905.2419, 2009. QMA in the system size, QMAEXP in digits of the system size.

Page 21: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Quantum Hamiltonian Complexity Theory

The general problem of ground state approximation isQMA-complete.

What about if we simplify the problem?

Local1 interactions? QMA-complete2.2D local interactions? QMA-complete3.1D local interactions? QMA-complete4.Translation-invariant 1D local interactions?

QMA-complete.5.

Question

Are there any non-trivial ‘physically realistic’ conditions under which1D local systems can be simulated with provable efficiency?

1Geometrically local, meaning the diameter of the support is bounded by a constant.

2J. Kempe, A. Kitaev, and O. Regev, doi:10/dqbscx, arXiv:quant-ph/0406180, 2004.

3R. Oliveira and B.M. Terhal, arXiv:quant-ph/0504050, 2005.

4D. Aharanov, D. Gottesman, S. Irani, and J. Kempe, doi:10/frvmn8, arXiv:0705.4077, 2007.

5D. Gottesman, S .Irani, doi:10/v3x, arXiv:0905.2419, 2009. QMA in the system size, QMAEXP in digits of the system size.

Page 22: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Quantum Hamiltonian Complexity Theory

The general problem of ground state approximation isQMA-complete.

What about if we simplify the problem?

Local1 interactions? QMA-complete2.2D local interactions? QMA-complete3.1D local interactions? QMA-complete4.Translation-invariant 1D local interactions? QMA-complete.5.

Question

Are there any non-trivial ‘physically realistic’ conditions under which1D local systems can be simulated with provable efficiency?

1Geometrically local, meaning the diameter of the support is bounded by a constant.

2J. Kempe, A. Kitaev, and O. Regev, doi:10/dqbscx, arXiv:quant-ph/0406180, 2004.

3R. Oliveira and B.M. Terhal, arXiv:quant-ph/0504050, 2005.

4D. Aharanov, D. Gottesman, S. Irani, and J. Kempe, doi:10/frvmn8, arXiv:0705.4077, 2007.

5D. Gottesman, S .Irani, doi:10/v3x, arXiv:0905.2419, 2009. QMA in the system size, QMAEXP in digits of the system size.

Page 23: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Quantum Hamiltonian Complexity Theory

The general problem of ground state approximation isQMA-complete.

What about if we simplify the problem?

Local1 interactions? QMA-complete2.2D local interactions? QMA-complete3.1D local interactions? QMA-complete4.Translation-invariant 1D local interactions? QMA-complete.5.

Question

Are there any non-trivial ‘physically realistic’ conditions under which1D local systems can be simulated with provable efficiency?

1Geometrically local, meaning the diameter of the support is bounded by a constant.

2J. Kempe, A. Kitaev, and O. Regev, doi:10/dqbscx, arXiv:quant-ph/0406180, 2004.

3R. Oliveira and B.M. Terhal, arXiv:quant-ph/0504050, 2005.

4D. Aharanov, D. Gottesman, S. Irani, and J. Kempe, doi:10/frvmn8, arXiv:0705.4077, 2007.

5D. Gottesman, S .Irani, doi:10/v3x, arXiv:0905.2419, 2009. QMA in the system size, QMAEXP in digits of the system size.

Page 24: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Role of entanglement

One main limiting factor is entanglement.

Classical states can be specified on each subsystem piecewise,quantum systems however can exhibit any linear combination ofsuch a product state (c.f. tensor products).

Variables in a classical state ∼ poly(System size)

Variables in a quantum state ∼ exp(System size)

Entanglement is a measure of information not contained insubsystems alone.

Idea

A structural bound (limit on entanglement) implies a complexitybound (efficiency of approximation).

Page 25: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Role of entanglement

One main limiting factor is entanglement.

Classical states can be specified on each subsystem piecewise,quantum systems however can exhibit any linear combination ofsuch a product state (c.f. tensor products).

Variables in a classical state ∼ poly(System size)

Variables in a quantum state ∼ exp(System size)

Entanglement is a measure of information not contained insubsystems alone.

Idea

A structural bound (limit on entanglement) implies a complexitybound (efficiency of approximation).

Page 26: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Measures of entanglement

For a state |ψ〉, the full state and reduced state specified on aregion A are given by

ρ = |ψ〉〈ψ| ρA = TrA ρ

The full state ρ is pure but ρA needn’t be; the entropy of ρA is ameasure of the entanglement between regions A and A, e.g.:

Rα(ρA) :=log Tr ραA

1− α(Renyi Entropy)

R1(ρA) =− Tr(ρA log ρA) = S(ρA) (Entropy)

R0(ρA) = log rank(ρA) = logB(ρA) (Rank)

Page 27: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Local and gapped Hamiltonians

Local systems exhibit a light-cone (up to exponentialcorrections) given by the Lieb-Robinson1 velocity vLR :

‖[A,B]‖ ≤ e−c(d−vLR t) ‖A‖ ‖B‖

where d/t are the distance/time between observables A and B.

Definition (Spectral gap/Gapped Hamiltonian)

The spectral gap ∆E of a Hamiltonian is the difference between theground and first excited energy. Gapped Hamiltonians are those forwhich the spectral gap is lower bounded by a constant ∆E = Ω(1).

Ground states exhibit exponential decay of correlations2 withcharacteristic length ξ:

|〈AB〉 − 〈A〉 〈B〉| ≤ e−d/ξ ‖A‖ ‖B‖ ξ :=2vLR∆E

1E.H. Lieb and D.W. Robinson, doi:10/bphzp4, 1972.

2M.B. Hastings and T. Koma, doi:10/cddqgz, arXiv:math-ph/0507008, 2005.

Page 28: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Local and gapped Hamiltonians

Local systems exhibit a light-cone (up to exponentialcorrections) given by the Lieb-Robinson1 velocity vLR :

‖[A,B]‖ ≤ e−c(d−vLR t) ‖A‖ ‖B‖

where d/t are the distance/time between observables A and B.

Definition (Spectral gap/Gapped Hamiltonian)

The spectral gap ∆E of a Hamiltonian is the difference between theground and first excited energy. Gapped Hamiltonians are those forwhich the spectral gap is lower bounded by a constant ∆E = Ω(1).

Ground states exhibit exponential decay of correlations2 withcharacteristic length ξ:

|〈AB〉 − 〈A〉 〈B〉| ≤ e−d/ξ ‖A‖ ‖B‖ ξ :=2vLR∆E

1E.H. Lieb and D.W. Robinson, doi:10/bphzp4, 1972.

2M.B. Hastings and T. Koma, doi:10/cddqgz, arXiv:math-ph/0507008, 2005.

Page 29: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Local and gapped Hamiltonians

Local systems exhibit a light-cone (up to exponentialcorrections) given by the Lieb-Robinson1 velocity vLR :

‖[A,B]‖ ≤ e−c(d−vLR t) ‖A‖ ‖B‖

where d/t are the distance/time between observables A and B.

Definition (Spectral gap/Gapped Hamiltonian)

The spectral gap ∆E of a Hamiltonian is the difference between theground and first excited energy. Gapped Hamiltonians are those forwhich the spectral gap is lower bounded by a constant ∆E = Ω(1).

Ground states exhibit exponential decay of correlations2 withcharacteristic length ξ:

|〈AB〉 − 〈A〉 〈B〉| ≤ e−d/ξ ‖A‖ ‖B‖ ξ :=2vLR∆E

1E.H. Lieb and D.W. Robinson, doi:10/bphzp4, 1972.

2M.B. Hastings and T. Koma, doi:10/cddqgz, arXiv:math-ph/0507008, 2005.

Page 30: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Volume Law

In general the entanglement between A and A can scale with the‘volume1’ of the region

S = O(|A|)

Is this typical of ground states? The two previous notions of localityseem to suggest otherwise.

1Number of spins contained within.

Page 31: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Volume Law

In general the entanglement between A and A can scale with the‘volume1’ of the region

S = O(|A|)

Is this typical of ground states? The two previous notions of localityseem to suggest otherwise.

1Number of spins contained within.

Page 32: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Area Law

We might suspect S(ρA) . ξ |∂A|.

Conjecture (Area Law of entanglement entropy)

Ground states of local and gapped systems obey an ‘are’1’ law

S(ρA) = O(|∂A|)

1Number of spins along the boundary.

Page 33: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Area Law

We might suspect S(ρA) . ξ |∂A|.

Conjecture (Area Law of entanglement entropy)

Ground states of local and gapped systems obey an ‘are’1’ law

S(ρA) = O(|∂A|)

1Number of spins along the boundary.

Page 34: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Proofs of the 1D area law

For 1D local states with a gap lower bounded by ε:

Year Result Notes

20071 S ≤ eO(ε−1) Combinatorial

20122 S ≤ O(ε−3) Unfrustrated only

20133 S ≤ O(ε−3/2) Frustrated

20144 Rα ≤ O(α−3ε−1)One ground of

a degen. system

For our purposes we are going to assume an area law for alldegenerate ground states.

1M.B. Hastings, doi:10/ccx4md, arXiv:0705.2024, 2007.

2I. Arad, Z. Landau, and U. Vazirani, doi:10/v34, arXiv:1111.2970, 2012.

3I. Arad, A. Kitaev, Z. Landau, and U. Vazirani, arXiv:1301.1162,2012.

4Y. Huang, arXiv:1403.0327, 2014

Page 35: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Proofs of the 1D area law

For 1D local states with a gap lower bounded by ε:

Year Result Notes

20071 S ≤ eO(ε−1) Combinatorial

20122 S ≤ O(ε−3) Unfrustrated only

20133 S ≤ O(ε−3/2) Frustrated

20144 Rα ≤ O(α−3ε−1)One ground of

a degen. system

For our purposes we are going to assume an area law for alldegenerate ground states.

1M.B. Hastings, doi:10/ccx4md, arXiv:0705.2024, 2007.

2I. Arad, Z. Landau, and U. Vazirani, doi:10/v34, arXiv:1111.2970, 2012.

3I. Arad, A. Kitaev, Z. Landau, and U. Vazirani, arXiv:1301.1162,2012.

4Y. Huang, arXiv:1403.0327, 2014

Page 36: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Matrix Product States

One consequence of the area law is the existence of a1/poly(n)-accurate approximate ground state with entanglementrank bounded

B ≤ exp(O(ε−1/4 log3/4 n

))= no(1)

As such we can utilise the Matrix Product State ansatz

This ansatz allows for any state with the given entanglementrank to be represented by no(1) complex numbers; efficientrepresentation.

Page 37: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Matrix Product States

One consequence of the area law is the existence of a1/poly(n)-accurate approximate ground state with entanglementrank bounded

B ≤ exp(O(ε−1/4 log3/4 n

))= no(1)

As such we can utilise the Matrix Product State ansatz

This ansatz allows for any state with the given entanglementrank to be represented by no(1) complex numbers; efficientrepresentation.

Page 38: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

The Viable Set

Our algorithm is based on the unique ground state algorithm ofLandau, Vazirani and Vidick. This class of ground state algorithmsworks by constructing viable sets.

Definition

A (i ,s,δ)-viable set is a set of states such that:

These states are defined on the first i spins.

The cardinality of this set is s.

This set’s span supports the reduced density matrix of a witnessstate |ψ〉, which has ground state overlap at least 1− δ.

If we can construct a (n, poly(n), η)-viable, then by minimise theHamiltonian on this set we can efficiently find a state with 1− ηground state overlap.

Page 39: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

The Viable Set

Our algorithm is based on the unique ground state algorithm ofLandau, Vazirani and Vidick. This class of ground state algorithmsworks by constructing viable sets.

Definition

A (i ,s,δ)-viable set is a set of states such that:

These states are defined on the first i spins.

The cardinality of this set is s.

This set’s span supports the reduced density matrix of a witnessstate |ψ〉, which has ground state overlap at least 1− δ.

If we can construct a (n, poly(n), η)-viable, then by minimise theHamiltonian on this set we can efficiently find a state with 1− ηground state overlap.

Page 40: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

The Viable Set

Our algorithm is based on the unique ground state algorithm ofLandau, Vazirani and Vidick. This class of ground state algorithmsworks by constructing viable sets.

Definition

A (i ,s,δ)-viable set is a set of states such that:

These states are defined on the first i spins.

The cardinality of this set is s.

This set’s span supports the reduced density matrix of a witnessstate |ψ〉, which has ground state overlap at least 1− δ.

If we can construct a (n, poly(n), η)-viable, then by minimise theHamiltonian on this set we can efficiently find a state with 1− ηground state overlap.

Page 41: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

The Viable Set

Our algorithm is based on the unique ground state algorithm ofLandau, Vazirani and Vidick. This class of ground state algorithmsworks by constructing viable sets.

Definition

A (i ,s,δ)-viable set is a set of states such that:

These states are defined on the first i spins.

The cardinality of this set is s.

This set’s span supports the reduced density matrix of a witnessstate |ψ〉, which has ground state overlap at least 1− δ.

If we can construct a (n, poly(n), η)-viable, then by minimise theHamiltonian on this set we can efficiently find a state with 1− ηground state overlap.

Page 42: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

The Viable Set

Our algorithm is based on the unique ground state algorithm ofLandau, Vazirani and Vidick. This class of ground state algorithmsworks by constructing viable sets.

Definition

A (i ,s,δ)-viable set is a set of states such that:

These states are defined on the first i spins.

The cardinality of this set is s.

This set’s span supports the reduced density matrix of a witnessstate |ψ〉, which has ground state overlap at least 1− δ.

If we can construct a (n, poly(n), η)-viable, then by minimise theHamiltonian on this set we can efficiently find a state with 1− ηground state overlap.

Page 43: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

The Viable Set

Our algorithm is based on the unique ground state algorithm ofLandau, Vazirani and Vidick. This class of ground state algorithmsworks by constructing viable sets.

Definition

A (i ,s,δ)-viable set is a set of states such that:

These states are defined on the first i spins.

The cardinality of this set is s.

This set’s span supports the reduced density matrix of a witnessstate |ψ〉, which has ground state overlap at least 1− δ.

If we can construct a (n, poly(n), η)-viable, then by minimise theHamiltonian on this set we can efficiently find a state with 1− ηground state overlap.

Page 44: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Procedure

The idea behind the proof is inductive.

We start with a (i − 1,s,δ)-viable set and give a procedure togenerate a (i ,s,δ)-viable set from it, for given values of s and δ.

By induction this gets us from the trivial (0,1,0)-viable set 1to the desired set.

Each step alters one of the viability parameters in turn.

Page 45: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Procedure

The idea behind the proof is inductive.

We start with a (i − 1,s,δ)-viable set and give a procedure togenerate a (i ,s,δ)-viable set from it, for given values of s and δ.

By induction this gets us from the trivial (0,1,0)-viable set 1to the desired set.

Each step alters one of the viability parameters in turn.

Page 46: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Procedure

The idea behind the proof is inductive.

We start with a (i − 1,s,δ)-viable set and give a procedure togenerate a (i ,s,δ)-viable set from it, for given values of s and δ.

By induction this gets us from the trivial (0,1,0)-viable set 1to the desired set.

Each step alters one of the viability parameters in turn.

Page 47: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Procedure

The idea behind the proof is inductive.

We start with a (i − 1,s,δ)-viable set and give a procedure togenerate a (i ,s,δ)-viable set from it, for given values of s and δ.

By induction this gets us from the trivial (0,1,0)-viable set 1to the desired set.

Each step alters one of the viability parameters in turn.

Page 48: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Extension

Firstly we want to increment the number of spins. Take Si−1 tobe the viable set on i − 1 spins.

Construct S(1)i by:

Algorithm Step 1: Extension

Taking |j〉 to be the computational basis on the ith spin

Return S(1)i :=

|s〉 ⊗ |j〉

∣∣ |s〉 ∈ Si−1, 1 ≤ j ≤ d

.

This will send a (i − 1,s,δ)-viable set to a (i ,ds,δ)-viable set,where d is the local dimension of each spin.

Extension alone will tend to exponentially grow the cardinality,so the next step is to trim the cardinality back down.

Page 49: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Extension

Firstly we want to increment the number of spins. Take Si−1 tobe the viable set on i − 1 spins.

Construct S(1)i by:

Algorithm Step 1: Extension

Taking |j〉 to be the computational basis on the ith spin

Return S(1)i :=

|s〉 ⊗ |j〉

∣∣ |s〉 ∈ Si−1, 1 ≤ j ≤ d

.

This will send a (i − 1,s,δ)-viable set to a (i ,ds,δ)-viable set,where d is the local dimension of each spin.

Extension alone will tend to exponentially grow the cardinality,so the next step is to trim the cardinality back down.

Page 50: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Extension

Firstly we want to increment the number of spins. Take Si−1 tobe the viable set on i − 1 spins.

Construct S(1)i by:

Algorithm Step 1: Extension

Taking |j〉 to be the computational basis on the ith spin

Return S(1)i :=

|s〉 ⊗ |j〉

∣∣ |s〉 ∈ Si−1, 1 ≤ j ≤ d

.

This will send a (i − 1,s,δ)-viable set to a (i ,ds,δ)-viable set,where d is the local dimension of each spin.

Extension alone will tend to exponentially grow the cardinality,so the next step is to trim the cardinality back down.

Page 51: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Size trimming

Algorithm Step 2: Size Trimming

Take σ to be a density matrix supported on Span(S

(1)i

)⊗ CB given

as the solution to the size-trimming convex program:

mini−1∑j=1

Tr(Hjσ)

such that Tr(σ) = 1, σ ≥ 0

Take |u〉 to be the highest eigenvector of σ, and decompose this

state as |u〉 =∑B

j=1 |uj〉 |j〉.

Return S(2)i := |uj〉 | ∀j.

This sends a (i ,ds,δ = cε2/n)-viable set to a (i ,p1,1/12)-viable

set, where p1 = n2O(1/ε)

is the number of optimisations.

Page 52: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Size trimming

Algorithm Step 2: Size Trimming

Take σ to be a density matrix supported on Span(S

(1)i

)⊗ CB given

as the solution to the size-trimming convex program:

mini−1∑j=1

Tr(Hjσ)

such that Tr(σ) = 1, σ ≥ 0

Take |u〉 to be the highest eigenvector of σ, and decompose this

state as |u〉 =∑B

j=1 |uj〉 |j〉.

Return S(2)i := |uj〉 | ∀j.

This sends a (i ,ds,δ = cε2/n)-viable set to a (i ,p1,1/12)-viable

set, where p1 = n2O(1/ε)

is the number of optimisations.

Page 53: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Size trimming

Algorithm Step 2: Size Trimming

Take σ to be a density matrix supported on Span(S

(1)i

)⊗ CB given

as the solution to the size-trimming convex program:

mini−1∑j=1

Tr(Hjσ)

such that Tr(σ) = 1, σ ≥ 0

Take |u〉 to be the highest eigenvector of σ, and decompose this

state as |u〉 =∑B

j=1 |uj〉 |j〉.

Return S(2)i := |uj〉 | ∀j.

This sends a (i ,ds,δ = cε2/n)-viable set to a (i ,p1,1/12)-viable

set, where p1 = n2O(1/ε)

is the number of optimisations.

Page 54: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Error reduction

The main idea here is to use approximate ground stateprojectors (AGSP).

An AGSP P is an operator for which

For any ground state |Γ〉, P |Γ〉 = |Γ〉.For any state

∣∣Γ⊥⟩ orthogonal to the ground,∥∥P ∣∣Γ⊥⟩∥∥ is small.

The entanglement P generates is not too large.

Algorithm Step 4: Error Reduction

Take the decomposition of the approximate AGSP K =∑

k Aj ⊗ Bj .

Return S(4)i :=

Aj |s〉

∣∣∣∀j , |s〉 ∈ S(3)i

.

This sends a (i ,p1,1/2)-viable set to a (i ,pp1,cε2/n)-viable set,where p = nO(1) is related to the entanglement rank of theAGSP.

Page 55: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Error reduction

The main idea here is to use approximate ground stateprojectors (AGSP).

An AGSP P is an operator for which

For any ground state |Γ〉, P |Γ〉 = |Γ〉.For any state

∣∣Γ⊥⟩ orthogonal to the ground,∥∥P ∣∣Γ⊥⟩∥∥ is small.

The entanglement P generates is not too large.

Algorithm Step 4: Error Reduction

Take the decomposition of the approximate AGSP K =∑

k Aj ⊗ Bj .

Return S(4)i :=

Aj |s〉

∣∣∣∀j , |s〉 ∈ S(3)i

.

This sends a (i ,p1,1/2)-viable set to a (i ,pp1,cε2/n)-viable set,where p = nO(1) is related to the entanglement rank of theAGSP.

Page 56: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Error reduction

The main idea here is to use approximate ground stateprojectors (AGSP).

An AGSP P is an operator for which

For any ground state |Γ〉, P |Γ〉 = |Γ〉.For any state

∣∣Γ⊥⟩ orthogonal to the ground,∥∥P ∣∣Γ⊥⟩∥∥ is small.

The entanglement P generates is not too large.

Algorithm Step 4: Error Reduction

Take the decomposition of the approximate AGSP K =∑

k Aj ⊗ Bj .

Return S(4)i :=

Aj |s〉

∣∣∣∀j , |s〉 ∈ S(3)i

.

This sends a (i ,p1,1/2)-viable set to a (i ,pp1,cε2/n)-viable set,where p = nO(1) is related to the entanglement rank of theAGSP.

Page 57: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Error reduction

The main idea here is to use approximate ground stateprojectors (AGSP).

An AGSP P is an operator for which

For any ground state |Γ〉, P |Γ〉 = |Γ〉.For any state

∣∣Γ⊥⟩ orthogonal to the ground,∥∥P ∣∣Γ⊥⟩∥∥ is small.

The entanglement P generates is not too large.

Algorithm Step 4: Error Reduction

Take the decomposition of the approximate AGSP K =∑

k Aj ⊗ Bj .

Return S(4)i :=

Aj |s〉

∣∣∣∀j , |s〉 ∈ S(3)i

.

This sends a (i ,p1,1/2)-viable set to a (i ,pp1,cε2/n)-viable set,where p = nO(1) is related to the entanglement rank of theAGSP.

Page 58: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Parameter table

All the parameters are poly(n) (ignoring ε-dependence) and each steprun in poly(n) time. The final run-time of this algorithm is

T = n2O(1/ε)

· poly(n/η)

Page 59: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Degeneracy

For simplicity we consider a two-fold degeneracy.

A viable set is redefined to contain two orthogonal witnesses.

The majority of the described algorithm can generalised toinclude degeneracy relatively painlessly.

Size-trimming optimisations need to be overhauled and posestwo problems:

The local energy contributions may not be minimal (frustration)and they may not be identical for different ground states.

Assume Hamiltonian is unfrustrated

.The optimisations are only guaranteed to give a single witnessstate.

Page 60: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Degeneracy

For simplicity we consider a two-fold degeneracy.

A viable set is redefined to contain two orthogonal witnesses.

The majority of the described algorithm can generalised toinclude degeneracy relatively painlessly.

Size-trimming optimisations need to be overhauled and posestwo problems:

The local energy contributions may not be minimal (frustration)and they may not be identical for different ground states.

Assume Hamiltonian is unfrustrated

.The optimisations are only guaranteed to give a single witnessstate.

Page 61: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Degeneracy

For simplicity we consider a two-fold degeneracy.

A viable set is redefined to contain two orthogonal witnesses.

The majority of the described algorithm can generalised toinclude degeneracy relatively painlessly.

Size-trimming optimisations need to be overhauled and posestwo problems:

The local energy contributions may not be minimal (frustration)and they may not be identical for different ground states.

Assume Hamiltonian is unfrustrated

.The optimisations are only guaranteed to give a single witnessstate.

Page 62: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Degeneracy

For simplicity we consider a two-fold degeneracy.

A viable set is redefined to contain two orthogonal witnesses.

The majority of the described algorithm can generalised toinclude degeneracy relatively painlessly.

Size-trimming optimisations need to be overhauled and posestwo problems:

The local energy contributions may not be minimal (frustration)and they may not be identical for different ground states.

Assume Hamiltonian is unfrustrated

.

The optimisations are only guaranteed to give a single witnessstate.

Page 63: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Degeneracy

For simplicity we consider a two-fold degeneracy.

A viable set is redefined to contain two orthogonal witnesses.

The majority of the described algorithm can generalised toinclude degeneracy relatively painlessly.

Size-trimming optimisations need to be overhauled and posestwo problems:

The local energy contributions may not be minimal (frustration)and they may not be identical for different ground states.Assume Hamiltonian is unfrustrated.

The optimisations are only guaranteed to give a single witnessstate.

Page 64: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Degeneracy

For simplicity we consider a two-fold degeneracy.

A viable set is redefined to contain two orthogonal witnesses.

The majority of the described algorithm can generalised toinclude degeneracy relatively painlessly.

Size-trimming optimisations need to be overhauled and posestwo problems:

The local energy contributions may not be minimal (frustration)and they may not be identical for different ground states.Assume Hamiltonian is unfrustrated.The optimisations are only guaranteed to give a single witnessstate.

Page 65: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Left-distinguishability

Whilst the two ground states are orthogonal on the wholesystem, their components on the first i spins need not be.

Consider the example of the states

|Γ1〉 = |000〉 |Γ2〉 = |011〉

On the first spin the states ‘look’ identical

|Γ1〉 = |0**〉 |Γ2〉 = |0**〉

so any set which is (1,s,δ)-viable for Γ1 is (1,s,δ)-viable for Γ2

also.On the first two spins however the states ‘look’ orthogonal

|Γ1〉 = |00*〉 |Γ2〉 = |01*〉

so viability for Γ1 doesn’t imply any viability for Γ2.

Page 66: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Left-distinguishability

Whilst the two ground states are orthogonal on the wholesystem, their components on the first i spins need not be.

Consider the example of the states

|Γ1〉 = |000〉 |Γ2〉 = |011〉

On the first spin the states ‘look’ identical

|Γ1〉 = |0**〉 |Γ2〉 = |0**〉

so any set which is (1,s,δ)-viable for Γ1 is (1,s,δ)-viable for Γ2

also.On the first two spins however the states ‘look’ orthogonal

|Γ1〉 = |00*〉 |Γ2〉 = |01*〉

so viability for Γ1 doesn’t imply any viability for Γ2.

Page 67: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Left-distinguishability

Whilst the two ground states are orthogonal on the wholesystem, their components on the first i spins need not be.

Consider the example of the states

|Γ1〉 = |000〉 |Γ2〉 = |011〉

On the first spin the states ‘look’ identical

|Γ1〉 = |0**〉 |Γ2〉 = |0**〉

so any set which is (1,s,δ)-viable for Γ1 is (1,s,δ)-viable for Γ2

also.

On the first two spins however the states ‘look’ orthogonal

|Γ1〉 = |00*〉 |Γ2〉 = |01*〉

so viability for Γ1 doesn’t imply any viability for Γ2.

Page 68: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Left-distinguishability

Whilst the two ground states are orthogonal on the wholesystem, their components on the first i spins need not be.

Consider the example of the states

|Γ1〉 = |000〉 |Γ2〉 = |011〉

On the first spin the states ‘look’ identical

|Γ1〉 = |0**〉 |Γ2〉 = |0**〉

so any set which is (1,s,δ)-viable for Γ1 is (1,s,δ)-viable for Γ2

also.On the first two spins however the states ‘look’ orthogonal

|Γ1〉 = |00*〉 |Γ2〉 = |01*〉

so viability for Γ1 doesn’t imply any viability for Γ2.

Page 69: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Left-distinguishability

The non-degenerate optimisation gives the first witness state. Wethen measure the magnitude of the second state captured by the firstoptimisation by:

Definition (Left-Distinguishability)

We define the left-distinguishability to be D = 1− Tr(ρLP) whereρL is the left-reduced density operator of the desired second witness,and P is the projection onto the span of the current viable vectors.

D = 0 corresponds to entirely indistinguishable.

D = 1 corresponds to entirely distinguishable.

Page 70: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Degenerate Size-Trimming: Low D Case

In this case a viable set for the first witness is also a viable setfor the second witness.

As D grows the error of the second witness grows.

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 10

0.001

0.002

0.003

0.004

0.005

0.006

0.007

0.008

0.009

0.01

D

Page 71: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Degenerate Size-Trimming: Low D Case

In this case a viable set for the first witness is also a viable setfor the second witness.

As D grows the error of the second witness grows.

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 10

0.001

0.002

0.003

0.004

0.005

0.006

0.007

0.008

0.009

0.01∆

D

Page 72: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Degenerate Size-Trimming: High D Case

In this case we want to ‘project away’ from the current viable set.

Algorithm Step 2.2: Degenerate Size Trimming

Take σ2 supported on Span(S

(1)i

)⊗ CB given as the solution to the

degenerate size-trimming convex program:

min Tr(σ2P)

such thati−1∑j=1

Tr(Hjσ) ≤√cε

Tr(σ) = 1, σ ≥ 0

Again taking |u2〉∑B

j=1 |u2,j〉 |j〉 to be the highest eigenvector of σ2.

S(2,2)i := |u2,j〉 | ∀j

Return S(2)i := S

(2,1)i ∪ S

(2,1)i

Page 73: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Degenerate Size-Trimming: High D

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 10

0.001

0.002

0.003

0.004

0.005

0.006

0.007

0.008

0.009

0.01

D

Combining the two bounds gives a D-independent bound on the error

∆ < 1/100

Page 74: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Degenerate Size-Trimming: All D

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 10

0.001

0.002

0.003

0.004

0.005

0.006

0.007

0.008

0.009

0.01

D

D ≈ 0 .6 8 4 5 6

∆ ≈ 0 .0 0 5 0 9 7 6 4 6

Low DHigh DAll D

Combining the two bounds gives a D-independent bound on the error

∆ < 1/100

Page 75: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Degenerate parameter table

Run-time improved to

T =

poly(n/η) · nO(ε−1) for η−1 = poly(n)poly(n/η) for η−1 = 2o(log n)

Page 76: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Conclusion

Introducing frustration is the most obvious next step.

Full area law proof also outstanding.

Algorithm is technically efficient, but not practical.

Poorly optimised, could be rewritten with semi-definite programs.Could boost heuristic methods such as DMRG.

Page 77: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Conclusion

Introducing frustration is the most obvious next step.

Full area law proof also outstanding.

Algorithm is technically efficient, but not practical.

Poorly optimised, could be rewritten with semi-definite programs.Could boost heuristic methods such as DMRG.

Page 78: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Conclusion

Introducing frustration is the most obvious next step.

Full area law proof also outstanding.

Algorithm is technically efficient, but not practical.

Poorly optimised, could be rewritten with semi-definite programs.Could boost heuristic methods such as DMRG.

Page 79: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Conclusion

Introducing frustration is the most obvious next step.

Full area law proof also outstanding.

Algorithm is technically efficient, but not practical.

Poorly optimised, could be rewritten with semi-definite programs.

Could boost heuristic methods such as DMRG.

Page 80: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Conclusion

Introducing frustration is the most obvious next step.

Full area law proof also outstanding.

Algorithm is technically efficient, but not practical.

Poorly optimised, could be rewritten with semi-definite programs.Could boost heuristic methods such as DMRG.

Page 81: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Conclusion

Gives example of Structural Complexity implying ComputationalComplexity.

More general area laws, higher dimensions or different conditions.

More general forms of simulation e.g. time-evolution.

Page 82: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Conclusion

Gives example of Structural Complexity implying ComputationalComplexity.

More general area laws, higher dimensions or different conditions.

More general forms of simulation e.g. time-evolution.

Page 83: E cient approximation of gapped spin chain ground states. · E cient approximation of gapped spin chain ground states. The unfrustrated case. Christopher Thomas Chubb Centre for Engineered

Ground stateapproximation

C. T. Chubb

Simulation

Heuristics

Complexity

Area Law

Role

Measures

Local & Gapped

Volume Law

Area Law

Proofs

MPS

The Algorithm

Viable Set

Extension

Size trimming

Error reduction

Parameter table

Degeneracy

Distinguishability

Low D

High D

All D

Parameter table

Conclusion

Conclusion

Gives example of Structural Complexity implying ComputationalComplexity.

More general area laws, higher dimensions or different conditions.

More general forms of simulation e.g. time-evolution.


Recommended