Tropical Mathematics & its Applications Supported by the LMS 23rd January 2015  School of Mathematics, University of Manchester Local Organiser: Marianne Johnson

A joint research group in tropical mathematics has been formed by researchers in UK mathematics departments at universities including Manchester, Birmingham, Warwick, Queen Mary and Swansea, with financial support from the London Mathematical Society. This page gives details of the next meeting, to be held in Manchester. Funds are available to support the attendance of UK-based postgraduate students.

Speakers

* Glenn Merlet (Marseille)
* Elizabeth Baldwin (London School of Economics)
* Francoise Tisseur (Manchester)

Provisional programme

All talks will talk place in the Frank Adams room of the Alan Turing building in the School of Mathematics, University of Manchester. (See below for advice on how to get here.)

12:00 Early arrivers meet for lunch

13:00 Glenn Merlet Weak CSR expansions and bounds for periodicity in powers of tropical matrices.
The celebrated Cyclicity Theorem states that the sequence of powers of a tropical irreducible matrix is ultimately periodic, up to some simple renormalization. The starting time of the periodic behavior, called transient, has been investigated several times, leading to several incomparable bounds. All those bounds are the maximum of two parts: one that depends on the underlying graph and one that also depends on the values of the matrix. This is obviously necessary, as shown by some simple examples. We call Weak CSR expansion a formula of the form (1) \$A^t=CS^tR \oplus B^t\$, where S is a periodic matrix conjugated to a boolean one and B is a matrix simpler than A. We propose several choices of B for each A and show that (1) holds for t greater than some well known bounds for the transient of boolean matrices. We thus recover the CSR expansion introduced by Sergeev and Schneider, with several bounds on on its starting time. Then, we show that when A is irreducible \$CS^tR \oplus B^t=CS^tR\$ for large enough t, thus improving all the known bounds on the transient and giving some new ones. The proofs are based on decompositions and recompositions of optimal walks on the digraph of the matrix. I will explain the main line of the proofs and the most striking way to reduce the length of optimal walks on the digraph. This is based on joint work with Thomas Nowak (ENS) and Sergei Sergeev (Birmingham).

14:00 Elizabeth Baldwin The geometry of auctions and competitive equilibrium with indivisible goods
In order to develop new auctions for related but different indivisible goods, we study how an agent's demand changes as prices change. The set of prices at which demand changes forms a tropical hypersurface. Simple geometric properties translate directly to economic properties, providing a new taxonomy for agents' valuations. Tropical-geometric results provide new results about when competitive equilibrium exists. This is joint work with Paul Klemperer (Oxford University).

15:00 Coffee

15:30 Francoise Tisseur Exploiting Tropical Algebra in Numerical Linear Algebra
We aim to show that tropical algebra can be useful in numerical linear algebra, in particular for problems with large variation in the magnitude of the elements and which are often difficult to solve numerically. We will present diverse applications of tropical algebra to matrix computations.

16:30 Close

17:00 Dinner

We plan to go for an early dinner shortly after the last talk, somewhere near to the train station. It would be helpful if you could let Marianne know if you intend to join us for dinner.

Registration

There are no registration fees, but it would be helpful if you could confirm your attendance by email (marianne.johnson@manchester.ac.uk). Financial support for UK-based postgraduate students is awarded on a first come first served basis; please give an estimate of your travel costs when confirming your attendance.

Lunch

Please note that lunch will not be provided, however, you are most welcome to join us for lunch at one of the university cafeterias in University Place. If you would like to do so, we will meet at 12 on the atrium bridge area on the first floor of the Alan Turing building.