tensorcircuit.zx.scalar_graph

Decomposition of ZX graphs into scalar graphs and JAX-compatible IR.

class tensorcircuit.zx.scalar_graph.CompiledComponent(output_indices, f_selection, compiled_scalar_graphs)

Bases: NamedTuple

compiled_scalar_graphs: list[CompiledScalarGraphs]

Alias for field number 2

count(value, /)

Return number of occurrences of value.

f_selection: list[int]

Alias for field number 1

index(value, start=0, stop=9223372036854775807, /)

Return first index of value.

Raises ValueError if the value is not present.

output_indices: list[int]

Alias for field number 0

class tensorcircuit.zx.scalar_graph.CompiledProgram(components, num_f_params, output_order, mode)

Bases: NamedTuple

components: list[CompiledComponent]

Alias for field number 0

count(value, /)

Return number of occurrences of value.

index(value, start=0, stop=9223372036854775807, /)

Return first index of value.

Raises ValueError if the value is not present.

mode: str

Alias for field number 3

num_f_params: int

Alias for field number 1

output_order: list[int]

Alias for field number 2

class tensorcircuit.zx.scalar_graph.CompiledScalarGraphs(num_graphs, n_params, a_const_phases, a_param_bits, a_num_terms, b_term_types, b_param_bits, c_const_bits_a, c_param_bits_a, c_const_bits_b, c_param_bits_b, d_const_alpha, d_const_beta, d_param_bits_a, d_param_bits_b, d_num_terms, phase_indices, has_approximate_floatfactors, approximate_floatfactors, power2, floatfactor)

Bases: NamedTuple

a_const_phases: Array

Alias for field number 2

a_num_terms: Array

Alias for field number 4

a_param_bits: Array

Alias for field number 3

approximate_floatfactors: Array

Alias for field number 18

b_param_bits: Array

Alias for field number 6

b_term_types: Array

Alias for field number 5

c_const_bits_a: Array

Alias for field number 7

c_const_bits_b: Array

Alias for field number 9

c_param_bits_a: Array

Alias for field number 8

c_param_bits_b: Array

Alias for field number 10

count(value, /)

Return number of occurrences of value.

d_const_alpha: Array

Alias for field number 11

d_const_beta: Array

Alias for field number 12

d_num_terms: Array

Alias for field number 15

d_param_bits_a: Array

Alias for field number 13

d_param_bits_b: Array

Alias for field number 14

floatfactor: Array

Alias for field number 20

has_approximate_floatfactors: bool

Alias for field number 17

index(value, start=0, stop=9223372036854775807, /)

Return first index of value.

Raises ValueError if the value is not present.

n_params: int

Alias for field number 1

num_graphs: int

Alias for field number 0

phase_indices: Array

Alias for field number 16

power2: Array

Alias for field number 19

tensorcircuit.zx.scalar_graph.compile_program(prepared: Any, mode: str, strategy: Literal['cat5', 'bss', 'cutting'] = 'cat5') → CompiledProgram

Compile a prepared sampling graph into a multicomponent program.

Parameters:

• prepared (Any) – The prepared sampling graph metadata.

• mode (str) – Compilation mode, currently only ‘sequential’ is supported.

• strategy (DecompositionStrategy, optional) – Decomposition strategy for T gates, defaults to “cat5”.

Returns:

The compiled program metadata.

Return type:

CompiledProgram

tensorcircuit.zx.scalar_graph.compile_scalar_graphs(g_list: list[Any], params: list[str]) → CompiledScalarGraphs

Compile a list of ZX scalar graphs into a JAX-compatible IR format.

Parameters:

• g_list (list[Any]) – List of ZX scalar graphs.

• params (list[str]) – List of parameter names (e.g., ‘f0’, ‘m0’).

Returns:

Compiled scalar graphs in IR format.

Return type:

CompiledScalarGraphs

tensorcircuit.zx.scalar_graph.find_stab(graph: Any, strategy: Literal['cat5', 'bss', 'cutting'], pre_reduced: bool = False) → List[Any]

Decompose a ZX graph into a sum of stabilizer graphs.

Parameters:

• graph (Any) – The ZX graph to decompose.

• strategy (DecompositionStrategy) – Decomposition strategy for T gates.

• pre_reduced (bool) – If True, skip the initial full_reduce (caller already reduced).

Returns:

List of stabilizer graphs.

Return type:

List[Any]

tensorcircuit.zx.scalar_graph.find_stab_magic(graphs: List[Any], strategy: Literal['cat5', 'bss', 'cutting']) → list[Any]

tensorcircuit.zx.scalar_graph.find_stab_u3(graphs: List[Any], strategy: Literal['cat5', 'bss', 'cutting']) → list[Any]