Abstract
We expand Deutsch’s algorithm for determining the mappings of a logical function using four orthogonal states. Using this, we propose a parallel computation for all of the combinations of values in variables of a logical function using sixteen orthogonal states. As an application of our algorithm, we demonstrate two typical arithmetic calculations in the binary system. We study an efficiency for operating a full adder/half adder by quantum-gated computing. The two typical arithmetic calculations are \((1+1)\) and \((2+3)\). The typical arithmetic calculation \((2+3)\) is faster than that of its classical apparatus which would require \(4^3=64\) steps when we introduce the full adder operation. Another typical arithmetic calculation \((1+1)\) is faster than that of its classical apparatus which would require \(4^2=16\) steps when we introduce only the half adder operation.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
Quantum mechanics (cf. [1,2,3,4,5,6,7]) is an important physical theory to explain the quantum behaviors of the nature. Between the articles of research for constructing theoretical quantum algorithms [8] it may be mentioned as follows. In 1985, the Deutsch algorithm was introduced and constructed for the function property problem [9,10,11]. In 1993, the Bernstein–Vazirani algorithm was proposed for identifying linear functions [12, 13]. Generalization of the Bernstein–Vazirani algorithm beyond qubit systems is reported [14]. In 1994, Simon’s algorithm [15] and Shor’s algorithm [16] were discussed for period finding of periodic functions. In 1996, Grover [17] provided an algorithm for unordered object finding and the motivation for exploring the computational possibilities offered by quantum mechanics.
A simple algorithm for complete factorization of an N-partite pure quantum state is proposed by Mehendale and Joag [18]. Fujikawa, Oh, and Umetsu discuss a classical limit of Grover’s algorithm induced by dephasing: coherence versus entanglement [19]. Quantum dialogue protocol based on Grover’s search algorithms is presented by Yin, He, and Fan [20]. Efficient quantum arithmetic operation circuits for quantum image processing are discussed by Li et al. [21]. Gidney discusses halving the cost of quantum addition [22]. Li et al. discuss the circuit design and optimization of quantum multiplier and divider [23].
Some related references may be included on the high-dimensional case. Yan and Gao discuss Perfect NOT and conjugate transformations which are about the perfect NOT gate in d-dimensions [24]. Liu et al. discuss general scheme for superdense coding between multiparties [25]. Deconstructing dense coding is discussed by Mermin [26]. In high dimension, some of the operations are more complicated than that in the qubit case.
A quantum algorithm for a FULL adder operation based on registers of the CPU in a quantum-gated computer is discussed [27]. Even in quantum computers like electronic computers, “storing of programs and data” is the most important factor for data processing. Fortunately, we have discovered [28, 29] that the technique of using XOR based on Deutsch’s algorithm can be expandable to storing any Boolean function, of course, including XOR in “quantum memory” that automatically exists if we make use of the superposition and phase kickback concepts based upon XOR skillfully. It is important that such Boolean functions are regarded as “basics of programs” for a general purpose computing even on quantum-gated computers.
It is quite natural that we can step out into the wider world as researchers because of having such memory in even quantum-gated computers. By virtue of having such memory, we can draw any quantum logic circuits of ALU (Arithmetic and Logic Unit) and the control unit, as the hardware of the CPU (Central Processing Unit) of the quantum-gated computer. And then on such a whole hardware as a computer, we may run any program to be designed and constructed using the logical concept of Boolean functions. When we have efficient coupling between the hardware and programs with data, we will be happy in attaining a quantum-gated computer.
Fortunately, we have discovered an algorithm for storing the logical functions in a Boolean algebra. In other words, this corresponds to discovery of memory for logic functions in quantum-gated computers by means of multiple operations based on Exclusive OR with the two concepts, superposition and phase kickback. This theory is shown in Ref. [28].
In short, it is shown all the Boolean functions are set into the quantum computer just like the electronic computer. This fact means that all performances in logic of computing and control of itself are available even in quantum computers. Therefore, we could design any quantum-gated computer using the traditional design ways in logic of existing electronic computers [28].
Based upon the above, we reviewed concretely how to store logical functions in the memory of the quantum-gated computer, thinking of not only logic circuits but also programs in terms of logic. And naturally we demonstrated typical arithmetic calculations in the binary system. From this trial, we are going to lead a quantum-gated computer to be implemented commercially. This is theoretically and practically shown in Ref. [29].
In more details, we prove that the quantum computer can operate just like the electronic computer fundamentally through the operation of addition of two n-digit numbers. Therefore, the quantum computer can solve all the four basic operations of arithmetic, addition, subtraction, multiplication, and division. Further, it can be said that this quantum computer naturally operates not only arithmetic but also logic in terms of Boolean logic [29].
As a result, the theory proposed by Refs. [28, 29] can build a quantum-gated computer that is driven and operated by all software (all programs) used on existing electronic computers.
Finally, we say that such quantum-gated computers are much faster than existing electronic computers by virtue of quantum effectiveness that quantum mechanics consists of the most important concept of an elementary particle with the speed much higher than light’s. So, we can than could expand processing functionality of quantum-gated computers for wider range of applications based on physics and chemistry. In addition, we might guess that the energy consumption of quantum computers would be much smaller than that of electronic computers.
Generalization of Deutsch’s algorithm is reported [30]. Quantum algorithm for evaluating two of logical functions simultaneously is proposed [31]. Computational complexity in high-dimensional quantum computing is also discussed [32].
However, in the theory presented in Refs. [28,29,30], all the quantum states are not completely orthogonal to each other. Therefore, we have some error probability when we distinguish the quantum states [33, 34]. Nevertheless, we are able to construct our theory using orthogonal states.
In this article, we completely and simply expand Deutsch’s algorithm for determining all the mappings of a function using four orthogonal states. Using this, we propose a direct and simple method for a parallel computation for all of the combinations of values in variables of a logical function using sixteen orthogonal states. As an application of our algorithm, we demonstrate two typical arithmetic calculations in the binary system. We study an efficiency for operating a full adder/half adder by quantum-gated computing. The two typical arithmetic calculations are \((1+1)\) and \((2+3)\). The typical arithmetic calculation \((2+3)\) is faster than that of its classical apparatus which would require \(4^3=64\) steps when we introduce the full adder operation. Another typical arithmetic calculation \((1+1)\) is faster than that of its classical apparatus which would require \(4^2=16\) steps when we introduce only the half adder operation.
2 Expansion of Deutsch’s algorithm based on orthogonal states
Deutsch’s algorithm determines if the given function \(f:\mathbb Z_2 \rightarrow \mathbb Z_2\) is constant or balanced. The function is called to be constant if \(f(0)=f(1)\). The function is called to be balanced if \(f(0)\ne f(1)\). We expand Deutsch’s algorithm. Deutsch’s algorithm expanded determines all the mappings of the given function. We can determine simultaneously the following mappings:
2.1 Basic structure of quantum computing
Quantum superposition and quantum phase factor are fundamental features of many quantum algorithms. Both of them are necessary. They allow quantum computers to evaluate simultaneously the mappings of a function f(x) for many different x. Suppose
is a function with a one-bit domain and range. A convenient way of computing the function on a quantum computer is of considering a two-qubit quantum computer that starts with the state \(|x,y\rangle \), where x and y are variables used in mapping f. The abbreviation \(|x,y\rangle \) stands for \(|x\rangle \otimes |y\rangle \).
It is possible to transform the state \(|x,y\rangle \) into
by applying the quantum oracle, where \(\oplus \) indicates addition modulo 2. We denote the transformation \(U_f\) defined by the map
2.2 Deutsch’s algorithm
Let us review Deutsch’s formula as follows:
This is the phase kickback formation.
Let us introduce the Bloch sphere. We consider a quantum state lying in the x-axis and a quantum state lying in the z-axis. Deutsch’s formula does not use a quantum state lying in y-axis. f(0) and f(1) appear in the global phase factor, but we cannot obtain both of them at the same time.
We define the following notations:
In fact, we may define the input state as (8).
Applying \(U_{f_{i}}, (i=0,1,2,3)\) to \(|\psi _0\rangle _d\), \(U_{f_{i}}|\psi _0\rangle _d=|\psi _1\rangle _{id}\), therefore, leaves us with one of four cases:
If we have (9), we do not obtain simultaneously both f(0) and f(1) by measuring the single output state.
By measuring \(|\psi _1\rangle _{id}\), we cannot determine simultaneously all the two mappings of \(f_i(x)\) for all x. But, we can determine if the given function is constant or balanced. This is faster than a classical apparatus, which would require at least 2 evaluations.
2.3 Expansion of Deutsch’s algorithm
We can expand Deutsch’s algorithm using a quantum state lying in the xy-plane. In what follows, we consider the Bloch sphere, especially, we consider a quantum state lying in the xy-plane. From Deutsch’s formula and the mapping \(U_f\), we arrive the following formulas:
This is enough to realize our main goal, but, to simplify, we suppose a quantum state lying in just the y-axis. Thus let \((\theta ,\phi )\) be \((\pi /2,\pi /2)\) and let \((\theta ',\phi ')\) be \((\pi /2,\pi /2)\) in giving
We define the input state as (14). Here we use a phase effect, which is a quantum phenomenon. We define the input state as follows:
Applying \(U_{f_{i}}, (i=0,1,2,3)\) to \(|\psi _0\rangle \), \(U_{f_{i}}|\psi _0\rangle =|\psi _1\rangle _i\), therefore, leaves us with one of four cases:
If we have (15), we know simultaneously both f(0) and f(1) by measuring the single output state.
Thus, by measuring \(|\psi _1\rangle _i\), we may determine simultaneously all the two mappings of \(f_i(x)\) for all x. This is faster than a classical apparatus, which would require at least 2 evaluations. However, the four states are not orthogonal in one another. Therefore, we have some error probability when we distinguish the four states [33, 34]. Nevertheless, we are able to eliminate the error probability into zero as show below.
2.4 Expansion of Deutsch’s algorithm based on orthogonal states
We present the expansion of Deutsch’s algorithm based on orthogonal states. We propose the following input state:
Applying \(U_{f_{i}}\otimes U_{f_{i}}, (i=0,1,2,3)\) to \(|\psi _0\rangle _d\otimes |\psi _0\rangle \), \(U_{f_{i}}\otimes U_{f_{i}}|\psi _0\rangle _d\otimes |\psi _0\rangle =|\psi _1\rangle _{id}\otimes |\psi _1\rangle _i\), therefore leaves us with one of four cases:
If we have the relations above, we know simultaneously both f(0) and f(1) by measuring the single output state. The four states are orthogonal in one another. Therefore, we have zero error probability when we distinguish the four states. Thus, by measuring \(|\psi _1\rangle _{id}\otimes |\psi _1\rangle _i\), we may determine simultaneously all the two mappings of \(f_i(x)\) for all x. This is faster than a classical apparatus, which would require at least 2 evaluations.
Our algorithm is as follows:
-
Select a function \(f_i\) and do not know any mappings of it, that is,
$$\begin{aligned} f_i(0)=?, f_i(1)=?. \end{aligned}$$(21) -
Operate \(U_{f_{i}}\otimes U_{f_{i}}\) to \(|\psi _0\rangle _{d}\otimes |\psi _0\rangle \) in giving \(|\psi _1\rangle _{id}\otimes |\psi _1\rangle _i\).
-
From \(|\psi _1\rangle _{id}\otimes |\psi _1\rangle _i\), obtain the values of all the mappings concerning the function \(f_i\).
It is very interesting to consider the Deutsch–Jozsa algorithm expanded which uses N qubits.
2.5 Relation between set-theoretic atoms and Deutsch’s algorithm expanded
A Boolean algebra \(F_1\)
Let us discuss the relation between set-theoretic atoms [35] and Deutsch’s algorithm expanded. This A is a subset which is constructed using the atoms f1 and f2 that are disjoint one another. For example, newly using fi as an element of a Boolean algebra \(F_1\),
We can introduce a Boolean algebra \(F_1\) as a power set of the atoms. \(F_1\) is based on the value \(``1''\) of the one-variable switching functions. An atom is a function including only one \(``1''\) as its mapped value, in the two combinations of the values of A for the one-variable function.
Clearly we notice a complete matching between the Boolean algebra \(F_1\) and Deutsch’s algorithm expanded. In fact we can see that Eqs. (18) and (19) are regarded as the two atoms of the Boolean algebra \(F_1\). For example, we notice (18) OR operation with (19) is equal to (20) and all elements are derived from the two atoms.
We see that the relation between set theory based upon atoms and our result in terms of a Boolean algebra. The important point is that we obtain all the elements of \(F_1\) by means of a power set of atoms when we get the two atoms. Thus we can say that next our aim is of getting simultaneously (18) and (19). That means we get simultaneously (17)–(20) (all four patterns!). This is now possible as we discuss: We can construct very clearly the following quantum state composed on two orthogonal states:
And we evaluate this quantum state of obtaining all the mappings. Especially, we have a quantum algorithm for evaluating two of logical functions simultaneously [31] and then we have
In this case, we evaluate the quantum state of obtaining all the mappings.
3 Theoretically organized algorithm for quantum computers based on orthogonal states
The key of this section is to develop the algorithms of quantum computers toward the ultimate parallel processing on them. The way to do is to find out the very true ultimate parallelism, thinking of the physical quantum phenomena. The algorithm developed here is toward the full uses of the features of quantum computers. The algorithm implies the ability of such computation based upon the concept of a Boolean algebra. Finally we have the ultimate computation for today’s quantum computers.
In this section, we propose herein a novel parallel computation, even though today’s algorithm methodology for quantum computing, for all of the combinations of values in variables of a logical function. Our concern so far has been to obtain an attribute of some function. In fact such a task is only for one task problem solving. However, we could treat positively the plural evaluations of some logical function in parallel instead of testing the function for finding out its attribute. In fact, these evaluations of the function are naturally included and evaluated, in parallel, in normal quantum computing discussing a function in a Boolean algebra stemmed from atoms in it. As is naturally understandable with mathematics, quantum computing naturally meets the category of a Boolean algebra. The reason why we positively introduce a Boolean algebra here is because we have multiple evaluations of a function in quantum computing general.
3.1 Quantum algorithm for determining the \(2^2\) mappings of a function based on orthogonal states
We propose a quantum algorithm for determining the \(2^2\) mappings of a function. Suppose newly
is a function. We want to know simultaneously the \(2^2\) mappings f(0, 0), f(0, 1), f(1, 0), and f(1, 1). Later we see a complete matching between our results and a Boolean algebra \(F_2\). In the Boolean algebra \(F_2\), the function is a two-valuable function. For example, f(x, y) is the function where x and y are variables used in mapping f. In what follows, the abbreviation f(xy) stands for f(x, y). We see a combination between a unitary transformation theory and logic theory.
We define the input state as follows, using an application of Deutsch’s algorithm expanded:
From the mapping \(U_f\), we can define the following formulas:
Applying \(U_{f_{i}}U_{f_{i}}U_{f_{i}}U_{f_{i}}, (i=0,1,2,...,2^{2^2}-1)\) to \(|\Psi _0\rangle \), \(U_{f_{i}}U_{f_{i}}U_{f_{i}}U_{f_{i}} |\Psi _0\rangle =|\Psi _1\rangle _i\), therefore leaves us with one of \(2^{2^2}\) cases:
Thus, by measuring \(|\psi _1\rangle _i\), we may determine simultaneously all the \(2^2\) mappings of \(f_i(x,y)\) for all x and y. This is faster than a classical apparatus, which would require at least \(2^2\) evaluations.
Later we discuss the relation between set theory [35] based upon atoms and our results in terms of a Boolean algebra. Especially the result reveals a complete matching between quantum computing and a Boolean algebra. As is naturally understandable with mathematics, quantum computing belongs to the category of a Boolean algebra. We positively mention that the fundamental structures of quantum computing and von Neumann architecture are the same in terms of the category of a Boolean algebra. However, the main different is based on parallelism for determining all the mappings used especially in quantum computing.
3.2 Example using a logical function
Let us consider the case where \(i=1\). The logical function is as follows [35]:
where x and y are variables used in mapping f. \(x(=0,1)\) is variable for A. \(y(=0,1)\) is variable for B. We want to evaluate simultaneously all the mappings:
In classical case we require \(2^{2}\) evaluations. In quantum case, we require just one query.
The input state is as follows:
Applying \(U_{f_{1}}U_{f_{1}}U_{f_{1}}U_{f_{1}}\) to \(|\Psi _0\rangle \), \(U_{f_{1}}U_{f_{1}}U_{f_{1}}U_{f_{1}}|\Psi _0\rangle =|\Psi _1\rangle _1\), we have the following output state:
Therefore, we evaluate simultaneously all the mappings of \(f_{1}(x,y)\):
This is faster than a classical apparatus, which would require at least \(2^{2}\) evaluations. Likewise, we can evaluate the sixteen functions in a Boolean algebra \(F_2\).
3.3 Relation between set-theoretic atoms and the result in Sect. 3
Let us discuss the relation between set-theoretic atoms [35] and the result in Sect. 3. These A and B are subsets which are constructed using the atoms f1 through f4 that are disjoint one another. For example, newly using fi as an element of a Boolean algebra \(F_2\),
where,
We can introduce a Boolean algebra \(F_2\) as a power set of the atoms. \(F_2\) is based on the value \(``1''\) of the two-variable switching functions. An atom is a function including only one \(``1''\) as its mapped value, in the four combinations of the values of A and B for the two-variable function.
Clearly we notice a complete matching between the Boolean algebra \(F_2\) and our result in Sect. 3. In fact, we can see that Eqs. (36), (37), (39), and (43) are regarded as the four atoms of the Boolean algebra \(F_2\). For example, we notice (36) OR operation with (37) is equal to (38) and all elements are derived from the four atoms.
We see that the relation between set theory based upon atoms and our result in terms of a Boolean algebra. The important point is that we obtain all the elements of \(F_2\) by means of a power set of atoms when we get the four atoms. Thus, we can say that next our aim is of getting simultaneously (36), (37), (39), and (43). That means we get simultaneously (35)–(50) (all sixteen patterns!). This is now possible as we discuss: We can construct very clearly the following quantum state composed on four orthogonal states:
And we evaluate this quantum state of obtaining all the mappings. Especially, we have a quantum algorithm for evaluating two of logical functions simultaneously [31] and then we have
In this case, we evaluate the quantum state of obtaining all the mappings.
We positively stress that the fundamental structures of quantum computing and von Neumann architecture are the same in terms of the category of a Boolean algebra. However, the main different is based on parallelism for determining all the mappings used especially in quantum computing. We hope our discussions conclude the very true ultimate importance of the quantum parallelism to construct quantum computers beyond von Neumann architecture.
4 Toward practically mathematical evaluations
From (36), we have
Hence, we evaluate the mappings of the logical function [35]:
From (41), we have
Hence, we evaluate the mappings of the logical function [35]:
From (42), we have
Hence, we evaluate the mappings of the logical function [35]:
We have studied quantum operations based upon the quantum mechanics. First, we have used Deutsch’s algorithm with the usual phase kickback formation to develop the very true overbridging between usual quantum mechanics (and then quantum computing) and a Boolean algebra. In this, we have confirmed that usual quantum operations are useful, beyond the quantum computing only for quantum mechanics operations, for very true mathematical evaluations just like an arithmetic operation. We demonstrate two typical arithmetic calculations in the binary system.
As an example of a simple addition \(1+1\) in the binary system, we are going to develop the process of how to calculate this:
To solve it, fortunately we have a formula here
Hence, we have very clearly
according to the algorithm for addition in the binary system. The concrete and specific calculation (\(1+1\)) is faster than that of a classical apparatus which would require \(4^2=16\) steps when we introduce only the half adder operation.
In more details, we must use the rule of a half adder that is composed of using some formulae in the Boolean algebra [35]. In the half adder, the function of it is the SUM and a Carry to the next digit position. The circuit consists of two Boolean functions (69) and (70).
Further, we could mention a little bit complicated example
\(2 + 3\) in the decimal system.
In addition of the half adder operation, we need one more operation the full adder [35]. As for the full adder, it is by the two half adders and the “OR” operation \(A \vee B\) \((A, B \in \{0, 1\})\) in the Boolean algebra to take out the result from the previous digit. The operation is left here because it is obvious mathematically. Anyhow we can obtain the result 5 in the decimal system.
To solve it, fortunately we have a formula here
Thus, we have
Also we see
Our second aim is of calculating \(1+1\) considering \(\mathrm{Carry\ C_i} = 0\) using a full adder. The first half adder says
The second half adder says
Thus, we see \(10+11 =?01\). We have finally the carry \(\mathrm{Carry\ C_0}\) as follows: (This is (81) \(\vee \) (83)).
Hence, we have very clearly
according to the algorithm for addition in the binary system. The concrete and specific calculation (\(2+3\)) is faster than that of a classical apparatus which would require \(4^3=64\) steps when we introduce the full adder operation. The quantum advantage increases when two numbers we treat become very large. Toward practical quantum-gated computers, experimental demonstrations of our argumentations are going to be interested.
5 Conclusions
In conclusion, we have expanded Deutsch’s algorithm for determining all the mappings of a function using four orthogonal states. Using this, we have proposed a parallel computation for all of the combinations of values in variables of a logical function using sixteen orthogonal states. As an application of our algorithm, we have demonstrated two typical arithmetic calculations in the binary system. We have studied an efficiency for operating a full adder/half adder by quantum-gated computing. The two typical arithmetic calculations have been \((1+1)\) and \((2+3)\). The typical arithmetic calculation \((2+3)\) has been faster than that of its classical apparatus which would require \(4^3=64\) steps when we introduce the full adder operation. Another typical arithmetic calculation \((1+1)\) has been faster than that of its classical apparatus which would require \(4^2=16\) steps when we introduce only the half adder operation.
Data availability
No data associated in the manuscript.
References
Sakurai, J.J.: “Modern Quantum Mechanics,” (Addison-Wesley Publishing Company), Revised ed (1995)
Peres, A.: Quantum Theory: Concepts and Methods. Kluwer Academic, Dordrecht, The Netherlands (1993)
Redhead, M.: “Incompleteness, Nonlocality, and Realism,” (Clarendon Press, Oxford), 2nd ed (1989)
von Neumann, J.: Mathematical Foundations of Quantum Mechanics. Princeton University Press, Princeton, New Jersey (1955)
Nielsen, M.A., Chuang, I.L.: “Quantum Computation and Quantum Information,” (Cambridge University Press) (2000)
Holevo, A.S.: “Quantum Systems, Channels, Information, A Mathematical Introduction,” (De Gruyter), (2012) https://doi.org/10.1515/9783110273403
Nagata, K., Diep, D.N., Farouk, A., Nakamura, T.: “Simplified Quantum Computing with Applications,” (IOP Publishing, Bristol, UK) (2022), https://doi.org/10.1088/978-0-7503-4700-6
Rennie (Editor), R.: “Oxford dictionary of physics,” (Oxford University Press), Seventh ed (2015)
Deutsch, D.: Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. R. Soc. Lond. A 400, 97 (1985). https://doi.org/10.1098/rspa.1985.0070
Deutsch, D., Jozsa, R.: Rapid solution of problems by quantum computation. Proc. R. Soc. Lond. A 439, 553 (1992). https://doi.org/10.1098/rspa.1992.0167
Cleve, R., Ekert, A., Macchiavello, C., Mosca, M.: Quantum algorithms revisited. Proc. R. Soc. Lond. A 454, 339 (1998). https://doi.org/10.1098/rspa.1998.0164
Bernstein, E., Vazirani, U.: “Quantum complexity theory,” Proceedings of 25th Annual ACM Symposium on Theory of Computing (STOC ’93), p. 11. (1993) https://doi.org/10.1145/167088.167097
Bernstein, E., Vazirani, U.: Quantum Complexity Theory. SIAM J. Comput. 26, 1411 (1997). https://doi.org/10.1137/S0097539796300921
Nagata, K., Geurdes, H., Patro, S.K., Heidari, S., Farouk, A., Nakamura, T.: “Generalization of the Bernstein-Vazirani algorithm beyond qubit systems,” Quantum Stud.: Math. Found. 7, 17 (2020). DOIurlhttps://doi.org/10.1007/s40509-019-00196-4
Simon, D.R.: “On the power of quantum computation,” Proceedings of 35th IEEE Annual Symposium on Foundations of Computer Science, p. 116. (1994) https://doi.org/10.1109/SFCS.1994.365701
Shor, P.W.: “Algorithms for quantum computation: discrete logarithms and factoring,” Proceedings of 35th IEEE Annual Symposium on Foundations of Computer Science, p. 124. (1994) https://doi.org/10.1109/SFCS.1994.365700
Grover, L.K.: “A fast quantum mechanical algorithm for database search,” Proceedings of 28th Annual ACM Symposium on Theory of Computing, p. 212. (1996) https://doi.org/10.1145/237814.237866
Mehendale, D.P., Joag, P.S.: “A Simple Algorithm for Complete Factorization of an \(N\)-Partite Pure Quantum State,” Quantum Physics Letters, Vol. 6, No. 1, 73. (2017) https://doi.org/10.18576/qpl/060110
Fujikawa, K., Oh, C.H., Umetsu, K.: “A classical limit of Grover’s algorithm induced by dephasing: Coherence versus entanglement,” Modern Physics Letters A, Vol. 34, No. 07n08, 1950146 (2019). https://doi.org/10.1142/S0217732319501463
Yin, A., He, K., Fan, P.: Quantum dialogue protocol based on Grover’s search algorithms. Modern Phys. Lett. A 34(21), 1950169 (2019). https://doi.org/10.1142/S0217732319501694
Li, H.-S., Fan, P., Xia, H., Peng, H., Long, G.-L.: Efficient quantum arithmetic operation circuits for quantum image processing. Sci. China Phys. Mech. Astron. 63, 280311 (2020). https://doi.org/10.1007/s11433-020-1582-8
Gidney, C.: “Halving the cost of quantum addition,” Quantum 2, 74 (2018). https://doi.org/10.22331/q-2018-06-18-74
Li, H.-S., Fan, P., Xia, H., Long, G.-L.: The circuit design and optimization of quantum multiplier and divider. Sci. China Phys. Mech. Astron. 65, 260311 (2022). https://doi.org/10.1007/s11433-021-1874-2
Yan, F., Gao, T.: Perfect NOT and conjugate transformations. AAPPS Bull. 32, 7 (2022). https://doi.org/10.1007/s43673-022-00038-3
Liu, X.S., Long, G.L., Tong, D.M., Li, F.: General scheme for superdense coding between multiparties. Phys. Rev. A 65, 022304 (2002). https://doi.org/10.1103/PhysRevA.65.022304
Mermin, N.D.: Deconstructing dense coding. Phys. Rev. A 66, 032308 (2022). https://doi.org/10.1103/PhysRevA.66.032308
Nagata, K., Nakamura, T.: A quantum algorithm for a FULL adder operation based on registers of the CPU in a quantum-gated computer. Int. J. Theor. Phys. 60, 2986 (2021). https://doi.org/10.1007/s10773-021-04894-x
Nagata, K., Nakamura, T.: Some theoretically organized algorithm for quantum computers. Int. J. Theor. Phys. 59, 611 (2020). https://doi.org/10.1007/s10773-019-04354-7
Nakamura, T., Nagata, K.: Physics’ Evolution Toward Computing. Int. J. Theor. Phys. 60, 70 (2021). https://doi.org/10.1007/s10773-020-04661-4
Nagata, K., Nakamura, T.: Generalization of Deutsch’s algorithm. Int. J. Theor. Phys. 59, 2557 (2020). https://doi.org/10.1007/s10773-020-04522-0
Nagata, K., Nakamura, T.: Quantum algorithm for evaluating two of logical functions simultaneously. Int. J. Theor. Phys. 59, 2191 (2020). https://doi.org/10.1007/s10773-020-04493-2
Nagata, K., Diep, D.N., Nakamura, T.: Computational complexity in high-dimensional quantum computing. Quantum Mach. Intell. 4, 26 (2022). https://doi.org/10.1007/s42484-022-00084-y
Jaeger, G., Shimony, A.: Optimal distinction between two non-orthogonal quantum states. Phys. Lett. A 197, 83 (1995). https://doi.org/10.1016/0375-9601(94)00919-G
Peres, A., Terno, D.R.: Optimal distinction between non-orthogonal quantum states. J. Phys. A 31, 7105 (1998). https://doi.org/10.1088/0305-4470/31/34/013
Gilbert, W.J., Nicholson, W.K.: “Modern algebra with applications,” (John Wiley and Sons, Inc. Second edition) (2004)
Acknowledgements
We thank Soliman Abdalla, Jaewook Ahn, Josep Batle, Do Ngoc Diep, Mark Behzad Doost, Ahmed Farouk, Han Geurdes, Preston Guynn, Shahrokh Heidari, Wenliang Jin, Hamed Daei Kasmaei, Janusz Milek, Mosayeb Naseri, Santanu Kumar Patro, Germano Resconi, and Renata Wong for their valuable support.
Funding
Open Access funding enabled and organized by KAIST.
Author information
Authors and Affiliations
Contributions
KN and TN wrote and read the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors state that there is no conflict of interest.
Ethical approval
The authors are in an applicable thought to ethical approval.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Nagata, K., Nakamura, T. Mathematical digital quantum computation by means of much more logical skills. Quantum Stud.: Math. Found. 11, 363–377 (2024). https://doi.org/10.1007/s40509-024-00326-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40509-024-00326-7