Matrikon

20 November 2009

Matrikon

Centre Retreat

CDSC and CARMA Dec 09 CARMA funded as University Priority Research

Centre in Computer Assisted Research Mathematics and its applications (2009-13)

March 09 CARMA Inner Sanctum (V205) opens as extension to Access Grid Room (V206) July 09 IS fully online May 09 First student RAs hired Sept 09 FT Technical Officer Administrator hired

Dr David Allingham

Formal opening held October 30th 2009 15 CARMA members Growing student numbers

ARC Centre of Excellencefor Complex DynamicSystems and Control

Retreat20 November 2009

RMIT at opening

V206

Interactive Phase Recovery in Cinderella Consider the simplest case of a line A of height ® and the unit circle B. With

the iteration becomes

For ® 2 (0,1) the pictures are lovely but proofs escaped us until recently. A Cinderella picture of two steps from (4.2,-0.51) follows:

• Borwein and Sims have the first proof of convergence for non-convex Douglas-Ratchford iterations (preprint Nov 2009): uses include protein folding, optical aberration, Sudoku, SAT....• Are studying optimization models/implementations of compressed sensing

Grief is in the GUI: local convergence is now proven...

Numerical errors

Work started during Ulli Kortenkamp’s March visit to

CARMA