Quantum algorithm
In quantum computing, a quantum algorithm is an algorithm which runs on a realistic model of quantum computation, the most commonly used model being the quantum circuit model of computation.[1][2] A classical (or non-quantum) algorithm is a finite sequence of instructions, or a step-by-step procedure for solving a problem, where each step or instruction can be performed on a classical computer. Similarly, a quantum algorithm is a step-by-step procedure, where each of the steps can be performed on a quantum computer. Although all classical algorithms can also be performed on a quantum computer,[3]: 126 the term quantum algorithm is usually used for those algorithms which seem inherently quantum, or use some essential feature of quantum computation such as quantum superposition or quantum entanglement.
Problems which are undecidable using classical computers remain undecidable using quantum computers.[4]: 127 What makes quantum algorithms interesting is that they might be able to solve some problems faster than classical algorithms[why?].
The most well known algorithms are Shor's algorithm for factoring, and Grover's algorithm for searching an unstructured database or an unordered list. Shor's algorithms runs exponentially faster than the best known classical algorithm for factoring, the general number field sieve[citation needed]. Grover's algorithm runs quadratically faster than the best possible classical algorithm for the same task[citation needed][which?].
Overview
Quantum algorithms are usually described, in the commonly used circuit model of quantum computation, by a quantum circuit which acts on some input qubits and terminates with a measurement. A quantum circuit consists of simple quantum gates which act on at most a fixed number of qubits[why?], usually two or three[according to whom?]. Quantum algorithms may also be stated in other models of quantum computation, such as the Hamiltonian oracle model.[5]
Quantum algorithms can be categorized by the main techniques used by the algorithm. Some commonly used techniques/ideas in quantum algorithms include phase kick-back, phase estimation, the quantum Fourier transform, quantum walks, amplitude amplification and topological quantum field theory. Quantum algorithms may also be grouped by the type of problem solved, for instance see the survey on quantum algorithms for algebraic problems.[6]
Algorithms based on the quantum Fourier transform
The quantum Fourier transform is the quantum analogue of the discrete Fourier transform, and is used in several quantum algorithms. The Hadamard transform is also an example of a quantum Fourier transform over an n-dimensional vector space over the field F2[clarification needed]. The quantum Fourier transform can be efficiently implemented on a quantum computer using only a polynomial number of quantum gates[citation needed].
Deutsch–Jozsa algorithm
The Deutsch–Jozsa algorithm solves a black-box problem which probably requires exponentially many queries to the black box for any deterministic classical computer, but can be done with exactly one query by a quantum computer. If we allow both bounded-error quantum and classical algorithms, then there is no speedup since a classical probabilistic algorithm can solve the problem with a constant number of queries with small probability of error. The algorithm determines whether a function f is either constant (0 on all inputs or 1 on all inputs) or balanced (returns 1 for half of the input domain and 0 for the other half).
Simon's algorithm
Simon's algorithm solves a black-box problem exponentially faster than any classical algorithm, including bounded-error probabilistic algorithms. This algorithm, which achieves an exponential speedup over all classical algorithms that we consider efficient, was the motivation for Shor's factoring algorithm.
Quantum phase estimation algorithm
The quantum phase estimation algorithm is used to determine the eigenphase of an eigenvector of a unitary gate given a quantum state proportional to the eigenvector and access to the gate. The algorithm is frequently used as a subroutine in other algorithms.
Shor's algorithm
Shor's algorithm solves the discrete logarithm problem and the integer factorization problem in polynomial time,[7] whereas the best known classical algorithms take super-polynomial time. These problems are not known to be in P or NP-complete. It is also one of the few quantum algorithms that solves a non–black-box problem in polynomial time where the best known classical algorithms run in super-polynomial time.
Hidden subgroup problem
The abelian hidden subgroup problem is a generalization of many problems that can be solved by a quantum computer, such as Simon's problem, solving Pell's equation, testing the principal ideal of a ring R and factoring. There are efficient quantum algorithms known for the Abelian hidden subgroup problem.[8] The more general hidden subgroup problem, where the group isn't necessarily abelian, is a generalization of the previously mentioned problems and graph isomorphism and certain lattice problems. Efficient quantum algorithms are known for certain non-abelian groups. However, no efficient algorithms are known for the symmetric group, which would give an efficient algorithm for graph isomorphism[9] and the dihedral group, which would solve certain lattice problems.[10]
Boson sampling problem
The Boson Sampling Problem in an experimental configuration assumes[11] an input of bosons (ex. photons of light) of moderate number getting randomly scattered into a large number of output modes constrained by a defined unitarity. The problem is then to produce a fair sample of the probability distribution of the output which is dependent on the input arrangement of bosons and the Unitarity.[12] Solving this problem with a classical computer algorithm requires computing the permanent of the unitary transform matrix, which may be either impossible or take a prohibitively long time. In 2014, it was proposed[13] that existing technology and standard probabilistic methods of generating single photon states could be used as input into a suitable quantum computable linear optical network and that sampling of the output probability distribution would be demonstrably superior using quantum algorithms. In 2015, investigation predicted[14] the sampling problem had similar complexity for inputs other than Fock state photons and identified a transition in computational complexity from classically simulatable to just as hard as the Boson Sampling Problem, dependent on the size of coherent amplitude inputs.
Estimating Gauss sums
A Gauss sum is a type of exponential sum. The best known classical algorithm for estimating these sums takes exponential time. Since the discrete logarithm problem reduces to Gauss sum estimation, an efficient classical algorithm for estimating Gauss sums would imply an efficient classical algorithm for computing discrete logarithms, which is considered unlikely. However, quantum computers can estimate Gauss sums to polynomial precision in polynomial time.[15]
Fourier fishing and Fourier checking
We have an oracle consisting of n random Boolean functions mapping n-bit strings to a Boolean value. We are required to find n n-bit strings z1,..., zn such that for the Hadamard-Fourier transform, at least 3/4 of the strings satisfy
and at least 1/4 satisfies
- .
Algorithms based on amplitude amplification
Amplitude amplification is a technique that allows the amplification of a chosen subspace of a quantum state. Applications of amplitude amplification usually lead to quadratic speedups over the corresponding classical algorithms. It can be considered to be a generalization of Grover's algorithm.
Grover's algorithm
Grover's algorithm searches an unstructured database (or an unordered list) with N entries, for a marked entry, using only queries instead of the queries required classically.[17] Classically, queries are required, even if we allow bounded-error probabilistic algorithms.
Bohmian Mechanics is a non-local hidden variable interpretation of quantum mechanics. It has been shown that a non-local hidden variable quantum computer could implement a search of an N-item database at most in steps. This is slightly faster than the steps taken by Grover's algorithm. Neither search method will allow quantum computers to solve NP-Complete problems in polynomial time.[18]
Quantum counting
Quantum counting solves a generalization of the search problem. It solves the problem of counting the number of marked entries in an unordered list, instead of just detecting if one exists. Specifically, it counts the number of marked entries in an -element list, with error making only queries, where is the number of marked elements in the list.[19][20] More precisely, the algorithm outputs an estimate for , the number of marked entries, with the following accuracy: .
Algorithms based on quantum walks
A quantum walk is the quantum analogue of a classical random walk, which can be described by a probability distribution over some states. A quantum walk can be described by a quantum superposition over states. Quantum walks are known to give exponential speedups for some black-box problems.[21][22] They also provide polynomial speedups for many problems. A framework for the creation of quantum walk algorithms exists and is quite a versatile tool.[23]
Element distinctness problem
The element distinctness problem is the problem of determining whether all the elements of a list are distinct. Classically, Ω(N) queries are required for a list of size N, since this problem is harder than the search problem which requires Ω(N) queries. However, it can be solved in queries on a quantum computer. The optimal algorithm is by Andris Ambainis.[24] Yaoyun Shi first proved a tight lower bound when the size of the range is sufficiently large.[25] Ambainis[26] and Kutin[27] independently (and via different proofs) extended his work to obtain the lower bound for all functions.
Triangle-finding problem
The triangle-finding problem is the problem of determining whether a given graph contains a triangle (a clique of size 3). The best-known lower bound for quantum algorithms is Ω(N), but the best algorithm known requires O(N1.297) queries,[28] an improvement over the previous best O(N1.3) queries.[23][29]
Formula evaluation
A formula is a tree with a gate at each internal node and an input bit at each leaf node. The problem is to evaluate the formula, which is the output of the root node, given oracle access to the input.
A well studied formula is the balanced binary tree with only NAND gates.[30] This type of formula requires Θ(Nc) queries using randomness,[31] where . With a quantum algorithm however, it can be solved in Θ(N0.5) queries. No better quantum algorithm for this case was known until one was found for the unconventional Hamiltonian oracle model.[5] The same result for the standard setting soon followed.[32]
Fast quantum algorithms for more complicated formulas are also known.[33]
Group commutativity
The problem is to determine if a black box group, given by k generators, is commutative. A black box group is a group with an oracle function, which must be used to perform the group operations (multiplication, inversion, and comparison with identity). We are interested in the query complexity, which is the number of oracle calls needed to solve the problem. The deterministic and randomized query complexities are and respectively.[34] A quantum algorithm requires queries but the best known algorithm uses queries.[35]
BQP-complete problems
Computing knot invariants
Witten had shown that the Chern-Simons topological quantum field theory (TQFT) can be solved in terms of Jones polynomials. A quantum computer can simulate a TQFT, and thereby approximate the Jones polynomial,[36] which as far as we know, is hard to compute classically in the worst-case scenario.[citation needed]
Quantum simulation
The idea that quantum computers might be more powerful than classical computers originated in Richard Feynman's observation that classical computers seem to require exponential time to simulate many-particle quantum systems.[37] Since then, the idea that quantum computers can simulate quantum physical processes exponentially faster than classical computers has been greatly fleshed out and elaborated. Efficient (that is, polynomial-time) quantum algorithms have been developed for simulating both Bosonic and Fermionic systems[38] and in particular, the simulation of chemical reactions beyond the capabilities of current classical supercomputers requires only a few hundred qubits.[39] Quantum computers can also efficiently simulate topological quantum field theories.[40] In addition to its intrinsic interest, this result has led to efficient quantum algorithms for estimating quantum topological invariants such as Jones[41] and HOMFLY[42] polynomials, and the Turaev-Viro invariant of three-dimensional manifolds.[43]
Hybrid Quantum/Classical Algorithms
Hybrid Quantum/Classical Algorithms combine quantum state preparation and measurement with classical optimization. These algorithms generally aim to determine the ground state eigenvector and eigenvalue of a Hermitian Operator. DESIGN AND IMPLEMENTATION OF REVERSIBLE COMPONENTS OF CPU
Unique:
Reversible rationale circuits are of high interests to ascertain with least vitality utilization having applications in low-control CMOS outline, optical processing and nanotechnology, particularly in quantum PC. In traditional PCs, just NOT entryway performs reversible activity since it has an equivalent number of data sources and yields with their remarkable coordinated mapping. Some reversible doors have just been proposed in writing like the controlled-not (CNOT) (proposed by Feynman), Toffoli and Fredkin entryways, IG Gate and MIG entryway. Reversible doors have different applications in the outlining of adders, subtractions, and multipliers and so forth. Same like traditional PCs.
A Reversible rationale is described by: 1. Meet number of information sources and yields. 2. There exists balanced mapping between the separate data sources and yields. 3. Circles and fan out are not permitted.
CHAPTER 1 PREFACE
1.1 Goal OF WORK
Presently a day's energy is a noteworthy, non-immaterial, un-maintained a strategic distance from and essential issue in hardware world. In the present life every single electronic segments, gadgets, and hardware experience the ill effects of the circumstance of warmth evacuation and power dissemination issue. At the point when electronic gadgets have the warmth scattering issue then more power is utilized to charge the battery or to alive that gadgets and this overheated and power dispersal issue will prompt diminish the life expectancy of electronic frameworks. Power and warmth dispersal is most concerning issues which oppose meeting the execution due date, and power is one of the factor that expands the cost of that gadgets. Region of the circuit is one of the controlling variable of energy dissemination. Usage of reversible focal preparing unit is critical to decrease every one of the issues identified with electronic circuits and frameworks. It is demonstrated [1] that, reversible circuit seriously lessens the warmth dispersal and power utilization of a circuit by coordinated mapping amongst information sources and yields of the reversible circuit. D.P.Divincenzo [2] demonstrated that the reversible circuit assumes a critical part in quantum calculation, on the grounds that the reversible circuits are straightforwardly used to outline the quantum circuits. The nearby connection between quantum entryways and reversible door make it simpler to straightforwardly outline the quantum circuit from the reversible circuit. It is to make certain that the processor configuration is an extremely troublesome and tedious assignment, in this way the reasoning about the outlining of engineering in reversible way is a particularly troublesome, and require a ton of time and work to finish the processor plan in reversible way. The reversible processor requires less power and little measure of warmth dispersal than the relating Ir-reversible one. As the reversible field is another field in science and innovation, so not very many individuals H.Axelson [3] and M.Thomsen [4] have finished their work with respect to reversible processor. Likewise there is no administration specialist or lawful security for help to work around there.
1.2 DESIRE OF THE PROJECT
The principle objective is to Design and Implementation of a Reversible Central Processing Unit Different destinations are given beneath. To outline the reversible acknowledge of the flip-flops. To plan the reversible memory circuits, (for example, cradle registers and counter circuits) utilizing the proposed reversible flip-failures of the past advance. To outline the math circuits, for example, snake, multiplier, divider, and comparator and so on. To Design the reversible acknowledgment of ALU. To Design the reversible control unit of the processor by outlining a productive direction decoder.
1.3 Purpose for THE PROJECT
In the present specialized world, warm contemplations, unwavering quality issues and effectiveness have turned out to be real concerns. These days, investigate is being done to outline a framework with superior, speed and low power dissemination or preferably no warmth age. As power utilization is a noteworthy requirement in planning of VLSI circuits so we have to change to that processing world where no data misfortune exists in light of the fact that as per Landauers standard, on all of calculation, regular computerized frameworks scatter KTln2 measure of vitality, where K is Boltzmann's steady and T is the temperature at which the calculation is performed. Bennett demonstrated that this vitality dissemination would not happen if a similar number of data bits are produced, i.e. no data misfortune exists. Show irreversible innovations disseminate a considerable measure of warmth regarding bit misfortune which diminishes life of the circuit. Every single sensible activity in the present traditional PCs are irreversible. It implies extraction of contribution from the individual yield isn't conceivable. Then again, reversible calculation has a notable element of one of a kind coordinated mapping amongst data sources and yields which lessens the significant issue of energy scattering with no data misfortune.
1.4 ISSUE FORMULATION
In customary PCs, reversible task is performed just by NOT doors as a result of same number of information and yield, and it is hard to discover balanced mapping between separate data sources and yields with different entryways. To beat this issue we are utilizing the uniquely composed entryways for reversible calculation, for example, controlled-not (CNOT) door Toffoli and Fredkin doors, IG Gate and MIG door.
Eliminate non-use yield. Reduce additional info. Utilization of least number of doors. Negligible deferral. 1.5 ORGANIZATION OF DOCUMENTATION The project is organized as follows: Chapter 1“PREFACE”: This chapter includes the introduction part of the project. Chapter 2“REASERCH REVIEW”: Chapter 2 consists of research survey of all the reference papers. Chapter 3” Speculation OF REVERSIBLE LOGIC”: This chapter includes basics of reversible logic and all the definitions related to reversible logic gate. Chapter 4” FUNDAMENTAL GATES BASED ON REVERSIBLE LOGIC”: This chapter consists of backend design and simulation of all the basic reversible logic gates. Chapter 5” STRATEGY”: The design and methodology is explained in this chapter. Chapter 6” APPLICATIONS AND ADVANTAGES OF REVERSIBLE CPU”: Chapter 6 includes application and advantages of reversible components of cpu. Chapter 7” SIMULATION RESULTS”: Simulation results of all the reversible components of CPU is explained. Chapter 8” CONCLUSION AND FUTURE SCOPE”: At last chapter 8 includes the conclusion and future work of this project.
CHAPTER 2 REASERCH REVIEW Landauer [1] expressed that the measure of vitality dispersed to eradicate each piece of data is at any rate kTln2 (where k is the Boltzmann consistent and T is the room temperature) amid any calculation the transitional bits used to register the last outcome are deleted. This eradication of bits is one of the principle explanations behind the power dissemination. C. H. Bennett [2] in 1973 uncovered that the power scattering in any gadget can be made zero or unimportant if the calculation is finished utilizing reversible model. He demonstrated his hypothesis with the assistance of the Turing machine which is an emblematic model for calculation presented by Turing. Bennett likewise demonstrated that the calculations that are performed on irreversible or traditional machine can be performed with same proficiency on the reversible machine. The examination on the reversibility was begun in 1980 depends on the above idea. Gordon. E. Moore [3] in 1965 anticipated that the quantities of segments on the chip will twofold like clockwork. At first he anticipated just for a long time yet because of development in the incorporated circuit innovation his forecast is legitimate till today. His work is broadly perceived as the Moore's law. The impact of Moore's law was considered painstakingly and scientists have arrived at the conclusion that as the quantity of segments in the chip builds the power scattering will likewise increment massively. It is additionally anticipated that the measure of energy disseminated will be equivalent to the warmth dispersed by the rocket spout. Thus control minimization has turned into an essential factor for the present VLSI engineers. In the year 1994 Shor [4] completed an exceptional research work in making a calculation utilizing reversibility for factorizing extensive number with better effectiveness when contrasted with the traditional figuring hypothesis. After this the work on reversible processing has been begun by more individuals in various fields, for example, nanotechnology, quantum PCs and CMOS VLSI. Edward Fredkin and Tommaso Toffoli [5, 6] presented new reversible doors known as Fredkin and Toffoli reversible entryways in view of the idea of reversibility . These doors have zero power dissemination and are utilized as general entryways in the reversible circuits. These entryways have three yields and three sources of info, henceforth they are known as 3*3 reversible doors.
Peres [7] presented another entryway known as Peres door. Peres door is likewise a 3*3 entryway however it isn't a widespread entryway like the Fredkin and Toffoli entryway. Despite the fact that this entryway isn't general door it is broadly utilized as a part of much application since it has less quantum cost regarding the widespread door. The quantum cost of the Peres entryway is 4. H Thalpliyal and N Ranganathan [8] developed a reversible entryway known as TR door. The primary reason for presenting this reversible TR door was to diminish the waste yield in a reversible circuit. H Thalpliyal and N Ranganathan [9] acquainted the reversible rationale with consecutive circuits. Execution of the consecutive circuit, for example, D-lock, T hook, JK lock and SR hook utilizing Fredkin and Feynman entryway has been finished. After this work more research has been done on consecutive circuits utilizing reversible doors. In established PCs, just NOT entryway performs reversible task since it has an equivalent number of sources of info and yields with their interesting coordinated mapping. Some reversible entryways have just been proposed in writing like the controlled-not (CNOT) (proposed by Feynman), Toffoli and Fredkin doors, IG Gate and MIG door. Reversible entryways have different applications in the outlining of adders, subtractions, and multipliers and so on., same like traditional PCs.
A Reversible rationale is portrayed by: 1. Break even with number of data sources and yields. 2. There exists coordinated mapping between the individual information sources and yields. 3. Circles and fan out are not permitted.
CHAPTER-3
SPECULATION OF REVERSIBLE LOGIC
3.1 Fundamental DEFFINITION OF REVERSIBLE LOGIC
a. REVERSIBLE FUNCTION:
The numerous yield Boolean capacity F(x1; x2; :::; xn) of n Boolean factors is called reversible if:
a. The quantity of yields is equivalent to the quantity of sources of info; b. Any yield design has a special pre-picture. At the end of the day, reversible capacities are those that perform changes of the arrangement of info vectors.
b. Reversible entryway:
The circuit of reversible entryway has a n-sources of info and n-yields to create a particular yield design for each given information. The n-information and n-yield of reversible entryway is spoken to as n*n. In reversible entryway the quantity of info is equivalent to the quantity of yield. In this manner the information sources and yields are associated by balanced mapping.
c. Reversible logic gate:
Reversible Gates are circuits in which number of yields is equivalent to the quantity of information sources and there is a balanced correspondence between the vector of data sources and outputs[8-10]. It not just encourages us to decide the yields from the information sources yet additionally causes us to remarkably recoup the contributions from the yields.
d. Constant input:
This refers to the number of inputs that are to be maintain constant at either 0 or 1 in order to synthesize the given logical function [11].
e. Flexibility:
Adaptability alludes to the all inclusiveness of a reversible rationale door in acknowledging more capacities [13].
f. Gate level:
This alludes to the quantity of levels in the circuit which are required to understand the given rationale capacities.
g. Equipment complexity:
This alludes to the aggregate number of rationale activity in a circuit. Means the aggregate number of AND, OR and EXOR task in a circuit [14] and [15].
h. Trash yield:
Trash yield is characterized as the non-used yield or the yield which is important to deal with the reversibility is known as the junk yield.
i. Quantum cost:
The quantum cost can be acquired from the circuit of reversible entryway by falling the components of quantum doors [5]. Rudimentary quantum doors deliver the qubits instead of unadulterated rationale esteems.
3.2 Reversible circuits
To execute reversible calculation, gauge its cost, and to judge its breaking points, it is formalized it as far as door level circuits. For instance, the inverter (rationale entryway) (NOT) door is reversible since it can be fixed. The restrictive or (XOR) entryway is irreversible on the grounds that its sources of info can't be unambiguously reproduced from a yield esteem. Nonetheless, a reversible rendition of the XOR entryway—the controlled NOT door (CNOT)— can be characterized by safeguarding one of the information sources. The three-input variation of the CNOT door is known as the Toffoli entryway. It jam two of its sources of info a,b and replaces the third c by c\oplus (a\cdot b). With c=0, this gives the AND work, and with a\cdot b=1 this gives the NOT work. In this manner, the Toffoli door is all inclusive and can execute any reversible Boolean capacity (sufficiently given zero-introduced auxiliary bits). All the more by and large, reversible doors have a similar number of data sources and yields. A reversible circuit associates reversible doors without fan-out and circles. Along these lines, such circuits contain meet quantities of information and yield wires, each experiencing a whole circuit.
Reversible rationale circuits have been first roused in the 1960s by hypothetical contemplations of zero-vitality calculation and also down to earth change of bit-control changes in cryptography and PC designs. Since the 1980s, reversible circuits have pulled in enthusiasm as segments of quantum calculations, and all the more as of late in photonic and Nano-figuring advancements where some exchanging gadgets offer no flag pick up. Reviews of reversible circuits, their development and improvement and also late research challenges are accessible.
CHAPTER 4 FUNDAMENTAL GATES BASED ON REVERSIBLE LOGIC
4.1 FREDKIN GATE
Figure 4.1.1: 3x3 reversible Fredkin gate
Fredkin entryway is a 3x3 reversible door which utilizes three data sources and give three yields.
P=A,
Q=A'B+AC,
R=AB+A'C.
TABLE 4.1: TRUTH TABLE OF FREDKIN GATE
0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1
IMPLEMENTATION OF FREDKIN GATE
Figure 4.1.2: implemented Fredkin gate
Figure 4.1.3: inside connections of Fredkin gate
Figure 4.1.4: schematic result of FREDKIN gate
4.2 FEYNMAN GATE
The Feynman entryway which is a 2x2 door and is additionally called as Controlled NOT and it is broadly utilized for fan-out purposes. The data sources (A, B) and yields
P=A, Q= A XOR B. It has Quantum taken a toll one
Figure 4.2.1: 2x2 reversible Feynman gate.
TABLE 4.2: TRUTH TABLE OF FEYNMAN GATE
0 0 0 0
0 1 0 1
1 0 1 1
1 1 1 0
IMPLIMENTATION OF FEYNMAN GATE
Figure 4.2.2: Feynman gate
Figure 4.2.3: internal architecture of Feynman gate
Figure 4.2.4: schematic results of Feynman gate
Figure 4.2.5: layout designing of Feynman gate
4.3 BJN GATE:
Figure 4.3.1 3x3 reversible BJN door BJN door is a 3x3 reversible entryway which utilizes three data sources and give three yields. In his door the first and second yield P and Q are equivalent to the first and second info A and B separately. The third yield R is equivalent to the whole of two sources of info A and B, and the summation result is xor with third information c.
BJN gate yields the output as….,
P=A, Q=B’ R= (A+B) XOR C,
Table 4.3.1: truth table of BJN gate
0 0 0 0 0 0
0 0 1 0 0 1
0 1 0 0 1 1
0 1 1 0 1 0
1 0 0 1 0 1
1 0 1 1 0 0
1 1 0 1 1 1
1 1 1 1 1 0
IMPLTEMENTATION OF BJN GATE
Figure 4.3.2: symbol reversible BJN gate
Figure 4.3.3: internal architecture of BJN gate
Figure 4.3.4: schematic result of BJN gate
CHAPTER 5 STRATEGY
5.1 Outlined WORK
The constitution of the propel reversible focal handling unit is appeared in the figure 5.1.1. Figure: 5.1.1 inside design of reversible processor
The interior engineering of a processor is absolutely relies upon the outlining and use of a processor. The building square of a microchip incorporates control unit, memory, airthematic and rationale unit, and information/yield gadgets. Information transports are capable to exchange the data and flag between the diverse transports. The airthematic and coherent tasks are accomplished by effective outlining of airthematic and rationale unit. The principle capacity of timing and control rationale unit is that it bring back the activity codes of every guideline from memory and begin the grouping of ALU tasks. Every last operational code will impact on all the component of the processor. Well ordered planning of reversible focal handling unit is as per the following.
• Design the general design structure of reversible CPU. • Designing of Flip-slumps and registers for reversible memory. • Design the reversible multiplier. • Design the reversible decoder to unravel the directions. • Design the reversible control unit to coordinate info and yield of a framework. • Design the reversible comparator. • Design the reversible multiplier and reversible divider. • Software Xilinx 14.4 and MW apparatuses Consider the sub-modules of the information way design which is talk about in beneath areas. 5.2 REVERSIBLE ADDER
The reversible adder is implemented by using 4x4 reversible TSG gate. The main benefit of TSG gate is that, only one gate is sufficient to design and implement full adder. The circuit diagram and the truth table of 4 bit RCA is as follows. a
Fig 5.2.1: circuit symbol of reversible full adder based on TSG gate.
Table 5.2.1 truth table of reversible 4-bit RCA A
0 0 0 0 0 0 0
0 0 1 0
0
1
0
0 1 0 0 1 1 0
0 1 1 0 1 0
1
1 0
0 1 1 1 0
1 0 1 1 1 0 1
1 1 0 1 0 0 1
1 1 1 1 0 1 1
The implementation of 4-bit reversible Ripple Carry Adder is as follows.
Fig 5.2.2 : RTL schematic of 4-bit RCA
Fig 5.2.3 : internal RTL schematic view of 4-bit RCA
Fig 5.2.4 : design summary of 4-bit ripple carry adder
Fig 5.2.5 : TSG gate based reversible full adder
Fig 5.2.6 : internal architecture of RCA
Fig 5.2.7 : layout design of reversible RCA
Fig 5.2.8 : output waveforms of reversible RCA
5.3 REVERSIBLE BOOTH MULTIPLIER
The circuit diagram for 5x5 booth multiplier consists of 4 types of reversible gates such as double Feynman gates, Fredkin gates, MIG gates, and MNFT gates.
Fig 5.3.1 : circuit diagram of 5x5 reversible booth multiplier.
Fig 5.3.2 : RTL schematic of 5x5 booth multiplier
Fig 5.3.3: design summary of 5x5 reversible booth multiplier
5.4 Reversible signed multiplier
A Wallace tree is a productive hardwired usage of a computerized circuit that increases two whole numbers. The Wallace tree has three stages:
1. All of the multiplicand is duplicated (i.e. What's more, by all of multiplier, along these lines yielding n2 comes about (for n X n duplication). Contingent upon position of the duplicated bits, the wires convey diverse weights, i.e. weight of bit conveying consequence of a5b6 is 65.
2. The quantity of incomplete items is lessened to 2 by layers of full and half adders.
3. The wires are assembled in two numbers, and included utilizing a regular snake.
Fig 5.4.1 Reversible Wallace tree for signed multiplication
Table 5.4.1 comparison table for reversible and irreversible Wallace tree
5.5 REVERSIBLE DIVIDER
Fig 5.5.1: RTL schematic of reversible divider
Fig 5.5.2: internal RTL view of reversible divider
Fig 5.5.3: desidn summary of reversible divider 5.6 REVERSIBLE sequence counter: Fig 5.6.1: RTL schematic of reversible sequence counter
Fig 5.6.2: Internal RTL view of reversible sequence counter
Fig 5.6.3: design summary of reversible sequence counter 5.7 REVERSIBLE COMPARATOR
Fig 5.7.1: RTL Schematic of 8-bit reversible comparator
Fig 5.7.2: RTL Schematic of reversible 2-bit comparator
Fig 5.7.3 : Internal RTL view of 8-bit reversible comparator
Fig 5.7.4: Design summary of reversible comparator
5.8 REVERSIBLE MULTIPLEXER Fig 5.8.1 : RTL schematic of reversible multiplexer
Fig 5.8.2 : internal RTL view of reversible multiplexer
Fig 5.8.3 : Design summary of reversible multiplexer 5.9 REVERSIBLE DECODER Fig 5.9.1: RTL schematic of reversible decoder Fig 5.9.2 : internal RTL view of reversible decoder
Fig 5.9.3 : design summary of reversible decoder 5.10 reversible cintrol logic gate
Fig 5.10.1: RTL Schematic of reversible control logic gate
Fig 5.10.2 : Internal view of reversible control logic gate
Fig 5.10.3 : design summary of reversble control logic gate
5.11 REVERSIBLE ALU
Table 5.11.1: Operations performed in reversible ALU
Fig 5.11.1 : RTL Schematic of reversible ALU
Fig 5.11.2 : internal view of reversible ALU
Fig 5.11.3: design summary of reversible ALU
CHAPTER 6
APPLICATIONS AND ADVANTAGES OF REVERSIBLE CPU
6.1 APPLICATIONS Reversible computing may have applications in computer security and transaction processing, but the main long-term benefit will be felt very well in those areas which require high energy efficiency, speed and performance .it include the area like Low power CMOS. Quantum computer. Nanotechnology. Optical computing. DNA computing. Computer graphics. Communication. Design of low power arithmetic and data path for digital signal processing (DSP). Field Programmable Gate Arrays (FPGAs) in CMOS technology.
The potential application areas of reversible computing include the following Nano computing Bio Molecular Computations Laptop/Handheld/Wearable Computers Spacecraft Implanted Medical Devices Wallet “smart cards” “ Smart tags” on inventory Prominent application of reversible logic lies in quantum computers. Quantum gates perform an elementary unitary operation on one, two or more two–state quantum systems called qubits. Any unitary operation is reversible and hence quantum networks also. Quantum networks effecting elementary arithmetic operations cannot be directly deduced from their classical Boolean counterparts (classical logic gates such as AND or OR are clearly irreversible). Thus, Quantum computers must be built from reversible logical components.
6.2 ADVANTAGES: It is unavoidable sort of registering later on as the cutting edge processing depends on advancements which are essentially reversible. So when the hidden physical acknowledge of figuring wind up reversible, it likewise manages the reversibility at sensible level. As indicated by Landuer, the vitality is scattered at whatever point we are having any coherent task done on the machine ,This happens as a result of the comprehensiveness of the thermodynamic laws where Entropy is expanded at whatever point there is an activity that doesn't have each activity having the extraordinary and diverse answer . This structures the premise of Reversible Logic where we have just a single is to one correspondence b/w the information and the yield. Display day circuits disseminated energy of the request of nano-watts which is nearly 3-4 size bigger than the power lost because of entropy change. so the present day circuits don't have such issues with the power loss of this request however when in future when we will have the circuits having low power misfortune it will end up practically identical and in this manner we have to configuration circuits that are reversible in nature.
CHAPTER 7 SIMULATION RESULTS
7.1 Reversible ripple carry adder Fig 7.1 : Simulation result of 4-bit RCA 7.2 Simulation result of booth multiplier
Fig 7.2 : simulation result of reversible booth multiplier 7.3 Reversible multiplier
Fig 7.3 : simulation result of reversible multiplier 7.4 Reversible divider
Fig 7.4: simulation result of reversible divider
7.5 : Revrsible sequence counter
Fig 7.5: Simulation result of reversible sequence counter 7.6 : Reversible comparator
Fig 7.6: simulation result of reversible comparator
7.7 reversible multiplexer
Fig 7.7 : Simulation result of Reversible multiplexer 7.8 Reversible Decoder
Fig 7.8 : Simulation result of reversible decoder
7.9 Reversible control logic gate Fig 7.9 : Simulation result of reversible control logic gate 7.10 Reversible ALU
Fig 7.10: Simulation result of Reversible ALU
7.11 Reversible Fredkin gate
Fig 7.11.1 : Output of reversible Fredkin gate
Figure7.11.2 : layout designing of FREDKIN gate
7.12 Reversible Feynman gate Fig 7.12.1 : output of reversible Feynman gate
Fig 7.12.2: layout designing of reversible Feynman gate 7.13 Reversible BJN gate
Fig 7.13.1: output of reversible BJN gate Figure 7.13.2: layout designing of BJN gate 7.14 Reversible Full Adder Fig 7.14.1: output of reversible full adder Fig 5.2.7 : layout design of reversible full Adder
Chapter 8
CONCLUSION AND FUTURE SCOPE
In this work, our main motive is to design and implementation of reversible central processing unit to reduce the power consumption, heat dissipation, less area, low cost, and to minimize the delay as compare to the corresponding ir-reversible CPU. By incorporating all the individual reversible components of this work, we can construct the complete design and implementation of reversible CPU.
REFERENCES
[1] R. Landauer, - Irreversibilty and Heat Generation in the Computational Process, IBM Journal of Research and Development, 5, pp. 183-191, 1961 [2] Bennett C.H., “Logical reversibility of Computation”, IBM J.Research and Development, pp. 525-532, 1973. [3] Gordon. E. Moore, Cramming more components onto integrated circuits Electronics, Volume 38, Number 8, April 19, 1965. [4] P. Shor, Algorithms for quantum computation: discrete log and factoring, Proc. 35th Annual Symp. On Found. Of Computer Science (1994), IEEE Computer Society, Los Alamitos, 124-34. [5] E. Fredkin, T Toffoli, “Conservative Logic”, International Journal of Theor. Physics, 21(1982), pp. 219-253 [6] T. Toffoli., Reversible Computing, Tech memo MIT/LCS/TM-151, MIT Lab for Computer Science (1980). [7] A. Peres, Reversible Logic and Quantum Computers, Physical Review A, vol. 32, pp. 3266-3276, 1985. [8] H Thapliyal and N Ranganathan, “Design of Efficient Reversible Binary Subtractors Based on a New Reversible Gate”, IEEE Proceedings of the Computer Society Annual Symposium on VLSI, pp. 229-234 (2009). [9] H Thapliyal and N Ranganathan, “Design of Reversible Latches Optimized for Quantum Cost, Delay and Garbage Outputs”, Proceedings of Twenty Third International Conferences on VLSI Design, pp. 235-240(2010)
Abstract The reversible components of CPU is designed and implemented in order to optimize area, cost, power, minimum garbage output which in turn leads to small amount of heat dissipation. The cost and area is optimized by reducing the gate count, and the hardware complexity is reduced by using the minimum constant input. As compared to the current work, the proposed work includes the plan and implementation of some additional reversible components of CPU and also achieves extra features as compared to the current work. The proposed configuration is mimicked and the outcome is checked by utilizing programming Xilinx ISE 14.4. Index Terms—Reversible Logic, Reversible components of CPU, Garbage Output, constant inputs, gate count, and optimized area . I. INTRODUCTION Area, cost, and power are an essential issues in this day and age. In later a long time, the developing business sector of electronic frameworks experiences control scattering and warmth evacuation issue. Assuming to an ever increasing extent control is scattered, system ends up heating problem and this lessens the life span of the components. The requirements of electronic circuits with less power dispersal prompts the utilization of reversible method of reasoning circuit. Lafifa and Hafiz Md [1] had worked on reversible CPU components to reduce power and heat dissipation. Bennett [2] demonstrated that the balanced mapping between the sources of info and yields of reversible circuit definitely lessens the power utilization furthermore, warm dispersal of a system. Now a day’s prevention in computerized registering, interchanges are of most significance. In this way cryptanalysis conventions assume a noteworthy part. David [3] demonstrated that reversibility assumes key part in total calculation. Established reversible system, the information quantity of quantum samples should be equivalent to the quantity of produced quantum samples. The quantum doors what's more, systems should be reversible. Along these lines, the quantum systems can specifically composed from reversible systems. The current reversible mainframe [4] was not worked on the architecture of reversible arithmetic logic unit, reversible control logic gate. The new configuration of all the reversible components of CPU, such as reversible ALU, reversible adder, reversible multiplier, reversible divider, reversible multiplexer, reversible decoder, reversible comparator, reversible sequence counter and reversible control logic gate. II. PROPOSED WORK The interior game plan of a chip shifts depending on the plan and the expected motivations behind the chip. A chip incorporates a number juggling rationale unit arithmetic logic unit and control unit sections. The ALU plays out the number-crunching and consistent activities. The control rationale segment recovers direction task, program codes from storage memory as well as starts grouping the tasks, which are the requirements of arithmetic logic unit to complete the task. The configuration of the reversible components of the processor is appeared in below Figure 1, which consist of reversible adder, Multiplexer, Decoder, Control logic gate, ALU, , Multiplier Divider.
Fig 1. Design of reversible central processing unit.
A. reversible Adder
Fig 2.RTL schematic of reversible RCA. The new configuration of reversible 4 bit RCA is based on TSG gate. The most critical part of this entryway is that it can work separately as a reversible RCA. The new configuration of reversible 4 bit RCA achieves 2 unused output, 1 invariable input, and gate level is 1. Figure 3. simulation result of 4 bit adder B. reversible Multiplexer Fig 4. RTL schematic of reversible multiplexer The reversible MUX consist of two reversible 2:1 multiplexer. Where each 2:1 multiplexer is made up of only one fredkin gate. As compare to the existing reversible 4:1 multiplexer [1] we are using only two fredkin gates in proposed 4:1 mux, and we acheives the 4 garbage output, gate count is 2, and 0 constant inputs.and it uses only two fredkin gate because of this, the power,area, and cost is minimum. Fig 5. simulation result of 4:1 multiplexer C. Reversible Decoder Fig 6. RTL view of proposed reversible 3:8 decoder. The proposed reversible 3:8 decoder consist of 1 double Feynman gate (F2G) and two reversible gate. As compared to the current decoder [1] the new configuration of reversible decoder uses only 3 reversible gates. By reducing the figure of reversible doors, the area, cost, and power o the reversible 3:8 decoder is reduced. From the proposed reversible decoder we achieves 4 constant inputs, 3 gate counts, and only 1 garbage output. Fig 7. Simulation result of proposed 3:8 reversible decoder. D. Reversible control logic gate. Fig 8. RTL schematic of control logic gates
The circuit diagram of reversible control logic gate consists of 8 TG gate, and 5 Feynman gates. From the proposed reversible control logic gate we can achieves the 13 gate count, 13 constant inputs, and 19 garbage output.
Fig 9. Simulation of reversible control logic gate. E. Reversible ALU Fig 10 . RTL schematic of 16 bit reversible ALU The new configuration of reversible 16 bit ALU consist of 1 NOT gate, 1 DPG gate, 1 DKG gate, 1 TG gate, and 11 reversible 2:1 multiplexer which is based on FRG gate. The implementation of proposed 16 bit reversible ALU achieves 27 garbage output, 8 constant inputs, and gate count is 15. Fig 11. simulation result of 16 bit reversible ALU F. Reversible Multiplier Fig 12. RTL schematic of booth multiplier The RTL schematic of proposed 5 bit reversible booth multiplier consist of double Feynman gates (F2G), FRG gates, MIG gates, MNFT gates. The implementation of proposed reversible 5 bit multiplier achieves 84 garbage outputs, 2 constant inputs, and gate counts are 45. Fig 13. simulation result of proposed 5 bit reversible booth multiplier G. Reversible Divider Figure 14. implementation of proposed reversible divider The RTL schematic of proposed reversible divider consist of 4 feynman gate, and 5 reversible CDA gate. The reversible CDA gate consist of 1 FG and 1 DPG gate. The implementation of proposed reversible divider achieves the 10 garbage output, 9 constant inputs, and gate count is 9. Fig 15. simulation result of proposed reversible divider III. CONCLUSION AND FUTURE WORK The reversible logic synthesis with the minimum power, area and cost factors are carried out for the components of the reversible processor. Successfully designed and implemented the components like reversible ALU (Adder, Multiplier, Divider) multiplexer, decoder etc and achieves optimized result in terms of gate level, garbage output, constant inputs, optimized area, minimum cost and less power as compared to existing reversible components of CPU. At the last all the reversible elements of the CPU going to be incorporate together. ACKNOWLEDGMENT
REFERENCES
[1] Lafifa Jamal and Hafiz Md. Hasan Babu, “Design and Implementation of a Reversible Central Processing Unit” 2015 IEEE Computer Society Annual Symposium on VLSI. pp 187-190.
[2] C. H. Bennett, “Logical reversibility of computation,” IBM J. Research and Development, vol. 17, pp. 525–532, 1973.
[3] D. P. DiVincenzo, “Quantum gates and circuits,” Proceedings of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, vol. 454, no. 1969, pp. 261–276, 1998.
[4] H. Axelsen, R. Glck, and T. Yokoyama, “Reversible machine code and its abstract processor architecture,” in Computer Science Theory and Applications, ser. Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2007, vol. 4649, pp. 56–69.
[5] E. Fredkin, T Toffoli, “Conservative Logic”, International Journal of Theor. Physics, 21(1982), pp. 219-253
[6] T. Toffoli., Reversible Computing, Tech memo MIT/LCS/TM-151, MIT Lab for Computer Science (1980).
See also
References
- ^ Nielsen, M.; Chuang, I. (2000). Quantum Computation and Quantum Information. Cambridge University Press. ISBN 0-521-63503-9.
- ^ Mosca, M. (2008). "Quantum Algorithms". arXiv:0808.0369 [quant-ph].
- ^ Lanzagorta, Marco; Uhlmann, Jeffrey K. (1 January 2009). Quantum Computer Science. Morgan & Claypool Publishers. ISBN 9781598297324.
- ^ Nielsen, Michael A.; Chuang, Isaac L. (2010). Quantum Computation and Quantum Information (2nd ed.). Cambridge: Cambridge University Press. ISBN 978-1-107-00217-3.
- ^ a b
Farhi, E.; Goldstone, J.; Gutmann, S. (2007). "A Quantum Algorithm for the Hamiltonian NAND Tree". arXiv:quant-ph/0702144.
{{cite arXiv}}
:|class=
ignored (help) - ^ Childs, A. M.; van Dam, W. (2008). "Quantum algorithms for algebraic problems". Reviews of Modern Physics. 82: 1–52. arXiv:0812.0380. Bibcode:2010RvMP...82....1C. doi:10.1103/RevModPhys.82.1.
- ^ Shor, P. W. (1997). "Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer". SIAM Journal on Scientific and Statistical Computing. 26: 1484–1509. arXiv:quant-ph/9508027. Bibcode:1995quant.ph..8027S. doi:10.1137/s0097539795293172.
- ^
Boneh, D.; Lipton, R. J. (1995). "Quantum cryptoanalysis of hidden linear functions". In Coppersmith, D. (ed.). Proceedings of the 15th Annual International Cryptology Conference on Advances in Cryptology. Springer-Verlag. pp. 424–437. ISBN 3-540-60221-6.
{{cite conference}}
: Unknown parameter|booktitle=
ignored (|book-title=
suggested) (help) - ^
Moore, C.; Russell, A.; Schulman, L. J. (2005). "The Symmetric Group Defies Strong Fourier Sampling: Part I". arXiv:quant-ph/0501056.
{{cite arXiv}}
:|class=
ignored (help) - ^
Regev, O. (2003). "Quantum Computation and Lattice Problems". arXiv:cs/0304005.
{{cite arXiv}}
:|class=
ignored (help) - ^ Ralph, T.C. "Figure 1: The boson-sampling problem". Nature Photonics. Nature. Retrieved 12 September 2014.
- ^ Lund, A.P.; Laing, A.; Rahimi-Keshari, S.; Rudolph, T.; O'Brien, J.L.; Ralph, T.C. (5 September 2014). "Boson Sampling from Gaussian States". Phys. Rev. Lett. 113: 100502. arXiv:1305.4346. Bibcode:2014PhRvL.113j0502L. doi:10.1103/PhysRevLett.113.100502. PMID 25238340.
- ^ "The quantum revolution is a step closer". Phys.org. Omicron Technology Limited. Retrieved 12 September 2014.
- ^ Seshadreesan, Kaushik P.; Olson, Jonathan P.; Motes, Keith R.; Rohde, Peter P.; Dowling, Jonathan P. "Boson sampling with displaced single-photon Fock states versus single-photon-added coherent states: The quantum-classical divide and computational-complexity transitions in linear optics". Physical Review A. 91 (2): 022334. arXiv:1402.0531. Bibcode:2015PhRvA..91b2334S. doi:10.1103/PhysRevA.91.022334.
- ^
van Dam, W.; Seroussi, G. (2002). "Efficient Quantum Algorithms for Estimating Gauss Sums". arXiv:quant-ph/0207131.
{{cite arXiv}}
:|class=
ignored (help) - ^ Aaronson, S. (2009). "BQP and the Polynomial Hierarchy". arXiv:0910.4698 [quant-ph].
- ^
Grover, L. K. (1996). "A fast quantum mechanical algorithm for database search". arXiv:quant-ph/9605043.
{{cite arXiv}}
:|class=
ignored (help) - ^ Aaronson, Scott. "Quantum Computing and Hidden Variables" (PDF).
{{cite web}}
: Cite has empty unknown parameter:|dead-url=
(help) - ^
Brassard, G.; Hoyer, P.; Tapp, A. (1998). "Quantum Counting". Lecture Notes in Computer Science: 820–831. arXiv:quant-ph/9805082. doi:10.1007/BFb0055105.
{{cite journal}}
:|class=
ignored (help); Unknown parameter|class=
ignored (help) - ^
Brassard, G.; Hoyer, P.; Mosca, M.; Tapp, A. (2000). "Quantum Amplitude Amplification and Estimation". arXiv:quant-ph/0005055.
{{cite arXiv}}
:|class=
ignored (help) - ^
Childs, A. M.; Cleve, R.; Deotto, E.; Farhi, E.; Gutmann, S.; Spielman, D. A. (2003). "Exponential algorithmic speedup by quantum walk". Proceedings of the 35th Symposium on Theory of Computing. Association for Computing Machinery. pp. 59–68. arXiv:quant-ph/0209131. doi:10.1145/780542.780552. ISBN 1-58113-674-9.
{{cite conference}}
: Unknown parameter|booktitle=
ignored (|book-title=
suggested) (help) - ^
Childs, A. M.; Schulman, L. J.; Vazirani, U. V. (2007). "Quantum Algorithms for Hidden Nonlinear Structures". Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science. IEEE. pp. 395–404. arXiv:0705.2784. doi:10.1109/FOCS.2007.18. ISBN 0-7695-3010-9.
{{cite conference}}
: Unknown parameter|booktitle=
ignored (|book-title=
suggested) (help) - ^ a b
Magniez, F.; Nayak, A.; Roland, J.; Santha, M. (2007). "Search via quantum walk". Proceedings of the 39th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery. pp. 575–584. arXiv:quant-ph/0608026. doi:10.1145/1250790.1250874. ISBN 978-1-59593-631-8.
{{cite conference}}
: Unknown parameter|booktitle=
ignored (|book-title=
suggested) (help) - ^ Ambainis, A. (2007). "Quantum Walk Algorithm for Element Distinctness". SIAM Journal on Computing. 37 (1): 210–239. arXiv:quant-ph/0311001. doi:10.1137/S0097539705447311.
- ^ Shi, Y. (2002). Quantum lower bounds for the collision and the element distinctness problems. Proceedings of the 43rd Symposium on Foundations of Computer Science. pp. 513–519. arXiv:quant-ph/0112086. doi:10.1109/SFCS.2002.1181975.
- ^ Ambainis, A. (2005). "Polynomial Degree and Lower Bounds in Quantum Complexity: Collision and Element Distinctness with Small Range". Theory of Computing. 1 (1): 37–46. doi:10.4086/toc.2005.v001a003.
- ^ Kutin, S. (2005). "Quantum Lower Bound for the Collision Problem with Small Range". Theory of Computing. 1 (1): 29–36. doi:10.4086/toc.2005.v001a002.
- ^ Aleksandrs Belovs (2011). "Span Programs for Functions with Constant-Sized 1-certificates". arXiv:1105.4024 [quant-ph].
- ^ Magniez, F.; Santha, M.; Szegedy, M. (2007). "Quantum Algorithms for the Triangle Problem". SIAM Journal on Computing. 37 (2): 413–424. arXiv:quant-ph/0310134. doi:10.1137/050643684.
- ^ Aaronson, S. (3 February 2007). "NAND now for something completely different". Shtetl-Optimized. Retrieved 17 December 2009.
- ^
Saks, M.E.; Wigderson, A. (1986). "Probabilistic Boolean Decision Trees and the Complexity of Evaluating Game Trees" (PDF). Proceedings of the 27th Annual Symposium on Foundations of Computer Science. IEEE. pp. 29–38. doi:10.1109/SFCS.1986.44. ISBN 0-8186-0740-8.
{{cite conference}}
: Unknown parameter|booktitle=
ignored (|book-title=
suggested) (help) - ^ Ambainis, A. (2007). "A nearly optimal discrete query quantum algorithm for evaluating NAND formulas". arXiv:0704.3628 [quant-ph].
- ^
Reichardt, B. W.; Spalek, R. (2008). "Span-program-based quantum algorithm for evaluating formulas". Proceedings of the 40th Annual ACM symposium on Theory of Computing. Association for Computing Machinery. pp. 103–112. doi:10.1145/1374376.1374394. ISBN 978-1-60558-047-0.
{{cite conference}}
: Unknown parameter|booktitle=
ignored (|book-title=
suggested) (help) - ^ Pak, Igor (2012). "Testing commutativity of a group and the power of randomization". LMS Journal of Computation and Mathematics. 15: 38–43. doi:10.1112/S1461157012000046.
- ^ Magniez, F.; Nayak, A. (2007). "Quantum Complexity of Testing Group Commutativity". Algorithmica. 48 (3): 221–232. doi:10.1007/s00453-007-0057-8.
- ^
Aharonov, D.; Jones, V.; Landau, Z. (2006). "A polynomial quantum algorithm for approximating the Jones polynomial". Proceedings of the 38th Annual ACM symposium on Theory of Computing. Association for Computing Machinery. pp. 427–436. doi:10.1145/1132516.1132579.
{{cite conference}}
: Unknown parameter|booktitle=
ignored (|book-title=
suggested) (help) - ^ Feynman, R. P. (1982). "Simulating physics with computers". International Journal of Theoretical Physics. 21 (6–7): 467–488. Bibcode:1982IJTP...21..467F. doi:10.1007/BF02650179.
- ^ Abrams, D. S.; Lloyd, S. (1997). "Simulation of many-body Fermi systems on a universal quantum computer". Physical Review Letters. 79 (13): 2586–2589. arXiv:quant-ph/9703054. Bibcode:1997PhRvL..79.2586A. doi:10.1103/PhysRevLett.79.2586.
- ^ Kassal, I.; Jordan, S. P.; Love, P. J.; Mohseni, M.; Aspuru-Guzik, A. (2008). "Polynomial-time quantum algorithm for the simulation of chemical dynamics". Proceedings of the National Academy of Sciences of the United States of America. 105 (48): 18681–86. arXiv:0801.2986. Bibcode:2008PNAS..10518681K. doi:10.1073/pnas.0808245105. PMC 2596249. PMID 19033207.
- ^ Freedman, M.; Kitaev, A.; Wang, Z. (2002). "Simulation of Topological Field Theories by Quantum Computers". Communications in Mathematical Physics. 227 (3): 587–603. arXiv:quant-ph/0001071. Bibcode:2002CMaPh.227..587F. doi:10.1007/s002200200635.
- ^ Aharonov, D.; Jones, V.; Landau, Z. (2009). "A polynomial quantum algorithm for approximating the Jones polynomial". Algorithmica. 55 (3): 395–421. arXiv:quant-ph/0511096. doi:10.1007/s00453-008-9168-0.
- ^ Wocjan, P.; Yard, J. (2008). "The Jones polynomial: quantum algorithms and applications in quantum complexity theory". Quantum Information and Computation. 8 (1): 147–180. arXiv:quant-ph/0603069. Bibcode:2006quant.ph..3069W.
- ^ Alagic, G.; Jordan, S.P.; König, R.; Reichardt, B. W. (2010). "Approximating Turaev-Viro 3-manifold invariants is universal for quantum computation". Physical Review A. 82 (4): 040302. arXiv:1003.0923. Bibcode:2010PhRvA..82d0302A. doi:10.1103/PhysRevA.82.040302.
External links
- The Quantum Algorithm Zoo: A comprehensive list of quantum algorithms that provide a speedup over the fastest known classical algorithms.
- Andrew Childs' lecture notes on quantum algorithms
Surveys
- Smith, J.; Mosca, M. (2012). "Algorithms for Quantum Computers". Handbook of Natural Computing. p. 1451. doi:10.1007/978-3-540-92910-9_43. ISBN 978-3-540-92909-3.
- Childs, A. M.; Van Dam, W. (2010). "Quantum algorithms for algebraic problems". Reviews of Modern Physics. 82: 1–52. Bibcode:2010RvMP...82....1C. doi:10.1103/RevModPhys.82.1.