updated dqi notebook with new functions

Author: orsa-classiq

algorithms/dqi/dqi_max_xorsat.ipynb

@@ -1,50 +1,50 @@
-qfunc inplace_binary_to_one_hot_expanded___0(one_hot: qbit[4]) {
-  temp_0: qbit;
-  temp_1: qbit;
-  temp_2: qbit;
-  temp_3: qbit;
-  one_hot -> {temp_0, temp_1, temp_2, temp_3};
-  {temp_2, temp_0, temp_3, temp_1} -> one_hot;
-  X(one_hot[0]);
-  CX(one_hot[1], one_hot[0]);
-  control (one_hot[3]) {
-    SWAP(one_hot[0], one_hot[2]);
-  }
-  CX(one_hot[2], one_hot[3]);
-  CX(one_hot[3], one_hot[1]);
+qperm inplace_binary_to_one_hot_expanded___0(qvar: qbit[4]) {
+  x0: qbit;
+  x1: qbit;
+  x2: qbit;
+  x3: qbit;
+  qvar -> {x0, x1, x2, x3};
+  {x2, x0, x3, x1} -> qvar;
+  X(qvar[0]);
+  CX(qvar[1], qvar[0]);
+  control (qvar[3]) {
+    SWAP(qvar[0], qvar[2]);
+  }
+  CX(qvar[2], qvar[3]);
+  CX(qvar[3], qvar[1]);
 }
 
-qfunc binary_to_one_hot_expanded___0(input binary: qnum<2, False, 0>, output one_hot: qbit[4]) {
+qperm binary_to_one_hot_expanded___0(input binary: qnum<2, False, 0>, output one_hot: qbit[4]) {
   extension: qbit[2];
   allocate(2, extension);
   {binary, extension} -> one_hot;
   inplace_binary_to_one_hot_expanded___0(one_hot);
 }
 
-qfunc inplace_one_hot_to_unary_expanded___0(qvar: qbit[4]) {
+qperm inplace_one_hot_to_unary_expanded___0(qvar: qbit[4]) {
   repeat (i: 3) {
     CX(qvar[(4 - i) - 1], qvar[(4 - i) - 2]);
   }
   X(qvar[0]);
 }
 
-qfunc one_hot_to_unary_expanded___0(input one_hot: qbit[4], output unary: qbit[3]) {
+qperm one_hot_to_unary_expanded___0(input one_hot: qbit[4], output unary: qbit[3]) {
   inplace_one_hot_to_unary_expanded___0(one_hot);
   lsb: qbit;
   one_hot -> {lsb, unary};
   free(lsb);
 }
 
-qfunc binary_to_unary_expanded___0(input binary: qnum<2, False, 0>, output unary: qbit[3]) {
+qperm binary_to_unary_expanded___0(input binary: qnum<2, False, 0>, output unary: qbit[3]) {
   one_hot: qbit[4];
   binary_to_one_hot_expanded___0(binary, one_hot);
   one_hot_to_unary_expanded___0(one_hot, unary);
 }
 
-qfunc pad_zeros_expanded___0(input qvar: qbit[3], output qvar_padded: qbit[6]) {
+qperm pad_zeros_expanded___0(input qvar: qbit[3], output padded: qbit[6]) {
   extension: qbit[3];
   allocate(3, extension);
-  {qvar, extension} -> qvar_padded;
+  {qvar, extension} -> padded;
 }
 
 qfunc _dicke_split_cycle_shift_expanded___0(qvar: qbit[6]) {
@@ -125,32 +125,28 @@ qfunc _dicke_split_cycle_shift_expanded___4(qvar: qbit[2]) {
   }
 }
 
-qfunc prepare_dick_state_unary_input_expanded___0(qvar: qbit[1]) {
-}
-
-qfunc prepare_dick_state_unary_input_expanded___1(qvar: qbit[2]) {
+qfunc prepare_dicke_state_unary_input_expanded___0(qvar: qbit[2]) {
   _dicke_split_cycle_shift_expanded___4(qvar);
-  prepare_dick_state_unary_input_expanded___0(qvar[1:2]);
 }
 
-qfunc prepare_dick_state_unary_input_expanded___2(qvar: qbit[3]) {
+qfunc prepare_dicke_state_unary_input_expanded___1(qvar: qbit[3]) {
   _dicke_split_cycle_shift_expanded___3(qvar);
-  prepare_dick_state_unary_input_expanded___1(qvar[1:3]);
+  prepare_dicke_state_unary_input_expanded___0(qvar[1:3]);
 }
 
-qfunc prepare_dick_state_unary_input_expanded___3(qvar: qbit[4]) {
+qfunc prepare_dicke_state_unary_input_expanded___2(qvar: qbit[4]) {
   _dicke_split_cycle_shift_expanded___2(qvar);
-  prepare_dick_state_unary_input_expanded___2(qvar[1:4]);
+  prepare_dicke_state_unary_input_expanded___1(qvar[1:4]);
 }
 
-qfunc prepare_dick_state_unary_input_expanded___4(qvar: qbit[5]) {
+qfunc prepare_dicke_state_unary_input_expanded___3(qvar: qbit[5]) {
   _dicke_split_cycle_shift_expanded___1(qvar);
-  prepare_dick_state_unary_input_expanded___3(qvar[1:5]);
+  prepare_dicke_state_unary_input_expanded___2(qvar[1:5]);
 }
 
-qfunc prepare_dick_state_unary_input_expanded___5(qvar: qbit[6]) {
+qfunc prepare_dicke_state_unary_input_expanded___4(qvar: qbit[6]) {
   _dicke_split_cycle_shift_expanded___0(qvar);
-  prepare_dick_state_unary_input_expanded___4(qvar[1:6]);
+  prepare_dicke_state_unary_input_expanded___3(qvar[1:6]);
 }
 
 qfunc vector_product_phase_expanded___0(v: int[], y: qbit[6]) {
@@ -253,7 +249,7 @@ qfunc dqi_max_xor_sat_expanded___0(output y: qbit[6], output solution: qbit[6])
   k_unary: qbit[3];
   binary_to_unary_expanded___0(k_num_errors, k_unary);
   pad_zeros_expanded___0(k_unary, y);
-  prepare_dick_state_unary_input_expanded___5(y);
+  prepare_dicke_state_unary_input_expanded___4(y);
   vector_product_phase_expanded___0([1.0, 1.0, 1.0, 1.0, 1.0, 1.0], y);
   matrix_vector_product_expanded___0(y, solution);
   syndrome_decode_lookuptable_expanded___0(solution, y);

algorithms/dqi/dqi_max_xorsat.qmod

@@ -6,28 +6,28 @@
   "preferences": {
     "custom_hardware_settings": {
       "basis_gates": [
-        "cx",
         "x",
-        "t",
-        "id",
+        "cx",
+        "z",
+        "rx",
         "p",
+        "s",
         "cy",
-        "cz",
-        "rz",
-        "tdg",
-        "r",
-        "u",
-        "sx",
         "u2",
+        "ry",
+        "tdg",
+        "cz",
         "y",
+        "id",
+        "u",
+        "t",
+        "sdg",
         "u1",
-        "rx",
-        "s",
-        "sxdg",
-        "z",
+        "rz",
         "h",
-        "ry",
-        "sdg"
+        "r",
+        "sxdg",
+        "sx"
       ],
       "is_symmetric_connectivity": true
     },
@@ -36,7 +36,7 @@
     "optimization_level": 1,
     "output_format": ["qasm"],
     "pretty_qasm": true,
-    "random_seed": 2420618710,
+    "random_seed": 3915882729,
     "synthesize_all_separately": false,
     "timeout_seconds": 300,
     "transpilation_option": "auto optimize"