Circuit

[1]:

from pytket.circuit.display import render_circuit_jupyter

from lambeq import AtomicType, BobcatParser, IQPAnsatz

N = AtomicType.NOUN
S = AtomicType.SENTENCE

[2]:

parser = BobcatParser()
diagram = parser.sentence2diagram('Alice runs')
diagram.draw()
../_images/examples_circuit_2_0.png 
[3]:

ansatz = IQPAnsatz({N: 1, S: 1}, n_layers=2)
discopy_circuit = ansatz(diagram)
discopy_circuit.draw(figsize=(10, 15))
../_images/examples_circuit_3_0.png 
[4]:

tket_circuit = ansatz(diagram).to_tk()

# This does not render properly on GitHub, please view it at:
# https://cqcl.github.io/lambeq/examples/circuit.html
render_circuit_jupyter(tket_circuit)
q[0]
q[1]
q[2]
c[0]
c[1]
Rx(2*Alice__n_0)
H
H
Rz(2*Alice__n_1)
Rz(2*runs__n.r@s_0)
Rx(2*Alice__n_2)
H
H
Rz(2*runs__n.r@s_1)
X
z
H
z
q[0]
q[1]
q[2]
c[0]
c[1]
[5]:

from sympy import default_sort_key

# Make sure you sort your symbols as they are returned as a set.
parameters = sorted(tket_circuit.free_symbols(), key=default_sort_key)

param_dict = {p: i * 0.001 for i, p in enumerate(parameters)}
param_dict

[5]:

{Alice__n_0: 0.0,
 Alice__n_1: 0.001,
 Alice__n_2: 0.002,
 runs__n.r@s_0: 0.003,
 runs__n.r@s_1: 0.004}

[6]:

tket_circuit.symbol_substitution(param_dict)

# This does not render properly on GitHub, please view it at:
# https://cqcl.github.io/lambeq/examples/circuit.html
render_circuit_jupyter(tket_circuit)
q[0]
q[1]
q[2]
c[0]
c[1]
Rx(0.0)
H
H
Rz(0.002)
Rz(0.006)
Rx(0.004)
H
H
Rz(0.008)
X
z
H
z
q[0]
q[1]
q[2]
c[0]
c[1]