1: %#!platex journal.tex

2: %%

3: %% analysis_first.tex %%

4: %%

5: %% Last modified: 05/03/25 16:52:28 on dell148

6: %%

7: 

8: \subsection{Robust implementation against the decoherence}

9: \label{sec:analysis_robust}

10: 

11: Proposition~\ref{thm:independence_implementation}

12: shows that the probability to obtain the correct output

13: on the ascending-order is

14: the same as the probability on the descending-order one

15: in the case of decoherence on the first register.

16: Proposition~\ref{thm:higher_probability_second}

17: together with the proposition

18: states

19: the following robustness against the decoherence on two registers

20: in the quantum counting.

21: 

22: %Proposition~\ref{thm:independence_first} showed that

23: %if the depolarizing channel was applied on the first register,

24: %then the probability to obtain the correct output

25: %is the same

26: %even if we implemented the quantum counting

27: %with any ordering of application

28: %of controlled-$G$ operations.

29: %We also revealed that

30: %if the error occurs on the second register,

31: %then the probability on the ascending-order circuit

32: %is higher than on the descending-order one

33: %in Proposition~\ref{thm:higher_probability_second}.

34: %These properties follow the claim

35: %related to the probability

36: %to obtain the correct output:

37: 

38: \begin{claim}

39:  The ascending-order implementation

40:  for the quantum counting

41:  is more robust against the decoherence

42:  than the descending-order implementation.

43: \end{claim}

44: 

45: %If we wish to determine the number of solutions

46: %by using the quantum counting,

47: %we should implement the quantum counting

48: %with the ascending-order

49: %in order to obtain the desired output

50: %with high probability.

51: %

52: %On the other hand, the descending-order circuit

53: %has an advantage to detecting the decoherence.

54: %%whether the quantum counting is affected by the decoherence or not.

55: %Although it is usually difficult to

56: %check whether an obtained output is correct or not

57: %on the quantum counting,

58: %particular wrong outputs 0 and $N$

59: %on the descending-order circuit

60: %help us to check it

61: %since outputs 0 and $N$ mean

62: %the special case that

63: %all items satisfy an input oracle

64: %and no item satisfies it, respectively.

65: