Skip to content

interaction_validator

InteractionValidator

Bases: Validator

Source code in opensquirrel/passes/validator/interaction_validator.py 
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
class InteractionValidator(Validator):
    def __init__(self, connectivity: dict[str, list[int]], **kwargs: Any) -> None:
        super().__init__(**kwargs)
        self.connectivity = connectivity

    def validate(self, ir: IR) -> None:
        """
        Check if the circuit interactions faciliate a 1-to-1 mapping to the target hardware.

        Args:
            ir (IR): The intermediate representation of the circuit to be checked.

        Raises:
            ValueError: If the circuit can't be mapped to the target hardware.
        """
        non_executable_interactions = []
        for statement in ir.statements:
            if not isinstance(statement, Instruction):
                continue
            args = statement.arguments
            if args and len(args) > 1 and all(isinstance(arg, Qubit) for arg in args):
                qubit_args = [arg for arg in args if isinstance(arg, Qubit)]
                qubit_index_pairs = [(q0.index, q1.index) for q0, q1 in itertools.pairwise(qubit_args)]
                for i, j in qubit_index_pairs:
                    if j not in self.connectivity.get(str(i), []):
                        non_executable_interactions.append((i, j))

        if non_executable_interactions:
            error_message = (
                f"the following qubit interactions in the circuit prevent a 1-to-1 mapping:"
                f"{set(non_executable_interactions)}"
            )
            raise ValueError(error_message)

validate(ir)

Check if the circuit interactions faciliate a 1-to-1 mapping to the target hardware.

Parameters:

Name Type Description Default
ir IR

The intermediate representation of the circuit to be checked.

 required

Raises:

Type Description
ValueError

If the circuit can't be mapped to the target hardware.
Source code in opensquirrel/passes/validator/interaction_validator.py 
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
def validate(self, ir: IR) -> None:
    """
    Check if the circuit interactions faciliate a 1-to-1 mapping to the target hardware.

    Args:
        ir (IR): The intermediate representation of the circuit to be checked.

    Raises:
        ValueError: If the circuit can't be mapped to the target hardware.
    """
    non_executable_interactions = []
    for statement in ir.statements:
        if not isinstance(statement, Instruction):
            continue
        args = statement.arguments
        if args and len(args) > 1 and all(isinstance(arg, Qubit) for arg in args):
            qubit_args = [arg for arg in args if isinstance(arg, Qubit)]
            qubit_index_pairs = [(q0.index, q1.index) for q0, q1 in itertools.pairwise(qubit_args)]
            for i, j in qubit_index_pairs:
                if j not in self.connectivity.get(str(i), []):
                    non_executable_interactions.append((i, j))

    if non_executable_interactions:
        error_message = (
            f"the following qubit interactions in the circuit prevent a 1-to-1 mapping:"
            f"{set(non_executable_interactions)}"
        )
        raise ValueError(error_message)