Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limit limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMay 19th 2021

    starting something

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMay 21st 2021

    added pointer to today’s:

    • Suvankar Dutta, Debangshu Mukherjee, Neetu, Sanhita Parihar, A Unitary Matrix Model for q-deformed Plancherel Growth (arXiv:2105.09342)

    In this paper we construct a unitary matrix model that captures the asymptotic growth of Young diagrams under q-deformed Plancherel measure.

    diff, v2, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJun 2nd 2021

    added statement of

    limnp Pl({λPart(n)|2nln|sYTableaux λ|n!c<ε})=1. \underset{n \to \infty}{\lim} p^{Pl} \left( \left\{ \lambda \in Part(n) \;\left\vert\; \tfrac{2}{\sqrt{n}} ln \frac {\left\vert sYTableaux_\lambda \right\vert} {\sqrt{n!}} - c \;\lt\; \epsilon \right. \right\} \right) \;=\; 1 \,.


    diff, v3, current

    • CommentRowNumber4.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 6th 2021

    Added an actual definition:


    From a MathOverflow answer by Vadim Alekseev:

    Suppose GG is a locally compact group. What one ultimately wants to study is (upon fixing a Haar measure in the noncompact case) the left regular representation λ:GU(L 2(G,Haar))\lambda\colon G\to U(L^2(G,\mathrm{Haar})). Now, general theory tells us that while it’s not always possible to decompose L 2(G)L^2(G) as a direct sum of irreducible reprenentations (this already fails for ), it is always possible to decompose it as a direct integral of irreducible representations (which are parametrised by the unitary dual G^G=\mathbb Z\widehat G of GG). Now, if GG is unimodular and type I, the direct integral decomposition (with respect to both left and right actions of GG) is as follows:

    L 2(G) G^H πdμ(π), L^2(G) \cong \int_{\widehat G} H_\pi\,d\mu(\pi),

    where H π=ππ *H_\pi = \pi\otimes \pi^*, and its understanding requires, in particular, to determine the measure μ\mu on G^\widehat G such that the above becomes an isometric isomorphism. The unique measure with this property is called the Plancherel measure of GG (associated to a given Haar measure). Equivalently, it’s the unique measure such that

    f 2 2= G^π(f) HS 2dμ(π),fL 1(G,Haar)L 2(G,Haar). \|f\|_2^2 = \int_{\widehat{G}} \|\pi(f)\|_{\mathrm{HS}}^2 \mathrm{d}\mu(\pi),\quad f\in L^1(G,\mathrm{Haar})\cap L^2(G,\mathrm{Haar}).

    diff, v7, current

    • CommentRowNumber5.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 6th 2021

    And another one:

    From a MathOverflow answer by Cameron Zwarich:

    If GG is a unimodular second countable Type I group, then the Plancherel measure is the unique measure μ\mu such that

    f 2 2= G^π(f) HS 2dμ(π).\|f\|_2^2 = \int_{\widehat{G}} \|\pi(f)\|_{\mathrm{HS}}^2 \mathrm{d}\mu(\pi).

    for every fL 1(G)L 2(G)f \in \mathrm{L}^1(G) \cap \mathrm{L}^2(G). This appears as Theorem 18.8.2 in Dixmier’s book on C *C^*-algebras.

    When GG is not unimodular, the question becomes more complicated, because the Plancherel measure needs to be twisted by a section of a line bundle; see the paper of Duflo-Moore on the subject for the gory details. When GG is not second countable, I do not know of a published result; the technical details of direct integral theory are more difficult in this case and not standard. When GG is not Type I, the decomposition of the left regular representation into irreducibles is no longer unique, and some of the operators on the right-hand side of the formula will fail to have finite Hilbert-Schmidt norm.

    The closest analogue to the definition of a Haar measure on abelian locally compact groups as a left-invariant Radon measure is the characterization of the Plancherel measure as a unique co-invariant trace (or weight) on the von Neumann algebra \mathcal{M} generated by the left-regular representation of GG. Suppose GG satisfies the same hypotheses as above and Δ:¯\Delta : \mathcal{M} \to \mathcal{M} \overline{\otimes} \mathcal{M} is the comultiplication on \mathcal{M} given by λ(s)λ(s)λ(s)\lambda(s) \mapsto \lambda(s) \otimes \lambda(s). Then the Plancherel trace is the unique normal semifinite trace τ\tau on \mathcal{M} such that

    τ((φid)(Δ(a)))=τ(a)\tau((\varphi \otimes \mathrm{id}) (\Delta(a))) = \tau(a)

    for all a τ +a \in \mathcal{M}_\tau^+ and φ *\varphi \in \mathcal{M}_*. A similar characterization holds for the Plancherel weight of an arbitrary locally compact group, or for the Haar weight of a locally compact quantum group. For proofs, see volume 2 of Takesaki or any of the literature on von Neumann algebraic quantum groups.

    diff, v7, current