Geometric quantization and foliation reduction

A standard question in the study of geometric quantization is whether symplectic reduction interacts nicely with the quantized theory, and in particular whether “quantization commutes with reduction.” Guillemin and Sternberg first proposed this question, and answered it in the affirmative for the case of a free action of a compact Lie group on a compact Kähler manifold. Subsequent work has focused mainly on extending their proof to non-free actions and non-Kähler manifolds. For realistic physical examples, however, it is desirable to have a proof which also applies to non-compact symplectic manifolds.

In this thesis we give a proof of the quantization-reduction problem for general symplectic manifolds. This is accomplished by working in a particular wavefunction representation, associated with a polarization that is in some sense compatible with reduction. While the polarized sections described by Guillemin and Sternberg are nonzero on a dense subset of the Kähler manifold, the ones considered here are distributional, having support only on regions of the phase space associated with certain quantized, or “admissible”, values of momentum.

We first propose a reduction procedure for the prequantum geometric structures that “covers” symplectic reduction, and demonstrate how both symplectic and prequantum reduction can be viewed as examples of foliation reduction. Consistency of prequantum reduction imposes the above-mentioned admissibility conditions on the quantized momenta, which can be seen as analogues of the Bohr-Wilson-Sommerfeld conditions for completely integrable systems.

We then describe our reduction-compatible polarization, and demonstrate a one-to-one correspondence between polarized sections on the unreduced and reduced spaces.

Finally, we describe a factorization of the reduced prequantum bundle, suggested by the structure of the underlying reduced symplectic manifold. This in turn induces a factorization of the space of polarized sections that agrees with its usual decomposition by irreducible representations, and so proves that quantization and reduction do indeed commute in this context.

A significant omission from the proof is the construction of an inner product on the space of polarized sections, and a discussion of its behavior under reduction. In the concluding chapter of the thesis, we suggest some ideas for future work in this direction.

Um estudo da quebra espontânea de simetria usando quartetos BRST

A Quebra Espontânea de Simetria (QES) tem sido discutida em muitos cenários, tendo resultados importantes na física Teórica de Partículas, sendo motivo de extensa pesquisa e com variadas aplicações. Neste trabalho, será apresentado um modelo alternativo baseado na Ação de Fujikawa usando quartetos BRST. No primeiro capítulo, todo o ferramental para a análise da QES é discutido partindo da definição em nível clássico e por fim no regime quântico, usando o conceito de ação efetiva. A técnica de quantização de campos de calibre no U(1), presente no eletromagnetismo, foi abordada, usando o cálculo dos propagadores e seus respectivos diagramas de Feynman. Foi estudado em conjunto com esse assunto, o conceito de campos fantasmas de Fadeev-Popov e Simetria-BRST. O mecanismo de Higgs é explorado em nível quântico, sendo feita um estudo dos rearranjos dos graus de liberdade do sistema. No segundo capítulo, as propriedades dos quartetos-BRST são estudadas, bem como suas considerações sobre simetria, quando aplicadas na ação de Fujikawa usando dois cenários: (i) quando a simetria não é quebrada. (ii) A simetria é quebrada. E por fim é feita uma análise sobre os graus de liberdade do sistema.

BRST: da quebra suave à quebra espontânea da simetria

Nesta tese falamos essencialmente sobre a simetria BRST no modelo de Gribov-Zwanziger. Estudamos a quebra suave, a quebra linear e a quebra espontânea, todas da simetria BRST. Na formulação padrão do modelo, quebrada suavemente, construímos o modelo de réplica usado para estimar os valores das massas das glueballs. Utilizando campos auxiliares construímos um modelo quebrado linearmente, e utilizando basicamente o mesmo procedimento, uma formulação mais recente onde a simetria é quebrada espontâneamente.

Compact universal logic gates realized using quantization of current in nanodevices

This paper proposes novel universal logic gates using the current quantization characteristics of nanodevices. In nanodevices like the electron waveguide (EW) and single-electron (SE) turnstile, the channel current is a staircase quantized function of its control voltage. We use this unique characteristic to compactly realize Boolean functions. First we present the concept of the periodic-threshold threshold logic gate (PTTG), and we build a compact PTTG using EW and SE turnstiles. We show that an arbitrary three-input Boolean function can be realized with a single PTTG, and an arbitrary four-input Boolean function can be realized by using two PTTGs. We then use one PTTG to build a universal programmable two-input logic gate which can be used to realize all two-input Boolean functions. We also build a programmable three-input logic gate by using one PTTG. Compared with linear threshold logic gates, with the PTTG one can build digital circuits more compactly. The proposed PTTGs are promising for future smart nanoscale digital system use.

Double-wave function of RLC circuit after quantization

Quantization of RLC circuit is given and described by a double-wave function. A comparison between classical limit result and those of classical theory is made.

Size quantization effects in InAs self-assembled islands on InP(001) at the onset of 2D-to-3D transition

Photoluminescence spectroscopy has been used to investigate self-assembled InAs islands in InAlAs grown on InP(0 0 1) by molecular beam epitaxy, in correlation with transmission electron microscopy. The nominal deposition of 3.6 monolayers of InAs at 470 degrees C achieves the onset stage of coherent island formation. In addition to one strong emission around 0.74 eV, the sample displaces several emission peaks at 0.87, 0.92. 0.98, and 1.04 eV. Fully developed islands that coexist with semi-finished disk islands account for the multipeak emission. These results provide strong evidence of size quantization effects in InAs islands. (C) 1999 Elsevier Science B.V. All rights reserved.

WANNIER QUANTIZATION OF A SUPERLATTICE SUBBAND UNDER AN ELECTRIC-FIELD

Wavefunctions of electronic Wannier-Stark states in a superlattice are calculated with a finite Kronig-Penney model. Overlap integrals between electron and heavy-hole wavefunctions centred in the same well layer, and in first- and second-neighbour wells are calculated as functions of the applied field. The results show good agreement with experimental results on photoluminescence. The problem is also treated by a one-band approximation method, which gives a closed expression for the wavefunction of the Wannier-Stark states; this is compared with the results of accurate calculations with the Kronig-Penney model.

超对称电磁相互作用系统的BRST量子化及其正则Ward恒等式

运用Becchi-Rouet-Stora-Tyutin路径积分量子化方法对超对称电磁相互作用系统进行了量子化.在相空间中化简了超对称电磁相互作用系统Hamiltonian量,进而使该系统的量子化被化简.构造体系的BRST生成元,得到了系统的BRST变换;给出了有效作用量,得到了Green函数生成泛函;构造了体系的规范生产元,并得到了系统的规范对称变换.最后,基于正则系统的Noether定理,给出了规范变换的Ward-Takahashi恒等式,进而讨论了正规顶角和传播子的关系,给出了正规顶角和传播子的两个关系式.

Faddeev-Jackiw canonical path integral quantization for a general scenario, its proper vertices and generating functionals

We generalize the Faddeev-Jackiw canonical path integral quantization for the scenario of a Jacobian with J=1 to that for the general scenario of non-unit Jacobian, give the representation of the quantum transition amplitude with symplectic variables and obtain the generating functionals of the Green function and connected Green function. We deduce the unified expression of the symplectic field variable functions in terms of the Green function or the connected Green function with external sources. Furthermore, we generally get generating functionals of the general proper vertices of any n-points cases under the conditions of considering and not considering Grassmann variables, respectively; they are regular and are the simplest forms relative to the usual field theory.