Opinion Dynamics in Networks: Convergence, Stability and Lack of Explosion

Inspired by the work of Kempe et al. [Kempe, Kleinberg, Oren, Slivkins, EC 2013], we introduce and analyze a model on opinion formation; the update rule of our dynamics is a simplified version of that of [Kempe, Kleinberg, Oren, Slivkins, EC 2013]. We assume that the population is partitioned into types whose interaction pattern is specified by a graph. Interaction leads to population mass moving from types of smaller mass to those of bigger mass. We show that starting uniformly at random over all population vectors on the simplex, our dynamics converges point-wise with probability one to an independent set. This settles an open problem of [Kempe, Kleinberg, Oren, Slivkins, EC 2013], as applicable to our dynamics. We believe that our techniques can be used to settle the open problem for the Kempe et al. dynamics as well. Next, we extend the model of Kempe et al. by introducing the notion of birth and death of types, with the interaction graph evolving appropriately. Birth of types is determined by a Bernoulli process and types die when their population mass is less than epsilon (a parameter). We show that if the births are infrequent, then there are long periods of "stability" in which there is no population mass that moves. Finally we show that even if births are frequent and "stability" is not attained, the total number of types does not explode: it remains logarithmic in 1/epsilon

Incremental sampling based algorithms for state estimation

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2012.Cataloged from department-submitted PDF version of thesis. This electronic version was submitted and approved by the author's academic department as part of an electronic thesis pilot project. The certified thesis is available in the Institute Archives and Special Collections.Includes bibliographical references (p. 95-98).Perception is a crucial aspect of the operation of autonomous vehicles. With a multitude of different sources of sensor data, it becomes important to have algorithms which can process the available information quickly and provide a timely solution. Also, an inherently continuous world is sensed by robot sensors and converted into discrete packets of information. Algorithms that can take advantage of this setup, i.e., which have a sound founding in continuous time formulations but which can effectively discretize the available information in an incremental manner according to different requirements can potentially outperform conventional perception frameworks. Inspired from recent results in motion planning algorithms, this thesis aims to address these two aspects of the problem of robot perception, through novel incremental and anytime algorithms. The first part of the thesis deals with algorithms for different estimation problems, such as filtering, smoothing, and trajectory decoding. They share the basic idea that a general continuous-time system can be approximated by a sequence of discrete Markov chains that converge in a suitable sense to the original continuous time stochastic system. This discretization is obtained through intuitive rules motivated by physics and is very easy to implement in practice. Incremental algorithms for the above problems can then be formulated on these discrete systems whose solutions converge to the solution of the original problem. A similar construction is used to explore control of partially observable processes in the latter part of the thesis. A general continuous time control problem in this case is approximates by a sequence of discrete partially observable Markov decision processes (POMDPs), in such a way that the trajectories of the POMDPs -- i.e., the trajectories of beliefs -- converge to the trajectories of the original continuous problem. Modern point-based solvers are used to approximate control policies for each of these discrete problems and it is shown that these control policies converge to the optimal control policy of the original problem in an appropriate space. This approach is promising because instead of solving a large POMDP problem from scratch, which is PSPACE-hard, approximate solutions of smaller problems can be used to guide the search for the optimal control policy.by Pratik Chaudhari.S.M

Non-ergodic phenomena in many-body quantum systems

The assumption of ergodicity is the cornerstone of conventional thermodynamics, connecting the equilibrium properties of macroscopic systems to the chaotic nature of the underlying microscopic dynamics, which eventuates in thermalization and the scrambling of information contained in any generic initial condition. The modern understanding of ergodicity in a quantum mechanical framework is encapsulated in the so-called eigenstate thermalization hypothesis, which asserts that thermalization of an isolated quantum system is a manifestation of the random-like character of individual eigenstates in the bulk of the spectrum of the system's Hamiltonian. In this work, we consider two major exceptions to the rule of generic thermalization in interacting many-body quantum systems: many-body localization, and quantum spin glasses. In the first part, we debate the possibility of localization in a system endowed with a non-Abelian symmetry. We show that, in line with proposed theoretical arguments, such a system is probably delocalized in the thermodynamic limit, but the ergodization length scale is anomalously large, explaining the non-ergodic behavior observed in previous experimental and numerical works. A crucial feature of this system is the quasi-tensor-network nature of its eigenstates, which is dictated by the presence of nontrivial symmetry multiplets. As a consequence, ergodicity may only be restored by extensively large cascades of resonating spins, explaining the system's resistance to delocalization. In the second part, we study the effects of non-ergodic behavior in glassy systems in relation to the possibility of speeding up classical algorithms via quantum resources, namely tunneling across tall free energy barriers. First, we define a pseudo-tunneling event in classical diffusion Monte Carlo (DMC) and characterize the corresponding tunneling rate. Our findings suggest that DMC is very efficient at tunneling in stoquastic problems even in the presence of frustrated couplings, asymptotically outperforming incoherent quantum tunneling. We also analyze in detail the impact of importance sampling, finding that it does not alter the scaling. Next, we study the so-called population transfer (PT) algorithm applied to the problem of energy matching in combinatorial problems. After summarizing some known results on a simpler model, we take the quantum random energy model as a testbed for a thorough, model-agnostic numerical characterization of the algorithm, including parameter setting and quality assessment. From the accessible system sizes, we observe no meaningful asymptotic speedup, but argue in favor of a better performance in more realistic energy landscapes