http://hdl.handle.net/2005/41 Tue, 30 Apr 2013 12:07:55 GMT 2013-04-30T12:07:55Z http://hdl.handle.net/2005/1909 Title: Irreducible Representations Of The Symmetric Group And The General Linear Group Authors: Verma, Abhinav Abstract: Representation theory is the study of abstract algebraic structures by representing their elements as linear transformations or matrices. It provides a bridge between the abstract symbolic mathematics and its explicit applications in nearly every branch of mathematics. Combinatorial representation theory aims to use combinatorial objects to model representations, thus answering questions in this field combinatorially. Combinatorial objects are used to help describe, count and generate representations. This has led to a rich symbiotic relationship where combinatorics has helped answer algebraic questions and algebraic techniques have helped answer combinatorial questions. In this thesis we discuss the representation theory of the symmetric group and the general linear group. The theory of these two families of groups is often considered the corner stone of combinatorial representation theory. Results and techniques arising from the study of these groups have been successfully generalized to a very wide class of groups. An overview of some of the generalizations can be found in [BR99]. There are also many avenues for further generalizations which are currently being explored. The constructions of the Specht and Schur modules that we discuss here use the concept of Young tableaux. Young tableaux are combinatorial objects that were introduced by the Reverend Alfred Young, a mathematician at Cambridge University, in 1901. In 1903, Georg Frobenius applied them to the study of the symmetric group. Since then, they have been found to play an important role in the study of symmetric functions, representation theory of the symmetric and complex general linear groups and Schubert calculus of Grassmannians. Applications of Young tableaux to other branches of mathematics are still being discovered. When drawing and labelling Young tableaux there are a few conflicting conventions in the literature, throughout this thesis we shall be following the English notation. In chapter 1 we shall make a few definitions and state some results which will be used in this thesis. In chapter 2 we discuss the representations of the symmetric group. In this chapter we define the Specht modules and prove that they describe all the irreducible representations of Sn. We conclude with a discussion about the ring of Sn representations which is used to prove some identities of Specht modules. In chapter 3 we discuss the representations of the general linear group. In this chapter we define the Schur modules and prove that they describe all the irreducible rational representations of GLmC. We also show that the set of tableaux forms an indexing set for a basis of the Schur modules. In chapter 4 we describe a relation between the Specht and Schur modules. This is a corollary to the more general Schur-Weyl duality, an overview of which can be found in [BR99]. The appendix contains the code and screen-shots of two computer programs that were written as part of this thesis. The programs have been written in C++ and the data structures have been implemented using the Standard Template Library. The first program gives us information about the representations of Sn for a given n. For a user defined n it will list all the Specht modules corresponding to that n, their dimensions and the standard tableaux corresponding to their basis elements. The second program gives information about a certain representation of GLmC. For a user defined m and λ it gives the dimension and the semistandard tableaux corresponding to the basis elements of the Schur module Eλ . Wed, 30 Jan 2013 18:30:00 GMT http://hdl.handle.net/2005/1909 2013-01-30T18:30:00Z http://hdl.handle.net/2005/1927 Title: An Algorithmic Approach To Crystallographic Coxeter Groups Authors: Malik, Amita Abstract: Coxeter group, named after H.S.M. Coxeter, is an abstract group that admits a formal description in terms of mirror symmetries. It turns out that the finite Coxeter groups are precisely the finite Euclidean reflection groups. Coxeter studied these groups and classified all finite ones in 1935, however they were known as reflection groups until J. Tits coined the term Coxeter groups for them in the sixties. Finite crystallographic Coxeter groups, also known as finite Weyl groups, play a prominent role in many branches of mathematics like combinatorics, Lie theory, number theory, and geometry. The computational aspects of these groups are of great interests and play a very important role in representation theory. Since it’s enough to study only the irreducible class of groups in order to understand any Coxeter group, we discuss irreducible crystallographic Coxeter groups here. Our goal is to try to deal with some of the fundamental computational problems that arise in working with the structures such as Weyl groups, root system, Weyl characters. For the classical cases, especially type A, many of these problems are not very subtle and have been solved completely. However, these solutions often do not generalize. In this report, our emphasis is on algorithms which do not really depend on the classifications of root systems. The canonical example, we always keep in mind is E8. In chapter 1, we fix the notations and give some basic results which have been used in this report. In chapter 2, we explain algorithms to various Weyl group problems like membership problem; how to find the length of an element; how to check if two words in a Weyl group represent the same element or not; finding the coset representative for an element for a given parabolic subgroup; and list all the expressions possible for an element. In chapter 3, the main goal is to write an algorithm to compute the weight multiplicities of the irreducible representations using Freudenthal’s formula. For this, we first compute the positive roots and dominant weights for a given root system and then finally find the weight multiplicities. We argue this mathematically using the results given in chapter 1. The crystallographic hypothesis is unnecessary for much of what is discussed in chapter 2. In the last chapter, we give codes of the computer programs written in C++ which implement the algorithms described in the previous chapters in this report. Wed, 13 Feb 2013 18:30:00 GMT http://hdl.handle.net/2005/1927 2013-02-13T18:30:00Z http://hdl.handle.net/2005/1302 Title: Exploring Polynomial Convexity Of Certain Classes Of Sets Authors: Gorai, Sushil Abstract: Let K be a compact subset of Cn . The polynomially convex hull of K is defined as The compact set K is said to be polynomially convex if = K. A closed subset is said to be locally polynomially convex at if there exists a closed ball centred at z such that is polynomially convex. The aim of this thesis is to derive easily checkable conditions to detect polynomial convexity in certain classes of sets in This thesis begins with the basic question: Let S1 and S2 be two smooth, totally real surfaces in C2 that contain the origin. If the union of their tangent planes is locally polynomially convex at the origin, then is locally polynomially convex at the origin? If then it is a folk result that the answer is, “Yes.” We discuss an obstruction to the presumed proof, and use a different approach to provide a proof. When dimR it turns out that the positioning of the complexification of controls the outcome in many situations. In general, however, local polynomial convexity of also depends on the degeneracy of the contact of T0Sj with We establish a result showing this. Next, we consider a generalization of Weinstock’s theorem for more than two totally real planes in C2 . Using a characterization, recently found by Florentino, for simultaneous triangularizability over R of real matrices, we present a sufficient condition for local polynomial convexity at of union of finitely many totally real planes is C2 . The next result is motivated by an approximation theorem of Axler and Shields, which says that the uniform algebra on the closed unit disc generated by z and h — where h is a nowhereholomorphic harmonic function on D that is continuous up to ∂D — equals . The abstract tools used by Axler and Shields make harmonicity of h an essential condition for their result. We use the concepts of plurisubharmonicity and polynomial convexity to show that, in fact, the same conclusion is reached if h is replaced by h+ R, where R is a nonharmonic perturbation whose Laplacian is “small” in a certain sense. Ideas developed for the latter result, especially the role of plurisubharmonicity, lead us to our final result: a characterization for compact patches of smooth, totallyreal graphs in to be polynomially convex. Sun, 17 Jul 2011 18:30:00 GMT http://hdl.handle.net/2005/1302 2011-07-17T18:30:00Z http://hdl.handle.net/2005/1249 Title: Numerical Study Of Regularization Methods For Elliptic Cauchy Problems Authors: Gupta, Hari Shanker Abstract: Cauchy problems for elliptic partial differential equations arise in many important applications, such as, cardiography, nondestructive testing, heat transfer, sonic boom produced by a maneuvering aerofoil, etc. Elliptic Cauchy problems are typically ill-posed, i.e., there may not be a solution for some Cauchy data, and even if a solution exists uniquely, it may not depend continuously on the Cauchy data. The ill-posedness causes numerical instability and makes the classical numerical methods inappropriate to solve such problems. For Cauchy problems, the research on uniqueness, stability, and efficient numerical methods are of significant interest to mathematicians. The main focus of this thesis is to develop numerical techniques for elliptic Cauchy problems. Elliptic Cauchy problems can be approached as data completion problems, i.e., from over-specified Cauchy data on an accessible part of the boundary, one can try to recover missing data on the inaccessible part of the boundary. Then, the Cauchy problems can be solved by finding a so-lution to a well-posed boundary value problem for which the recovered data constitute a boundary condition on the inaccessible part of the boundary. In this thesis, we use natural linearization approach to transform the linear Cauchy problem into a problem of solving a linear operator equation. We consider this operator in a weaker image space H−1, which differs from the previous works where the image space of the operator is usually considered as L2 . The lower smoothness of the image space will make a problem a bit more ill-posed. But under such settings, we can prove the compactness of the considered operator. At the same time, it allows a relaxation of the assumption concerning noise. The numerical methods that can cope with these ill-posed operator equations are the so called regularization methods. One prominent example of such regularization methods is Tikhonov regularization which is frequently used in practice. Tikhonov regularization can be considered as a least-squares tracking of data with a regularization term. In this thesis we discuss a possibility to improve the reconstruction accuracy of the Tikhonov regularization method by using an iterative modification of Tikhonov regularization. With this iterated Tikhonov regularization the effect of the penalty term fades away as iterations go on. In the application of iterated Tikhonov regularization, we find that for severely ill-posed problems such as elliptic Cauchy problems, discretization has such a powerful influence on the accuracy of the regularized solution that only with some reasonable discretization level, desirable accuracy can be achieved. Thus, regularization by projection method which is commonly known as self-regularization is also considered in this thesis. With this method, the regularization is achieved only by discretization along with an appropriate choice of discretization level. For all regularization methods, the choice of an appropriate regularization parameter is a crucial issue. For this purpose, we propose the balancing principle which is a recently introduced powerful technique for the choice of the regularization parameter. While applying this principle, a balance between the components related to the convergence rate and stability in the accuracy estimates has to be made. The main advantage of the balancing principle is that it can work in an adaptive way to obtain an appropriate value of the regularization parameter, and it does not use any quantitative knowledge of convergence rate or stability. The accuracy provided by this adaptive strategy is worse only by a constant factor than one could achieve in the case of known stability and convergence rates. We apply the balancing principle in both iterated Tikhonov regularization and self-regularization methods to choose the proper regularization parameters. In the thesis, we also investigate numerical techniques based on iterative Tikhonov regular-ization for nonlinear elliptic Cauchy problems. We consider two types of problems. In the first kind, the nonlinear problem can be transformed to a linear problem while in the second kind, linearization of the nonlinear problem is not possible, and for this we propose a special iterative method which differs from methods such as Landweber iteration and Newton-type method which are usually based on the calculation of the Frech´et derivative or adjoint of the equation. Abundant examples are presented in the thesis, which illustrate the performance of the pro-posed regularization methods as well as the balancing principle. At the same time, these examples can be viewed as a support for the theoretical results achieved in this thesis. In the end of this thesis, we describe the sonic boom problem, where we first encountered the ill-posed nonlinear Cauchy problem. This is a very difficult problem and hence we took this problem to provide a motivation for the model problems. These model problems are discussed one by one in the thesis in the increasing order of difficulty, ending with the nonlinear problems in Chapter 5. The main results of the dissertation are communicated in the article [35]. Wed, 29 Jun 2011 18:30:00 GMT http://hdl.handle.net/2005/1249 2011-06-29T18:30:00Z