Free Pressure, Free Entropy and Hypothesis Testing

Total Page:16

File Type:pdf, Size:1020Kb

Free Pressure, Free Entropy and Hypothesis Testing Free pressure, free entropy and hypothesis testing Fumio Hiai (Tohoku University) 2008, January (at Banff) 1 Plan 1. Hypothesis testing: conventional framework 2. Free pressure and free entropy: microstate approach 3. Free analog of hypothesis testing – free Stein’s lemma 4. The single variable case 2 1. Hypothesis testing: conventional frame- work • (Hn): a sequence of finite-dimensional Hilbert spaces • ρn, σn: states on Hn • Null-hypothesis (H0): the true state of the nth system is ρn • Counter-hypothesis (H1): the true state of the nth system is σn • Test: binary measurement 0 ≤ Tn ≤ I on Hn Tn corresponds to outcome 0, I − Tn corresponds to outcome 1 outcome = 0: (H0) is accepted, outcome = 1: (H1) is accepted • Error probabilities of the first/second kinds: αn(Tn) := ρn(In − Tn), βn(Tn) := σn(Tn) 3 Bayesian error probabilities • ρn and σn have a priori probabilities πn and 1 − πn • Optimal Bayesian probability of an erroneous decision: Pmin(ρn : σn|πn) := min πnαn(Tn) + (1 − πn)βn(Tn) 0≤Tn≤I n o Results for i.i.d. case ⊗n ⊗n ⊗n • I.i.d. setting: Hn = H , ρn = ρ1 , σn = σ1 • Rate function: ψ(t) := log Tr ρt σ1−t, ϕ(a) := max {at − ψ(t)} 1 1 0≤t≤1 Stein’s lemma (H-Petz, 1991; Ogawa-Nagaoka, 2000) 1 lim log min{βn(Tn) : αn(Tn) ≤ ε} = −S(ρ1, σ1) for any 0 <ε< 1. n→∞ n 4 Chernoff bound (Audenaert-Calsamiglia-et al., Nussbaum-Szko la, 2006) 1 lim log Pmin(ρn : σn|π)= min ψ(t)= −ϕ(0) n→∞ n 0≤t≤1 Hoeffding bound (Hayashi, Nagaoka, 2006) For any r ∈ R, 1 1 −tr − ψ(t) inf lim sup log βn(Tn) : lim sup log αn(Tn) < −r = − max . (Tn)( n n n n ) 0≤t<1 1 − t Results for non-i.i.d. case H-Mosonyi-Ogawa • Large deviations and Chernoff bound for certain correlated states on the spin chain, J. Math. Phys. • Error exponents in hypothesis testing for correlated states on a spin chain, J. Math. Phys. 5 2. Free pressure and free entropy: microstate approach sa C ∗ • For R> 0, (MN )R := A ∈ MN ( ) : A = A , kAk≤ R n o sa ∼ RN 2 • ΛN : the “Lebesgue” measure on MN = (n) ⋆n ∗ • AR := C([−R, R]) : the n-fold universal free product C -algebra, ∗ i.e., the C -completion of ChX1,...,Xni w.r.t. the norm sa N kpkR := sup kp(A1,...,An)k : A1,...,An ∈ (MN )R, N ∈ n o (n) (n) • TS(AR ): the set of tracial states on AR 6 (n) • Free entropy: for µ ∈ TS(AR ), 1 n ( ):= lim lim sup logΛ⊗n(Γ ( ; )) + log χR µ 2 N R µ N,m,δ N m→∞,δց0 N→∞ "N 2 # (n) sa • Free pressure (free energy): for h ∈ (AR ) (considered as a free probabilistic potential), 1 π (h) := lim sup log exp −N 2tr (h(A ,...,A )) R 2 sa n N 1 n N→∞ "N (M ) Z N R ⊗n n dΛN (A1,...,An)+ log N 2 # (n) • η-version of free entropy: for µ ∈ TS(AR ), (n) sa ηR(µ) := inf µ(h)+ πR(h) : h ∈ (AR ) , n o the (minus) Legendre transform of πR. 7 (n) sa • For every h0 ∈ (AR ) , (n) πR(h0) = max −µ(h0)+ ηR(µ) : µ ∈ TS(AR ) . (n) n o µ0 ∈ TS(AR ) is called an equilibrium tracial state associated with h0 if πR(h0)= −µ0(h0)+ ηR(µ0). (n) sa Note An equilibrium tracial state exists for every h ∈ (AR ) , and (n) sa is unique for almost all h ∈ (AR ) (i.e., in a dense Gδ subset) by the Baire category theorem. But it is not easy to prove the uniqueness for a given h. Fact ηR(µ) ≥ χR(µ) and equality holds if X1,...,Xn are free w.r.t. µ. 8 3. Free analog of hypothesis testing – free Stein’s lemma (n) sa N • Micro Gibbs measure: for h ∈ (AR ) and N ∈ , h 1 2 dλ (A1,...,An) := exp −N trN (h(A1,...,An)) R,N Zh R,N ⊗n × χ sa n (A1,...,An) dΛ (A1,...,An) (MN )R N h with normalization constant ZR,N . (n) sa • Micro pressure: for h ∈ (AR ) , h PR,N (h) := log ZR,N 2 ⊗n = log exp −N trN (h(A1,...,An)) dΛ (A1,...,An) (M sa)n N Z N R (n) sa h0 (n) • N-level tracial state: for each h0 ∈ (AR ) , µR,N ∈ TS(AR ) is defined by h0 h0 (n) µ (h) := trN (h(A1,...,An)) dλ (A1,...,An) for h ∈ A . R,N (M sa)n R,N R Z N R 9 Fact If limit exists in the definition of πR(h0), i.e., 1 n ( )= lim ( )+ log πR h0 2PR,N h0 N , N→∞ N 2 ! h0 then any limit point of (µR,N )N∈N is an equilibrium tracial state associ- ated with h0. ————————— (n) sa Let h0, h1 ∈ (AR ) and consider the hypothesis testing for h0 h1 (λR,N )N∈N (null-hypothesis) vs. (λR,N )N∈N (counter-hypothesis). sa n For a Borel subset (test) T ⊂ (MN )R, h0 c h1 αN (T ) := λR,N (T ), βN (T ) := λR,N (T ). 10 For the free Stein’s lemma, define for 0 <ε< 1 h1 h0 h0 sa n h1 c N βε(λR,N kλR,N ) := min λR,N (T ) : T ⊂ (MN )R, λR,N (T ) ≤ ε , N ∈ , n 1 o B((λh1 ) (λh0 )) := inf lim inf log λh0 (T ): lim λh1 (T c ) = 0 , R,N k R,N 2 R,N N R,N N (TN )( N→∞ N N→∞ ) 1 B((λh1 ) (λh0 )) := inf lim sup log λh0 (T ): lim λh1 (T c ) = 0 , R,N k R,N 2 R,N N R,N N (TN )( N→∞ N N→∞ ) 1 (( h1 ) ( h0 )) := inf lim log h0 ( ): lim h1 ( c ) = 0 B λR,N k λR,N 2 λR,N TN λR,N TN . (TN )(N→∞ N N→∞ ) 1 h1 h0 h1 h0 sup lim inf log βε(λR,N kλR,N ) = B((λR,N )k(λR,N )) ε>0 N→∞ N 2 ! 1 (( h1 ) ( h0 )) = sup lim sup log ( h1 h0 ) ≤ B λR,N k λR,N 2 βε λR,N kλR,N ε>0 N→∞ N ! 11 Theorem Assume that there is a unique equilibrium tracial state µh1 associated with h1. Then for every 0 <ε< 1, 1 lim sup log β (λh1 λh0 ) η (µ ) µ (h ) π (h ) 2 ε R,N k R,N ≥ R h1 − h1 0 − R 0 N→∞ N ≥ χR(µh1) − µh1(h0) − πR(h0). If, moreover, limit exists in the definition of πR(h1), then for every 0 <ε< 1, 1 h1 h0 lim inf log βε(λ kλ ) ≥ ηR(µh ) − µh (h0) − πR(h0). N→∞ N 2 R,N R,N 1 1 Theorem Assume that limit exists in the definition of πR(h1). Then h1 for any limit point µ of (µR,N )N∈N, h1 h0 B((λR,N )k(λR,N )) ≥ ηR(µ) − µ(h0) − πR(h0). h1 Moreover, there exists a limit point µ1 of (µR,N )N∈N such that h1 h0 B((λR,N )k(λR,N )) ≥ ηR(µ1) − µ1(h0) − πR(h0). 12 In particular when h0 = 0, the theorems give (n) sa Cor. Let h ∈ (AR ) and assume that there is a unique equilibrium tracial state µh associated with h. Then χR(µh) ≤ ηR(µh) 1 n lim sup log min Λ⊗n(T ) : T (M sa)n , λh (T c) ε + log N ≤ 2 N ⊂ N R R,N ≤ N→∞ "N 2 # n o for every 0 <ε< 1. If, moreover, limit exists in the definition of πR(h), then for every 0 <ε< 1, ηR(µh) 1 ⊗n sa n h c n ≤ lim inf log min ΛN (T ) : T ⊂ (MN )R, λR,N (T ) ≤ ε + log N . N→∞ "N 2 2 # n o 13 (n) sa Cor. Let h ∈ (AR ) and assume that limit exists in the definition of h πR(h). Then for any limit point µ of (µR,N )N∈N, ηR(µ) 1 n inf lim sup logΛ⊗n(T )+ log N : lim λh (T c ) = 0 . ≤ 2 N N R,N N (TN )( N→∞ N 2 ! N→∞ ) h Moreover, for some limit point µ1 of (µR,N )N∈N, ηR(µ1) 1 n inf lim inf logΛ⊗n( )+ log : lim h ( c ) = 0 ≤ 2 N TN N λR,N TN . (TN )( N→∞ N 2 ! N→∞ ) ————————— (n) sa sa n Let h0 ∈ (AR ) . For each (A, ...,An) ∈ (MN )R define (n) µ (h) := tr (h(A ,...,A )), h ∈ A , N,(A1,...,An) N 1 n R which is a random tracial state when (A1,...,An) is distributed under h0 λR,N . 14 Fact (1) If the random tracial state µ satisfies LDP in the scale N,(A1,...,An) −2 N with a good rate function having a unique minimizer µ0, then µ weakly* converges to µ almost surely and so N,(A1,...,An) 0 h0 N λR,N (ΓR(µ0; N,m,δ)) → 1 as N →∞ for every m ∈ and δ > 0. h0 N (2) If λR,N (ΓR(µ0; N,m,δ)) → 1 as N → ∞ for every m ∈ and δ > 0, h0 then µR,N → µ0 weakly* as N →∞. Cor In addition to the assumption of (2), assume (i) µ0 is a unique equilibrium tracial state associated with h0, or (ii) limit exists in the definition of πR(h0). Then ηR(µ0)= χR(µ0). Moreover, in the case (ii), µ0 is regular.
Recommended publications
  • Arxiv:1806.08325V1 [Quant-Ph] 21 Jun 2018 Between Particle Number and Energy, in the Same Way That Temperature T Acts As an Exchange Rate Between Entropy and Energy
    Quantum Thermodynamics book Quantum thermodynamics with multiple conserved quantities Erick Hinds-Mingo,1 Yelena Guryanova,2 Philippe Faist,3 and David Jennings4, 1 1QOLS, Blackett Laboratory, Imperial College London, London SW7 2AZ, United Kingdom 2Institute for Quantum Optics and Quantum Information (IQOQI), Boltzmanngasse 3 1090, Vienna, Austria 3Institute for Quantum Information and Matter, Caltech, Pasadena CA, 91125 USA 4Department of Physics, University of Oxford, Oxford, OX1 3PU, United Kingdom (Dated: June 22, 2018) In this chapter we address the topic of quantum thermodynamics in the presence of additional observables beyond the energy of the system. In particular we discuss the special role that the generalized Gibbs ensemble plays in this theory, and derive this state from the perspectives of a micro-canonical ensemble, dynamical typicality and a resource-theory formulation. A notable obsta- cle occurs when some of the observables do not commute, and so it is impossible for the observables to simultaneously take on sharp microscopic values. We show how this can be circumvented, discuss information-theoretic aspects of the setting, and explain how thermodynamic costs can be traded between the different observables. Finally, we discuss open problems and future directions for the topic. INTRODUCTION Thermodynamics has been remarkable in its applicability to a vast array of systems. Indeed, the laws of macroscopic thermodynamics have been successfully applied to the studies of magnetization [1, 2], superconductivity [3], cosmology [4], chemical reactions [5] and biological phenomena [6, 7], to name a few fields. In thermodynamics, energy plays a key role as a thermodynamic potential, that is, as a function of the other thermodynamic variables which characterizes all the thermodynamic properties of the system.
    [Show full text]
  • Local Entropy As a Measure for Sampling Solutions in Constraint
    Local entropy as a measure for sampling solutions in Constraint Satisfaction Problems Carlo Baldassi,1, 2 Alessandro Ingrosso,1, 2 Carlo Lucibello,1, 2 Luca Saglietti,1, 2 and Riccardo Zecchina1, 2, 3 1Dept. Applied Science and Technology, Politecnico di Torino, Corso Duca degli Abruzzi 24, I-10129 Torino, Italy 2Human Genetics Foundation-Torino, Via Nizza 52, I-10126 Torino, Italy 3Collegio Carlo Alberto, Via Real Collegio 30, I-10024 Moncalieri, Italy We introduce a novel Entropy-driven Monte Carlo (EdMC) strategy to efficiently sample solutions of random Constraint Satisfaction Problems (CSPs). First, we ex- tend a recent result that, using a large-deviation analysis, shows that the geometry of the space of solutions of the Binary Perceptron Learning Problem (a prototypical CSP), contains regions of very high-density of solutions. Despite being sub-dominant, these regions can be found by optimizing a local entropy measure. Building on these results, we construct a fast solver that relies exclusively on a local entropy estimate, and can be applied to general CSPs. We describe its performance not only for the Perceptron Learning Problem but also for the random K-Satisfiabilty Problem (an- other prototypical CSP with a radically different structure), and show numerically that a simple zero-temperature Metropolis search in the smooth local entropy land- scape can reach sub-dominant clusters of optimal solutions in a small number of steps, while standard Simulated Annealing either requires extremely long cooling procedures or just fails. We also discuss how the EdMC can heuristically be made even more efficient for the cases we studied.
    [Show full text]
  • Arxiv:2002.06338V3 [Cond-Mat.Stat-Mech] 24 Feb 2021 Equilibrium
    Contact geometry and quantum thermodynamics of nanoscale steady states Aritra Ghosh∗, Malay Bandyopadhyayy and Chandrasekhar Bhamidipatiz School of Basic Sciences, Indian Institute of Technology Bhubaneswar, Jatni, Khurda, Odisha, 752050, India (Dated: February 25, 2021) We develop a geometric formalism suited for describing the quantum thermodynamics of steady state nanoscale systems arbitrarily far from equilibrium. It is shown that the non-equilibrium steady states are points on control parameter spaces which are in a sense generated by the steady state Massieu-Planck function. By suitably altering the system's boundary conditions, it is possible to take the system from one steady state to another. We provide a contact Hamiltonian description of such transformations and show that moving along the geodesics of the friction tensor results in minimum increase of the free entropy along the transformation. The control parameter space is shown to be equipped with a natural Riemannian metric that is compatible with the contact structure of the quantum thermodynamic phase space which when expressed in a local coordinate chart, coincides with the Schl¨oglmetric. Finally, we show that this metric is conformally related to other thermodynamic Hessian metrics which might be written on control parameter spaces. This provides various alternate ways of computing the Schl¨oglmetric which is known to be equivalent to the Fisher information matrix. PACS numbers: 72.10.Bg, 02.40.-k, 02.40.Ky I. INTRODUCTION system. This active and vibrant research area is primar- ily centered around transport phenomena [6, 7], chemi- Boltzmann and Gibbs formulated the prescription of cal transformations [8] and autonomous machines [9, 10] equilibrium statistical mechanics by providing the appro- (both classical and quantum perspective).
    [Show full text]
  • Lecture-05: the Boltzmann Distribution
    Lecture-05: The Boltzmann Distribution 1 The Boltzmann Distribution The fundamental purpose of statistical physics is to understand how microscopic interactions of particles (atoms, molecules, etc.) can lead to macroscopic phenomena. It is unreasonable to try to calculate how each and every particle is behaving. Instead, we use probability and statistics to model the behaviour of a large group of particles as a whole. A physical system can be described probabilistically as: • A space of configurations X: The state/configuration of the ith particle is represented by the random variable xi 2 X. If there are N particles, then the configuration of the system is represented by x = (x1, x2,..., xN), where each xi 2 X. The configuration space for a N particle system is the product space X × X × ... × X = XN. We will limit ourselves to configuration spaces which are | {z } N (i) finite sets, or (ii) smooth, compact, finite dimensional manifolds. • A set of obervables which are real-valued functions from the configuration space to R. That is, any observable is O : XN ! R such that for any configuration x 2 XN, we have the observable O(x).A key point to note is that observables can, at least in principle, be measured through an experiment. In contrast, the configuration of a system usually cannot be measured. • One special observable is the energy function E(x). The form of the energy function depends on the level of interaction of the particles. Example 1.1 (Interacting Particle System Energy). We consider three different examples of en- ergy function for an N-particle system.
    [Show full text]
  • Nonequilibrium Phase Transitions and Pattern Formation As Consequences of Second-Order Thermodynamic Induction
    PHYSICAL REVIEW E 100, 022116 (2019) Nonequilibrium phase transitions and pattern formation as consequences of second-order thermodynamic induction S. N. Patitsas University of Lethbridge, 4401 University Drive, Lethbridge, Alberta, Canada T1K3M4 (Received 24 May 2019; published 14 August 2019) Development of thermodynamic induction up to second order gives a dynamical bifurcation for thermody- namic variables and allows for the prediction and detailed explanation of nonequilibrium phase transitions with associated spontaneous symmetry breaking. By taking into account nonequilibrium fluctuations, long- range order is analyzed for possible pattern formation. Consolidation of results up to second order produces thermodynamic potentials that are maximized by stationary states of the system of interest. These potentials differ from the traditional thermodynamic potentials. In particular a generalized entropy is formulated for the system of interest which becomes the traditional entropy when thermodynamic equilibrium is restored. This generalized entropy is maximized by stationary states under nonequilibrium conditions where the standard entropy for the system of interest is not maximized. These nonequilibrium concepts are incorporated into traditional thermodynamics, such as a revised thermodynamic identity and a revised canonical distribution. Detailed analysis shows that the second law of thermodynamics is never violated even during any pattern formation, thus solving the entropic-coupling problem. Examples discussed include pattern formation
    [Show full text]
  • Universal Gorban's Entropies: Geometric Case Study
    entropy Article Universal Gorban’s Entropies: Geometric Case Study Evgeny M. Mirkes 1,2 1 School of Mathematics and Actuarial Science, University of Leicester, Leicester LE1 7HR, UK; [email protected] 2 Laboratory of advanced methods for high-dimensional data analysis, Lobachevsky State University, 603105 Nizhny Novgorod, Russia Received: 14 February 2020; Accepted: 22 February 2020; Published: 25 February 2020 Abstract: Recently, A.N. Gorban presented a rich family of universal Lyapunov functions for any linear or non-linear reaction network with detailed or complex balance. Two main elements of the construction algorithm are partial equilibria of reactions and convex envelopes of families of functions. These new functions aimed to resolve “the mystery” about the difference between the rich family of Lyapunov functions ( f -divergences) for linear kinetics and a limited collection of Lyapunov functions for non-linear networks in thermodynamic conditions. The lack of examples did not allow to evaluate the difference between Gorban’s entropies and the classical Boltzmann–Gibbs–Shannon entropy despite obvious difference in their construction. In this paper, Gorban’s results are briefly reviewed, and these functions are analysed and compared for several mechanisms of chemical reactions. The level sets and dynamics along the kinetic trajectories are analysed. The most pronounced difference between the new and classical thermodynamic Lyapunov functions was found far from the partial equilibria, whereas when some fast elementary reactions became close to equilibrium then this difference decreased and vanished in partial equilibria. Keywords: free entropy; partial equilibrium; Lyapunov function; level set 1. Introduction 1.1. Classical Entropic Lyapunov Functions for General Kinetics The classical example of the Lyapunov functional in kinetics was provided by Boltzmann in 1872 [1] (twenty years before the famous Lyapunov thesis): Z H( f ) = f (x, v) ln( f (x, v)) d3v d3x (1) where f (x, v) is an one-particle distribution function in space (x) and velocity (v).
    [Show full text]
  • The Random Energy Model
    5 THE RANDOM ENERGY MODEL {ch:rem} The random energy model (REM) is probably the simplest statistical physics model of a disordered system which exhibits a phase transition. It is not supposed to give a realistic description of any physical system, but it provides a workable example on which various concepts and methods can be studied in full details. Moreover, due the its simplicity, the same mathematical structure appears in a large number of contexts. This is witnessed by the examples from information theory and combinatorial optimization presented in the next two chapters. The model is defined in Sec. 5.1 and its thermodynamic properties are studied in Sec. 5.2. The simple approach developed in these section turns out to be useful in a large varety of problems. A more detailed (and also more involved) study of the low temperature phase is given in Sec. 5.3. Section 5.4 provides an introduction to the so-called annealed approximation, which will be useful in more complicated models. 5.1 Definition of the model {se:rem_def} A statistical mechanics model is defined by a set of configurations and an energy function defined on this space. In the REM there are M = 2N configurations (like in a system of N Ising spins) to be denoted by indices i, j, 1,..., 2N . The REM is a disordered model: the energy is not a deterministic···∈{ function but} rather a stochastic process. A particular realization of such a process is usually called a sample (or instance). In the REM, one makes the simplest possible choice for this process: the energies Ei are i.i.d.
    [Show full text]
  • Entropy and Equilibria in Competitive Systems
    Entropy 2014, 16, 1-22; doi:10.3390/e16010001 OPEN ACCESS entropy ISSN 1099-4300 www.mdpi.com/journal/entropy Article Entropy and Equilibria in Competitive Systems A. Y. Klimenko The University of Queensland, SoMME, QLD 4072, Australia; E-Mail: [email protected] Received: 28 October 2013; in revised form: 16 December 2013 / Accepted: 16 December 2013 / Published: 24 December 2013 Abstract: This paper investigates the applicability of thermodynamic concepts and principles to competitive systems. We show that Tsallis entropies are suitable for the characterisation of systems with transitive competition when mutations deviate from Gibbs mutations. Different types of equilibria in competitive systems are considered and analysed. As competition rules become more and more intransitive, thermodynamic analogies are eroded, and the behaviour of the system can become complex. This work analyses the phenomenon of punctuated evolution in the context of the competitive risk/benefit dilemma. Keywords: non-conventional thermodynamics; competitive systems; Tsallis entropy; equilibrium; cycles; complexity 1. Introduction The question of whether systems involving competition can be characterised by quantities resembling conventional thermodynamic parameters does not have a simple unambiguous answer. This problem was investigated in [1], and it was found that such a characterisation is possible under conditions of transitive competition, but as the system becomes more and more intransitive, the thermodynamic analogy weakens. The similarity with conventional thermodynamic principles is strongest when mutations present in the system belong to the class of Gibbs mutations. While deploying the conventional logarithmic definition of entropy, the analysis of [1] misses an important point: when mutations deviate from the Gibbs mutations, the family of Tsallis entropies [2] represents a very convenient choice of entropy to treat these cases.
    [Show full text]
  • AP Chemistry Summer Assignment
    AP Chemistry Summer Assignment If you have chosen to take Advance Placement Chemistry, you should have a very good background in chemistry from Honors Chemistry I or Pre-IB Chemistry. Advance Placement Chemistry is a college level course covering topics including electrochemistry, equilibrium, chemical kinetics and thermodynamics. Rather than memorizing how to do a particular type of problem, you must really understand the chemistry and be able to apply it to different situations. Because of the amount of material, we must cover before the AP exams in May students must complete much of the work outside of class. Homework will include practice problems, sample AP questions and reading assignments from the textbook. But, with hard work, you will not only be successful in the AP Chemistry exam and course, but also be prepared for college level course work. Like most AP classes, AP chemistry comes with a summer assignment. Previous AP students have helped design this assignment – it is what they think is important to review and know before starting class in the fall. The assignment will be collected the second Friday of the school year. Do not procrastinate during the summer! You will need time to complete the different parts of this assignment, memorize some items and review before school starts. So, schedule your work during the summer! Resources: • Review book – there are many out there. The following are just suggestions. o “AP Chemistry” 8th edition or later – Barron’s o “AP Chemistry” Crash Course Materials for Class: • Composition Notebook for lab work – Graphing (Might be provided by the school) • Scientific Calculator (I have a class set, but highly suggested for doing work at home.) • School Issued laptop • Composition notebook for notes and practice problems 1 AP Chemistry Course Content 1.
    [Show full text]
  • Statistical Physics of Inference and Bayesian Estimation
    Statistical Physics of Inference and Bayesian Estimation Florent Krzakala, Lenka Zdeborova, Maria Chiara Angelini and Francesco Caltagirone Contents 1 Bayesian Inference and Estimators 3 1.1 The Bayes formula . .3 1.2 Probabilty reminder . .5 1.2.1 A bit of probabilities . .5 1.2.2 Probability distribution . .5 1.2.3 A bit of random variables . .5 1.3 Estimators . .5 1.4 A toy example in denoising . .7 1.4.1 Phase transition in an easy example . .7 1.4.2 The connection with Random Energy Model . .8 2 Taking averages: quenched, annealed and planted ensembles 9 2.1 The Quenched ensemble . .9 2.2 The Annealed ensemble . .9 2.3 The Planted ensemble . 10 2.4 The fundamental properties of planted problems . 11 2.4.1 The two golden rules . 11 2.5 The planted ensemble is the annealed ensemble, but the planted free energy is not the annealed free energy . 11 2.6 Equivalence between the planted and the Nishimori ensemble . 12 3 Inference on spin-glasses 14 3.1 Spin-glasses solution . 14 3.2 Phase diagrams of the planted spin-glass . 15 3.3 Belief Propagation . 16 3.3.1 Stability of the paramagnetic solution . 18 4 Community detection 21 4.1 The stochastic block model . 21 4.2 Inferring the group assignment . 22 4.3 Learning the parameters of the model . 23 4.4 Belief propagation equations . 23 4.5 Phase transitions in group assignment . 25 5 Compressed sensing 30 5.1 The problem . 30 5.2 Exhaustive algorithm and possible-impossible reconstruction .
    [Show full text]
  • Gibbs Free Energy - Wikipedia, the Free Encyclopedia 頁 1 / 6
    Gibbs free energy - Wikipedia, the free encyclopedia 頁 1 / 6 Gibbs free energy From Wikipedia, the free encyclopedia In thermodynamics, the Gibbs free energy (IUPAC recommended name: Gibbs energy or Gibbs Thermodynamics function; also known as free enthalpy[1] to distinguish it from Helmholtz free energy) is a thermodynamic potential that measures the "useful" or process-initiating work obtainable from a thermodynamic system at a constant temperature and pressure (isothermal, isobaric). Just as in mechanics, where potential energy is defined as capacity to do work, similarly different potentials have different meanings. Gibbs energy is the capacity of a system to do non-mechanical work and ΔG measures the non- mechanical work done on it. The Gibbs free energy is the maximum amount of non-expansion work that can be extracted from a closed system; this maximum can be attained only in a completely reversible Branches process. When a system changes from a well-defined initial state to a well-defined final state, the Gibbs free energy ΔG equals the work exchanged by the system with its surroundings, minus the work of the Classical · Statistical · Chemical pressure forces, during a reversible transformation of the system from the same initial state to the same Equilibrium / Non-equilibrium final state.[2] Thermofluids Laws Gibbs energy (also referred to as ∆G) is also the chemical potential that is minimized when a system reaches equilibrium at constant pressure and temperature. Its derivative with respect to the reaction Zeroth · First · Second · Third coordinate of the system vanishes at the equilibrium point. As such, it is a convenient criterion of Systems spontaneity for processes with constant pressure and temperature.
    [Show full text]
  • Free Entropy Theory Is the More Restricted One of a Tracial W ∗ - Probability Space (M, Τ)
    Free Entropy Dan Voiculescu Department of Mathematics University of California Berkeley, California 94720–3840 Abstract Free entropy is the analogue of entropy in free probability theory. The paper is a survey of free entropy, its applications to von Neumann algebras, connections to random matrix theory and a discussion of open problems. 0 Introduction Entropy, from its initial appearance in thermodynamics and passing through statistical me- chanics and the mathematical theory of communications of Claude Shannon, has come to play, in various guises, a fundamental role in many parts of mathematics. This article is about a recent addition ([35]) to the mathematical territory of entropy . Free entropy refers to the analogue of entropy in free probability theory, i.e. a quantity playing the role of entropy in a highly noncommutative probabilistic framework, with inde- pendence modelled on free products instead of tensor products. Free probability theory can be viewed as a parallel to some basic probability theory drawn starting from a new type of independence. Surprisingly, the parallelism of the classical and free theories appears to go quite far, as illustrated for instance by the existence of a free entropy theory. arXiv:math/0103168v1 [math.OA] 26 Mar 2001 From another perspective, free probability, and in particular free entropy, has deep con- nections on one hand with the asymptotic behavior of large random matrices and on the other hand with operator algebras. One consequence is that the von Neumann algebras of free groups, once viewed as exotic creatures, are now much better understood and perceived as important objects. Acknowledgments. Part of this work was done by the author for the Clay Mathematics Institute.
    [Show full text]