Pith. sign in

REVIEW 1 cited by

Simpler Quantum Counting

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1907.08119 v3 pith:4CSEYBTY submitted 2019-07-18 quant-ph

classification quant-ph
keywords quantumalgorithmcountingcontrolled-grovernumberprobabilityratiosimpler
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

A simpler quantum counting algorithm based on amplitude amplification is presented. This algorithm is bounded by O(sqrt(N/M)) calls to the controlled-Grover operator where M is the number of marked states and N is the total number of states in the search space. This algorithm terminates within log(sqrt(N/M)) consecutive measurement steps when the probability p1 of measuring the state |1> is at least 0.5, and the result from the final step is used in estimating M by a classical post processing. The purpose of controlled-Grover iteration is to increase the probability p1. This algorithm requires less quantum resources in terms of the width and depth of the quantum circuit, produces a more accurate estimate of M, and runs significantly faster than the phase estimation-based quantum counting algorithm when the ratio M/N is small. We compare the two quantum counting algorithms by simulating various cases with a different M/N ratio, such as M/N > 0.125 or M/N < 0.001.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Efficient Maximum Clique Detection via Grover's Algorithm with Real-time Global Size Tracking

    quant-ph 2025-09 reject novelty 4.0 of 10

    A proposed Grover-based maximum clique solver claims O(sqrt(2^n)) iterations and O(1) measurements by pre-encoding the clique size, but the pre-encoding itself costs exponentially many gates and is excluded from the h...

Pith tools