메뉴 건너뛰기




Volumn 55, Issue 5, 1985, Pages 449-452

Origins of randomness in physical systems

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0006747191     PISSN: 00319007     EISSN: None     Source Type: Journal    
DOI: 10.1103/PhysRevLett.55.449     Document Type: Article
Times cited : (103)

References (40)
  • 1
    • 0009520409 scopus 로고
    • and in Chaos and Order in Nature, edited by H. Haken (Springer, New York, 1981).
    • (1981) Z. Naturforsch. , vol.36 A , pp. 80
    • Shaw, R.1
  • 2
    • 0021755192 scopus 로고
    • An analogous cellular automaton [, and references therein] has evolution rule ai(t+1) = ai+1(t), so that with time the value of a particular site is determined by the value of progressively more distant initial sites.
    • (1984) Nature (London) , vol.311 , pp. 419
    • Wolfram, S.1
  • 3
    • 84927426801 scopus 로고    scopus 로고
    • For example, Order in Chaos, edited by D. Campbell and H. Rose (North-Holland, Amsterdam, 1982). Many processes analyzed in dynamical systems theory admit ``Markov partitions'' under which they are directly equivalent to the shift mapping. But in some measurements (say of xt with four bins) their deterministic nature may introduce simple regularities, and ``deterministic chaos'' may be said to occur. (This term would in fact probably be better reserved for the autoplectic processes to be described below.)
  • 4
    • 84927426800 scopus 로고    scopus 로고
    • This is probably also true of at least the lower levels of human sensory processing [for example, D. Marr, Vision (Freeman, San Francisco, 1982);
  • 6
    • 84927426799 scopus 로고    scopus 로고
    • The validity of Monte Carlo simulations tests the random sequences that they use. But most stochastic physical processes are in fact insensitive to all but the simplest equidistribution and statistical independence properties. (Partial exceptions occur when long-range order is present.) And in general no polynomial-time simulation can reveal patterns in effectively random sequences.
  • 7
    • 84927426798 scopus 로고    scopus 로고
    • For example, D. Knuth, Seminumerical Algorithms (Addison-Wesley, Reading, Mass., 1981).
  • 8
    • 84927426797 scopus 로고    scopus 로고
    • Some sophisticated statistical procedures, typically involving the partitioning of high-dimensional spaces, seem to take exponential time. But most take close to linear time. It is possible that those used in practice can be characterized as needing O( logp n ) time on computers with O(nq ) processors (and so be in the computational complexity class NC) [cf. N. Pippenger, in Proceedings of the Twentieth IEEE Symposium on Foundations of Computer Science, (IEEE, New York, 1979); J. Hoover and L. Ruzzo, unpublished].
  • 9
    • 84927426796 scopus 로고    scopus 로고
    • For example, R. Hamming, Coding and Information Theory (Prentice-Hall, Englewood Cliffs, 1980).
  • 10
    • 84918358658 scopus 로고
    • On the Length of Programs for Computing Finite Binary Sequences
    • and 16, 145 (1969), and Sci. Am. 232, No. 5, 47 (1975);
    • (1966) Journal of the ACM , vol.13 , pp. 547
    • Chaitin, G.1
  • 13
    • 0000508181 scopus 로고
    • Compare J. Ford, Phys. Today 33, No. 4, 40 (1983). Note that the lengths of programs needed on different universal computers differ only by a constant, since each computer can simulate any other by means of a fixed ``interpreter'' program.
    • (1973) Soviet Math. Dokl. , vol.14 , pp. 1413
    • Levin, L.1
  • 14
    • 84927426795 scopus 로고    scopus 로고
    • Quantum mechanics suggests that processes such as radioactive decay occur purely according to probabilities, and so could perhaps give absolutely random sequences. But complete quantum mechanical measurements are an idealization, in which information on a microscopic quantum event is spread through an infinite system. In finite systems, unmeasured quantum states are like unknown classical parameters, and can presumably produce no additional randomness. Suggestions of absolute randomness probably come only when classical and quantum models are mixed, as in the claim that quantum processes near black holes may lose information to space-time regions that are causally disconnected in the classical approximation.
  • 15
    • 84927426794 scopus 로고    scopus 로고
    • In the cases now known, recognition of any pattern seems to involve essentially complete reconstruction of the original program, but this may not always be so (L. Levin, private communication).
  • 16
    • 84927426793 scopus 로고    scopus 로고
    • In some cases, such as optimization or eigenvalue problems in the complexity class NP [e.g., M. Garey and D. Johnson, Computers and Interactability: A Guide to the Theory of NP-Completeness (Freeman, San Francisco, 1979)], even each individual test may take exponential time.
  • 17
    • 84927426792 scopus 로고    scopus 로고
    • The sequence certainly passes the standard statistical tests of Ref. 6, and contains all possible subsequences up to length at least 12. It has also been proved that only at most one vertical sequence in the pattern of Fig. 1 can have a finite period [E. Jen, Los Alamos, Report No. LA-UR-85-1218 (to be published)].
  • 18
    • 84927426791 scopus 로고    scopus 로고
    • For example, D. E. R. Denning, Cryptography and Data Security (Addison-Wesley, Reading, Mass., 1982). Systems like Fig. 1 can, for example, be used for ``stream ciphers'' by adding each bit in the sequences produced with a particular seed to a bit in a plain-text message.
  • 21
    • 34249948426 scopus 로고
    • They are one-symbol-deletion tag sequences [, ], and can be represented by generating functions algebraic over GF(k), 108, 401, G. Christol, T. Kamae, M. Mendes France, G. Rauzy, Bull. Soc. Math. France
    • (1972) Math. Systems Theory , vol.6 , pp. 164
    • Cobham, A.1
  • 22
    • 84927426790 scopus 로고    scopus 로고
    • J.-M. Deshouillers, Seminar de Theorie des Nombres, Université de Bordeaux Exposé No. 5, 1979 (unpublished);
  • 23
    • 84927426789 scopus 로고    scopus 로고
    • M. Dekking, M. Mendes France, and A. van der Poorten, Math. Intelligencer, 4, 130, 173, 190 (1983)]. Their self-similarity is related to the pumping lemma for regular languages [e.g., J. Hopcroft and J. Ullman, Introduction to Automata Theory, Languages and Computation (Addison-Wesley, Reading Mass., 1979)]. More complicated sequences associated with context-free formal languages can also be recognized in polynomial time, but the recognition problem for context-sensitive ones is P-space complete.
  • 24
    • 84927426788 scopus 로고    scopus 로고
    • For example, A. M. Frieze, R. Kannan, and J. C. Lagarias, in Twenty-Fifth IEEE Symposium on Foundations of Computer Science (IEEE, New York, 1984). The sequences also typically fail certain statistical randomness tests, such as multidimensional spectral tests (Ref. 6). They are nevertheless probably random with respect to all NC computations [J. Reif and J. Tygar, Harvard University Computation Laboratory Report No. TR-07-84 (to be published)].
  • 26
    • 0002747273 scopus 로고
    • The 3x + 1 Problem and Its Generalizations
    • (Note that with appropriate boundary conditions a finite-size version of this system is equivalent to a linear congruential pseudorandom number generator.)
    • (1985) The American Mathematical Monthly , vol.92 , pp. 3
    • Lagarias, J.1
  • 33
    • 84927426785 scopus 로고    scopus 로고
    • For example, M. Garey and D. Johnson, Ref. 12.
  • 34
    • 84927426784 scopus 로고    scopus 로고
    • For example, L. Kuipers and H. Niederreiter, Uniform Distribution of Sequences (Wiley, New York, 1974).
  • 35
    • 84927426783 scopus 로고    scopus 로고
    • A polynomial-time procedure is also known for recognizing solutions to more complicated algebraic or trigonometric equations (R. Kannan, A. K. Lenstra, and L. Lovasz, Carnegie-Mellon University Technical Report No. CMU-CS-84-111).
  • 36
    • 84927426782 scopus 로고    scopus 로고
    • Many localized structures have been found (D. Lind, private communication).


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.