\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{coherent state}

[[!redirects coherent quantum state]] [[!redirects coherent quantum state]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak
\noindent\hyperlink{of_the_harmonic_oscillator}{Of the harmonic oscillator}\dotfill \pageref*{of_the_harmonic_oscillator} \linebreak
\noindent\hyperlink{over_a_flag_manifold}{Over a flag manifold}\dotfill \pageref*{over_a_flag_manifold} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

\emph{Coherent states} are members of special overcomplete families of elements (usually in the projectivization) of [[Hilbert space]] of states of certain systems in [[quantum mechanics]]. This entry is mainly about Perelomov style CS, see a separate page for [[Hall coherent state]]s. Coherence in the sense of quantum optics, and in the sense of statistical density matrix is one of the features of these very specifical objects in mathematical physics (thus coherent quantum states would be states of high degree of features of coherence in those senses, rather than refering to the specific families in mathematical physics).

\hypertarget{examples}{}\subsection*{{Examples}}\label{examples}

\hypertarget{of_the_harmonic_oscillator}{}\subsubsection*{{Of the harmonic oscillator}}\label{of_the_harmonic_oscillator}

The most classical coherent states of E. Schr\"o{}dinger (1926, \emph{coherent} refers to its meaning in optics) are the elements in $L^2(\mathbb{R}^n)$ which are the eigenfunctions $|z\rangle = |z_1,\ldots,z_n\rangle$ of the annihilation operators $a_i$, $i=1,\ldots,n$; the eigenvalues $z_i$ are complex numbers and all complex numbers appear in that way; more precisely the coherent states are parametrized by numbers $z=(z_1,\ldots,z_n)$ in $\mathbb{C}^n$, and there is a measure $d\mu$ on $\mathbb{C}^n$ providing the resolution of unity formula

\begin{displaymath}
\int_{\mathbb{C}^n} |z\rangle \langle z| d\mu = 1
\end{displaymath}
Coherent states however are not mutually orthogonal; they form an overcomplete family of states: not only that every vector in $L^2$ can be expressed in terms of them but rather in more than one way and we can throw certain coherent states out and not to spoil the property (how many and which is a more subtle question). Thus expressing states in terms of coherent states is sort of Fourier analysis; in fact this approach is taken in a variant called wavelet analysis. Coherent states are minimizing the uncertainty relations, closest to classical states in their behaviour; their probability density is Gaussian. Vectors in the Hilbert space can be represented in the coherent state representation: $|f\rangle = \int |z\rangle\langle z|f\rangle d\mu$; if $f$ is in $L^2$ then $\langle z|f\rangle$ is a holomorphic function and this passage is called the Bargmann-Segal transform (referring to \href{http://en.wikipedia.org/wiki/Irving_Segal}{Irving Segal}); this way certain Hilbert space of holomorphic function appears, the Bargmann-Fock space. The evolution of $\langle z|f\rangle$ formally satisfies the classical Newton equations of motion.

In general, projection operators $|z\rangle \langle z|$ and the scalar measure $d\mu$ do not separate, in fact instead of $|z\rangle \langle z| d\mu$ one considers more general [[projection measure]] (descriptively a ``measure'' with values in self-adjoint projection operators on a separable Hilbert space) on a more general geometric space $X$ replacing $\mathbb{C}^n$ which is normalized to 1 on the whole space. Symbollically we can still pretend that the projective measure is of the form $\mu(A) = \int_A |z\rangle \langle z| d\mu$ where $d\mu$ is an ordinary (scalar-valued) measure.

\hypertarget{over_a_flag_manifold}{}\subsubsection*{{Over a flag manifold}}\label{over_a_flag_manifold}

The basic example of the space $X$ is the homogeneous space $G^{\mathbb {C}}/B = G/K$ where $G$ is a compact Lie group, $G^{\mathbb{C}}$ its complexification, $K\subset G$ maximal compact subgroup and $B\subset G^{\mathbb{C}}$ the Borel subgroup. Generalized [[flag manifold]] $G/K$ is naturally a compact complex manifold, in fact K\"a{}hler. Fix a unitary character $\chi:G\to S^1$ which uniquely extends to a character $\chi:G^{\mathbb{C}}\to \mathbb{C}^*$ of the complexification; let $\mathbf{C}_\chi$ be the corresponding 1-dimensional representation. Then let $L_\chi = G^{\mathbb{C}}\times_{G^{\mathbb{C}}} \mathbb{C}_\chi$ be the associated line bundle. It is equipped with a natural holomorphic structure and hermitean scalar product; the space of holomorphic (or antiholomorphic depending on conventions in the construction) sections of that bundle is finite-dimensional and irreducible by [[Borel-Weil theorem]]. \textbf{Perelomov coherent states} on that bundle are the elements of the orbit of $G$ of the heighest (equivalently lowest) weight vector (or equivalently of $G^{\mathbb{C}}$: the real and complex orbits are equal). The covariant generalized uncertainty relations (ref. by Onofri, below) correspond to the expression for a quantity proportional to negative of the square of the moment map (see ref. by Spera, below), which is naturally extremal on symplectic orbits. These coherent states can also be realized as the duals (according to Riesz theorem, that is dual vectors in a Hilbert space) to the evaluation functionals on the space of sections: take a point $q$ in the space of a line bundle and then divide it by the value of the section on the projection of $q$ to the homogeneous space. Up to a scalar, coherent states do not depend on the choice of the point on the line, hence this yields a holomorphic embedding of $G^{\mathbb{C}}/B$ to the projectivization of the representation space, so called \textbf{coherent states embedding}. The rays are the coherent states and the choices with scalar multiple accounted for are the coherent vectors. These coherent vectors are normalized by the measure which is the push down of the measure form $G$ to $G/K$. The classical coherent states appear in noncompact case where the group in question is the Heisenberg group, and the covariant uncertainty relations are the usual ones.

\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

\begin{itemize}%
\item [[quasi-free quantum state]]

\end{itemize}
\hypertarget{references}{}\subsection*{{References}}\label{references}

Related entries: [[coherent state (in geometric quantization)]], [[Hall coherent state]], [[Berezin quantization]], [[wavelet]], [[curvelet]]

\begin{itemize}%
\item A. M. Perelomov, \href{http://projecteuclid.org/euclid.cmp/1103858078}{Coherent states for arbitrary Lie groups}, Comm. Math. Phys., 26 (1972), pp. 222--236; archived as \href{http://arxiv.org/abs/math-ph/0203002}{arXiv:math-ph/0203002}.


\item A. Perelomov, \emph{Generalized coherent states and their applications}, Springer 1986


\item J. H. Rawnsley, \emph{Coherent states and K\"a{}hler manifolds}, Quart. J. Math. Oxford (2), 28 (1977), pp. 403--415


\item V. Bargmann, \emph{On a Hilbert space of analytic functions and an associated integral transform}, Communications on Pure and Applied Mathematics \textbf{14} (1961) 187-214 \href{http://www.ams.org/mathscinet-getitem?mr=157250}{MR0157250} \href{ttp://dx.doi.org/10.1002/cpa.3160140303}{doi}


\item F. A. Berezin, \emph{Quantization}, Math. USSR Izv., 8 (1974), 1109-1163. MR 0395610 (52:16404)


\item M. Spera, \emph{On a generalized uncertainty principle, coherent states and the moment map}, J. of Geometry and Physics 12 (1993) 165-182.


\item Enrico Onofri, \emph{A note on coherent state representations of Lie groups}, J. Math. Phys. \textbf{16}:5, 1087-1089, may 1975.


\item for physical aspects \href{http://en.wikipedia.org/wiki/Coherent_state}{wikipedia:Coherent\_state}.


\item V. V. Kisil, \emph{Integral representations and coherent states}, Bulletin of the Belgian Mathematical Society, v. 2 (1995), No 5, pp. 529-540.


\item Thomas Appl, Diethard H Schiller, \emph{Generalized hypergeometric coherent states}, J. Phys A37:7 (2004) 2731 \href{https://doi.org/10.1088/0305-4470/37/7/015}{doi}



\end{itemize}
Coherent states can be generalized to [[noncommutative geometry]], most notably for [[quantum groups]]:

\begin{itemize}%
\item H. Sazdjian, Y.S. Stanev, I.T. Todorov, \emph{SU(3)-coherent state operators and invariant correlation functions and their quantum group counterparts}, J. Math. Phys. \textbf{36} (1995), pp. 2030--2052.


\item [[Branislav Jurčo|B. Jurčo]], P. \v{S}toviek, \href{http://projecteuclid.org/euclid.cmp/1104288026}{Coherent states for quantum compact groups}, Comm. Math. Phys. \textbf{182} (1996), pp. 221--251; \href{http://arXiv.org/abs/hep-th/9403114}{hep-th/9403114}


\item [[Zoran Škoda|Z. Škoda]], \href{http://dx.doi.org/10.1007/s11005-007-0166-y}{Coherent states for Hopf algebras}, Letters in Mathematical Physics \textbf{81}, N.1, pp. 1-17, July 2007; distinct earlier version, arXiv: \href{http://arXiv.org/abs/math/0303357}{math.QA/0303357}


\item N. Aizawa, R. Chakrabarti, \emph{Coherent state on $SU_q(2)$ homogeneous space}, J. Phys. A \textbf{42}:29 \href{http://arxiv.org/abs/0905.0194}{arXiv:0905.0194}.



\end{itemize}
[[!redirects coherent quantum states]]



\end{document}