F. Hadi Madjid — Page 2

arXiv2000

Contact between laboratory instruments and equations of quantum mechanics

Ambiguity in the contact between laboratory instruments and equations of quantum mechanics is formulated in terms of responses of the instruments to commands transmitted to them by a Classical digital Process-control Computer (CPC); in this way instruments are distinguished from quantum-mechanical models (sets of equations) that specify what is desired of the instruments. Results include: (1) a formulation of quantum mechanics adapted to computer-controlled instruments; (2) a lower bound on the precision of unitary transforms required for quantum searching and a lower bound on sample size needed to show that instruments implement a desired model at that precision; (3) a lower bound on precision of timing required of a CPC in directing instruments; (4) a demonstration that guesswork is necessary in ratcheting up the precision of commands.

quant-ph↗

arXiv2000

A proof that measured data and equations of quantum mechanics can be linked only by guesswork

The design and operation of a quantum-mechanical device as a laboratory instrument puts models written in equations of quantum mechanics in contact with instruments. This contact is recordable in files of a Classical Digital Process-control Computer (CPC) used both to calculate with the equations and to manage the instruments. By noticing that equations and instruments make contact in a CPC, we rewrite equations of quantum mechanics to explicitly include functions of CPC-commands to the instruments. This sets up a proof that a scientist's choice in linking mathematical models to instruments is unresolvable without guesswork to narrow the set of models from which one is to be chosen. As for implications of the proof, scientists inherit choices from the past and frame choices for the future, choices open to guesswork and visible in CPC files. To picture these choices, we adapt colored Petri nets, and the availability of these net fragments makes choice and guesswork part and parcel of physics. Net fragments as a means of expressing guess-demanding choices are applied to portray guesswork needed in testing and calibrating a quantum computer. The sample size required to test a quantum gate in a quantum computer is shown to grow as the inverse square of the error allowed in implementing the gate.

quant-ph↗