UWA Logo What's On at UWA
   UWA HomeProspective Students  | Current Students  | Staff  | Alumni  | Visitors  | About  |     Search UWA    for      
 

What's On at UWA

* Login to add events... *
Today's date is Friday, March 29, 2024
Centre for the Mathematics of Symmetry and Computation
 March 2013
Thursday 28
14:00 - SEMINAR - Groups and Combinatorics Seminar: Bacterial genome evolution with algebra More Information
Andrew Francis (University of Western Sydney)

will speak on

Bacterial genome evolution with algebra

at 2pm Thursday 28th of March in Blakers Lecture Theatre

NOTE CHANGE OF DAY, TIME AND VENUE

Abstract:

The genome of a bacterial organism consists of a single circular chromosome that can undergo changes at several different levels. There is the very local level of errors that are introduced through the replication process, giving rise to changes in the nucleotide sequence (A,C,G,T); there are larger scale sequence changes occurring during the lifetime of the cell that are able to insert whole segments of foreign DNA, delete segments, or invert segments (among other things); and there are even topological changes that give rise to knotting in DNA.

Algebra might be defined as the study of ``sets with structure", and has been used over the past century to describe the symmetries of nature, most especially in areas like physics and crystallography, but it also plays a role in technological problems such a cryptography. In this talk I will describe how algebraic ideas can be used to model some bacterial evolutionary processes. In particular I will give an example in which modelling the inversion process gives rise to new algebraic questions, and show how algebraic results about the affine symmetric group can be used to calculate the ``inversion distance" between bacterial genomes. This has applications to phylogeny reconstruction.

All welcome.

 April 2013
Friday 05
15:00 - SEMINAR - Groups and Combinatorics Seminar, Redei-polynomials in finite geometry More Information
Abstract:

L. Redei has studied in a detailed way so-called "lacunary" polynomials over finite fields. One of the applications described is to investigate the number of values the difference quotient of a polynomial over a finite field can have. This result has a direct implication in the theory of blocking sets of finite Desarguesian projective planes, and this connection is the start of the use of "Redei-polynomials" in finite geometry. We will discuss some cases to explain the principle of using Redei-polynomials finite projective spaces and some particular generalized quadrangle. Then we discuss a problem on maximal partial ovoids, that has been partially solved using Redei-polynomials, but that can be expressed in terms of transitive subsets of the group SL(2,q).
Tuesday 09
13:00 - SEMINAR - Groups and Combinatorics Seminar, The Erdos-Stone Theorem for finite geometries More Information
Abstract:

For any class of graphs, the growth function h(n) of the class is defined to be the maximum number of edges in a graph in the class on n vertices. The Erdos-Stone Theorem remarkably states that, for any class of graphs that is closed under taking subgraphs, the asymptotic behaviour of h(n) can (almost) be precisely determined just by the minimum chromatic number of a graph not in the class. I will present a surprising version of this theorem for finite geometries, obtained in joint work with Jim Geelen. This result is a corollary of the famous Density Hales-Jewett Theorem of Furstenberg and Katznelson.
Friday 12
15:00 - SEMINAR - Groups and Combinatorics Seminar, On the number of matroids More Information
Abstract:

Matroids are combinatorial structures that generalize graphs as well as configurations of points in projective space. They consist of a finite ground set E and a set of subsets of E called B, such that B satisfies certain axioms. We consider the problem of bounding the number m_n of matroids on a fixed ground set of size n. In 1973, Piff showed that log log m_n < n- log n + O(log log n) In 1974, Knuth gave a lower bound of log log m_n > n- (3/2) log n + (1/2) log(2/pi) - o(1) In the talk, I will present a recent result with Nikhil Bansal and Jorn van der Pol, that log log m_n < n- (3/2) log n + (1/2) log(2/pi) + 1 + o(1)
Friday 19
15:00 - SEMINAR - Groups and Combinatorics Seminar, Arc-transitive graphs with large automorphism groups More Information
Abstract:

An arc in a graph is an unordered pair of adjacent vertices. A graph is called arc-transitive if its automorphism group acts transitively on its set of arcs. We consider the problem of bounding the size of the automorphism group of an arc-transitive graph in terms of its order. We consider the impact of the local action on this problem. (The local action is the permutation group induced by the action of the stabiliser of a vertex on its neighbourhood.) This is joint work with Primož Potocnik and Pablo Spiga.
Friday 26
15:00 - SEMINAR - Groups and Combinatorics Seminar, Locally s-arc transitive regular covers of complete bipartite graphs More Information
Abstract:

The normal quotient method has made the study of certain families of finite graphs (for instance, s-arc transitive and locally s-arc transitive graphs) more approachable by dividing the problem into two parts: (I) Study the "basic graphs," those graphs in the family that are not covers of anything but "trivial" graphs; (II) Study the regular covers of the basic graphs. While (I) has been studied extensively, far less work has been done toward (II). In this talk, I will discuss how voltage graphs can be used to find regular covers of graphs where certain symmetries lift, and specifically look at the problem of determining the locally s-arc transitive regular covers of complete bipartite graphs. No previous knowledge of any of these topics will be assumed.

 May 2013
Friday 03
15:00 - SEMINAR - Groups and Combinatorics Seminar, On metacirculants -The relationship of weak metacirculants and metacirculants More Information
Metacirculants were introduced by Alspach and Parsons in 1982 and have been a rich source of various topics since then, including the Hamiltonian path problem of vertex-transitive graphs. A metacirculant has a vertex-transitive metacyclic subgroup of automorphisms, and a long-standing curious question in the area is if the converse statement is true, namely, whether a graph with a vertex-transitive metacyclic automorphism group is a metacirculant. We shall answer this question in the negative.
Friday 10
15:00 - SEMINAR - Groups and Combinatorics Seminar, Ovoids and spreads of finite polar spaces More Information
Abstract:

This talk is a survey of one of the driving topics in finite geometry, and the connections that ovoids and spreads have to other areas of finite geometry and permutation groups. Apart from a presentation of the history of the field and the main open problems, the speaker will give an overview of his most recent collaboration with Ferdinand Ihringer and Jan De Beule on ovoids of Hermitian polar spaces.
Friday 17
15:00 - SEMINAR - Groups and Combinatorics Seminar, Local transitivity properties of graphs and pairwise transitive designs More Information
Abstract:

One of the earliest triumphs in applying the finite simple group classification in algebraic graph theory was the characterization of finite distance transitive graphs. Recent work by Devillers, Giudici, Li and myself focuses on a generalisation of this class of graphs: locally $s$-distance transitive graphs where ordered vertex-pairs, with given first vertex and at a given distance at most $s$, are equivalent under automorphisms. One basic type of example is closely linked with the existence of very symmetrical point-line incidence structures which we call pairwise transitive designs. I will trace these developments and their links.
Friday 24
15:00 - SEMINAR - Groups and Combinatorics Seminar, Algebraic graph theory applied to configurations of polar spaces More Information
Abstract:

The speaker will give the second half of his talk from a fortnight ago, but with a different context. We will first go through some background on the basics of algebraic graph theory, eigenvalue techniques, and strongly regular graphs, before giving some short non-existence proofs of ovoids and spreads in particular polar spaces.
Friday 31
15:00 - SEMINAR - Groups and Combinatorics Seminar, (k,L)-complexes and graph symmetry More Information
Abstract:

Given an integer k and a graph L, a (k,L)-complex is a polygonal complex consisting of vertices, edges and faces such that each face is a regular k-gon and the graph induced by the edges and faces at each vertex is isomorphic to L. Many questions about the existence and uniquenes of (k,L)-complexes and about their automorphism groups can be converted to questions about automorphisms of the graph L. I will discuss some of these ideas and report on work initiated at last year's retreat.

 June 2013
Friday 07
15:00 - SEMINAR - Groups and Combinatorics Seminar, The Merino Welsh Conjecture More Information
Abstract:

Merino and Welsh conjectured that for any loopless bridgeless graph, the number of spanning trees is dominated either by the number of acyclic orientations of the graph, or by the number of totally cyclic orientations of the graph.

In this talk, I will discuss this conjecture and the partial results that have been previously obtained, along with a proof (which is joint work with Steve Noble) that the conjecture is true for series-parallel graphs.
Friday 14
15:00 - SEMINAR - Groups and Combinatorics Seminar, Recognising the Symmetric and Alternating Squares More Information
Abstract:

The fundamental goal of Computational Group Theory is recognition: given a group somehow represented in a computer (usually by generators), determine any information about the group that you can, as quickly as possible. This is `easy' if we have enough time and memory to write the group in its entirety, but when the group is input as a generating set of matrices, this is impractical. We are explorers in an unknown land, attempting to determine the global structure of our setting from limited, local information.

The Matrix Group Recognition Project provides a recursive framework for full recognition of an arbitrary input group, by searching for a normal subgroup $N$ of $G$ and dealing with $N$ and $G/N$ separately. We present a recognition algorithm for some of the `base cases' of this recursion process, namely certain irreducible representations of a classical group, for which general methods are least effective and specialised algorithms are needed for efficiency.
Friday 21
15:00 - SEMINAR - Groups and Combinatorics Seminar More Information
This week the seminar will consist of three 20 minute talks, starting at 3pm Friday 21st of June in Blakers Lecture Theatre.

--Talk 1--

Mark Ioppolo

will speak on

Symmetry in coding theory: Constructing error control codes with group theory

Abstract:

When data is transmitted over a noisy communication channel there is a possibility that the received message will be different to what the sender intended. A frequently made assumption in coding theory is that the probability of an error occurring does not depend on the position of the error in the codeword, or on the value of the error. The group theoretic analogue of this assumption is known as neighbour-transitivity. This talk will introduce the study of neighbour-transitive codes, focusing on the case where the automorphism group of the code in question is contained in a group of symplectic matrices.

--Talk 2--

David Raithel

will speak on

Structures of Symmetries

Abstract:

Permutation groups are the tools with which we understand and study symmetry. For over a century, mathematicians have been endeavouring to classify classes of permutation groups, which in turn classifies classes of symmetries. Transitive groups lie at the heart of permutation groups, and one of the large overarching themes of permutation group theory has been to characterise transitive groups. In this talk I shall outline four major structure theorems from as early as 1911 to as recently as 2004. These theorems have proven to be powerful tools which have allowed group theorists to sledgehammer their way through some otherwise insurmountable problems.

--Talk 3--

Daniel Hawtin

will speak on

Affine Elusive Codes

Abstract:

An Elusive pair $(C,X)$ is a code-group pair where $X$ fixes the neighbour set setwise, and contains an automorphism which does not fix $C$ setwise. This implies that there are multiple codes, each with the same neighbour set. The concept was introduced by Gillespie and Praeger in order to discern the correct definition for neighbour transitive codes. We discuss a family of exmples which are as large as possible, in some sense, and display properties which previous examples have not.

 July 2013
Friday 05
15:00 - SEMINAR - Groups and Combinatorics Seminar, On Pseudo-Injective Group Algebra More Information
Abstract:

A module M is called pseudo-injective if for every submodule X of M, any monomorphism f : X -------> M can be extended to a homomorphism g : M -------> M. Let K be a field and G a group. It is well known that a group algebra K[G] is self-injective if and only if the group G is finite. We show that if a group algebra K[G] is pseudo-injective then G is locally finite. It is also shown that if a group algebra K[G] has no non-trivial idempotent then K[G] is pseudo-injective if and only if it is self-injective. Furthermore, if K[G] is pseudo-injective then K[H] is pseudo-injective for every subgroup H of G.

 August 2013
Friday 02
15:00 - SEMINAR - Groups and Combinatorics Seminar, Maximal arcs that contain regular hyperovals More Information
Abstract:

A maximal n-arc is a set of q(n-1) + n points in a projective plane such that any line of the plane meets 0 or n of them. The most common maximal arcs, called the Mathon arcs, are constructed by taking the union of regular hyperovals. In particular, there are no known maximal 4-arcs other than the Mathon arcs and their duals. This talk will cover the history of maximal arcs, including the construction of the Mathon arcs, as well as new results. The most important result is that every maximal 4-arc in PG(2,q), that is a union of regular hyperovals, is a Mathon arc. This is joint work with Nicola Durante from Universita' degli Studi di Napoli Federico II.
Friday 09
15:00 - SEMINAR - Groups and Combinatorics Seminar, Semisymmetric graphs of prime valency More Information
Abstract:

A graph is called X-semisymmetric if the group X acts transitively on edges, but not on vertices. Such graphs are necessarily bipartite and bi-regular, of valencies k and l say. There is a natural relationship between semisymmetric graphs and amalgams of groups. This leads us to consider the "universal" example: the bi-regular tree T of valencies k and l. The conjecture of Goldschmidt says that when k and l are primes there are (up to isomorphism) finitely many locally finite groups X such that T is X-semisymmetric (X is locally finite if it acts with finite vertex stabilisers). For k=l=3 it was shown by Goldschmidt that there are 15 such groups. In the talk I will give an overview of some results which bear relevance to the conjecture, and report on some recent progress with respect to certain small primes.
Sunday 11
10:00 - OPEN DAY - 2013 Open Day : Join us for our Centenary Open Day and experience all that UWA has to offer Website | More Information
Come and find out about our undergraduate and postgraduate courses, career options, scholarship opportunities, our valuable research, community programs and facilities.

There's also residential college tours, hands-on activities, live music, entertainment, and plenty of fun activities for the whole family as we celebrate our 100th birthday.
Friday 16
15:00 - SEMINAR - Groups and Combinatorics Seminar, Decomposing tensor products over fields of small characteristic More Information
Abstract:

One motivation for this talk comes from representation theory: decomposing a tensor product of irreducible (or indecomposable) representations as a sum of smaller degree irreducible (or indecomposable) representations. Other motivations come from quantum mechanics and Frobenius algebras.

Consider an $r imes r$ matrix $K_r$ over a field $F$ with 1s on the main diagonal and first upper diagonal (positions $(i,i)$ and $(i,i+1)$) and zeros elsewhere. The tensor product $K_r times K_s$ is a unipotent matrix whose Jordan canonical form is determined by some partition of $rs$. We will show that this partition enjoys surprising symmetries: duality, periodicity, regularity. Our original motivation was to study this partition when the characteristic $p$ of $F$ is small (i.e. $p<r+s-1$). The large characteristic case ($p e r+s-1$) was solved recently by Iima and Iwamatsu.

This is joint work with Cheryl E. Praeger and Binzhou Xia.
Friday 23
15:00 - SEMINAR - Groups and Combinatorics Seminar, Breaking symmetries of infinite graphs More Information
Abstract:

Symmetry breaking involves colouring the elements of a combinatorial structure so that the resulting structure has no nontrivial symmetries. In this talk I'll give an introduction to symmetry breaking, with a particular focus on infinite graphs. I'll also discuss a number of research directions that are opening up. Along the way I'll highlight some of the interesting open questions and conjectures that are being worked upon.

Many of these problems relate to very deep problems in group theory, but I'll try to make the group theory as accessible as possible.

Alternative formats: Default | XML


Top of Page
© 2001-2010  The University of Western Australia
Questions? Mail [email protected]