Recent work has shown that fast matrix multiplication algorithms can be constructed by embedding the two input matrices into a group algebra, applying a generalized discrete Fourier transform, and performing the multiplication in the Fourier basis. Developing an embedding that yields a matrix multiplication algorithm with running time faster than naive matrix multiplication leads to interesting combinatorial problems in group theory. The crux of such an embedding, after a group G has been chosen, lies in finding a triple of subsets of G that satisfy a certain algebraic relation. I show how the process of finding such subsets can in some cases be greatly simplified by considering the action of the group G on an appropriate set X. In particular, I focus on groups acting on regularly branching trees.

Thesis (Ph. D.)--University of Chicago, Dept of Mathematics, June 2000. / Includes bibliographical references. Also available on the Internet.

Thesis (Ph. D.)--University of Chicago, Dept. of Mathematics, June 1999. / Includes bibliographical references. Also available on the Internet.

No description available.

Collective (group, mass) actions and their trying Abstract With regard to both global and national developments, it is necessary to respond to the societal changes brought about by it in the field of private law. One of these changes is also the mass of legal relationships consisting of the existence of a large number of almost identical rights and obligations between one or more entities on the one hand and thousands and millions on the other. In practice, new problems arise, such as overloading the courts, enormous costs of proceedings, recurring evidence, and so on. And these problems represent challenges that intitutes of collective rights protection, generally reffered to as collective actions, has to cope with. These include group action, representative action, test-case action, public group action, and so on. The prototype of all these actions is U.S. class action with deep historical roots, which has become the most used and the most famous. Also, in many other countries of the world and Europe, collective actions have been introduced in various forms, often inspired by U.S. class action. Collective protection of rights has been unresolved topic without the prospect of a comprehensive legislative framework until recently, but now the situation is different and the civil procedural law will be...

A large part of the structure of the objects in the theory of Dooley and Wildberger [Funktsional. Anal. I Prilozhen. 27 (1993), no. 1, 25-32] and that of Rouviere [Compositio Math. 73 (1990), no. 3, 241-270] can be described by considering a connected, finite-dimentional symmetric space G/H (as defined by Rouviere), with ???exponential map???, Exp, from L G/L H to G/H, an action, ???: K ??? Aut??(G) (where Aut?? (G) is the projection onto G/H of all the automorphisms of G which leave H invariant), of a Lie group, K, on G/H and the corresponding action, ???# , of K on L G/L H defined by g ??? L (???g), along with a quadruple (s, E, j, E#), where s is a ???# - invariant, open neighbourhood of 0 in L G/L H, E is a test-function subspace of C??? (Exp s), j ?? C??? (s), and E# is a test-function subspace of C??? (s) which contains { j.f Exp: f ?? E }. Of interest is the question: Is the function ???: ?? ??? ????, where ??: f ??? j.f Exp, a local associative algebra homomorphism from F# with multiplication defined via convolution with respect to a function e: s x s ??? C, to F, with the usual convolution for its multiplication (where F is the space of all ??? - invariant distributions of E and F# is the space of all ???# - invariant distributions of E#)? For this system of objects, we can show that, to some extent, the choice of the function j is not critical, for it can be ???absorbed??? into the function e. Also, when K is compact, we can show that ??? ker ?? = { f ?? E : ???k f (???g) dg = 0}. These results turn out to be very useful for calculations on s2 ??? G/H, where G = SO(3) and H??? SO(3) with H ??? SO(2) with ??? : h ??? Lh, as we can use these results to show that there is no quadruple (s, E, j, E#) for SO(3)/H with j analytic in some neighbourhood of 0 such that ??? is a local homomorphism from F# to F. Moreover, we can show that there is more than one solution for the case where s, E and E# are as chosen by Rouviere, if e is does not have to satisfy e(??,??) = e(??,??).

In the early 1980s a landmark result was obtained by Atiyah and independently Guillemin and Sternberg: the image of the momentum map for a torus action on a compact symplectic manifold is a convex polyhedron. Atiyah's proof makes use of the fact that level sets of the momentum map are connected. These proofs work in the setting of finite-dimensional compact symplectic manifolds. One can ask how these results generalize. A well-known example of an infinite-dimensional symplectic manifold with a finite-dimensional torus action is the based loop group. Atiyah and Pressley proved convexity for this example, but not connectedness of level sets. A proof of connectedness of level sets for the based loop group was provided by Harada, Holm, Jeffrey and Mare in 2006. In this thesis we study Hilbert manifolds equipped with a strong symplectic structure and a finite-dimensional group action preserving the strong symplectic structure. We prove connectedness of regular generic level sets of the momentum map. We use this to prove convexity of the image of the momentum map.

In the early 1980s a landmark result was obtained by Atiyah and independently Guillemin and Sternberg: the image of the momentum map for a torus action on a compact symplectic manifold is a convex polyhedron. Atiyah's proof makes use of the fact that level sets of the momentum map are connected. These proofs work in the setting of finite-dimensional compact symplectic manifolds. One can ask how these results generalize. A well-known example of an infinite-dimensional symplectic manifold with a finite-dimensional torus action is the based loop group. Atiyah and Pressley proved convexity for this example, but not connectedness of level sets. A proof of connectedness of level sets for the based loop group was provided by Harada, Holm, Jeffrey and Mare in 2006. In this thesis we study Hilbert manifolds equipped with a strong symplectic structure and a finite-dimensional group action preserving the strong symplectic structure. We prove connectedness of regular generic level sets of the momentum map. We use this to prove convexity of the image of the momentum map.

A large part of the structure of the objects in the theory of Dooley and Wildberger [Funktsional. Anal. I Prilozhen. 27 (1993), no. 1, 25-32] and that of Rouviere [Compositio Math. 73 (1990), no. 3, 241-270] can be described by considering a connected, finite-dimentional symmetric space G/H (as defined by Rouviere), with ???exponential map???, Exp, from L G/L H to G/H, an action, ???: K ??? Aut??(G) (where Aut?? (G) is the projection onto G/H of all the automorphisms of G which leave H invariant), of a Lie group, K, on G/H and the corresponding action, ???# , of K on L G/L H defined by g ??? L (???g), along with a quadruple (s, E, j, E#), where s is a ???# - invariant, open neighbourhood of 0 in L G/L H, E is a test-function subspace of C??? (Exp s), j ?? C??? (s), and E# is a test-function subspace of C??? (s) which contains { j.f Exp: f ?? E }. Of interest is the question: Is the function ???: ?? ??? ????, where ??: f ??? j.f Exp, a local associative algebra homomorphism from F# with multiplication defined via convolution with respect to a function e: s x s ??? C, to F, with the usual convolution for its multiplication (where F is the space of all ??? - invariant distributions of E and F# is the space of all ???# - invariant distributions of E#)? For this system of objects, we can show that, to some extent, the choice of the function j is not critical, for it can be ???absorbed??? into the function e. Also, when K is compact, we can show that ??? ker ?? = { f ?? E : ???k f (???g) dg = 0}. These results turn out to be very useful for calculations on s2 ??? G/H, where G = SO(3) and H??? SO(3) with H ??? SO(2) with ??? : h ??? Lh, as we can use these results to show that there is no quadruple (s, E, j, E#) for SO(3)/H with j analytic in some neighbourhood of 0 such that ??? is a local homomorphism from F# to F. Moreover, we can show that there is more than one solution for the case where s, E and E# are as chosen by Rouviere, if e is does not have to satisfy e(??,??) = e(??,??).

Thesis (Ph. D.)--University of New South Wales, 1999. / Includes bibliographical references and index. Also available online.