Circuit-level protocol and analysis for twist-based lattice surgery
نویسندگان
چکیده
Lattice surgery is a measurement-based technique for performing fault-tolerant quantum computation in two dimensions. When using the surface code, most general lattice operations require irregularities called twist defects. However, implementing twist-based may additional resources, such as extra device connectivity, and could lower threshold overall performance code. Here we provide an explicit protocol its requisite connectivity layout. We also new stabilizer measurement circuits measuring defects which are compatible with our chosen gate scheduling. undertake first circuit-level error correction simulations during biased depolarizing noise model. Our results indicate slight decrease timelike logical failures compared to protocols no bulk. comfortably below (i.e. CNOT infidelities $5 \times 10^{-3}$), degradation mild fact preferable over proposed alternative twist-free schemes. Lastly, efficient scheme $Y$ operators along boundaries of codes bypasses certain steps that were required previous
منابع مشابه
Reachability Analysis Based Circuit-Level Formal Verification
This dissertation presents a novel verification technique for analog and mixed signal circuits. Analog circuits are widely used in many applications such as consumer electronics, telecommunications, medical electronics, and so on. Furthermore, in deep sub-micron design, physical effects might undermine common digital abstractions of circuit behavior. Therefore, it is necessary to develop system...
متن کاملProjectagon-Based Reachability Analysis for Circuit-Level Formal Verification
This dissertation presents a novel verification technique for analog and mixed sig-nal circuits. Analog circuits are widely used in many applications include con-sumer electronics, telecommunications, medical electronics. Furthermore, in deepsub-micron design, physical effects might undermine common digital abstractionsof circuit behavior. Therefore, it is necessary to develop s...
متن کاملLattice QCD at maximal twist
In this review we discuss the general features of maximally twisted lattice QCD. In particular, we illustrate how automatic O(a) improvement can be achieved and how it is possible to set up a lattice regularization scheme where the problem of wrong chirality mixing (be it finite or infinite) affecting the computation of the matrix elements of the CP-conserving effective weak Hamiltonian is neat...
متن کاملCircuit-Level Verification of Practical Circuits Based on Reachability Analysis
Formal verification of analog and mixed signal circuits using continuous models is a promising area. As a consequence, hybrid system techniques, especially reachability analysis, have been applied to verify AMS designs. However, reachability computation is extremely expensive for high-dimensional, nonlinear hybrid systems. Therefore, it is challenging to verify large, practical circuits using a...
متن کاملsimulation and design of electronic processing circuit for restaurants e-procurement system
the poor orientation of the restaurants toward the information technology has yet many unsolved issues in regards to the customers. one of these problems which lead the appeal list of later, and have a negative impact on the prestige of the restaurant is the case when the later does not respond on time to the customers’ needs, and which causes their dissatisfaction. this issue is really sensiti...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physical review research
سال: 2022
ISSN: ['2643-1564']
DOI: https://doi.org/10.1103/physrevresearch.4.023090