Open Questions - Revision history

Cnl29 at 12:56, 13 June 2024

2024-06-13T12:56:50Z

← Older revision		Revision as of 12:56, 13 June 2024
Line 1:		Line 1:
			====How should we be considering quantum resources when designing algorithms?====
			How does the number of logical qubits vs T-depth affect the number of physical qubits?
			Magic state distillation cost?

	===="Quantum devices can efficiently represent complex probability distributions, which are classically intractable to simulate." What is meant by this?====		===="Quantum devices can efficiently represent complex probability distributions, which are classically intractable to simulate." What is meant by this?====
	Possibly useful links:		Possibly useful links:

Cnl29 at 18:02, 7 November 2023

2023-11-07T18:02:55Z

← Older revision		Revision as of 18:02, 7 November 2023
Line 34:		Line 34:
	===What is a barren plateau, what causes them, which Ansatze do not have them...===		===What is a barren plateau, what causes them, which Ansatze do not have them...===
	More expressive Ansatze are more likely to exhibit barren plateaus: https://journals.aps.org/prxquantum/abstract/10.1103/PRXQuantum.3.010313		More expressive Ansatze are more likely to exhibit barren plateaus: https://journals.aps.org/prxquantum/abstract/10.1103/PRXQuantum.3.010313

			Numerous strategies:
			* initialisation strategies (Grant et al, 2019; Verdon et al, 2019)
			* quantum convolutional neural networks (Pesah et al, 2020)
			* layerwise learning (Skolik et al, 2021)
			* parameter efficient circuit training (Sim et al, 2021)
			* correlation (Volkoff et al, 2021)
			* meta-learning (Verdon et al, 2019; Wilson et al, 2021)
			* local cost functions (Uvarov et al, 2020; Cerezo et al, 2021)

	====What is ZX calculus useful for?====		====What is ZX calculus useful for?====

Cnl29 at 17:41, 7 November 2023

2023-11-07T17:41:05Z

← Older revision		Revision as of 17:41, 7 November 2023
Line 31:		Line 31:

	I seem to remember controlled operations are particularly problematic for IBM hardware, since it results in many SWAP gates (vs Honeywell)?		I seem to remember controlled operations are particularly problematic for IBM hardware, since it results in many SWAP gates (vs Honeywell)?

			===What is a barren plateau, what causes them, which Ansatze do not have them...===
			More expressive Ansatze are more likely to exhibit barren plateaus: https://journals.aps.org/prxquantum/abstract/10.1103/PRXQuantum.3.010313

	====What is ZX calculus useful for?====		====What is ZX calculus useful for?====
Line 38:		Line 41:
	! style="width: 20ex;" \|'''Title''' \|\| style="width: 18ex;" \| '''Link''' \|\| style="width: 18ex;" \| '''Use'''		! style="width: 20ex;" \|'''Title''' \|\| style="width: 18ex;" \| '''Link''' \|\| style="width: 18ex;" \| '''Use'''
	\|-		\|-
			\| Analysing the barren plateau phenomenon in training quantum neural networks with the ZX_calculus \|\| https://arxiv.org/pdf/2102.01828.pdf \|\| Barren plateaus: Ansatze that do not exhibit them (local classication)
	\| -- \|\| -- \|\| --
	\|-		\|-
	\|-- \|\| -- \|\| --		\|-- \|\| -- \|\| --

Cnl29 at 12:18, 30 October 2023

2023-10-30T12:18:33Z

← Older revision		Revision as of 12:18, 30 October 2023
Line 29:		Line 29:
	* Augment Clifford group with T gates -> universal group for unitary operations (can simulate any unitary)		* Augment Clifford group with T gates -> universal group for unitary operations (can simulate any unitary)
	* (For Lila and Chiara): check talk from ceqip23, "Applications of quantum computers in ML and combinatorial optimisation" by Jens Eisert, looks into the question "At what depth does hardness kick in?", mentions increase in circuit simulation complexity from addition of T gates: can efficiently simulate with log many T gates, but not efficiently learnable after the addition of just one T gate.		* (For Lila and Chiara): check talk from ceqip23, "Applications of quantum computers in ML and combinatorial optimisation" by Jens Eisert, looks into the question "At what depth does hardness kick in?", mentions increase in circuit simulation complexity from addition of T gates: can efficiently simulate with log many T gates, but not efficiently learnable after the addition of just one T gate.

			I seem to remember controlled operations are particularly problematic for IBM hardware, since it results in many SWAP gates (vs Honeywell)?

	====What is ZX calculus useful for?====		====What is ZX calculus useful for?====
	There are an increasing number of publications applying the ZX calculus formalism to new problems -- would be useful to have a list of these, along with a quick summary of the application, in a table here.		There are an increasing number of publications applying the ZX calculus formalism to new problems -- would be useful to have a list of these, along with a quick summary of the application, in a table here.

			{\| class="wikitable"
			! style="width: 20ex;" \|'''Title''' \|\| style="width: 18ex;" \| '''Link''' \|\| style="width: 18ex;" \| '''Use'''
			\|-
			\| -- \|\| -- \|\| --
			\|-
			\|-- \|\| -- \|\| --
			\|}

Cnl29 at 11:40, 30 October 2023

2023-10-30T11:40:18Z

← Older revision		Revision as of 11:40, 30 October 2023
Line 7:		Line 7:
	====Which gates are difficult to implement (quantumly and/or classically), and when?====		====Which gates are difficult to implement (quantumly and/or classically), and when?====
	<em>Clifford gates:</em>		<em>Clifford gates:</em>
	* Clifford gates (group can be formed from H, CNOT, S gates) are classically efficient to simulate (Gottesman-Knill theorem: stabiliser states (generated from Clifford operations applied to \|0>^n state) can be described by the n generators of its stabiliser group, if these generators are represented in a tableau formalism, can represent Clifford gate operations as row/column operations on the tableau, which can be performed efficiently classically		* Clifford gates (group can be formed from H, CNOT, S gates) are classically efficient to simulate = Gottesman-Knill theorem: stabiliser states (generated from Clifford operations applied to \|0>^n state) can be described by the n generators of its stabiliser group, if these generators are represented in a tableau formalism, can represent Clifford gate operations as row/column operations on the tableau, which can be performed efficiently classically
	* so any circuit composed entirely of Clifford gates cannot provide a quantum advantage		* so any circuit composed entirely of Clifford gates cannot provide a quantum advantage
	* https://www.scottaaronson.com/qclec/28.pdf		* https://www.scottaaronson.com/qclec/28.pdf

Cnl29 at 11:34, 30 October 2023

2023-10-30T11:34:25Z

← Older revision		Revision as of 11:34, 30 October 2023
Line 4:		Line 4:
	* https://www.nature.com/articles/s41567-018-0124-x		* https://www.nature.com/articles/s41567-018-0124-x
	* https://www.nature.com/articles/s41567-018-0318-2		* https://www.nature.com/articles/s41567-018-0318-2

			====Which gates are difficult to implement (quantumly and/or classically), and when?====
			<em>Clifford gates:</em>
			* Clifford gates (group can be formed from H, CNOT, S gates) are classically efficient to simulate (Gottesman-Knill theorem: stabiliser states (generated from Clifford operations applied to \|0>^n state) can be described by the n generators of its stabiliser group, if these generators are represented in a tableau formalism, can represent Clifford gate operations as row/column operations on the tableau, which can be performed efficiently classically
			* so any circuit composed entirely of Clifford gates cannot provide a quantum advantage
			* https://www.scottaaronson.com/qclec/28.pdf

			<em>Rotations:</em>
			* All rotations can be easily formed from RZ(theta) rotation gate with a change of basis.
			* Use the notation R_n = diag(1, e^{i \pi/2^{n-1}}).
			* So Z = R_1 \propto R_Z(\pi), S = \sqrt{Z} = R_2, T = \sqrt{T} = R_3.
			* For n>=4, cannot decompose exactly using only the standard set of universal gates => implemented probabilistically using gridsynth method.
			* The cost of implementing a rotation is roughly independent of the size of the angle.
			* Requires roughly 253 gates to reach precision 10^-10.

			<em>Controlled rotations:</em>
			* Controlled-R_n can be implemented with no ancillae, 2 CNOTS, 2 R_{n+1}, 1 R_{n+1}.
			* This is not the most efficient method: https://www.nature.com/articles/s41598-018-23764-x.pdf

			<em>Toffoli gates:</em>
			https://arxiv.org/abs/0803.2316

			<em>T gates:</em>
			* Augment Clifford group with T gates -> universal group for unitary operations (can simulate any unitary)
			* (For Lila and Chiara): check talk from ceqip23, "Applications of quantum computers in ML and combinatorial optimisation" by Jens Eisert, looks into the question "At what depth does hardness kick in?", mentions increase in circuit simulation complexity from addition of T gates: can efficiently simulate with log many T gates, but not efficiently learnable after the addition of just one T gate.

			====What is ZX calculus useful for?====
			There are an increasing number of publications applying the ZX calculus formalism to new problems -- would be useful to have a list of these, along with a quick summary of the application, in a table here.

Cnl29: /* "Quantum devices can efficiently represent complex probability distributions, which are classically intractable to simulate." What is meant by this? */

2023-10-30T10:37:57Z

"Quantum devices can efficiently represent complex probability distributions, which are classically intractable to simulate." What is meant by this?

← Older revision		Revision as of 10:37, 30 October 2023
Line 1:		Line 1:
	==="Quantum devices can efficiently represent complex probability distributions, which are classically intractable to simulate." What is meant by this?===		===="Quantum devices can efficiently represent complex probability distributions, which are classically intractable to simulate." What is meant by this?====
	~~Possible~~ useful links:		Possibly useful links:
	* https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.117.080501		* https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.117.080501
	* https://www.nature.com/articles/s41567-018-0124-x		* https://www.nature.com/articles/s41567-018-0124-x

Cnl29: Created page with "==="Quantum devices can efficiently represent complex probability distributions, which are classically intractable to simulate." What is meant by this?=== Possible useful link..."

2023-10-30T10:37:32Z

Created page with "==="Quantum devices can efficiently represent complex probability distributions, which are classically intractable to simulate." What is meant by this?=== Possible useful link..."

New page

==="Quantum devices can efficiently represent complex probability distributions, which are classically intractable to simulate." What is meant by this?===
Possible useful links:
* https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.117.080501
* https://www.nature.com/articles/s41567-018-0124-x
* https://www.nature.com/articles/s41567-018-0318-2