{
  "record_type": "psiquantum.circuit",
  "title": "FIG 1.",
  "copyright": "Copyright (c) 2026.  All rights reserved.",
  "operations": [
    {
      "type": "register",
      "id": "r3",
      "label": "...",
      "style": {
        "rail_state": "allocated",
        "enumerate": "custom"
      },
      "rail_names": "\\ket{+}, \\ket{+},...,\\ket{+}, "
    },
    {
      "type": "register",
      "id": "r5",
      "label": "\\ket{x}",
      "style": {
        "collapsed_marker_el": {
          "visible": true,
          "text": "n"
        }
      }
    },
    {
      "type": "register",
      "id": "r6",
      "label": "\\ket{y}",
      "style": {
        "collapsed_marker_el": {
          "visible": true,
          "text": "n"
        }
      }
    },
    {
      "name": "routine",
      "label": "U_p",
      "input_registers": "r5,r6",
      "type": "routine",
      "id": "routine1",
      "controlled_by": "r3[0,2,3]"
    },
    {
      "name": "routine",
      "label": "U_{p_2}",
      "input_registers": "r5,r6",
      "type": "routine",
      "id": "routine2",
      "controlled_by": "r3[1,3]"
    },
    {
      "input_registers": "*",
      "tags": "ellipsis",
      "type": "separator",
      "id": "separator1"
    },
    {
      "name": "routine",
      "label": "U_{p_2}",
      "input_registers": "r5,r6",
      "type": "routine",
      "id": "routine3",
      "controlled_by": "r3[3]"
    },
    {
      "name": "routine",
      "label": "QFT^\\dagger",
      "input_registers": "r3",
      "type": "routine",
      "id": "routine4"
    },
    {
      "input_registers": "r1",
      "type": "group",
      "style": {
        "box_el": {
          "stroke": {
            "border_style": "none"
          }
        }
      },
      "id": "group1",
      "children": [
        {
          "type": "register",
          "id": "r1",
          "label": "g",
          "style": {
            "rail_state": "classical"
          }
        }
      ]
    },
    {
      "input_registers": "r3",
      "gate_type": "measurement",
      "type": "gate",
      "id": "gate1",
      "parameters": {
        "basis": "g"
      },
      "control_type": "control.classical",
      "controlled_by": "r1",
      "style": {
        "rail_state": "classical"
      }
    },
    {
      "type": "label",
      "label_type": "rail",
      "id": "label4",
      "input_registers": "r3,r1",
      "style": {
        "rail_state": "free",
        "box_el": {
          "padding": "t: 0, l: 12, b: 0, r: 5"
        },
        "margin": "h: 5, v: 2"
      }
    },
    {
      "input_registers": "*",
      "tags": "gap",
      "type": "separator",
      "id": "separator2",
      "style": {
        "width": 10
      }
    },
    {
      "type": "label",
      "label_type": "register-start",
      "label": "\\ket{+}",
      "input_registers": "r3[0]",
      "id": "label1",
      "style": {
        "rail_state": "REGISTER"
      }
    },
    {
      "type": "label",
      "label_type": "register-start",
      "label": "\\ket{+}",
      "input_registers": "r3[1]",
      "id": "label2",
      "style": {
        "rail_state": "GAP"
      }
    },
    {
      "type": "label",
      "label_type": "register-start",
      "label": "\\ket{+}",
      "input_registers": "r3[3]",
      "id": "label3",
      "style": {
        "rail_state": "GAP"
      }
    },
    {
      "name": "routine",
      "label": "U_p",
      "input_registers": "r5,r6",
      "type": "routine",
      "id": "routine5",
      "controlled_by": "r3[0,2,3]"
    },
    {
      "name": "routine",
      "label": "U_{p_2}",
      "input_registers": "r5,r6",
      "type": "routine",
      "id": "routine6",
      "controlled_by": "r3[1,3]"
    },
    {
      "input_registers": "*",
      "tags": "ellipsis",
      "type": "separator",
      "id": "separator3"
    },
    {
      "name": "routine",
      "label": "U_{p_2}",
      "input_registers": "r5,r6",
      "type": "routine",
      "id": "routine7",
      "controlled_by": "r3[3]"
    },
    {
      "name": "routine",
      "label": "QFT^\\dagger",
      "input_registers": "r3",
      "type": "routine",
      "id": "routine8"
    },
    {
      "input_registers": "r7",
      "type": "group",
      "style": {
        "box_el": {
          "stroke": {
            "border_style": "none"
          }
        }
      },
      "id": "group2",
      "children": [
        {
          "type": "register",
          "id": "r7",
          "style": {
            "rail_state": "classical"
          },
          "label": "qk"
        }
      ]
    },
    {
      "input_registers": "r3",
      "gate_type": "measurement",
      "type": "gate",
      "id": "gate3",
      "parameters": {
        "basis": "g"
      },
      "control_type": "control.classical",
      "controlled_by": "r7"
    }
  ],
  "record_format": 2,
  "modified": "2026-01-20T23:50:23.879Z"
}