17 research outputs found

    Martin-Löf Randomness Implies Multiple Recurrence in Effectively Closed Sets

    No full text

    Physical (A)Causality: Determinism, Randomness and Uncaused Events

    Get PDF
    Physical indeterminism; Randomness in physics; Physical random number generators; Physical chaos; Self-reflexive knowledge; Acausality in physics; Irreducible randomnes

    Randomized Search of Graphs in Log Space and Probabilistic Computation

    Full text link
    Reingold has shown that L = SL, that s-t connectivity in a poly-mixing digraph is complete for promise-RL, and that s-t connectivity for a poly-mixing out-regular digraph with known stationary distribution is in L. Several properties that bound the mixing times of random walks on digraphs have been identified, including the digraph conductance and the digraph spectral expansion. However, rapidly mixing digraphs can still have exponential cover time, thus it is important to specifically identify structural properties of digraphs that effect cover times. We examine the complexity of random walks on a basic parameterized family of unbalanced digraphs called Strong Chains (which model weakly symmetric logspace computations), and a special family of Strong Chains called Harps. We show that the worst case hitting times of Strong Chain families vary smoothly with the number of asymmetric vertices and identify the necessary condition for non-polynomial cover time. This analysis also yields bounds on the cover times of general digraphs. Next we relate random walks on graphs to the random walks that arise in Monte Carlo methods applied to optimization problems. We introduce the notion of the asymmetric states of Markov chains and use this definition to obtain some results about Markov chains. We also obtain some results on the mixing times for Markov Chain Monte Carlo Methods. Finally, we consider the question of whether a single long random walk or many short walks is a better strategy for exploration. These are walks which reset to the start after a fixed number of steps. We exhibit digraph families for which a few short walks are far superior to a single long walk. We introduce an iterative deepening random search. We use this strategy estimate the cover time for poly-mixing subgraphs. Finally we discuss complexity theoretic implications and future work

    35th Symposium on Theoretical Aspects of Computer Science: STACS 2018, February 28-March 3, 2018, Caen, France

    Get PDF

    Computer Science Logic 2018: CSL 2018, September 4-8, 2018, Birmingham, United Kingdom

    Get PDF

    Einstein vs. Bergson

    Get PDF
    On 6 April 1922, Einstein met Bergson to debate the nature of time: is the time the physicist calculates the same time the philosopher reflects on? Einstein claimed that only scientific time is real, while Bergson argued that scientific time always presupposes a living and perceiving subject. On that day, nearly 100 years ago, conflict was inevitable. Is it still inevitable today? How many kinds of time are there
    corecore