Pattern matching for quantum circuit optimization #2032

rmoyard · 2021-12-15T16:16:35Z

Context:

https://arxiv.org/pdf/1909.05270.pdf

Description of the Change:

Introduce a new transform that takes a list of patterns as parameter and returns an optimized version of the circuit.

Example

def circuit():
    qml.Toffoli(wires=[3, 4, 0])
    qml.CNOT(wires=[1, 4])
    qml.CNOT(wires=[2, 1])
    qml.Hadamard(wires=3)
    qml.PauliZ(wires=1)
    qml.CNOT(wires=[2, 3])
    qml.Toffoli(wires=[2, 3, 0])
    qml.CNOT(wires=[1, 4])
    return qml.expval(qml.PauliX(wires=0))

with qml.tape.QuantumTape() as template:
    qml.CNOT(wires=[1, 2])
    qml.CNOT(wires=[0, 1])
    qml.CNOT(wires=[1, 2])
    qml.CNOT(wires=[0, 1])
    qml.CNOT(wires=[0, 2])

dev = qml.device('default.qubit', wires=8)
qnode = qml.QNode(circuit_example, dev)
print(qml.draw(qnode)())

optimized_qfunc = qml.transforms.pattern_matching(pattern_tapes=[template])(circuit_example)
optimized_qnode = qml.QNode(optimized_qfunc, dev)
print(qml.draw(optimized_qnode)())

albi3ro · 2022-03-17T19:57:28Z

pennylane/transforms/optimization/pattern_matching.py

+                self.max_match_list.append(Match(sorted(matches.match), matches.qubit))
+
+
+class SubstitutionConfig:  # pylint: disable=too-many-arguments, too-few-public-methods


Might be a good candidate for a dataclass.

albi3ro · 2022-03-18T20:29:59Z

pennylane/transforms/optimization/pattern_matching.py

+                    self.circuit_blocked[succ] = True
+
+
+class Match:  # pylint: disable=too-few-public-methods


Could this be done with a named tuple instead?

albi3ro · 2022-03-23T17:47:33Z

pennylane/transforms/optimization/pattern_matching.py

+
+    .. code-block:: python
+
+        def circuit():


I wonder if it would be better to start with a blatantly obvious example, where a human can see the pattern without having to stare at it for too long, and then show the more complicated template example.

Like the template is something like [qml.S(0), qml.S(0), qml.PauliZ(0)].

albi3ro · 2022-03-23T17:47:33Z

pennylane/transforms/optimization/pattern_matching.py

+
+    .. code-block:: python
+
+        def circuit():


I wonder if it would be better to start with a blatantly obvious example, where a human can see the pattern without having to stare at it for too long, and then show the more complicated template example.

Like the template is something like [qml.S(0), qml.S(0), qml.PauliZ(0)].

…nylane into pattern_matching

pennylane/transforms/optimization/pattern_matching.py

albi3ro

Also changelog.

…nylane into pattern_matching

albi3ro

Just a few comments on the changelog.

doc/releases/changelog-dev.md

albi3ro · 2022-03-25T15:53:19Z

doc/releases/changelog-dev.md

+  2: ──Z──────╰Z─┤
+  ```
+
+  Note that with this pattern we also replace a ``pennylane.S``, ``pennylane.PauliZ`` sequence by ``pennylane.S``.


I think at this point we can just point the reader to the documentation and paper. The point of examples in the changelog is to catch interest, not explain in detail.

Ok great I will remove this part!

Co-authored-by: Christina Lee <christina@xanadu.ai>

albi3ro

Looks great! Lot of work here and quite an achievement 🥇

thisac and others added 30 commits September 13, 2021 11:25

remove newlines in docstring (#1647)

c3d59e4

Merge branch 'v0.18.0-rc0' of https://github.com/PennyLaneAI/pennylane

ed6082a

Merge branch 'master' of https://github.com/PennyLaneAI/pennylane

e80b914

Merge branch 'master' of https://github.com/PennyLaneAI/pennylane

101fb1d

Merge branch 'master' of https://github.com/PennyLaneAI/pennylane

1cc5e1e

Merge branch 'master' of https://github.com/PennyLaneAI/pennylane

03f3d6b

Merge branch 'master' of https://github.com/PennyLaneAI/pennylane

10a26c8

Merge branch 'master' of https://github.com/PennyLaneAI/pennylane

b5d5c0b

First version.

e42d912

Working version.

229e1bc

DAG successors.

0b2ae8d

Update documentation and code quality.

e9e7574

Black

de1a05d

More black

fc5f7a7

Protected access.

744df99

Merge branch 'master' into commutation_dag

4eaf329

Import order.

4e73ced

Target_wires to tar_wires.

09b9e0a

Typo.

5ac2872

Typo.

5198a50

More black.

55f4b73

Add observable attribute and tests.

ab79b84

Black.

3654cca

More black.

d76f3a2

Merge branch 'master' into commutation_dag

6d80a89

Add more tests.

6cb980e

Add more tests.

65d04ff

Sort pred succ

bc6117f

Add support SWAP.

cc2d507

Merge branch 'master' into commutation_dag

22f6d95

rmoyard added 2 commits March 4, 2022 16:21

Docstring indent.

4be3c0d

Merge branch 'master' into pattern_matching

d662404

albi3ro reviewed Mar 17, 2022

View reviewed changes

albi3ro reviewed Mar 18, 2022

View reviewed changes

rmoyard added 2 commits March 21, 2022 14:59

Merge branch 'master' into pattern_matching

d7a5a47

Merge branch 'master' into pattern_matching

3d52a2e

albi3ro reviewed Mar 23, 2022

View reviewed changes

rmoyard added 7 commits March 24, 2022 11:52

Merge branch 'master' into pattern_matching

7ba7d15

Trigger CI

39b1255

Update example

0b4a8ec

Merge branch 'master' into pattern_matching

868e258

Merge branch 'pattern_matching' of https://github.com/PennyLaneAI/pen…

a3bbb45

…nylane into pattern_matching

Update example

d113135

Trigger CI

da2468c

albi3ro reviewed Mar 24, 2022

View reviewed changes

pennylane/transforms/optimization/pattern_matching.py Outdated Show resolved Hide resolved

indent

e4f00b6

albi3ro reviewed Mar 24, 2022

View reviewed changes

rmoyard added 4 commits March 25, 2022 09:45

Trigger CI

a1e50b5

Merge branch 'master' into pattern_matching

2f895b0

Add changelog

612dea5

Merge branch 'pattern_matching' of https://github.com/PennyLaneAI/pen…

40ab78b

…nylane into pattern_matching

albi3ro reviewed Mar 25, 2022

View reviewed changes

rmoyard and others added 4 commits March 25, 2022 16:55

Update doc/releases/changelog-dev.md

b9f05fc

Co-authored-by: Christina Lee <christina@xanadu.ai>

Update doc/releases/changelog-dev.md

db34f83

Co-authored-by: Christina Lee <christina@xanadu.ai>

Update changelog

03598e2

Merge branch 'master' into pattern_matching

0630202

albi3ro approved these changes Mar 25, 2022

View reviewed changes

Merge branch 'master' into pattern_matching

eb0c3cd

rmoyard merged commit 7dee6fe into master Mar 25, 2022

rmoyard deleted the pattern_matching branch March 25, 2022 20:33

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Pattern matching for quantum circuit optimization #2032

Pattern matching for quantum circuit optimization #2032

rmoyard commented Dec 15, 2021 •

edited

Loading

albi3ro Mar 17, 2022

josh146 Mar 18, 2022

albi3ro Mar 18, 2022

albi3ro Mar 23, 2022

albi3ro Mar 23, 2022

albi3ro left a comment

albi3ro left a comment

albi3ro Mar 25, 2022

rmoyard Mar 25, 2022

albi3ro left a comment

		self.max_match_list.append(Match(sorted(matches.match), matches.qubit))


		class SubstitutionConfig: # pylint: disable=too-many-arguments, too-few-public-methods

		self.circuit_blocked[succ] = True


		class Match: # pylint: disable=too-few-public-methods

Pattern matching for quantum circuit optimization #2032

Pattern matching for quantum circuit optimization #2032

Conversation

rmoyard commented Dec 15, 2021 • edited Loading

albi3ro Mar 17, 2022

Choose a reason for hiding this comment

josh146 Mar 18, 2022

Choose a reason for hiding this comment

albi3ro Mar 18, 2022

Choose a reason for hiding this comment

albi3ro Mar 23, 2022

Choose a reason for hiding this comment

albi3ro Mar 23, 2022

Choose a reason for hiding this comment

albi3ro left a comment

Choose a reason for hiding this comment

albi3ro left a comment

Choose a reason for hiding this comment

albi3ro Mar 25, 2022

Choose a reason for hiding this comment

rmoyard Mar 25, 2022

Choose a reason for hiding this comment

albi3ro left a comment

Choose a reason for hiding this comment

rmoyard commented Dec 15, 2021 •

edited

Loading