Symmetric space scalar field theory

Some quantum field theories, such as the chiral SU(2) ? SU(2) theory, can have a dynamics invariant under a group $\text{G}$ that is realized on a vacuum which is invariant only under a subgroup $\text{H}$ of $\text{G}$. These theories may be defined by scalar fields which are coordinates for the coset manifold $\text{G}$/$\text{H}$. They are thus non-polynomial theories on a symmetric space, with the group motions in this space described by a set of Killing vectors. We show how the Lagrange function may be constructed entirely from the Killing vectors. In particular, all physical quantities may be expressed in terms of the currents formed out of the Killing vectors. The current correlation functions do not exhibit the spurious wave function renormalizations which are encountered if ordinary Green's functions are computed. We illustrate the general method by calculating one-loop counter terms in a completely invariant fashion. An Appendix describes in simple terms the general theory of symmetric spaces, which should prove useful in other contexts.     

Path integration on Darboux spaces

In this paper, the Feynman path integral technique is applied to two-dimensional spaces of nonconstant curvature: these spaces are called Darboux spaces D _I-D _IV. We start each consideration in terms of the metric and then analyze the quantum theory in the separable coordinate systems. The path integral in each case is formulated and then solved in the majority of cases; the exceptions being the quartic oscillators where no closed solution is known. The required ingredients are the path integral solutions of the linear potential, the harmonic oscillator, the radial harmonic oscillator, the modified Pöschl-Teller potential, and the spheroidal wave functions. The basic path integral solutions, which appear here in a complicated way, have been developed in recent work and are known. The final solutions are represented in terms of the corresponding Green’s functions and the expansions into the wave functions. We also sketch some limiting cases of the Darboux spaces, where spaces of constant negative and zero curvature emerge.     

Invariant Forms of the Lorentz Group

We study trilinear and multilinear invariant forms for the homogeneous Lorentz group. The residues of these trilinear forms generate particular trilinear forms themselves. They appear also if we sum Taylor expansions partially into a series of expressions each of which is covariant under infinitesimal Lorentz transformations. Multilinear invariant forms are submitted to harmonic analysis in different channels. They are thus expressed by invariant functions. Invariant functions for different channels are related by integral equations involving 6χ-symbols, 9χ-symbols etc. as “crossing kernels”. It is shown by construction that all invariant functions and nχ-symbols can be represented as finite sums of Barnes type integrals. As example we analyze explicitly the four-point Schwinger function of the massless Euclidean Thirring field with arbitrary spin and dimension.     

Global aspects of gauged Wess-Zumino-Witten models

A study of the gauged Wess-Zumino-Witten models is given focusing on the effect of topologically non-trivial configurations of gauge fields. A correlation function is expressed as an integral over a moduli space of holomorphic bundles with quasi-parabolic structure. Two actions of the fundamental group of the gauge group is defined: One on the space of gauge invariant local fields and the other on the moduli spaces. Applying these in the integral expression, we obtain a certain identity which relates correlation functions for configurations of different topologies. It gives an important information on the topological sum for the partition and correlation functions.     

Invariant Amplitudes for Coherent Electromagnetic Pseudoscalar Production from a Spin-One Target, II: Crossing, Multipoles, and Observables

 The formal properties of the recently derived set of linearly independent invariant amplitudes for the electromagnetic production of a pseudoscalar particle from a spin-one particle have been further exploited. The crossing properties are discussed in detail. Since not all of the amplitudes have simple crossing behaviour, we introduce an alternative set of basic amplitudes which are either symmetric or antisymmetric under crossing. The multipole decomposition is given, and the representation of the multipoles as integrals over the invariant functions weighted with Legendre polynomials is derived. Furthermore, differential cross section and polarization observables are expressed in terms of the corresponding invariant functions. Received July 5, 1999; accepted for publication September 19, 1999     

Lie and Noether symmetries of geodesic equations and collineations

The Lie symmetries of the geodesic equations in a Riemannian space are computed in terms of the special projective group and its degenerates (affine vectors, homothetic vector and Killing vectors) of the metric. The Noether symmetries of the same equations are given in terms of the homothetic and the Killing vectors of the metric. It is shown that the geodesic equations in a Riemannian space admit three linear first integrals and two quadratic first integrals. We apply the results in the case of Einstein spaces, the Schwarzschild spacetime and the Friedman Robertson Walker spacetime. In each case the Lie and the Noether symmetries are computed explicitly together with the corresponding linear and quadratic first integrals.     

Reduction in path integrals on a Riemannian manifold with group action

A new method for the factorization of the path-integral measure in path integrals for a particle motion on a compact Riemannian manifold with a free isometric unimodular group action is proposed. It is shown that path-integral measure is not invariant under the factorization. An integral relation between the path integral given on the total space of the principal fiber bundle and the path integral on the base space of this bundle (the orbit space of the group action) is obtained.     

On the riemannian metrics in which admit all hyperplanes as minimal hypersurfaces

Inspired by a result of Bekkar (1991), Robert Lutz raised the following problem: determine the riemannian metrics in domains of ⁿ which admit all hyperplanes as minimal hypersurfaces. We solve the problem giving a formula which expresses its solutions in terms of the non-degenerate quadratic first integrals of the geodesic motion in the euclidean space (second-order Killing tensor fields). Then, we prove that for n = 3 the non-flat polynomial solutions of the problem are the left invariant riemannian metrics on the Heisenberg group.     

Invariant characterization of Liouville metrics and polynomial integrals

In this paper a criterion for a metric on a surface to be Liouville is established, and it is given in terms of differential invariants of the metric. Moreover, here we completely solve in invariant terms the local mobility problem of a 2D metric, considered by Darboux: How many quadratic in momenta integrals the geodesic flow of a given metric possesses? The method is also applied to recognition of higher degree polynomial integrals of geodesic flows.     

Dimensionality Reduction of SPD Data Based on Riemannian Manifold Tangent Spaces and Isometry

Symmetric positive definite (SPD) data have become a hot topic in machine learning. Instead of a linear Euclidean space, SPD data generally lie on a nonlinear Riemannian manifold. To get over the problems caused by the high data dimensionality, dimensionality reduction (DR) is a key subject for SPD data, where bilinear transformation plays a vital role. Because linear operations are not supported in nonlinear spaces such as Riemannian manifolds, directly performing Euclidean DR methods on SPD matrices is inadequate and difficult in complex models and optimization. An SPD data DR method based on Riemannian manifold tangent spaces and global isometry (RMTSISOM-SPDDR) is proposed in this research. The main contributions are listed: (1) Any Riemannian manifold tangent space is a Hilbert space isomorphic to a Euclidean space. Particularly for SPD manifolds, tangent spaces consist of symmetric matrices, which can greatly preserve the form and attributes of original SPD data. For this reason, RMTSISOM-SPDDR transfers the bilinear transformation from manifolds to tangent spaces. (2) By log transformation, original SPD data are mapped to the tangent space at the identity matrix under the affine invariant Riemannian metric (AIRM). In this way, the geodesic distance between original data and the identity matrix is equal to the Euclidean distance between corresponding tangent vector and the origin. (3) The bilinear transformation is further determined by the isometric criterion guaranteeing the geodesic distance on high-dimensional SPD manifold as close as possible to the Euclidean distance in the tangent space of low-dimensional SPD manifold. Then, we use it for the DR of original SPD data. Experiments on five commonly used datasets show that RMTSISOM-SPDDR is superior to five advanced SPD data DR algorithms.     

The (1+1) Dimensional Dirac Equation With Pseudoscalar Potentials: Path Integral Treatment

The supersymetric path integrals in solving the problem of relativistic spinning particle interacting with pseudoscalar potentials is examined. The relative propagator is presented by means of path integral, where the spin degrees of freedom are described by odd Grassmannian variables and the gauge invariant part of the effective action has a form similar to the standard pseudoclassical action given by Berezin and Marinov. After integrating over fermionic variables (Grassmannian variables), the problem is reduced to a nonrelativistic one with an effective supersymetric potential. Some explicit examples are considered, where we have extracted the energy spectrum of the electron and the wave functions. PACS numbers: 03.65. Ca-Formalism, 03.65. Db-Functional analytical methods, 03.65. Pm-Relativistic wave equations.     

Path Integration and Separation of Variables in Spaces of Constant Curvature in Two and Three Dimensions

In this paper path integration in two- and three-dimensional spaces of constant curvature is discussed: i.e. the flat spaces R² and R³, the two- and three-dimensional sphere and the two- and three-dimensional pseudosphere. We are going to discuss all coordinates systems where the Laplace operator admits separation of variables. In all of them the path integral formulation will be stated, however in most of them an explicit solution in terms of the spectral expansion can be given only on a formal level. What can be stated in all cases, are the propagator and the corresponding Green function, respectively, depending on the invariant distance which is a coordinate independent quantity. This property gives rise to numerous identities connecting the corresponding path integral representations and propagators in various coordinate systems with each other.     

Greens functions of 2-dimensional Yang-Mills theories on nonorientable surfaces

By using the path integral method, we calculate the Green functions of the field strength of Yang-Mills theories on arbitrary nonorientable surfaces in Schwinger-Fock gauge.We show that the non-gauge invariant correlators consist of a free part and an almost x-independent part. We also show that the gauge invariant n-point functions are those corresponding to the free part, as in the case of orientable surfaces.     

On the regular holonomic character of theS-matrix and microlocal analysis of unitarity-type integrals

The previously proved results that every analytically renormalized Feynman integral is a regular holonomic function suggests that theS-matrix should be locally expressible as an infinite sum of regular holonomic functions. A regularity propertyR is formulated that expresses the condition that theS-matrix be locally expressible near each physical pointp as a convergent sum of regular holonomic functions, with each term enjoying some of the regularity properties of a corresponding Feynman integral. This propertyR holds at every physical pointp that has yet been analyzed by the methods of axiomatic field theory orS-matrix theory. Some analyticity properties of unitarity-type integrals are then examined under the assumption that theS-matrix satisfies propertyR and a weak integrability condition. These results rest heavily on some recently proved properties of regular holonomic functions.     

Invariant star products and representations of compact semisimple Lie groups

Starting from the work by F. A. Berezin, and earlier paper by the author defined an invariant star product on every nonexceptional Kähler symmetric space. In this Letter a recursion formula is obtained to calculate the corresponding invariant Hochschild 2-cochains for spaces of types II and III. An invariant star product is defined on every integral symplectic (Kähler) homogeneous space of simply-connected compact Lie groups (on every integral orbit of the coadjoint representation). The invariant 2-cochains are obtained from the Bochner-Calabi function of the space. The leading term of the lth-2-cochain is determined by the l-power of the Laplace operator.     

Correlation Functions of Harish-Chandra Integrals over the Orthogonal and the Symplectic Groups

The Harish-Chandra correlation functions, i.e. integrals over compact groups of invariant monomials with the weight exp tr (X Ω Y Ω ^† ) are computed for the orthogonal and symplectic groups. We proceed in two steps. First, the integral over the compact group is recast into a Gaussian integral over strictly upper triangular complex matrices (with some additional symmetries), supplemented by a summation over the Weyl group. This result follows from the study of loop equations in an associated two-matrix integral and may be viewed as the adequate version of Duistermaat–Heckman’s theorem for our correlation function integrals. Secondly, the Gaussian integration over triangular matrices is carried out and leads to compact determinantal expressions.     

Topological Invariants in Braid Theory

Many invariants of knots and links have their counterparts in braid theory. Often, these invariants are most easily calculated using braids. A braid is a set of n strings stretching between two parallel planes. This review demonstrates how integrals over the braid path can yield topological invariants. The simplest such invariant is the winding number – the net number of times two strings in a braid wrap about each other. But other, higher-order invariants exist. The mathematical literature on these invariants usually employs techniques from algebraic topology that may be unfamiliar to physicists and mathematicians in other disciplines. The primary goal of this paper is to introduce higher-order invariants using only elementary differential geometry.Some of the higher-order quantities can be found directly by searching for closed one-forms. However, the Kontsevich integral provides a more general route. This integral gives a formal sum of all finite order topological invariants. We describe the Kontsevich integral, and prove that it is invariant to deformations of the braid.Some of the higher-order invariants can be used to generate Hamiltonian dynamics of n particles in the plane. The invariants are expressed as complex numbers; but only the real part gives interesting topological information. Rather than ignoring the imaginary part, we can use it as a Hamiltonian. For n = 2, this will be the Hamiltonian for point vortex motion in the plane. The Hamiltonian for n = 3 generates more complicated motions.     

A new family of four-dimensional symplectic and integrable mappings

We investigate the generalisations of the Quispel, Roberts and Thompson (QRT) family of mappings in the plane leaving a rational quadratic expression invariant to the case of four variables. We assume invariance of the rational expression under a cyclic permutation of variables and we impose a symplectic structure with Poisson brackets of the Weyl type. All mappings satisfying these conditions are shown to be integrable either as four-dimensional mappings with two explicit integrals which are in involution with respect to the symplectic structure and which can also be inferred from the periodic reductions of the double-discrete versions of the modified Korteweg–deVries (ΔΔMKdV) and sine-Gordon (ΔΔsG) equations or by reduction to two-dimensional mappings with one integral of the symmetric QRT family.     

Explicit Semi-invariants and Integrals of the Full Symmetric {\mathfrak{sl}_n} Toda Lattice

We show how to construct semi-invariants and integrals of the full symmetric \({\mathfrak{sl}_n}\) Toda lattice for all n. Using the Toda equations for the Lax eigenvector matrix we prove the existence of semi-invariants which are homogeneous coordinates in the corresponding projective spaces. Then we use these semi-invariants to construct the integrals. The existence of additional integrals which constitute a full set of independent non-involutive integrals was known but the chopping and Kostant procedures have crucial computational complexities already for low-rank Lax matrices and are practically not applicable for higher ranks. Our new approach solves this problem and results in simple explicit formulae for the full set of independent semi-invariants and integrals expressed in terms of the Lax matrix and its eigenvectors, and of eigenvalue matrices for the full symmetric \({\mathfrak{sl}_n}\) Toda lattice.