This article deals with the limitations which the quantized nature of microscopic systems imposes on the possibility of measuring distances between space-time events. It is proposed to use only clocks for measuring space-time distances and to avoid the use of measuring rods which are essentially macrophysical objects. The accuracy of reading a clock with a given mass is considered and examples for microphysical clocks are given. It is shown that the mass of the clock, and the uncertainty (spread) of this quantity, exceed certain values which depend on the accuracy with which the time interval is to be measured, the magnitude of this time interval (the running time of the clock) and the size of the clock. The minimum mass uncertainty of the clock is given by Heisenberg's relation; the minimum mass itself is higher by the ratio of the running time and the accuracy.If the possibility of constructing states whose wave functions are Gaussian wave packets is admitted, the mass and the mass uncertainty of the clock differs only by logarithmic factors from the uncertainties which follow from general principles of quantum mechanics. The masses are much higher if the possibility of constructing arbitrary wave packets is not admitted.
Inspired by the work of Wheeler among others, we have studied the problem of quantum measurements of space-time distances by applying the general principles of quantum mechanics as well as those of general relativity. Contrary to the folklore, the minimum error in the measurement of a length is shown to be proportional to the one-third power of the length itself. This uncertainty in space-time measurements implies an uncertainty of the space-time metric and yields quantum decoherence for particles heavier than the Planck mass. There is also a corresponding minimum error in energy-momentum measurements.
Driven by exploring the power of quantum computation with a limited number of qubits, we present a novel complete characterization for space-bounded quantum computation, which encompasses settings with one-sided error (unitary
coRQL) and two-sided error (
BQL), approached from a quantum state testing perspective: - The first family of natural complete problems for unitary
coRQL, namely space-bounded quantum state certification for trace distance and Hilbert-Schmidt distance; - A new family of natural complete problems for
BQL, namely space-bounded quantum state testing for trace distance, Hilbert-Schmidt distance, and (von Neumann) entropy difference. In the space-bounded quantum state testing problem, we consider two logarithmic-qubit quantum circuits (devices) denoted as
Q0 and
Q1, which prepare quantum states
ρ0 and
ρ1, respectively, with access to their ``source code''. Our goal is to decide whether
ρ0 is
ε1-close to or
ε2-far from
ρ1 with respect to a specified distance-like measure. Interestingly, unlike time-bounded state testing problems, which exhibit computational hardness depending on the chosen distance-like measure, our results reveal that the space-bounded state testing problems, considering all three measures, are computationally as easy as preparing quantum states. Our results primarily build upon a space-efficient variant of the quantum singular value transformation (QSVT) introduced by Gilyén, Su, Low, and Wiebe (STOC 2019), which is of independent interest. Our technique provides a unified approach for designing space-bounded quantum algorithms. Specifically, we show that implementing QSVT for any bounded polynomial that approximates a piecewise-smooth function incurs only a constant overhead in terms of the space required for special forms of the projected unitary encoding.