-
Resource-aware scheduling of multiple quantum circuits on a hardware device
Authors:
Debasmita Bhoumik,
Ritajit Majumdar,
Susmita Sur-Kolay
Abstract:
Recent quantum technologies and quantum error-correcting codes emphasize the requirement for arranging interacting qubits in a nearest-neighbor (NN) configuration while map** a quantum circuit onto a given hardware device, in order to avoid undesirable noise. It is equally important to minimize the wastage of qubits in a quantum hardware device with m qubits while running circuits of n qubits in…
▽ More
Recent quantum technologies and quantum error-correcting codes emphasize the requirement for arranging interacting qubits in a nearest-neighbor (NN) configuration while map** a quantum circuit onto a given hardware device, in order to avoid undesirable noise. It is equally important to minimize the wastage of qubits in a quantum hardware device with m qubits while running circuits of n qubits in total, with n < m. In order to prevent cross-talk between two circuits, a buffer distance between their layouts is needed. Furthermore, not all the qubits and all the two-qubit interactions are at the same noise-level. Scheduling multiple circuits on the same hardware may create a possibility that some circuits are executed on a noisier layout than the others. In this paper, we consider an optimization problem which schedules as many circuits as possible for execution in parallel on the hardware, while maintaining a pre-defined layout quality for each. An integer linear programming formulation to ensure maximum fidelity while preserving the nearest neighbor arrangement among interacting qubits is presented. Our assertion is supported by comprehensive investigations involving various well-known quantum circuit benchmarks. As this scheduling problem is shown to be NP Hard, we also propose a greedy heuristic method which provides 2x and 3x better utilization for 27-qubit and 127-qubit hardware devices respectively in terms of qubits and time.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Synergy of machine learning with quantum computing and communication
Authors:
Debasmita Bhoumik,
Susmita Sur-Kolay,
Latesh Kumar K. J.,
Sundaraja Sitharama Iyengar
Abstract:
Machine learning in quantum computing and communication provides intensive opportunities for revolutionizing the field of Physics, Mathematics, and Computer Science. There exists an aperture of understanding behind this interdisciplinary domain and a lack of core understanding renders an opportunity to explore the machine learning techniques for this domain. This paper gives a comprehensive review…
▽ More
Machine learning in quantum computing and communication provides intensive opportunities for revolutionizing the field of Physics, Mathematics, and Computer Science. There exists an aperture of understanding behind this interdisciplinary domain and a lack of core understanding renders an opportunity to explore the machine learning techniques for this domain. This paper gives a comprehensive review of state-of-the-art approaches in quantum computing and quantum communication in the context of Artificial Intelligence and machine learning models. The paper reviews the classical ML models that have been employed in various ways for quantum computation such as quantum error correction, quantum communication, quantum cryptography, and map** quantum algorithms to the existing hardware. The paper also illustrates how the relevant current challenges can be transformed into future research avenues.
△ Less
Submitted 5 October, 2023;
originally announced October 2023.
-
FragQC: An Efficient Quantum Error Reduction Technique using Quantum Circuit Fragmentation
Authors:
Saikat Basu,
Arnav Das,
Amit Saha,
Amlan Chakrabarti,
Susmita Sur-Kolay
Abstract:
Quantum computers must meet extremely stringent qualitative and quantitative requirements on their qubits in order to solve real-life problems. Quantum circuit fragmentation techniques divide a large quantum circuit into a number of sub-circuits that can be executed on the smaller noisy quantum hardware available. However, the process of quantum circuit fragmentation involves finding an ideal cut…
▽ More
Quantum computers must meet extremely stringent qualitative and quantitative requirements on their qubits in order to solve real-life problems. Quantum circuit fragmentation techniques divide a large quantum circuit into a number of sub-circuits that can be executed on the smaller noisy quantum hardware available. However, the process of quantum circuit fragmentation involves finding an ideal cut that has exponential time complexity, and also classical post-processing required to reconstruct the output. In this paper, we represent a quantum circuit using a weighted graph and propose a novel classical graph partitioning algorithm for selecting an efficient fragmentation that reduces the entanglement between the sub-circuits along with balancing the estimated error in each sub-circuit. We also demonstrate a comparative study over different classical and quantum approaches of graph partitioning for finding such a cut. We present {\it FragQC}, a software tool that cuts a quantum circuit into sub-circuits when its error probability exceeds a certain threshold. With this proposed approach, we achieve an increase of fidelity by 14.83\% compared to direct execution without cutting the circuit, and 8.45\% over the state-of-the-art ILP-based method, for the benchmark circuits.
△ Less
Submitted 30 September, 2023;
originally announced October 2023.
-
Distributed Scheduling of Quantum Circuits with Noise and Time Optimization
Authors:
Debasmita Bhoumik,
Ritajit Majumdar,
Amit Saha,
Susmita Sur-Kolay
Abstract:
Quantum computers are noisy at present in the absence of error correction and fault tolerance. Interim methods such as error suppression and mitigation find wide applicability. Another method, which is independent of other error suppression and mitigation, and can be applied in conjunction with them to further lower the noise in the system, is circuit cutting. In this paper, we propose a scheduler…
▽ More
Quantum computers are noisy at present in the absence of error correction and fault tolerance. Interim methods such as error suppression and mitigation find wide applicability. Another method, which is independent of other error suppression and mitigation, and can be applied in conjunction with them to further lower the noise in the system, is circuit cutting. In this paper, we propose a scheduler that finds the optimum schedule for the subcircuits obtained by circuit cutting on the available set of hardware to (i) maximize the overall fidelity, and (ii) ensure that the predefined maximum execution time for each hardware is not exceeded. The fidelity obtained by this method on various benchmark circuits is significantly better than that of the uncut circuit executed on the least noisy device. The average increase in the fidelity obtained by our method are respectively ~12.3% and ~21% for 10-qubit benchmark circuits without and with measurement error mitigation, even when each hardware was allowed the minimum possible execution time. This noise and time optimized distributed scheduler is an initial step towards providing the optimal performance in the current scenario where the users may have limited access to quantum hardware.
△ Less
Submitted 12 October, 2023; v1 submitted 12 September, 2023;
originally announced September 2023.
-
On Fault Tolerance of Circuits with Intermediate Qutrit-assisted Gate Decomposition
Authors:
Ritajit Majumdar,
Amit Saha,
Amlan Chakrabarti,
Susmita Sur-Kolay
Abstract:
The use of a few intermediate qutrits for efficient decomposition of 3-qubit unitary gates has been proposed, to obtain an exponential reduction in the depth of the decomposed circuit. An intermediate qutrit implies that a qubit is operated as a qutrit in a particular execution cycle. This method, primarily for the NISQ era, treats a qubit as a qutrit only for the duration when it requires access…
▽ More
The use of a few intermediate qutrits for efficient decomposition of 3-qubit unitary gates has been proposed, to obtain an exponential reduction in the depth of the decomposed circuit. An intermediate qutrit implies that a qubit is operated as a qutrit in a particular execution cycle. This method, primarily for the NISQ era, treats a qubit as a qutrit only for the duration when it requires access to the state $\ket{2}$ during the computation. In this article, we study the challenges of including fault-tolerance in such a decomposition. We first show that any qubit that requires access to the state $\ket{2}$ at any point in the circuit, must be encoded using a qutrit quantum error correcting code (QECC), thus resulting in a circuit with both qubits and qutrits at the outset. Since qutrits are noisier than qubits, the former is expected to require higher levels of concatenation to achieve a particular accuracy than that for qubit-only decomposition. Next, we derive analytically (i) the number of levels of concatenation required for qubit-qutrit and qubit-only decompositions as a function of the probability of error, and (ii) the criterion for which qubit-qutrit decomposition leads to a lower gate count than qubit-only decomposition. We present numerical results for these two types of decomposition and obtain the situation where qubit-qutrit decomposition excels for the example circuit of the quantum adder by considering different values for quantum hardware-noise and non-transversal implementation of the 2-controlled ternary CNOT gate.
△ Less
Submitted 12 September, 2023; v1 submitted 15 December, 2022;
originally announced December 2022.
-
Efficient Syndrome Decoder for Heavy Hexagonal QECC via Machine Learning
Authors:
Debasmita Bhoumik,
Ritajit Majumdar,
Dhiraj Madan,
Dhinakaran Vinayagamurthy,
Shesha Raghunathan,
Susmita Sur-Kolay
Abstract:
Error syndromes for heavy hexagonal code and other topological codes such as surface code have typically been decoded by using Minimum Weight Perfect Matching (MWPM) based methods. Recent advances have shown that topological codes can be efficiently decoded by deploying machine learning (ML) techniques, in particular with neural networks. In this work, we first propose an ML based decoder for heav…
▽ More
Error syndromes for heavy hexagonal code and other topological codes such as surface code have typically been decoded by using Minimum Weight Perfect Matching (MWPM) based methods. Recent advances have shown that topological codes can be efficiently decoded by deploying machine learning (ML) techniques, in particular with neural networks. In this work, we first propose an ML based decoder for heavy hexagonal code and establish its efficiency in terms of the values of threshold and pseudo-threshold, for various noise models. We show that the proposed ML based decoding method achieves $\sim5 \times$ higher values of threshold than that for MWPM.
Next, exploiting the property of subsystem codes, we define gauge equivalence for heavy hexagonal code, by which two distinct errors can belong to the same error class. A linear search based method is proposed for determining the equivalent error classes. This provides a quadratic reduction in the number of error classes to be considered for both bit flip and phase flip errors, and thus a further improvement of $\sim 14\%$ in the threshold over the basic ML decoder. Lastly, a novel technique based on rank to determine the equivalent error classes is presented, which is empirically faster than the one based on linear search.
△ Less
Submitted 2 April, 2024; v1 submitted 18 October, 2022;
originally announced October 2022.
-
Efficient Decoding of Surface Code Syndromes for Error Correction in Quantum Computing
Authors:
Debasmita Bhoumik,
Pinaki Sen,
Ritajit Majumdar,
Susmita Sur-Kolay,
Latesh Kumar K J,
Sundaraja Sitharama Iyengar
Abstract:
Errors in surface code have typically been decoded by Minimum Weight Perfect Matching (MWPM) based method. Recently, neural-network-based Machine Learning (ML) techniques have been employed for this purpose. Here we propose a two-level (low and high) ML-based decoding scheme, where the first level corrects errors on physical qubits and the second one corrects any existing logical errors, for diffe…
▽ More
Errors in surface code have typically been decoded by Minimum Weight Perfect Matching (MWPM) based method. Recently, neural-network-based Machine Learning (ML) techniques have been employed for this purpose. Here we propose a two-level (low and high) ML-based decoding scheme, where the first level corrects errors on physical qubits and the second one corrects any existing logical errors, for different noise models. Our results show that our proposed decoding method achieves $\sim10 \times$ and $\sim2 \times$ higher values of pseudo-threshold and threshold respectively, than for MWPM. We show that usage of more sophisticated ML models with higher training/testing time, do not provide significant improvement in the decoder performance. Finally, data generation for training the ML decoder requires significant overhead hence lower volume of training data is desirable. We have shown that our decoder maintains a good performance with the train-test-ratio as low as $40:60$.
△ Less
Submitted 21 October, 2021;
originally announced October 2021.
-
$i$-QER: An Intelligent Approach towards Quantum Error Reduction
Authors:
Saikat Basu,
Amit Saha,
Amlan Chakrabarti,
Susmita Sur-Kolay
Abstract:
Quantum computing has become a promising computing approach because of its capability to solve certain problems, exponentially faster than classical computers. A $n$-qubit quantum system is capable of providing $2^{n}$ computational space to a quantum algorithm. However, quantum computers are prone to errors. Quantum circuits that can reliably run on today's Noisy Intermediate-Scale Quantum (NISQ)…
▽ More
Quantum computing has become a promising computing approach because of its capability to solve certain problems, exponentially faster than classical computers. A $n$-qubit quantum system is capable of providing $2^{n}$ computational space to a quantum algorithm. However, quantum computers are prone to errors. Quantum circuits that can reliably run on today's Noisy Intermediate-Scale Quantum (NISQ) devices are not only limited by their qubit counts but also by their noisy gate operations. In this paper, we have introduced $i$-QER, a scalable machine learning-based approach to evaluate errors in a quantum circuit and helps to reduce these without using any additional quantum resources. The $i$-QER predicts possible errors in a given quantum circuit using supervised learning models. If the predicted error is above a pre-specified threshold, it cuts the large quantum circuit into two smaller sub-circuits using an error-influenced fragmentation strategy for the first time to the best of our knowledge. The proposed fragmentation process is iterated until the predicted error reaches below the threshold for each sub-circuit. The sub-circuits are then executed on a quantum device. Classical reconstruction of the outputs obtained from the sub-circuits can generate the output of the complete circuit. Thus, $i$-QER also provides classical control over a scalable hybrid computing approach, which is a combination of quantum and classical computers. The $i$-QER tool is available at https://github.com/SaikatBasu90/i-QER.
△ Less
Submitted 2 April, 2022; v1 submitted 12 October, 2021;
originally announced October 2021.
-
Depth Optimized Ansatz Circuit in QAOA for Max-Cut
Authors:
Ritajit Majumdar,
Debasmita Bhoumik,
Dhiraj Madan,
Dhinakaran Vinayagamurthy,
Shesha Raghunathan,
Susmita Sur-Kolay
Abstract:
While a Quantum Approximate Optimization Algorithm (QAOA) is intended to provide a quantum advantage in finding approximate solutions to combinatorial optimization problems, noise in the system is a hurdle in exploiting its full potential. Several error mitigation techniques have been studied to lessen the effect of noise on this algorithm. Recently, Majumdar et al. proposed a Depth First Search (…
▽ More
While a Quantum Approximate Optimization Algorithm (QAOA) is intended to provide a quantum advantage in finding approximate solutions to combinatorial optimization problems, noise in the system is a hurdle in exploiting its full potential. Several error mitigation techniques have been studied to lessen the effect of noise on this algorithm. Recently, Majumdar et al. proposed a Depth First Search (DFS) based method to reduce $n-1$ CNOT gates in the ansatz design of QAOA for finding Max-Cut in a graph G = (V, E), |V| = n. However, this method tends to increase the depth of the circuit, making it more prone to relaxation error. The depth of the circuit is proportional to the height of the DFS tree, which can be $n-1$ in the worst case. In this paper, we propose an $O(Δ\cdot n^2)$ greedy heuristic algorithm, where $Δ$ is the maximum degree of the graph, that finds a spanning tree of lower height, thus reducing the overall depth of the circuit while still retaining the $n-1$ reduction in the number of CNOT gates needed in the ansatz. We numerically show that this algorithm achieves nearly 10 times increase in the probability of success for each iteration of QAOA for Max-Cut. We further show that although the average depth of the circuit produced by this heuristic algorithm still grows linearly with n, our algorithm reduces the slope of the linear increase from 1 to 0.11.
△ Less
Submitted 9 October, 2021;
originally announced October 2021.
-
Faster Search of Clustered Marked States with Lackadaisical Quantum Walks
Authors:
Amit Saha,
Ritajit Majumdar,
Debasri Saha,
Amlan Chakrabarti,
Susmita Sur-Kolay
Abstract:
The nature of discrete-time quantum walk in the presence of multiple marked states has been studied by Nahimovs and Rivosh. They introduced an exceptional configuration of clustered marked states $i.e.,$ if the marked states are arranged in a $\sqrt{k} \times \sqrt{k}$ cluster within a $\sqrt{N} \times \sqrt{N}$ grid, where $k=n^{2}$ and $n$ an odd integer. They showed that finding a single marked…
▽ More
The nature of discrete-time quantum walk in the presence of multiple marked states has been studied by Nahimovs and Rivosh. They introduced an exceptional configuration of clustered marked states $i.e.,$ if the marked states are arranged in a $\sqrt{k} \times \sqrt{k}$ cluster within a $\sqrt{N} \times \sqrt{N}$ grid, where $k=n^{2}$ and $n$ an odd integer. They showed that finding a single marked state among the multiple ones using quantum walk with AKR (Ambainis, Kempe and Rivosh) coin requires $Ω(\sqrt{N} - \sqrt{k})$ time. Furthermore, Nahimov and Rivosh also showed that the Grover's coin can find the same configuration of marked state both faster and with higher probability compared to that with the AKR coin. In this article, we show that using lackadaisical quantum walk, a variant of a three-state discrete-time quantum walk on a line, the success probability of finding all the clustered marked states of this exceptional configuration is nearly 1 with smaller run-time. We also show that the weights of the self-loop suggested for multiple marked states in the state-of-the-art works are not optimal for this exceptional configuration of clustered mark states. We propose a range of weights of the self-loop from which only one can give the desired result for this configuration.
△ Less
Submitted 5 July, 2021;
originally announced July 2021.
-
Optimizing Ansatz Design in QAOA for Max-cut
Authors:
Ritajit Majumdar,
Dhiraj Madan,
Debasmita Bhoumik,
Dhinakaran Vinayagamurthy,
Shesha Raghunathan,
Susmita Sur-Kolay
Abstract:
Quantum Approximate Optimization Algorithm (QAOA) is studied primarily to find approximate solutions to combinatorial optimization problems. For a graph with $n$ vertices and $m$ edges, a depth $p$ QAOA for the Max-cut problem requires $2\cdot m \cdot p$ CNOT gates. CNOT is one of the primary sources of error in modern quantum computers. In this paper, we propose two hardware independent methods t…
▽ More
Quantum Approximate Optimization Algorithm (QAOA) is studied primarily to find approximate solutions to combinatorial optimization problems. For a graph with $n$ vertices and $m$ edges, a depth $p$ QAOA for the Max-cut problem requires $2\cdot m \cdot p$ CNOT gates. CNOT is one of the primary sources of error in modern quantum computers. In this paper, we propose two hardware independent methods to reduce the number of CNOT gates in the circuit. First, we present a method based on Edge Coloring of the input graph that minimizes the the number of cycles (termed as depth of the circuit), and reduces upto $\lfloor \frac{n}{2} \rfloor$ CNOT gates. Next, we depict another method based on Depth First Search (DFS) on the input graph that reduces $n-1$ CNOT gates, but increases depth of the circuit moderately. We analytically derive the condition for which the reduction in CNOT gates overshadows this increase in depth, and the error probability of the circuit is still lowered. We show that all IBM Quantum Hardware satisfy this condition. We simulate these two methods for graphs of various sparsity with the \textit{ibmq\_manhattan} noise model, and show that the DFS based method outperforms the edge coloring based method, which in turn, outperforms the traditional QAOA circuit in terms of reduction in the number of CNOT gates, and hence the probability of error of the circuit.
△ Less
Submitted 28 June, 2021; v1 submitted 5 June, 2021;
originally announced June 2021.
-
Asymptotically Improved Circuit for $d$-ary Grover's Algorithm with Advanced Decomposition of $n$-qudit Toffoli Gate
Authors:
Amit Saha,
Ritajit Majumdar,
Debasri Saha,
Amlan Chakrabarti,
Susmita Sur-Kolay
Abstract:
The progress in building quantum computers to execute quantum algorithms has recently been remarkable. Grover's search algorithm in a binary quantum system provides considerable speed-up over classical paradigm. Further, Grover's algorithm can be extended to a $d$-ary (qudit) quantum system for utilizing the advantage of larger state space, which helps to reduce the run-time of the algorithm as co…
▽ More
The progress in building quantum computers to execute quantum algorithms has recently been remarkable. Grover's search algorithm in a binary quantum system provides considerable speed-up over classical paradigm. Further, Grover's algorithm can be extended to a $d$-ary (qudit) quantum system for utilizing the advantage of larger state space, which helps to reduce the run-time of the algorithm as compared to the traditional binary quantum systems. In a qudit quantum system, an $n$-qudit Toffoli gate plays a significant role in the accurate implementation of Grover's algorithm. In this article, a generalized $n$-qudit Toffoli gate has been realized using higher dimensional qudits to attain a logarithmic depth decomposition without ancilla qudit. The circuit for Grover's algorithm has then been designed for any $d$-ary quantum system, where $d \ge 2$, with the proposed $n$-qudit Toffoli gate to obtain optimized depth compared to earlier approaches. The technique for decomposing an $n$-qudit Toffoli gate requires access to two immediately higher energy levels, making the design susceptible to errors. Nevertheless, we show that the percentage decrease in the probability of error is significant as we have reduced both gate count and circuit depth as compared to that in state-of-the-art works.
△ Less
Submitted 18 May, 2022; v1 submitted 8 December, 2020;
originally announced December 2020.
-
Exploiting degeneracy to construct good ternary quantum error correcting code
Authors:
Ritajit Majumdar,
Susmita Sur-Kolay
Abstract:
Quantum error-correcting code for higher dimensional systems can, in general, be directly constructed from the codes for qubit systems. What remains unknown is whether there exist efficient code design techniques for higher dimensional systems. In this paper, we propose a 7-qutrit error-correcting code for the ternary quantum system and show that this design formulation has no equivalence in qubit…
▽ More
Quantum error-correcting code for higher dimensional systems can, in general, be directly constructed from the codes for qubit systems. What remains unknown is whether there exist efficient code design techniques for higher dimensional systems. In this paper, we propose a 7-qutrit error-correcting code for the ternary quantum system and show that this design formulation has no equivalence in qubit systems. This code is optimum in the number of qutrits required to correct a single error while maintaining the CSS structure. This degenerate CSS code can (i) correct up to seven simultaneous phase errors and a single bit error, (ii) correct two simultaneous bit errors on pre-defined pairs of qutrits on eighteen out of twenty-one possible pairs, and (iii) in terms of the cost of implementation, the depth of the circuit of this code is only two more than that of the ternary Steane code. Our proposed code shows that it is possible to design better codes explicitly for ternary quantum systems instead of simply carrying over codes from binary quantum systems.
△ Less
Submitted 3 August, 2020;
originally announced August 2020.
-
Minimal degenerate CSS quantum code with low cost circuit
Authors:
Ritajit Majumdar,
Susmita Sur-Kolay
Abstract:
Error correction is of utmost necessity for large-scale quantum computing. Quantum error correcting codes can be degenerate, if more than one type of error can map the input state to the same error state. In this paper, we propose a 6-qubit degenerate CSS code. We show that our proposed code can correct a single bit flip error, but arbitrarily many phase flip errors occurring on the codeword. Furt…
▽ More
Error correction is of utmost necessity for large-scale quantum computing. Quantum error correcting codes can be degenerate, if more than one type of error can map the input state to the same error state. In this paper, we propose a 6-qubit degenerate CSS code. We show that our proposed code can correct a single bit flip error, but arbitrarily many phase flip errors occurring on the codeword. Furthermore, it follows from a bound on CSS codes that the proposed code is the minimal binary CSS code which can encode a single qubit of information. We also perform a comparative study of the gate count required for a fault tolerant decomposition of the error correction circuit for the proposed code, with that for the existing 9-qubit, 7-qubit and 5-qubit binary QEC codes. Our results show, on an average over the different technologies a savings of 98.14% in the gate count for the proposed code over that for the 5-qubit code. Significant improvement of around 50% in gate count is also obtained when compared to those for the 9-qubit and 7-qubit codes.
△ Less
Submitted 22 August, 2019; v1 submitted 20 August, 2019;
originally announced August 2019.
-
Optimal Error Correcting Code For Ternary Quantum Systems
Authors:
Ritajit Majumdar,
Susmita Sur-Kolay
Abstract:
Multi-valued quantum systems can store more information than binary ones for a given number of quantum states. For reliable operation of multi-valued quantum systems, error correction is mandated. In this paper, we propose a 5-qutrit quantum error-correcting code and provide its stabilizer formulation. Since 5 qutrits are necessary to correct a single error, our proposed code is optimal in the num…
▽ More
Multi-valued quantum systems can store more information than binary ones for a given number of quantum states. For reliable operation of multi-valued quantum systems, error correction is mandated. In this paper, we propose a 5-qutrit quantum error-correcting code and provide its stabilizer formulation. Since 5 qutrits are necessary to correct a single error, our proposed code is optimal in the number of qutrits. We prove that the error model considered in this paper spans the entire $(3 \times 3)$ operator space. Therefore, our proposed code can correct any single error on the codeword. This code outperforms the previous 9-qutrit code in (i) the number of qutrits required for encoding, (ii) our code can correct any arbitrary $(3 \times 3)$ error, (ii) our code can readily correct bit errors in a single step as opposed to the two-step correction used previously, and (iii) phase error correction does not require correcting individual subspaces.
△ Less
Submitted 11 February, 2020; v1 submitted 26 June, 2019;
originally announced June 2019.
-
Quantum error-correcting code for ternary logic
Authors:
Ritajit Majumdar,
Saikat Basu,
Shibashis Ghosh,
Susmita Sur-Kolay
Abstract:
Ternary quantum systems are being studied because these provide more computational state space per unit of information, known as qutrit. A qutrit has three basis states, thus a qubit may be considered as a special case of a qutrit where the coefficient of one of the basis states is zero. Hence both $(2 \times 2)$-dimensional as well as $(3 \times 3)$-dimensional Pauli errors can occur on qutrits.…
▽ More
Ternary quantum systems are being studied because these provide more computational state space per unit of information, known as qutrit. A qutrit has three basis states, thus a qubit may be considered as a special case of a qutrit where the coefficient of one of the basis states is zero. Hence both $(2 \times 2)$-dimensional as well as $(3 \times 3)$-dimensional Pauli errors can occur on qutrits. In this paper, we (i) explore the possible $(2 \times 2)$-dimensional as well as $(3 \times 3)$-dimensional Pauli errors in qutrits and show that any pairwise bit swap error can be expressed as a linear combination of shift errors and phase errors, (ii) propose a new type of error called quantum superposition error and show its equivalence to arbitrary rotation, (iii) formulate a nine qutrit code which can correct a single error in a qutrit, and (iv) provide its stabilizer and circuit realization.
△ Less
Submitted 5 July, 2018;
originally announced July 2018.
-
Search of clustered marked states with lackadaisical quantum walks
Authors:
Amit Saha,
Ritajit Majumdar,
Debasri Saha,
Amlan Chakrabarti,
Susmita Sur-Kolay
Abstract:
Nature of quantum walk in presence of multiple marked state has been studied by Nahimovs and Rivosh \cite{10.1007/978-3-662-49192-8_31}. They have shown that if the marked states are arranged in a $\sqrt{k} \times \sqrt{k}$ cluster in a $\sqrt{N} \times \sqrt{N}$ grid, then to find a single marked state among the multiple ones, quantum walk requires $Ω(\sqrt{N} - \sqrt{k})$ time. In this paper, we…
▽ More
Nature of quantum walk in presence of multiple marked state has been studied by Nahimovs and Rivosh \cite{10.1007/978-3-662-49192-8_31}. They have shown that if the marked states are arranged in a $\sqrt{k} \times \sqrt{k}$ cluster in a $\sqrt{N} \times \sqrt{N}$ grid, then to find a single marked state among the multiple ones, quantum walk requires $Ω(\sqrt{N} - \sqrt{k})$ time. In this paper, we show that using lackadaisical quantum walk with the weight of the self-loop as $\frac{4}{N(k + \lfloor{\frac{\sqrt{k}}{2}}\rfloor)}$, where $k$ is odd, the probability of finding a marked state increases by $\sim 0.2$. Furthermore, we show that instead of applying the quantum walk $\mathcal{O}(k)$ times to find all the marked states, classical search in the vicinity of the marked state found after the first implementation of the quantum walk can find all the marked states in $\mathcal{O}(\sqrt{k})$ time on average.
△ Less
Submitted 16 August, 2018; v1 submitted 4 April, 2018;
originally announced April 2018.
-
Quantum error correction for non-maximally entangled states
Authors:
Ritajit Majumdar,
Susmita Sur-Kolay
Abstract:
Quantum states have high affinity for errors and hence error correction is of utmost importance to realise a quantum computer. Laflamme showed that 5 qubits are necessary to correct a single error on a qubit. In a Pauli error model, four different types of errors can occur on a qubit. Maximally entangled states are orthogonal to each other and hence can be uniquely distinguished by a measurement i…
▽ More
Quantum states have high affinity for errors and hence error correction is of utmost importance to realise a quantum computer. Laflamme showed that 5 qubits are necessary to correct a single error on a qubit. In a Pauli error model, four different types of errors can occur on a qubit. Maximally entangled states are orthogonal to each other and hence can be uniquely distinguished by a measurement in the Bell basis. Thus a measurement in Bell basis and a unitary transformation is sufficient to correct error in Bell states. However, such a measurement is not possible for non-maximally entangled states. In this work we show that the 16 possible errors for a non-maximally entangled two qubit system map to only 8 distinct error states. Hence, it is possible to correct the error without perfect knowledge of the type of error. Furthermore, we show that the possible errors can be grouped in such a way that all 4 errors can occur on one qubit, whereas only bit flip error can occur on the second qubit. As a consequence, instead of 10, only 8 qubits are sufficient to correct a single error. We propose an 8-qubit error correcting code to correct a single error in a non-maximally entangled state. We further argue that for an $n$-qubit non-maximally entangled state of the form $a|0>^{n} + b|1>^{n}$, it is always possible to correct a single error with fewer than $5n$ qubits, in fact only $3n+2$ qubits suffice.
△ Less
Submitted 11 June, 2019; v1 submitted 13 September, 2017;
originally announced September 2017.
-
Error tracing in linear and concatenated quantum circuits
Authors:
Ritajit Majumdar,
Saikat Basu,
Priyanka Mukhopadhyay,
Susmita Sur-Kolay
Abstract:
Descriptions of quantum algorithms, communication etc. protocols assume the existence of closed quantum system. However, real life quantum systems are open and are highly sensitive to errors. Hence error correction is of utmost importance if quantum computation is to be carried out in reality. Ideally, an error correction block should be placed after every gate operation in a quantum circuit. This…
▽ More
Descriptions of quantum algorithms, communication etc. protocols assume the existence of closed quantum system. However, real life quantum systems are open and are highly sensitive to errors. Hence error correction is of utmost importance if quantum computation is to be carried out in reality. Ideally, an error correction block should be placed after every gate operation in a quantum circuit. This increases the overhead and reduced the speedup of the quantum circuit. Moreover, the error correction blocks themselves may induce errors as the gates used for error correction may be noisy. In this paper, we have proposed a procedure to trace error probability due to noisy gates and decoherence in quantum circuit and place an error correcting block only when the error probability exceeds a certain threshold. This procedure shows a drastic reduction in the required number of error correcting blocks. Furthermore, we have considered concatenated codes with tile structure layout lattice architecture[25][21],[24] and SWAP gate based qubit transport mechanism. Tracing errors in higher levels of concatenation shows that, in most cases, after 1 or 2 levels of concatenation, the number of QECC blocks required become static. However, since the gate count increases with increasing concatenation, the percentage saving in gate count is considerably high.
△ Less
Submitted 23 December, 2016;
originally announced December 2016.
-
A Synthesis Method for Quaternary Quantum Logic Circuits
Authors:
Sudhindu Bikash Mandal,
Amlan Chakrabarti,
Susmita Sur-Kolay
Abstract:
Synthesis of quaternary quantum circuits involves basic quaternary gates and logic operations in the quaternary quantum domain. In this paper, we propose new projection operations and quaternary logic gates for synthesizing quaternary logic functions. We also demonstrate the realization of the proposed gates using basic quantum quaternary operations. We then employ our synthesis method to design o…
▽ More
Synthesis of quaternary quantum circuits involves basic quaternary gates and logic operations in the quaternary quantum domain. In this paper, we propose new projection operations and quaternary logic gates for synthesizing quaternary logic functions. We also demonstrate the realization of the proposed gates using basic quantum quaternary operations. We then employ our synthesis method to design of quaternary adder and some benchmark circuits. Our results in terms of circuit cost, are better than the existing works.
△ Less
Submitted 26 October, 2012;
originally announced October 2012.
-
Quantum Ternary Circuit Synthesis Using Projection Operations
Authors:
Sudhindu Bikash Mandal,
Amlan Chakrabarti,
Susmita Sur-Kolay
Abstract:
Basic logic gates and their operations in ternary quantum domain are involved in the synthesis of ternary quantum circuits. Only a few works define ternary algebra for ternary quantum logic realization. In this paper, a ternary logic function is expressed in terms of projection operations including a new one. A method to realize new multi-qutrit ternary gates in terms of generalized ternary gates…
▽ More
Basic logic gates and their operations in ternary quantum domain are involved in the synthesis of ternary quantum circuits. Only a few works define ternary algebra for ternary quantum logic realization. In this paper, a ternary logic function is expressed in terms of projection operations including a new one. A method to realize new multi-qutrit ternary gates in terms of generalized ternary gates and projection operations is also presented. We also introduced ten simplification rules for reducing ancilla qutrits and gate levels. Our method yields lower gate cost and fewer gate levels and ancilla qutrits than that obtained by earlier methods for the ternary benchmark circuits. The $n$ qutrit ternary sum function is synthesized without any ancilla qutrit by our proposed methodology.
△ Less
Submitted 9 May, 2012;
originally announced May 2012.
-
Linear Nearest Neighbor Synthesis of Reversible Circuits by Graph Partitioning
Authors:
Amlan Chakrabarti,
Susmita Sur-Kolay,
Ayan Chaudhury
Abstract:
Linear Nearest Neighbor (LNN) synthesis in reversible circuits has emerged as an important issue in terms of technological implementation for quantum computation. The objective is to obtain a LNN architecture with minimum gate cost. As achieving optimal synthesis is a hard problem, heuristic methods have been proposed in recent literature. In this work we present a graph partitioning based approac…
▽ More
Linear Nearest Neighbor (LNN) synthesis in reversible circuits has emerged as an important issue in terms of technological implementation for quantum computation. The objective is to obtain a LNN architecture with minimum gate cost. As achieving optimal synthesis is a hard problem, heuristic methods have been proposed in recent literature. In this work we present a graph partitioning based approach for LNN synthesis with reduction in circuit cost. In particular, the number of SWAP gates required to convert a given gate-level quantum circuit to its equivalent LNN configuration is minimized. Our algorithm determines the reordering of indices of the qubit line(s) for both single control and multiple controlled gates. Experimental results for placing the target qubits of Multiple Controlled Toffoli (MCT) library of benchmark circuits show a significant reduction in gate count and quantum gate cost compared to those of related research works.
△ Less
Submitted 26 December, 2012; v1 submitted 2 December, 2011;
originally announced December 2011.