Free Entropy for Free Gibbs Laws Given by Convex Potentials
|
|
- Aubrey Hood
- 5 years ago
- Views:
Transcription
1 Free Entropy for Free Gibbs Laws Given by Convex Potentials David A. Jekel University of California, Los Angeles Young Mathematicians in C -algebras, August 2018 David A. Jekel (UCLA) Free Entropy YMC A / 24
2 Overview We will discuss Voiculescu s free entropy of a non-commutative law µ of an m-tuple. This is an analogue in free probability theory of the continuous entropy of a probability measure. David A. Jekel (UCLA) Free Entropy YMC A / 24
3 Overview We will discuss Voiculescu s free entropy of a non-commutative law µ of an m-tuple. This is an analogue in free probability theory of the continuous entropy of a probability measure. Voiculescu defined two types of free entropy, χ(µ) and χ (µ). They both measure the regularity of the law µ. They are based on two different viewpoints for classical entropy. David A. Jekel (UCLA) Free Entropy YMC A / 24
4 Overview We will discuss Voiculescu s free entropy of a non-commutative law µ of an m-tuple. This is an analogue in free probability theory of the continuous entropy of a probability measure. Voiculescu defined two types of free entropy, χ(µ) and χ (µ). They both measure the regularity of the law µ. They are based on two different viewpoints for classical entropy. Theorem (Biane, Capitaine, Guionnet 2003) χ(µ) χ (µ). David A. Jekel (UCLA) Free Entropy YMC A / 24
5 Overview Theorem (Dabrowski 2017, J. 2018) Suppose that µ is a free Gibbs state given by a nice enough convex potential V. Then χ(µ) = χ (µ). David A. Jekel (UCLA) Free Entropy YMC A / 24
6 Overview Theorem (Dabrowski 2017, J. 2018) Suppose that µ is a free Gibbs state given by a nice enough convex potential V. Then χ(µ) = χ (µ). The strategy is to approximate µ by N N random matrix models, and get the free theory as a limit of the classical theory. David A. Jekel (UCLA) Free Entropy YMC A / 24
7 Overview Theorem (Dabrowski 2017, J. 2018) Suppose that µ is a free Gibbs state given by a nice enough convex potential V. Then χ(µ) = χ (µ). The strategy is to approximate µ by N N random matrix models, and get the free theory as a limit of the classical theory. Our new proof is more elementary in the sense that it doesn t use SDE, just basic PDE tools. David A. Jekel (UCLA) Free Entropy YMC A / 24
8 Free Probability and Non-Commutative Laws David A. Jekel (UCLA) Free Entropy YMC A / 24
9 What is non-commutative probability? classical L (Ω, P) expectation E bdd. real rand. var. X law of X non-commutative W -algebra M trace τ self-adjoint X M spectral distribution of X w.r.t. τ David A. Jekel (UCLA) Free Entropy YMC A / 24
10 What is free probability? We replace classical independence by free independence. David A. Jekel (UCLA) Free Entropy YMC A / 24
11 What is free probability? We replace classical independence by free independence. Definition by Example For groups G 1 and G 2, the algebras L(G 1 ) and L(G 2 ) are freely independent in (L(G 1 G 2 ), τ). David A. Jekel (UCLA) Free Entropy YMC A / 24
12 What is free probability? We replace classical independence by free independence. Definition by Example For groups G 1 and G 2, the algebras L(G 1 ) and L(G 2 ) are freely independent in (L(G 1 G 2 ), τ). Free Central Limit Theorem: There s a free central limit theorem with normal distribution replaced by semicircular distribution. David A. Jekel (UCLA) Free Entropy YMC A / 24
13 What is free probability? We replace classical independence by free independence. Definition by Example For groups G 1 and G 2, the algebras L(G 1 ) and L(G 2 ) are freely independent in (L(G 1 G 2 ), τ). Free Central Limit Theorem: There s a free central limit theorem with normal distribution replaced by semicircular distribution. Free Convolution: If X and Y are classically independent, then µ X +Y = µ X µ Y. If X and Y are freely independent, then µ X +Y = µ X µ Y. David A. Jekel (UCLA) Free Entropy YMC A / 24
14 What is the law of a tuple? Classically, the law of X = (X 1,..., X m ) is a measure on R m given by µ X (A) = P(X A). David A. Jekel (UCLA) Free Entropy YMC A / 24
15 What is the law of a tuple? Classically, the law of X = (X 1,..., X m ) is a measure on R m given by µ X (A) = P(X A). Assuming finite moments, this can be viewed as a map µ X : C[x 1,..., x m ] C, p(x 1,..., x m ) E[p(X 1,..., X m )]. David A. Jekel (UCLA) Free Entropy YMC A / 24
16 What is the law of a tuple? Classically, the law of X = (X 1,..., X m ) is a measure on R m given by µ X (A) = P(X A). Assuming finite moments, this can be viewed as a map µ X : C[x 1,..., x m ] C, p(x 1,..., x m ) E[p(X 1,..., X m )]. In the non-commutative case, the law of X = (X 1,..., X m ) M m sa is defined as the map µ X : C x 1,..., x m C, p(x 1,..., x m ) τ[p(x 1,..., X m )], David A. Jekel (UCLA) Free Entropy YMC A / 24
17 What is the law of a tuple? Classically, the law of X = (X 1,..., X m ) is a measure on R m given by µ X (A) = P(X A). Assuming finite moments, this can be viewed as a map µ X : C[x 1,..., x m ] C, p(x 1,..., x m ) E[p(X 1,..., X m )]. In the non-commutative case, the law of X = (X 1,..., X m ) M m sa is defined as the map µ X : C x 1,..., x m C, p(x 1,..., x m ) τ[p(x 1,..., X m )], The moment topology on laws is given by pointwise convergence on C x 1,..., x m. David A. Jekel (UCLA) Free Entropy YMC A / 24
18 Microstates Free Entropy χ David A. Jekel (UCLA) Free Entropy YMC A / 24
19 What is classical entropy? The continuous entropy of a probability measure dµ(x) = ρ(x) dx on R m is given by h(µ) = ρ log ρ. If µ does not have a density, we set h(µ) =. David A. Jekel (UCLA) Free Entropy YMC A / 24
20 What is classical entropy? The continuous entropy of a probability measure dµ(x) = ρ(x) dx on R m is given by h(µ) = ρ log ρ. If µ does not have a density, we set h(µ) =. Entropy measures regularity. 1 If µ is highly concentrated, then there is large negative entropy. 2 For mean zero and variance 1, the highest entropy is achieved by Gaussian. 3 If you smooth µ out by convolution, the entropy increases. David A. Jekel (UCLA) Free Entropy YMC A / 24
21 Microstates Interpretation Since there s no nice integral formula for entropy in the free case, the definition of χ is based on the microstates interpretation. David A. Jekel (UCLA) Free Entropy YMC A / 24
22 Microstates Interpretation Since there s no nice integral formula for entropy in the free case, the definition of χ is based on the microstates interpretation. Classical case: Given a vector in x = (x 1,..., x m ) (R N ) m, let s define its empirical distribution as µ x = 1 N N δ ((x1 ) j,...,(x m) j ). j=1 Then {x : µ x is close to µ} has measure approximately exp( Nh(µ)). David A. Jekel (UCLA) Free Entropy YMC A / 24
23 Microstates Interpretation Since there s no nice integral formula for entropy in the free case, the definition of χ is based on the microstates interpretation. Classical case: Given a vector in x = (x 1,..., x m ) (R N ) m, let s define its empirical distribution as µ x = 1 N N δ ((x1 ) j,...,(x m) j ). j=1 Then {x : µ x is close to µ} has measure approximately exp( Nh(µ)). Thus, h(µ) can be expressed as inf lim (nbhd s of µ) N 1 N log vol{x : µ x close to µ}. David A. Jekel (UCLA) Free Entropy YMC A / 24
24 Microstates Interpretation Since there s no nice integral formula for entropy in the free case, the definition of χ is based on the microstates interpretation. Classical case: Given a vector in x = (x 1,..., x m ) (R N ) m, let s define its empirical distribution as µ x = 1 N N δ ((x1 ) j,...,(x m) j ). j=1 Then {x : µ x is close to µ} has measure approximately exp( Nh(µ)). Thus, h(µ) can be expressed as inf lim (nbhd s of µ) N 1 N log vol{x : µ x close to µ}. Intuition: If µ is more regular and spread out, then there are more microstates because most choices of N vectors are evenly distributed. David A. Jekel (UCLA) Free Entropy YMC A / 24
25 Microstates Free Entropy Idea for free case: Replace R N (self-adjoints in L ({1,..., N})) by M N (C) sa. David A. Jekel (UCLA) Free Entropy YMC A / 24
26 Microstates Free Entropy Idea for free case: Replace R N (self-adjoints in L ({1,..., N})) by M N (C) sa. Given (x 1,..., x m ) M N (C) m, the empirical distribution µ x is the non-commutative law of x w.r.t. normalized trace on M N (C). Define χ(µ) = 1 inf lim sup (nbhd s of µ) N N 2 log vol{x : µ x close to µ}, where the closeness is defined in the moment topology. David A. Jekel (UCLA) Free Entropy YMC A / 24
27 Microstates Free Entropy Idea for free case: Replace R N (self-adjoints in L ({1,..., N})) by M N (C) sa. Given (x 1,..., x m ) M N (C) m, the empirical distribution µ x is the non-commutative law of x w.r.t. normalized trace on M N (C). Define χ(µ) = 1 inf lim sup (nbhd s of µ) N N 2 log vol{x : µ x close to µ}, where the closeness is defined in the moment topology. (Voiculescu) χ has properties similar to h, and also relates to properties of the W algebra generated by a tuple with the law µ. David A. Jekel (UCLA) Free Entropy YMC A / 24
28 Non-microstates Free Entropy χ David A. Jekel (UCLA) Free Entropy YMC A / 24
29 Classical Fisher Information Classical case: Let µ be a probability measure on R m with density ρ. Let γ t be the law of a Gaussian random vector with variance ti. Then d dt h(µ γ t) = ρ t 2 /ρ t = ρ t /ρ t 2 L 2 (µ γ. t) David A. Jekel (UCLA) Free Entropy YMC A / 24
30 Classical Fisher Information Classical case: Let µ be a probability measure on R m with density ρ. Let γ t be the law of a Gaussian random vector with variance ti. Then d dt h(µ γ t) = ρ t 2 /ρ t = ρ t /ρ t 2 L 2 (µ γ. t) The quantity ρ t /ρ t 2 L 2 (µ γ t) is called the Fisher information of µ γ t. The entropy can be recovered by integrating the Fisher information. David A. Jekel (UCLA) Free Entropy YMC A / 24
31 Classical Fisher Information Classical case: Let µ be a probability measure on R m with density ρ. Let γ t be the law of a Gaussian random vector with variance ti. Then d dt h(µ γ t) = ρ t 2 /ρ t = ρ t /ρ t 2 L 2 (µ γ. t) The quantity ρ t /ρ t 2 L 2 (µ γ t) is called the Fisher information of µ γ t. The entropy can be recovered by integrating the Fisher information. Intuition: The Fisher information measures the regularity of µ by looking at its derivatives. David A. Jekel (UCLA) Free Entropy YMC A / 24
32 Non-Microstates Free Entropy In the free case, there s no density, so we want to rephrase the definition using integration by parts. David A. Jekel (UCLA) Free Entropy YMC A / 24
33 Non-Microstates Free Entropy In the free case, there s no density, so we want to rephrase the definition using integration by parts. Classical Fisher information is L 2 norm of the conjugate variable ξ = ( ρ/ρ)(x ), which is characterized by an integration-by-parts formula E[ξf (X )] = E[ f (X )]. David A. Jekel (UCLA) Free Entropy YMC A / 24
34 Non-Microstates Free Entropy In the free case, there s no density, so we want to rephrase the definition using integration by parts. Classical Fisher information is L 2 norm of the conjugate variable ξ = ( ρ/ρ)(x ), which is characterized by an integration-by-parts formula E[ξf (X )] = E[ f (X )]. Voiculescu used a free version of this integration-by-parts formula in order to define the free conjugate variables and hence the free Fisher information. David A. Jekel (UCLA) Free Entropy YMC A / 24
35 Non-Microstates Free Entropy In the free case, there s no density, so we want to rephrase the definition using integration by parts. Classical Fisher information is L 2 norm of the conjugate variable ξ = ( ρ/ρ)(x ), which is characterized by an integration-by-parts formula E[ξf (X )] = E[ f (X )]. Voiculescu used a free version of this integration-by-parts formula in order to define the free conjugate variables and hence the free Fisher information. χ (µ) is defined by integrating the free Fisher information of µ σ t, where σ t is semicircular. David A. Jekel (UCLA) Free Entropy YMC A / 24
36 Free Gibbs Laws David A. Jekel (UCLA) Free Entropy YMC A / 24
37 Free Gibbs Laws Let V be a nice convex function on M N (C) m sa, such as V (x) = 1 2 x ɛ Re τ[f ((x 1 + i) 1,..., (x m + i) 1 )], for x = (x 1,..., x m ), where f is a non-commutative -polynomial, τ is normalized trace, x 2 2 = j τ(x j 2 ), and ɛ is small. David A. Jekel (UCLA) Free Entropy YMC A / 24
38 Free Gibbs Laws Let V be a nice convex function on M N (C) m sa, such as V (x) = 1 2 x ɛ Re τ[f ((x 1 + i) 1,..., (x m + i) 1 )], for x = (x 1,..., x m ), where f is a non-commutative -polynomial, τ is normalized trace, x 2 2 = j τ(x j 2 ), and ɛ is small. Define probability measure on M N (C) m sa) by where Z N is a normalizing constant. dµ N (x) = 1 Z N exp( N 2 V (x)) dx, David A. Jekel (UCLA) Free Entropy YMC A / 24
39 Free Gibbs Laws Theorem (Dabrowski, Guionnet, Shlyakhtenko,... ) For non-commutative polynomials p, the lim N E µn [τ(p(x ))] exists. Also, τ[p(x )] is close to the average with high probability under µ N ( concentration of measure ). David A. Jekel (UCLA) Free Entropy YMC A / 24
40 Free Gibbs Laws Theorem (Dabrowski, Guionnet, Shlyakhtenko,... ) For non-commutative polynomials p, the lim N E µn [τ(p(x ))] exists. Also, τ[p(x )] is close to the average with high probability under µ N ( concentration of measure ). Definition The free Gibbs law given by V is the law µ(p) = lim N E µn [τ(p(x ))]. David A. Jekel (UCLA) Free Entropy YMC A / 24
41 Some of the Proof David A. Jekel (UCLA) Free Entropy YMC A / 24
42 Strategy We want to show that χ(µ) is the integral of the free Fisher information of µ σ t. David A. Jekel (UCLA) Free Entropy YMC A / 24
43 Strategy We want to show that χ(µ) is the integral of the free Fisher information of µ σ t. From classical theory, h(µ N ) is the integral of the Fisher information for µ N σ t,n, where σ t,n is the law of Gaussian random matrix (GUE). David A. Jekel (UCLA) Free Entropy YMC A / 24
44 Strategy We want to show that χ(µ) is the integral of the free Fisher information of µ σ t. From classical theory, h(µ N ) is the integral of the Fisher information for µ N σ t,n, where σ t,n is the law of Gaussian random matrix (GUE). It suffices to show that h(µ N ) (normalized) converges to χ(µ) and the classical Fisher information of µ N σ t,n converges to the free Fisher information for µ σ t. David A. Jekel (UCLA) Free Entropy YMC A / 24
45 Two Easy Lemmas Lemma 1 χ(µ) is the lim sup of h(µ N ) (renormalized). Proof. Due to concentration of measure, µ N is a good approximation of the uniform distribution on a microstate space, so the entropy of µ N is a good approximation of the log volume of the microstate space. David A. Jekel (UCLA) Free Entropy YMC A / 24
46 Two Easy Lemmas Lemma 1 χ(µ) is the lim sup of h(µ N ) (renormalized). Proof. Due to concentration of measure, µ N is a good approximation of the uniform distribution on a microstate space, so the entropy of µ N is a good approximation of the log volume of the microstate space. Lemma 2 The Fisher information of µ N converges to the free Fisher information of µ. Proof. For the measure µ N, the conjugate variable ρ/ρ is simply DV (renormalized). The integration-by-parts formula passes to the limit, so DV is the free conjugate variable, and DV L 2 (µ N ) DV L 2 (µ). David A. Jekel (UCLA) Free Entropy YMC A / 24
47 Strategy 2 We need Lemma 2 to work for µ N σ t,n, not just for µ N. David A. Jekel (UCLA) Free Entropy YMC A / 24
48 Strategy 2 We need Lemma 2 to work for µ N σ t,n, not just for µ N. This measure is given by a potential V N,t, which is not given by exactly the same formula for all N. David A. Jekel (UCLA) Free Entropy YMC A / 24
49 Strategy 2 We need Lemma 2 to work for µ N σ t,n, not just for µ N. This measure is given by a potential V N,t, which is not given by exactly the same formula for all N. So we want to show that V N,t still has good asymptotic behavior as N. David A. Jekel (UCLA) Free Entropy YMC A / 24
50 Approximation Property Definition A sequence of functions φ N : M N (C) m sa M N (C) is asymptotically approximable by non-commutative polynomials if for every ɛ > 0 and R > 0, there exists a polynomial p such that lim sup N sup x M N (C) m sa x j R φ N (x) f (x) 2 ɛ. Lemma If V N is a sequence of convex potentials and DV N has the approximation property, then Lemma 2 still works. David A. Jekel (UCLA) Free Entropy YMC A / 24
51 Evolution of Potentials DV N = DV has the approximation property, and we want to show DV N,t has the approximation property. David A. Jekel (UCLA) Free Entropy YMC A / 24
52 Evolution of Potentials DV N = DV has the approximation property, and we want to show DV N,t has the approximation property. The potential evolves according to t V N,t = 1 2N V N,t 1 2 DV N,t 2 2 David A. Jekel (UCLA) Free Entropy YMC A / 24
53 Evolution of Potentials DV N = DV has the approximation property, and we want to show DV N,t has the approximation property. The potential evolves according to t V N,t = 1 2N V N,t 1 2 DV N,t 2 2 Using PDE tools and the convexity assumptions, we can build an approximate solution from V N using operations that preserve the approximation property (including convolution with GUE, composition, and limits). David A. Jekel (UCLA) Free Entropy YMC A / 24
54 Philosophical Remarks The strategy of proving χ = χ by taking the limit of finite-dimensional classical models is obvious. The question is how to carry it out technically... David A. Jekel (UCLA) Free Entropy YMC A / 24
55 Philosophical Remarks The strategy of proving χ = χ by taking the limit of finite-dimensional classical models is obvious. The question is how to carry it out technically... Like getting a camel to walk backwards, it s not apparent to an observer why this is so hard. But there are other situations where the convergence of finite-dimensional models to the idealized infinite limit is not as nice (e.g. higher-dimensional Coulomb gas Sylvia Serfaty). David A. Jekel (UCLA) Free Entropy YMC A / 24
56 Philosophical Remarks The strategy of proving χ = χ by taking the limit of finite-dimensional classical models is obvious. The question is how to carry it out technically... Like getting a camel to walk backwards, it s not apparent to an observer why this is so hard. But there are other situations where the convergence of finite-dimensional models to the idealized infinite limit is not as nice (e.g. higher-dimensional Coulomb gas Sylvia Serfaty). The asymptotic approximation property is a way to make precise the idea of having a well-defined and free-probabilistic limiting behavior. This could have other applications. David A. Jekel (UCLA) Free Entropy YMC A / 24
57 Philosophical Remarks The strategy of proving χ = χ by taking the limit of finite-dimensional classical models is obvious. The question is how to carry it out technically... Like getting a camel to walk backwards, it s not apparent to an observer why this is so hard. But there are other situations where the convergence of finite-dimensional models to the idealized infinite limit is not as nice (e.g. higher-dimensional Coulomb gas Sylvia Serfaty). The asymptotic approximation property is a way to make precise the idea of having a well-defined and free-probabilistic limiting behavior. This could have other applications. Thank you!! David A. Jekel (UCLA) Free Entropy YMC A / 24
The norm of polynomials in large random matrices
The norm of polynomials in large random matrices Camille Mâle, École Normale Supérieure de Lyon, Ph.D. Student under the direction of Alice Guionnet. with a significant contribution by Dimitri Shlyakhtenko.
More informationSome appications of free stochastic calculus to II 1 factors.
Some appications of free stochastic calculus to II 1 factors. Dima Shlyakhtenko UCLA Free Entropy Dimension (Voiculescu) G = S nitely generated discrete group, τ G : CF S C. ω Mn n = M 1 k=1 k k/{(x k
More informationFree Probability and Random Matrices: from isomorphisms to universality
Free Probability and Random Matrices: from isomorphisms to universality Alice Guionnet MIT TexAMP, November 21, 2014 Joint works with F. Bekerman, Y. Dabrowski, A.Figalli, E. Maurel-Segala, J. Novak, D.
More informationLecture III: Applications of Voiculescu s random matrix model to operator algebras
Lecture III: Applications of Voiculescu s random matrix model to operator algebras Steen Thorbjørnsen, University of Aarhus Voiculescu s Random Matrix Model Theorem [Voiculescu]. For each n in N, let X
More informationFree Transport for convex potentials
. Université Lyon 1 - Institut Camille Jordan (Joint work with Alice Guionnet and Dimitri Shlyakhtenko) Berkeley, March 2014 Overview 1 Introduction to classical and free transport Classical transport
More informationApplications of the time derivative of the L 2 -Wasserstein distance and the free entropy dissipation
Applications of the time derivative of the L 2 -Wasserstein distance and the free entropy dissipation Hiroaki YOSHIDA Ochanomizu University Tokyo, Japan at Fields Institute 23 July, 2013 Plan of talk 1.
More informationLimit Laws for Random Matrices from Traffic Probability
Limit Laws for Random Matrices from Traffic Probability arxiv:1601.02188 Slides available at math.berkeley.edu/ bensonau Benson Au UC Berkeley May 9th, 2016 Benson Au (UC Berkeley) Random Matrices from
More informationFree Talagrand Inequality, a Simple Proof. Ionel Popescu. Northwestern University & IMAR
Free Talagrand Inequality, a Simple Proof Ionel Popescu Northwestern University & IMAR A Joke If F : [0, 1] Ris a smooth convex function such that F(0)=F (0)=0, then F(t) 0 for any t [0, 1]. Proof. F is
More informationUCLA UCLA Electronic Theses and Dissertations
UCLA UCLA Electronic Theses and Dissertations Title Approximations in Operator Theory and Free Probability Permalink https://escholarship.org/uc/item/9wv6f1z6 Author Skoufranis, Paul Daniel Publication
More informationSpectral Continuity Properties of Graph Laplacians
Spectral Continuity Properties of Graph Laplacians David Jekel May 24, 2017 Overview Spectral invariants of the graph Laplacian depend continuously on the graph. We consider triples (G, x, T ), where G
More informationMixed q-gaussian algebras and free transport
Mixed q-gaussian algebras and free transport Qiang Zeng (Northwestern University) Joint with Marius Junge (Urbana) and Brent Nelson (Berkeley) Free probability and large N limit, V Berkeley, March 2016
More informationAn inverse of Sanov s theorem
An inverse of Sanov s theorem Ayalvadi Ganesh and Neil O Connell BRIMS, Hewlett-Packard Labs, Bristol Abstract Let X k be a sequence of iid random variables taking values in a finite set, and consider
More informationKernel Method: Data Analysis with Positive Definite Kernels
Kernel Method: Data Analysis with Positive Definite Kernels 2. Positive Definite Kernel and Reproducing Kernel Hilbert Space Kenji Fukumizu The Institute of Statistical Mathematics. Graduate University
More informationOperator-Valued Free Probability Theory and Block Random Matrices. Roland Speicher Queen s University Kingston
Operator-Valued Free Probability Theory and Block Random Matrices Roland Speicher Queen s University Kingston I. Operator-valued semicircular elements and block random matrices II. General operator-valued
More informationFree probability and quantum information
Free probability and quantum information Benoît Collins WPI-AIMR, Tohoku University & University of Ottawa Tokyo, Nov 8, 2013 Overview Overview Plan: 1. Quantum Information theory: the additivity problem
More informationOperator norm convergence for sequence of matrices and application to QIT
Operator norm convergence for sequence of matrices and application to QIT Benoît Collins University of Ottawa & AIMR, Tohoku University Cambridge, INI, October 15, 2013 Overview Overview Plan: 1. Norm
More informationParadigms of Probabilistic Modelling
Paradigms of Probabilistic Modelling Hermann G. Matthies Brunswick, Germany wire@tu-bs.de http://www.wire.tu-bs.de abstract RV-measure.tex,v 4.5 2017/07/06 01:56:46 hgm Exp Overview 2 1. Motivation challenges
More informationSpectral Theory of Orthogonal Polynomials
Spectral Theory of Orthogonal Barry Simon IBM Professor of Mathematics and Theoretical Physics California Institute of Technology Pasadena, CA, U.S.A. Lecture 2: Szegö Theorem for OPUC for S Spectral Theory
More informationELEMENTS OF PROBABILITY THEORY
ELEMENTS OF PROBABILITY THEORY Elements of Probability Theory A collection of subsets of a set Ω is called a σ algebra if it contains Ω and is closed under the operations of taking complements and countable
More informationA class of non-convex polytopes that admit no orthonormal basis of exponentials
A class of non-convex polytopes that admit no orthonormal basis of exponentials Mihail N. Kolountzakis and Michael Papadimitrakis 1 Abstract A conjecture of Fuglede states that a bounded measurable set
More informationLecture Notes 3 Convergence (Chapter 5)
Lecture Notes 3 Convergence (Chapter 5) 1 Convergence of Random Variables Let X 1, X 2,... be a sequence of random variables and let X be another random variable. Let F n denote the cdf of X n and let
More informationThe Central Limit Theorem: More of the Story
The Central Limit Theorem: More of the Story Steven Janke November 2015 Steven Janke (Seminar) The Central Limit Theorem:More of the Story November 2015 1 / 33 Central Limit Theorem Theorem (Central Limit
More informationInformation geometry for bivariate distribution control
Information geometry for bivariate distribution control C.T.J.Dodson + Hong Wang Mathematics + Control Systems Centre, University of Manchester Institute of Science and Technology Optimal control of stochastic
More informationExponential tail inequalities for eigenvalues of random matrices
Exponential tail inequalities for eigenvalues of random matrices M. Ledoux Institut de Mathématiques de Toulouse, France exponential tail inequalities classical theme in probability and statistics quantify
More informationLecture I: Asymptotics for large GUE random matrices
Lecture I: Asymptotics for large GUE random matrices Steen Thorbjørnsen, University of Aarhus andom Matrices Definition. Let (Ω, F, P) be a probability space and let n be a positive integer. Then a random
More informationPhenomena in high dimensions in geometric analysis, random matrices, and computational geometry Roscoff, France, June 25-29, 2012
Phenomena in high dimensions in geometric analysis, random matrices, and computational geometry Roscoff, France, June 25-29, 202 BOUNDS AND ASYMPTOTICS FOR FISHER INFORMATION IN THE CENTRAL LIMIT THEOREM
More informationMean-field dual of cooperative reproduction
The mean-field dual of systems with cooperative reproduction joint with Tibor Mach (Prague) A. Sturm (Göttingen) Friday, July 6th, 2018 Poisson construction of Markov processes Let (X t ) t 0 be a continuous-time
More informationOpen Questions in Quantum Information Geometry
Open Questions in Quantum Information Geometry M. R. Grasselli Department of Mathematics and Statistics McMaster University Imperial College, June 15, 2005 1. Classical Parametric Information Geometry
More informationFrom Boltzmann Equations to Gas Dynamics: From DiPerna-Lions to Leray
From Boltzmann Equations to Gas Dynamics: From DiPerna-Lions to Leray C. David Levermore Department of Mathematics and Institute for Physical Science and Technology University of Maryland, College Park
More informationOn the uniform Opial property
We consider the noncommutative modular function spaces of measurable operators affiliated with a semifinite von Neumann algebra and show that they are complete with respect to their modular. We prove that
More informationBrownian motion. Samy Tindel. Purdue University. Probability Theory 2 - MA 539
Brownian motion Samy Tindel Purdue University Probability Theory 2 - MA 539 Mostly taken from Brownian Motion and Stochastic Calculus by I. Karatzas and S. Shreve Samy T. Brownian motion Probability Theory
More informationANALYSIS & PDE. mathematical sciences publishers DIMITRI SHLYAKHTENKO LOWER ESTIMATES ON MICROSTATES FREE ENTROPY DIMENSION
ANALYSIS & PDE Volume 2 No. 2 2009 DIMITRI SHLYAKHTENKO LOWER ESTIMATES ON MICROSTATES FREE ENTROPY DIMENSION mathematical sciences publishers ANALYSIS AND PDE Vol. 2, No. 2, 2009 LOWER ESTIMATES ON MICROSTATES
More informationFree Convolution with A Free Multiplicative Analogue of The Normal Distribution
Free Convolution with A Free Multiplicative Analogue of The Normal Distribution Ping Zhong Indiana University Bloomington July 23, 2013 Fields Institute, Toronto Ping Zhong free multiplicative analogue
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationGlobal Maxwellians over All Space and Their Relation to Conserved Quantites of Classical Kinetic Equations
Global Maxwellians over All Space and Their Relation to Conserved Quantites of Classical Kinetic Equations C. David Levermore Department of Mathematics and Institute for Physical Science and Technology
More informationBERNOULLI ACTIONS AND INFINITE ENTROPY
BERNOULLI ACTIONS AND INFINITE ENTROPY DAVID KERR AND HANFENG LI Abstract. We show that, for countable sofic groups, a Bernoulli action with infinite entropy base has infinite entropy with respect to every
More informationB553 Lecture 1: Calculus Review
B553 Lecture 1: Calculus Review Kris Hauser January 10, 2012 This course requires a familiarity with basic calculus, some multivariate calculus, linear algebra, and some basic notions of metric topology.
More informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
More information2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.
University of Bergen General Functional Analysis Problems with solutions 6 ) Prove that is unique in any normed space. Solution of ) Let us suppose that there are 2 zeros and 2. Then = + 2 = 2 + = 2. 2)
More informationMicroscopic behavior for β-ensembles: an energy approach
Microscopic behavior for β-ensembles: an energy approach Thomas Leblé (joint with/under the supervision of) Sylvia Serfaty Université Paris 6 BIRS workshop, 14 April 2016 Thomas Leblé (Université Paris
More informationSolution. For one question the mean grade is ḡ 1 = 10p = 8 and the standard deviation is 1 = g
Exam 23 -. To see how much of the exam grade spread is pure luck, consider the exam with ten identically difficult problems of ten points each. The exam is multiple-choice that is the correct choice of
More informationTesting Algebraic Hypotheses
Testing Algebraic Hypotheses Mathias Drton Department of Statistics University of Chicago 1 / 18 Example: Factor analysis Multivariate normal model based on conditional independence given hidden variable:
More informationarxiv:math/ v1 [math.oa] 4 Apr 2005
NOTES ON FREE PROBABILITY THEORY arxiv:math/0504063v1 [math.oa] 4 Apr 2005 DIMITRI SHLYAKHTENKO. These notes are from a 4-lecture mini-course taught by the author at the conference on von Neumann algebras
More informationLogarithmic Sobolev Inequalities
Logarithmic Sobolev Inequalities M. Ledoux Institut de Mathématiques de Toulouse, France logarithmic Sobolev inequalities what they are, some history analytic, geometric, optimal transportation proofs
More informationSome basic elements of Probability Theory
Chapter I Some basic elements of Probability Theory 1 Terminology (and elementary observations Probability theory and the material covered in a basic Real Variables course have much in common. However
More informationA new approach to quantum metrics. Nik Weaver. (joint work with Greg Kuperberg, in progress)
A new approach to quantum metrics Nik Weaver (joint work with Greg Kuperberg, in progress) Definition. A dual operator system is a linear subspace V of B(H) such that I V A V implies A V V is weak*-closed.
More informationSpectral Mapping Theorem
Spectral Mapping Theorem Dan Sievewright Definition of a Hilbert space Let H be a Hilbert space over C. 1) H is a vector space over C. 2) H has an inner product, : H H C with the following properties.
More informationLocally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi
More informationTopics in Harmonic Analysis Lecture 1: The Fourier transform
Topics in Harmonic Analysis Lecture 1: The Fourier transform Po-Lam Yung The Chinese University of Hong Kong Outline Fourier series on T: L 2 theory Convolutions The Dirichlet and Fejer kernels Pointwise
More informationThe Lindeberg central limit theorem
The Lindeberg central limit theorem Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto May 29, 205 Convergence in distribution We denote by P d the collection of Borel probability
More informationOperator-Valued Non-Commutative Probability. David Jekel. July 30, 2018
Operator-Valued Non-Commutative Probability David Jekel July 30, 2018 Contents Contents Preface i iii 1 Setup of the A-Valued Theory 1 1.1 Background on C -algebras............................. 1 1.2 Right
More informationNonparametric Drift Estimation for Stochastic Differential Equations
Nonparametric Drift Estimation for Stochastic Differential Equations Gareth Roberts 1 Department of Statistics University of Warwick Brazilian Bayesian meeting, March 2010 Joint work with O. Papaspiliopoulos,
More informationConvergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets
Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets Milan Korda 1, Didier Henrion,3,4 Draft of December 1, 016 Abstract Moment-sum-of-squares hierarchies
More information2 Measure Theory. 2.1 Measures
2 Measure Theory 2.1 Measures A lot of this exposition is motivated by Folland s wonderful text, Real Analysis: Modern Techniques and Their Applications. Perhaps the most ubiquitous measure in our lives
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationFrom random matrices to free groups, through non-crossing partitions. Michael Anshelevich
From random matrices to free groups, through non-crossing partitions Michael Anshelevich March 4, 22 RANDOM MATRICES For each N, A (N), B (N) = independent N N symmetric Gaussian random matrices, i.e.
More informationKernels A Machine Learning Overview
Kernels A Machine Learning Overview S.V.N. Vishy Vishwanathan vishy@axiom.anu.edu.au National ICT of Australia and Australian National University Thanks to Alex Smola, Stéphane Canu, Mike Jordan and Peter
More informationNon commutative Khintchine inequalities and Grothendieck s theo
Non commutative Khintchine inequalities and Grothendieck s theorem Nankai, 2007 Plan Non-commutative Khintchine inequalities 1 Non-commutative Khintchine inequalities 2 µ = Uniform probability on the set
More informationi=1 β i,i.e. = β 1 x β x β 1 1 xβ d
66 2. Every family of seminorms on a vector space containing a norm induces ahausdorff locally convex topology. 3. Given an open subset Ω of R d with the euclidean topology, the space C(Ω) of real valued
More informationLecture 12. F o s, (1.1) F t := s>t
Lecture 12 1 Brownian motion: the Markov property Let C := C(0, ), R) be the space of continuous functions mapping from 0, ) to R, in which a Brownian motion (B t ) t 0 almost surely takes its value. Let
More informationThe Lebesgue Integral
The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters
More informationX n D X lim n F n (x) = F (x) for all x C F. lim n F n(u) = F (u) for all u C F. (2)
14:17 11/16/2 TOPIC. Convergence in distribution and related notions. This section studies the notion of the so-called convergence in distribution of real random variables. This is the kind of convergence
More informationA COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 )
Electronic Journal of Differential Equations, Vol. 2006(2006), No. 5, pp. 6. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) A COUNTEREXAMPLE
More informationRUTGERS UNIVERSITY GRADUATE PROGRAM IN MATHEMATICS Written Qualifying Examination August, Session 1. Algebra
RUTGERS UNIVERSITY GRADUATE PROGRAM IN MATHEMATICS Written Qualifying Examination August, 2014 Session 1. Algebra The Qualifying Examination consists of three two-hour sessions. This is the first session.
More informationMath 127: Course Summary
Math 27: Course Summary Rich Schwartz October 27, 2009 General Information: M27 is a course in functional analysis. Functional analysis deals with normed, infinite dimensional vector spaces. Usually, these
More informationWEYL S LEMMA, ONE OF MANY. Daniel W. Stroock
WEYL S LEMMA, ONE OF MANY Daniel W Stroock Abstract This note is a brief, and somewhat biased, account of the evolution of what people working in PDE s call Weyl s Lemma about the regularity of solutions
More informationRECTANGULAR RANDOM MATRICES, ENTROPY, AND FISHER S INFORMATION
J. OPERATOR THEORY 00:0(XXXX), 00 00 Copyright by THETA, XXXX RECTANGULAR RANDOM MATRICES, ENTROPY, AND FISHER S INFORMATION FLORENT BENAYCH-GEORGES Communicated by Serban Stratila ABSTRACT. We prove that
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More informationReducing subspaces. Rowan Killip 1 and Christian Remling 2 January 16, (to appear in J. Funct. Anal.)
Reducing subspaces Rowan Killip 1 and Christian Remling 2 January 16, 2001 (to appear in J. Funct. Anal.) 1. University of Pennsylvania, 209 South 33rd Street, Philadelphia PA 19104-6395, USA. On leave
More informationOn continuous time contract theory
Ecole Polytechnique, France Journée de rentrée du CMAP, 3 octobre, 218 Outline 1 2 Semimartingale measures on the canonical space Random horizon 2nd order backward SDEs (Static) Principal-Agent Problem
More informationLecture Notes Introduction to Ergodic Theory
Lecture Notes Introduction to Ergodic Theory Tiago Pereira Department of Mathematics Imperial College London Our course consists of five introductory lectures on probabilistic aspects of dynamical systems,
More informationAsymptotics for posterior hazards
Asymptotics for posterior hazards Pierpaolo De Blasi University of Turin 10th August 2007, BNR Workshop, Isaac Newton Intitute, Cambridge, UK Joint work with Giovanni Peccati (Université Paris VI) and
More informationHölder Continuity of Cumulative Distribution Functions for Noncommutative Polynomials under Finite Free Fisher Information
Hölder Continuity of Cumulative Distribution Functions for Noncommutative Polynomials under Finite Free Fisher Information MAWA BANNA AND TOBIAS MAI Abstract. This paper contributes to the current studies
More informationCharacterizations of free Meixner distributions
Characterizations of free Meixner distributions Texas A&M University March 26, 2010 Jacobi parameters. Matrix. β 0 γ 0 0 0... 1 β 1 γ 1 0.. m n J =. 0 1 β 2 γ.. 2 ; J n =. 0 0 1 β.. 3............... A
More informationLecture 6 Basic Probability
Lecture 6: Basic Probability 1 of 17 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 6 Basic Probability Probability spaces A mathematical setup behind a probabilistic
More informationGradient Gibbs measures with disorder
Gradient Gibbs measures with disorder Codina Cotar University College London April 16, 2015, Providence Partly based on joint works with Christof Külske Outline 1 The model 2 Questions 3 Known results
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationMathematical Methods for Neurosciences. ENS - Master MVA Paris 6 - Master Maths-Bio ( )
Mathematical Methods for Neurosciences. ENS - Master MVA Paris 6 - Master Maths-Bio (2014-2015) Etienne Tanré - Olivier Faugeras INRIA - Team Tosca November 26th, 2014 E. Tanré (INRIA - Team Tosca) Mathematical
More informationConcentration Inequalities for Random Matrices
Concentration Inequalities for Random Matrices M. Ledoux Institut de Mathématiques de Toulouse, France exponential tail inequalities classical theme in probability and statistics quantify the asymptotic
More informationControlled Diffusions and Hamilton-Jacobi Bellman Equations
Controlled Diffusions and Hamilton-Jacobi Bellman Equations Emo Todorov Applied Mathematics and Computer Science & Engineering University of Washington Winter 2014 Emo Todorov (UW) AMATH/CSE 579, Winter
More informationA note on adiabatic theorem for Markov chains and adiabatic quantum computation. Yevgeniy Kovchegov Oregon State University
A note on adiabatic theorem for Markov chains and adiabatic quantum computation Yevgeniy Kovchegov Oregon State University Introduction Max Born and Vladimir Fock in 1928: a physical system remains in
More informationIntroduction to Empirical Processes and Semiparametric Inference Lecture 08: Stochastic Convergence
Introduction to Empirical Processes and Semiparametric Inference Lecture 08: Stochastic Convergence Michael R. Kosorok, Ph.D. Professor and Chair of Biostatistics Professor of Statistics and Operations
More informationNotes 1 : Measure-theoretic foundations I
Notes 1 : Measure-theoretic foundations I Math 733-734: Theory of Probability Lecturer: Sebastien Roch References: [Wil91, Section 1.0-1.8, 2.1-2.3, 3.1-3.11], [Fel68, Sections 7.2, 8.1, 9.6], [Dur10,
More informationarxiv: v1 [math.oa] 10 May 2018
THE FREE FIELD: ZERO DIVISORS, ATIYAH PROPERTY AND REALIZATIONS VIA UNBOUNDED OPERATORS TOBIAS MAI, ROLAND SPEICHER, AND SHENG YIN arxiv:1805.04150v1 [math.oa] 10 May 2018 Abstract. We consider noncommutative
More informationIntroduction to Microlocal Analysis
Introduction to Microlocal Analysis First lecture: Basics Dorothea Bahns (Göttingen) Third Summer School on Dynamical Approaches in Spectral Geometry Microlocal Methods in Global Analysis University of
More informationAsymptotic Behavior of Fragmentation-drift Equations with Variable Drift Rates
Asymptotic Behavior of Fragmentation-drift Equations with Variable Drift Rates Daniel Balagué joint work with José A. Cañizo and Pierre GABRIEL (in preparation) Universitat Autònoma de Barcelona SIAM Conference
More informationContraction Coefficients for Noisy Quantum Channels
Contraction Coefficients for Noisy Quantum Channels Mary Beth Ruskai ruskai@member.ams.org joint work with F. Hiai Daejeon February, 2016 1 M. B. Ruskai Contraction of Quantum Channels Recall Relative
More informationSpectral theory for compact operators on Banach spaces
68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Week 2 November 6 November Deadline to hand in the homeworks: your exercise class on week 9 November 13 November Exercises (1) Let X be the following space of piecewise
More informationLecture 5. If we interpret the index n 0 as time, then a Markov chain simply requires that the future depends only on the present and not on the past.
1 Markov chain: definition Lecture 5 Definition 1.1 Markov chain] A sequence of random variables (X n ) n 0 taking values in a measurable state space (S, S) is called a (discrete time) Markov chain, if
More informationMath 209B Homework 2
Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact
More informationVariable Exponents Spaces and Their Applications to Fluid Dynamics
Variable Exponents Spaces and Their Applications to Fluid Dynamics Martin Rapp TU Darmstadt November 7, 213 Martin Rapp (TU Darmstadt) Variable Exponent Spaces November 7, 213 1 / 14 Overview 1 Variable
More informationIntroduction to Index Theory. Elmar Schrohe Institut für Analysis
Introduction to Index Theory Elmar Schrohe Institut für Analysis Basics Background In analysis and pde, you want to solve equations. In good cases: Linearize, end up with Au = f, where A L(E, F ) is a
More informationThe Free Central Limit Theorem: A Combinatorial Approach
The Free Central Limit Theorem: A Combinatorial Approach by Dennis Stauffer A project submitted to the Department of Mathematical Sciences in conformity with the requirements for Math 4301 (Honour s Seminar)
More informationLarge deviations for random walks under subexponentiality: the big-jump domain
Large deviations under subexponentiality p. Large deviations for random walks under subexponentiality: the big-jump domain Ton Dieker, IBM Watson Research Center joint work with D. Denisov (Heriot-Watt,
More informationThe Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition
The Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition Sukjung Hwang CMAC, Yonsei University Collaboration with M. Dindos and M. Mitrea The 1st Meeting of
More informationMeasures, orthogonal polynomials, and continued fractions. Michael Anshelevich
Measures, orthogonal polynomials, and continued fractions Michael Anshelevich November 7, 2008 MEASURES AND ORTHOGONAL POLYNOMIALS. MEASURES AND ORTHOGONAL POLYNOMIALS. µ a positive measure on R. 2 MEASURES
More informationINTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION
1 INTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION Eduard EMELYANOV Ankara TURKEY 2007 2 FOREWORD This book grew out of a one-semester course for graduate students that the author have taught at
More informationWeak convergence and Brownian Motion. (telegram style notes) P.J.C. Spreij
Weak convergence and Brownian Motion (telegram style notes) P.J.C. Spreij this version: December 8, 2006 1 The space C[0, ) In this section we summarize some facts concerning the space C[0, ) of real
More informationarxiv:math/ v1 [math.pr] 27 Oct 1995
Volumes of Restricted Minkowski Sums and the Free Analogue of the Entropy Power Inequality arxiv:math/9510203v1 [math.pr] 27 Oct 1995 Stanislaw J. Szarek Department of Mathematics Case Western Reserve
More information