|
@@ -6,35 +6,32 @@ import itertools as it |
|
|
import clifford |
|
|
import clifford |
|
|
import json |
|
|
import json |
|
|
import qi |
|
|
import qi |
|
|
|
|
|
import networkx as nx |
|
|
|
|
|
|
|
|
try: |
|
|
|
|
|
import networkx as nx |
|
|
|
|
|
except ImportError: |
|
|
|
|
|
print "Could not import networkx." |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class GraphState(): |
|
|
|
|
|
|
|
|
class GraphState(object): |
|
|
|
|
|
|
|
|
def __init__(self, nodes=[]): |
|
|
def __init__(self, nodes=[]): |
|
|
self.ngbh, self.vops, self.meta = {}, {}, {} |
|
|
|
|
|
|
|
|
self.adj, self.node = {}, {} |
|
|
self.add_nodes(nodes) |
|
|
self.add_nodes(nodes) |
|
|
|
|
|
|
|
|
def add_node(self, v, meta={}): |
|
|
|
|
|
|
|
|
def add_node(self, v, position = None, meta = {}): |
|
|
""" Add a node """ |
|
|
""" Add a node """ |
|
|
self.ngbh[v] = set() |
|
|
|
|
|
self.vops[v] = clifford.by_name["hadamard"] |
|
|
|
|
|
self.meta[v] = meta |
|
|
|
|
|
|
|
|
assert not v in self.node |
|
|
|
|
|
self.adj[v] = {} |
|
|
|
|
|
self.node[v] = {"vop": clifford.by_name["hadamard"], |
|
|
|
|
|
"position": position} |
|
|
|
|
|
self.node[v].update(meta) |
|
|
|
|
|
|
|
|
def add_nodes(self, nodes): |
|
|
def add_nodes(self, nodes): |
|
|
""" Add a buncha nodes """ |
|
|
""" Add a buncha nodes """ |
|
|
for n in nodes: |
|
|
for n in nodes: |
|
|
self.add_node(n) |
|
|
self.add_node(n) |
|
|
|
|
|
|
|
|
def add_edge(self, v1, v2): |
|
|
|
|
|
|
|
|
def add_edge(self, v1, v2, data = {}): |
|
|
""" Add an edge between two vertices in the self """ |
|
|
""" Add an edge between two vertices in the self """ |
|
|
assert v1 != v2 |
|
|
assert v1 != v2 |
|
|
self.ngbh[v1].add(v2) |
|
|
|
|
|
self.ngbh[v2].add(v1) |
|
|
|
|
|
|
|
|
self.adj[v1][v2] = data |
|
|
|
|
|
self.adj[v2][v1] = data |
|
|
|
|
|
|
|
|
def add_edges(self, edges): |
|
|
def add_edges(self, edges): |
|
|
""" Add a buncha edges """ |
|
|
""" Add a buncha edges """ |
|
@@ -43,12 +40,12 @@ class GraphState(): |
|
|
|
|
|
|
|
|
def del_edge(self, v1, v2): |
|
|
def del_edge(self, v1, v2): |
|
|
""" Delete an edge between two vertices in the self """ |
|
|
""" Delete an edge between two vertices in the self """ |
|
|
self.ngbh[v1].remove(v2) |
|
|
|
|
|
self.ngbh[v2].remove(v1) |
|
|
|
|
|
|
|
|
del self.adj[v1][v2] |
|
|
|
|
|
del self.adj[v2][v1] |
|
|
|
|
|
|
|
|
def has_edge(self, v1, v2): |
|
|
def has_edge(self, v1, v2): |
|
|
""" Test existence of an edge between two vertices in the self """ |
|
|
""" Test existence of an edge between two vertices in the self """ |
|
|
return v2 in self.ngbh[v1] |
|
|
|
|
|
|
|
|
return v2 in self.adj[v1] |
|
|
|
|
|
|
|
|
def toggle_edge(self, v1, v2): |
|
|
def toggle_edge(self, v1, v2): |
|
|
""" Toggle an edge between two vertices in the self """ |
|
|
""" Toggle an edge between two vertices in the self """ |
|
@@ -59,33 +56,35 @@ class GraphState(): |
|
|
|
|
|
|
|
|
def edgelist(self): |
|
|
def edgelist(self): |
|
|
""" Describe a graph as an edgelist """ |
|
|
""" Describe a graph as an edgelist """ |
|
|
|
|
|
# TODO: inefficient |
|
|
edges = set(tuple(sorted((i, n))) |
|
|
edges = set(tuple(sorted((i, n))) |
|
|
for i, v in self.ngbh.items() |
|
|
|
|
|
|
|
|
for i, v in self.adj.items() |
|
|
for n in v) |
|
|
for n in v) |
|
|
return tuple(edges) |
|
|
return tuple(edges) |
|
|
|
|
|
|
|
|
def remove_vop(self, a, avoid): |
|
|
def remove_vop(self, a, avoid): |
|
|
""" Reduces VOP[a] to the identity """ |
|
|
""" Reduces VOP[a] to the identity """ |
|
|
others = self.ngbh[a] - {avoid} |
|
|
|
|
|
|
|
|
#TODO: inefficient |
|
|
|
|
|
others = set(self.adj[a]) - {avoid} |
|
|
swap_qubit = others.pop() if others else avoid |
|
|
swap_qubit = others.pop() if others else avoid |
|
|
for v in reversed(clifford.decompositions[self.vops[a]]): |
|
|
|
|
|
|
|
|
for v in reversed(clifford.decompositions[self.node[a]["vop"]]): |
|
|
self.local_complementation(a if v == "x" else swap_qubit) |
|
|
self.local_complementation(a if v == "x" else swap_qubit) |
|
|
|
|
|
|
|
|
def local_complementation(self, v): |
|
|
def local_complementation(self, v): |
|
|
""" As defined in LISTING 1 of Anders & Briegel """ |
|
|
""" As defined in LISTING 1 of Anders & Briegel """ |
|
|
for i, j in it.combinations(self.ngbh[v], 2): |
|
|
|
|
|
|
|
|
for i, j in it.combinations(self.adj[v], 2): |
|
|
self.toggle_edge(i, j) |
|
|
self.toggle_edge(i, j) |
|
|
|
|
|
|
|
|
msqx_h = clifford.conjugation_table[clifford.by_name["msqx"]] |
|
|
msqx_h = clifford.conjugation_table[clifford.by_name["msqx"]] |
|
|
sqz_h = clifford.conjugation_table[clifford.by_name["sqz"]] |
|
|
sqz_h = clifford.conjugation_table[clifford.by_name["sqz"]] |
|
|
self.vops[v] = clifford.times_table[self.vops[v], msqx_h] |
|
|
|
|
|
for i in self.ngbh[v]: |
|
|
|
|
|
self.vops[i] = clifford.times_table[self.vops[i], sqz_h] |
|
|
|
|
|
|
|
|
self.node[v]["vop"] = clifford.times_table[self.node[v]["vop"], msqx_h] |
|
|
|
|
|
for i in self.adj[v]: |
|
|
|
|
|
self.node[i]["vop"] = clifford.times_table[self.node[i]["vop"], sqz_h] |
|
|
|
|
|
|
|
|
def act_local_rotation(self, v, op): |
|
|
def act_local_rotation(self, v, op): |
|
|
""" Act a local rotation """ |
|
|
""" Act a local rotation """ |
|
|
rotation = clifford.by_name[str(op)] |
|
|
rotation = clifford.by_name[str(op)] |
|
|
self.vops[v] = clifford.times_table[rotation, self.vops[v]] |
|
|
|
|
|
|
|
|
self.node[v]["vop"] = clifford.times_table[rotation, self.node[v]["vop"]] |
|
|
|
|
|
|
|
|
def act_hadamard(self, qubit): |
|
|
def act_hadamard(self, qubit): |
|
|
""" Shorthand """ |
|
|
""" Shorthand """ |
|
@@ -93,15 +92,16 @@ class GraphState(): |
|
|
|
|
|
|
|
|
def act_cz(self, a, b): |
|
|
def act_cz(self, a, b): |
|
|
""" Act a controlled-phase gate on two qubits """ |
|
|
""" Act a controlled-phase gate on two qubits """ |
|
|
if self.ngbh[a] - {b}: |
|
|
|
|
|
|
|
|
#TODO: inefficient |
|
|
|
|
|
if set(self.adj[a]) - {b}: |
|
|
self.remove_vop(a, b) |
|
|
self.remove_vop(a, b) |
|
|
if self.ngbh[b] - {a}: |
|
|
|
|
|
|
|
|
if set(self.adj[b]) - {a}: |
|
|
self.remove_vop(b, a) |
|
|
self.remove_vop(b, a) |
|
|
if self.ngbh[a] - {b}: |
|
|
|
|
|
|
|
|
if set(self.adj[a]) - {b}: |
|
|
self.remove_vop(a, b) |
|
|
self.remove_vop(a, b) |
|
|
edge = int(self.has_edge(a, b)) |
|
|
edge = int(self.has_edge(a, b)) |
|
|
new_edge, self.vops[a], self.vops[ |
|
|
|
|
|
b] = clifford.cz_table[edge, self.vops[a], self.vops[b]] |
|
|
|
|
|
|
|
|
new_edge, self.node[a]["vop"], self.node[ |
|
|
|
|
|
b]["vop"] = clifford.cz_table[edge, self.node[a]["vop"], self.node[b]["vop"]] |
|
|
if new_edge != edge: |
|
|
if new_edge != edge: |
|
|
self.toggle_edge(a, b) |
|
|
self.toggle_edge(a, b) |
|
|
|
|
|
|
|
@@ -110,7 +110,7 @@ class GraphState(): |
|
|
res = force if force else np.random.choice([0, 1]) |
|
|
res = force if force else np.random.choice([0, 1]) |
|
|
|
|
|
|
|
|
# Disconnect |
|
|
# Disconnect |
|
|
for neighbour in self.ngbh[node]: |
|
|
|
|
|
|
|
|
for neighbour in self.adj[node]: |
|
|
self.del_edge(node, neighbour) |
|
|
self.del_edge(node, neighbour) |
|
|
if res: |
|
|
if res: |
|
|
self.act_local_rotation(neighbour, "pz") |
|
|
self.act_local_rotation(neighbour, "pz") |
|
@@ -136,76 +136,46 @@ class GraphState(): |
|
|
|
|
|
|
|
|
def order(self): |
|
|
def order(self): |
|
|
""" Get the number of qubits """ |
|
|
""" Get the number of qubits """ |
|
|
return len(self.vops) |
|
|
|
|
|
|
|
|
return len(self.node) |
|
|
|
|
|
|
|
|
def __str__(self): |
|
|
def __str__(self): |
|
|
""" Represent as a string for quick debugging """ |
|
|
""" Represent as a string for quick debugging """ |
|
|
vopstr = {key: clifford.get_name(value) |
|
|
|
|
|
for key, value in self.vops.items()} |
|
|
|
|
|
nbstr = str(self.ngbh) |
|
|
|
|
|
return "graph:\n vops: {}\n ngbh: {}\n".format(vopstr, nbstr) |
|
|
|
|
|
|
|
|
node = {key: clifford.get_name(value["vop"]) |
|
|
|
|
|
for key, value in self.node.items()} |
|
|
|
|
|
nbstr = str(self.adj) |
|
|
|
|
|
return "graph:\n node: {}\n adj: {}\n".format(node, nbstr) |
|
|
|
|
|
|
|
|
def to_json(self): |
|
|
def to_json(self): |
|
|
""" Convert the graph to JSON form """ |
|
|
""" Convert the graph to JSON form """ |
|
|
meta = {key: value for key, value in self.meta.items()} |
|
|
|
|
|
edge = self.edgelist() |
|
|
|
|
|
return {"nodes": self.vops, "edges": edge, "meta": meta} |
|
|
|
|
|
|
|
|
return {"node": self.node, "adj": self.adj} |
|
|
|
|
|
|
|
|
def from_json(self, data): |
|
|
def from_json(self, data): |
|
|
""" Reconstruct from JSON """ |
|
|
""" Reconstruct from JSON """ |
|
|
self.__init__([]) |
|
|
self.__init__([]) |
|
|
self.vops = {int(key): value for key, value in data["nodes"].items()} |
|
|
|
|
|
self.meta = {int(key): value for key, value in data["meta"].items()} |
|
|
|
|
|
self.ngbh = {int(key): set() for key in self.vops} |
|
|
|
|
|
self.add_edges(data["edges"]) |
|
|
|
|
|
|
|
|
|
|
|
def to_networkx(self): |
|
|
|
|
|
""" Convert the graph to a networkx graph """ |
|
|
|
|
|
g = nx.Graph() |
|
|
|
|
|
g.edge = {node: {neighbour: {} for neighbour in neighbours} |
|
|
|
|
|
for node, neighbours in self.ngbh.items()} |
|
|
|
|
|
g.node = {node: {"vop": vop} for node, vop in self.vops.items()} |
|
|
|
|
|
for node, metadata in self.meta.items(): |
|
|
|
|
|
g.node[node].update(metadata) |
|
|
|
|
|
return g |
|
|
|
|
|
|
|
|
#TODO |
|
|
|
|
|
|
|
|
def to_state_vector(self): |
|
|
def to_state_vector(self): |
|
|
""" Get the full state vector """ |
|
|
""" Get the full state vector """ |
|
|
if len(self.vops) > 15: |
|
|
|
|
|
|
|
|
if len(self.node) > 15: |
|
|
raise ValueError("Cannot build state vector: too many qubits") |
|
|
raise ValueError("Cannot build state vector: too many qubits") |
|
|
state = qi.CircuitModel(len(self.vops)) |
|
|
|
|
|
for i in range(len(self.vops)): |
|
|
|
|
|
|
|
|
state = qi.CircuitModel(len(self.node)) |
|
|
|
|
|
for i in range(len(self.node)): |
|
|
state.act_hadamard(i) |
|
|
state.act_hadamard(i) |
|
|
for i, j in self.edgelist(): |
|
|
for i, j in self.edgelist(): |
|
|
state.act_cz(i, j) |
|
|
state.act_cz(i, j) |
|
|
for i, u in self.vops.items(): |
|
|
|
|
|
state.act_local_rotation(i, clifford.unitaries[u]) |
|
|
|
|
|
|
|
|
for i, n in self.node.items(): |
|
|
|
|
|
state.act_local_rotation(i, clifford.unitaries[n["vop"]]) |
|
|
return state |
|
|
return state |
|
|
|
|
|
|
|
|
def layout(self): |
|
|
|
|
|
""" Automatically lay out the graph """ |
|
|
|
|
|
if self.order() == 0: |
|
|
|
|
|
return |
|
|
|
|
|
g = self.to_networkx() |
|
|
|
|
|
pos = nx.spring_layout(g, dim=3, scale=10) |
|
|
|
|
|
average = lambda axis: sum(p[axis] |
|
|
|
|
|
for p in pos.values()) / float(len(pos)) |
|
|
|
|
|
ax, ay, az = average(0), average(1), average(2) |
|
|
|
|
|
for key, (x, y, z) in pos.items(): |
|
|
|
|
|
self.meta[key]["pos"] = { |
|
|
|
|
|
"x": x - ax, |
|
|
|
|
|
"y": y - ay, |
|
|
|
|
|
"z": z - az} |
|
|
|
|
|
|
|
|
|
|
|
def to_stabilizer(self): |
|
|
def to_stabilizer(self): |
|
|
""" Get the stabilizer of this graph """ |
|
|
""" Get the stabilizer of this graph """ |
|
|
# TODO: VOPs are not implemented yet |
|
|
# TODO: VOPs are not implemented yet |
|
|
output = "" |
|
|
output = "" |
|
|
for a in self.ngbh: |
|
|
|
|
|
for b in self.ngbh: |
|
|
|
|
|
|
|
|
for a in self.adj: |
|
|
|
|
|
for b in self.adj: |
|
|
if a == b: |
|
|
if a == b: |
|
|
output += " X " |
|
|
output += " X " |
|
|
elif a in self.ngbh[b]: |
|
|
|
|
|
|
|
|
elif a in self.adj[b]: |
|
|
output += " Z " |
|
|
output += " Z " |
|
|
else: |
|
|
else: |
|
|
output += " I " |
|
|
output += " I " |
|
@@ -215,16 +185,16 @@ class GraphState(): |
|
|
def adj_list(self): |
|
|
def adj_list(self): |
|
|
""" For comparison with Anders and Briegel's C++ implementation """ |
|
|
""" For comparison with Anders and Briegel's C++ implementation """ |
|
|
rows = [] |
|
|
rows = [] |
|
|
for key, vop in self.vops.items(): |
|
|
|
|
|
ngbh = " ".join(map(str, sorted(self.ngbh[key]))) |
|
|
|
|
|
vop = clifford.get_name(vop) |
|
|
|
|
|
s = "Vertex {}: VOp {}, neighbors {}".format(key, vop, ngbh) |
|
|
|
|
|
|
|
|
for key, node in self.node.items(): |
|
|
|
|
|
adj = " ".join(map(str, sorted(self.adj[key]))) |
|
|
|
|
|
vop = clifford.get_name(node["vop"]) |
|
|
|
|
|
s = "Vertex {}: VOp {}, neighbors {}".format(key, vop, adj) |
|
|
rows.append(s) |
|
|
rows.append(s) |
|
|
return " \n".join(rows) + " \n" |
|
|
return " \n".join(rows) + " \n" |
|
|
|
|
|
|
|
|
def __eq__(self, other): |
|
|
def __eq__(self, other): |
|
|
""" Check equality between graphs """ |
|
|
""" Check equality between graphs """ |
|
|
return self.ngbh == other.ngbh and self.vops == other.vops |
|
|
|
|
|
|
|
|
return self.adj == other.adj and self.node == other.node |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|