Two-bit gates are universal for quantum computation
Open accessAbstract
A proof is given, which relies on the commutator algebra of the unitary Lie groups, that quantum gates operating on just two bits at a time are sufficient to construct a general quantum circuit. The best previous result had shown the universality of three-bit gates, by analogy to the universality of the Toffoli three-bit gate of classical reversible computing. Two-bit quantum gates may be implemented by magnetic resonance operations applied to a pair of electronic or nuclear spins. A ``gearbox quantum computer'' proposed here, based on the principles of atomic-force microscopy, would permit the operation of such two-bit gates in a physical system with very long phase-breaking (i.e., quantum-phase-coherence) times. Simpler versions of the gearbox computer could be used to do experiments on Einstein-Podolsky-Rosen states and related entangled quantum states.
AI snapshot
Written from the paper’s full text.
TL;DR
DiVincenzo proves that two-bit quantum gates are universal for quantum computation, improving on the previous three-bit universality result. The proof uses Lie-group commutator algebra, and the paper also proposes a “gearbox quantum computer” as a possible physical setting for two-bit gates.
Key findings
- Two-bit gates suffice to generate arbitrary unitary transformations; the paper gives an explicit realization of Deutsch’s three-bit gate \(U_\lambda\) from one- and two-bit gates, with \(U_\lambda\) obtained by four applications of \(S_Q\) and \(\lambda = -2\pi\alpha\).
- The Lie-algebra proof shows that successive commutation of Hermitian generators of two-bit gates fills out the entire 64-dimensional Lie algebra; four generators \(H_{66}\), \(H_{77}\), \(H^r_{67}\), and \(H^i_{67}\) suffice to produce \(U(8)\).
- The proposed gearbox uses meshed gears with 16 and 15 teeth, relatively prime so each pair of spins can be brought into contact; nuclear spins may have long dephasing times, estimated at \(10^{10}\) seconds (3 years) under ideal assumptions, compared with an electron-spin upper bound of \(10^{-3}\) seconds and \(\sim 10^{-13}\) seconds for an electron in a gold wire below 1 K.
- Explicit two-bit sequences can be lengthy: the analog of Fig. 2 for Eqs. (3.12c) and (3.12d) would contain 21 gates, so the construction is not a practical implementation of quantum logic.
Methods
- Theoretical proof using the commutator algebra of unitary Lie groups; the paper constructs Deutsch’s three-bit gate from one- and two-bit gates via \(8 \times 8\) matrix multiplication and Lie-algebra generators.
- No experimental data or sample are used; the work is mathematical and includes a conceptual physical proposal for a gearbox quantum computer.
- Main analysis uses infinitesimal generators, commutation relations, and explicit gate sequences; the error from concatenating small rotations is stated to be of order \(1/\sqrt{N}\).
Limitations
- The paper states that the proof only provides small rotation angles and lengthy gate sequences, gives no practical design principles for quantum logic, and describes the gearbox as “more thought-provoking than real,” not an immediate experimental proposal.
- The paper states that no detailed protocol is worked out for inducing arbitrary two-spin unitary operations, and that no current magnetometry is sensitive enough to sense a single proton spin; atomic-scale vibrations and misalignments may be deleterious.
- Evident from the text: there is no experimental realization or empirical validation, and the long nuclear-spin dephasing estimate is ideal/assumed and “will certainly be much smaller in reality.”
Model-written summary. Check it against the paper before relying on it.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
0 of 21 cited sources checked · 0 supported · 0 flagged
- Findingreasoning§ B. Proof that Q can be realized by two-bit gates · p. 12
The equation of Fig. 2 is true to first order in the small parameter delta.
“to first order in the small parameter δ .”
Quote in the paperSubstantial claim - Findingnone given§ B. Proof that Q can be realized by two-bit gates · p. 11
U_lambda is obtained by four applications of S_Q in Eq. (3.1), with the identification lambda = -2 pi alpha.
“U λ is obtained by four applications of S Q in Eq. (3.1), with the identification λ = -2 πα .”
Quote in the paperSubstantial claim - Findingreasoning§ C. Completion of the proof: generating the entire Lie algebra · p. 14
Eqs. (3.12) complete the proof that all necessary three-bit operations can be executed using two-bit gates.
“Eqs. (3.12) complete the proof that all necessary three-bit operations can be executed using two-bit gates; the explicit sequence of gates can be read off the equations.”
Quote in the paperSubstantial claim - Findingreasoning§ Abstract · p. 1
Quantum gates operating on just two bits at a time are sufficient to construct a general quantum circuit, i.e., to generate any arbitrary unitary transformation.
“A proof is given, which relies on the commutator algebra of the unitary Lie groups, that quantum gates operating on just two bits at a time are sufficient to construct a general quantum circuit.”
- Also stated in: § I. INTRODUCTION · p. 3 · boosted
“Here, using the techniques of Lie group theory, I prove the desired new result, that two-bit gates suffice to generate any arbitrary quantum network, i.e., any arbitrary unitary transformation.”
- Also stated in: § IV. CONCLUSIONS · p. 15 · plain
“The present work shows that all quantum logic can in principle be designed with two-bit gates; however, it does not offer any practical design principles for quantum logic, and this remains an important open issue for the future.”
Quote in the paperSubstantial claim - Also stated in: § I. INTRODUCTION · p. 3 · boosted
- Findingown data§ I. INTRODUCTION · p. 3
The proof provides an explicit realization of three-bit operations in terms of sequences of two-bit gates.
“The proof provides an explicit realization of three-bit operations in terms of sequences of two-bit gates, although it remains to be seen whether this may form the basis of a practical, efficient method of designing quantum circuits.”
Quote in the paperSubstantial claim
- Premisecitation§ B. Gearbox quantum computer · p. 8
In the polymer computer, the interaction Hamiltonian between spins is more controlled because it depends only on the local environment in the crystal.
“One obvious advantage of the polymer computer is that the interaction Hamiltonian between the spins is more controlled, since it depends only on the local environment in the crystal.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [15] [15] S. Lloyd, 'A potentially realizable quantum computer', Science, 261 , 1569 (1993); 'Envisioning a quantum supercomputer', Science, 263 , 695 (1994). - source
Not checked in the free run.
- Premisecitation§ A. Why making a quantum computer is very, very difficult · p. 5
The nuclear spin dephasing time has been estimated, given ideal assumptions about the electromagnetic environment in a Nuclear Magnetic Resonance apparatus, to be 10^10 seconds (3 years).
“The value of this t φ has been estimated, given ideal assumptions about the electromagnetic environment in a Nuclear Magnetic Resonance apparatus, to be 10 10 seconds (3 years) [13,14].”
Quote in the paperNot a substantial claim0 of 2 sources checked- cites [13] [13] A. Abragham, The Principles of Nuclear Magnetism , (Oxford University Press, 1961), p. 265. -
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites [14] [14] See also discussion in S. Lloyd, 'Programming pulse driven quantum computers', preprint (1994). -
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Premisecitation§ Abstract · p. 1
Three-bit gates were previously proved sufficient to build any arbitrary quantum network, by Deutsch's result generalizing the Toffoli gate.
“The best previous result had shown the universality of three-bit gates, by analogy to the universality of the Toffoli three-bit gate of classical reversible computing.”
- Also stated in: § I. INTRODUCTION · p. 3 · boosted
“It has previously been proved that three-bit gates are sufficient to build any arbitrary quantum network, and no other workers have investigated whether this result can be improved upon.”
- Also stated in: § A. Background: What Deutsch proved · p. 9 · plain
“Deutsch proved that all unitary transformations could be obtained from one operating upon three bits, that one being a natural generalization of the Toffoli operation.”
Quote in the paperSubstantial claim0 of 1 sources checked- cites [21] [21] D. Deutsch, 'Quantum computational networks', Proc. Roy. Soc. Lond. A 425 , 73 (1989). -
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Also stated in: § I. INTRODUCTION · p. 3 · boosted
- Premisecitation§ A. Why making a quantum computer is very, very difficult · p. 4
For an electron traversing a gold wire at temperatures less than 1 K, the dephasing time t_phi is of order 10^-13 seconds.
“For example, for the state of an electron traversing a gold wire at temperatures less than 1K, t φ is of order 10 -13 seconds.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [7] [7] See, e.g., S. Washburn and R. A. Webb, 'Aharonov-Bohm effect in normal metal quantum coherence and transport', Adv. Phys. 35 , 375 (1986). - source
Not checked in the free run.
- Interpretationreasoning§ B. Gearbox quantum computer · p. 6
In the gearbox, using gears with 16 and 15 teeth, relatively prime, assures that each pair of spins on either gear may be brought into contact by turning the gearbox.
“The gears are shown with 16 and 15 teeth respectively; by making these numbers relatively prime, it is assured that each pair of spins on either gear may be brought into contact by turning the gearbox.”
Quote in the paperSubstantial claim- Rests on an assumption: Atomic spatial resolution and atomic contact between spins can be achieved in the gearbox.
- Premisecitation§ A. Why making a quantum computer is very, very difficult · p. 4
An upper bound for the dephasing time of an electron spin, recently measured in a salt containing paramagnetic Eu ions, is 10^-3 seconds.
“The state of an electron's spin [8] (i.e., the state of the electron's magnetic moment) is more stable, but an upper bound for its dephasing time, recently measured in a salt containing paramagnetic Eu ions [9], is 10 -3 seconds.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [9] [9] R. W. Equall, Y. Sun, R. L. Cone, and R. M. Macfarlane, 'Ultraslow optical dephasing in Eu 3+ : Y 2 SiO 5 ', Phys. Rev. Lett. 72 , 2179 (1994). -
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Premisecitation§ C. Completion of the proof: generating the entire Lie algebra · p. 13
As Deutsch showed, obtaining the generators corresponding to just four unitary operators U_lambda, V_lambda, W_lambda and X_lambda suffices to produce all of U(8).
“Actually the exercise is simpler than this, because as Deutsch showed, obtaining the generators corresponding to just four unitary operators U λ , V λ , W λ and X λ suffices to produce all of U (8).”
Quote in the paperSubstantial claim0 of 1 sources checked- cites [21] [21] D. Deutsch, 'Quantum computational networks', Proc. Roy. Soc. Lond. A 425 , 73 (1989). -
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Interpretationreasoning§ A. Why making a quantum computer is very, very difficult · p. 4
A transistor or any conventional computer element cannot perform quantum computation.
“This discussion makes clear why a transistor, or any conventional computer element, cannot perform quantum computation.”
Quote in the paperNot a substantial claim - Interpretationreasoning§ B. Gearbox quantum computer · p. 7
The polarization transfer process need not be phase-coherent because it would precede the start of the quantum computation.
“This process need not be phase-coherent, because it would preceded the start of the quantum computation.”
Quote in the paperNot a substantial claim - Interpretationreasoning§ C. Completion of the proof: generating the entire Lie algebra · p. 13
The sequence of gates illustrated in Fig. 2 and Eq. (3.7) is the execution of a commutator of the Lie algebra.
“Thus we see that the sequence of gates illustrated in Fig. 2 and in Eq. (3.7) is nothing more than the execution of a commutator of the Lie algebra.”
Quote in the paperSubstantial claim - Interpretationnone given§ I. INTRODUCTION · p. 2
The quantum gearbox arranges for individual spins to be in very well-isolated environments except during the moment that pairs of spins pass through logic gates.
“I introduce a computing machine, a 'quantum gearbox', which arranges for individual spins to be in very well-isolated environments except during the moment that pairs of spins pass through logic gates.”
Quote in the paperSubstantial claim- Rests on an assumption: Very long dephasing times for spins can be achieved in the gearbox by making the gear elements magnetically and electronically quiet.
- Rests on an assumption: Atomic spatial resolution and atomic contact between spins can be achieved in the gearbox.
- Interpretationreasoning§ A. Why making a quantum computer is very, very difficult · p. 5
Nuclear spins have dephasing times that can, under favorable circumstances, be orders of magnitude longer than those of electronic spins or any other quantum degrees of freedom.
“For this reason, nuclei have t φ 's which can, under favorable circumstances, be orders of magnitude longer than for electronic spins, or any other quantum degrees of freedom.”
Quote in the paperNot a substantial claim - Interpretationreasoning§ B. Gearbox quantum computer · p. 7
It would be possible to exploit magnetic resonance techniques to prepare an initially polarized state.
“Nevertheless, it would be possible to exploit some of the techniques of magnetic resonance to prepare an initially polarized state.”
Quote in the paperNot a substantial claim
- Classified as probably not a substantial claim. 21
- May combine two claims. 11
- The quote only partly states this claim. 1
Probably not a substantial claim: may not pass S3 (load-bearing).
Findingnone given§ C. Completion of the proof: generating the entire Lie algebra · p. 14Eqs. (3.12) only provide a way of getting unitary operations with small rotation angles.
“For one thing, Eqs. (3.12) only provide a way of getting unitary operations with small rotation angles.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingreasoning§ B. Proof that Q can be realized by two-bit gates · p. 12To obtain U_lambda for any lambda to a desired degree of accuracy, it is only necessary to concatenate a set of small rotations, and the error made by using the set of two-bit operations in Eq. (3.7) is of order 1/sqrt(N).
“To obtain U λ for any λ to a desired degree of accuracy, it is only necessary to concatenate a set of small rotations, by writing U λ = ( U λ/N ) N ; the error made by using the set of two-bit operations in Eq.(3.7) can be shown to be of order 1 / √ N .”
Quote in the paperSubstantial claimThe quote only partly states this claim.
Findingreasoning§ C. Completion of the proof: generating the entire Lie algebra · p. 13Successive commutation of the Hermitian generators of the set of two-bit gates fills out the entire 64-dimensional Lie algebra spanned by Eqs. (3.9).
“With this machinery, the question of whether two-bit gates suffice to produce all possible three-bit unitary operations boils down to the question of whether the successive commutation of the Hermitian generators of our set of two-bit gates fills out the entire 64-dimensional Lie algebra spanned by Eqs. (3.9).”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
Findingreasoning§ C. Completion of the proof: generating the entire Lie algebra · p. 14Eqs. (3.12c) and (3.12d) specify a rather lengthy sequence of two-bit gates, for which the analog of Fig. 2 would contain a sequence of 21 gates.
“Secondly, these equations specify a rather lengthy sequence of two-bit gates, especially Eqs. (3.12c) and (3.12d), for which the analog of Fig. 2 would contain a sequence of 21 gates!”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
Premisecitation§ IV. CONCLUSIONS · p. 15There is evidence that quantum computers cannot solve the NP class of problems any more rapidly than classical computers, although the random oracle method of proof is not definitive.
“For example, there is evidence that quantum computers cannot solve the NP class of problems [27] any more rapidly than classical computers, although the method of proof used, employing a so called 'random oracle', is known not to be definitive.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [27] [27] C. H. Bennett, E. Bernstein, G. Brassard, and U. V. Vazirani, 'Strengths and weaknesses of quantum computing', Proceedings of the 26th Annual ACM Symposium on the Theory of Computing, 1994 (to be published). -
Not checked in the free run.
May combine two claims.
Premisecitation§ B. Gearbox quantum computer · p. 7Quantum computations under consideration require that the spins be in an initial simple state, e.g., all up, but an assemblage of nuclear spins at any reasonable temperature will typically have a random state drawn from a Boltzmann distribution.
“Quantum computations under consideration now [5,4] require that the spins be an initial simple state, e.g., all up. But because of the low energy scales involved, an assemblage of nuclear spins at any reasonable temperature will typically have a random state which is drawn from a Boltzmann distribution.”
Quote in the paperSubstantial claim0 of 2 sources checked- cites [5] [5] D. R. Simon, 'On the power of quantum computation', Proceedings of the 26th Annual ACM Symposium on the Theory of Computing, 1994 (to be published). -
Not checked in the free run.
- cites [4] [4] P. W. Shor, 'Algorithms for quantum computation: discrete log and factoring', Proceedings of the 26th Annual ACM Symposium on the Theory of Computing, 1994 (to be published). -
Not checked in the free run.
May combine two claims.
Interpretationreasoning§ B. Gearbox quantum computer · p. 7The output device must sense the state of a single spin and make that information available to the rest of the world, and this can be done only at the end of the quantum computation because it involves strong interaction that destroys unitary evolution.
“This device must sense the state of a single spin and make that information available to the rest of the world. This operation can be done only at the end of the quantum computation, since it involves strong interaction of the quantum computer with other degrees of freedom, destroying the unitary evolution.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
Premisecitation§ B. Gearbox quantum computer · p. 8In the polymer computer, not just two-bit but also three-bit local operations can be executed, but this is not a crucial advantage.
“In the polymer computer, not just two-bit but also three-bit local operations can be executed (but this is not a crucial advantagesee the next section).”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [15] [15] S. Lloyd, 'A potentially realizable quantum computer', Science, 261 , 1569 (1993); 'Envisioning a quantum supercomputer', Science, 263 , 695 (1994). - source
Not checked in the free run.
Probably not a substantial claim: may not pass S3 (load-bearing).
Interpretationcitation§ B. Gearbox quantum computer · p. 8The polymer computer has the disadvantage that the interaction Hamiltonian between the spins can never be turned off, which makes control of the phase of the quantum state particularly ungainly.
“The polymer computer has the disadvantage that the interaction Hamiltonian between the spins can never be turned off. This does not necessarily lead to insuperable problems, but it makes the control of the phase of the quantum state particularly ungainly.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [15] [15] S. Lloyd, 'A potentially realizable quantum computer', Science, 261 , 1569 (1993); 'Envisioning a quantum supercomputer', Science, 263 , 695 (1994). - source
Not checked in the free run.
Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).
Interpretationreasoning§ Abstract · p. 1A gearbox quantum computer based on atomic force microscopy would permit operation of two-bit gates in a physical system with very long phase breaking, i.e., quantum phase coherence, times.
“A 'gearbox quantum computer' proposed here, based on the principles of atomic force microscopy, would permit the operation of such two-bit gates in a physical system with very long phase breaking (i.e., quantum phase coherence) times.”
Quote in the paperNot a substantial claim- Rests on an assumption: Very long dephasing times for spins can be achieved in the gearbox by making the gear elements magnetically and electronically quiet.
- Rests on an assumption: Atomic spatial resolution and atomic contact between spins can be achieved in the gearbox.
Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing), S4 (based).
Interpretationnone given§ B. Gearbox quantum computer · p. 8In the gearbox computer, atomic-scale vibrations and misalignments might be very difficult to control and quite deleterious to operation.
“In the gearbox computer, atomic-scale vibrations and misalignments might be very difficult to control and quite deleterious to the operation.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
Premisecitation§ IV. CONCLUSIONS · p. 14Quantum computers suffer from instabilities in their time evolution inherent to any Hamiltonian system, and they cannot be error-corrected in any traditional sense because error correction is intrinsically dissipative.
“As Landauer has discussed [26], quantum computers suffer from instabilities in their time evolution which are inherent to any Hamiltonian system; in addition quantum computers cannot be errorcorrected in any traditional sense, since error correction is intrinsically dissipative.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [26] [26] R. Landauer, 'Is quantum mechanics useful?', Proc. Roy. Soc. Lond., (to be published). -
Not checked in the free run.
Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
Premisecitation§ B. Gearbox quantum computer · p. 8In the polymer computer, unitary operations can go on in parallel, although the ability to address specific pairs of spins is lost.
“Another advantage of the polymer computer is that the unitary operations can go on in parallel, although the ability to address specific pairs of spins is lost.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [15] [15] S. Lloyd, 'A potentially realizable quantum computer', Science, 261 , 1569 (1993); 'Envisioning a quantum supercomputer', Science, 263 , 695 (1994). - source
Not checked in the free run.
May combine two claims.
Interpretationcitation§ B. Gearbox quantum computer · p. 7One way to prepare an initially polarized state is to prepare a gear with attached single electron spins, polarize them at a reasonable temperature because of their greater magnetic moment, mesh them into contact with nuclear spins, and use known techniques such as the Overhauser effect or coherence transfer to transfer the electronic spin polarization to the nuclei.
“One way of doing this would be to prepare a gear with attached single electron spins. Because of their much greater magnetic moment, these can be put in a polarized state at a reasonable temperature. When they are meshed into contact with the nuclear spins, one can use one of the known techniques (the Overhauser effect, coherence transfer [20]), for transferring the electronic spin polarization to”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [20] [20] C. P. Slichter, Principles of Magnetic Resonance (Third Edition, Springer-Verlag, 1992). -
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Probably not a substantial claim: may not pass S1 (asserted), S2 (checkable), S3 (load-bearing).
Interpretationcitation§ IV. CONCLUSIONS · p. 15Other unique quantum phenomena like teleportation could also be investigated.
“Other unique quantum phenomena like 'teleportation' [30] could also be investigated.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [30] [30] C. H. Bennett, G. Brassard, C. Cr´ epeau, R. Jozsa, A. Perez, and W. Wooters, 'Teleport- ing an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels', Phys. Rev. Lett. 70 , 1895 (1993). source
Not checked in the free run.
Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).
Interpretationnone given§ B. Gearbox quantum computer · p. 8It may be difficult to make a magnetic polymer or a magnetic crystal sufficiently quiet, i.e., sufficiently immune from interaction with other, non-computational degrees of freedom.
“Finally, there is a concern that it may be difficult to make a magnetic polymer or a magnetic crystal sufficiently 'quiet', i.e., sufficient immune from interaction with other, non-computational degrees of freedom.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
Premisecitation§ IV. CONCLUSIONS · p. 15Coppersmith has shown how both the essentially quantum-mechanical parts of Shor's algorithm and the conventional reversible part may be very efficiently designed in two-bit gates.
“For the specific case of the Shor algorithm, Coppersmith [6] has very cleverly shown how both the essentially quantum-mechanical parts of his algorithm, and the 'conventional' reversible part, may be very efficiently designed in two-bit gates.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [6] [6] D. Coppersmith, 'An approximate Fourier transform useful in quantum factoring', preprint (1994); and unpublished. -
Not checked in the free run.
Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).
Interpretationnone given§ B. Gearbox quantum computer · p. 7If more bits are needed for I/O, memory, etc., they can be added simply by adding more gears to the system.
“It is obvious that if more bits are needed, for I/O, memory, etc., they can be added simply by adding more gears to the system.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
Premisecitation§ B. Gearbox quantum computer · p. 7There is presently no magnetometry of sufficient sensitivity to sense the state of a single proton spin, but mechanical detection of magnetic resonance within magnetic force microscopy will, according to Rugar and coworkers, be able to perform such detection in the foreseeable future.
“There is presently no magnetometry of sufficient sensitivity to sense the state of a single proton spin; however, the mechanical detection of magnetic resonance within magnetic force microscopy will, according to Rugar and coworkers [19], be able to perform such detection in the foreseeable future.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [19] [19] D. Rugar, C. S. Yannoni and J. A. Sidles, 'Mechanical detection of magnetic resonance', Nature 360 , 563 (1992); O. Z¨ uger and D. Rugar, 'First images from a magnetic resonance force microscope', Appl. Phys. Lett. 63 , 2496 (1993). -
Not checked in the free run.
Probably not a substantial claim: may not pass S3 (load-bearing).
Interpretationreasoning§ Abstract · p. 1Simpler versions of the gearbox computer could be used to do experiments on Einstein-Podolsky-Rosen states and related entangled quantum states.
“Simpler versions of the gearbox computer could be used to do experiments on Einstein-Podolsky-Rosen states and related entangled quantum states.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
Interpretationcitation§ IV. CONCLUSIONS · p. 15Shor's factoring algorithm gives hope that closely related problems such as graph isomorphisms might also have a rapid solution.
“The main definite result for the time being is Shor's factoring algorithm, which gives the hope that closely related problems such as graph isomorphisms [28] might also have a rapid solution.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites [28] [28] P. Shor, private communication. -
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Classified as probably not a substantial claim.
Interpretationcitation§ B. Gearbox quantum computer · p. 7It is expected that, as in Lloyd's work, suitable external fields can induce any arbitrary two-spin unitary operation, although no detailed protocol is worked out.
“It is expected that, as in the work of Lloyd [15], it is possible with suitable external fields to induce any arbitrary two-spin unitary operation in Eq. (2.1), although I have not worked out a detailed protocol for this.”
Quote in the paperSubstantial claim0 of 1 sources checked- cites [15] [15] S. Lloyd, 'A potentially realizable quantum computer', Science, 261 , 1569 (1993); 'Envisioning a quantum supercomputer', Science, 263 , 695 (1994). - source
Not checked in the free run.
May combine two claims.
Premisecitation§ B. Gearbox quantum computer · p. 6When the spins are not in contact, the spin Hamiltonian is zero and no time evolution occurs; during contact the spin Hamiltonian is non-zero, inducing a unitary transformation.
“When the spins are not in contact, the Hamiltonian H spin of the spins is zero, and no time evolution occurs. During the time that the spins are in contact, H spin ( t ) will be non-zero, inducing, according to the well-known laws of quantum mechanics [18], the unitary transformation”
Quote in the paperSubstantial claim0 of 1 sources checked- cites [18] [18] J. W. Negele and H. Orland, Quantum Many-Particle Systems , (Addison-Wesley, 1988), Eq. (2.11). -
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Classified as probably not a substantial claim. May combine two claims.
Interpretationreasoning§ IV. CONCLUSIONS · p. 15By spatially separating the EPR pair and performing single-spin measurements on the two, one would observe the space-like non-locality unique to quantum mechanics and learn crucial information about dephasing times for pairs of spins.
“By spatially separating this pair and performing single-spin measurements on the two, one would observe the space-like non-locality unique to quantum mechanics, and learn crucial information about dephasing times for pairs of spins.”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S3 (load-bearing), S4 (based).
Interpretationnone given§ Abstract · p. 1Two-bit quantum gates may be implemented by magnetic resonance operations applied to a pair of electronic or nuclear spins.
“Two-bit quantum gates may be implemented by magnetic resonance operations applied to a pair of electronic or nuclear spins.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
Interpretationreasoning§ B. Gearbox quantum computer · p. 7Since a swap is one of the simplest unitary operations, the state of any spin may be propagated arbitrarily far along an array of gears.
“Note that since one of the simplest unitary operations is a swap, the state of any spin may be propagated arbitrarily far along an array of gears.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing), S4 (based).
Interpretationnone given§ A. Why making a quantum computer is very, very difficult · p. 4The subsystem isolation required for quantum computation will probably only be achievable if the computer elements are themselves of atomic or near-atomic dimensions, where the computational state is the quantum state of a single atom.
“The kind of subsystem-isolation which quantum computation requires will probably only be achievable if the computer elements are themselves of atomic or near-atomic dimensions, where the computational state is the quantum state of a single atom.”
Quote in the paperNot a substantial claim
The paper relies on this without support.
Very long dephasing times for spins can be achieved in the gearbox by making the gear elements magnetically and electronically quiet.
“By making the gear elements very 'quiet' magnetically and electronically, it may be hoped that a very long dephasing time for the spins may be achieved.”
The paper relies on this without support.
Atomic spatial resolution and atomic contact between spins can be achieved in the gearbox.
“The teeth of the left-hand gear are shown in the shape of atomic-force microscope (AFM) tips, suggestive of the fact that atomic spatial resolution will be necessary in the meshing of the two gears, in order that the two spins may be brought into atomic contact.”
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
A wide variety of physical systems-ranging from nearest neighbor Ising models to quantum electrodynamics and conformal field theories-are known to be computationally universal.
“Although computational universality might at first seem to be a stringent demand on a physical system, a wide variety of physical systems - ranging from nearest neighbor Ising models 52 to quantum electrodynamics 84 and conformal field theories 86 - are known to be computationally universal 51 -53 , 55 -65 .”
From Ultimate physical limits to computation (2000) · cites this paper as [57]
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
Each contradiction between two passages listed here was confirmed by an independent check.
Dephasing time in seconds does not match years
MinorThe text gives the same dephasing time as 1010 seconds and 3 years. Ten billion seconds is about 317 years, not 3 years.
“10 10 seconds”
“(3 years)”
Cites
Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
Bennett, C. H., Brassard, G., Crépeau, C., Jozsa, R., Peres, A., & Wootters, W. K. (1993) · Physical Review Letters · doi:10.1103/physrevlett.70.1895 · Cited by 13,703 · see citing works
Rapid solution of problems by quantum computation
Deutsch, D., & Jozsa, R. (1992) · Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences · doi:10.1098/rspa.1992.0167 · Cited by 2,700 · see citing works
Lent, C. S., Tougaw, P. D., Porod, W., & Bernstein, G. H. (1993) · Nanotechnology · doi:10.1088/0957-4484/4/1/004 · Cited by 1,793 · see citing works
Strengths and Weaknesses of Quantum Computing
Bennett, C. H., Bernstein, E., Brassard, G., & Vazirani, U. (1997) · SIAM Journal on Computing · doi:10.1137/s0097539796300933 · Cited by 1,470 · see citing works
Bernstein, E., & Vazirani, U. (1993) · Proceedings of the twenty-fifth annual ACM symposium on Theory of computing - STOC '93 · doi:10.1145/167088.167097 · Cited by 1,284 · see citing works
Quantum computational networks
Deutsch, D. E. (1989) · Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences · doi:10.1098/rspa.1989.0099 · Cited by 1,270 · see citing works
Feynman, R. P. (1985) · Optics News · doi:10.1364/on.11.2.000011 · Cited by 1,023 · see citing works
Aharonov-Bohm effect in normal metal quantum coherence and transport
Washburn, S., & Webb, R. A. (1986) · Advances in Physics · doi:10.1080/00018738600101921 · Cited by 810 · see citing works
An atomic switch realized with the scanning tunnelling microscope
Eigler, D. M., Lutz, C. P., & Rudge, W. E. (1991) · Nature · doi:10.1038/352600a0 · Cited by 785 · see citing works
A Potentially Realizable Quantum Computer
Lloyd, S. (1993) · Science · doi:10.1126/science.261.5128.1569 · Cited by 649 · see citing works
Quantum mechanical Hamiltonian models of Turing machines
Benioff, P. (1982) · Journal of Statistical Physics · doi:10.1007/bf01342185 · Cited by 402 · see citing works
Mechanical detection of magnetic resonance
Rugar, D., Yannoni, C. S., & Sidles, J. A. (1992) · Nature · doi:10.1038/360563a0 · Cited by 399 · see citing works
Ultraslow optical dephasing in Eu 3 + : Y 2 SiO 5
Equall, R. W., Sun, Y., Cone, R. L., et al. (1994) · Physical Review Letters · doi:10.1103/physrevlett.72.2179 · Cited by 257 · see citing works
Temperature dependence of the normal-metal Aharonov-Bohm effect
Washburn, S., Umbach, C. P., Laibowitz, R. B., et al. (1985) · Physical review. B, Condensed matter · doi:10.1103/physrevb.32.4789 · Cited by 134 · see citing works
Laser cooling and quantum jumps of a single indium ion
Peik, E., Hollemann, G., & WALTHER, H. (1994) · Physical Review A · doi:10.1103/physreva.49.402 · Cited by 104 · see citing works
First images from a magnetic resonance force microscope
Züger, O., & Rugar, D. (1993) · Applied Physics Letters · doi:10.1063/1.110460 · Cited by 97 · see citing works
Structural basis of multistationary quantum systems. II. Effective few-particle dynamics
Teich, W. G., Obermayer, K., & Mahler, G. (1988) · Physical Review B · doi:10.1103/physrevb.37.8111 · Cited by 64 · see citing works
Envisioning a Quantum Supercomputer
Lloyd, S. (1994) · Science · doi:10.1126/science.263.5147.695 · Cited by 60 · see citing works
Quantum computer on a class of one-dimensional Ising systems
Berman, G. P., Doolen, G. D., Holm, D. D., & Tsifrinovich, V. I. (1994) · Physics Letters A · doi:10.1016/0375-9601(94)90537-1 · Cited by 56 · see citing works
Structural basis of multistationary quantum systems. I. Effective single-particle dynamics
Obermayer, K., Teich, W. G., & Mahler, G. (1988) · Physical Review B · doi:10.1103/physrevb.37.8096 · Cited by 48 · see citing works
Chupp, T. E., Oteiza, E. R., Richardson, J. M., & White, T. R. (1988) · Physical Review A · doi:10.1103/physreva.38.3998 · Cited by 41 · see citing works
Chupp, T. E., & Coulter, K. P. (1985) · Physical Review Letters · doi:10.1103/physrevlett.55.1074 · Cited by 38 · see citing works
The low-temperature analysis of narrow GaAs/AlGaAs heterojunction wires
Bird, J. P., Grassie, A. D. C., Lakrimi, M., Hutchings, K. M., Meeson, P., Harris, J. J., & Foxon, C. T. (1991) · Journal of Physics: Condensed Matter · doi:10.1088/0953-8984/3/17/007 · Cited by 24 · see citing works
Flagged first, then by citations
Research works printed but not linked: 11
- E. Bernstein, 1993, Proceedings of the 25th Annual ACM Symposium on the Theory of Computing
- P. Shor, 1994, Proceedings of the 35th Annual Symposium on the Foundations of Computer Science
- D. R. Simon, Proceedings of the 35th Annual Symposium on the Foundations of Computer Science
- A. Abragham, 1961, The Principles of Nuclear Magnetism
- C. P. Slichter, 1992, Principles of Magnetic Resonance, 3rd ed.
- A. C. C. Yao, 1993, Proceedings of the 34th Annual Symposium on the Foundations of Computer Science
- J. Mathews, 1970, Mathematical Methods of Physics, 2nd ed.
- J. D. Talman, 1968, Special Functions, A Group Theoretic Approach
- A. Berthiaume, Proceedings of the Workshop on Physics and Computation
- A. Peres, 1993, Quantum Theory: Concepts and Methods
- R. M. Eisberg, 1974, Quantum Physics of Molecules, Solids, Nuclei, and Particles
Cited by
Sorted by citations
Algorithms for quantum computation: discrete logarithms and factoring
Shor, P. W. (2002) · Proceedings 35th Annual Symposium on Foundations of Computer Science · doi:10.1109/sfcs.1994.365700 · Cited by 8,713 · see citing works
Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer
Shor, P. W. (1997) · SIAM Journal on Computing · doi:10.1137/s0097539795293172 · Cited by 8,472 · see citing works
Scheme for reducing decoherence in quantum computer memory
Shor, P. W. (1995) · Physical Review A · doi:10.1103/physreva.52.r2493 · Cited by 4,479 · see citing works
Elementary gates for quantum computation
Barenco, A., Bennett, C. H., Cleve, R., DiVincenzo, D. P., Margolus, N., Shor, P., Sleator, T., Smolin, J. A., & Weinfurter, H. (1995) · Physical Review A · doi:10.1103/physreva.52.3457 · Cited by 4,311 · see citing works
Self-citationPolynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer
Shor, P. W. (1999) · SIAM Review · doi:10.1137/s0036144598347011 · Cited by 3,904 · see citing works
A silicon-based nuclear spin quantum computer
Kane, B. E. (1998) · Nature · doi:10.1038/30156 · Cited by 3,779 · see citing works
Quantum Computations with Cold Trapped Ions
Cirac, J. I., & Zoller, P. (1995) · Physical Review Letters · doi:10.1103/physrevlett.74.4091 · Cited by 3,733 · see citing works
Lloyd, S. (1996) · Science · doi:10.1126/science.273.5278.1073 · Cited by 3,088 · see citing works
Good quantum error-correcting codes exist
Calderbank, A. R., & Shor, P. W. (1996) · Physical Review A · doi:10.1103/physreva.54.1098 · Cited by 2,516 · see citing works
DiVincenzo, D. P. (1995) · Science · doi:10.1126/science.270.5234.255 · Cited by 1,651 · see citing works
Self-citationQuantum computational chemistry
McArdle, S., Endo, S., Aspuru-Guzik, A., Benjamin, S. C., & Yuan, X. (2020) · Reviews of Modern Physics · doi:10.1103/revmodphys.92.015003 · Cited by 1,621 · see citing works
Demonstration of a Fundamental Quantum Logic Gate
Monroe, C., Meekhof, D. M., King, B. E., Itano, W. M., & Wineland, D. J. (1995) · Physical Review Letters · doi:10.1103/physrevlett.75.4714 · Cited by 1,586 · see citing works
Bulk Spin-Resonance Quantum Computation
Gershenfeld, N. A., & Chuang, I. L. (1997) · Science · doi:10.1126/science.275.5298.350 · Cited by 1,528 · see citing works
Quantum computation and Shor's factoring algorithm
Ekert, A., & Jozsa, R. (1996) · Reviews of Modern Physics · doi:10.1103/revmodphys.68.733 · Cited by 1,354 · see citing works
Trapped-ion quantum computing: Progress and challenges
Bruzewicz, C. D., Chiaverini, J., McConnell, R., & Sage, J. M. (2019) · Applied Physics Reviews · doi:10.1063/1.5088164 · Cited by 1,483 · see citing works
Bernstein, E., & Vazirani, U. (1993) · Proceedings of the twenty-fifth annual ACM symposium on Theory of computing - STOC '93 · doi:10.1145/167088.167097 · Cited by 1,284 · see citing works
Multiple-particle interference and quantum error correction
(1996) · Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences · doi:10.1098/rspa.1996.0136 · Cited by 1,284 · see citing works
Ultimate physical limits to computation
Lloyd, S. (2000) · Nature · doi:10.1038/35023282 · Cited by 1,120 · see citing works
Zanardi, P., & Rasetti, M. (1999) · Physics Letters A · doi:10.1016/s0375-9601(99)00803-8 · Cited by 1,006 · see citing works
Quantum computers and dissipation
(1996) · Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences · doi:10.1098/rspa.1996.0029 · Cited by 899 · see citing works
Entanglement of Atoms via Cold Controlled Collisions
Jaksch, D., Briegel, H.-J., Cirac, J. I., Gardiner, C. W., & Zoller, P. (1999) · Physical Review Letters · doi:10.1103/physrevlett.82.1975 · Cited by 795 · see citing works
Materials challenges and opportunities for quantum computing hardware
de Leon, N. P., Itoh, K. M., Kim, D., Mehta, K. K., Northup, T. E., Paik, H., Palmer, B. S., Samarth, N., Sangtawesin, S., & Steuerman, D. W. (2021) · Science · doi:10.1126/science.abb2823 · Cited by 710 · see citing works
Fault-tolerant quantum computation with constant error
Aharonov, D., & Ben-Or, M. (1997) · Proceedings of the twenty-ninth annual ACM symposium on Theory of computing - STOC '97 · doi:10.1145/258533.258579 · Cited by 631 · see citing works
From quantum cellular automata to quantum lattice gases
Meyer, D. A. (1996) · Journal of Statistical Physics · doi:10.1007/bf02199356 · Cited by 556 · see citing works
Observable Measure of Quantum Coherence in Finite Dimensional Systems
Girolami, D. (2014) · Physical Review Letters · doi:10.1103/physrevlett.113.170401 · Cited by 537 · see citing works
Semiclassical Fourier Transform for Quantum Computation
Griffiths, R. B., & Niu, C.-S. (1996) · Physical Review Letters · doi:10.1103/physrevlett.76.3228 · Cited by 431 · see citing works
Entangling power of quantum evolutions
Zanardi, P., Zalka, C., & Faoro, L. (2000) · Physical Review A · doi:10.1103/physreva.62.030301 · Cited by 419 · see citing works
Geometric theory of nonlocal two-qubit operations
Zhang, J., Vala, J., Sastry, S., & Whaley, K. B. (2003) · Physical Review A · doi:10.1103/physreva.67.042313 · Cited by 415 · see citing works
Universal Fault-Tolerant Quantum Computation on Decoherence-Free Subspaces
Bacon, D., Kempe, J., Lidar, D. A., & Whaley, K. B. (2000) · Physical Review Letters · doi:10.1103/physrevlett.85.1758 · Cited by 362 · see citing works
Quantum algorithms for fermionic simulations
Ortiz, G., Gubernatis, J. E., Knill, E., & Laflamme, R. (2001) · Physical Review A · doi:10.1103/physreva.64.022319 · Cited by 347 · see citing works
Quantum algorithms for algebraic problems
Childs, A. M., & van Dam, W. (2010) · Reviews of Modern Physics · doi:10.1103/revmodphys.82.1 · Cited by 344 · see citing works
Resilient quantum computation: error models and thresholds
Knill, E., Laflamme, R., & Zurek, W. H. (1998) · Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences · doi:10.1098/rspa.1998.0166 · Cited by 346 · see citing works
Optical simulation of quantum logic
Cerf, N. J., Adami, C., & Kwiat, P. G. (1998) · Physical Review A · doi:10.1103/physreva.57.r1477 · Cited by 324 · see citing works
Quantum Circuits That Can Be Simulated Classically in Polynomial Time
Valiant, L. G. (2002) · SIAM Journal on Computing · doi:10.1137/s0097539700377025 · Cited by 311 · see citing works
Bulk quantum computation with nuclear magnetic resonance: theory and experiment
Chuang, I. L., Gershenfeld, N., Kubinec, M. G., & Leung, D. W. (1998) · Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences · doi:10.1098/rspa.1998.0170 · Cited by 316 · see citing works
Non-Abelian Berry connections for quantum computation
Pachos, J., Zanardi, P., & Rasetti, M. (1999) · Physical Review A · doi:10.1103/physreva.61.010305 · Cited by 316 · see citing works
Minimal universal two-qubit controlled-NOT-based circuits
Shende, V. V., Markov, I. L., & Bullock, S. S. (2004) · Physical Review A · doi:10.1103/physreva.69.062321 · Cited by 288 · see citing works
Quantum Computers, Factoring, and Decoherence
Chuang, I. L., Laflamme, R., Shor, P. W., & Zurek, W. H. (1995) · Science · doi:10.1126/science.270.5242.1633 · Cited by 289 · see citing works
Efficient networks for quantum factoring
Beckman, D., Chari, A. N., Devabhaktuni, S., & Preskill, J. (1996) · Physical Review A · doi:10.1103/physreva.54.1034 · Cited by 268 · see citing works
Quantum Simulations on a Quantum Computer
Somaroo, S., Tseng, C. H., Havel, T. F., Laflamme, R., & Cory, D. G. (1999) · Physical Review Letters · doi:10.1103/physrevlett.82.5381 · Cited by 180 · see citing works
Quantum information processing with trapped ions
Wineland, D. J., Barrett, M., Britton, J., Chiaverini, J., DeMarco, B., Itano, W. M., Jelenković, B., Langer, C., Leibfried, D., Meyer, V., et al. (2003) · Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences · doi:10.1098/rsta.2003.1205 · Cited by 174 · see citing works
Clark, C. R., Tinkey, H. N., Sawyer, B. C., Meier, A. M., Burkhardt, K. A., Seck, C. M., Shappert, C. M., Guise, N. D., Volin, C. E., Fallek, S. D., et al. (2021) · Physical Review Letters · doi:10.1103/physrevlett.127.130505 · Cited by 165 · see citing works
Calculating the thermal rate constant with exponential speedup on a quantum computer
Lidar, D. A., & Wang, H. (1999) · Physical Review E · doi:10.1103/physreve.59.2429 · Cited by 115 · see citing works
Quantum communication for wireless wide-area networks
Cheng, S.-T., Wang, C.-Y., & Tao, M.-H. (2005) · IEEE Journal on Selected Areas in Communications · doi:10.1109/jsac.2005.851157 · Cited by 109 · see citing works
Fast quantum modular exponentiation architecture for Shor's factoring alogrithm
Pavlidis, A., & Gizopoulos, D. (2014) · Quantum Information and Computation · doi:10.26421/qic14.7-8-8 · Cited by 38 · see citing works
- Authors
- DiVincenzo, D. P.
- Affiliations
- Cambridge Scientific (United States) (US)
- Corresponding author
- DiVincenzo, David P.
- ORCID
- DiVincenzo, David P.
- Venue
- Physical Review A
- Publisher
- American Physical Society (APS)
- Published
- 1995-02-01
- Volume
- 51
- Issue
- 2
- Pages
- 1015-1022
- ISSN
- 0556-2791 (ISSN-L)
- 1050-2947
- 1094-1622
- OpenAlex
- W1993248778
- Semantic Scholar
- 2c9a9dfadf7a6c1b05811a4052a15498fd9c1e9a
- Cited by
- 1,069
- References
- 23
- Citations by year
- 2026: 16 · 2025: 39 · 2024: 37 · 2023: 19 · 2022: 25 · 2021: 33 · 2020: 29 · 2019: 29 · 2018: 21 · 2017: 13 · 2016: 22 · 2015: 31 · 2014: 34 · 2013: 30 · 2012: 29
- FWCI
- 47.05
- Type
- journal article
- Language
- en
- Open access
- green
- arxiv.org
- Locations
- Physical Review A (publishedVersion)
- PubMed (publishedVersion)
- arXiv (Cornell University) (submittedVersion)
- arXiv (Cornell University)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Quantum Computing Algorithms and Architecture
- Physical Sciences › Computer Science › Artificial Intelligence › Quantum Information and Cryptography
- Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Quantum Mechanics and Applications
- Keywords
- two-qubit gates, quantum computing, commutator algebra, Toffoli gate, magnetic resonance, nuclear spin, electron spin, atomic force microscopy, quantum phase coherence, Einstein-Podolsky-Rosen states, entangled states
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Claims read by deepseek-v4.1-flash under definition version 3 (extract-v3) on 2026-10-06.
Classified by jev-1.13-20260917 (gold-guideline-v0.2) on 2026-10-06.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review