Quantum speed limit

Last updated May 02, 2024

In quantum mechanics, a quantum speed limit (QSL) is a limitation on the minimum time for a quantum system to evolve between two distinguishable (orthogonal) states.^[1] QSL theorems are closely related to time-energy uncertainty relations. In 1945, Leonid Mandelstam and Igor Tamm derived a time-energy uncertainty relation that bounds the speed of evolution in terms of the energy dispersion.^[2] Over half a century later, Norman Margolus and Lev Levitin showed that the speed of evolution cannot exceed the mean energy,^[3] a result known as the Margolus–Levitin theorem. Realistic physical systems in contact with an environment are known as open quantum systems and their evolution is also subject to QSL.^[4]^[5] Quite remarkably it was shown that environmental effects, such as non-Markovian dynamics can speed up quantum processes,^[6] which was verified in a cavity QED experiment.^[7]

QSL have been used to explore the limits of computation ^[8]^[9] and complexity. In 2017, QSLs were studied in a quantum oscillator at high temperature.^[10] In 2018, it was shown that QSL are not restricted to the quantum domain and that similar bounds hold in classical systems.^[11]^[12] In 2021, both the Mandelstam-Tamm and the Margolus–Levitin QSL bounds were concurrently tested in a single experiment^[13] which indicated there are "two different regimes: one where the Mandelstam-Tamm limit constrains the evolution at all times, and a second where a crossover to the Margolus-Levitin limit occurs at longer times."

Preliminary definitions

The speed limit theorems can be stated for pure states, and for mixed states; they take a simpler form for pure states. An arbitrary pure state can be written as a linear combination of energy eigenstates:

|\psi \rangle =\sum _{n}c_{n}|E_{n}\rangle .

The task is to provide a lower bound for the time interval $t_{\perp }$ required for the initial state $|\psi \rangle$ to evolve into a state orthogonal to $|\psi \rangle$ . The time evolution of a pure state is given by the Schrödinger equation:

|\psi _{t}\rangle =\sum _{n}c_{n}e^{itE_{n}/\hbar }|E_{n}\rangle .

Orthogonality is obtained when

\langle \psi _{0}|\psi _{t}\rangle =0

and the minimum time interval $t=t_{\perp }$ required to achieve this condition is called the orthogonalization interval^[2] or orthogonalization time.^[14]

Mandelstam–Tamm limit

For pure states, the Mandelstam–Tamm theorem states that the minimum time $t_{\perp }$ required for a state to evolve into an orthogonal state is bounded below:

t_{\perp }\geq {\frac {\pi \hbar }{2\,\delta E}}={\frac {h}{4\,\delta E}}

,

where

(\delta E)^{2}=\left\langle \psi |H^{2}|\psi \right\rangle -(\left\langle \psi |H|\psi \right\rangle )^{2}={\frac {1}{2}}\sum _{n,m}|c_{n}|^{2}|c_{m}|^{2}(E_{n}-E_{m})^{2}

,

is the variance of the system's energy and $H$ is the Hamiltonian operator. The quantum evolution is independent of the particular Hamiltonian used to transport the quantum system along a given curve in the projective Hilbert space; the distance along this curve is measured by the Fubini–Study metric.^[15] This is sometimes called the quantum angle, as it can be understood as the arccos of the inner product of the initial and final states.

For mixed states

The Mandelstam–Tamm limit can also be stated for mixed states and for time-varying Hamiltonians. In this case, the Bures metric must be employed in place of the Fubini–Study metric. A mixed state can be understood as a sum over pure states, weighted by classical probabilities; likewise, the Bures metric is a weighted sum of the Fubini–Study metric. For a time-varying Hamiltonian $H_{t}$ and time-varying density matrix $\rho _{t},$ the variance of the energy is given by

\sigma _{H}^{2}(t)=|{\text{tr}}(\rho _{t}H_{t}^{2})|-|{\text{tr}}(\rho _{t}H_{t})|^{2}

The Mandelstam–Tamm limit then takes the form

\int _{0}^{\tau }\sigma _{H}(t)dt\geq \hbar D_{B}(\rho _{0},\rho _{\tau })

,

where $D_{B}$ is the Bures distance between the starting and ending states. The Bures distance is geodesic, giving the shortest possible distance of any continuous curve connecting two points, with $\sigma _{H}(t)$ understood as an infinitessimal path length along a curve parametrized by $t.$ Equivalently, the time $\tau$ taken to evolve from $\rho$ to $\rho '$ is bounded as

\tau \geq {\frac {\hbar }{{\overline {\sigma }}_{H}}}D_{B}(\rho ,\rho ')

where

{\overline {\sigma }}_{H}={\frac {1}{\tau }}\int _{0}^{\tau }\sigma _{H}(t)dt

is the time-averaged uncertainty in energy. For a pure state evolving under a time-varying Hamiltonian, the time $\tau$ taken to evolve from one pure state to another pure state orthogonal to it is bounded as^[16]

\tau \geq {\frac {\hbar }{{\overline {\sigma }}_{H}}}{\frac {\pi }{2}}

This follows, as for a pure state, one has the density matrix $\rho _{t}=|\psi _{t}\rangle \langle \psi _{t}|.$ The quantum angle (Fubini–Study distance) is then $D_{B}(\rho _{0},\rho _{t})=\arccos |\langle \psi _{0}|\psi _{t}\rangle |$ and so one concludes $D_{B}=\arccos 0=\pi /2$ when the initial and final states are orthogonal.

Margolus–Levitin limit

For the case of a pure state, Margolus and Levitin^[3] obtain a different limit, that

\tau _{\perp }\geq {\frac {h}{4\langle E\rangle }},

where $\langle E\rangle$ is the average energy,

\langle E\rangle =E_{\text{avg}}=\langle \psi |H|\psi \rangle =\sum _{n}|c_{n}|^{2}E_{n}.

This form applies when the Hamiltonian is not time-dependent, and the ground-state energy is defined to be zero.

For time-varying states

The Margolus–Levitin theorem can also be generalized to the case where the Hamiltonian varies with time, and the system is described by a mixed state.^[16] In this form, it is given by

\int _{0}^{\tau }|{\text{tr}}(\rho _{t}H_{t})|dt\geq \hbar D_{B}(\rho _{0},\rho _{\tau })

with the ground-state defined so that it has energy zero at all times.

This provides a result for time varying states. Although it also provides a bound for mixed states, the bound (for mixed states) can be so loose as to be uninformative.^[17] The Margolus–Levitin theorem has not yet been established in time-dependent quantum systems, whose Hamiltonians $H_{t}$ are driven by arbitrary time-dependent parameters, except for the adiabatic case.^[18]

Levitin–Toffoli limit

A 2009 result by Lev B. Levitin and Tommaso Toffoli states that the precise bound for the Mandelstam–Tamm theorem is attained only for a qubit state.^[14] This is a two-level state in an equal superposition

\left|\psi _{q}\right\rangle ={\frac {1}{\sqrt {2}}}\left(\left|E_{0}\right\rangle +e^{i\varphi }\left|E_{1}\right\rangle \right)

for energy eigenstates $E_{0}=0$ and $E_{1}=\pm \pi \hbar /\Delta t$ . The states $\left|E_{0}\right\rangle$ and $\left|E_{1}\right\rangle$ are unique up to degeneracy of the energy level $E_{1}$ and an arbitrary phase factor $\varphi .$ This result is sharp, in that this state also satisfies the Margolus–Levitin bound, in that $E_{\text{avg}}=\delta E$ and so $t_{\perp }=\hbar \pi /2E_{\text{avg}}=\hbar \pi /2\delta E.$ This result establishes that the combined limits are strict:

t_{\perp }\geq \max \left({\frac {\pi \hbar }{2\,\delta E}}\;,\;{\frac {\pi \hbar }{2\,E_{\text{avg}}}}\right)

Levitin and Toffoli also provide a bound for the average energy in terms of the maximum. For any pure state $\left|\psi \right\rangle ,$ the average energy is bounded as

{\frac {E_{\text{max}}}{4}}\leq E_{\text{avg}}\leq {\frac {E_{\text{max}}}{2}}

where $E_{\text{max}}$ is the maximum energy eigenvalue appearing in $\left|\psi \right\rangle .$ (This is the quarter-pinched sphere theorem in disguise, transported to complex projective space.) Thus, one has the bound

{\frac {\pi \hbar }{E_{\text{max}}}}\leq t_{\perp }\leq {\frac {2\pi \hbar }{E_{\text{max}}}}

The strict lower bound $E_{\text{max}}t_{\perp }=\pi \hbar$ is again attained for the qubit state $\left|\psi _{q}\right\rangle$ with $E_{\text{max}}=E_{1}$ .

Bremermann's limit

The quantum speed limit bounds establish an upper bound at which computation can be performed. Computational machinery is constructed out of physical matter that follows quantum mechanics, and each operation, if it is to be unambiguous, must be a transition of the system from one state to an orthogonal state. Suppose the computing machinery is a physical system evolving under Hamiltonian that does not change with time. Then, according to the Margolus–Levitin theorem, the number of operations per unit time per unit energy is bounded above by

{\frac {2}{\hbar \pi }}=6\times 10^{33}\mathrm {s} ^{-1}\cdot \mathrm {J} ^{-1}

This establishes a strict upper limit on the number of calculations that can be performed by physical matter. The processing rate of all forms of computation cannot be higher than about 6 × 10³³ operations per second per joule of energy. This is including "classical" computers, since even classical computers are still made of matter that follows quantum mechanics.^[19]^[20]

This bound is not merely a fanciful limit: it has practical ramifications for quantum-resistant cryptography. Imagining a computer operating at this limit, a brute-force search to break a 128-bit encryption key requires only modest resources. Brute-forcing a 256-bit key requires planetary-scale computers, while a brute-force search of 512-bit keys is effectively unattainable within the lifetime of the universe, even if galactic-sized computers were applied to the problem.

The Bekenstein bound limits the amount of information that can be stored within a volume of space. The maximal rate of change of information within that volume of space is given by the quantum speed limit. This product of limits is sometimes called the Bremermann–Bekenstein limit; it is saturated by Hawking radiation.^[1] That is, Hawking radiation is emitted at the maximal allowed rate set by these bounds.

Related Research Articles

The uncertainty principle, also known as Heisenberg's indeterminacy principle, is a fundamental concept in quantum mechanics. It states that there is a limit to the precision with which certain pairs of physical properties, such as position and momentum, can be simultaneously known. In other words, the more accurately one property is measured, the less accurately the other property can be known.

The Schrödinger equation is a linear partial differential equation that governs the wave function of a quantum-mechanical system. Its discovery was a significant landmark in the development of quantum mechanics. It is named after Erwin Schrödinger, who postulated the equation in 1925 and published it in 1926, forming the basis for the work that resulted in his Nobel Prize in Physics in 1933.

In quantum mechanics, a density matrix is a matrix that describes the quantum state of a physical system. It allows for the calculation of the probabilities of the outcomes of any measurement performed upon this system, using the Born rule. It is a generalization of the more usual state vectors or wavefunctions: while those can only represent pure states, density matrices can also represent mixed states. Mixed states arise in quantum mechanics in two different situations:

when the preparation of the system is not fully known, and thus one must deal with a statistical ensemble of possible preparations, and
when one wants to describe a physical system that is entangled with another, without describing their combined state; this case is typical for a system interacting with some environment.

In physics, the CHSH inequality can be used in the proof of Bell's theorem, which states that certain consequences of entanglement in quantum mechanics cannot be reproduced by local hidden-variable theories. Experimental verification of the inequality being violated is seen as confirmation that nature cannot be described by such theories. CHSH stands for John Clauser, Michael Horne, Abner Shimony, and Richard Holt, who described it in a much-cited paper published in 1969. They derived the CHSH inequality, which, as with John Stewart Bell's original inequality, is a constraint—on the statistical occurrence of "coincidences" in a Bell test—which is necessarily true if an underlying local hidden-variable theory exists. In practice, the inequality is routinely violated by modern experiments in quantum mechanics.

Quantum decoherence is the loss of quantum coherence, the process in which a system's behaviour changes from that which can be explained by quantum mechanics to that which can be explained by classical mechanics. Beginning out of attempts to extend the understanding of quantum mechanics, the theory has developed in several directions and experimental studies have confirmed some of the key issues. Quantum computing relies on quantum coherence and is the primary practical applications of the concept.

In quantum physics, a measurement is the testing or manipulation of a physical system to yield a numerical result. A fundamental feature of quantum theory is that the predictions it makes are probabilistic. The procedure for finding a probability involves combining a quantum state, which mathematically describes a quantum system, with a mathematical representation of the measurement to be performed on that system. The formula for this calculation is known as the Born rule. For example, a quantum particle like an electron can be described by a quantum state that associates to each point in space a complex number called a probability amplitude. Applying the Born rule to these amplitudes gives the probabilities that the electron will be found in one region or another when an experiment is performed to locate it. This is the best the theory can do; it cannot say for certain where the electron will be found. The same quantum state can also be used to make a prediction of how the electron will be moving, if an experiment is performed to measure its momentum instead of its position. The uncertainty principle implies that, whatever the quantum state, the range of predictions for the electron's position and the range of predictions for its momentum cannot both be narrow. Some quantum states imply a near-certain prediction of the result of a position measurement, but the result of a momentum measurement will be highly unpredictable, and vice versa. Furthermore, the fact that nature violates the statistical conditions known as Bell inequalities indicates that the unpredictability of quantum measurement results cannot be explained away as due to ignorance about "local hidden variables" within quantum systems.

In quantum physics, Fermi's golden rule is a formula that describes the transition rate from one energy eigenstate of a quantum system to a group of energy eigenstates in a continuum, as a result of a weak perturbation. This transition rate is effectively independent of time and is proportional to the strength of the coupling between the initial and final states of the system as well as the density of states. It is also applicable when the final state is discrete, i.e. it is not part of a continuum, if there is some decoherence in the process, like relaxation or collision of the atoms, or like noise in the perturbation, in which case the density of states is replaced by the reciprocal of the decoherence bandwidth.

<span class="mw-page-title-main">Pilot wave theory</span> One interpretation of quantum mechanics

In theoretical physics, the pilot wave theory, also known as Bohmian mechanics, was the first known example of a hidden-variable theory, presented by Louis de Broglie in 1927. Its more modern version, the de Broglie–Bohm theory, interprets quantum mechanics as a deterministic theory, and avoids issues such as wave–particle duality, instantaneous wave function collapse, and the paradox of Schrödinger's cat by being inherently nonlocal.

In physics, the Bekenstein bound is an upper limit on the thermodynamic entropy S, or Shannon entropy H, that can be contained within a given finite region of space which has a finite amount of energy—or conversely, the maximal amount of information required to perfectly describe a given physical system down to the quantum level. It implies that the information of a physical system, or the information necessary to perfectly describe that system, must be finite if the region of space and the energy are finite. In computer science this implies that non-finite models such as Turing machines are not realizable as finite devices.

Bremermann's limit, named after Hans-Joachim Bremermann, is a limit on the maximum rate of computation that can be achieved in a self-contained system in the material universe. It is derived from Einstein's mass-energy equivalency and the Heisenberg uncertainty principle, and is c²/h ≈ 1.3563925 × 10⁵⁰ bits per second per kilogram.

The Wigner quasiprobability distribution is a quasiprobability distribution. It was introduced by Eugene Wigner in 1932 to study quantum corrections to classical statistical mechanics. The goal was to link the wavefunction that appears in Schrödinger's equation to a probability distribution in phase space.

In functional analysis and quantum information science, a positive operator-valued measure (POVM) is a measure whose values are positive semi-definite operators on a Hilbert space. POVMs are a generalization of projection-valued measures (PVM) and, correspondingly, quantum measurements described by POVMs are a generalization of quantum measurement described by PVMs.

The quantum potential or quantum potentiality is a central concept of the de Broglie–Bohm formulation of quantum mechanics, introduced by David Bohm in 1952.

The Ghirardi–Rimini–Weber theory (GRW) is a spontaneous collapse theory in quantum mechanics, proposed in 1986 by Giancarlo Ghirardi, Alberto Rimini, and Tullio Weber.

In the context of quantum mechanics and quantum information theory, symmetric, informationally complete, positive operator-valued measures (SIC-POVMs) are a particular type of generalized measurement (POVM). SIC-POVMs are particularly notable thanks to their defining features of (1) being informationally complete; (2)having the minimal number of outcomes compatible with informational completeness, and (3) being highly symmetric. In this context, informational completeness is the property of a POVM of allowing to fully reconstruct input states from measurement data.

In quantum mechanics, and especially quantum information theory, the purity of a normalized quantum state is a scalar defined as

An LC circuit can be quantized using the same methods as for the quantum harmonic oscillator. An LC circuit is a variety of resonant circuit, and consists of an inductor, represented by the letter L, and a capacitor, represented by the letter C. When connected together, an electric current can alternate between them at the circuit's resonant frequency:

The Koopman–von Neumann (KvN) theory is a description of classical mechanics as an operatorial theory similar to quantum mechanics, based on a Hilbert space of complex, square-integrable wavefunctions. As its name suggests, the KvN theory is loosely related to work by Bernard Koopman and John von Neumann in 1931 and 1932, respectively. As explained in this entry, however, the historical origins of the theory and its name are complicated.

In quantum probability, the Belavkin equation, also known as Belavkin-Schrödinger equation, quantum filtering equation, stochastic master equation, is a quantum stochastic differential equation describing the dynamics of a quantum system undergoing observation in continuous time. It was derived and henceforth studied by Viacheslav Belavkin in 1988.

The quantum Fisher information is a central quantity in quantum metrology and is the quantum analogue of the classical Fisher information. It is one of the central quantities used to qualify the utility of an input state, especially in Mach–Zehnder interferometer-based phase or parameter estimation. It is shown that the quantum Fisher information can also be a sensitive probe of a quantum phase transition. The quantum Fisher information $of a state with respect to the observable is defined as$

References

1 2 Deffner, S.; Campbell, S. (10 October 2017). "Quantum speed limits: from Heisenberg's uncertainty principle to optimal quantum control". J. Phys. A: Math. Theor. 50 (45): 453001. arXiv: 1705.08023 . Bibcode:2017JPhA...50S3001D. doi:10.1088/1751-8121/aa86c6. S2CID 3477317.
1 2 Mandelshtam, L. I.; Tamm, I. E. (1945). "The uncertainty relation between energy and time in nonrelativistic quantum mechanics". J. Phys. (USSR) . 9: 249–254. Reprinted as Mandelstam, L.; Tamm, Ig. (1991). "The Uncertainty Relation Between Energy and Time in Non-relativistic Quantum Mechanics". In Bolotovskii, Boris M.; Frenkel, Victor Ya.; Peierls, Rudolf (eds.). Selected Papers. Berlin, Heidelberg: Springer. pp. 115–123. doi:10.1007/978-3-642-74626-0_8. ISBN 978-3-642-74628-4 . Retrieved 2024-04-06.
1 2 Margolus, Norman; Levitin, Lev B. (September 1998). "The maximum speed of dynamical evolution". Physica D: Nonlinear Phenomena . 120 (1–2): 188–195. arXiv: quant-ph/9710043 . Bibcode:1998PhyD..120..188M. doi:10.1016/S0167-2789(98)00054-2. S2CID 468290.
↑ Taddei, M. M.; Escher, B. M.; Davidovich, L.; de Matos Filho, R. L. (30 January 2013). "Quantum Speed Limit for Physical Processes". Physical Review Letters . 110 (5): 050402. arXiv: 1209.0362 . Bibcode:2013PhRvL.110e0402T. doi:10.1103/PhysRevLett.110.050402. PMID 23414007. S2CID 38373815.
↑ del Campo, A.; Egusquiza, I. L.; Plenio, M. B.; Huelga, S. F. (30 January 2013). "Quantum Speed Limits in Open System Dynamics". Physical Review Letters . 110 (5): 050403. arXiv: 1209.1737 . Bibcode:2013PhRvL.110e0403D. doi:10.1103/PhysRevLett.110.050403. PMID 23414008. S2CID 8362503.
↑ Deffner, S.; Lutz, E. (3 July 2013). "Quantum speed limit for non-Markovian dynamics". Physical Review Letters . 111 (1): 010402. arXiv: 1302.5069 . Bibcode:2013PhRvL.111a0402D. doi:10.1103/PhysRevLett.111.010402. PMID 23862985. S2CID 36711861.
↑ Cimmarusti, A. D.; Yan, Z.; Patterson, B. D.; Corcos, L. P.; Orozco, L. A.; Deffner, S. (11 June 2015). "Environment-Assisted Speed-up of the Field Evolution in Cavity Quantum Electrodynamics". Physical Review Letters . 114 (23): 233602. arXiv: 1503.02591 . Bibcode:2015PhRvL.114w3602C. doi:10.1103/PhysRevLett.114.233602. PMID 26196802. S2CID 14904633.
↑ Lloyd, Seth (31 August 2000). "Ultimate physical limits to computation". Nature. 406 (6799): 1047–1054. arXiv: quant-ph/9908043 . Bibcode:2000Natur.406.1047L. doi:10.1038/35023282. ISSN 1476-4687. PMID 10984064. S2CID 75923.
↑ Lloyd, Seth (24 May 2002). "Computational Capacity of the Universe". Physical Review Letters . 88 (23): 237901. arXiv: quant-ph/0110141 . Bibcode:2002PhRvL..88w7901L. doi:10.1103/PhysRevLett.88.237901. PMID 12059399. S2CID 6341263.
↑ Deffner, S. (20 October 2017). "Geometric quantum speed limits: a case for Wigner phase space". New Journal of Physics . 19 (10): 103018. arXiv: 1704.03357 . Bibcode:2017NJPh...19j3018D. doi: 10.1088/1367-2630/aa83dc . hdl: 11603/19409 .
↑ Shanahan, B.; Chenu, A.; Margolus, N.; del Campo, A. (12 February 2018). "Quantum Speed Limits across the Quantum-to-Classical Transition". Physical Review Letters . 120 (7): 070401. arXiv: 1710.07335 . Bibcode:2018PhRvL.120g0401S. doi: 10.1103/PhysRevLett.120.070401 . PMID 29542956.
↑ Okuyama, Manaka; Ohzeki, Masayuki (12 February 2018). "Quantum Speed Limit is Not Quantum". Physical Review Letters . 120 (7): 070402. arXiv: 1710.03498 . Bibcode:2018PhRvL.120g0402O. doi:10.1103/PhysRevLett.120.070402. PMID 29542975. S2CID 4027745.
↑ Ness, Gal; Lam, Manolo R.; Alt, Wolfgang; Meschede, Dieter; Sagi, Yoav; Alberti, Andrea (22 December 2021). "Observing crossover between quantum speed limits". Science Advances. 7 (52): eabj9119. doi: 10.1126/sciadv.abj9119 . PMC 8694601 . PMID 34936463.
1 2 Lev B. Levitin; Tommaso Toffoli (2009), "Fundamental Limit on the Rate of Quantum Dynamics: The Unified Bound Is Tight", Physical Review Letters , 103 (16): 160502, arXiv: 0905.3417 , Bibcode:2009PhRvL.103p0502L, doi:10.1103/PhysRevLett.103.160502, ISSN 0031-9007, PMID 19905679, S2CID 36320152
↑ Aharonov, Yakir; Anandan, Jeeva (1990). "Geometry of quantum evolution". Physical Review Letters . 65 (14): 1697–1700. Bibcode:1990PhRvL..65.1697A. doi:10.1103/PhysRevLett.65.1697. PMID 10042340.
1 2 Deffner, Sebastian; Lutz, Eric (2013-08-23). "Energy–time uncertainty relation for driven quantum systems". Journal of Physics A: Mathematical and Theoretical. 46 (33): 335302. arXiv: 1104.5104 . Bibcode:2013JPhA...46G5302D. doi:10.1088/1751-8113/46/33/335302. hdl:11603/19394. ISSN 1751-8113. S2CID 119313370.
↑ Marvian, Iman; Spekkens, Robert W.; Zanardi, Paolo (2016-05-24). "Quantum speed limits, coherence, and asymmetry". Physical Review A . 93 (5): 052331. arXiv: 1510.06474 . Bibcode:2016PhRvA..93e2331M. doi:10.1103/PhysRevA.93.052331. ISSN 2469-9926.
↑ Okuyama, Manaka; Ohzeki, Masayuki (2018). "Comment on 'Energy-time uncertainty relation for driven quantum systems'". Journal of Physics A: Mathematical and Theoretical. 51 (31): 318001. arXiv: 1802.00995 . Bibcode:2018JPhA...51E8001O. doi:10.1088/1751-8121/aacb90. ISSN 1751-8113.
↑ Bremermann, H.J. (1962) Optimization through evolution and recombination In: Self-Organizing systems 1962, edited M.C. Yovits et al., Spartan Books, Washington, D.C. pp. 93–106.
↑ Bremermann, H.J. (1965) Quantum noise and information. 5th Berkeley Symposium on Mathematical Statistics and Probability; Univ. of California Press, Berkeley, California.