Random Walks on Finite Quantum Groups
|
|
- Dwight Weaver
- 5 years ago
- Views:
Transcription
1 Random Walks on Finite Quantum Groups Diaconis-Shahshahani Upper Bound Lemma for Finite Quantum Groups J.P. McCarthy Cork Institute of Technology 17 May 2017 Seoul National University
2 The Classical Problem Given a finite group, G, and elements ζ i G chosen according to a fixed probability distribution (ν M p (G)), the sequence of random variables {ξ i } k i=1 given by: ξ i := ζ i ζ 2 ζ 1, is called a (right-invariant) random walk on G driven by ν. The distribution of ξ k is given by where ν} {{ ν ν} =: ν k, k copies µ ν(s) = t G µ(st 1 )ν(t). Denote by π M p (G) the uniform or random distribution. The distance to random is measured by the total variation distance: ν k π TV = sup ν k (S) π(s) = 1 S G 2 ν k π l 1.
3 Diaconis-Shahshahani Theory Every group representation ρ : G GL(V ) splits into a direct sum of irreducible representations where ρ α : G GL(V α ) with dim(v α ) =: d α.
4 Diaconis-Shahshahani Theory Every group representation ρ : G GL(V ) splits into a direct sum of irreducible representations where ρ α : G GL(V α ) with dim(v α ) =: d α. Definition: (used by Diaconis) The Fourier Transform of ν M p (G) is a linear map: ν L(V α ); ν Irr(G) where the Fourier Transform of ν at the representation ρ α is: ν Vα =: ν(α) = t G ν(t)ρ α (t).
5 Diaconis-Shahshahani Theory Every group representation ρ : G GL(V ) splits into a direct sum of irreducible representations where ρ α : G GL(V α ) with dim(v α ) =: d α. Definition: (used by Diaconis) The Fourier Transform of ν M p (G) is a linear map: ν L(V α ); ν Irr(G) where the Fourier Transform of ν at the representation ρ α is: ν Vα =: ν(α) = t G ν(t)ρ α (t). Upper Bound Lemma: Where τ is the trivial representation, ν k π 2 TV 1 [ d α Tr ( ν (α) ) k ν (α) k]. 4 α Irr(G)\{τ} (Diaconis & Shahshahani (1981))
6 Examples Simple Random Walk on Circle, Z n step left/right with equal probability; close to random in O(n 2 ) steps. Random Walk on the Hypercube, Z n 2 stick or move to one 1 of the nearest neighbours with equal probability, n+1 ; close to random in O ( 1 4 n ln n) steps. Random Transposition Shuffle of S n swap two cards chosen at random; close to random in O ( 1 2 n ln n) steps. Diaconis (1988)
7 Quantum Diaconis-Shahshahani Theory? Consider again the Upper Bound Lemma: ν k π α Irr(G)\{τ} [ d α Tr ( ν (α) ) k ν (α) k]. Note there is no reference to points in the space G. While it appears that ν(α) is defined with respect to points, it is actually a sum over points, a rôle played by the Haar state h: 1 f (t) = h(f ). G }{{} t G }{{} quantum: no reference to points classical: references points t G
8 Quantum Diaconis-Shahshahani Theory? Consider again the Upper Bound Lemma: ν k π α Irr(G)\{τ} [ d α Tr ( ν (α) ) k ν (α) k]. Note there is no reference to points in the space G. While it appears that ν(α) is defined with respect to points, it is actually a sum over points, a rôle played by the Haar state h: 1 f (t) = h(f ). G }{{} t G }{{} quantum: no reference to points classical: references points t G...and quantum groups have (co)representations. (This work uses the κ : V V F (G), e j i e i ρ ij formulation).
9 Random Walks on Finite Quantum Groups Definition: The algebra of functions on a (finite) quantum group G, is a finite-dimensional C -Hopf algebra A =: F (G). Early work on quantum stochastic processes by various authors led to random walks on duals of compact groups (particularly Biane) and other examples, but Franz & Gohm (2005) define with clarity a random walk on a finite quantum group. Definition: The sequence of random variables {j i } k i=0 j k = (k) : F (G) F (G), with distributions given by k+1 copies Ψ k j k = (ν k ε) (k) = ν k, (ν M p (G)), is called a right-invariant random walk on G driven by ν.
10 Distance to Random Definition: The random distribution on a finite quantum group, G, is given by the Haar state: π := := h : F (G) C. G Therefore the distance to random might be defined with respect to some norm,, on the quantum group ring CG: ν k π.
11 Distance to Random Definition: The random distribution on a finite quantum group, G, is given by the Haar state: π := := h : F (G) C. G Therefore the distance to random might be defined with respect to some norm,, on the quantum group ring CG: ν k π. The very important question: What are necessary and sufficient conditions on ν M p (G) to ensure that ν k π? is open. In the classical case ν must not be concentrated on a subgroup (irreducibility) nor a coset of a normal subgroup (aperiodicity).
12 Distance to Random For ν k π to be called a quantum total variation distance, such a norm must have three properties: Agreement in the classical case: ν k π = ν k π TV, A Cauchy Schwarz-type inequality (UBL is for a 2 ): ν k π c ν k π 2, For lower bounds, a presentation as a supremum: ν k π = sup F (s, ν k π). s S
13 Distance to Random Consider the one-norm on F (G): a F (G) 1 = G a.
14 Distance to Random Consider the one-norm on F (G): a F (G) 1 = G a. The bijective map F : F (G) CG, defined by F(a)b = ba, allows the norm of elements of CG to be calculated back in F (G), and indeed the norm ν k π := 1 2 F 1 (ν k π) F (G) 1, has the three properties required in order for ν k π to be defined as a quantum total variation distance. G
15 Distance to Random Agreement in the classical case follows from F 1 (δ s ) = G δ s and (ν k π)(δ s ) R for ν M p (G).
16 Distance to Random Agreement in the classical case follows from F 1 (δ s ) = G δ s and (ν k π)(δ s ) R for ν M p (G). Using the map F : F (G) CG an (unnormalised) Haar integral ĥ : CG C on CG may be defined by: ĥ(f(a)) = ε(a) ; e.g. ĥ = ε F 1, and used to define a two-norm on CG: µ CG 2 = ĥ( µ 2 ).
17 Distance to Random Consider the two-norm on F (G): a F (G) 2 = a 2. G Van Daele (2006) proved a Plancherel Theorem: a F (G) 2 = F(a) CG 2,
18 Distance to Random Consider the two-norm on F (G): a F (G) 2 = a 2. G Van Daele (2006) proved a Plancherel Theorem: a F (G) 2 = F(a) CG 2, and using a standard non-commutative L p -space Cauchy Schwarz Inequality: ν k π 1 2 F 1 (ν k π) F (G) 2 = 1 2 ν k π CG 2. The Upper Bound Lemma expresses the square of ν k π CG 2 as a sum over non-trivial representations.
19 Distance to Random There is also a supremum-presentation for lower bounds: ν k π = 1 2 sup φ F (G): φ F (G) 1 ν k (φ) π(φ).
20 Distance to Random There is also a supremum-presentation for lower bounds: ν k π = 1 2 sup φ F (G): φ F (G) 1 ν k (φ) π(φ). The guise of the classical definition favoured by probabilists ν k π TV = sup ν k (S) π(s), S G may be adapted to the quantum case. Define a subset S G by a projection 1 S ; and 1 G = 1 F (G). Then φ = 21 S 1 G is a suitable test function and ν k π ν k (1 S ) π(1 S ).
21 Diaconis-Van Daele Theory Definition: (Simeng Wang (2014)) The Fourier Transform of ν M p (G) is a linear map: ν α Irr(G) L(V α ), where the Fourier Transform of ν at the representation κ α is given by: ν Vα =: ν(α) = (I Vα ν) κ α.
22 Diaconis-Van Daele Theory Definition: (Simeng Wang (2014)) The Fourier Transform of ν M p (G) is a linear map: ν α Irr(G) L(V α ), where the Fourier Transform of ν at the representation κ α is given by: ν Vα =: ν(α) = (I Vα ν) κ α. The map F : F (G) CG also allows a Fourier Transform of a F (G) at the representation κ α to be defined: â(α) := F(a)(α).
23 Diaconis-Van Daele Theory Using the results of Van Daele (concerning the map F), it can be shown that the properties of the classical Fourier Transform ν(ρ α ), that are used to prove the classical Upper Bound Lemma, are also shared by the quantum ν(κ α ).
24 Diaconis-Van Daele Theory Using the results of Van Daele (concerning the map F), it can be shown that the properties of the classical Fourier Transform ν(ρ α ), that are used to prove the classical Upper Bound Lemma, are also shared by the quantum ν(κ α ). For example, the sum over irreducible representations comes from the classical ν(δ e ) = 1 d α Tr [ ν(α)] ; G α Irr(G) which has a generalisation to finite quantum groups: ĥ(ν) = d α Tr [ ν(α)]. α Irr(G)
25 Upper Bound Lemma Leaning heavily on the Kac condition and the traciality of G, the Upper Bound Lemma for Finite Quantum Groups follows in a similar manner to that of the classical result of Diaconis and Shahshahani. In the notation that is used, the classical Upper Bound Lemma: ν k π α Irr(G)\{τ} and the quantum Upper Bound Lemma: ν k π α Irr(G)\{τ} are essentially the same thing. [ d α Tr ( ν (α) ) k ν (α) k], [ d α Tr ( ν (α) ) k ν (α) k].
26 A Walk on Sekine Quantum Group The Sekine Quantum Group (1996) KP n of order 2n 2 may be realised on F (KP n ) = i,j Z n Ce (i,j) M n (C), with a suitably defined comultiplication. The quantum group KP 2 is commonly mistaken for the Kac-Paljutkin quantum group of order 8. In fact KP 2 = D4.
27 A Walk on Sekine Quantum Group The Sekine Quantum Group (1996) KP n of order 2n 2 may be realised on F (KP n ) = i,j Z n Ce (i,j) M n (C), with a suitably defined comultiplication. The quantum group KP 2 is commonly mistaken for the Kac-Paljutkin quantum group of order 8. In fact KP 2 = D4. Restrict to n odd and consider the random walk driven by ν = 1 4 (e(0,1) + e (1,0) + E 11 + E 12 + E 21 + E 22 ) M p (KP n ).
28 A Walk on Sekine Quantum Group The Sekine Quantum Group (1996) KP n of order 2n 2 may be realised on F (KP n ) = i,j Z n Ce (i,j) M n (C), with a suitably defined comultiplication. The quantum group KP 2 is commonly mistaken for the Kac-Paljutkin quantum group of order 8. In fact KP 2 = D4. Restrict to n odd and consider the random walk driven by ν = 1 4 (e(0,1) + e (1,0) + E 11 + E 12 + E 21 + E 22 ) M p (KP n ). Franz & Skalski (2009) contains formulae which can be used to understand ν k.
29 A Walk on the Sekine Quantum Groups These formulae show that ν k (E ij ) = 0 if i j 0, 1; i.e. off the subdiagonal, the superdiagonal and the diagonal. Regarding the open question mentioned earlier, how can one tell if ν k π?
30 A Walk on the Sekine Quantum Groups These formulae show that ν k (E ij ) = 0 if i j 0, 1; i.e. off the subdiagonal, the superdiagonal and the diagonal. Regarding the open question mentioned earlier, how can one tell if ν k π? In theory, the Upper Bound Lemma can be used in specific cases to answer this very question and indeed in this case ν k π 2 α Irr(KP n)\τ d α Tr [ ( ν (α) ) k ν (α) k] 0. k
31 A Walk on the Sekine Quantum Groups These formulae show that ν k (E ij ) = 0 if i j 0, 1; i.e. off the subdiagonal, the superdiagonal and the diagonal. Regarding the open question mentioned earlier, how can one tell if ν k π? In theory, the Upper Bound Lemma can be used in specific cases to answer this very question and indeed in this case ν k π 2 α Irr(KP n)\τ d α Tr [ ( ν (α) ) k ν (α) k] 0. k One must control terms at 2n 1 one dimensional representations and ( n 2) two dimensional representations. This convergence shows that, with respect to the dual basis: ν k π = 1 2n 2 e (i,j) + 1 2n I n. i,j Z n
32 A Walk on the Sekine Quantum Groups Upper Bound: For k = n αn2 with α 1 and n 7 ν k π e απ2.
33 A Walk on the Sekine Quantum Groups Upper Bound: For k = n αn2 with α 1 and n 7 It should be possible to reduce α. ν k π e απ2. The upper bound for the walk on is dominated by (n 1)/2 representations in particular. The upper bound for these terms: 2 n 1 2 v=1 ( cos 4k 2 πv ) 4e π2 (2k 1)/n 2 ; n is quite sharp. The lower bound ( ) 1 2n ν k 1 CE n+1, 2, n+1 2 in particular might deserve further analysis.
34 Some Questions Irreducibility is harder than the classical case (where not concentrated on a subgroup is enough). Can anything be said about aperiodicity in the quantum case? (U. Franz). Can a lower bound for the studied random walk on KP n, comparable with the upper bound for O(n 2 ) steps, be found? Using a matrix element as a test element, independent of n, crudely, ν k π 1 ( 3 ) k. 2 4 Find a random walk on the family of Sekine quantum groups with a driving probability exhibiting the cut-off phenomenon. Perhaps with ν n M p (KP n ) exhibiting n-dependence. Extend the Upper Bound Lemma to compact quantum groups (with the Kac Property) driven by states ν M p (G) of the form F(a). In the classical case, conjugate-invariant driving probabilities lead to a somewhat-tractable upper bound. Find convergence rates for quantum analogues of classical random walks; e.g. the random transposition shuffle.
35 References 1. Diaconis & Shahshahani (1981), Generating a Random Permutation with Random Transpositions 2. Diaconis (1988), Group Representations in Probability and Statistics 3. Sekine (1996), An Example of Finite Dimensional Kac Algebras of Kac-Paljutkin Type 4. Franz & Gohm (2005), Random Walks on Finite Quantum Groups 5. Van Daele (2006), The Fourier Transform in Quantum Group Theory 6. Franz & Skalski (2009), On Idempotent States on Quantum Groups 7. Simeng Wang (2014), L p -Improving Convolution Operators on Finite Quantum Groups
Diaconis Shahshahani Upper Bound Lemma for Finite Quantum Groups
Diaconis Shahshahani Upper Bound Lemma for Finite Quantum Groups J.P. McCarthy Cork Institute of Technology 30 August 2018 Irish Mathematical Society Meeting, UCD Finite Classical Groups aka Finite Groups
More informationCUT-OFF FOR QUANTUM RANDOM WALKS. 1. Convergence of quantum random walks
CUT-OFF FOR QUANTUM RANDOM WALKS AMAURY FRESLON Abstract. We give an introduction to the cut-off phenomenon for random walks on classical and quantum compact groups. We give an example involving random
More informationMixing time for a random walk on a ring
Mixing time for a random walk on a ring Stephen Connor Joint work with Michael Bate Paris, September 2013 Introduction Let X be a discrete time Markov chain on a finite state space S, with transition matrix
More informationA Brief Introduction to Functional Analysis
A Brief Introduction to Functional Analysis Sungwook Lee Department of Mathematics University of Southern Mississippi sunglee@usm.edu July 5, 2007 Definition 1. An algebra A is a vector space over C with
More informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More informationAlgebraic Structures Exam File Fall 2013 Exam #1
Algebraic Structures Exam File Fall 2013 Exam #1 1.) Find all four solutions to the equation x 4 + 16 = 0. Give your answers as complex numbers in standard form, a + bi. 2.) Do the following. a.) Write
More information215 Problem 1. (a) Define the total variation distance µ ν tv for probability distributions µ, ν on a finite set S. Show that
15 Problem 1. (a) Define the total variation distance µ ν tv for probability distributions µ, ν on a finite set S. Show that µ ν tv = (1/) x S µ(x) ν(x) = x S(µ(x) ν(x)) + where a + = max(a, 0). Show that
More informationFactorization of unitary representations of adele groups Paul Garrett garrett/
(February 19, 2005) Factorization of unitary representations of adele groups Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ The result sketched here is of fundamental importance in
More informationThe following definition is fundamental.
1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic
More informationRandom walk on groups
Random walk on groups Bob Hough September 22, 2015 Bob Hough Random walk on groups September 22, 2015 1 / 12 Set-up G a topological (finite) group, with Borel sigma algebra B P(G) the set of Borel probability
More informationA classification of sharp tridiagonal pairs. Tatsuro Ito, Kazumasa Nomura, Paul Terwilliger
Tatsuro Ito Kazumasa Nomura Paul Terwilliger Overview This talk concerns a linear algebraic object called a tridiagonal pair. We will describe its features such as the eigenvalues, dual eigenvalues, shape,
More informationAHAHA: Preliminary results on p-adic groups and their representations.
AHAHA: Preliminary results on p-adic groups and their representations. Nate Harman September 16, 2014 1 Introduction and motivation Let k be a locally compact non-discrete field with non-archimedean valuation
More informationPeter Hochs. Strings JC, 11 June, C -algebras and K-theory. Peter Hochs. Introduction. C -algebras. Group. C -algebras.
and of and Strings JC, 11 June, 2013 and of 1 2 3 4 5 of and of and Idea of 1 Study locally compact Hausdorff topological spaces through their algebras of continuous functions. The product on this algebra
More informationSupplement to Multiresolution analysis on the symmetric group
Supplement to Multiresolution analysis on the symmetric group Risi Kondor and Walter Dempsey Department of Statistics and Department of Computer Science The University of Chicago risiwdempsey@uchicago.edu
More informationQuantum Symmetric States
Quantum Symmetric States Ken Dykema Department of Mathematics Texas A&M University College Station, TX, USA. Free Probability and the Large N limit IV, Berkeley, March 2014 [DK] K. Dykema, C. Köstler,
More informationRandom Walks on Finite Quantum Groups
Random Walks on Finite Quantum Groups Uwe Franz and Rolf Gohm Ernst-Moritz-Arndt-Universität Greifswald Institut für Mathematik und Informatik Friedrich-Ludwig-Jahnstrasse 15 A D-17487 Greifswald, Germany
More informationRepresentation Theory
Representation Theory Representations Let G be a group and V a vector space over a field k. A representation of G on V is a group homomorphism ρ : G Aut(V ). The degree (or dimension) of ρ is just dim
More informationSince G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =
Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for
More informationABSTRACT MARKOV CHAINS, RANDOM WALKS, AND CARD SHUFFLING. Nolan Outlaw. May 2015
ABSTRACT MARKOV CHAINS, RANDOM WALKS, AND CARD SHUFFLING by Nolan Outlaw May 215 Chair: Dr. Gail Ratcliff, PhD Major Department: Mathematics A common question in the study of random processes pertains
More informationIntro to harmonic analysis on groups Risi Kondor
Risi Kondor Any (sufficiently smooth) function f on the unit circle (equivalently, any 2π periodic f ) can be decomposed into a sum of sinusoidal waves f(x) = k= c n e ikx c n = 1 2π f(x) e ikx dx 2π 0
More informationRandom Locations of Periodic Stationary Processes
Random Locations of Periodic Stationary Processes Yi Shen Department of Statistics and Actuarial Science University of Waterloo Joint work with Jie Shen and Ruodu Wang May 3, 2016 The Fields Institute
More informationMIT Algebraic techniques and semidefinite optimization May 9, Lecture 21. Lecturer: Pablo A. Parrilo Scribe:???
MIT 6.972 Algebraic techniques and semidefinite optimization May 9, 2006 Lecture 2 Lecturer: Pablo A. Parrilo Scribe:??? In this lecture we study techniques to exploit the symmetry that can be present
More informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More informationA NOTE ON FREE QUANTUM GROUPS
A NOTE ON FREE QUANTUM GROUPS TEODOR BANICA Abstract. We study the free complexification operation for compact quantum groups, G G c. We prove that, with suitable definitions, this induces a one-to-one
More informationCUTOFF FOR THE STAR TRANSPOSITION RANDOM WALK
CUTOFF FOR THE STAR TRANSPOSITION RANDOM WALK JONATHAN NOVAK AND ARIEL SCHVARTZMAN Abstract. In this note, we give a complete proof of the cutoff phenomenon for the star transposition random walk on the
More informationis an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent
Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a
More informationINTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS
INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS HANMING ZHANG Abstract. In this paper, we will first build up a background for representation theory. We will then discuss some interesting topics in
More informationClarkson Inequalities With Several Operators
isid/ms/2003/23 August 14, 2003 http://www.isid.ac.in/ statmath/eprints Clarkson Inequalities With Several Operators Rajendra Bhatia Fuad Kittaneh Indian Statistical Institute, Delhi Centre 7, SJSS Marg,
More informationIntroduction to random walks on noncommutative spaces
Introduction to random walks on noncommutative spaces Philippe Biane Abstract. We introduce several examples of random walks on noncommutative spaces and study some of their probabilistic properties. We
More informationTridiagonal pairs in algebraic graph theory
University of Wisconsin-Madison Contents Part I: The subconstituent algebra of a graph The adjacency algebra The dual adjacency algebra The subconstituent algebra The notion of a dual adjacency matrix
More informationCoarse geometry and quantum groups
Coarse geometry and quantum groups University of Glasgow christian.voigt@glasgow.ac.uk http://www.maths.gla.ac.uk/~cvoigt/ Sheffield March 27, 2013 Noncommutative discrete spaces Noncommutative discrete
More informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More informationBundles over quantum weighted projective spaces
Bundles over quantum weighted projective spaces Tomasz Swansea University Lancaster, September 2012 Joint work with Simon A Fairfax References: TB & SAF, Quantum teardrops, Comm. Math. Phys. in press (arxiv:1107.1417)
More informationA connection between number theory and linear algebra
A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.
More informationProduct type actions of compact quantum groups
Product type actions of compact quantum groups Reiji TOMATSU May 26, 2014 @Fields institute 1 / 31 1 Product type actions I 2 Quantum flag manifolds 3 Product type actions II 4 Classification 2 / 31 Product
More informationMULTIPLIER HOPF ALGEBRAS AND DUALITY
QUANTUM GROUPS AND QUANTUM SPACES BANACH CENTER PUBLICATIONS, VOLUME 40 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1997 MULTIPLIER HOPF ALGEBRAS AND DUALITY A. VAN DAELE Department of
More informationHadamard matrices and Compact Quantum Groups
Hadamard matrices and Compact Quantum Groups Uwe Franz 18 février 2014 3ème journée FEMTO-LMB based in part on joint work with: Teodor Banica, Franz Lehner, Adam Skalski Uwe Franz (LMB) Hadamard & CQG
More informationQuadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation
(September 17, 010) Quadratic reciprocity (after Weil) Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields (characteristic not ) the quadratic norm residue
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationCharacter tables for some small groups
Character tables for some small groups P R Hewitt U of Toledo 12 Feb 07 References: 1. P Neumann, On a lemma which is not Burnside s, Mathematical Scientist 4 (1979), 133-141. 2. JH Conway et al., Atlas
More informationON CONVOLUTION PRODUCTS AND AUTOMORPHISMS IN HOPF C*-ALGEBRAS
ON CONVOLUTION PRODUCTS AND AUTOMORPHISMS IN HOPF C*-ALGEBRAS DAN Z. KUČEROVSKÝ Abstract. We obtain two characterizations of the bi-inner Hopf *-automorphisms of a finite-dimensional Hopf C*-algebra, by
More informationDIEUDONNE AGBOR AND JAN BOMAN
ON THE MODULUS OF CONTINUITY OF MAPPINGS BETWEEN EUCLIDEAN SPACES DIEUDONNE AGBOR AND JAN BOMAN Abstract Let f be a function from R p to R q and let Λ be a finite set of pairs (θ, η) R p R q. Assume that
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 informationQUIVERS AND LATTICES.
QUIVERS AND LATTICES. KEVIN MCGERTY We will discuss two classification results in quite different areas which turn out to have the same answer. This note is an slightly expanded version of the talk given
More informationRiemann Mapping Theorem (4/10-4/15)
Math 752 Spring 2015 Riemann Mapping Theorem (4/10-4/15) Definition 1. A class F of continuous functions defined on an open set G is called a normal family if every sequence of elements in F contains a
More informationThe Hunt for a Quantum Algorithm for Graph Isomorphism
The Hunt for a Quantum Algorithm for Graph Isomorphism Cristopher Moore, University of New Mexico Alexander Russell, University of Connecticut Leonard J. Schulman, Caltech The Hidden Subgroup Problem Given
More informationQuantum Symmetric States on Free Product C -Algebras
Quantum Symmetric States on Free Product C -Algebras School of Mathematical Sciences University College Cork Joint work with Ken Dykema & John Williams arxiv:1305.7293 WIMCS-LMS Conference Classifying
More informationLinear Algebra Massoud Malek
CSUEB Linear Algebra Massoud Malek Inner Product and Normed Space In all that follows, the n n identity matrix is denoted by I n, the n n zero matrix by Z n, and the zero vector by θ n An inner product
More informationQuadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation
(December 19, 010 Quadratic reciprocity (after Weil Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields k (characteristic not the quadratic norm residue symbol
More informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationAlmost periodic functionals
Almost periodic functionals Matthew Daws Leeds Warsaw, July 2013 Matthew Daws (Leeds) Almost periodic functionals Warsaw, July 2013 1 / 22 Dual Banach algebras; personal history A Banach algebra A Banach
More informationREPRESENTATION THEORY WEEK 5. B : V V k
REPRESENTATION THEORY WEEK 5 1. Invariant forms Recall that a bilinear form on a vector space V is a map satisfying B : V V k B (cv, dw) = cdb (v, w), B (v 1 + v, w) = B (v 1, w)+b (v, w), B (v, w 1 +
More informationAn exponential separation between quantum and classical one-way communication complexity
An exponential separation between quantum and classical one-way communication complexity Ashley Montanaro Centre for Quantum Information and Foundations, Department of Applied Mathematics and Theoretical
More informationGALOIS GROUPS AS PERMUTATION GROUPS
GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can
More informationENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.
ENTRY GROUP THEORY [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld Group theory [Group theory] is studies algebraic objects called groups.
More informationFourier analysis of boolean functions in quantum computation
Fourier analysis of boolean functions in quantum computation Ashley Montanaro Centre for Quantum Information and Foundations, Department of Applied Mathematics and Theoretical Physics, University of Cambridge
More informationREPRESENTATION THEORY OF SL 2 OVER A P-ADIC FIELD: THE PRINCIPAL SERIES
REPRESENTATION THEORY O SL 2 OVER A P-ADIC IELD: THE PRINCIPAL SERIES ALEXANDER J. MUNK Abstract. A result concerning the irreducibilit reducibilit of the principal series of representations of SL 2 over
More information3 Representations of finite groups: basic results
3 Representations of finite groups: basic results Recall that a representation of a group G over a field k is a k-vector space V together with a group homomorphism δ : G GL(V ). As we have explained above,
More informationCourse 2316 Sample Paper 1
Course 2316 Sample Paper 1 Timothy Murphy April 19, 2015 Attempt 5 questions. All carry the same mark. 1. State and prove the Fundamental Theorem of Arithmetic (for N). Prove that there are an infinity
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationTake-Home Final Examination of Math 55a (January 17 to January 23, 2004)
Take-Home Final Eamination of Math 55a January 17 to January 3, 004) N.B. For problems which are similar to those on the homework assignments, complete self-contained solutions are required and homework
More informationMath 61CM - Solutions to homework 6
Math 61CM - Solutions to homework 6 Cédric De Groote November 5 th, 2018 Problem 1: (i) Give an example of a metric space X such that not all Cauchy sequences in X are convergent. (ii) Let X be a metric
More informationNOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS
NOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS MARK WILDON Contents 1. Definition of polynomial representations 1 2. Weight spaces 3 3. Definition of the Schur functor 7 4. Appendix: some
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationSupplement to Ranking with kernels in Fourier space (COLT10)
Supplement to Ranking with kernels in Fourier space (COLT10) Risi Kondor Center for the Mathematics of Information California Institute of Technology risi@caltech.edu Marconi Barbosa NICTA, Australian
More informationReal representations
Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationQuantum Symmetries in Free Probability Theory. Roland Speicher Queen s University Kingston, Canada
Quantum Symmetries in Free Probability Theory Roland Speicher Queen s University Kingston, Canada Quantum Groups are generalizations of groups G (actually, of C(G)) are supposed to describe non-classical
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 informationThe De Giorgi-Nash-Moser Estimates
The De Giorgi-Nash-Moser Estimates We are going to discuss the the equation Lu D i (a ij (x)d j u) = 0 in B 4 R n. (1) The a ij, with i, j {1,..., n}, are functions on the ball B 4. Here and in the following
More informationColette Mœglin and Marko Tadić
CONSTRUCTION OF DISCRETE SERIES FOR CLASSICAL p-adic GROUPS Colette Mœglin and Marko Tadić Introduction The goal of this paper is to complete (after [M2] the classification of irreducible square integrable
More information4 Sobolev spaces, trace theorem and normal derivative
4 Sobolev spaces, trace theorem and normal derivative Throughout, n will be a sufficiently smooth, bounded domain. We use the standard Sobolev spaces H 0 ( n ) := L 2 ( n ), H 0 () := L 2 (), H k ( n ),
More informationALGEBRA 11: Galois theory
Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic
More informationLecture 1: Crossed Products of C*-Algebras by Finite Groups. General motivation. A rough outline of all three lectures
Winter School on Operator Algebras Lecture 1: Crossed Products of C*-Algebras by Finite Groups RIMS, Kyoto University, Japan N Christopher Phillips 7 16 December 2011 University of Oregon Research Institute
More informationNATIONAL BOARD FOR HIGHER MATHEMATICS. Research Awards Screening Test. February 25, Time Allowed: 90 Minutes Maximum Marks: 40
NATIONAL BOARD FOR HIGHER MATHEMATICS Research Awards Screening Test February 25, 2006 Time Allowed: 90 Minutes Maximum Marks: 40 Please read, carefully, the instructions on the following page before you
More informationEssential idempotents in group algebras and in Coding Theory
in group algebras and in Coding Theory César Polcino Milies Universidade de São Paulo and Universidade Federal do ABC NON COMMUTATIVE RINGS AND APPLICATIONS IV, LENS, 2015 Definition A linear code C F
More informationOn positive maps in quantum information.
On positive maps in quantum information. Wladyslaw Adam Majewski Instytut Fizyki Teoretycznej i Astrofizyki, UG ul. Wita Stwosza 57, 80-952 Gdańsk, Poland e-mail: fizwam@univ.gda.pl IFTiA Gdańsk University
More informationMAXIMAL TORUS THEORY FOR COMPACT QUANTUM GROUPS
MAXIMAL TORUS THEORY FOR COMPACT QUANTUM GROUPS TEODOR BANICA AND ISSAN PATRI Abstract. Associated to any compact quantum group G U + N is a canonical family of group dual subgroups Γ Q G, parametrized
More informationCONVOLUTION OF DISCRETE MEASURES ON LINEAR GROUPS
CONVOLUTION OF DISCRETE MEASURES ON LINEAR GROUPS 1 Mei-Chu Chang Abstract Let p, q R such that 1 < p < 2 and 2 p = 1 + 1 q. Define ( ) 1/p f p = max f(xy) p (*) x,g 1 y G 1 where G 1 is taken in some
More informationAn LMI description for the cone of Lorentz-positive maps II
An LMI description for the cone of Lorentz-positive maps II Roland Hildebrand October 6, 2008 Abstract Let L n be the n-dimensional second order cone. A linear map from R m to R n is called positive if
More informationOutline. The Distance Spectra of Cayley Graphs of Coxeter Groups. Finite Reflection Group. Root Systems. Reflection/Coxeter Groups.
The Distance Spectra of of Coxeter Groups Paul Renteln 1 Department of Physics California State University San Bernardino 2 Department of Mathematics California Institute of Technology ECNU, Shanghai June
More informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
More informationVectors in Function Spaces
Jim Lambers MAT 66 Spring Semester 15-16 Lecture 18 Notes These notes correspond to Section 6.3 in the text. Vectors in Function Spaces We begin with some necessary terminology. A vector space V, also
More informationON NEARLY SEMIFREE CIRCLE ACTIONS
ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationProve proposition 68. It states: Let R be a ring. We have the following
Theorem HW7.1. properties: Prove proposition 68. It states: Let R be a ring. We have the following 1. The ring R only has one additive identity. That is, if 0 R with 0 +b = b+0 = b for every b R, then
More informationWeil Representations of Finite Fields
Weil Representations of Finite Fields Tim Tzaneteas December, 005 1 Introduction These notes present some of the results of a paper by Paul Gérardin [1] concerning the representations of matrix groups
More informationCHAPTER 8. Smoothing operators
CHAPTER 8 Smoothing operators Lecture 8: 13 October, 2005 Now I am heading towards the Atiyah-Singer index theorem. Most of the results proved in the process untimately reduce to properties of smoothing
More informationCS286.2 Lecture 13: Quantum de Finetti Theorems
CS86. Lecture 13: Quantum de Finetti Theorems Scribe: Thom Bohdanowicz Before stating a quantum de Finetti theorem for density operators, we should define permutation invariance for quantum states. Let
More informationRepresentation Theory and Orbital Varieties. Thomas Pietraho Bowdoin College
Representation Theory and Orbital Varieties Thomas Pietraho Bowdoin College 1 Unitary Dual Problem Definition. A representation (π, V ) of a group G is a homomorphism ρ from G to GL(V ), the set of invertible
More informationarxiv: v1 [math.qa] 11 Dec 2017
arxiv:72.04067v [math.qa] Dec 207 HIGHER TRANSITIVE QUANTUM GROUPS: THEORY AND MODELS TEODOR BANICA Abstract. We investigate the notion of k-transitivity for the quantum permutation groups G S + N, with
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More informationThe derivation of the Liouville equation
Chapter 5 The derivation of the Liouville equation The probability density ρ in phase space can be defined as the relative number density of the phase points associated with an infinite statistical ensemble.
More informationCongruence Boolean Lifting Property
Congruence Boolean Lifting Property George GEORGESCU and Claudia MUREŞAN University of Bucharest Faculty of Mathematics and Computer Science Academiei 14, RO 010014, Bucharest, Romania Emails: georgescu.capreni@yahoo.com;
More information9 Artin representations
9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation
More informationIntroduction and Preliminaries
Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis
More informationCONVERGENCE OF MULTIPLE ERGODIC AVERAGES FOR SOME COMMUTING TRANSFORMATIONS
CONVERGENCE OF MULTIPLE ERGODIC AVERAGES FOR SOME COMMUTING TRANSFORMATIONS NIKOS FRANTZIKINAKIS AND BRYNA KRA Abstract. We prove the L 2 convergence for the linear multiple ergodic averages of commuting
More informationMAT 445/ INTRODUCTION TO REPRESENTATION THEORY
MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations
More informationGroup Theory
Group Theory 2014 2015 Solutions to the exam of 4 November 2014 13 November 2014 Question 1 (a) For every number n in the set {1, 2,..., 2013} there is exactly one transposition (n n + 1) in σ, so σ is
More information