program and abstractsweb.science.mq.edu.au/~ross/taggedpdf/program/master... · 2017. 12. 14. ·...

61st ANNUAL MEETING OF THEAUSTRALIAN MATHEMATICAL SOCIETY12–15 DECEMBER 2017

PROGRAM AND ABSTRACTS

Department ofMathematics, Macquarie University CRICOS Provider 00002J

Aust MSAustralian Mathematical So

ciet

yIn

c.

This ‘Program and Abstracts’ booklet, containing data collected and collated using the Register! system, has been prepared inaccordance with the PDF/A-3u International Standard for archivability of electronic documents, ISO 19005-3:2012.Production editor: Dr Ross Moore, Mathematics Department, Macquarie University.Publication updated: 14 December 2017.

Cover-page photograph of the Macquarie University Library (taken by Paul Wright, 29 July 2011) and other artwork, used inaccordance with Macquarie University brand-compliance BC2610.

ContentsForeword 3

Conference Organisation 4

Conference Sponsors 5

Conference Program 9

Session 1: Plenary Lectures in the Macquarie Theatre 11

Special Sessions2. Algebra 123. Applied/Industrial Mathematics 134. Category Theory, Algebraic Topology, K-Theory 145. Complex Analysis, Geometry 166. Computational Mathematics 177. Dynamical Systems/Ergodic Theory 188. Education 199. Functional Analysis, Operator Algebra, Non-commutative Geometry 2110. Geometric Analysis 2311. Harmonic Analysis 2412. Mathematical Biology 2513. Mathematical Optimization 2614. Mathematical Physics 2715. Number Theory 2816. Partial Differential Equations 2917. Probability Theory and Stochastic Processes 3018. Representation Theory 3219. Stochastic Models and Applications 3320. Topology 3421. LATEX and beyond 35

Conference Timetable 36Tue 12 December 2017 37Wed 13 December 2017 42Thu 14 December 2017 48Fri 15 December 2017 54

List of Registrants 57

Plenary Abstracts 63

Special Session Abstracts 632. Algebra 673. Applied/Industrial Mathematics 694. Category Theory, Algebraic Topology, K-Theory 735. Complex Analysis, Geometry 776. Computational Mathematics 807. Dynamical Systems/Ergodic Theory 838. Education 859. Functional Analysis, Operator Algebra, Non-commutative Geometry 9010. Geometric Analysis 9311. Harmonic Analysis 9512. Mathematical Biology 9713. Mathematical Optimization 10114. Mathematical Physics 10415. Number Theory 106

16. Partial Differential Equations 10817. Probability Theory and Stochastic Processes 11018. Representation Theory 11319. Stochastic Models and Applications 11620. Topology 11821. LATEX and beyond 121

Index of Speakers 122

2

Foreword

On behalf of the Organising Committee and the Department ofMathematics atMacquarie University,we welcome you to the 61st AnnualMeeting of the AustralianMathematical Society. We hope that youwill find the program of events varied, interesting and inspiring. Perhaps noteworthy is the inaugural‘AustMS Debate’ chaired by Adam Spencer on Wednesday 13 December at 1 pm. We hope too thatyou will enjoy the various social events that we have organised.

We would like to thank our colleagues on the local organising committee and all the departmentaladministrative staff who have worked tirelessly in preparation for AustMS 2017. We would also liketo take this opportunity to thank our sponsors whose support has made this meeting possible.

We hope that you’ll enjoy your time at Macquarie University.

Paul Smith and Xuan DuongCo-Directors, AustMS 2017

3

Conference Organisation

Program Committee

Julie Clutterbuck —Monash UniversityXuan Duong —Macquarie UniversityGary Froyland — University of NSWVladimir Gaitsgory — Macquarie UniversityJan De Gier — The University of MelbourneGiang Nguyen — The University of AdelaideCheryl Praeger — University of Western AustraliaJacqui Ramagge — The University of SydneyPaul Smith — Macquarie UniversityOle Warnaar — University of Queensland

Local Organising Committee

Paul Smith — Conference co-DirectorXuan Duong — Conference co-DirectorRichard Garner — TreasurerSteve Lack — SecretaryChristine Hale — AdministratorRoss Moore —Website & ITCarolyn KennettJi LiFrank ValckenborghElena Vynogradova

Thanks also to John Banks (The University of Melbourne) for use of the Register! system, for regis-tration and collection/preparation of abstracts and timetables, and the overall design of this bookletfor the Conference ‘Program and Abstracts’.

Conference Information Desk

The information desk for the conference is located in the foyer of the ‘Macquarie Theatre’.This desk will be staffed from 8am on Tuesday 12 December, and during morning and afternoon teason other days.

Lunch

A variety of food outlets is located in the area of the ‘Campus Common’. This is located on CentralAvenue, east of the Library. Cafés can be found in some other buildings. Further afield, there are anumber of restaurants and food courts in the Macquarie Shopping Centre.

Wifi access. The university provides wireless internet access through eduroam.

If you are not part of the eduroam network, or find yourself unable to connect to it, you can insteadobtain access via the network ‘Macquarie Events’. After connecting, browse to www.mq.edu.au whereyou will be prompted to enter the passcode: amsam2017.

4

http://www.mq.edu.au/

Conference Sponsors

Australian Mathematical Society Inc.

Australian Mathematical So

ciet

yIn

c.Aust MS

Macquarie University

Australian Mathematical Sciences Institute

Matriχ, a joint partnership of The Universityof Melbourne & Monash University

ARC Centre of Excellence for Mathematicaland Statistical Frontiers

AUSTRALIAN RESEARCH COUNCIL CENTRE OF EXCELLENCE FOR

MATHEMATICAL AND STATISTICAL FrONTIErS

Special thanks to Professor Nalini Joshi through the Georgina Sweet Fellowship, for supporting the‘Women in Mathematics’ dinner, and also to the Department of Mathematics, Macquarie University.

5

Practical InformationGetting to the universityThe terminus for domestic and international flights to Sydney is ‘Kingsford Smith’ airport.Macquarie University is about 30 km from the airport and can be reached from there by road or rail.See: http://www.sydneyairport.com.au/.

▷ By train. Take the unique line from the airport to the city; change at ‘Central’ to the ‘NorthernLine’ (platform 16), and take a train for ‘Hornsby via Macquarie Park’, disembark at the ‘MacquarieUniversity’ station. The fare is about $18.

▷ By taxi. There are taxi ranks at each terminal; the fare toMacquarie University is about $100.▷ By car. Sydney Airport is serviced by most major car rental firms.

See: https://www.sydneyairport.com.au/parking-and-transport/departing/domestic/rental-car.

Finding the conferenceA downloadable PDF map of the university campus is available.See: https://www.mq.edu.au/__data/assets/pdf_file/0016/108142/Campus-Map.pdf .An interactive map is at https://www.mq.edu.au/campus-map.

Events▷ The ‘Women in Mathematics’ dinner will take place on Monday 11 December from 6.15 pm for a6.45 pm start. It will be held in the ‘Macquarie Room’ of the MGSM (Macquarie Graduate School ofManagement). There is parking available in the MGSM carpark.Consult: a detailed map.

▷ The conference commences with an opening ceremony at 9 am on Tuesday 12 December. This,all of the plenary talks, and the lunch-time presentations will take place in the ‘Macquarie Theatre’.Morning and afternoon teas will take place in the foyer; we will also be registering participants there.

▷ The opening reception will take place on Tuesday 12 December from 6pm in the ‘E7B Atrium’.▷ The conference dinner will take place on Thursday 14 December from 6.30pm in ‘Curzon Hall’,

a short walk from campus. See: http://tinyurl.com/yav6waew, or the map on the next page.

Getting around SydneyMacquarie University is well-serviced by road, bus and train. The easiest way of getting to and fromthe city is by train; a one-way trip is around $5, and takes about 35 minutes. You can purchase an‘Opal’ card, allowing travel by all forms of public transport, from many newsagents, post offices andconvenience stores throughout Sydney. (See: http://www.retailers.opal.com.au/.)For transport times and ticket information, see https://transportnsw.info/.

RegistrationPlease register on arrival in the foyer of ‘Macquarie Theatre’.We will be opening registrations at 8 am on Tuesday 12 December, and the registration desk willbe manned throughout the first day. If you happen to arrive after that, please contact one of theorganisers on your arrival and we will see to your registration then.

Information for speakersPlenary talks will be 50 minutes long, plus 10 minutes for introduction and questions. These willtake place in the ‘Macquarie Theatre’. Special session talks will be 20 minutes long plus 5 minutesfor questions and discussion; these will be held in various rooms throughout buildings ‘C5A’, ‘W5A’,‘W5C’ and ‘X5B’ — see map on facing page. In each case, you may give your talk using data projectoror visualizer; some of the special session rooms also have whiteboards (though not the ‘MacquarieTheatre’). For those using the data projector, there is a lectern computer (Windows) present in eachroom; we therefore ask that you bring your talk along to your session in PDF format on a USB stick.Laptops can also be used; please bring your own VGA connection dongle.

6

http://www.sydneyairport.com.au/

https://www.sydneyairport.com.au/parking-and-transport/departing/domestic/rental-car

https://www.mq.edu.au/__data/assets/pdf_file/0016/108142/Campus-Map.pdf

https://www.mq.edu.au/campus-map

https://www.mq.edu.au/about/about-the-university/faculties-and-departments/faculty-of-science-and-engineering/departments-and-centres/department-of-mathematics/news-and-events/austms-annual-meeting-2017/Lachlans-Map.pdf

http://tinyurl.com/yav6waew

http://www.retailers.opal.com.au/

https://transportnsw.info/

Practical Information

5010

0150

225

UNIVERSITY CREEK

MARS CREEK

SECOND WAY SECOND WAY FIR

ST

WA

LK

SIR CHRISTOPHER ONDAATJE AVENUE

FIRS

TW

ALK

1Innovation

Road Siemens

W19F

W19M

W19L

W19G

W19A

W21B

W21A

MA

CQ

UA

RIE

WA

LK

SC

IEN

CE

RO

AD

PLACE

MA

NA

GE

ME

NT D

RIV

E

CENTRAL

EASTERN ROAD

RESEARCH PARK DRIVE

RESEA

RCH

PAR

K DR

IVEAVENUE

UN

IVE

RS

ITY

AV

ENU

EA

VE

NU

EU

NIV

ER

SIT

Y

BALAC

LAVA RO

AD

LINK

RO

AD

GYMN

ASIUM ROAD

INN

OVATION

HERRING ROAD

TALAVERA ROAD

EXECUTIVE ROAD

CHRISTIE ROAD

M2 M

OTORWAY

WATERLOO ROAD

CULLODEN ROAD

EPPING ROAD

HA

DE

NFELD

WESTERN ROAD

PARK DRIVE

RESEARCH

CULLODEN ROAD

TEC

HN

OLO

GY

AVENUE

EASTERN ROAD

WA

LLY’S

WA

LK

RO

AD

North 3

West 5

West 3

West 4

South 2

East 3

East 2

NO

RT

HT

ON

WE

STT

EWW

ES

TA

STT

EA

EEA

SO

UT

HHU

OS

OU

TH

Cen

tralC

Co

urtyarda

o

Private Parking

Hotel

Parking

MG

SMParking

Cam

pusC

omm

on

Macquarie

lake

Library

LotusTheatre

MacquarieTheatre

Mason

Theatre

MU

SE

Cochlear

Australian

Hearing H

ub

Security

Lighthouse Theatre

Dunm

ore LangC

ollege

Robert M

enziesC

ollege

Hospital

Am

phitheatre

The Chancellery

MG

SM

Sport &A

quatic Centre

BanksiaC

ottage

Mia M

ia

Astronom

icalO

bservatory

PondPond

Pool

Herring R

oadA

partments

Macquarie U

niversity Station

Macquarie U

niversity R

esearch park

Gum

nutC

ottage

Macquarie

Shopping Centre

Departm

ent ofBiological Sciences

Travelodge

Macquarie

UniversityV

illage

Sports Fieldsat the end of

Culloden R

oad

MG

SMH

otel

Incubator

16

14

14

6

13 15

17

32

3

56

31

1

7

6

911

12

10

10

8

7

7B 7A 7C

7E 7D

4

17

18

11

19

10

122

207

205

209

211

1412

64

4

2

16

10

11

4

2

6

9

17

1

4 6

11

17

2123

12

2725

8

16

29

14

75

4

3

136

142

160

130-134

1

5

5

138

12

C7A

C8A

E7BE8A

E8C

E8B

F7B

E6B

E6A

E6D

E6C

E6E

E6F

E6G

E4B

E4A

EMC

BD

75T

E7A

E5A

C5C

E3A

C5B

C5A

W3A

W5C

W5A

W6B

W6D

X5B

X5A

X6A

Y3A

Y1A

Y2A

W6A

W2.4A

C3B

C3A

E5B

E3B

C3C

S11A

S1A

C1A

F8A

F10A

F9CF9B

F9A

F11A

W11A

W16A

E11A

E12AE12B

E12C E14B

E14A

E14C

E14D

W10A

Y6AY6B

S2.6

Legend

PATH

WA

YS

RO

AD

S

SH

AR

ED

ZON

ES

FAC

ULT

Y/THE

ATR

E

OTH

ER

BU

ILDIN

GS

PAR

KIN

G

CA

FE/R

ES

TAU

RA

NT

BU

S S

TOP

TRA

IN S

TOP

BO

OM

GA

TE

FRO

NT D

OO

R

AC

CE

SS

IBLE

EN

TRY

Updated N

ovember 20

17

N

O

1ABCDEFGHJKLMNOPQRSTUVW

ABCDEFGHJKLMNPQRSTUVW

23

45

67

89

1011

1213

1415

1617

1819

2021

2223

2425

2627

2829

3031

12

34

56

78

910

1112

1314

1516

1718

1920

2122

2324

2526

2728

2930

31

MG

SM

: WiM

dinner

C8A

: Council m

eetings

E7B

Atrium

Macquarie Theatre

&

W5 S

ession rooms

X5B

Session room

sFood Court &

Bar

Departm

ents of M

aths & S

tats

Railw

ay station S

hopping Mall

C5A

Session room

s

Buildings with entrances (numbered) on-campus, being used for various purposes throughout theConference. Areas designated with× are construction sites, currently inaccessible.

7

Practical Information

Some venues at, or just beyond, the edge of campus are shown in thismap; including the train station,bus stops, Macquarie Centre, Hospital, Macquarie Graduate School of Management and Curzon Hall.

8

Conference Program

Overview of the Academic Program

There are 259 talks, including 13 plenary and featured lectures and 20 special sessions. The Educa-tion special sessions include a Forum, and the SIGME organisational session. For the first time at anAustMS annual meeting, there is a special session called ‘LATEX and beyond’ discussing uses of LATEX,primarily in conjunction with other software systems.

▷ Conference Timetable – page 36

Tue 12 December 2017 – page 37Wed 13 December 2017 – page 42Thu 14 December 2017 – page 48Fri 15 December 2017 – page 54

Plenary Lecturers

Georgia Benkart (University of Wisconsin–Madison, USA)Young-Ju Choie (Pohang University of Science and Technology, South Korea)Ivan Corwin (Columbia University, USA)Michael Cowling (University of New South Wales)Hans De Sterck (Monash University)Yihong Du (University of New England)Hélène Frankowska (CNRS, France)Catherine Greenhill (University of New South Wales)Andrei Okounkov (Columbia University, USA)Philip Keith Pollett (University of Queensland)Michael Small (The University of Western Australia)Yvonne Stokes (The University of Adelaide)

▷ Timetable of Plenary Lectures – page 11

Special Sessions

1. Plenary – page 642. Algebra – page 673. Applied/Industrial Mathematics – page 694. Category Theory, Algebraic Topology, K-Theory – page 735. Complex Analysis, Geometry – page 776. Computational Mathematics – page 807. Dynamical Systems/Ergodic Theory – page 838. Education – page 859. Functional Analysis, Operator Algebra, Non-commutative Geometry – page 9010. Geometric Analysis – page 9311. Harmonic Analysis – page 9512. Mathematical Biology – page 9713. Mathematical Optimization – page 10114. Mathematical Physics – page 10415. Number Theory – page 10616. Partial Differential Equations – page 10817. Probability Theory and Stochastic Processes – page 11018. Representation Theory – page 11319. Stochastic Models and Applications – page 11620. Topology – page 11821. LATEX and beyond – page 121

9

Conference Program

Public Lecture 6:30–7:30pm, Wednesday 13 December

Michael SmallMacquarie Theatre

Education Events 4.30–5.30pm, Wednesday 13 December

Forum: ‘Hot Topics’Education Special Session: roomW5C220

2.00–2.30pm, Friday 15 DecemberSIGME organisational meetingEducation Special Session: roomW5C220

Social Program 6.15 pm, Monday 11 December

Women in Mathematics — dinnerMacquarie Graduate School of Management – Building E14C

6pm, Tuesday 12 DecemberOpening ReceptionE7B Atrium

5:45–6:30pm, Wednesday 13 DecemberDrinks prior to Public LectureMacquarie Theatre

6.30pm, Thursday 14 DecemberConference DinnerCurzon Hall

Additional Presentations 1.15–2:00pm, Tuesday 12 December

NCMS Presentation: ‘Implementation of the Decadal Plan for the Mathematical Sciences’Macquarie Theatre

1.00–2:00pm, Wednesday 13 DecemberDebate: ‘The traditional mathematics blackboard lecture is dead.’Macquarie TheatreChair: Adam SpencerAffirmative Team: Birgit Loch (La Trobe), Dan Mathews (Monash), Marty Ross (Monash)Negative Team: Adrianne Jenner (Sydney), Heather Lonsdale (Curtin), JohnRoberts (UNSW)

1.00–2:00pm, Thursday 14 December61st Annual General Meeting of the Australian Mathematical SocietyMacquarie Theatre

Annual General Meeting of the Society 1.00–2:00pm, Thursday 14 December

61st Annual General Meeting of the Australian Mathematical SocietyMacquarie Theatre

10

Plenary Lectures in Macquarie Theatre

▷ Tue 12 December 2017

11:30 Andrei Okounkov (Columbia University, USA)Enumerative geometry and geometric representation theory

17:00 Yihong Du (University of New England)Propagation, diffusion and free boundaries

▷ Wed 13 December 2017

09:00 Ivan Corwin (Columbia University, USA) – Mahler LectureIntegrable probability

10:00 Hans De Sterck (Monash University)Scalable PDE solvers on supercomputers: multilevel and parallel-in-time

11:30 Georgia Benkart (University of Wisconsin-Madison, USA) – Hanna Neumann LectureWalking on graphs to Invariant Theory

18:30 Michael Small (The University of Western Australia) – Public LectureChaos is not random and complexity is not complicated

▷ Thu 14 December 2017

09:00 Hélène Frankowska (CNRS, France)Value function and necessary optimality conditions in deterministic optimal control

10:00 Philip Keith Pollett (University of Queensland)Metapopulations in evolving landscapes

14:00 YoungJu Choie (POSTECH, South Korea)A vital role of automorphic forms in number theory

16:30 Yvonne Stokes (The University of Adelaide) – ANZIAM LectureCan we make that fibre?

▷ Fri 15 December 2017

09:00 Michael Small (The University of Western Australia)Reconstructing continuous dynamical systems from time series data with discrete tran-sition graphs

10:00 Catherine Greenhill (University of New South Wales)Two threshold problems for random graphs and hypergraphs

11:30 Michael Cowling (University of New South Wales)Analysis on product spaces

11

Special Session 2: Algebra

Organisers: James Parkinson, Bregje Pauwels

Contributed Talks▷ Tue 12 December 2017

14:00 James East (Western Sydney University)Integer polygons with given perimeter

14:30 Lauren Thornton (University of the Sunshine Coast)On base radical operators Part 1: classes of finite associative rings

15:00 Robert McDougall (University of the Sunshine Coast)On base radical operators Part 2: classes of finite Puczylowski algebras

16:00 Michal Ferov (University of Technology, Sydney)Isomorphism problem for virtually-free groups

16:30 Ainsley Pullen (The University of Queensland)Concrete mathematical incompleteness and the Finite Upper Shift Kernel theorem


11:30 John Cannon (The University of Sydney)Fact-checking the ATLAS of Finite Groups

12:00 Hafiz Khusyairi (Australian National University)Unexpected new formula for Grothendieck duality

15:30 Murray Elder (University of Technology, Sydney)Permutations sorted by a finite and an infinite stack in series

16:00 Tim Stokes (University of Waikato, NZ)Generalised domain and E-inverse semigroups

12

Special Session 3: Applied/Industrial Mathematics

Organiser: Harvinder Sidhu

Keynote Talks▷ Tue 12 December 2017

14:00 Amie Albrecht (University of South Australia)The two-train separation problem on non-level track


16:00 Roslyn Hickson (IBM Research Australia)Dengue fever in Taiwan: an IBM Health Corps adventure


15:00 Lele (Joyce) Zhang (The University of Melbourne)A study of optimizing courier routes in CBD areas

16:00 Mark Nelson (University of Wollongong)Analysis of nitrogen removal in the activated sludge process

16:30 Martin Sagradian (Macquarie University)Potential theory problems for arbitrary rotationally symmetric double-connectedconductors: rigorous approach


14:00 Zlatko Jovanoski (University of New South Wales Canberra)A stochastic differential equation approach to modelling the growth phase of firespread

14:30 Paul Smith (Macquarie University)Quantifying the change in the far-field pattern induced by rounding the corners of ascatterer illuminated by a plane-wave electromagnetic field

15:00 Turker Topal (Macquarie University)Accurate calculation of complex eigenvalues for TM-modes in 2D arbitrary cavitieswith longitudinal slit


14:00 Song-Ping Zhu (University of Wollongong)Pricing American-style Parisian options

14:30 Ilknur Tulunay (University of Technology, Sydney)ST-metric method in Finance

15:00 Elena Vinogradova (Macquarie University)Regularization of the first-kind surface integral equations arising in the wavediffraction on 2D arbitrary cavities with longitudinal slit

13

Special Session 4: Category Theory, AlgebraicTopology, K-Theory

Organiser: Philip Hackney


14:00 Ross Howard Street (Macquarie University)Real sets

14:30 Charles Walker (Macquarie University)Universal properties of polynomials via doctrinal Yoneda structures

15:00 Mircea Voineagu (University of New South Wales)Computations in Bredon motivic cohomology

16:00 Diarmuid Crowley (The University of Melbourne)Functors to categories of manifolds

16:30 Csaba Nagy (The University of Melbourne)A functorial approach to classifying manifolds


14:00 Michael Alexander Hallam (The University of Adelaide)End-periodic K -homology and positive scalar curvature

14:30 Marcy Robertson (The University of Melbourne)Presheaf models for infinity modular operads

15:00 Edoardo Lanari (Macquarie University)∞-groupoids and the Homotopy Hypothesis

16:00 Matthew James Spong (The University of Melbourne)The K -theory of loop spaces and elliptic cohomology

16:30 Chi-Kwong Fok (The University of Adelaide)Real K-theory of compact Lie groups

17:00 Daniel Lin (Macquarie University)Presheaves over join restriction categories

17:30 Yaping Yang (The University of Melbourne)Algebraic elliptic cohomology and flops


11:30 Yuki Maehara (Macquarie University)Mahavier limits

12:00 Stephen Lack (Macquarie University)Parity for nestohedra

16:00 John Bourke (Macquarie University)Braidings for skew monoidal categories


14:00 Jesse Burke (Australian National University)Transferring A-infinity structures along quasi-isomorphisms

14:30 Richard Garner (Macquarie University)Ultrafilters

14

3. Category Theory, Algebraic Topology, K-Theory

15:00 Huanhuan Li (Western Sydney University)Graded Steinberg algebras and their representations

16:00 Dominic Verity (Macquarie University)Generator notions in ∞-cosmology

16:30 Alexander Campbell (Macquarie University)Enriched algebraic weak factorisation systems

15

Special Session 5: Complex Analysis, Geometry

Organisers: Adam Harris, Gerd Schmalz


14:00 Lesley Ward (University of South Australia)Using the Schottky–Klein prime function to compute the harmonic measuredistribution function of a doubly connected planar domain

14:30 Christopher Green (Macquarie University)Using the Schottky–Klein prime function to compute harmonic measuredistribution functions of a class of multiply connected planar domains

15:00 Marielle Ong (University of Queensland)The Donaldson–Narasimhan–Seshadri Theorem

16:00 Matthew Randall (None)Flat (2,3,5)-distributions and Chazy’s equations


14:00 Rod Gover (University of Auckland, NZ)The projective geometry of Sasaki–Einstein structures and their compactification

15:00 Gerd Schmalz (University of New England)Homogeneous tube domains in higher dimensions

16:00 Masoud Ganji (University of New England)A criterion for the embedding of a 3-dimensional CR structure


11:30 Emma Carberry (The University of Sydney)Toroidal soap bubbles: constant mean curvature tori in S3 and R3

12:00 David Brander (Technical University of Denmark)Cauchy problems for surfaces related to harmonic maps

15:30 Alessandro Ottazzi (University of New South Wales)Lie groups contacto-morphic to nilpotent Lie groups

16:00 Wolfgang Globke (The University of Adelaide)Affinely flat algebraic groups and a conjecture of Popov

16

Special Session 6: Computational Mathematics

Organisers: Bishnu Lamichhane, Quoc Thong Le Gia

Keynote Talks▷ Wed 13 December 2017

14:00 Hans De Sterck (Monash University)Nonlinearly preconditioned optimisation methods for tensor decompositions andrecommendation


14:00 Jerome Droniou (Monash University)Designing high-order schemes for diffusion problems on generic polytopal cells

14:30 Hanz Martin Cheng (Monash University)Convergence analysis of a family of ELLAM schemes for a fully coupled model ofmiscible displacement in porous media

15:00 Bishnu Lamichhane (The University of Newcastle)A new minimisation principle for the Poisson equation leading to a flexiblefinite-element approach

16:00 Martin Ehler (University of Vienna, Austria)Optimal Monte Carlo integration

16:30 Quoc Thong Le Gia (University of New South Wales)Sparse isotropic regularisation for spherical harmonic representations of randomfields on the sphere


15:00 Ian Sloan (University of New South Wales)On the generation of random fields

16:00 Markus Hegland (Australian National University)Fractals and numerical linear algebra

16:30 Michael Assis (The University of Newcastle)Systematic analysis of OEIS generating functions

17

Special Session 7: Dynamical Systems/Ergodic Theory

Organisers: Gary Froyland, Georg Gottwald, John Roberts

Contributed Talks▷ Wed 13 December 2017

14:00 Tanja Schindler (Australian National University)Trimmed sums for observables on the doubling map

14:30 Holger Dullin (The University of Sydney)Stability of doubly periodic shear flow of the Euler equations

15:00 Sanjeeva Balasuriya (The University of Adelaide)Stochastic sensitivity: a computable measure for uncertainty of deterministictrajectories

16:00 John Wormell (The University of Sydney)Spectral Galerkin methods for transfer operators in uniformly expanding dynamics

16:30 Harry Crimmins (University of New South Wales)Stability of Statistical Properties for some Dynamical Systems

17:00 Fadi Antown (University of New South Wales)Optimal linear response for Markov chains

17:30 Timothy Siu (University of New South Wales)Combinatorial model for the dynamics of birational maps over finite fields


11:30 Milena Radnovic (The University of Sydney)Short trajectories of integrable billiards

12:00 Bojan Crnkovic (University of Rijeka, Croatia)Lattice structure detection and refinement DMD algorithm

18

Special Session 8: Education

Organisers: Carolyn Kennett, Deborah King


14:00 Yucang Wang (Central Queensland University)Linking mathematical theories to computation and modelling for engineeringapplications

14:30 Deborah Jackson (La Trobe University)Impact and sustainability of a cross-disciplinary mathematics support program

15:00 Rebecca Smith (The University of Newcastle)Engagement-focused learning in large service-level courses

16:00 Chris Tisdell (University of New South Wales)No, Professor: you don’t need to reverse the order of integration!

16:30 Terence Mills (Deakin University)Lessons from problem solving in ancient China


14:00 Roland Dodd (Central Queensland University)Bridging the gap for inclusive transition

14:30 Birgit Loch (La Trobe University)Teaching wirelessly with a pen-enabled tablet

15:00 William Guo (Central Queensland University)Improving retention and progression by rescheduling engineering mathematicsunits

16:00 Harkirat Dhindsa (Macquarie University)Tertiary students’ perceptions of assessments of, and attitudes to, Mathematics


11:30 Dilshara Hill (Macquarie University)Assessment: a multi-pronged tool to motivate and engage

12:00 Deborah King (The University of Melbourne)Investigating students’ perceptions of graduate learning outcomes in mathematics

15:30 Gizem Intepe (Western Sydney University)Examining students’ interaction with mathematics consultation using Text Mining

16:00 Heather Lonsdale (Curtin University)Third-year undergraduate projects in mathematics education: analysing studentattitudes, student reflections, and predicting student performance


14:30 Judy-anne Osborn (The University of Newcastle)Communities of practice across pre-undergraduate and undergraduatemathematics

15:00 Thomas Wong (The University of Melbourne)LATEX + First Year Calculus = ???

19

7. Education

16:00 Lyn Armstrong (Western Sydney University)From where do our students come?

16:30 Collin Grant Phillips (The University of Sydney)Employing cultural plasticity in STEM workshops for prospective indigenousEngineering and Information Technology students

20

Special Session 9: Functional Analysis, OperatorAlgebra, Non-commutative Geometry

Organisers: Zahra Afsar, Hang Wang


14:00 Fedor Sukochev (University of New South Wales)Conformal trace theorem for Julia sets


14:00 Jacqui Ramagge (The University of Sydney)C*-algebras from self-similar actions and their states


15:00 Jinghao Huang (University of New South Wales)Derivations into ideals of semifinite von Neumann algebras

16:00 Shaymaa Shawkat Kadhim Al-shakarchi (University of New South Wales)Isomorphisms of AC(σ) spaces

16:30 Michael Arthur Mampusti (University of Wollongong)Mauldin–Williams graphs and their KMS states


15:00 Aidan Sims (University of Wollongong)Rigidity for dynamics via operator algebras

16:00 Becky Armstrong (The University of Sydney)Twisted C∗-algebras of topological higher-rank graphs: keeping things simple!

16:30 Kevin Aguyar Brix (University of Copenhagen, Denmark)Investigating symbolic dynamics using C*-algebras

17:00 Thomas Pedersen (University of Wollongong)On the C∗-algebras of a graph of groups

17:30 Elizabeth Bradford (University of South Australia)Recursive algorithms for inversion of linear operator pencils


11:30 Peter Hochs (The University of Adelaide)K-theory and characters

12:00 Guo Chuan Thiang (The University of Adelaide)Hyperbolic and crystalline topological matter via Baum–Connes isomorphisms

15:30 Silvestru Sever Dragomir (Victoria University)Recent inequalities of Young type for positive operators in Hilbert spaces

16:00 Geetika Verma (University of South Australia)The fundamental equations for the generalized resolvent of an elementary pencil ina unital Banach algebra

21

8. Functional Analysis, Operator Algebra, Non-commutative Geometry


14:00 Hang Wang (The University of Adelaide)Positive scalar curvature for proper actions

14:30 Nathan Brownlowe (The University of Sydney)On Baumslag–Solitar monoids and their C∗-algebras

15:00 Adam Sierakowski (University of Wollongong)Unbounded quasitraces, stable finiteness and pure infiniteness

16:00 Zahra Afsar (University of Wollongong)KMS states on the C∗-algebras of Fell bundles over groupoids

22

Special Session 10: Geometric Analysis

Organisers: Haotian Wu, Bernard Yann


16:00 Jim Isenberg (University of Oregon, USA)Non-Kaehler Ricci flows that converge to Kaehler–Ricci solitons


16:00 Zhou Zhang (The University of Sydney)Mean curvature flows of closed hypersurfaces in warped product manifolds

14:00 Artem Pulemotov (The University of Queensland)Metrics with prescribed curvature on homogeneous spaces with intermediatesubgroups

14:30 Jonathan Julian Zhu (Harvard University, USA)Min–max theory for constant mean curvature hypersurfaces

15:00 Alexander Majchrowski (The University of Sydney)Neck detection for the fully nonlinear flow G

17:00 Erchuan Zhang (The University of Western Australia)Riemannian cubics in the manifold SPD(n) of all n ×n symmetric positive-definitematrices

17:30 Qirui Li (Australian National University)The planar dual Minkowski problem


11:30 Ross Ogilvie (The University of Sydney)The space of harmonic tori in the 3-sphere

12:00 Paul Bryan (The University of Queensland)Distance comparison for curve shortening of networks

15:30 Changwei Xiong (Australian National University)Convexity of non-negatively curved hypersurfaces with free boundary on a sphere

16:00 Yong Wei (Australian National University)Volume preserving flow in hyperbolic space

23

Special Session 11: Harmonic Analysis

Organisers: Zihua Guo, Ji Li


14:00 Adam Sikora (Macquarie University)Riesz transform and harmonic functions

14:30 Alessandro Ottazzi (University of New South Wales)Spectral multipliers for sub-Laplacians on N A groups

15:00 Jan Rozendaal (Australian National University)Operator-valued (Lp ,Lq ) Fourier multipliers

16:00 Zihua Guo (Monash University)Generalized Strichartz estimates for Schrödinger equation

16:30 Dorothee Frey (Delft University of Technology, The Netherlands)Sparse dominations and sharp weighted estimates for singular integral operators


14:00 Maolin Zhou (University of New England)A principal eigenvalue problem with large degenerate advection

14:30 Daniel Hauer (The University of Sydney)A generalised Gagliardo–Nirenberg type inequality with application to thep(x)-Laplacian


11:30 Anh Bui (Macquarie University)On the flows associated to self-adjoint operators on metric measure spaces

12:00 Fu Ken Ly (The University of Sydney)An embedding result for Hermite distribution spaces

24

Special Session 12: Mathematical Biology

Organisers: Peter Kim, Frank Valckenborgh


14:00 Aaron Jordan Kaw (University of New South Wales)Delivery and diffusion in membranes

14:30 Catheryn Gray (University of New South Wales)Akt translocation as a harmonic oscillator

15:00 Michael Hendriksen (Western Sydney University)Non-binary unrooted tree-based networks


14:00 Pantea Pooladvand (The University of Sydney)Do T-cells compete for antigen?

14:30 Adarsh Kumbhari (The University of Sydney)Modelling the impact of T-cell avidity on cancer vaccines

15:00 Adrianne Jenner (The University of Sydney)Modelling heterogeneity in biology: how do cancer-killing viruses interact withtumour cells?

16:00 Maia Nikolova Angelova (Deakin University)Mathematical model of glucose–insulin regulation with diabetically impairedultradian oscillations

16:30 Mark Nelson (University of Wollongong)Modelling the spread of smoking as an infectious disease


11:30 Robyn Patrice Araujo (Queensland University of Technology)The simple complexity of robust networks

12:00 John Murray (University of New South Wales)Smoking prevalence and related death rates for Australian birth cohorts over thelast century

15:30 Danya Rose (The University of Sydney)Who gets the girl? On the operational sex ratio as an index for male strategy

16:00 Michael Greg Watson (The University of Sydney)Multi-phase modelling of early fibrous cap formation in atherosclerosis


14:00 Peter Kim (The University of Sydney)Modelling evolution of post-menopausal human longevity: the GrandmotherHypothesis

25

Special Session 13: Mathematical Optimization

Organisers: Guoyin Li, Vera Roshchina


14:00 Vladimir Gaitsgory (Macquarie University)Averaging in singularly perturbed deterministic and stochastic optimal controlproblems and dynamic games


15:00 Andrew Eberhard (RMIT University)Radius theorems for monotone mappings

16:00 Chuong Thai Doan (University of New South Wales)Optimality conditions for non-smooth, multi-objective, bilevel optimizationproblems

16:30 Guillermo Pineda-Villavicencio (Federation University Australia)On the reconstruction of polytopes


14:00 Alex Parkinson (Macquarie University)Averaging of discrete-time singularly perturbed optimal control problems

14:30 Scott Lindstrom (The University of Newcastle)Strong convergence for relaxed iterated approximate projection methods for convexfeasibility problems

15:00 Ali Eshragh (The University of Newcastle)A new approach to select the best subset of predictors in linear regression modeling

16:00 Sogol Mohammadian (The University of Newcastle)Investigating Hamilton cycles through extreme points of a certain polytope

16:30 Kieran Clancy (Flinders University)Extending a linear programming formulation for TSP

17:00 Minh N. Dao (The University of Newcastle)On the generalized Douglas–Rachford algorithm for feasibility problems


11:30 Vera Roshchina (RMIT University)Multipoint Voronoi cells

12:00 Guoyin Li (University of New South Wales)Computing radius of robust feasibility of uncertain linear conic programs viasemidefinite programs

26

Special Session 14: Mathematical Physics

Organiser: Thomas Quella


14:00 Vladimir Mangazeev (Australian National University)Integrable structure of products of complex random matrices

14:30 Xin Zhang (The University of Melbourne)Quantum integrable models and the off-diagonal Bethe ansatz method

15:00 Maia Nikolova Angelova (Deakin University)Squeezed coherent states of one-dimensional anharmonic quantum oscillators

16:00 Zeying Chen (AMSI/University of Melbourne)Duality in mASEP and tKZ equation

16:30 Alexandr Garbali (The University of Melbourne)Lattice integrable stochastic processes


17:30 Michael Assis (The University of Newcastle)Exactly-solved origami statistical mechanics


11:30 Zongzheng Zhou (Monash University)Unified correlation function behaviours on high-dimensional tori

12:00 Abrahim Steve Nasrawi (Monash University)Lifted worm process for the Ising model

15:30 Guo Chuan Thiang (The University of Adelaide)Duality methods for topological matter

16:00 Thomas Quella (The University of Melbourne)Protection of topological phases in quantum spin systems by quantum deformedsymmetries

27

Special Session 15: Number Theory

Organiser: David Harvey


14:30 Mumtaz Hussain (La Trobe University)The Hausdorff measure version of Gallagher’s theorem—closing the gap andbeyond

15:00 Jeffrey Lay (Australian National University)An explicit bound for the divisor function

16:00 Dzmitry Badziahin (The University of Sydney)p-adic Littlewood conjecture: what can potential counter-examples look like?

16:30 Liangyi Zhao (University of New South Wales)Mean-value results of Hecke L-functions with fixed-order characters


14:30 Peter Forrester (The University of Melbourne)Octonions in random matrix theory

15:00 Kam Hung Yau (University of New South Wales)Distribution of αn +β modulo 1 over some arithmetic set

16:00 Timothy Trudgian (University of New South Wales Canberra)Primes and squares— in less than two pages!

16:30 Stephen Meagher (University of New South Wales)Chebotarev’s density theorem over finite fields


11:30 Simon Macourt (University of New South Wales)Visible points on exponential curves

12:00 Yinan Zhang (Australian National University)Computing p-adic regulators

15:30 Jessica Fintzen (Institute for Advanced Study, Princeton, USA)Families of p-adic automorphic forms on unitary groups

16:00 Min Sha (Macquarie University)On the irregular primes with respect to Euler polynomials

28

Special Session 16: Partial Differential Equations

Organisers: Paul Bryan, James McCoy, Adam Sikora


14:00 Daniel Daners (The University of Sydney)Global dynamics of generalized logistic equations

14:30 Yingying Sun (The University of Sydney)The Sylvester equation and the elliptic Korteweg–de Vries system

15:00 Philip Broadbridge (La Trobe University)Non-classical symmetry solution of nonlinear reaction–diffusion: soil–water withplant roots

16:00 Shengguo Zhu (Monash University)Recent progress on classical solutions for compressible isentropic Navier–Stokesequations with degenerate viscosities and vacuum

16:30 Jean-Jerome Casanova (Monash University)Fluid structure system with boundary conditions involving the pressure


16:00 Qirui Li (Australian National University)A class of optimal transportation problems on the sphere

16:30 Daniel Hauer (The University of Sydney)A strong maximum principle on cones


15:30 Yong Wei (Australian National University)Volume preserving flow by powers of k-th mean curvature

16:00 Geoffrey Prince (Australian Mathematical Sciences Institute)Variationality of PDEs


14:00 Jiakun Liu (University of Wollongong)Bergman–Toeplitz operators on weakly pseudoconvex domains

14:30 Jan Rozendaal (Australian National University)Stability theory for semigroups using (Lp ,Lq ) Fourier multipliers

15:00 Nalini Joshi (The University of Sydney)Geometric asymptotics

29

Special Session 17: Probability Theory and StochasticProcesses

Organisers: Andrea Collevecchio, Kais Hamza, Giang Nguyen


14:00 Fima Klebaner (Monash University)Random initial conditions in differential equations


15:00 Petru A. Cioica-Licht (University of Otago, NZ)Stochastic integration in quasi-Banach spaces

16:00 Zdravko Botev (University of New South Wales)Sampling via regenerative chain Monte Carlo

16:30 Liam S. Hodgkinson (University of Queensland)The long-term behaviour of an occupancy process


14:00 Meng Shi (Monash University)Bootstrap random walk

14:30 Yunxuan Liu (Monash University)Invariance principle for biased bootstrap random walks

15:00 Kais Hamza (Monash University)General bootstrap random walks

16:00 Thomas Taimre (University of Queensland)Exploiting asymptotic structure for efficient rare-event estimation for sums ofrandom variables

16:30 Azam Asanjarani (AMSI/University of Melbourne)Bursty Markovian arrival processes


11:30 Jie Yen Fan (Monash University)Measure-valued population processes and their asymptotics

12:00 Oscar Peralta (Technical University of Denmark)On a class of bivariate phase-type distributions and its applications in risk theory

15:30 Andrea Collevecchio (Monash University)The branching-ruin number and the critical parameter of once-reinforced randomwalk on trees

16:00 Laurence Field (Australian National University)Spatial decomposition for Brownian motion and SLE curves


14:00 Tanja Schindler (Australian National University)Convergence to extremal processes for Lévy processes with slowly varyingcanonical measure

30

16. Probability Theory and Stochastic Processes

14:30 Zongzheng Zhou (Monash University)Green’s function of a random length random walk on the torus

15:00 Yan Dolinsky (Monash University)Duality and convergence for binomial markets with friction

31

Special Session 18: Representation Theory

Organiser: Vinoth Nandakumar


14:00 Ben Webster (University of Waterloo, Canada)The representation theory of symplectic singularities


14:00 Kevin Coulembier (The University of Sydney)Auslander–Dlab–Ringel algebras and Ringel duality

14:30 Bregje Pauwels (Australian National University)Gerstenhaber structure of a class of special biserial algebras

15:00 Jessica Fintzen (Institute for Advanced Study, Princeton, USA)On the Moy–Prasad filtration and super-cuspidal representations

16:00 Peter Hochs (The University of Adelaide)Blattner’s conjecture as an index theorem

16:30 Yaping Yang (The University of Melbourne)Towards a construction of higher dimensional loop Grassmannians


15:00 Kari Vilonen (The University of Melbourne)Langlands duality for real groups

16:00 Duy Ho (University of Canterbury, NZ)On the classification of toroidal circle planes

16:30 Jon Xu (The University of Melbourne)Chevalley groups and finite geometry

17:00 Yang Zhang (The University of Sydney)The second fundamental theorem of invariant theory for the orthosymplecticsupergroup


11:30 Arik Wilbert (University of Bonn/MPI Bonn, Germany)Two-block Springer fibers and Springer representations in type D

12:00 Sinead Wilson (The University of Queensland)Stabilisers of eigenvectors in complex reflection groups

15:30 Masoud Kamgarpour (University of Queensland)Examples of mesopelagic Langlands correspondence

16:00 Anthony Licata (Australian National University)Linear braids

32

Special Session 19: Stochastic Models andApplications

Organisers: Thomas Fung, Georgy Sofronov


14:30 Michael Stewart (The University of Sydney)More sensitive mixture detection using the empirical moment-generating function

15:00 Justin Wishart (Macquarie University)Homogeneous wavelet expansions of some fractional Gaussian fields

16:00 Thanakorn Nitithumbundit (The University of Sydney)Modelling multivariate financial time series with variance gamma innovations

16:30 Andrew Grant (Macquarie University)Comparing multivariate spectral densities

17:00 Lijing Ma (Macquarie University)Multiple change-point detection in an AR(1) Process: comparison of differentmethods

17:30 Nishanthi Raveendran (Macquarie University)Binary segmentation methods for spatial clustering

33

Special Session 20: Topology

Organiser: Zsuzsanna Dancso


14:00 Diarmuid Crowley (The University of Melbourne)The topological period–index conjecture for almost complex 6-manifolds


15:00 Csaba Nagy (The University of Melbourne)Classifying 8-dimensional E-manifolds

16:00 Daniel Mathews (Monash University)Knot invariants and cluster algebras

16:30 Sophie Ham (Monash University)Geometric triangulations of knot complements


14:00 Joan Licata (Australian National University)Contact manifolds with boundary

14:30 Dominic Tate (The University of Sydney)Higher Teichmüller theory on closed and finite-area surfaces using techniques ofFock and Goncharov

15:00 Alex Casella (The University of Sydney)Representations of fibered 3-manifolds using flags

16:00 Michael Batanin (Macquarie University)E3-algebra structure on the Davydov–Yetter deformation complex

16:30 Florian Martin Laurent De Leger (Macquarie University)Contractibility of nerve of classifiers and application to the Turchin–Dwyer–Hesstheorem (with Michael Batanin)


11:30 Marcy Robertson (The University of Melbourne)An action of the Grothendieck–Teichmüller group

12:00 Artem Pulemotov (The University of Queensland)Metrics with prescribed curvature on generalised flag manifolds

15:30 Hang Wang (The University of Adelaide)Twisted Donaldson invariants

16:00 Paul Norbury (The University of Melbourne)A new cohomology class in the moduli space of stable curves

34

Special Session 21: LATEX and beyond

Organiser: Ross Moore

Contributed Talks▷ Thu 14 December 2017

11:30 Ross Moore (Macquarie University)Authoring ‘Tagged PDF’ documents with LATEX

12:00 John Banks (The University of Melbourne)The Register! conference registration system

15:30 Dmitry Demskoi (Charles Sturt University)Automated assessment by means of computer algebra, LATEX and PDF forms

35

Conference Timetable Summary

Monday Tuesday Wednesday Thursday Friday

8:00

8:30

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

19:00

19:30

20:00

Morning Tea Morning Tea Morning Tea Morning Tea

Coffee Break Coffee Break

Coffee Break

Coffee Break

Lunch Lunch Lunch

Lunch

AustMS editorsmeeting

C8A 310 Senate

AMPAI&

AustMS Councilmeeting

C8A 310 Senate

WiMSIG Exec-utive Meeting

E7B 263

Women in Math-ematics Dinner

MGSM

Registrations

Opening Session&

Prize Winners

Plenary talkAndrei Okounkov

Decadal PlanNCMS

Special Sessions

Special Sessions

Plenary talkYihong Du

ReceptionE7B Atrium

Mahler LectureIvan Corwin

Plenary talkHans De Sterck

Hanna NeumannLecture

Georgia Benkart

Debate

Special Sessions

SpecialSessions

Edu

’nFo

rum

DrinksMQ Theatre foyer

Public LectureMichael Small

Plenary talkHélène

Frankowska

Plenary talkPhilip Pollett

Special Sessions

AustMS annualgeneral meeting

Plenary talkYoungJu Choie

Special Sessions

ANZIAM LectureYvonne Stokes

ConferenceDinner

Curzon Hall

Plenary talkMichael Small

Plenary talkCatherineGreenhill

Plenary talkMichael Cowling

SpecialSessions

SIGME

Special Sessions

36

Tue 12 December 2017

Registration – Macquarie Theatre Foyer 08:00 – 11:00

Opening Session – Macquarie Theatre 09:00 – 11:00

Morning Tea – Macquarie Theatre Foyer 11:00 – 11:30

Plenary Lecture – Macquarie Theatre

11:30 Andrei Okounkov (Columbia University, USA)Enumerative geometry and geometric representation theory

Lunch 12:30 – 14:00

NCMS Presentation: ‘Implementation of the Decadal Plan for the Mathematical Sciences’– Macquarie Theatre 13:15 – 14:00

Afternoon Special Sessions 14:00 – 15:30

Afternoon tea – Macquarie Theatre Foyer 15:30 – 16:00



17:00 Yihong Du (University of New England)Propagation, diffusion and free boundaries

Reception E7B Atrium 18:00 – 20:00

37


Afternoon Special Sessions – list of speakers

2. AlgebraW5A 105

14:00 James East (Western Sydney University)Integer polygons with given perimeter

14:30 Lauren Thornton (University of the Sunshine Coast)On base radical operators Part 1: classes of finite associative rings

15:00 Robert McDougall (University of the Sunshine Coast)On base radical operators Part 2: classes of finite Puczylowski algebras

16:00 Michal Ferov (University of Technology, Sydney)Isomorphism problem for virtually-free groups

16:30 Ainsley Pullen (The University of Queensland)Concrete mathematical incompleteness and the Finite Upper Shift Kernel theorem

3. Applied/Industrial MathematicsW5C 221

14:00 Amie Albrecht (University of South Australia)The two-train separation problem on non-level track

15:00 Lele (Joyce) Zhang (The University of Melbourne)A study of optimizing courier routes in CBD areas

16:00 Mark Nelson (University of Wollongong)Analysis of nitrogen removal in the activated sludge process

16:30 Martin Sagradian (Macquarie University)Potential theory problems for arbitrary rotationally symmetric double-connectedconductors: rigorous approach

4. Category Theory, Algebraic Topology, K-TheoryW5A 101

14:00 Ross Howard Street (Macquarie University)Real sets

14:30 Charles Walker (Macquarie University)Universal properties of polynomials via doctrinal Yoneda structures

15:00 Mircea Voineagu (University of New South Wales)Computations in Bredon motivic cohomology

16:00 Diarmuid Crowley (The University of Melbourne)Functors to categories of manifolds

16:30 Csaba Nagy (The University of Melbourne)A functorial approach to classifying manifolds

5. Complex Analysis, GeometryX5B 039

14:00 Lesley Ward (University of South Australia)Using the Schottky–Klein prime function to compute the harmonic measuredistribution function of a doubly connected planar domain

14:30 Christopher Green (Macquarie University)Using the Schottky–Klein prime function to compute harmonic measuredistribution functions of a class of multiply connected planar domains

15:00 Marielle Ong (University of Queensland)The Donaldson–Narasimhan–Seshadri Theorem

16:00 Matthew Randall ()Flat (2,3,5)-distributions and Chazy’s equations

38


6. Computational MathematicsX5B 138

14:00 Jerome Droniou (Monash University)Designing high-order schemes for diffusion problems on generic polytopal cells

14:30 Hanz Martin Cheng (Monash University)Convergence analysis of a family of ELLAM schemes for a fully coupled model ofmiscible displacement in porous media

15:00 Bishnu Lamichhane (The University of Newcastle)A new minimisation principle for the Poisson equation leading to a flexiblefinite-element approach

16:00 Martin Ehler (University of Vienna, Austria)Optimal Monte Carlo integration

16:30 Quoc Thong Le Gia (University of New South Wales)Sparse isotropic regularisation for spherical harmonic representations of randomfields on the sphere

8. EducationW5C 220

14:00 Yucang Wang (Central Queensland University)Linking mathematical theories to computation and modelling for engineeringapplications

14:30 Deborah Jackson (La Trobe University)Impact and sustainability of a cross-disciplinary mathematics support program

15:00 Rebecca Smith (The University of Newcastle)Engagement-focused learning in large service-level courses

16:00 Chris Tisdell (University of New South Wales)No, Professor: you don’t need to reverse the order of integration!

16:30 Terence Mills (Deakin University)Lessons from problem solving in ancient China

9. Functional Analysis, Operator Algebra, Non-commutative GeometryC5A 226

14:00 Fedor Sukochev (University of New South Wales)Conformal trace theorem for Julia sets

15:00 Jinghao Huang (University of New South Wales)Derivations into ideals of semifinite von Neumann algebras

16:00 Shaymaa Shawkat Kadhim Al-shakarchi (University of New South Wales)Isomorphisms of AC(σ) spaces

16:30 Michael Arthur Mampusti (University of Wollongong)Mauldin–Williams graphs and their KMS states

11. Harmonic AnalysisC5A 225

14:00 Adam Sikora (Macquarie University)Riesz transform and harmonic functions

14:30 Alessandro Ottazzi (University of New South Wales)Spectral multipliers for sub-Laplacians on N A groups

15:00 Jan Rozendaal (Australian National University)Operator-valued (Lp ,Lq ) Fourier multipliers

16:00 Zihua Guo (Monash University)Generalized Strichartz estimates for Schrödinger equation

16:30 Dorothee Frey (Delft University of Technology, The Netherlands)Sparse dominations and sharp weighted estimates for singular integral operators

39


12. Mathematical BiologyW5C 213

14:00 Aaron Jordan Kaw (University of New South Wales)Delivery and diffusion in membranes

14:30 Catheryn Gray (University of New South Wales)Akt translocation as a harmonic oscillator

15:00 Michael Hendriksen (Western Sydney University)Non-binary unrooted tree-based networks

13. Mathematical OptimizationX5B 136

14:00 Vladimir Gaitsgory (Macquarie University)Averaging in singularly perturbed deterministic and stochastic optimal controlproblems and dynamic games

15:00 Andrew Eberhard (RMIT University)Radius theorems for monotone mappings

16:00 Chuong Thai Doan (University of New South Wales)Optimality conditions for non-smooth, multi-objective, bilevel optimizationproblems

16:30 Guillermo Pineda-Villavicencio (Federation University Australia)On the reconstruction of polytopes

14. Mathematical PhysicsW5A 202

14:00 Vladimir Mangazeev (Australian National University)Integrable structure of products of complex random matrices

14:30 Xin Zhang (The University of Melbourne)Quantum integrable models and the off-diagonal Bethe ansatz method

15:00 Maia Nikolova Angelova (Deakin University)Squeezed coherent states of one-dimensional anharmonic quantum oscillators

16:00 Zeying Chen (AMSI/University of Melbourne)Duality in mASEP and tKZ equation

16:30 Alexandr Garbali (The University of Melbourne)Lattice integrable stochastic processes

15. Number TheoryW5C 211

14:30 Mumtaz Hussain (La Trobe University)The Hausdorff measure version of Gallagher’s theorem—closing the gap andbeyond

15:00 Jeffrey Lay (Australian National University)An explicit bound for the divisor function

16:00 Dzmitry Badziahin (The University of Sydney)p-adic Littlewood conjecture: what can potential counter-examples look like?

16:30 Liangyi Zhao (University of New South Wales)Mean-value results of Hecke L-functions with fixed-order characters

16. Partial Differential EquationsC5A 229

14:00 Daniel Daners (The University of Sydney)Global dynamics of generalized logistic equations

14:30 Yingying Sun (The University of Sydney)The Sylvester equation and the elliptic Korteweg–de Vries system

40


15:00 Philip Broadbridge (La Trobe University)Non-classical symmetry solution of nonlinear reaction–diffusion: soil–water withplant roots

16:00 Shengguo Zhu (Monash University)Recent progress on classical solutions for compressible isentropic Navier–Stokesequations with degenerate viscosities and vacuum

16:30 Jean-Jerome Casanova (Monash University)Fluid structure system with boundary conditions involving the pressure

17. Probability Theory and Stochastic ProcessesW5C 232

14:00 Fima Klebaner (Monash University)Random initial conditions in differential equations

15:00 Petru A. Cioica-Licht (University of Otago, NZ)Stochastic integration in quasi-Banach spaces

16:00 Zdravko Botev (University of New South Wales)Sampling via regenerative chain Monte Carlo

16:30 Liam S. Hodgkinson (University of Queensland)The long-term behaviour of an occupancy process

18. Representation TheoryW5A 205

14:00 Kevin Coulembier (The University of Sydney)Auslander–Dlab–Ringel algebras and Ringel duality

14:30 Bregje Pauwels (Australian National University)Gerstenhaber structure of a class of special biserial algebras

15:00 Jessica Fintzen (Institute for Advanced Study, Princeton, USA)On the Moy–Prasad filtration and super-cuspidal representations

16:00 Peter Hochs (The University of Adelaide)Blattner’s conjecture as an index theorem

16:30 Yaping Yang (The University of Melbourne)Towards a construction of higher dimensional loop Grassmannians

20. TopologyW5A 103

14:00 Diarmuid Crowley (The University of Melbourne)The topological period–index conjecture for almost complex 6-manifolds

15:00 Csaba Nagy (The University of Melbourne)Classifying 8-dimensional E-manifolds

16:00 Daniel Mathews (Monash University)Knot invariants and cluster algebras

16:30 Sophie Ham (Monash University)Geometric triangulations of knot complements

41

Wed 13 December 2017

Mahler Lecture – Macquarie Theatre

09:00 Ivan Corwin (Columbia University, USA)Integrable probability


10:00 Hans De Sterck (Monash University)Scalable PDE solvers on supercomputers: multilevel and parallel-in-time


Hanna Neumann Lecture – Macquarie Theatre

11:30 Georgia Benkart (University of Wisconsin–Madison, USA)Walking on graphs to Invariant Theory

Lunch 12:30 – 14:00

Debate: ‘The traditional mathematics blackboard lecture is dead.’– Macquarie Theatre 13:00 – 14:00


Afternoon Tea – Macquarie Theatre Foyer 15:30 – 16:00


Drinks – Macquarie Theatre Foyer 17:45 – 18:30

Public Lecture – Macquarie Theatre

18:30 Michael Small (The University of Western Australia)Chaos is not random and complexity is not complicated

42




14:00 Zlatko Jovanoski (University of New South Wales Canberra)A stochastic differential equation approach to modelling the growth phase of firespread

14:30 Paul Smith (Macquarie University)Quantifying the change in the far-field pattern induced by rounding the corners of ascatterer illuminated by a plane-wave electromagnetic field

15:00 Turker Topal (Macquarie University)Accurate calculation of complex eigenvalues for TM-modes in 2D arbitrary cavitieswith longitudinal slit


14:00 Michael Alexander Hallam (The University of Adelaide)End-periodic K -homology and positive scalar curvature

14:30 Marcy Robertson (The University of Melbourne)Presheaf models for infinity modular operads

15:00 Edoardo Lanari (Macquarie University)∞-groupoids and the Homotopy Hypothesis

16:00 Matthew James Spong (The University of Melbourne)The K -theory of loop spaces and elliptic cohomology

16:30 Chi-Kwong Fok (The University of Adelaide)Real K-theory of compact Lie groups

17:00 Daniel Lin (Macquarie University)Presheaves over join restriction categories

17:30 Yaping Yang (The University of Melbourne)Algebraic elliptic cohomology and flops


14:00 Rod Gover (University of Auckland)The projective geometry of Sasaki–Einstein structures and their compactification

15:00 Gerd Schmalz (University of New England)Homogeneous tube domains in higher dimensions

16:00 Masoud Ganji (University of New England)A criterion for the embedding of a 3-dimensional CR structure

6. Computational MathematicsX5B 138

14:00 Hans De Sterck (Monash University)Nonlinearly preconditioned optimisation methods for tensor decompositions andrecommendation

15:00 Ian Sloan (University of New South Wales)On the generation of random fields

16:00 Markus Hegland (Australian National University)Fractals and numerical linear algebra

16:30 Michael Assis (The University of Newcastle)Systematic analysis of OEIS generating functions

43


7. Dynamical Systems/Ergodic TheoryW5A 201

14:00 Tanja Schindler (Australian National University)Trimmed sums for observables on the doubling map

14:30 Holger Dullin (The University of Sydney)Stability of doubly periodic shear flow of the Euler equations

15:00 Sanjeeva Balasuriya (The University of Adelaide)Stochastic sensitivity: a computable measure for uncertainty of deterministictrajectories

16:00 John Wormell (The University of Sydney)Spectral Galerkin methods for transfer operators in uniformly expanding dynamics

16:30 Harry Crimmins (University of New South Wales)Stability of Statistical Properties for some Dynamical Systems

17:00 Fadi Antown (University of New South Wales)Optimal linear response for Markov chains

17:30 Timothy Siu (University of New South Wales)Combinatorial model for the dynamics of birational maps over finite fields

8. EducationW5C 220

14:00 Roland Dodd (Central Queensland University)Bridging the gap for inclusive transition

14:30 Birgit Loch (La Trobe University)Teaching wirelessly with a pen-enabled tablet

15:00 William Guo (Central Queensland University)Improving retention and progression by rescheduling engineering mathematicsunits

16:00 Harkirat Dhindsa (Macquarie University)Tertiary students’ perceptions of assessments of, and attitudes to, Mathematics

16:30 Forum: ‘Hot Topics’ (1 hour)


14:00 Jacqui Ramagge (The University of Sydney)C*-algebras from self-similar actions and their states

15:00 Aidan Sims (University of Wollongong)Rigidity for dynamics via operator algebras

16:00 Becky Armstrong (The University of Sydney)Twisted C∗-algebras of topological higher-rank graphs: keeping things simple!

16:30 Kevin Aguyar Brix (University of Copenhagen, Denmark)Investigating symbolic dynamics using C*-algebras

17:00 Thomas Pedersen (University of Wollongong)On the C∗-algebras of a graph of groups

17:30 Elizabeth Bradford (University of South Australia)Recursive algorithms for inversion of linear operator pencils

10. Geometric AnalysisC5A 232

14:00 Artem Pulemotov (The University of Queensland)Metrics with prescribed curvature on homogeneous spaces with intermediatesubgroups

14:30 Jonathan Julian Zhu (Harvard University, USA)Min–max theory for constant mean curvature hypersurfaces

44


15:00 Alexander Majchrowski (The University of Sydney)Neck detection for the fully nonlinear flow G

16:00 Jim Isenberg (University of Oregon, USA)Non-Kaehler Ricci flows that converge to Kaehler–Ricci solitons

17:00 Erchuan Zhang (The University of Western Australia)Riemannian cubics in the manifold SPD(n) of all n ×n symmetric positive-definitematrices

17:30 Qirui Li (Australian National University)The planar dual Minkowski problem


14:00 Maolin Zhou (University of New England)A principal eigenvalue problem with large degenerate advection

14:30 Daniel Hauer (The University of Sydney)A generalised Gagliardo–Nirenberg type inequality with application to thep(x)-Laplacian


14:00 Pantea Pooladvand (The University of Sydney)Do T-cells compete for antigen?

14:30 Adarsh Kumbhari (The University of Sydney)Modelling the impact of T-cell avidity on cancer vaccines

15:00 Adrianne Jenner (The University of Sydney)Modelling heterogeneity in biology: how do cancer-killing viruses interact withtumour cells?

16:00 Maia Nikolova Angelova (Deakin University)Mathematical model of glucose–insulin regulation with diabetically impairedultradian oscillations

16:30 Mark Nelson (University of Wollongong)Modelling the spread of smoking as an infectious disease


14:00 Alex Parkinson (Macquarie University)Averaging of discrete-time singularly perturbed optimal control problems

14:30 Scott Lindstrom (The University of Newcastle)Strong convergence for relaxed iterated approximate projection methods for convexfeasibility problems

15:00 Ali Eshragh (The University of Newcastle)A new approach to select the best subset of predictors in linear regression modeling

16:00 Sogol Mohammadian (The University of Newcastle)Investigating Hamilton cycles through extreme points of a certain polytope

16:30 Kieran Clancy (Flinders University)Extending a linear programming formulation for TSP

17:00 Minh N. Dao (The University of Newcastle)On the generalized Douglas–Rachford algorithm for feasibility problems


17:30 Michael Assis (The University of Newcastle)Exactly-solved origami statistical mechanics

45



14:30 Peter Forrester (The University of Melbourne)Octonions in random matrix theory

15:00 Kam Hung Yau (University of New South Wales)Distribution of αn +β modulo 1 over some arithmetic set

16:00 Timothy Trudgian (University of New South Wales Canberra)Primes and squares— in less than two pages!

16:30 Stephen Meagher (University of New South Wales)Chebotarev’s density theorem over finite fields


16:00 Qirui Li (Australian National University)A class of optimal transportation problems on the sphere

16:30 Daniel Hauer (The University of Sydney)A strong maximum principle on cones


14:00 Meng Shi (Monash University)Bootstrap random walk

14:30 Yunxuan Liu (Monash University)Invariance principle for biased bootstrap random walks

15:00 Kais Hamza (Monash University)General bootstrap random walks

16:00 Thomas Taimre (University of Queensland)Exploiting asymptotic structure for efficient rare-event estimation for sums ofrandom variables

16:30 Azam Asanjarani (AMSI/University of Melbourne)Bursty Markovian arrival processes


14:00 Ben Webster (University of Waterloo, Canada)The representation theory of symplectic singularities

15:00 Kari Vilonen (The University of Melbourne)Langlands duality for real groups

16:00 Duy Ho (University of Canterbury, NZ)On the classification of toroidal circle planes

16:30 Jon Xu (The University of Melbourne)Chevalley groups and finite geometry

17:00 Yang Zhang (The University of Sydney)The second fundamental theorem of invariant theory for the orthosymplecticsupergroup

19. Stochastic Models and ApplicationsW5A 203

14:30 Michael Stewart (The University of Sydney)More sensitive mixture detection using the empirical moment-generating function

15:00 Justin Wishart (Macquarie University)Homogeneous wavelet expansions of some fractional Gaussian fields

16:00 Thanakorn Nitithumbundit (The University of Sydney)Modelling multivariate financial time series with variance gamma innovations

46


16:30 Andrew Grant (Macquarie University)Comparing multivariate spectral densities

17:00 Lijing Ma (Macquarie University)Multiple change-point detection in an AR(1) Process: comparison of differentmethods

17:30 Nishanthi Raveendran (Macquarie University)Binary segmentation methods for spatial clustering

20. TopologyW5A 103

14:00 Joan Licata (Australian National University)Contact manifolds with boundary

14:30 Dominic Tate (The University of Sydney)Higher Teichmüller theory on closed and finite-area surfaces using techniques ofFock and Goncharov

15:00 Alex Casella (The University of Sydney)Representations of fibered 3-manifolds using flags

16:00 Michael Batanin (Macquarie University)E3-algebra structure on the Davydov–Yetter deformation complex

16:30 Florian Martin Laurent De Leger (Macquarie University)Contractibility of nerve of classifiers and application to the Turchin–Dwyer–Hesstheorem (with Michael Batanin)

47

Thu 14 December 2017


09:00 Hélène Frankowska (CNRS, France)Value function and necessary optimality conditions in deterministic optimal control


10:00 Philip Keith Pollett (University of Queensland)Metapopulations in evolving landscapes

Morning tea – Macquarie Theatre Foyer 11:00 – 11:30

Morning Special Sessions 11:30 – 12:30

Lunch 12:30 – 14:00

AustMS AGM – Macquarie Theatre 13:00 – 14:00


14:00 YoungJu Choie (Postech, South Korea)A vital role of automorphic forms in number theory



ANZIAM Lecture – Macquarie Theatre

16:30 Yvonne Stokes (The University of Adelaide)Can we make that fibre?

Conference Dinner – Curzon Hall 18:30 – 22:00

48


Morning Special Sessions – list of speakers

2. AlgebraW5A 105

11:30 John Cannon (The University of Sydney)Fact-checking the ATLAS of Finite Groups

12:00 Hafiz Khusyairi (Australian National University)Unexpected new formula for Grothendieck duality


11:30 Yuki Maehara (Macquarie University)Mahavier limits

12:00 Stephen Lack (Macquarie University)Parity for nestohedra


11:30 Emma Carberry (The University of Sydney)Toroidal soap bubbles: constant mean curvature tori in S3 and R3

12:00 David Brander (Technical University of Denmark)Cauchy problems for surfaces related to harmonic maps

7. Dynamical Systems/Ergodic TheoryW5A 201

11:30 Milena Radnovic (The University of Sydney)Short trajectories of integrable billiards

12:00 Bojan Crnkovic (University of Rijeka, Croatia)Lattice structure detection and refinement DMD algorithm

8. EducationW5C 220

11:30 Dilshara Hill (Macquarie University)Assessment: a multi-pronged tool to motivate and engage

12:00 Deborah King (The University of Melbourne)Investigating students’ perceptions of graduate learning outcomes in mathematics


11:30 Peter Hochs (The University of Adelaide)K-theory and characters

12:00 Guo Chuan Thiang (The University of Adelaide)Hyperbolic and crystalline topological matter via Baum–Connes isomorphisms


11:30 Ross Ogilvie (The University of Sydney)The space of harmonic tori in the 3-sphere

12:00 Paul Bryan (The University of Queensland)Distance comparison for curve shortening of networks

49



11:30 Anh Bui (Macquarie University)On the flows associated to self-adjoint operators on metric measure spaces

12:00 Fu Ken Ly (The University of Sydney)An embedding result for Hermite distribution spaces


11:30 Robyn Patrice Araujo (Queensland University of Technology)The simple complexity of robust networks

12:00 John Murray (University of New South Wales)Smoking prevalence and related death rates for Australian birth cohorts over thelast century


11:30 Vera Roshchina (RMIT University)Multipoint Voronoi cells

12:00 Guoyin Li (University of New South Wales)Computing radius of robust feasibility of uncertain linear conic programs viasemidefinite programs


11:30 Zongzheng Zhou (Monash University)Unified correlation function behaviours on high-dimensional tori

12:00 Abrahim Steve Nasrawi (Monash University)Lifted worm process for the Ising model


11:30 Simon Macourt (University of New South Wales)Visible points on exponential curves

12:00 Yinan Zhang (Australian National University)Computing p-adic regulators


11:30 Jie Yen Fan (Monash University)Measure-valued population processes and their asymptotics

12:00 Oscar Peralta (Technical University of Denmark)On a class of bivariate phase-type distributions and its applications in risk theory


11:30 Arik Wilbert (University of Bonn/MPI Bonn, Germany)Two-block Springer fibers and Springer representations in type D

12:00 Sinead Wilson (The University of Queensland)Stabilisers of eigenvectors in complex reflection groups

50


20. TopologyW5A 103

11:30 Marcy Robertson (The University of Melbourne)An action of the Grothendieck–Teichmüller group

12:00 Artem Pulemotov (The University of Queensland)Metrics with prescribed curvature on generalised flag manifolds

21. LATEX and beyondW5C 221

11:30 Ross Moore (Macquarie University)Authoring ‘Tagged PDF’ documents with LATEX

12:00 John Banks (The University of Melbourne)The Register! conference registration system


2. AlgebraW5A 105

15:30 Murray Elder (University of Technology, Sydney)Permutations sorted by a finite and an infinite stack in series

16:00 Tim Stokes (University of Waikato, NZ)Generalised domain and E-inverse semigroups


16:00 John Bourke (Macquarie University)Braidings for skew monoidal categories


15:30 Alessandro Ottazzi (University of New South Wales)Lie groups contacto-morphic to nilpotent Lie groups

16:00 Wolfgang Globke (The University of Adelaide)Affinely flat algebraic groups and a conjecture of Popov

8. EducationW5C 220

15:30 Gizem Intepe (Western Sydney University)Examining students’ interaction with mathematics consultation using Text Mining

16:00 Heather Lonsdale (Curtin University)Third-year undergraduate projects in mathematics education: analysing studentattitudes, student reflections, and predicting student performance


15:30 Silvestru Sever Dragomir (Victoria University)Recent inequalities of Young type for positive operators in Hilbert spaces

16:00 Geetika Verma (University of South Australia)The fundamental equations for the generalized resolvent of an elementary pencil ina unital Banach algebra

51



15:30 Changwei Xiong (Australian National University)Convexity of non-negatively curved hypersurfaces with free boundary on a sphere

16:00 Yong Wei (Australian National University)Volume preserving flow in hyperbolic space


15:30 Danya Rose (The University of Sydney)Who gets the girl? On the operational sex ratio as an index for male strategy

16:00 Michael Greg Watson (The University of Sydney)Multi-phase modelling of early fibrous cap formation in atherosclerosis


15:30 Guo Chuan Thiang (The University of Adelaide)Duality methods for topological matter

16:00 Thomas Quella (The University of Melbourne)Protection of topological phases in quantum spin systems by quantum deformedsymmetries


15:30 Jessica Fintzen (Institute for Advanced Study, Princeton, USA)Families of p-adic automorphic forms on unitary groups

16:00 Min Sha (Macquarie University)On the irregular primes with respect to Euler polynomials


15:30 Yong Wei (Australian National University)Volume preserving flow by powers of k-th mean curvature

16:00 Geoffrey Prince (Australian Mathematical Sciences Institute)Variationality of PDEs


15:30 Andrea Collevecchio (Monash University)The branching-ruin number and the critical parameter of once-reinforced randomwalk on trees

16:00 Laurence Field (Australian National University)Spatial decomposition for Brownian motion and SLE curves


15:30 Masoud Kamgarpour (University of Queensland)Examples of mesopelagic Langlands correspondence

16:00 Anthony Licata (Australian National University)Linear braids

52


20. TopologyW5A 103

15:30 Hang Wang (The University of Adelaide)Twisted Donaldson invariants

16:00 Paul Norbury (The University of Melbourne)A new cohomology class in the moduli space of stable curves

21. LATEX and beyondW5C 221

15:30 Dmitry Demskoi (Charles Sturt University)Automated assessment by means of computer algebra, LATEX and PDF forms

53

Fri 15 December 2017


09:00 Michael Small (The University of Western Australia)Reconstructing continuous dynamical systems from time series data with discrete tran-sition graphs


10:00 Catherine Greenhill (University of New South Wales)Two threshold problems for random graphs and hypergraphs



11:30 Michael Cowling (University of New South Wales)Analysis on product spaces

Lunch 12:30 – 14:00




54




14:00 Song-Ping Zhu (University of Wollongong)Pricing American-style Parisian options

14:30 Ilknur Tulunay (University of Technology, Sydney)ST-metric method in Finance

15:00 Elena Vinogradova (Macquarie University)Regularization of the first-kind surface integral equations arising in the wavediffraction on 2D arbitrary cavities with longitudinal slit

16:00 Roslyn Hickson (IBM Research Australia)Dengue fever in Taiwan: an IBM Health Corps adventure


14:00 Jesse Burke (Australian National University)Transferring A-infinity structures along quasi-isomorphisms

14:30 Richard Garner (Macquarie University)Ultrafilters

15:00 Huanhuan Li (Western Sydney University)Graded Steinberg algebras and their representations

16:00 Dominic Verity (Macquarie University)Generator notions in ∞-cosmology

16:30 Alexander Campbell (Macquarie University)Enriched algebraic weak factorisation systems

8. EducationW5C 220

14:00 SIGME organisational meeting14:30 Judy-anne Osborn (The University of Newcastle)

Communities of practice across pre-undergraduate and undergraduatemathematics

15:00 Thomas Wong (The University of Melbourne)LATEX + First Year Calculus = ???

16:00 Lyn Armstrong (Western Sydney University)From where do our students come?

16:30 Collin Grant Phillips (The University of Sydney)Employing cultural plasticity in STEM workshops for prospective indigenousEngineering and Information Technology students


14:00 Hang Wang (The University of Adelaide)Positive scalar curvature for proper actions

14:30 Nathan Brownlowe (The University of Sydney)On Baumslag–Solitar monoids and their C∗-algebras

15:00 Adam Sierakowski (University of Wollongong)Unbounded quasitraces, stable finiteness and pure infiniteness

16:00 Zahra Afsar (University of Wollongong)KMS states on the C∗-algebras of Fell bundles over groupoids

55



14:00 Peter Kim (The University of Sydney)Modelling evolution of post-menopausal human longevity: the GrandmotherHypothesis


14:00 Jiakun Liu (University of Wollongong)Bergman–Toeplitz operators on weakly pseudoconvex domains

14:30 Jan Rozendaal (Australian National University)Stability theory for semigroups using (Lp ,Lq ) Fourier multipliers

15:00 Nalini Joshi (The University of Sydney)Geometric asymptotics


14:00 Tanja Schindler (Australian National University)Convergence to extremal processes for Lévy processes with slowly varyingcanonical measure

14:30 Zongzheng Zhou (Monash University)Green’s function of a random length random walk on the torus

15:00 Yan Dolinsky (Monash University)Duality and convergence for binomial markets with friction

56

List of Registrants

Current as of Friday 8 December 2017

Dr Zahra Afsar University of WollongongMrs Shaymaa Shawkat Kadhim Al-shakarchi University of New South WalesDr Amie Albrecht University of South AustraliaMs Elizabeth Alford Department of DefenceMrs Huda Alrashdi The University of SydneyProf Maia Nikolova Angelova Deakin UniversityMr Fadi Antown University of New South WalesDr Robyn Patrice Araujo Queensland University of TechnologyMiss Becky Armstrong The University of SydneyMs Lyn Armstrong Western Sydney UniversityDr Azam Asanjarani AMSI/University of MelbourneDr Michael Assis The University of NewcastleAssoc Prof Dzmitry Badziahin The University of SydneyMiss Ayreena Bakhtawar La Trobe UniversityMx Sanjeeva Balasuriya The University of AdelaideDr John Banks The University of MelbourneMs Naomi Barber Northern Beaches Christian SchoolAssoc Prof Michael Batanin Macquarie UniversityProf Nigel Bean The University of AdelaideMx Kimberly Becker The University of AdelaideMr Theo Bendit The University of NewcastleProf Georgia Benkart University of Wisconsin-Madison, USADr Zdravko Botev University of New South WalesDr John Bourke Macquarie UniversityDr Jonathan Bowden Monash UniversityMs Elizabeth Bradford University of South AustraliaAssoc Prof David Brander Technical University of DenmarkProf Richard P Brent Australian National UniversityMr Kevin Aguyar Brix University of Copenhagen, DenmarkProf Philip Broadbridge La Trobe UniversityDr Nathan Brownlowe The University of SydneyMr Paul Bryan The University of QueenslandMx Nicholas Buchdahl The University of AdelaideDr Anh Bui Macquarie UniversityMiss Aarchana Bulathsinghala Macquarie UniversityDr Jesse Burke Australian National UniversityDr Alexander Campbell Macquarie UniversityProf John Cannon The University of SydneyDr Emma Carberry The University of SydneyMx Jean-Jerome Casanova Monash UniversityMr Alex Casella The University of SydneyMx Yi-Lung Chen University of New South WalesMs Zeying Chen AMSI/University of MelbourneMr Hanz Martin Cheng Monash UniversityProf YoungJu Choie Postech, South KoreaMr Petru A. Cioica-Licht University of Otago, NZDr Kieran Clancy Flinders UniversityDr Samantha Clarke The University of SydneyMrs Adelle Colbourn Western Sydney University

57

List of Registrants

Dr Andrea Collevecchio Monash UniversityProf Ivan Corwin Columbia University, USAAssoc Prof Adelle Coster University of New South WalesDr Kevin Coulembier The University of SydneyMr Don Coutts Canberra Institute of TechnologyProf Michael Cowling University of New South WalesMr Harry Crimmins University of New South WalesMx Bojan Crnkovic University of Rijeka, CroatiaMx Diarmuid Crowley The University of MelbourneDr Zsuzsanna Dancso The University of SydneyDr Daniel Daners The University of SydneyDr Minh N. Dao The University of NewcastleProf Jan De Gier The University of MelbourneMr Florian Martin Laurent De Leger Macquarie UniversityMr Raveen Daminda de Silva University of New South WalesProf Hans De Sterck Monash UniversityDr Dmitry Demskoi Charles Sturt UniversityProf Jim Denier Macquarie UniversityDr Harkirat Dhindsa Macquarie UniversityMr Neil Kristofer Dizon The University of NewcastleDr Josef Dick University of New South WalesDr Roland Dodd Central Queensland UniversityAssoc Prof Yan Dolinsky Monash UniversityProf Silvestru Sever Dragomir Victoria UniversityDr Jerome Droniou Monash UniversityDr Gabriel Drummond-Cole IBS Center for Geometry and Physics, South KoreaProf Yihong Du University of New EnglandDr Holger Dullin The University of SydneyProf Xuan Duong Macquarie UniversityDr David Easdown The University of SydneyDr James East Western Sydney UniversityProf Andrew Eberhard RMIT UniversityDr Martin Ehler University of Vienna, AustriaDr Murray Elder University of Technology, SydneyDr Ali Eshragh The University of NewcastleMr Fahad Fahad Alshammari The University of QueenslandMs Jie Yen Fan Monash UniversityDr Michal Ferov University of Technology, SydneyDr Laurence Field Australian National UniversityDr Jessica Fintzen Institute for Advanced Study, Princeton, USADr Chi-Kwong Fok The University of AdelaideMs Roslyn Forecast RMIT UniversityProf Peter Forrester The University of MelbourneProf Hélène Frankowska CNRS, FranceMs Dorothee Frey Delft University of Technology, The NetherlandsProf Gary Froyland University of New South WalesDr Thomas Fung Macquarie UniversityProf Vladimir Gaitsgory Macquarie UniversityMr Masoud Ganji University of New EnglandDr Alexandr Garbali The University of MelbourneDr Richard Garner Macquarie UniversityAssoc Prof Timothy Garoni Monash UniversityDr Wolfgang Globke The University of AdelaideMr Yoong Kuan Goh University of Technology, SydneyMr Chris Gordon Macquarie UniversityProf Georg Gottwald The University of SydneyProf Rod Gover University of Auckland, NZMr Andrew Grant Macquarie UniversityMs Catheryn Gray University of New South Wales

58

List of Registrants

Dr Christopher Green Macquarie UniversityAssoc Prof Catherine Greenhill University of New South WalesProf Joseph Grotowski The University of QueenslandDr David Gruenewald The University of SydneyMr Hao Guo The University of AdelaideProf William Guo Central Queensland UniversityMr Zihua Guo Monash UniversityDr Philip Hackney Macquarie UniversityMx Christine Hale Macquarie UniversityMr Michael Alexander Hallam The University of AdelaideMiss Sophie Ham Monash UniversityAssoc Prof Kais Hamza Monash UniversityDr Adam Harris University of New EnglandDr David Harvey University of New South WalesDr Daniel Hauer The University of SydneyProf Markus Hegland Australian National UniversityProf Anthony Henderson The University of SydneyMr Michael Hendriksen Western Sydney UniversityDr Roslyn Hickson IBM Research AustraliaMs Dilshara Hill Macquarie UniversityDr Duy Ho University of Canterbury, NZDr Peter Hochs The University of AdelaideMr Liam S. Hodgkinson University of QueenslandDr Algy Howe Australian National UniversityMr Jinghao Huang University of New South WalesDr Mumtaz Hussain La Trobe UniversityDr Gizem Intepe Western Sydney UniversityProf Jim Isenberg University of Oregon, USAMr Clive Jackson Victorian GovernmentDr Deborah Jackson La Trobe UniversityMs Adrianne Jenner The University of SydneyMr Michael Jennings The University of QueenslandMr Danesh Jogia Department of DefenceMr Daniel John The University of AdelaideProf Michael Johnson Macquarie UniversityProf Nalini Joshi The University of SydneyDr Zlatko Jovanoski University of New South Wales CanberraMx Marcel Julliard Macquarie UniversityDr Masoud Kamgarpour University of QueenslandMr Aaron Jordan Kaw University of New South WalesMs Carolyn Kennett Macquarie UniversityMr Hafiz Khusyairi Australian National UniversityAssoc Prof Peter Kim The University of SydneyAssoc Prof Deborah King The University of MelbourneProf Fima Klebaner Monash UniversityMs Sophie Klijn Northern Beaches Secondary CollegeDr Jonathan Kress University of New South WalesMr Adarsh Kumbhari The University of SydneyAssoc Prof Frances Y. Kuo University of New South WalesProf Stephen Lack Macquarie UniversityProf Philip Laird University of WollongongDr Bishnu Lamichhane The University of NewcastleMr Edoardo Lanari Macquarie UniversityMr Jeffrey Lay Australian National UniversityDr Quoc Thong Le Gia University of New South WalesDr Thomas Leistner The University of AdelaideDr Guoyin Li University of New South WalesMx Huanhuan Li Western Sydney UniversityDr Ji Li Macquarie University

59

List of Registrants

Dr Qirui Li Australian National UniversityAssoc Prof Anthony Licata Australian National UniversityDr Joan Licata Australian National UniversityMr Daniel Lin Macquarie UniversityMr Scott Lindstrom The University of NewcastleDr Jiakun Liu University of WollongongMr Yunxuan Liu Monash UniversityProf Birgit Loch La Trobe UniversityDr Heather Lonsdale Curtin UniversityMs Sara Li-Yen Loo The University of SydneyProf John Loxton Western Sydney UniversityDr Fu Ken Ly The University of SydneyMiss Lijing Ma Macquarie UniversityMr Daniel Mackinlay University of New South WalesDr Shev MacNamara University of Technology, SydneyMr Simon Macourt University of New South WalesMr Yuki Maehara Macquarie UniversityMr Alexander Majchrowski The University of SydneyMr Michael Arthur Mampusti University of WollongongDr Vladimir Mangazeev Australian National UniversityDr Daniel Francis Mansfield University of New South WalesMrs Audrey Markowskei Macquarie UniversityDr Daniel Mathews Monash UniversityDr Nick McConnell Defence Science and Technology OrganisationAssoc Prof James McCoy University of WollongongDr Robert McDougall University of the Sunshine CoastMr Fazlul Md Fazlul Hoque The University of QueenslandMx Stephen Meagher University of New South WalesDr Christopher Meaney Macquarie UniversityMr Samuel Mills The University of AdelaideDr Terence Mills Deakin UniversityMiss Sogol Mohammadian The University of NewcastleDr Ross Moore Macquarie UniversityProf Sid Morris Federation University AustraliaProf John Murray University of New South WalesMx Zead Mustafa Qatar University, UAEProf Mary Myerscough The University of SydneyDr Gerry Myerson Macquarie UniversityMr Csaba Nagy The University of MelbourneMr Abrahim Steve Nasrawi Monash UniversityAssoc Prof Mark Nelson University of WollongongDr Giang Nguyen The University of AdelaideMs Trang Nguyen University of South AustraliaMr Thanakorn Nitithumbundit The University of SydneyProf Paul Norbury The University of MelbourneDr Ross Ogilvie The University of SydneyProf Andrei Okounkov Columbia University, USAMx Marielle Ong University of QueenslandDr Judy-anne Osborn The University of NewcastleDr Alessandro Ottazzi University of New South WalesMr George Papadopoulos The University of SydneyMr Alex Parkinson Macquarie UniversityDr James Parkinson The University of SydneyDr Bregje Pauwels Australian National UniversityMr Thomas Pedersen University of WollongongDr Richard Mark Pennifold Department of DefenceMr Oscar Peralta Technical University of DenmarkDr Collin Grant Phillips The University of SydneyDr Guillermo Pineda-Villavicencio Federation University Australia

60

List of Registrants

Prof Philip Keith Pollett University of QueenslandMs Pantea Pooladvand The University of SydneyProf Geoffrey Prince Australian Mathematical Sciences InstituteDr Artem Pulemotov The University of QueenslandMx Ainsley Pullen The University of QueenslandDr Thomas Quella The University of MelbourneDr Milena Radnovic The University of SydneyMx Jacqui Ramagge The University of SydneyDr Matthew RandallMrs Nishanthi Raveendran Macquarie UniversityMr Rommel Real Australian National UniversityProf John Roberts University of New South WalesDr Marcy Robertson The University of MelbourneDr Danya Rose The University of SydneyDr Vera Roshchina RMIT UniversityDr Jan Rozendaal Australian National UniversityDr Leanne Rylands Western Sydney UniversityMr Martin Sagradian Macquarie UniversityMr Fazal Ahmad Saikal Ultimo TAFE Mathematics SectionMs Tanja Schindler Australian National UniversityAssoc Prof Gerd Schmalz University of New EnglandDr Jelena Schmalz University of New EnglandDr Katherine Anne Seaton La Trobe UniversityDr Min Sha Macquarie UniversityMr Donald Shearman Western Sydney UniversityMiss Meng Shi Monash UniversityProf Harvinder Sidhu University of New South WalesDr Adam Sierakowski University of WollongongDr Adam Sikora Macquarie UniversityProf Aidan Sims University of WollongongMr Timothy Siu University of New South WalesProf Ian Sloan University of New South WalesProf Michael Small The University of Western AustraliaDr Geoffrey SmithProf Paul Smith Macquarie UniversityMiss Rebecca Smith The University of NewcastleProf Kate Smith-Miles The University of MelbourneDr Georgy Sofronov Macquarie UniversityMx Matthew James Spong The University of MelbourneDr Peter Stacey La Trobe UniversityDr Michael Stewart The University of SydneyDr Tim Stokes University of Waikato, NZAssoc Prof Yvonne Stokes The University of AdelaideProf Ross Howard Street Macquarie UniversityMiss Michelle Strumila The University of MelbourneMr Srinivasa Rao Subramanya Rao Australian National UniversityProf Fedor Sukochev University of New South WalesDr Yingying Sun The University of SydneyDr Nicole Sutherland The University of SydneyDr Melissa Tacy University of Otago, NZDr Thomas Taimre University of QueenslandMr Dominic Tate The University of SydneyDr Chuong Thai Doan University of New South WalesDr Guo Chuan Thiang The University of AdelaideMiss Lauren Thornton University of the Sunshine CoastDr Chris Tisdell University of New South WalesMr Turker Topal Macquarie UniversityDr Timothy Trudgian University of New South Wales CanberraDr Ilknur Tulunay University of Technology, Sydney

61

List of Registrants

Dr Frank Valckenborgh Macquarie UniversityProf Dominic Verity Macquarie UniversityDr Geetika Verma University of South AustraliaProf Kari Vilonen The University of MelbourneDr Elena Vinogradova Macquarie UniversityDr Mircea Voineagu University of New South WalesDr Raymond Vozzo The University of AdelaideMr David Harley Wales Western Sydney UniversityMr Charles Walker Macquarie UniversityDr Hang Wang The University of AdelaideDr Yucang Wang Central Queensland UniversityAssoc Prof Lesley Ward University of South AustraliaProf Ole Warnaar The University of QueenslandDr Michael Greg Watson The University of SydneyMr SamWeatherhog The University of QueenslandMx Ben Webster University of Waterloo, CanadaDr Yong Wei Australian National UniversityDr Arik Wilbert University of Bonn/MPI Bonn, GermanyProf George Willis The University of NewcastleMs Sinead Wilson The University of QueenslandMx Justin Wishart Macquarie UniversityDr Thomas Wong The University of MelbourneProf Leigh Wood Macquarie UniversityMr John Wormell The University of SydneyDr Haotian Wu The University of SydneyDr Changwei Xiong Australian National UniversityMr Jon Xu The University of MelbourneDr Ting Xue The University of MelbourneDr Oded Yacobi The University of SydneyDr Yaping Yang The University of MelbourneDr Bernard Yann Monash UniversityMr Kam Hung Yau University of New South WalesDr David Yost Federation University AustraliaMr Erchuan Zhang The University of Western AustraliaDr Lele (Joyce) Zhang The University of MelbourneDr Xin Zhang The University of MelbourneMr Yang Zhang The University of SydneyDr Yinan Zhang Australian National UniversityDr Zhou Zhang The University of SydneyDr Liangyi Zhao University of New South WalesDr Maolin Zhou University of New EnglandDr Zongzheng Zhou Monash UniversityMr Jonathan Julian Zhu Harvard UniversityDr Shengguo Zhu Monash UniversityProf Song-Ping Zhu University of Wollongong

62

Abstracts

1. Plenary 64

Special Sessions2. Algebra 673. Applied/Industrial Mathematics 694. Category Theory, Algebraic Topology, K-Theory 735. Complex Analysis, Geometry 776. Computational Mathematics 807. Dynamical Systems/Ergodic Theory 838. Education 859. Functional Analysis, Operator Algebra, Non-commutative Geometry 9010. Geometric Analysis 9311. Harmonic Analysis 9512. Mathematical Biology 9713. Mathematical Optimization 10114. Mathematical Physics 10415. Number Theory 10616. Partial Differential Equations 10817. Probability Theory and Stochastic Processes 11018. Representation Theory 11319. Stochastic Models and Applications 11620. Topology 11821. LATEX and beyond 121

63

1. Plenary

1.1. Walking on graphs to Invariant TheoryGeorgia Benkart (University of Wisconsin-Madison)11:30 Wed 13 December 2017 – Macquarie TheatreProf Georgia Benkart

Molien’s 1897 formula for the Poincaré series ofthe polynomial invariants of a finite group hasgiven rise to results in algebraic geometry, cod-ing theory, combinatorics, mathematical physics,and representation theory. This talk will dis-cuss how some basic group theory can be usedto count walks on graphs and and to derive ananalogue of Molien’s formula for tensor invari-ants. The ideas evolved from McKay’s observa-tion that there is a natural one-to-one correspon-dence between the finite subgroups of the spe-cial unitary group of 2× 2 matrices and the sim-ply-laced affine Dynkin diagrams, now a well-known result known as the McKay Correspon-dence. Walking results are also closely tied withSchur–Weyl duality, and when they are appliedto the symmetric group and its permutation mod-ule, they lead to connections with the Potts lat-ticemodel in statistical mechanics and to the Fun-damental Theorems of Invariant Theory for thesymmetric group.

1.2. A vital role of automorphic forms in numbertheoryYoungJu Choie (Postech, South Korea)14:00 Thu 14 December 2017 – Macquarie TheatreProf YoungJu Choie

In modern mathematics it is hard to imagine thatautomorphic forms and number theory are sep-arated. For instance, automorphic forms playeda key role in a proof of Fermat’s Last Theoremby A.Wiles. I will explain how to use a relationbetween automorphic forms and parabolic coho-mology.

1.3. Integrable probabilityIvan Corwin (Columbia University)09:00 Wed 13 December 2017 – Macquarie TheatreProf Ivan Corwin

The probability of various outcomes of repeatedfair coin tosses can be computed exactly usingbinomial coefficients. Performing asymptoticson these formulas uncovers the Gaussian distri-bution and a first instance of the central limittheorem. This talk will focus on a higher ver-sion of this story. We will explain how struc-tures from representation theory (e.g., Macdon-ald polynomials) and quantum integrable sys-tems (e.g., Yang–Baxter equation and Bethe ans-atz) can be leveraged to create probabilistic mod-

els admitting explicit formulas which are asymp-totically analyzable. These asymptotic behaviorsare non-Gaussian and believed to characterizeother universality classes.

1.4. Analysis on product spacesMichael Cowling (University of New South Wales)11:30 Fri 15 December 2017 – Macquarie TheatreProf Michael Cowling

Much analysis in Rn (and in more general con-texts) uses, at least implicitly, the metric struc-ture of the space. For example, Lebesgue’s differ-entiation theorem uses properties involving cov-ers of sets by balls. And a bijection of Rn thatsends balls to balls is an affine map (when n ≥ 2).In recent years, interest has grown in analysis on‘product spaces’, products of two metric spaceswith a metric on each factor. Here the basic ge-ometrical objects are ‘rectangles’ of products ofballs in the two factors. Finding analogues of clas-sical results requires an understanding of howrectangles fit together.This talk will survey some of the results in thisarea, with an emphasis on some geometrical ques-tions that are easy to state but hard to prove.

1.5. Scalable PDE solvers on supercomputers:multilevel and parallel-in-timeHans De Sterck (Monash University)10:00 Wed 13 December 2017 – Macquarie TheatreProf Hans De Sterck

The world’s largest parallel computers now havemillions of parallel processor cores, because pro-cessor speeds have stagnated and further speedincreases need to come from increased paral-lelism. When solving time-dependent PDE prob-lems with high resolution on such massively-par-allel systems using spatial parallelism only, se-quential time-stepping is becoming a computa-tional bottleneck. In this context, parallelisationin time is a mechanism that can provide addi-tional concurrency leading to further speedups.In this talk we consider multilevel parallel-in-time methods for solving hyperbolic PDEs onlarge parallel computers. The multigrid-reduc-tion-in-time (MGRIT) method we use constructsa hierarchy of successively coarser temporal lev-els to accelerate the iterative solution that is com-puted in parallel on the finest level. We dis-cuss issues of stability, spatial coarsening, con-vergence speed, adaptivity, and nonlinearity thatarise when applying this technique to hyperbolicPDEs. Proof-of-concept parallel tests on up to128,000 processor cores show robust scalability

64

1. Plenary

and demonstrate the potential for runtime speed-ups over sequential time-stepping when spatialparallelism alone saturates. We conclude withperspectives on extensions to real-life applica-tions.This is joint work with Alexander Howse (Uni-versity of Waterloo), Scott MacLachlan (Memo-rial University of Newfoundland), and Rob Fal-gout and Jacob Schroder (Lawrence LivermoreNational Laboratory).

1.6. Propagation, diffusion and free boundariesYihong Du (University of New England)17:00 Tue 12 December 2017 – Macquarie TheatreProf Yihong Du

I will discuss some of the mathematical theorieson nonlinear partial differential equations moti-vated by the desire of providing better modelsfor various propagation phenomena. The classi-cal works of Fisher, Kolmogorov–Petrovskii–Pis-kunov, Skellam and Aronson–Weinberger will berecalled briefly, and they will be compared withsome recent results on models with free bound-aries. In recent years, considerable momentumhas been gathered in extending the traditionalmodels to those with nonlocal diffusion, and tosituations where the heterogeneity of the environ-ment cannot be ignored. Some of the recent de-velopments in these directions will also be dis-cussed.

1.7. Value function and necessary optimalityconditions in deterministic optimal controlHélène Frankowska (CNRS)09:00 Thu 14 December 2017 – Macquarie TheatreProf Hélène Frankowska

In this talk I will discuss some recent advancesmade in first and second order optimality condi-tions for the deterministic optimal control prob-lem. The value function associated to this prob-lem is the unique solution to a Hamilton–Jacobi.The control theoretic approach implied some newregularity results on the solution of this equationand left few problems open. The developed vari-ational analysis techniques, being quite straight-forward, apply as well to stochastic optimal con-trol and optimal control of PDEs.

1.8. Two threshold problems for random graphsand hypergraphsCatherine Greenhill (University of New SouthWales)10:00 Fri 15 December 2017 – Macquarie TheatreAssoc Prof Catherine Greenhill, Daniel Altman, PeterAyre, Amin Coja-Oghlan, Mikhail Isaev, ReshmaRamadurai

Probabilistic combinatorics is the study of ran-dom structures, such as random graphs. Manygraph properties exhibit a “phase transition” withrespect to the edge density. That is, the proba-bility that the property holds moves rapidly fromzero to one as the edge density crosses a narrowwindow around a threshold value. The aim is tolocate the threshold density as precisely as possi-ble.As with many problems in combinatorics, themethods which are developed in order to obtainthe answer are the real prize. I will discuss twothreshold results for graphs, the methods used toprove them, and my recent work extending theseresults to hypergraphs.

1.9. Enumerative geometry and geometricrepresentation theoryAndrei Okounkov (Columbia University)11:30 Tue 12 December 2017 – Macquarie TheatreProf Andrei Okounkov

Certain problems in enumerative geometry turnout to be directly related to core questions in rep-resentation theory and to how it has been classi-cally applied inmathematical physics. Inmy talk,I plan to give an informal introduction to this cir-cle of ideas.

1.10. Metapopulations in evolving landscapesPhilip Keith Pollett (University of Queensland)10:00 Thu 14 December 2017 – Macquarie TheatreProf Philip Keith Pollett

I will describe a model for populations that oc-cupy several geographically separated patches ofhabitat, one which accounts for the evolutionover time of landscape characteristics that affectthe persistence of local populations. In particu-lar, the probability of local extinction is allowedto evolve in time. This covers the widely studiedcase where patches are classified as being eithersuitable or unsuitable for occupancy. I will ex-plain why, for large population networks, the per-sistence and equilibrium levels of the populationare determined by the distribution of the life spanof local populations, and not by the specific land-scape dynamics.

65

1. Plenary

1.11. Reconstructing continuous dynamicalsystems from time series data with discretetransition graphsMichael Small (The University of Western Australia)09:00 Fri 15 December 2017 – Macquarie TheatreProf Michael Small

Ordinal networks are constructed from observedtime series data xt t by mapping sequences ofsuccessive observations of length w , (xt , xt−1, . . . ,xt−w+1) to permutations of the integers π= 1,2, . . . ,w such that the chosen permutation representsthe relative magnitude of the numbers xt−1, xt−2,. . . , xt−w . That is πi > π j implies xt−i > xt− j . Anetwork is then constructed by identifying nodeson the network with each of the (potentially)w ! permutations. Nodes are linked if the corre-sponding permutations appear in successive win-dows. Networks constructed in this way fromchaotic maps and flows (by introducing an em-bedding lag between the components) are evoca-tive and we have demonstrated numerically thattopological quantities estimated from from thesenetworks capture important characteristics of theunderlying dynamics. In particular, we observethis for network node entropy and provide an-alytic justification that both dynamical entropyand maximal Lyapunov exponent can be esti-mated from structural properties of the network.We show that by considering these ordinal tran-sition networks as Markov processes, they cap-ture (via relatively fast computation) dynamicalfeatures that are generally rather more difficult toestimate.This is joint work withMichael McCullough, Kon-stantinos Sakellariou and Thomas Stemler.

1.12. Chaos is not random and complexity is notcomplicatedMichael Small (The University of Western Australia)18:30 Wed 13 December 2017 – Macquarie TheatreProf Michael Small

Chaos theory is the study of relatively simplemathematical systems that behave in a compli-cated and apparently random way, but are not.Complex systems are systems made from verymany simple components interacting and produc-ing emergent behaviour beyond that of which theindividual components are capable. Chaos arisesin many common physical systems— from a drip-ping tap to atmospheric circulation. With the aidof some of these systems, I will explain the math-ematical origin and signature of chaos. In collab-oration between UWA and CSIRO, my researchgroup is currently studying a range of complexsystems: flocking of birds, collective dynamicsof neurones, power grids and utility distributionnetworks, and interaction between players (bothin an AFL game and in resource markets). I will

show how we are developing mathematical toolsto better understand, predict and interact withsystems such as these.

1.13. Can we make that fibre?Yvonne Stokes (The University of Adelaide)16:30 Thu 14 December 2017 – Macquarie TheatreAssoc Prof Yvonne Stokes

The development of microstructured optical fi-bres, containing patterns of air channels, haverevolutionised optical fibre technology, promis-ing a virtually limitless range of fibre designs fora wide range of applications, including commu-nication networks, medical devices and sensing.But fabrication of a fibre with a desired structurepresents a major challenge. What initial preformis suitable and what draw parameters should beused? Can it even be made? This is an inverseproblem and mathematics is essential to its solu-tion.Modelling of fibre drawing has been a topic of in-terest for around five decades, motivated initiallyby the ‘spinning’ of textile fibres and, more re-cently, the importance of optical fibres in mod-ern technologies. The slenderness of the geom-etry enables extensional flow theory to be used todevelop accurate and efficient models. With ne-glect of surface tension the model may be writtenas a boundary-value problem in one spatial dim-ension for the cross-sectional area as a functionof axial position, which is readily solved. Whensurface tension is important, as in the drawing ofmicrostructured optical fibres, the model is com-prised of a modified one-dimensional boundary-value problem coupled with a two-dimensionalfree-boundary problem for the transverse flowand, while this approach was used with successfor fibres with simple geometries, application tofibres of arbitrary cross-section proved elusiveuntil recently. I will describe the recent break-through by myself and coworkers enabling solu-tion of the slender-geometry model with surfacetension for the drawing of fibres of arbitrary ge-ometry. I will discuss the progress that this hasbrought, including solution of the inverse prob-lem. I will also show some stunningly accuratecomparisons of model and experiment and dis-cuss ongoing work to explain some perplexingdiscrepancies that arise at times.

66

2. Algebra

2.1. Fact-checking the ATLAS of Finite GroupsJohn Cannon (The University of Sydney)11:30 Thu 14 December 2017 – W5A 105Prof John Cannon

On 24 April 2015, J.P. Serre gave a talk at Har-vard, titled “Finite Groups, Yesterday & Today”,which attracted considerable interest. Amongstother issues he drew attention to the fact that,while the proofs of many recent results in grouptheory and related areas are based on informa-tion taken from the tables of complex charactersgiven in the ATLAS of Finite Groups, no writtenproofs exist of the correctness of most (any?) ofthese tables.About a decade earlier Bill Unger had published anew approach to computing character tables andin the light of subsequent improvements to thatalgorithm we felt that we could compute all but5 or 6 of the 430 character tables presented inthe ATLAS employing a different method thanthat used to construct the ATLAS table. Withthis project nearing completion we will outlinethe character table algorithm and the results ofour verification.We will also point out that Serre’s statementraises a number of important issues:

• How should the reliability of mathematical ta-bles be established, especially those that arecommonly used in the proofs of new mathe-matical theory? One needs to reflect on thefact that many theoretical papers contain er-rors that range from the trivial to the serious.

• What other results and tables in group theoryshould we be losing sleep over? For examplethere are many closely related tables relatingto the ATLAS groups: Schur indices, automor-phism groups, maximal subgroups, modularcharacters, etc. Experts believe there are manyerrors in these tables but they are widely used.What should be done about this?

2.2. Integer polygons with given perimeterJames East (Western Sydney University)14:00 Tue 12 December 2017 – W5A 105Dr James East

A classical result of Honsberger states that thenumber of incongruent triangles having integersides and perimeter n is the nearest integer to1

48 n2 (n even) or 148 (n +3)2 (n odd). Several proofs

of this result exist, some using very sophisticatedmethods. I’ll discuss some recent joint workwith Ron Niles in which we solve the analogousproblem for m-gons (for arbitrary but fixed m ≥3), and for polygons (with arbitrary number of

sides). We also show that the solution to the lat-ter is asymptotic to 2n−1/n.

2.3. Permutations sorted by a finite and an infinitestack in seriesMurray Elder (University of Technology, Sydney)15:30 Thu 14 December 2017 – W5A 105Murray Elder, Yoong Kuan Goh

An antichain is a subset of a partially ordered setsuch that any two elements in the subset are in-comparable. Pattern avoidance is a partial orderon the set of all finite permutations. We provethat the set of permutations sorted by a stack ofdepth t ≥ 3 and an infinite stack in series has in-finite basis, by constructing an infinite antichain.This answers an open question on identifying thebreakpoint for the basis to change from finite toinfinite in a sorting process with two stacks in se-ries.

2.4. Isomorphism problem for virtually-free groupsMichal Ferov (University of Technology, Sydney)16:00 Tue 12 December 2017 – W5A 105Dr Michal Ferov

The Isomorphism problem is one of the well-known decision problems in combinatorial grouptheory. In general, it is unsolvable and it is knownto be effectively solvable (i.e., by an algorithmwith known space/time complexity) only for afew classes of groups. In my talk I will sketchan outline of an algorithm that solves the Isomor-phism problem for virtually-free groups and ex-plain why it is complexity bounded.This is joint work with Murray Elder.

2.5. Unexpected new formula for GrothendieckdualityHafiz Khusyairi (Australian National University)12:00 Thu 14 December 2017 – W5A 105Mr Hafiz Khusyairi

A few years ago, a surprising new formula for thetwisted inverse-image functor of Grothendieckduality came up in the literature. I will beginthe talk by revisiting the notions of the derivedcategory of a ring and the relevant derived func-tors. Then, I will present the formula in a purelyring-theoretical setting and discuss how this for-mula was not very well understood. I will alsotalk about how a recent result improved our un-derstanding of this formula and opened a door forgeneralisation to the non-noetherian setting.

67

2. Algebra

2.6. On base radical operators Part 2: classes offinite Puczylowski algebrasRobert McDougall (University of the SunshineCoast)15:00 Tue 12 December 2017 – W5A 105Dr Robert McDougall

In this presentation, we use the methods success-ful in Part 1 to reveal results in finite settingsfor algebras introduced by Puczylowski (whichincludes groups and multi-operator groups likerings). Many of the results true for classes of as-sociative rings remain useful in this more generalsetting. The relations between the class operatorsemployed show the maximum order of the semi-group they form.

2.7. Concrete mathematical incompleteness andthe Finite Upper Shift Kernel theoremAinsley Pullen (The University of Queensland)16:30 Tue 12 December 2017 – W5A 105Ainsley Pullen

Incompleteness was famously investigated by Gö-del who demonstrated that any consistent sys-tem has undecidable statements which cannot beproven or disproven within the system. However,the example of such a statement given by Gödelis somewhat unsatisfactory because it relies onan artificial construction utilising self-reference.Concretemathematical incompleteness is an areaof meta-mathematics which responds to this bylooking for undecidable statements which couldbe considered as natural questions for a mathe-matician to be interested in.Friedman recently presented an instance of con-crete mathematical incompleteness called the Fi-nite Upper Shift Kernel theorem, which is a com-binatorial statement about directed graphs andtheir kernels. Friedman proved that the FiniteUpper Shift Kernel theorem is equivalent to theconsistency of SRP, which is a system that isstrictly stronger than Zermelo–Fraenkle set the-ory and the axiom of Choice (ZFC). Consequentlythe consistency of SRP implies the consistency ofZFC. Hence the Finite Upper Shift Kernel theo-rem implies the consistency of ZFC and so cannotbe proven in ZFC due to Gödel’s second incom-pleteness theorem.This result by Friedman was then utilised byAaronson and Yedidia to construct a Turing ma-chine which had undecidable behaviour in ZFC.They did this by building the Turing machine tosearch for a counterexample to the Upper ShiftKernel Theorem. We clarify the imprecise char-acterisation given by Aaronson and Yedidia aswell as presenting both the results in a frame-work more understandable to a general mathe-matician.

2.8. Generalised domain and E-inverse semigroupsTim Stokes (University of Waikato)16:00 Thu 14 December 2017 – W5A 105Dr Tim Stokes

Various generalisations of Green’s relations onsemigroups have been considered over the years,and those for which there is a unique idempo-tent in each class are of particular interest. Forexample, regular semigroups are such that everyR-class (equivalently, every L -class) contains atleast one idempotent, and those for which theidempotent is unique are exactly inverse semi-groups. One obtains variants by limiting theset of idempotents. For example, amongst invo-luted semigroups, those having a projection ineach L -class and R-class are the ∗-regular semi-groups as defined by Drazin, and in this case theprojection in each class is automatically unique.In such cases we may define one or two unary op-erations that pick out the idempotent in the classof an element. In this talk we generalise this as faras it will go, giving an axiomatization in terms ofsuch unary operations of (left/right/two-sided)E-semiabundant semigroups with unique idem-potents in each class. As a special case, we obtaina generalisation of inverse semigroups in whichthe idempotents relative to which inverses maybe defined are constrained, generalising Drazin’s∗-regular semigroups. All axiomatizations turnout to be finite and equational.

2.9. On base radical operators Part 1: classes offinite associative ringsLauren Thornton (University of the Sunshine Coast)14:30 Tue 12 December 2017 – W5A 105Miss Lauren Thornton

Class operators are used to give a complete list-ing of possible radical and semisimple classes foruniversal classes of finite associative rings. Gen-eral relations between operators reveal the max-imum order of the semigroup they form is 46.In this setting, hereditary radical classes are pre-cisely the homomorphically closed semisimpleclasses, and strongly semisimple classes are radi-cal-semisimple.

68

3. Applied/Industrial Mathematics

3.1. The two-train separation problem on non-leveltrackAmie Albrecht (University of South Australia)14:00 Tue 12 December 2017 – W5C 221Amie Albrecht, Phil Howlett, Peter Pudney, Xuan Vu,Peng Zhou

When two trains travel along the same trackin the same direction it is a common safety re-quirement that they cannot simultaneously oc-cupy the same section of track. In this talk wefind necessary conditions on non-level track tominimize the total traction energy required forboth trains to complete their respective journeyswithin the allowed time subject to safe separa-tion constraints in the form of a prescribed set oflatest allowed section exit times for the leadingtrain and a corresponding prescribed set of earli-est allowed section entry times for the followingtrain. We use classical methods of constrainedoptimization to show that the optimal drivingstrategies subject to the sets of prescribed sec-tion clearance times are completely defined forthe leading train by a non-increasing sequence ofoptimal section driving speeds and for the follow-ing train by a non-decreasing sequence of optimalsection driving speeds. We illustrate our resultsby finding the optimal driving strategies and as-sociated speed profiles for both the leading trainand the following train in an elementary but real-istic example.

3.2. Dengue fever in Taiwan: an IBM Health CorpsadventureRoslyn Hickson (IBM Research Australia)16:00 Fri 15 December 2017 – W5C 221R.I. Hickson, D.-P. Liu, Y.-L. Liu, H.-Y. Cheng, C. Wei,N. Dawe, S. Hussain, J. Piccone, C. Hammond, L.Haselden, S. Venkatraman

Dengue fever is a mosquito-borne disease, withAedes aegypti the primary vector. There wasan unexpectedly large number of human denguecases in Taiwan in 2015, increasing from thetypical low numbers of around five hundred toover forty thousand cases. IBM Health Corpsworked with the Taiwan Centers for Disease Con-trol (CDC) to develop a decision support toolbased on mathematical models to evaluate poten-tial new interventions. We focussed on the exam-ple intervention of mosquito population reduc-tion by releasing Wolbachia-carrying male mos-quitoes. This presentation will discuss the mathe-matical models and demonstrate how the outputswere visualised in the decision support tool.

3.3. A stochastic differential equation approach tomodelling the growth phase of fire spreadZlatko Jovanoski (University of New South WalesCanberra)14:00 Wed 13 December 2017 – W5C 221Dr Zlatko Jovanoski

From a point source, landscape fires accelerateuntil they reach a quasi-equilibrium rate of spr-ead. In comparison with the vast literature thatdeals with modelling the quasi-equilibrium rateof spread, there is little that specifically considersthis growth phase of a fire’s development. Therate of acceleration depends on access of the firefront to the wind as the area increases, interac-tions between different parts of the fire perime-ter which change with area and intensity, varia-tions in ambient and induced wind speed and di-rection, variation in moisture content of the fuel,fuel stratification and slope variation. Presentmodels of fire growth from a point ignition areexpressed as deterministic algebraic equations,thereby downplaying variability and history. Themany variables involved make predictions of rateof spread from a point source very difficult.In this paper we propose an approach based onthe use of stochastic differential equations to in-vestigate the growth of a fire to quasi-equilib-rium. In addition to providing a more faithfulportrayal of the time series data relating to firegrowth, this approach allows for better discrim-ination of the mechanisms driving the growthphase of fire spread.

3.4. Analysis of nitrogen removal in the activatedsludge processMark Nelson (University of Wollongong)16:00 Tue 12 December 2017 – W5C 221Assoc Prof Mark Nelson

The activated sludge process is the most wide-ly-used process for the biological treatment ofboth domestic and industrial wastewaters. Waste-water treatment plants based on the activatedsludge process are in widespread use in both de-veloped and developing countries.The ‘activated sludge model number 1’ (ASM1)is an internationally accepted standard for acti-vated sludge modeling. This model describes ni-trogen and chemical oxygen demand within sus-pended-growth treatment processes, includingmechanisms for nitrification and denitrification.We analyse the biological treatment of a waste-water in the activated sludge process when a cas-cade of up to three reactors is deployed. We firstconsider a ‘standard reactor cascade’ in which a

69


settling unit is placed after the final reactor inthe cascade. The recycle stream from the set-tling unit is fed into the first reactor of the cas-cade. Variations on the standard reactor cascadeare then considered. These variations take twoforms. Firstly, turning off the oxygen supply to areactor. This converts the reactor from aerobic toanaerobic operation. Secondly, the placement ofinternal recycle units.A combination of direct numerical integrationwith continuation methods is used to investigatethe steady-state behaviour of these systems. Weinvestigate how the operation of the recycle unitseffects the concentration of total nitrogen in theeffluent stream and identify conditions for effec-tive nitrification and denitrification to occur inthe reactor.In addition to identifying operating conditionswhich minimise the total nitrogen in the effluentstream we conclude that continuation methodsprovide the right tool to investigate how changesin process parameters effect outputs in a system-atic manner.

3.5. Potential theory problems for arbitraryrotationally symmetric double-connectedconductors: rigorous approachMartin Sagradian (Macquarie University)16:30 Tue 12 December 2017 – W5C 221Martin Sagradian

This paper considers potential theory problemsfor rotationally symmetric conductors with arbi-trary profile. Mathematically, the problem is de-scribed by the boundary value problem for theLaplace equation subject to Dirichlet boundaryconditions. We consider double-connected con-ductors with apertures of equal angular size. Theproblem is solved by the semi-analytical Methodof Regularization (MoR) that provides a mathe-matically rigorous solution.The MoR, based on Abel’s integral transform andtheory of triple series equations with the Jacobipolynomials, allows us to transform the ill-posedinitial system of series equations arising from thestandard formulation of the problem to a well-conditioned second kind Fredholm matrix equa-tion. Numerical algorithms based upon the solu-tion of the matrix equation, after truncation to afinite system of equations, converge with guaran-teed and predictable accuracy.In this paper the generalization of the solution al-gorithm for arbitrarily shaped double-connectedscreens is developed in the case of a rotationallysymmetric prescribed potential and the solutionfor the complementary structures in the generalcase (for arbitrarily preassigned potential) is ob-tained.

3.6. Quantifying the change in the far-field patterninduced by rounding the corners of a scattererilluminated by a plane-wave electromagnetic fieldPaul Smith (Macquarie University)14:30 Wed 13 December 2017 – W5C 221Audrey J. Markowskei, Paul D. Smith

When a perfectly electrically conducting two-dim-ensional scatterer, which is smooth except atfinitely many sharp corner points, is illuminatedby an E-polarised electromagnetic plane wave,the surface current density exhibits singularitiesat those corner points, whilst in the H-polarisedcase the surface density exhibits singularities inits derivative at those points. Once the cornersare rounded, the surface density becomes non-sin-gular. It is of interest to examine the impactof this rounding upon observed physical quanti-ties such as the far-field as the rounding becomesmore pronounced.An integral equation formulation is a satisfactorybasis of numerical studies of the scattering ofplane waves by a smooth obstacle; its solutionprovides a surface density from which all physi-cal quantities can be calculated. Whilst this ap-proach can be adapted to accommodate obsta-cles with sharp corners, efficient methods for thecalculation of the desired surface density dependupon the introduction of graded meshes. In thispresentation, we describe the appropriate modifi-cations that are subsequently employed to quan-tify the changes induced in the far-field patternwhen the corners are rounded. We examine thedifference of the far-field pattern from that of theunrounded structure as a function of the param-eter kρ where k is the wavenumber and ρ is theradius of curvature of the rounded corner. It isfound that the difference is O

((kρ)m

)as kρ ap-

proaches zero, for some positive exponent m de-pending upon boundary and other conditions. Anumber of structures with single or multiple cor-ners are examined with a variety of boundary con-ditions: E- or H-polarised cases as well as theimpedance-loaded case.

3.7. Accurate calculation of complex eigenvaluesfor TM-modes in 2D arbitrary cavities withlongitudinal slitTurker Topal (Macquarie University)15:00 Wed 13 December 2017 – W5C 221Mr Turker Topal, Elena Vinogradova, Yu. A. Tuchkin

The rigorous Method of Regularization ([1]–[3])is implemented for accurate calculation of thecomplex eigenvalues in open arbitrary 2D cavi-ties. Based on standard integral representationin terms of surface quantities and a Green’s func-tion, a first kind Fredholm integral equation canbe obtained. The regularization procedure em-ploys the technique of analytical semi-inversion,

70


which transforms the initial ill-posed equation ofthe first kind into the well-conditioned secondkind Fredholm equation in matrix formulation.The resulting system of infinite linear algebraicequations can be solved effectively using the trun-cation method, which produces an algebraic sys-tem with uniformly bounded condition number.The characteristic equation for finding the com-plex eigenvalues is easily determined using oneof the postulates of linear algebra: the non-triv-ial solutions of the homogeneousmatrix equationexist when the determinant takes zero values; i.e.,solving this equation for the increasing values, weattain the stabilization of the beforehand givennumber of significant digits in the complex eigen-values and after that we stop the calculation rou-tine.There are no restrictions on a shape of bound-ing contours, except its smoothness. In addition,the slit width has also no restrictions on its value,whether it is narrow or wide. The large-scaled cal-culations of the complex eigenvalues have beenperformed for the open cavities of circular, el-liptical and rectangular cross-section, which arewidely used in practice.

[1] Y. A. Tuchkin,Wave scattering by open cylin-drical screens of arbitrary profile with Dirichletboundary conditions, in Soviet Physics Doklady,vol. 30, p. 1027, 1985.[2] E. Vinogradova, Electromagnetic plane wavescattering by arbitrary two-dimensional cavi-ties: Rigorous approach, Wave Motion, vol. 70,pp. 47–64, 2017.[3] S. S. Vinogradov, P. D. Smith, and E. D. Vino-gradova; Canonical problems in scattering andpotential theory Part II: Acoustic and Electromag-netic diffraction by canonical structures. CRCPress, 2002.

3.8. ST-metric method in FinanceIlknur Tulunay (University of Technology, Sydney)14:30 Fri 15 December 2017 – W5C 221Dr Ilknur Tulunay

This method uses an information theoretic con-cept, Topsøe distance, which extends from proba-bilities to real number series on the interval (0,1].Given two probabilities, Topsøe distance is thesymmetrized Kullback–Leibler divergence of theaverage of these probabilities. It does not sat-isfy the triangle property and so is not a metric.However, its square root is a metric. Extendingthe square root of Topsøe distance from probabil-ities to real number series on (0,1] gives a metric,called the ST-metric. I present how to apply ST-metric on financial return series. I show that theST-metric method is consistent with mean–vari-ance rule and stochastic dominance of order oneand two. The ST-metric of an investment with

risk-free rate considers the entire movement ofthe investment (all moments of the distributions)relative to the risk-free rate over the investmentperiod, and so offers a better adjusted risk–re-turn analysis than mean–variance and stochasticdominance methods.

3.9. Regularization of the first-kind surface integralequations arising in the wave diffraction on 2Darbitrary cavities with longitudinal slitElena Vinogradova (Macquarie University)15:00 Fri 15 December 2017 – W5C 221Elena D. Vinogradova

Diffraction of acoustic and electromagnetic wavesfrom two-dimensional arbitrarily shaped opencavities is reduced to a mixed boundary valueproblem for the Helmholtz equation. The cus-tomary way of solving such problems employsthe classical potential theory, which reduces theinitial problem to a first kind integral equationwith the Green’s function as a kernel and an un-known density function, representing the jumpof single-layer or double-layer potential over thecavity surface. These equations are ill-condi-tioned and their direct use for computation ishighly problematic. We develop a semi-analyti-cal regularization procedure, which reduces thefirst kind integral equation to a well-conditionedsecond-kind system of linear algebraic equations.It is proved that the solution of the truncated sys-tem of equations converges fast to the exact so-lution, as truncation number is increased. Thedeveloped method has been used, in particular,for comprehensive analysis of scattering prob-lems involving finite sinusoidal gratings, short-circuited waveguides with finite flanges, and air-foils.

3.10. A study of optimizing courier routes in CBDareasLele (Joyce) Zhang (The University of Melbourne)15:00 Tue 12 December 2017 – W5C 221Mx Lele (Joyce) Zhang

The rapid development of major cities and conse-quently fast-growing traffic congestion raise sig-nificant challenges for determining efficient dis-tribution routes in central city areas. This paperdevelops a model, formulated as a bi-level multi--objective optimisation, for determining the opti-mal on-street loading zones for courier vehiclesto use to minimise operating and environmentalcosts. The traffic paths used to access loadingzones and the paths used to cart the goods to es-tablishments are determined. Genetic algorithmsare used to search optimal solutions. The modelis tested on Sydney’s andMelbourne’s CBD areas.The output can provide guidance for couriers aswell as planners who are involved in determiningduration limits at loading zones.

71


3.11. Pricing American-style Parisian optionsSong-Ping Zhu (University of Wollongong)14:00 Fri 15 December 2017 – W5C 221Prof Song-Ping Zhu

In this talk, pricing of various American-styleParisian options will be discussed. After pointingout the fundamental difference between Ameri-can-style ‘in’ and ‘out’ Parisian options, I shalldemonstrate how a closed-form analytic solutionfor American-style ‘up-and-in’ Parisian optionscan be worked out, which does not explicitly in-volve a moving boundary as far as the ‘motheroption’ is concerned. For American-style ‘up--and-out’ Parisian options, a very efficient numer-ical approach is proposed, based on the movingwindow technique developed in Zhu and Chen(2013), in order to simplify the solution pro-cedure. Preliminary numerical results are pre-sented to show some very interesting features ofAmerican-style ‘up-and-out’ Parisian options.

72


4.1. Braidings for skew monoidal categoriesJohn Bourke (Macquarie University)16:00 Thu 14 December 2017 – W5A 101Dr John Bourke

Skew monoidal categories are a certain laxifiedversion of monoidal category. They were intro-duced by Szlachanyi in 2012 in relation to bialge-broids over rings. In 2016 I described some exam-ples of these structures arising in higher categorytheory. A natural question to ask is: “what is thecorrect notion of braiding in the skew context?”The answer is not, perhaps, what one might firstguess. In this talk I will define braided skewmonoidal categories and give some examples ofthem.This is joint work with Steve Lack.

4.2. Transferring A-infinity structures alongquasi-isomorphismsJesse Burke (Australian National University)14:00 Fri 15 December 2017 – W5A 101Dr Jesse Burke

It has been long understood how to transfer A-inf-inity algebra structures along a homotopy equiv-alence of complexes. I will talk about a recent re-sult showing A-infinity algebra structures may betransferred along (semi-)projective resolutions ofcomplexes.This gives a new result when the ground ring isnot a field, because a (semi-)projective resolutionis very rarely a homotopy equivalence. A-infinitymorphisms, modules, and morphisms of mod-ules can also be transferred, and if the complexin question is homologically bounded below, thetransferred structures are all unique up to appro-priate homotopy. This work is motivated by thestudy of free resolutions in homological commu-tative algebra, but the techniques apply in muchwider generality. The main technique of proof isobstruction theory.

4.3. Enriched algebraic weak factorisation systemsAlexander Campbell (Macquarie University)16:30 Fri 15 December 2017 – W5A 101Dr Alexander Campbell

It is known that if V is a monoidal model cat-egory in which every object is cofibrant, thenany cofibrantly generated V -enriched model cat-egory has a V -enriched cofibrant replacementcomonad; conversely, if a monoidal model cate-gory V (with cofibrant unit object) has a V -enrich-ed cofibrant replacement comonad, then everyobject of V must be cofibrant. These results leaveopen the question of what extra structure, if not

an enrichment in the ordinary sense, is naturallypossessed by the cofibrant replacement comonadof an enriched model category when not every ob-ject of the base monoidal model category is cofi-brant.In this talk I will introduce the notions of locallyweak comonad and of monoidal and enriched al-gebraic weak factorisation system, and will pro-pose an answer to the above question by show-ing that the cofibrant replacement comonad of anenriched algebraic weak factorisation system is alocally weak comonad. Special attention will begiven to the monoidal model category of 2-cate-gories with the Gray tensor product, in which notevery object is cofibrant.

4.4. Functors to categories of manifoldsDiarmuid Crowley (The University of Melbourne)16:00 Tue 12 December 2017 – W5A 101Diarmuid Crowley

In this talk I will describe how Wall’s theory ofthickenings allows us to define functors on the ho-motopy category of certain finite CW-complexeswith values in groups of certain diffeomorphismclasses of manifolds.I will then report on joint work with Csaba Nagywhere establish basic facts and computations forthese functors in important special cases.

4.5. Real K-theory of compact Lie groupsChi-Kwong Fok (The University of Adelaide)16:30 Wed 13 December 2017 – W5A 101Dr Chi-Kwong Fok

Let G be a compact connected Lie group, viewedas a G-space via the conjugation action. A theo-rem of Brylinski–Zhang states that the equivari-ant K-theory of G is the ring of Kähler differ-entials of its complex representation ring, whilea recent deep theorem by Freed–Hopkins–Tele-man asserts a canonical isomorphism betweenthe twisted equivariant version and the Verlindealgebra of G. In this talk, I will present general-izations of both results in the context of Atiyah’sReal K-theory.

4.6. UltrafiltersRichard Garner (Macquarie University)14:30 Fri 15 December 2017 – W5A 101Dr Richard Garner

Ultrafilters are important structures in areas ofmathematics as diverse as combinatorics, modeltheory, topology and dynamical systems. In thistalk, I explain how the notions of ultrafilter, ultra-power, product of ultrafilters, and Rudin–Keisler

73


ordering of ultrafilters, are all encapsulated inthe following result: the category of finite-coprod-uct-preserving endofunctors of the category ofsets is a presheaf category.

4.7. End-periodic K -homology and positive scalarcurvatureMichael Alexander Hallam (The University ofAdelaide)14:00 Wed 13 December 2017 – W5A 101Michael Hallam, Mathai Varghese

In this talk I will introduce a new variant ofK -homology, called ‘end-periodic K -homology’,that is tailored to a recent index theorem forend-periodic manifolds by Mrowka, Rubermanand Saveliev. The new K -homology groups ele-gantly encapsulate invariance properties of end-periodic rho invariants, and in fact are naturallyisomorphic to the standard K -homology groups.The isomorphism preserves rho invariants, andso can be used to transfer results on positivescalar curvature for odd-dimensional manifoldsto even-dimensional manifolds.This is joint work with Mathai Varghese.

4.8. Parity for nestohedraStephen Lack (Macquarie University)12:00 Thu 14 December 2017 – W5A 101Prof Stephen Lack

In 1987, Street showed how each simplex gen-erated an ω-category; that is, a (possibly) in-finite-dimensional category. This allowed a gen-eral definition of the nerve of an ω-category. Theω-categories corresponding to simplices were call-ed orientals, and Street later developed the for-malism of parity complex, which abstracted thekey features of these orientals, and also includedas examples the cubes and the globes (balls). Var-ious other researchers came up with alternativeformalisms. All of them involve some sort of com-binatorial structure involving faces with a speci-fied orientation, called a parity.The nestohedra are a family of polytopes whicharose in work of de Concini and Procesi. They in-clude the simplices, the cubes, the associahedra(of Stasheff and Tamari), and the permutohedra.I will consider these nestohedra as purely combi-natorial structures, and describe a general notionof parity for them.This is joint work with Christopher Nguyen, andbuilds on material in his thesis.

4.9. ∞-groupoids and the Homotopy HypothesisEdoardo Lanari (Macquarie University)15:00 Wed 13 December 2017 – W5A 101Mr Edoardo Lanari

In this talk I will introduce a globular model forweak ∞-groupoids, due to A.Grothendieck, andillustrate the basic features of their homotopy the-ory. It is conjectured that the (∞,1) category theypresent models homotopy types (this is the socalled ‘Homotopy Hypothesis’), which has beenproven to hold true for essentially every otherexisting model of ∞-groupoids (e.g., Kan com-plexes). I will also outline original ideas and re-sults of my work, along with important results inthe literature on this topic, to give an idea on howto prove this conjecture.

4.10. Graded Steinberg algebras and theirrepresentationsHuanhuan Li (Western Sydney University)15:00 Fri 15 December 2017 – W5A 101Dr Huanhuan li

We study the category of left unital graded mod-ules over the Steinberg algebra of a graded ampleHausdorff groupoid. We show that this categoryis isomorphic to the category of unital left mod-ules over the Steinberg algebra of the skew-prod-uct groupoid arising from the grading. To do this,we show that the Steinberg algebra of the skewproduct is graded isomorphic to a natural gener-alisation of the the Cohen–Montgomery smashproduct of the Steinberg algebra of the underly-ing groupoid with the grading group. This is jointwork with Pere Ara, RoozbehHazrat, Aidan Sims.

4.11. Presheaves over join restriction categoriesDaniel Lin (Macquarie University)17:00 Wed 13 December 2017 – W5A 101Mr Daniel Lin

Restriction categories were first introduced in theearly 1990s and later studied in the early 2000sas a means of generalising the notion of a partialmap category; the idea being to capture the par-tiality of eachmap through a corresponding idem-potent on its domain, called a restriction idem-potent. As it turns out, the hom-sets of any re-striction category has a natural partial ordering,and this, together with the notion of compatibil-ity, gave rise to the notion of a join restriction cat-egory.In this talk, we shall see that every join restrictioncategorymay be freely completed to a cocompletejoin restriction category, given by the partial mapcategory of sheaves on some site. However, weshall also see that every join restriction categoryhas a free cocompletion equivalent to this partialmap category of sheaves. This equivalent cate-gory takes a simpler form, with join restrictionpresheaves as its objects.

74


4.12. Mahavier limitsYuki Maehara (Macquarie University)11:30 Thu 14 December 2017 – W5A 101Mr Yuki Maehara

Sequential limits have long been valued by con-tinuum theorists (here ‘continuum’ means ‘com-pact, connected Hausdorff space’) as a usefultool to construct/describe complicated spaces interms of much simpler ones. When viewed assuch a tool, however, the usual notion of limitcan sometimes be too restrictive. They thus intro-duced the notion of Mahavier limit in the 2000s,where the continuous maps in the diagram are re-placed by upper semi-continuous, closed set-val-ued functions.This talk will be based on my honours thesis, inwhich I characterised Mahavier limits by a cer-tain universal property that looks somewhat sim-ilar to the definition of oplax limits in 2-categorytheory. I will also discuss some of my recent find-ings such as how Mahavier limits can be seen asenriched weighted limits.

4.13. A functorial approach to classifying manifoldsCsaba Nagy (The University of Melbourne)16:30 Tue 12 December 2017 – W5A 101Mr Csaba Nagy

The aim of this talk is to show how basic conceptsof category theory can be used in the classifica-tion of smooth manifolds.We consider smooth simply-connected n-manif-olds M with ([n/2]−1)-skeleton a given CW-com-plex K and H[n/2](M) = 0. These manifolds forma finitely generated abelian group Θn(K ), and itcan be shown that Θn is a functor from the cat-egory of CW-complexes to groups. Computationof Θn(K ) relies on (among other things) a gener-alization of Haefliger’s exact sequence involvinggroups of links, which also turns out to be natu-ral in K . As an example I will present the compu-tation of Θ8(K ) in the case when K is a wedge of2-spheres. If time permits I will also talk aboutthe role of Θn(K ) in the classification of a largerclass of manifolds.

4.14. Presheaf models for infinity modular operadsMarcy Robertson (The University of Melbourne)14:30 Wed 13 December 2017 – W5A 101Dr Marcy Robertson

Getzler and Kapronov introduced the notion of amodular operad to encode the grafting of the sta-ble algebraic curves along boundary components.These objects have played a key role in the de-scription of BV-algebra structures in noncommu-tativity geometry and physics. Minor generaliza-tions of this theory have lead to the notion of com-

pact symmetric multicategories which play a rolein categorical versions of quantum theory.We wish to study a version of these objects wherecomposition and contraction are only defined upto (coherent) homotopy. To this end, we in-troduce an appropriate category of undirectedgraphs M, and identify subcategories of M-pre-sheaves which model the indicated behavior. Forset-valued presheaves, these are objects satisfy-ing an inner horn filling condition. For space-valued presheaves these are objects satisfying aSegal-type condition, which are also the fibrantobjects in a certain Quillen model structure.

4.15. The K -theory of loop spaces and ellipticcohomologyMatthew James Spong (The University ofMelbourne)16:00 Wed 13 December 2017 – W5A 101Mr Matthew James Spong

Let T be a torus. In 1994 Ian Grojnowski gave aconstruction of a T -equivariant elliptic cohomol-ogy theory associated to an elliptic curve over thecomplex numbers. However, as noted by Gro-jnowski himself, this construction is somewhatad hoc and unwieldy to work with. Let M be aT -space and LM the space of free loops in M , sothat there is an action of LT on LM , where LT isthe group of free loops in the torus. Based onwork of Nitya Kitchloo, we construct a versionof equivariant K -theory for LT -spaces, and showthat the LT -equivariant K -theory of LM is isomor-phic to Grojnowski’s theory on the T -space M .Since the loop space construction is motivated bythe idea of fields on a circle, this suggests a physi-cal interpretation of Grojnowski’s theory.

4.16. Real setsRoss Howard Street (Macquarie University)14:00 Tue 12 December 2017 – W5A 101Prof Ross Howard Street

After reviewing a universal characterization ofthe extended positive real numbers published byDenis Higgs in 1978, we define a category whichprovides an answer to the questions:

• what is a set with half an element?• what is a set with π elements?

That is, we categorify (or objectify) the monoid[0,∞] under addition. The category of theseextended positive real sets is equipped with acountable tensor product. We develop somewhatthe theory of categories with countable tensors;we call the commutative such categories seriesmonoidal. We may include some remarks on setshaving cardinalities in [−∞,∞].This is joint work with George Janelidze.

75


4.17. Generator notions in ∞-cosmologyDominic Verity (Macquarie University)16:00 Fri 15 December 2017 – W5A 101Prof Dominic Verity, Assoc Prof Emily Riehl

∞-Cosmoi provide a framework in which to de-velop the abstract category theory of various kindsof (∞,1)-categorical structures. In essence, an∞-cosmos is simply a finitely complete (∞,2)-cat-egory, although for expository reasons they areoften taken to be categories of fibrant objects en-riched in the Joyal model structure. This no-tion is general enough to immediately encompassmost of the common models of (∞,1)-categories;quasi-categories, complete Segal-spaces,Θ1-spac-es and such like. At the same time, it is power-ful enough to develop a theory of (co)cartesianfibrations, a calculus of two-sided modules (pro-functors), Yoneda’s lemma, theories of adjunc-tion and Kan extension and so forth. Indeed,much of this theory can be developed in the set-ting of the (strict, classical) homotopy 2-categoryobtained from the ∞-cosmos by applying the ho-motopy category construction to its hom-spaces.In this talk we briefly recap the cosmological ap-proach to the category theory of ∞-categoricalstructures and discuss how it encompasses fibredcategorical notions. This leads us naturally to thestudy of certain generating sets of “compact” ob-jects in an ∞-cosmos, a mechanism which allowsus to adapt certain fibrewise arguments into the∞-cosmos framework.

4.18. Computations in Bredon motivic cohomologyMircea Voineagu (University of New South Wales)15:00 Tue 12 December 2017 – W5A 101Dr Mircea Voineagu

We construct a category of Z/2-equivariant mo-tives and relate it with the Z/2-equivariant mo-tivic homotopy category. Bredon motivic coho-mology is represented in this category ofZ/2-equi-variant motives. We also identify weight 1 of Bre-don motivic cohomology of a point.

4.19. Universal properties of polynomials viadoctrinal Yoneda structuresCharles Walker (Macquarie University)14:30 Tue 12 December 2017 – W5A 101Mr Charles Walker

Given a category E with pullbacks, one may formthe bicategory of spans in E , denoted Span(E ).The universal properties satisfied by this con-struction, as established by Dawson, Paré, Pronkand Hermida, simply describe what data oneneeds in order to construct a homomorphism ofbicategories from this bicategory Span(E ) to an-other bicategory C .

In this talk, it is our primary goal to describean analogue of these results for the bicategory ofpolynomials, denoted Poly(E ), both with the sim-pler cartesian 2-cells, and the more complex gen-eral 2-cells between polynomials.However, we do not prove these results directly;indeed, it is the secondary goal of this talk to showhow one may avoid most of the coherence con-ditions which stem from the complicated natureof polynomial composition. This is to be donethrough the use of Yoneda structures. Our ap-proach will thus lead to a proof of the universalproperties of the polynomial construction, whilstavoiding many of the coherence conditions thatwould have appeared in a direct proof.

4.20. Algebraic elliptic cohomology and flopsYaping Yang (The University of Melbourne)17:30 Wed 13 December 2017 – W5A 101Marc Levine, Yaping Yang, Gufang Zhao

I will talk about the algebraic elliptic cohomologytheory coming from Krichever’s elliptic genus. Itis an oriented cohomology theory on smooth vari-eties over an arbitrary perfect field. We show thatin the algebraic cobordism ring with rational coef-ficients, the ideal generated by differences of clas-sical flops coincides with the kernel of Krichever’selliptic genus. This generalizes a theorem of To-taro in the complex analytic setting. I will also dis-cuss the convergence of the motivic Adams spec-tral sequence, which is relevant to the integralversion of the above theorem.This talk is based on my joint work with MarcLevine and Gufang Zhao.

76

5. Complex Analysis, Geometry

5.1. Cauchy problems for surfaces related toharmonic mapsDavid Brander (Technical University of Denmark)12:00 Thu 14 December 2017 – X5B 039Assoc Prof David Brander

It has been known since the 1990s that harmonicmaps from Riemannian or Lorentzian surfacesinto Symmetric spaces admit loop group gener-alizations of the classical Weierstrass represen-tation (Riemannian) or d’Alembert solution ofthe wave equation (Lorentzian). These allow oneto construct solutions to the various geometricproblems that are associated to harmonic maps.The utility of these representations is obstructedby the loss of geometric information in the loopgroup decomposition that relates the harmonicmap to the “Weierstrass" data. Recently, specialtypes of Weierstrass data have been introducedthat contain full geometric information along acurve. I will discuss applications of this techniqueto the construction of integrable surfaces, such asWillmore surfaces and surfaces of constant curva-ture.

5.2. Toroidal soap bubbles: constant meancurvature tori in S3 and R3

Emma Carberry (The University of Sydney)11:30 Thu 14 December 2017 – X5B 039Dr Emma Carberry

Constant mean curvature (CMC) tori in S3, R3 orH3 are in bijective correspondence with spectralcurve data, consisting of a hyperelliptic curve, aline bundle on this curve and some additionaldata, which in particular determines the rele-vant space form. This point of view is particu-larly relevant for considering moduli-space ques-tions, such as the prevalence of tori amongst CMCplanes and whether tori can be deformed. I willaddress these questions for the spherical and Eu-clidean cases, using Whitham deformations.

5.3. A criterion for the embedding of a3-dimensional CR structureMasoud Ganji (University of New England)16:00 Wed 13 December 2017 – X5B 039Gerd Schmalz, Masoud Ganji

For any 3-dimensional CR structure M we definea class of Lorentzian metrics on a real line bundleover M . This construction generalises the cele-brated Fefferman metrics. We show that M is re-alisable as an embedded CR-manifold if and onlyif there exists a representative of thosemetrics forwhich the complexified Ricci tensor vanishes onthe α-planes.This is a joint work with Gerd Schmalz.

5.4. Affinely flat algebraic groups and a conjectureof PopovWolfgang Globke (The University of Adelaide)16:00 Thu 14 December 2017 – X5B 039Dr Wolfgang Globke

A Lie group G admits a flat affine connection ifthere exists a linear representation on a vectorspace V such that G has an open orbit in V anddimG = dimV . Such a module is called an étalemodule. It is called super-étale if the stabilizer ofa point in the open orbit is trivial.In 2013 Popov proved that reductive algebraicgroups admitting super-étale modules are specialalgebraic groups in the sense of Serre. He furtherconjectured that a reductive group admitting a su-per-étale module is always isomorphic to a prod-uct of general linear groups. In light of previouslyavailable examples, one can conjecture more gen-erally that in such a group all simple factors areeither special linear groups or Sp2. We show thatthis is not the case by constructing a family of su-per-étale modules for groups with a factor Spn forarbitrary n ≥ 1. A similar construction provides afamily of étale modules for groups with a factorSOn , which shows that groups with étale moduleswith non-trivial stabilizer are not necessarily spe-cial.

5.5. The projective geometry of Sasaki–Einsteinstructures and their compactificationRod Gover (University of Auckland, NZ)14:00 Wed 13 December 2017 – X5B 039Prof Rod Gover

Sasaki geometry is often viewed as the odd dimen-sional analogue of Kaehler geometry. In partic-ular a Riemannian or pseudo-Riemannian man-ifold is Sasakian if its standard metric cone isKaehler or, respectively, pseudo-Kaehler. Weshow that there is a natural link between Sasakigeometry and projective differential geometry.The situation is particularly elegant for Sasaki–E-instein geometries and in this setting we use pro-jective geometry to provide the resolution of suchstructures into less rigid components. This isanalogous to usual picture of a Kaehler structure:a symplectic manifold equipped also with a com-patible complex structure; or as a complex man-ifold equipped with a suitable Hermitian metric;or finally as a Riemannian manifold with a com-plex structure that is compatible with the met-ric and parallel for the Levi–Civita connection.However the treatment of Sasaki geometry thisway is locally more interesting and involves the

77


projective Cartan or tractor connection. This en-ables us to describe a natural type of compactifi-cation of complete non-compact pseudo-Rieman-nian Sasakian geometries. The boundary is a Fef-ferman space that fibres over over a CRmanifold.This is joint work with Katharina Neusser andTravis Willse.

5.6. Using the Schottky–Klein prime function tocompute harmonic measure distribution functionsof a class of multiply connected planar domainsChristopher Green (Macquarie University)14:30 Tue 12 December 2017 – X5B 039Christopher C. Green, Marie A. Snipes, Lesley A. Ward

We will show how to construct explicit formulaefor the harmonic measure distribution functions,dubbed h-functions, of symmetric multiply con-nected slit domains whose boundaries consist ofan even number of colinear slits. With the defini-tion and interpretation of h-functions in mind forone of these multiply connected slit domains Ω

(refer to LesleyWard’s abstract for her talk in thisspecial session), we will employ the special func-tion theory of the Schottky–Klein prime functionω(ζ,α) and its associated constructive methods inconformal mapping to build explicit formulae forthe h-functions of domainsΩwith any finite evennumber of slits.This is joint work with Marie Snipes and LesleyWard, and generalises to domains of higher con-nectivity their results with Darren Crowdy in thecase of two slits.

5.7. The Donaldson–Narasimhan–SeshadriTheoremMarielle Ong (University of Queensland)15:00 Tue 12 December 2017 – X5B 039Mx Marielle Ong

In 1965, Narasimhan and Seshadri proved a cor-respondence between stable, degree 0 holomor-phic vector bundles over a compact Riemann sur-face X and unitary representations of the funda-mental group of X . Moreover, this theorem re-veals a profound relationship between the holo-morphic structure of the vector bundle and thetopology of the base manifold. Its proof involvedhighly sophisticated techniques from deforma-tion theory and algebraic geometry. In 1983, Don-aldson provided a much shorter, differential geo-metric proof by invoking basic Yang–Mills theoryof smooth unitary connections. In this talk, wewill discuss the statement of the Narasimhan–Se-shadri theorem and the techniques involved inDonaldson’s proof.

5.8. Lie groups contacto-morphic to nilpotent LiegroupsAlessandro Ottazzi (University of New South Wales)15:30 Thu 14 December 2017 – X5B 039Dr Alessandro Ottazzi

Consider a 3-dimensional connected and simplyconnected Lie group G endowed with a left-in-variant contact structure. When is G contac-tomorphic to the three dimensional Heisenberggroup? While in the three dimensional casemuchis known, we propose a criterium for left-invari-ant (generalised) contact structures on generalLie groups to be equivalent to a nilpotent one.Our method relies on Tanaka prolongation the-ory.This is a work in progress in collaboration with S.Nicolussi Golo.

5.9. Flat (2,3,5)-distributions and Chazy’sequationsMatthew Randall (None)16:00 Tue 12 December 2017 – X5B 039Dr Matthew Randall

In the theory of generic 2-plane fields on 5-man-ifolds, or (2,3,5)-distributions, the local equiva-lence problem was solved by Cartan who alsoconstructed the fundamental curvature invariant.For these distributions described by a single func-tion of the form F (q), the vanishing condition forthe curvature invariant is given by a 6th ordernonlinear ODE. Furthermore, An and Nurowskishowed that this ODE is the Legendre transformof the nonlinear ODE that appeared in Noth’s the-sis in 1904. We show that the 6th order ODE canbe reduced to a 3rd order nonlinear ODE that is ageneralised Chazy equation. The ODE in Noth’sthesis can similarly be reduced to another gen-eralised Chazy equation, which has its Chazy pa-rameter given by the reciprocal of the former. Asa consequence of solving the related generalisedChazy equations, we obtain additional examplesof flat (2,3,5)-distributions.This talk is based on work that is available atarXiv:1506.02473 and arXiv:1607.04961.

5.10. Homogeneous tube domains in higherdimensionsGerd Schmalz (University of New England)15:00 Wed 13 December 2017 – X5B 039Assoc Prof Gerd Schmalz

The study of homogeneous domains goes back toCartan, and much is known about such domainsthat admit a bounded realisation. We presentnew families of homogeneous domains, whichpossess affinely homogenous tubular boundaries.This is joint work with V. Ejov (Flinders Univer-sity) and A. Medvedev (SISSA Trieste).

78

https://arxiv.org/abs/1506.02473



5.11. Using the Schottky–Klein prime function tocompute the harmonic measure distributionfunction of a doubly connected planar domainLesley Ward (University of South Australia)14:00 Tue 12 December 2017 – X5B 039Assoc Prof Lesley Ward

Consider releasing a Brownian particle from abasepoint z0 in a planar domain Ω ⊂ C. What isthe chance, denoted hΩ,z0 (r ), that the particle’sfirst exit from Ω occurs within a fixed distancer > 0 of z0? The function of r suggested by thisquestion, denoted hΩ,z0 : [0,∞) → [0,1], is calledthe harmonic measure distribution function, orh-function, of Ω with respect to z0. We can thinkof the h-function as a signature that encodesthe geometry of the boundary of Ω. In the lan-guage of PDEs, the h-function can also be formu-lated in terms of a suitable Dirichlet problem onΩ. The h-function has been studied by Walden,Ward, Snipes, Barton and Betsakos among oth-ers. For simply connected domains Ω, the theoryof h-functions is now quite well developed, andin particular the h-function can often be explic-itly computed, making use of the Riemann map-ping theorem. However, until now, for multiplyconnected domains the theory of h-functions hasbeen almost entirely out of reach.It turns out that the theory of the Schottky–Kleinprime function, as recently developed by Crowdyand collaborators including Marshall and Green,can be applied here. I will describe joint workwith Darren Crowdy and Marie Snipes, showinghow the Schottky–Klein prime function ω(ζ,α) ofa concentric annulus allows us to compute explic-itly the h-function of a doubly connected slit do-main, for instance C \ ([0,1/3] ∪ [2/3,1]). This isthe first time that the h-function of any multi-ply connected domain has been computed explic-itly. This talk is linked to Christopher Green’stalk in this special session, which deals with theh-functions of slit domains of higher connectiv-ity.

79

6. Computational Mathematics

6.1. Systematic analysis of OEIS generatingfunctionsMichael Assis (The University of Newcastle)16:30 Wed 13 December 2017 – X5B 138Michael Assis

Given a sequence of integers, one would like tounderstand the pattern which generates the se-quence, as well as its asymptotics. If the se-quence is viewed as the coefficients of the seriesexpansion of a function, its generating function,many questions regarding the sequence can beanswered more easily. If the generating func-tion satisfies a linear ODE or a nonlinear alge-braic DE, the differential equation can be foundif enough terms in the sequence are given. In thistalk I’ll discuss my implementation in C of sucha search for ODEs, applications, and a systematicsearch of the entire Online Encyclopedia of Inte-ger Sequences (OEIS) for generating functions.

6.2. Convergence analysis of a family of ELLAMschemes for a fully coupled model of miscibledisplacement in porous mediaHanz Martin Cheng (Monash University)14:30 Tue 12 December 2017 – X5B 138Hanz Martin Cheng, Jerome Droniou, Kim-Ngan Le

Weanalyse the convergence of numerical schemesin the GDM (Gradient Discretisation Method)–ELLAM (Eulerian Lagrangian localised adjointmethod) framework for a strongly coupled el-liptic–parabolic PDE which models miscible dis-placement in porous media. These schemes in-clude, but are not limited to MFEM(Mixed FiniteElement)–ELLAM and HMM (Hybrid MimeticMixed)–ELLAM schemes. Existing analysis per-formed for the advection–diffusion component ofthis model usually consists of performing an op-erator splitting, and thus treated the advectiveand diffusive components of the PDE separately.Without accounting for diffusion, the maximumprinciple is accessible, and thus doing an analy-sis of ELLAM for FV schemes yields L∞ boundson the approximate solution. On the contrary,in the presence of diffusion, the maximum prin-ciple is not necessarily satisfied (even on rectan-gular grids, because of the anisotropy of the per-meability and the diffusion–dispersion tensors).In this paper, we present a complete analysis ofthe advection–diffusion PDE, only relying on es-timates that are expected from numerical meth-ods; that is, coercivity but not the maximum prin-ciple. Moreover, as opposed to existing literature,our analysis is performed only with weak regular-ity assumptions on the solution (which is mostlythe case in practice). The analysis performed in

this paper can also be carried over to other simi-lar models.

6.3. Nonlinearly preconditioned optimisationmethods for tensor decompositions andrecommendationHans De Sterck (Monash University)14:00 Wed 13 December 2017 – X5B 138Prof Hans De Sterck

This talk discusses nonlinear acceleration for it-erative optimization methods of alternating leastsquares (ALS) type applied to tensor decomposi-tions and matrix completion. Our approach ex-tends traditional linear preconditioning ideas tothe case of genuinely nonlinear preconditioning,where the preconditioning operation involves useof fully non-linear transformations. In this con-text, the ALS-type iterations can be used as non-linear preconditioners for preconditioned versionsof various types of traditional continuous optimi-sation methods, such as nonlinear conjugate gra-dients (NCG), LBFGS, non-linear GMRES, andNesterov’s method. Equivalently, we can say thatNCG, LBFGS, NGMRES or Nesterov are usedto accelerate ALS convergence. Numerical re-sults show that the resulting combined meth-ods perform much better than either stand-aloneALS or the stand-alone continuous optimisationmethods, offering substantial improvements interms of time-to-solution and robustness overstate-of-the-art methods. The methods are illus-trated for canonical tensor decompositions, forTucker tensor decompositions on manifolds, andfor recommendation problems in a parallel dataanalytics framework.

6.4. Designing high-order schemes for diffusionproblems on generic polytopal cellsJerome Droniou (Monash University)14:00 Tue 12 December 2017 – X5B 138Dr Jerome Droniou

Dealing with meshes presenting complex geome-tries has become essential in practical reservoirengineering applications (e.g., oil recovery, car-bon storage, etc.). Due to the various geophys-ical features encountered in underground reser-voirs, such as compacted rock layers, faults, etc.,the available meshes are not made of simple cellslike tetrahedra, and classical finite element meth-ods cannot be used to compute approximate solu-tion to models of interest.Over the past 10 years or so, various schemeshave been developed for diffusion problems, withthe objective to be applicable on meshes made ofgeneric polygonal/polyhedral cells. Most of these

80


schemes were initially low-order methods, but re-cently some high-order variants appeared in theliterature: Mimetic Finite Differences, Virtual El-ement Methods, Hybrid High-Order, . . . .In this talk, we will present a generic construc-tion of such high-order methods. The startingpoint is the identification, thanks to the gradi-ent discretisation method (GDM), of key featuresthat any scheme for diffusion problem should sat-isfy to be convergent. Based on these features,we will show how to design high-order schemes,whose unknowns are polynomials in the cell andon the faces of the mesh. This design is done intwo steps: construction, from these unknowns,of a consistent high-order gradient, and designof a stabilisation term to ensure that the result-ing scheme is well-posed and robust. This stabil-isation term is not uniquely designed; rather, weidentify generic properties that this term shouldsatisfy. Embedding this construction in the GDMenables off-the-shelve convergence results andanalysis tools to be applied to the resulting high--order method.

6.5. Optimal Monte Carlo integrationMartin Ehler (University of Vienna)16:00 Tue 12 December 2017 – X5B 138Dr Martin Ehler

The decay rate of Monte Carlo integration is usu-ally − 1

2 . However, re-weighting of random pointscan sometimes be used to improve the conver-gence order. We contribute theoretical and nu-merical results for Sobolev spaces on closed Rie-mannian manifolds and related spaces, where weverify that such re-weighting yields optimal ap-proximation rates up to a logarithmic factor.

6.6. Fractals and numerical linear algebraMarkus Hegland (Australian National University)16:00 Wed 13 December 2017 – X5B 138Prof Markus Hegland

Fractals are defined as fixed points of iteratedfunctions and fractal functions are functions forwhich the graph is a fractal. Here we will discussvectors which are obtained by sampling a fractalfunctions. These vectors can be described as fixedpoints of linear difference equations. In this talkwe will introduce these equations, discuss theirfixed points and applications to fractal compres-sion.This is joint work with my students and with M.Barnsley and P. Massopust.

Reference: Numerics and Fractals, M.Barnsley,M.H. and P.Massopust, Bull. Inst. Math., Acad.Sin., 9 (3), 2014, pp. 389–439.

6.7. A new minimisation principle for the Poissonequation leading to a flexible finite-elementapproachBishnu Lamichhane (The University of Newcastle)15:00 Tue 12 December 2017 – X5B 138Dr Bishnu Lamichhane

We introduce a new minimisation principle forthe Poisson equation using two variables: the so-lution and the gradient of the solution. This prin-ciple allows us to use any conforming finite ele-ment spaces for both variables, where the finiteelement spaces do not need to satisfy a so-calledinf–sup condition. A numerical example demon-strates the superiority of the approach.

6.8. Sparse isotropic regularisation for sphericalharmonic representations of random fieldsQuoc Thong Le Gia (Univ. of New South Wales)16:30 Tue 12 December 2017 – X5B 138Dr Quoc Thong Le Gia

We discuss sparse isotropic regularisation for arandom field on the unit sphere in R3, where thefield is expanded in terms of a spherical harmonicbasis. A key feature is that the norm used inthe regularisation term, a hybrid of the ℓ1 andℓ2-norms, is chosen so that the regularisation pre-serves isotropy, in the sense that if the observedrandom field is strongly isotropic then so too isthe regularised field. The Pareto efficient frontierdisplays the trade-off between the sparsity-induc-ing norm and the data discrepancy term, in or-der to help in the choice of a suitable regularisa-tion parameter. A numerical example using Cos-mic Microwave Background (CMB) data is con-sidered in detail. In particular, the numerical re-sults explore the trade-off between regularisationand discrepancy, and show that substantial spar-sity can be achieved alone with resulting small L2

error.This is a joint work with Yu Guang Wang (LaTrobe), Ian Sloan (UNSW) and Rob Womersley(UNSW).

6.9. On the generation of random fieldsIan Sloan (University of New South Wales)15:00 Wed 13 December 2017 – X5B 138Ian Sloan, Ivan Graham (Univ. Bath), Frances Kuo(UNSW), Dirk Nuyens (KU Leuven), Robert Sceichl(Univ. Bath)

The generation of Gaussian random fields is achallenging problem in computationalmathemat-ics, especially when the correlation length is shortand the field is rough. The traditional approachis to make use of a truncated Karhunen–Loeve(KL) expansion, but the generation of even a sin-gle realisation of the field may then be effectivelybeyond reach (especially for 3-dimensional do-mains) if the need is to obtain an expected L2

error of say 5%, because of the potentially very81


slow convergence of the KL expansion. In thistalk a completely different approach is used, inwhich the field is initially generated at a regulargrid on a rectangle that contains the physical do-main, and then possibly interpolated to obtainthe field at other points. In that case there is noneed for any truncation, rather the main prob-lem becomes the factorisation of a large densematrix. For this we use circulant embedding andFFT ideas.We note that the use of IBC ideas to study therandom field generation problem, for example tofind the standard information cost of obtainingan expected L2 error, has as far as we know notbeen studied. It might be interesting to do so,but with the reservation that in the grid-based ap-proach, as above, the main computational issuesconcern not the information cost but rather thefactorisation of large matrices.

82

7. Dynamical Systems/Ergodic Theory

7.1. Optimal linear response for Markov chainsFadi Antown (University of New South Wales)17:00 Wed 13 December 2017 – W5A 201Mr Fadi Antown

The linear response of a dynamical system refersto changes to properties of the systemwhen smallexternal perturbations are applied. Much of thetheoretical focus on linear response has been onestablishing that for various classes of systems,there is a principle of linear response. Our fo-cus in this work is in a much less studied di-rection, namely, determining those perturbationsthat lead to ’maximal’ response. The practical im-plication of optimizing response is that it allowsthe identification of the perturbations that pro-voke a maximal system response. In the finite-s-tate Markov chains setting, we consider selectingthe perturbations that (i) maximise the linear re-sponse of the equilibrium distribution of the sys-tem, (ii) maximise the expectation of the linearresponse with respect to an observable, and (iii)maximise the linear response of the rate of con-vergence of the system to the equilibrium distri-bution. Furthermore, application of the theory tovarious dynamics will be given.This is a joint work with Davor Dragičević andGary Froyland.

7.2. Stochastic sensitivity: a computable measurefor uncertainty of deterministic trajectoriesSanjeeva Balasuriya (The University of Adelaide)15:00 Wed 13 December 2017 – W5A 201Sanjeeva Balasuriya

Uncertainties in velocity data are often ignoredwhen computing Lagrangian particle trajectoriesof fluids. Modelling these as noise in the veloc-ity field leads to a random deviation from eachtrajectory. This deviation is examined within thecontext of small (multiplicative) stochasticity ap-plying to a two-dimensional unsteady flow oper-ating over a finite-time. It is proven that the devi-ation’s expectation is zero, and that its variance isbounded by a quantity defined to be the stochas-tic sensitivity S2. The S2 field provides a measureof uncertainty for trajectories beginning at eachlocation. An easily computable expression for S2

is derived. Monte Carlo simulations are used on amodel flow to quantitatively validate the usage ofS2, and moreover demonstrate the significant po-tential of S2 as a new tool for identifying coherentstructures in flows even when the velocity is onlyavailable as data.

7.3. Stability of Statistical Properties for someDynamical SystemsHarry Crimmins (University of New South Wales)16:30 Wed 13 December 2017 – W5A 201Mr Harry Crimmins

For sufficiently chaotic dynamical systems the ex-istence of statistical laws, such as a Central LimitTheorem or Large Deviation Principle, can be ob-tained by examining the spectral properties ofan analytically ‘twisted’ transfer operator. It isnatural to ask if these statistical properties arerobust to perturbations in the dynamics, whichmay arise e.g. via the idealisation of a physi-cal system, or the numerical approximation of anabstract one. We extend the methods for prov-ing the stability of the spectrum for ‘untwisted’transfer operators to the twisted case, and con-sequently prove the stability of various statisticalproperties with respect to general perturbations.As an application, we use the theory developedto compute the variance and rate function associ-ated with the dynamics of a piecewise expandingmap in one-dimension.

7.4. Lattice structure detection and refinementDMD algorithmBojan Crnkovic (University of Rijeka)12:00 Thu 14 December 2017 – W5A 201Mr Bojan Crnkovic

Dynamic Mode Decomposition (DMD) is a classof numerical algorithms for computation of theeigenvalues and eigenfunctions of the Koopmanoperator. The Koopman eigenvalues form a lat-tice structure that depends on the principal gen-erating eigenvalues. This can also be observedin numerical approximations of Koopman eigen-values using some DMD algorithm but the nu-merical error is present and obtained result hasan proximate lattice structure. We will presenta modification of a DDMD-RRR algorithm thatpromotes the lattice structure and reduces the nu-merical error by Least Squares Minimisation ofthe Wasserstein distance form the ideal lattice.The algorithm can be used to automatically detectthe lattice structure, principal generators and cancorrect the errors with the application of Ritz pairrefinement of targeted eigenvalues in the lattice.

talks continued on next page

83

7. Dynamical Systems/Ergodic Theory

7.5. Stability of doubly periodic shear flow of theEuler equationsHolger Dullin (The University of Sydney)14:30 Wed 13 December 2017 – W5A 201Dr Holger Dullin

The Euler fluid equations allow for explicit so-lutions called shear flows. For a doubly peri-odic shear flow the linearisation about this solu-tion leads to a complex Hill’s equation. Usingthe Hill determinant we explicitly construct theEvans function whose zeroes give the location ofthe point spectrum of the linearised operator. Us-ing the Evans function we prove a theorem thatgives the exact number of eigenvalues in the pointspectrum off the imaginary axis. This result hadbeen conjectured, but it was difficult to prove be-cause some of these eigenvalues are off the real(and the imaginary) axis. We overcome thesedifficulties by using bifurcation theory of eigen-values based on the Evans function/Hill determi-nant.

7.6. Short trajectories of integrable billiardsMilena Radnovic (The University of Sydney)11:30 Thu 14 December 2017 – W5A 201Dr Milena Radnovic

We classify short periodic trajectories of billiardswithin ellipsoids.

7.7. Trimmed sums for observables on the doublingmapTanja Schindler (Australian National University)14:00 Wed 13 December 2017 – W5A 201Alan Haynes, Tanja Schindler

For measure preserving ergodic dynamical sys-tems there is no strong law of large numbers ifthe expectation has infinite mean. In some casesit is possible to obtain a generalised strong law oflarge numbers by deleting the maximum entry,for examples for the digits of a continued frac-tion expansion. Haynes proved that there is nostrong law of large numbers by only deleting afinite number of terms (light trimming) on iter-ations of the doubling map with observable 1/x,even though this would be possible if one con-sidered independent random variables with thesame distribution function. Based on this resultHaynes and myself have shown that a strong lawdoes still hold in this case depending if for thenumber of deleted terms bn of the sum of the firstn entries it holds that limn→∞ bn/logloglogn =∞or not.This is joint work with Alan Haynes.

7.8. Combinatorial model for the dynamics ofbirational maps over finite fieldsTimothy Siu (University of New South Wales)17:30 Wed 13 December 2017 – W5A 201Mr Timothy Siu

Consider a random permutation of N points rep-resented as a functional graph (with vertices anddirected edges). Suppose we (randomly) chop offone of the edges. We will be left with one lesscycle, and a ‘string’. Repeat this process of chop-ping edges a total of s times, we will end up with sstrings. How many cycles will we be left with?What is the proportion of space left in cycles?What is the distribution of the strings? We willsee that playing this game is a good model for thedynamics of birational maps.

7.9. Spectral Galerkin methods for transferoperators in uniformly expanding dynamicsJohn Wormell (The University of Sydney)16:00 Wed 13 December 2017 – W5A 201John P. Wormell

We present a spectral method for numericallyestimating statistical properties of uniformly-ex-panding Markov maps. We prove bounds on en-tries of the Fourier and Chebyshev basis coeffi-cient matrices of transfer operators, and showthat statistical properties estimated using finite-dimensional restrictions of these matrices conse-quently converge at classical spectral rates: ex-ponentially for analytic maps, and polynomiallyfor differentiable maps. Unlike the Ulam-basedapproaches, this convergence is found to occurwithin a single space, enabling easily justified rig-orous numerical estimation of any quantity de-rived from the transfer operator, e.g. linear re-sponse.Our results suggest algorithms to numericallyestimate statistical properties of Markov maps.We demonstrate an adaptive implementation ofthese algorithmsmaking use of our software pack-age, Poltergeist.jl. We show that the algorithmcan, in only a fraction of a second on a personalcomputer, produce estimates of many statisticalproperties accurate to 14 decimal places.

84

8. Education

8.1. From where do our students come?Lyn Armstrong (Western Sydney University)16:00 Fri 15 December 2017 – W5C 220Ms Lyn Armstrong, Mr Donald Shearman

It is well known that themathematics backgroundof students entering university to study mathe-matics and statistics subjects has declined in re-cent years. We have known for some time thatat our institution over 50% of students study-ing a first-year mathematics or statistics subjecthave no senior high school mathematics. Ourassumption was that this high proportion wasthe result of the non-current school leaver entrygroup and that this proportion varied for differ-ent disciplines. Using data from 2015 and 2016(four semesters) for 14 subjects we investigatedthe profile of the students in terms of their math-ematics background, whether they were a currentschool leaver, the level of Mathematics EducationSupport Hub (MESH) workshop support they un-dertook and their final mark in the subject. Fur-ther exploration of these characteristics focusedon four first-year subjects; Statistics for Business,Mathematics for Engineers Preliminary, Mathe-matics for Engineers 1 and Mathematics for Engi-neers 2. Our assumption that the high proportionof students having no senior mathematics wasa result of non-current school leaver entry wasfound to be false. In fact, a high proportion of stu-dents entering directly from school don’t have ba-sic senior high school mathematics. This propor-tion shows little variation between business andengineering. In the subjects under investigation,the profile of students taking up the support op-portunities provided by the university, and howthese impact on final grades, will be discussed.Analysis of this profile raises questions about theoptimal focus for student support in order to pro-vide maximum impact.

8.2. Tertiary students’ perceptions of assessmentsof, and attitudes to, MathematicsHarkirat Dhindsa (Macquarie University)16:00 Wed 13 December 2017 – W5C 220Dr Harkirat Dhindsa, AP Leanne Rylands

The aim of this study was to investigate first-yearstudents’ perception of mathematics assessmentand their attitudes towards mathematics. A pa-per survey consisting of six scales (Congruence;Authenticity; Transparency; Diversity; StudentConsultation – Actual; Student Consultation –Expected) and an attitude scale was adminis-tered to 98 first-year students (mean age 20.3years; 23.5% female and 76.5% male) enrolled in

a discrete mathematics subject at Western Syd-ney University, NSW, Australia. The alpha relia-bility and discriminant validity coefficients valuesrevealed that the overall instrument and scaleswere valid and reliable. The students perceivedthat the subject assessment was often congruentwith planned objectives, transparent and suitedto the students with diverse ability. They werealso satisfied with the actual level of their con-sultation in deciding assessment tasks. Howeverthey believed that their assessment covered theapplication questions (Authenticity) sometimesonly. The mean scores for male (2.41) and fe-male (1.97) students for authenticity scale weresignificantly different. Their attitudes towardsmathematics were positive and correlated posi-tively and significantly with authenticity and di-versity of assessment. Further research on how toimprove students’ attitudes towardsmathematicsby improving their perceptions towards mathe-matics assessment is recommended.

8.3. Bridging the gap for inclusive transitionRoland Dodd (Central Queensland University)14:00 Wed 13 December 2017 – W5C 220Dr Roland Dodd, Antony Dekkers, Prof William Guo

The mathematics capability of students, enteringCQUs engineering program, has a very large vari-ation. Students with weak numeracy and algebraskills struggle in their first year engineeringmath-ematics studies. Consequently this places greatpressure upon the MATH11218 Applied Mathe-matics unit that engineering students study astheir first engineering mathematics unit. Overthe very long term attrition/failure rates havebroadly been around 25–30 percent in this unit.In the Term 1, 2014 offering this exceeded 40 per-cent necessitating the need for an alternative ap-proach and action to help address this issue.A unique approach, to help address this issue,was to encourage students to self-assess theirmathematics competency, by means of online di-agnostic testing, before self-electing the appropri-ate level of mathematics study. An online diag-nostic test was introduced into the engineeringprogram along with a MATH11247 FoundationMathematics unit to further support the mainMATH11218 unit offering.This paper discusses the motivating factors forthe introduction and delivery of a foundationmathematics unit for improved retention and pro-gression of the first-year engineering students atCQU since introduction in 2016. The resultsof student outcomes are presented with a focusupon a comparison of two cohorts of students

85

8. Education

across 2016 and 2017. One cohort elects to under-take a foundation mathematics unit prior to stan-dard first-year engineering mathematics studiesand the other cohort electing not to undertakethis enrolment.

8.4. Improving retention and progression byrescheduling engineering mathematics unitsWilliam Guo (Central Queensland University)15:00 Wed 13 December 2017 – W5C 220Prof William Guo, Dr Roland Dodd, Dr Yucang Wang

At Central Queensland University, students en-rolled in Bachelor of Engineering are predom-inately from regional areas, and roughly havea 60–40 percent split between on-campus anddistance cohorts. The continuing mining down-turn in regional areas, for the past several years,has deterredmany potential students from choos-ing engineering as their preferred career. Thisdownturn saw gradual shifts in engineering stu-dent intake from 2012. Parallel to this, the en-gineering mathematics units had kept the sameapproach and structure in their delivery for morethan a decade without adapting to the changes instudent cohorts. The effect of such detachmentwas accumulated to a point where 47 percent ofthe first-year students failed the compulsory firstyear mathematics units in 2014, more than 15percent higher than any prior year. Such inci-dent forced the then new mathematics team atthe time to promptly address this issue with ap-proaches that have continued to evolve in recentyears. A number of measures were proposed andimplemented gradually since 2015, which has re-sulted in positive outcomes and impact. This pre-sentation focuses on how rescheduling engineer-ing mathematics units has improved retentionand progression of the first-year engineering stu-dents at CQU since 2015.

8.5. Assessment: a multi-pronged tool to motivateand engageDilshara Hill (Macquarie University)11:30 Thu 14 December 2017 – W5C 220Frank Valckenborgh, Dilshara Hill

Engagement and motivation of students study-ing mathematics at university level is an increas-ing and arguably rather complicated problem, inparticular for the larger first-year service units.Together with frequently occurring weak numer-acy skills at the start of their tertiary studieswe see these students struggling in their succes-sive mathematics units, and later physics andengineering units depending on those. Further-more, of those students who manage to pass,there are somewho appear unable to retain learntknowledge from their previous units when they

progress with their studies and so they continueto struggle.In this presentation we propose a method tohelp address some of these issues— the use ofcarefully informed short in-tutorial quizzes as anadditional form of assessment. Indeed, an im-portant aspect of assessment is that it providesthe students with timely and accurate feedbackon their advancement in the subject, and guid-ance on what is required to maintain satisfactoryprogress. This distinct form of assessment whichwe have developed is thoughtfully designed tomotivate and engage students, and we also seethat it overcomes some of the traditional prob-lems associated with various other forms of as-sessment. We will discuss the particular processused and present an evaluation of this form of as-sessment.

8.6. Examining students’ interaction withmathematics consultation using Text MiningGizem Intepe (Western Sydney University)15:30 Thu 14 December 2017 – W5C 220Dr Gizem Intepe

There has always been a requirement for learn-ing support in mathematics and statistics in ter-tiary education and the need for support in uni-versities in Australia is increasing rapidly. Math-ematics Education Support Hub at Western Syd-ney University provides support to students atthe libraries in all campuses to increase their un-derstanding, knowledge and abilities in numer-acy, mathematics, statistics and assists all stu-dents regardless of program whether undergrad-uate or not. Team collects data on every consul-tation from the very beginning. This study ex-amines tutor’s explanations about the students’query on every consultation between 2013 and2017 to work out the topics that students strug-gle the most and seek help during their degree.Useful information from the documents are ex-tracted and processed by R as a text mining tool.Research showed that, interestingly but not sur-prisingly, the main topics where students seekhelp appears to be almost the same for all levelsof study.

8.7. Impact and sustainability of across-disciplinary mathematics support programDeborah Jackson (La Trobe University)14:30 Tue 12 December 2017 – W5C 220Dr Deborah Jackson

‘Mathematics support’ can materialize in manyforms. A conglomeration of interventions thathelp and guide students to a better understand-ing and appreciation of mathematics, and its

86

8. Education

links to their subject, are gathered together un-der this one title. However, ‘support’ can vary im-mensely. It can be the ‘help session’, or ‘onlinematerials for perusal and action’, or ‘tests andfollow-up learning’, or the ‘bridging course’, orthe ‘workshop’, etc. How do we know, and howcan we measure, whether the form of support wechoose improves students’ outcomes, their reten-tion, mathematical skills and confidence? Math-ematics support should not only aim to ‘fill inthe gaps’ of a student’s knowledge and skill, butshould also aim to eke out the underpinning lackof skill holding a student back, and act upon it.With students at different stages in their skillsdevelopment, support should be flexible, individ-ual, adjust to individual needs, and engage stu-dents well. It should also motivate and encour-age. The Maths Skills Program at La Trobe’s Col-lege of Science, Health and Engineering, has beenrunning since 2010. It has not only sustained itsexistence over those years, it has expanded andimproved to become a vital support resource formany subjects. It is a set of programs, each de-signed for a particular subject or discipline, all de-veloped under the one model. This presentationlooks at the program’s sustainability over 14 iter-ations (7 years), and explores its impact on stu-dents.

8.8. Investigating students’ perceptions ofgraduate learning outcomes in mathematicsDeborah King (The University of Melbourne)12:00 Thu 14 December 2017 – W5C 220Assoc Prof Deborah King (UoM), Prof CristinaVarsavsky (Monash), Dr Kelly Matthews (UQ), AssocProf Shaun Belward (JCU)

In this talk we will report on findings of a recentstudy that explores the perceptions mathematicsstudents have of the knowledge and skills theydevelop throughout their programme of study.The study addresses current concerns about theemployability of mathematics graduates by con-tributing much needed insight into how degreeprograms are developing broader learning out-comes for studentsmajoring inmathematics. Spe-cifically, the study asked students who were closeto completing a mathematics major (n = 144)from four Australian institutions, to indicate theextent to which opportunities to develop math-ematical knowledge along with more transfer-able skills (communication to experts and non-experts, writing, working in teams and thinkingethically) were included and assessed in their ma-jor. Their perceptions were compared to the im-portance they assign to each of these outcomes,their own assessment of improvement during theprogram, and their confidence in applying theseoutcomes

8.9. Teaching wirelessly with a pen-enabled tabletBirgit Loch (La Trobe University)14:30 Wed 13 December 2017 – W5C 220Prof Birgit Loch

In this presentation, I will discuss the benefits ofbeing able to walk around the classroomwhile ex-plaining mathematics in handwriting on a tablet,and demonstrate a few options to set up wire-less projection from a pen-enabled tablet. Wire-less teaching removes the barrier between the lec-turer and the students, particularly in large lec-ture theatres, and students find they are more ac-tively participating if the lecturer comes to them.While I will focus on tablet PC (e.g. Surface Pro)and iPad (Pro), similar approaches are possiblewith other pen-enabled devices. The audience isinvited to bring their own pen-enabled devices.

8.10. Third-year undergraduate projects inmathematics education: analysing studentattitudes, student reflections, and predictingstudent performanceHeather Lonsdale (Curtin University)16:00 Thu 14 December 2017 – W5C 220Heather Lonsdale, Matthew Allen, Christel Ernest, KaiStriega

In this talk I will present a selection of differ-ent projects undertaken by third-year students,as a capstone research project in their undergrad-uate mathematics degree. This is a semester-long project which gave them a chance to use themathematics and statistics knowledge acquiredthroughout their degree and embed it into a con-text. For the students whose work I will present(Christel, Matt and Kai), the context was tertiarymathematics education.Christel analysed student attitudes to mathemat-ics and learning activities, looking at how thesevaried with the course of study and the gen-der of the student. Matt conducted qualitativedata analysis of student reflections on oral assess-ment, finding correlations between different re-flective themes and the final grade. Kai inves-tigated a variety of collaborative filtering algo-rithms, and applied these to predict student per-formance and make recommendations on selec-tion of mathematics units.

8.11. Lessons from problem solving in ancientChinaTerence Mills (Deakin University)16:30 Tue 12 December 2017 – W5C 220T.M. Mills

Problem solving has enjoyed a prominent placein mathematics education for centuries.TheNine Chapters of the Mathematical Art is ananonymousmathematical work that originated in

87

8. Education

China more than 2000 years ago. This work con-sists of 246 problems which have been organisedinto nine sections or chapters. It is a major land-mark in the history of mathematics in China. AnEnglish translation was produced by Kangshen,Crossley, and Lun in 1999. The main aim of thispresentation is to offer an overview of this bookby discussing a selection of problems from thetext.What can we learn about teaching mathematicsthrough problem solving from the Nine Chap-ters? A stated aim of the Australian Curriculum isto promote intercultural understanding as a gen-eral capability in our students: “In the AustralianCurriculum, students develop intercultural un-derstanding as they learn to value their own cul-tures, languages and beliefs, and those of others”(ACARA, 2016). Clearly this can be done throughsubjects such as languages, history, music, poli-tics, and art.Mathematics can also play its part in this nationalendeavour. Studying mathematics from othercultures and civilisations is another way to in-crease the interest of our students in those cul-tures. The study of mathematics, especially an-cient mathematics, is an avenue to promoting un-derstanding of those cultures.For example, it has often been debated whetherPythagoras’ theorem was established in ancientChina before or after it was established in an-cient Greece. Instead our students should be im-pressed that this result flowered, seemingly in-dependently, in these ancient cultures. This en-genders interest in—and respect for— those cul-tures.The Nine Chapters provides mathematics stu-dents with wonderful insight into the culture ofancient China.

8.12. Communities of practice acrosspre-undergraduate and undergraduate mathematicsJudy-anne Osborn (The University of Newcastle)14:30 Fri 15 December 2017 – W5C 220Dr Judy-anne Osborn

I report on research at the University of New-castle, designed to understand and strengthen acommunity of practice (and praxis!) spanningmathematicians and statisticians across the Uni-versity teaching students from their entry throughEnabling Programs through to Research HigherDegrees.

8.13. Employing cultural plasticity in STEMworkshops for prospective indigenous Engineeringand Information Technology studentsCollin Grant Phillips (The University of Sydney)16:30 Fri 15 December 2017 – W5C 220Dr Collin Grant Phillips

Indigenous school students from the ACT, NSW,QLD, SA and TAS were selected and invited toattend a week of intensive seminars, activitiesand workshops called the STEM (Science, Tech-nology, Engineering and Mathematics) Spring Work-shop. The STEM spring workshops were con-ducted by the Faculty of Engineering and Infor-mation Technology at the University of Sydney(UoS) to help prospective indigenous STEM stu-dents to learn more about STEM studies and ac-tivities. The Mathematics Learning Centre at theUoS conducted the mathematics sessions for theSTEMworkshop. We will outline some of the pro-cesses used to design the mathematics sessions.These include assessing and analysing the stu-dents’ mathematical backgrounds, abilities, con-fidences and enthusiasm for mathematics andSTEM subjects. We will also describe how theteaching curriculum and teaching material weredeveloped. Finally, we will present and discussthe responses from the students.As a matter of course, the Mathematics Learn-ing Centre at the UoS supports a culturally di-verse student cohort. Often, it’s not that a stu-dent can’t do the maths it is just they think aboutit differently. The talk outlines how the Math-ematics Learning Centre is adaptive to studentneeds and backgrounds including cultural back-grounds, is responsive to students’ specificmodesof thought, and remains agile in continuouslymodifying teaching techniques and technology toadvance student (and teacher) understanding. Assuch, we employ cultural plasticity to provide ef-fective support for students.

8.14. Engagement-focused learning in largeservice-level coursesRebecca Smith (The University of Newcastle)15:00 Tue 12 December 2017 – W5C 220Miss Rebecca Smith; Dr Mumtaz Hussain

Wewill explore students’ attitudes towardsMath-ematics in a tertiary education setting from apractitioner’s perspective. Although there areno easy solutions to the problems encounteredby students and educators alike, we observedthat through some understanding and acknowl-edgment, new strategies and approaches can beadapted from existing ones which can aid all. Thestrategies we will present were successfully tri-alled at an Australian regional University within aPrepartorial level Mathematics service course in2015 and 2016.

88

8. Education

8.15. No, Professor: you don’t need to reverse theorder of integration!Chris Tisdell (University of New South Wales)16:00 Tue 12 December 2017 – W5C 220Dr Chris Tisdell

Calculus books are full of worked examples wherethe order of integration is reversed in double in-tegrals. Moreover, the narrative associated withthese examples is that the reversal is necessary inorder to solve the problem.I illustrate that themethod of integration by partscan be directly applied to many of the classic ped-agogical problems in the literature concerningdouble integrals, without taking the well-wornsteps associated with reversing the order of inte-gration.I advocate for integration by parts to be a part ofthe pedagogical conversation in the learning andteaching of double integral methods; and call formore debate around its use in the learning andteaching of other areas of mathematics. Finally, Iemphasise the need for critical approaches in thepedagogy of mathematics more broadly.

8.16. Linking mathematical theories tocomputation and modelling for engineeringapplicationsYucang Wang (Central Queensland University)14:00 Tue 12 December 2017 – W5C 220Dr Yucang Wang, Prof William Guo, Dr Roland Dodd

Most engineering and scientific problems are toocomplicated to be solved using analytical tech-niques. An alternative approach is the use ofnumerical procedures to obtain approximationsto the exact solutions. Computational modellingis an integral skill set in problem solving forengineering graduates in the current technolo-gy-driven focus of world industries. To meetthis need, in 2015 the engineering team at Cen-tral Queensland University decided to develop anew unit to provide engineering students with anew opportunity in expanding their theoreticalmathematics knowledge into the computationaldomain. The new unit, Applied ComputationalModelling (MATH12225), was first offered in thesecond term of 2016. This unit uses MATLAB todeliver computational and modelling techniquesto bridge the mathematical theories, gained fromstudents’ priormathematics study, with real prac-tices required in engineering disciplinary units inthe 3rd and 4th years.This presentation shares our effort in creating,delivering, and improving this new unit and stu-dents’ learning outcomes and feedback on manyissues ranging from the basic programming con-cepts to implementing complicated algorithms tosolve real-world problems during their studies.

8.17. LATEX + First Year Calculus = ???Thomas Wong (The University of Melbourne)15:00 Fri 15 December 2017 – W5C 220Dr Thomas Wong

Assignments form a major component of contin-uous assessment in first year calculus. These as-signments are generally hand-written with vary-ing degrees of comprehensibility in terms of bothcontent and aesthetics.During my time as a graduate student instructor,I explicitly targeted this issue by implementinga LATEX typesetting requirement for assignmentsubmissions. In this talk, I will present my im-plementation through a sample of the materialsfrom the subject.

89


9.1. KMS states on the C∗-algebras of Fell bundlesover groupoidsZahra Afsar (University of Wollongong)16:00 Fri 15 December 2017 – C5A 226Dr Zahra Afsar

We consider fibre-wise singly generated Fell bun-dles over étale groupoids. Given a continuous re-al-valued 1-cocycle on the groupoid, there is a nat-ural dynamics on the cross-sectional algebra ofthe Fell bundle.In this talk, which is a joint work with AidanSims, I will talk about the Kubo–Martin–Sch-winger equilibrium states (KMS states) for theabove dynamics. Following work of Neshveyevon equilibrium states on groupoid C∗-algebras,we describe the equilibrium states of the cross-sectional algebra in terms of measurable fields oftraces on the C∗-algebras of the restrictions ofthe Fell bundle to the isotropy subgroups of thegroupoid.

9.2. Isomorphisms of AC(σ) spacesShaymaa Shawkat Kadhim Al-shakarchi(University of New South Wales)16:00 Tue 12 December 2017 – C5A 226Mrs Shaymaa Shawkat Kadhim Al-shakarchi

The classical Banach–Stone Theorem for spacesC (K ) of continuous functions is important in de-veloping the spectral theory of self-adjoint andnormal operators on a Hilbert space. In 2005,Doust and Ashton introduced algebras AC(σ) ofabsolutely continuous functions defined on a com-pact subset of the complex plane, and asked whe-ther there was a similar link for these algebrasbetween the properties of the domain σ and theBanach algebra properties of the function space.In 2015 Doust and Leinert showed that if AC(σ1)is algebra isomorphic to AC(σ2) then si g ma1 andσ2 must be homeomorphic, and they produced anexample to show that the converse is false. In thistalk I will look at the case where σ is the spec-trum of a compact operator. While we are yet todiscover necessary and sufficient conditions fortwo of these function spaces to be isomorphic, wehave some interesting special cases, and a sim-pler example of homeomorphic sets which pro-duce non-isomorphic function algebras.

9.3. Twisted C∗-algebras of topologicalhigher-rank graphs: keeping things simple!Becky Armstrong (The University of Sydney)16:00 Wed 13 December 2017 – C5A 226Miss Becky Armstrong

Since their introduction twenty years ago, C∗-alg-ebras associated to directed graphs have become

a popular tool for investigating various classes ofC∗-algebras, and have provided a fruitful sourceof examples. Directed graph C∗-algebras havebeen generalised in many ways, including thek-graph C∗-algebras of Kumjian and Pask, thetopological graphC∗-algebras of Katsura, the top-ological k-graph C∗-algebras of Yeend, and thetwisted k-graph C∗-algebras of Kumjian, Pask,and Sims. In this talk, I will discuss the resultsof my PhD project, in which I use groupoid tech-niques to construct and study twistedC∗-algebrasof topological k-graphs. My main result is a char-acterisation of simplicity for these C∗-algebras interms of the underlying graphical and cohomo-logical data.This is joint work with PhD supervisors, NathanBrownlowe and Aidan Sims.

9.4. Recursive algorithms for inversion of linearoperator pencilsElizabeth Bradford (University of South Australia)17:30 Wed 13 December 2017 – C5A 226Ms Elizabeth Bradford

There are numerous examples of systems thatcan be represented by linear equations. In manycases the system coefficient is an operator thatdepends on an unknown parameter. We are in-terested in what happens to the solution whenwe change this parameter. If the coefficient isa linear operator pencil which depends on a sin-gle complex parameter and the resolvent is an-alytic on a deleted neighbourhood of the origin,the resolvent can be calculated by different pro-cedures. We calculate the resolvent matrix usingdifferent recursive procedures which, for finite di-mensional problems, will terminate after a finitenumber of steps. We will briefly compare the dif-ferent methods.

9.5. Investigating symbolic dynamics usingC∗-algebrasKevin Aguyar Brix (University of Copenhagen)16:30 Wed 13 December 2017 – C5A 226Kevin Aguyar Brix

The symbiotic relationship between symbolic dy-namics and operator algebras was initiated byCuntz and Krieger via their introduction of theCuntz–Krieger algebra in 1980. Within the last5–10 years, this connection was made more ex-plicit with the introduction of continuous orbitequivalence and eventual conjugacy and the ap-plication of groupoid techniques to characterizethese relations in terms of dynamics, groupoidsand Cuntz–Krieger algebras. Wewill take a closerlook at some of these results.

90


9.6. On Baumslag–Solitar monoids and theirC∗-algebrasNathan Brownlowe (The University of Sydney)14:30 Fri 15 December 2017 – C5A 226Dr Nathan Brownlowe

At the 2016 AustMS meeting, Zahra Afsar and Ispoke about the C∗-algebras of right LCM semi-groups and their KMS states. Our general frame-work captured the results Orloff Clark, an Huefand Raeburn on the KMS structure of the C∗-alg-ebras of the Baumslag–Solitar monoid BS(c,d)+,for c and d integers with the same sign. Thecase where c and d have different signs has sinceproved to be an interesting example, and I willtalk about the differences.This is joint work with Nadia Larsen, Jacqui Ra-magge and Nicolai Stammeier.

9.7. Recent inequalities of Young type for positiveoperators in Hilbert spacesSilvestru Sever Dragomir (Victoria University)15:30 Thu 14 December 2017 – C5A 226Prof Silvestru Sever Dragomir

In this presentation some recent refinements andreverses of the famous Youngs scalar inequalitywill be reviewed. Applications to the operatorYoung’s inequality for positive operators in com-plex Hilbert spaces will be provided. Some re-verses of McCarthy’s vector and trace inequalitieswill be given as well. The related papers of theauthor in preprint form are available at ResearchGroup in Mathematical Inequalities and Applica-tions (RGMIA) web site:http://rgmia.org/index.php

9.8. K-theory and charactersPeter Hochs (The University of Adelaide)11:30 Thu 14 December 2017 – C5A 226Dr Peter Hochs

Let G be a semisimple Lie group. Using orbitalintegrals, we define traces on a convolution alge-bra of functions on G. These define maps fromthe K -theory of the reduced C∗-algebra of G tothe complex numbers. Those maps can be usedto extract values of characters of tempered repre-sentations of G from classes in K -theory. In workwith Hang Wang, we use this to compute char-acters via a fixed point theorem in index theory,and to relate K -theory to character identities inthe Langlands program.

9.9. Derivations into ideals of semifinite vonNeumann algebrasJinghao Huang (University of New South Wales)15:00 Tue 12 December 2017 – C5A 226Aleksey Ber, Jinghao Huang, Galina Levitina, FedorSukochev

A derivation problem introduced by Barry John-son is one of the classical problems in operator al-gebra theory. In 1985, Kaftal and Weiss showedthat every derivation δ : A → Lp (M ,τ) ∩ M , for1 ≤ p <∞, is inner if A is an abelian (or properlyinfinite) von Neumann subalgebra of a semifinitevon Neumann algebra M , where τ is a faithfulsemifinite normal trace on M and Lp (M ,τ), with1 ≤ p < ∞, is the non-commutative Lp-space rel-ative to τ. However, the question whether everyderivation from an arbitrary von Neumann subal-gebra into Lp (M ,τ)∩M , 1 ≤ p <∞, is inner was leftunresolved in that paper. In this talk, I will givean overview of the previous results and outlinemy work (with Ber, Levitina, Sukochev) which re-solves the case left by Kaftal and Weiss.

9.10. Mauldin–Williams graphs and their KMSstatesMichael Arthur Mampusti (University ofWollongong)16:30 Tue 12 December 2017 – C5A 226Mr Michael Arthur Mampusti

In this talk, we will look at iterated functionsystems as a framework for the study of frac-tals, and how Mauldin–Williams graphs gener-alise such systems for the study of more generalfractal sets. Using some key examples, we focuson the dynamics of Mauldin–Williams graphs,and how they give rise to interesting C∗-algebras.In particular, we look at how the dynamics ofa Mauldin–Williams graph determines the KMSstate structure of the associated C∗-algberas.The material from this talk forms part of my PhDthesis supervised by David Pask and Aidan Sims.

9.11. On the C∗-algebras of a graph of groupsThomas Pedersen (University of Wollongong)17:00 Wed 13 December 2017 – C5A 226Mr Thomas Pedersen

Graphs of groups, consisting of an undirectedgraph with associated vertex and edge groups,were introduced by Bass and Serre in the 1970s.The study of these objects is interesting becausethey have a one-to-one correspondence with ori-entation-preserving group actions on trees. Wediscuss several C∗-algebras that can be construct-ed from a graph of groups, and explore parallelsbetween these and the directed graphC∗-algebrasestablished in the 1980s and ’90s.

91

http://rgmia.org/index.php


9.12. C*-algebras from self-similar actions andtheir statesJacqui Ramagge (The University of Sydney)14:00 Wed 13 December 2017 – C5A 226Jacqui Ramagge

Wewill consider self-similar actions of groupoidson the path space of a directed graph, use them toconstruct C*-algebras, and describe the classifica-tion of the KMS states on the algebras.

9.13. Unbounded quasitraces, stable finiteness andpure infinitenessAdam Sierakowski (University of Wollongong)15:00 Fri 15 December 2017 – C5A 226David Pask, Aidan Sims, Adam Sierakowski

We prove that if A is a σ-unital exact C∗-algebraof real rank zero, then every state on K0(A) isinduced by a 2-quasitrace on A. This yields ageneralisation of Rainone’s work on pure infinite-ness and stable finiteness of crossed products tothe non-unital case. It also applies to k-graphC∗-algebras associated to row-finite k-graphswithno sources. We show that for a twistedC∗-algebraof a cofinal k-graph with no sources, stable finite-ness is independent of the twisting cocycle. Wealso study pure infiniteness of twistedC∗-algebras.

9.14. Rigidity for dynamics via operator algebrasAidan Sims (University of Wollongong)15:00 Wed 13 December 2017 – C5A 226Prof Aidan Sims

Groupoids are algebraic objects that encode verygeneral dynamical systems. The study of C∗-alg-ebras constructed from groupoids goes back toRenault’s PhD thesis in 1980, and has been veryinfluential. I will describe some recent resultsproved jointly with Carlsen, Ruiz and Tomfordethat show how a groupoid can be reconstructedfrom its C∗-algebra, and that use this procedureto prove new rigidity results for various types ofdynamical systems.

9.15. Conformal trace theorem for Julia setsFedor Sukochev (University of New South Wales)14:00 Tue 12 December 2017 – C5A 226Prof Alain Connes, Prof Fedor Sukochev, Dr DmitriyZanin

This talk illustrates the role of the quantised cal-culus in the concrete example of Julia sets. Itis based on the recent papers: Conformal tracetheorem for Julia sets of quadratic polynomials,Connes, McDonald, Sukochev, Zanin, ETDS.

9.16. Hyperbolic and crystalline topological mattervia Baum–Connes isomorphismsGuo Chuan Thiang (The University of Adelaide)12:00 Thu 14 December 2017 – C5A 226Dr Guo Chuan Thiang

Much of the literature on topological phases im-plicitly uses Fourier transforms over a lattice ofEuclidean symmetries, and bundle-theoretic in-variants over the dual group (a Brillouin torus).Real physical systems often have much more in-teresting symmetries or take place in non-Eu-clidean geometries. I will outline the noncom-mutative ‘Bloch–Fourier theory’ for topologicalphases in these settings, and use the Baum–-Connes isomorphisms to simplify their K-theo-retic analysis.

9.17. The fundamental equations for thegeneralized resolvent of an elementary pencil in aunital Banach algebraGeetika Verma (University of South Australia)16:00 Thu 14 December 2017 – C5A 226Amie Albrecht, Phil Howlett, Geetika Verma

We show that the generalized resolvent of an ele-mentary linear pencil in a unital Banach algebraover the field of complex numbers is analytic onan open annular region of the complex plane ifand only if the coefficients of the Laurent seriesexpansion satisfy a system of left and right funda-mental equations and are geometrically bounded.Our analysis includes the case where the resol-vent has an isolated essential singularity at theorigin. We find a closed form for the resolventand use the fundamental equations to establishkey spectral separation properties when the resol-vent has only a finite number of isolated singular-ities.

9.18. Positive scalar curvature for proper actionsHang Wang (The University of Adelaide)14:00 Fri 15 December 2017 – C5A 226Mr Hao Guo, Elder Prof Varghese Mathai, Dr HangWang

In this talk, we study equivariant index theory forproper co-compact actions. Using vanishing ofthis equivariant index we obtain obstructions toinvariant Riemannian metrics of positive scalarcurvature. We also prove the existence of invari-ant Riemannian metrics of positive scalar curva-ture under certain very general hypotheses on thegroup and its action on the manifold.This is joint work with Varghese Mathai and HaoGuo.

92

10. Geometric Analysis

10.1. Distance comparison for curve shortening ofnetworksPaul Bryan (The University of Queensland)12:00 Thu 14 December 2017 – C5A 232Paul Bryan

The curve shortening flow for networks, first in-troduced by Mullins to study the evolution ofgrain boundaries models two-dimensional mul-tiphase systems capturing the dynamics of in-terface boundaries. It is also an example of aBrakke flow by Mean Curvature, that is necessar-ily singular, exhibiting qualitative differences inbehaviour to the smooth case. This talk will dis-cuss how distance comparison techniques previ-ously used in the smooth setting may be adaptedto non-smooth regimes. Many novel featuresarise such as non-uniqueness of embedded, self--similar solutions, and generally expected singu-lar behaviour. Understanding singularity forma-tion is an actively studied topic and is an essentialingredient for further analysis and global resultsfor the flow, which may be amenable to analysisby the distance comparison techniques describedin this talk.

10.2. Non-Kaehler Ricci flows that converge toKaehler–Ricci solitonsJim Isenberg (University of Oregon)16:00 Wed 13 December 2017 – C5A 232Prof Jim Isenberg

We consider a family of Riemannian (non-Kaeh-ler) Ricci flow solutions which develop finite-time(Type I) singularities such that parabolic rescal-ings at the singularities take the form of shrink-ing Kaehler–Ricci solitons. In particular, the sin-gularity models for these solutions are the ‘blow-down soliton’ studied by Feldman–Ilmanen–Kn-opf. Our results support the conjecture that theblowdown soliton is stable under Ricci flow. Aswell, our work provides the first set of rigorous ex-amples of non-Kaehler Ricci flow solutions whichbecome asymptotically Kaehler in suitable neigh-borhoods of the developing singularities.

10.3. The planar dual Minkowski problemQirui Li (Australian National University)17:30 Wed 13 December 2017 – C5A 232Dr Qirui Li

Various geometric measures have been discov-ered and introduced in the area of convex geom-etry, and the associated Minkowski type prob-lems have been studied. Among them, the dualMinkowski problem has attractedmuch attention

recently. In this talk, a complete solution to theproblem for the planar case will be presented.The talk is based on joint work with ShibingChen.

10.4. Neck detection for the fully nonlinear flow G

Alexander Majchrowski (The University of Sydney)15:00 Wed 13 December 2017 – C5A 232Mr Alexander Majchrowski

I will discuss neck detection and a surgery proce-dure for mean curvature flow with surgeries fortwo-convex hypersurfaces and how this can be ex-

tended to a fully nonlinear flow,G =( ∑

i< j

1

λi +λ j

)−1

as studied by Huisken and Brendle; available atArXiv: 1507.04651.

10.5. The space of harmonic tori in the 3-sphereRoss Ogilvie (The University of Sydney)11:30 Thu 14 December 2017 – C5A 232Dr Ross Ogilvie

It is known that harmonic tori in the 3-spheremay be completely characterised in terms of al-gebraic data via the spectral curve construction(due to Hitchin). This provides a natural settingfor a space of harmonic maps. The strata of thisspace corresponding to spectral curves with lowgenus can be explicitly determined by consider-ation of elliptic integrals, allowing one to deter-mine the connected components and their topol-ogy.

10.6. Metrics with prescribed curvature onhomogeneous spaces with intermediate subgroupsArtem Pulemotov (The University of Queensland)14:00 Wed 13 December 2017 – C5A 232Dr Artem Pulemotov

We will discuss the problem of recovering a Rie-mannian metric from its Ricci curvature on a ho-mogeneous space G/H . In particular, we will ex-plain how the existence of an intermediate sub-group K (i.e., one that satisfies H < K <G) affectsthe solvability of this problem.This is based upon joint work with Mark Gould(The University of Queensland).


93


10. Geometric Analysis

10.7. Volume preserving flow in hyperbolic spaceYong Wei (Australian National University)16:00 Thu 14 December 2017 – C5A 232Dr Yong Wei

We consider the volume preserving flow of closedhorospherical convex hypersurfaces in hyperbolicspace with the speed given by any positive powerof a smooth symmetric, strictly increasing, andhomogeneous of degree one function f of theprincipal curvatures which is inverse concave andhas dual f∗ approaching zero on the boundary ofthe positive cone. We prove that if the initial hy-persurface is horospherical convex, then the so-lution of the flow becomes strictly horosphericalconvex for t > 0, the flow exists for all time andconverges to a geodesic sphere exponentially inthe smooth topology. This talk is the hyperbolicanalogue of my talk given in PDE session. How-ever, the method of the proof follows different ap-proaches in many steps.

10.8. Convexity of non-negatively curvedhypersurfaces with free boundary on a sphereChangwei Xiong (Australian National University)15:30 Thu 14 December 2017 – C5A 232Dr Changwei Xiong

When is an immersed hypersurface in Euclideanspace globally convex? One answer given by Had-amard in 1897 is that, any closed immersed sur-face with positive Gaussian curvature in 3-dimen-sional Euclidean space must be the boundary ofa convex body. After the later efforts by Stoker,van Heijenoort, Chern–Lashof, and Sacksteder,the answer for hypersurfaces without boundarynow is quite clear. In this talk we shall focuson this problem for hypersurfaces with boundary.More precisely, our work shows that any compactimmersed hypersurface in Euclidean space withnon-negative sectional curvatures, and with freeboundary on the standard sphere, must be glob-ally convex. The key ingredient in the proof isa gluing process which reduces the problem withboundary to that without boundary.This work is joint with Mohammad Ghomi.

10.9. Riemannian cubics in the manifold SPD(n) ofall n ×n symmetric positive-definite matricesErchuan Zhang (The University of WesternAustralia)17:00 Wed 13 December 2017 – C5A 232Erchuan Zhang, Lyle Noakes

The manifold SPD(n) of all n ×n symmetric posi-tive-definite (SPD) matrices is widely used in im-age analysis, machine learning and statistics. Inthis paper we investigate Riemannian cubics inSPD(n) with respect to an invariant metric. Moti-vated by Riemannian cubics in a Lie group with a

bi-invariant metric, Riemannian cubics in SPD(n)are reduced to so-called Lie quadratics in the Liealgebra gl(n) by introducing an extended defini-tion of left Lie reduction. Results are proved forthese Lie quadratics, focusing on cubics in theRiemannian sub-manifold of all n × n diagonalSPD matrices, and on relationships between Rie-mannian cubics in SPD(n) and in SO(n). NullRiemannian cubics in SPD(n) are given in closedform, and non-null Riemannian cubics in SPD(2)are also considered.

10.10. Mean curvature flows of closedhypersurfaces in warped product manifoldsZhou Zhang (The University of Sydney)17:00 Wed 13 December 2017 – C5A 232Zhou Zhang

For warped product manifolds with closed hyper-surfaces fibering over the real line, we prove thatunder not-too-restrictive conditions on the warp-ing function, there exists a large class of closedhypersurfaces as geodesic graphs over the totallygeodesic hypersurface (i.e., the central fibre of thewarped product manifold), such that the meancurvature flow starting from them exists for alltime and converges to the totally geodesic hyper-surface.This is a joint workwith ZhengHuang andHengyuZhou.

10.11. Min–max theory for constant meancurvature hypersurfacesJonathan Julian Zhu (Harvard University)14:30 Wed 13 December 2017 – C5A 232Mr Jonathan Julian Zhu

We describe the construction of closed constantmean curvature (CMC) hypersurfaces usingmin–max methods. In particular, our theory allowsus to show the existence of closed CMC hyper-surfaces of any prescribed mean curvature in anyclosed Riemannian manifold.This work is joint with Xin Zhou.

94

11. Harmonic Analysis

11.1. On the flows associated to self-adjointoperators on metric measure spacesAnh Bui (Macquarie University)11:30 Thu 14 December 2017 – C5A 225Dr Anh Bui

Let X be a metric space with a doubling measuresatisfying µ(B)≳ r n

B for any ball B with any radiusrB > 0. Let L be a non-negative self-adjoint op-erator on L2(X ). We assume that e−tL satisfies aGaussian upper bound and that the flow e i tL sat-isfies a typical L1 −L∞ dispersive estimate of theform

∥e i tL∥L1→L∞ ≲ |t |− n2 .

Then we prove a similar L1 − L∞ dispersive esti-mate for a general class of flows e i tφ(L), with φ(r )of power type near 0 and near ∞. In the caseof fractional powers φ(L) = Lν, ν ∈ (0,1), we de-duce dispersive estimates for e i tLν

with data inSobolev, Besov or Hardy spaces H p

L with p ∈ (0,1],associated to the operator L.This is joint work with P. D’Ancona, X. T. Duongand D. Müller.

11.2. Sparse dominations and sharp weightedestimates for singular integral operatorsDorothee Frey (Delft University of Technology)16:30 Tue 12 December 2017 – C5A 225Ms Dorothee Frey

We shall discuss the concept of sparse domina-tions of singular integral operators, in particu-lar for those operators whose kernel do not sat-isfy any regularity estimate. Such sparse domi-nations lead to sharp weighted norm estimatesand weighted weak-type estimates for operatorssuch as Riesz transforms and multipliers associ-ated with a second order elliptic operator.

11.3. A generalised Gagliardo–Nirenberg typeinequality with application to the p(x)-LaplacianDaniel Hauer (The University of Sydney)14:30 Wed 13 December 2017 – C5A 225Dr Daniel Hauer

In this talk, we present a generalised Gagliar-do–Nirenberg inequality and show how to ap-ply this to establish a new regularisation effectof the non-linear semigroup generated by thep(x)-Laplacian.

11.4. An embedding result for Hermite distributionspacesFu Ken Ly (The University of Sydney)12:00 Thu 14 December 2017 – C5A 225Dr Fu Ken Ly

We present certain Sobolev-type embeddings forweighted Besov and Triebel–Lizorkin spaces inthe setting of the Hermite operator −∆ + |x|2.These embeddings are characterized in terms ofa lower bound condition of the weights applied toballs.This is based on joint work with The Anh Bui andJi Li.

11.5. The connection between vanishingreverse-Hölder weights and functions of vanishingmean oscillationStephanie Mills (University of South Australia)16:00 Tue 12 December 2017 – C5A 225Ms Stephanie Mills

One way to quantify how far a function ω : R→R+is from being constant is through its reverse-Höl-der characteristics [ω]RHq , for all q ∈ [1,∞). Thesenumbers measure to what extent ω locally satis-fies the converse of Hölder’s inequality with ex-ponent q. Meanwhile, a way to quantify the ex-tent to which a function ϕ : R→R oscillates locallyis through its bounded mean oscillation (BMO)norm ∥ϕ∥. It is well known that the logarithmϕ= logω of a RHq function ω lies in the BMO class(has finite BMO norm), while only a partial con-verse holds: the exponential ω= exp(ϕ) of a BMOfunction ϕ lies in a reverse-Hölder class RHq ifthe BMO norm ∥ϕ∥ is sufficiently small. Our aimis to sharpen this result.Specifically, we introduce new classes VRHq ofvanishing reverse-Hölder-q functions, and showthat the logarithms ϕ = logω of VRHq functionslie in the subspace VMO of BMO consisting offunctions of vanishing mean oscillation. This re-sult extends an early result of Sarason about A2

weights and VMO. Next, in work in progress, weaim to show that the full converse holds: if ϕ

is in VMO then exp(ϕ) is in VRHq , with no sizerestriction on the BMO norm of ϕ. We plan touse these results, and their dyadic analogues, todevise a new proof of an averaging theorem ofPipher, Ward and Xiao, which says that the ge-ometric–arithmetic average of a family of dyadicRHq functions lies in (continuous) RHq .This is joint work with Lesley Ward.


95

11. Harmonic Analysis

11.6. Spectral multipliers for sub-Laplacians onN A groupsAlessandro Ottazzi (University of New South Wales)14:30 Tue 12 December 2017 – C5A 225Dr Alessandro Ottazzi

Let G = N A, where N is a stratified Lie group andA =R acts on N via automorphic dilations. Homo-geneous sub-Laplacians on N and A can be liftedto left-invariant operators on G and their sum isa sub-Laplacian ∆ on G. In this talk I discuss atheorem of Mihlin†–Hörmander type for spectralmultipliers of ∆. One of the tools of the proof isa Caldéron–Zygmund theory adapted to the con-trol distance associated with ∆.This work is in collaboration with A.Martini andM.Vallarino.†Russian: Михлин, Соломон Григорьевич

11.7. Operator-valued (Lp ,Lq ) Fourier multipliersJan Rozendaal (Australian National University)15:00 Tue 12 December 2017 – C5A 225Jan Rozendaal

In this talk I will discuss some recent advancesin the theory of Banach space valued harmonicanalysis, pertaining to the following question. LetX and Y be Banach spaces, m : Rd → L (X ,Y )and p, q ∈ [1,∞]. Under which conditions isthe Fourier multiplier operator f ↦→ F−1(m ·F f )bounded from Lp (Rd ; X ) to Lq (Rd ;Y )?This talk is based on joint work with M. Veraar(Delft University of Technology).

11.8. Riesz transform and harmonic functionsAdam Sikora (Macquarie University)14:00 Tue 12 December 2017 – C5A 225Dr Adam Sikora

Let (X ,d ,µ) be a doubling metric measure spaceendowed with a Dirichlet form satisfying a scale-invariant L2-Poincaré inequality. We show that,for p ∈ (2,∞), the following conditions are equiva-lent:

(i) (Gp ): Lp-estimate for the gradient of the associ-ated heat semigroup;

(ii) (RHp ): Lp-reverse Hölder inequality for thegradients of harmonic functions;

(iii) (Rp ): Lp-boundedness of the Riesz transform(p <∞).

Joint work with Thierry Coulhon, Renjin Jiangand Pekka Koskela.

11.9. A principal eigenvalue problem with largedegenerate advectionMaolin Zhou (University of New England)14:00 Wed 13 December 2017 – C5A 225Dr Maolin Zhou

In this article, we study the asymptotic behav-ior of the principal eigenvalue of some eigenvalueproblemwhen the advection coefficient convergesto infinity. This problem is relevant to nonlin-ear propagation phenomena in reaction–diffu-sion equations.

96

12. Mathematical Biology

12.1. Mathematical model of glucose–insulinregulation with diabetically impaired ultradianoscillationsMaia Nikolova Angelova (Deakin University)16:00 Wed 13 December 2017 – W5C 213Prof Maia Nikolova Angelova, Adam Bridgewater, DrBenoit Huard

We study the effect of diabetic deficiencies onthe production of an oscillatory ultradian regimeusing a deterministic nonlinear model of glu-cose–insulin regulation which incorporates twophysiological delays. It is shown that insulin re-sistance impairs the production of oscillationsby dampening the ultradian cycles. Four strate-gies for restoring healthy regulation are explored.Through the introduction of an instantaneousglucose-dependent insulin response, explicit con-ditions for the existence of periodic solutions inthe linearised model are formulated, significantlyreducing the complexity of identifying an oscilla-tory regime. It is shown that the model is suitablefor representing the effect of diabetes on the os-cillatory regulation. In particular, it may provideadditional pathways for reintroducing a physio-logically appropriate cyclic regulation and devisenew regimes for a personalized treatment. Fi-nally, in view of the recent efforts for the develop-ment of an artificial pancreas, these results openthe way for more in-depth analysis of the under-lying mechanisms which are most responsible forgenerating the oscillations.This talk is based on joint work with BenoitHuard, Jonathan Easton and Adam Bridgewater[1,2].

[1] Huard B., Bridgewater A., Angelova M. Mathe-matical investigation of diabetically impairedultradian oscillations in the glucose–insulinregulation. Journal of Theoretical Biology 418,2017, pp. 66–76.

[2] Huard, B., Easton J., Angelova M. Investiga-tion of stability in a two-delay model of ul-tradian oscillations in glucose–insulin regula-tion. Commun. Nonlinear Sci. Numer. Simul.26 (1–3), 2015, pp. 211–222.

12.2. The simple complexity of robust networksRobyn Patrice Araujo (Queensland University ofTechnology)11:30 Thu 14 December 2017 – W5C 213Dr Robyn Patrice Araujo

While mathematics has long been considered “anessential tool for physics", the foundations of bi-ology and the life sciences have received signif-icantly less influence from mathematical ideas

and theory. In this talk, I will give a brief dis-cussion of my recent research on robustness inmolecular signalling networks, as an example of acomplex biological question that calls for a math-ematical answer. In particular, it has been along-standing mystery how the extraordinarilycomplex communication networks inside livingcells, comprising thousands of different interact-ing molecules, are able to function robustly sincecomplexity is generally associated with fragility.Mathematics has now suggested a resolution tothis paradox through the discovery that robustadaptive signalling networksmust be constructedfrom a just small number of well-defined uni-versal modules (or ‘motifs’), connected together.The existence of these newly-discovered moduleshas important implications for evolutionary bi-ology, embryology and development, cancer re-search, and drug development.

12.3. Akt translocation as a harmonic oscillatorCatheryn Gray (University of New South Wales)14:30 Tue 12 December 2017 – W5C 213Ms Catheryn Gray

Akt is a key signalling protein of mammaliancells. As a major nutrient sensor, it regulates arange of cellular processes, such as glucose me-tabolism, cell growth, and apoptosis. The dysreg-ulation of Akt is implicated in a wide variety ofdisorders, from diabetes to cancer.As a critical cross-talk node in a number of sig-nal transduction pathways, Akt derives signallingspecificity from its biochemical state but also im-portantly from its intracellular location. Akt isinitially synthesized within the cytosol of the cell,but only becomes activated (phosphorylated) atthe outer plasmamembrane (PM). Currently, kno-wledge about the process of Akt translocationfrom cytosol to PM is rudimentary, although thereis evidence that it is a staged process.We have developed a three compartment modelto describe Akt translocation. If an implicit con-servation relation is assumed, it can be shownthat this system is equivalent to the harmonic os-cillator equation, a well-studied second order dif-ferential equation. Using this framework, we elu-cidate the different modes of behaviour of the Akttranslocation system, and derive conditions onthe model for the manifestation of these modes.The results are also applicable to other signallingmolecules where it can be assumed that a conser-vation relation holds true.


97


12.4. Non-binary unrooted tree-based networksMichael Hendriksen (Western Sydney University)15:00 Tue 12 December 2017 – W5C 213Mr Michael Hendriksen

There is contemporary debate in biology as towhether evolution of some species is inherentlytree-like, with some reticulations between thebranches (e.g., horizontal gene transfer and hy-bridisations), or whether there are toomany retic-ulation events to describe these histories as tree-like in any meaningful way. In 2015, Francis andSteel introduced the concept of tree-based net-works in the rooted, binary network setting todifferentiate between these possibilities. Sincethen there has been a great deal of interest in thearea. In particular, Jetten and van Iersel (2017)extended the concept to non-binary rooted net-works to allow for rapid speciation events or un-certainty about order of speciation events, andFrancis, Huber and Moulton (2017) extended itto binary unrooted networks, to allow for uncer-tainty about root location. In this talk we presentsome preliminary results in the area of nonbinaryunrooted networks, including characterisationsof extensions of both the tree-based property andthe related concept of a fully tree-based network.

12.5. Modelling heterogeneity in biology: how docancer-killing viruses interact with tumour cells?Adrianne Jenner (The University of Sydney)15:00 Wed 13 December 2017 – W5C 213Ms Adrianne Jenner

For some time now, the use of viruses as potentialanti-cancer agents has been of much interest inoncology. Through genetic modification, virusescan be forced to selectively infect, and replicatewithin, tumour cells, killing them in the pro-cess. One of the major challenges faced by mathe-matical modellers is accounting for heterogeneityin the virus–tumour interaction. In this study,we have derived a system of integro-differentialequations to describe the processes acting in thevirus–tumour system, allowing for the replica-tion characteristics of the virus to be gamma dis-tributed random variables. The model parame-ters, including viral burst size, viral burst rateand infectivity, were determined via simultane-ous and hierarchical optimisation across multi-ple experimental data sets. The sensitivity of theparameter values was assessed and the parame-ter space explored to determine the regions ofapplicability of the system. From our optimisedmodel we were able to infer the specific effectsof the E1B 19 and E1B55 genes and how differentlevels of genetic modifications affect the anti-tu-mour potency. The model also provides a plat-form fromwhich we can explore and optimise the

efficacy of other viral treatments and applicationmodalities.

12.6. Delivery and diffusion in membranesAaron Jordan Kaw (University of New South Wales)14:00 Tue 12 December 2017 – W5C 213Aaron J Kaw, Assoc Prof Adelle Coster

Lateral diffusion of proteins on cell membranes isa fundamental process in biology. Investigationsof protein delivery to the cell’s plasmamembranegive insights into many disease and function re-lated processes. The delivery is achieved by em-bedding proteins on internal membranes knownas vesicles. Such vesicles are delivered to the cellsurface and their membranes fuse. This occursvia two main fusion modalities known as ‘full-fu-sion’ and ‘kiss-and-run’. The former is a mathe-matically extreme case of the latter. Both modescontrast in energy and resource expenditure.A model is presented of the lateral diffusion ofproteins in both fusion modalities as well as a Fi-nite Element Method implementation developedto numerically solve the system. This methodhas necessitated reformulating the classical sec-ond-order partial differential diffusion equationas an integro-differential equation. Problems in-volving the intersection of multiple connectedmanifolds often result in solutions with discontin-uous derivatives, and the equation reformulationenabled a tractable and accurate numerical solu-tion for the geometry involved here.The results produced at high spatial and temporalresolution allow insights unattainable in the lab-oratory setting. Discriminative features betweenthe two modes of fusion have been determined,including the early concentration spread and vari-ability in diffusive response. These are promis-ing candidates as predictor variables for an ex-perimental classifier. It remains to be seen whe-ther they remain discriminative when the experi-mental constraints are additionally applied to themodel.The modelling platform developed here will pro-vide the basis for not only classifiers of fusionevents, but also insights into other lateral diffu-sion problems ubiquitous in cell biology.

12.7. Modelling evolution of post-menopausalhuman longevity: the Grandmother HypothesisPeter Kim (The University of Sydney)14:00 Fri 15 December 2017 – W5C 213Assoc Prof Peter Kim

Human post-menopausal longevity makes us uni-que among primates, but how did it evolve? Oneexplanation, the Grandmother Hypothesis, pro-poses that as grasslands spread in ancient Africa

98


displacing foods ancestral youngsters could effec-tively exploit, older females whose fertility wasdeclining left more descendants by subsidizinggrandchildren and allowing mothers to have newbabies sooner. As more robust elders could helpmore descendants, selection favoured increasedlongevity while maintaining the ancestral end offemale fertility.Firstly, we develop a probabilistic agent-basedmodel that incorporates two sexes and mating,fertility–longevity tradeoffs, and the possibility ofgrandmother help. Using this model, we showhow the grandmother effect could have driven theevolution of human longevity. Simulations revealtwo stable life-histories, one human-like and theother like our nearest cousins, the great apes.This and other related questions in social and evo-lutionary dynamics give rise to a variety of uniquemathematical models and problems using ODEs,PDEs, and agent-based models. Thus, I will alsointroduce some of the projects being addressedby others in our research group.

12.8. Modelling the impact of T-cell avidity oncancer vaccinesAdarsh Kumbhari (The University of Sydney)14:30 Wed 13 December 2017 – W5C 213Mr Adarsh Kumbhari

Therapeutic cancer vaccines treat cancers thathave already developed by stimulating cytotoxicT-cells. Despite showing promise, positive clin-ical outcomes have yet to be realised. Vaccineselicit a low-avidity (i.e., weakly tumour-killing) T-cell response, and the mere presence of low-avid-ity T-cells can inhibit cancer killing by tumour-lytic high-avidity T-cells via the stripping of sur-face antigen. This may explain the observed in-efficacy of therapeutic cancer vaccines. By mod-elling this with a system of ordinary differentialequations we explore what is the optimal stimula-tion window.

12.9. Smoking prevalence and related death ratesfor Australian birth cohorts over the last centuryJohn Murray (University of New South Wales)12:00 Thu 14 December 2017 – W5C 213Prof John Murray, Dr Stephen Wade, Prof KarenCanfell

Smoking of tobacco is the leading preventablecause of death in Australia. How we can best re-duce the approximately 15,000 Australians it killseach year is dependent on accurately describingour history of smoking. This will allow us to es-timate how this burden of disease will change inthe future.

Incorporating data from 11 Australian surveys,we determined smoking prevalence and proba-bility distributions for age of smoking initiationand quit rates for male and female 5-year birthcohorts from 1920–24 through to 1980–84. Wefitted a dynamical model to these data to deter-mine prevalence of Never, Current and Formersmokers for each cohort and over all ages. Ex-pressing the excess Current and Former smokerdeath rates as optimal control functions, allowedestimates of their values across the cohorts.

12.10. Modelling the spread of smoking as aninfectious diseaseMark Nelson (University of Wollongong)16:30 Wed 13 December 2017 – W5C 213Assoc Prof Mark Nelson

SIR models were originally developed to anal-yse the spread of infectious diseases. More re-cently the SIR framework has been applied tostudy the dynamics of social and behavioural pro-cesses such as eating disorders, drug additions,the spread of ideas, alcoholism and smoking. TheSIR analogy can be employed when the problem‘state’ (i.e., the infection) can be viewed as occur-ring as the result of frequent or intense interac-tions between individuals in different compart-ments.An important feature of many ‘social diseases’is the ease with which ‘recovered’ individuals re-lapse into problematic behaviour. Thus the mod-elling framework has to be based upon a SIRImodel rather than a SIS model.In this work we view smoking as an infectious dis-ease that is spreading through a population. Weinvestigate how education campaigns and an indi-vidual’s determination to quit smoking influencethe proportion of smokers in a population.

12.11. Do T-cells compete for antigen?Pantea Pooladvand (The University of Sydney)14:00 Wed 13 December 2017 – W5C 213Ms Pantea Pooladvand

When antigen is presented to helper T -cells, theimmune response is two-fold. First, the T -cellswill go through rapid expansion, followed by acontraction phase which subsequently contributesto immunological memory.It is difficult to assess the contribution of precur-sor frequency to the T -cell numbers at the peakof the response due to the widely differing viewsin recent publications. Does the initial numberof T -cells determine the peak or is the T -cell re-sponse limited by the amount of antigen present?Inspired by new experimental results from ourcollaborators, we introduce a simple system ofODEs to investigate this problem by considering

99


that the T -cells compete for limited amount ofantigen. We propose that this competition be-tween T -cells limits the peak of response and wecompare the dynamics from this system to ourcollaborators’ data.

12.12. Who gets the girl? On the operational sexratio as an index for male strategyDanya Rose (The University of Sydney)15:30 Thu 14 December 2017 – W5C 213Dr Danya Rose

The operational sex ratio (OSR) is defined as theratio of eligible males to fertile females in a pop-ulation. If males compete with each other for pa-ternities according to their father’s strategy, doesmating with as many females as possible (multi-ple-mating), or does preventing other males ac-cess to one’s own mate (mate-guarding) win out?We build a two-strategy ODEmodel of a primate-like population in which males inherit their fa-ther’s mating strategy when they mature, and in-vestigate the correlation between OSR and domi-nant strategy.

12.13. Multi-phase modelling of early fibrous capformation in atherosclerosisMichael Greg Watson (The University of Sydney)16:00 Thu 14 December 2017 – W5C 213Dr Michael Greg Watson, Prof Mary R. Myerscough

Advanced atherosclerotic plaques are character-ised by the accumulation of cellular debris andextracellular fat in the arterial intima. Smoothmuscle cells (SMCs) are recruited from the me-dia to synthesise a fibrous cap of tissue that se-questers this thrombogenic material from thebloodstream. Whilst this process is believed toprovide crucial protection from clinical sequelaesuch as heart attack and stroke, the mechanismsunderlying cap evolution remain poorly under-stood. Evidence suggests that certain plaques willremain strong and stable, whilst others becomefragile and dangerously vulnerable to rupture.Using amulti-phase approach with non-standardboundary conditions, we investigate early cap for-mation in the intima by modelling SMC migra-tion from the media in response to a PDGF signalproduced at the endothelium. Simulations indi-cate that the emergence of a cap-resembling SMCprofile requires a critical balance between the rel-ative rates of cell supply from the media, chemo-tactic migration within the intima and cell lossby apoptosis (or phenotype change). Moreover,a sensitivity analysis highlights a number of dis-ease-associated parameters that may be linked tovariations in cap stability.

100

13. Mathematical Optimization

13.1. Extending a linear programming formulationfor TSPKieran Clancy (Flinders University)16:30 Wed 13 December 2017 – X5B 136Dr Kieran Clancy

The travelling salesman problem (TSP) is a well-known NP-hard problem where one seeks to finda route which visits each city in a set preciselyonce and returns to the starting city, while min-imising the cost of the route. A common ap-proach to solving TSP is to use a relaxed linearprogramming formulation with branch-and-cuttechniques. In this talk, we consider three poly-nomial-size linear programming formulations ofTSP, due to Gouveia and Pires (2001); Sher-ali, Sarin and Tsai (2006); and a formulationderived from Filar et al. (2015). The threeformulations are described and their relaxationsare compared using a set of asymmetric TSP in-stances. A new linear program (Clancy, 2017) isconstructed using Filar et al. (2015) as a startingpoint then adding new constraints as well as con-straints based on the other formulations. Numer-ical results are presented showing the obtainedimprovements on the given TSP instances.

13.2. On the generalized Douglas–Rachfordalgorithm for feasibility problemsMinh N. Dao (The University of Newcastle)17:00 Wed 13 December 2017 – X5B 136Dr Minh N. Dao

In this work, we study the generalized Douglas–Rachford algorithm and its cyclic variants whichinclude many projection-type methods such asthe classical Douglas–Rachford algorithm andthe alternating projection algorithm. Specifically,we establish several local linear convergence re-sults for the algorithm in solving feasibility prob-lems with finitely many closed possibly noncon-vex sets under different assumptions. Our find-ings not only relax some regularity conditions butalso improve linear convergence rates in the lit-erature. In the presence of convexity, the linearconvergence is global.

13.3. Radius theorems for monotone mappingsAndrew Eberhard (RMIT University)15:00 Tue 12 December 2017 – X5B 136Prof Andrew Eberhard

For a Hilbert space X and a mapping F : X X(potentially set-valued) that is maximal mono-tone locally around a pair (x, y) in its graph, weobtain a radius theorem of the following kind:the infimum of the norm of a linear and bounded

single-valued mapping B such that F + B is notlocally monotone around (x, y + B x) equals themonotonicity modulus of F . Moreover, the in-fimum is not changed if taken with respect toB symmetric, negative semidefinite and of rankone, and also not changed if taken with respectto all functions f : X → X that are Lipschitz con-tinuous around x and ∥B∥ is replaced by the Lips-chitz modulus of f at x. As applications, a radiustheorem is obtained for the strong second-ordersufficient optimality condition of an optimizationproblem, which in turn yields a radius theoremfor quadratic convergence of the Newton methodapplied to that problem. A radius theorem is alsoderived for mappings that are merely hypomono-tone.This is joint work with A.Donchev and R.T. Rock-afellar.

13.4. A new approach to select the best subset ofpredictors in linear regression modelingAli Eshragh (The University of Newcastle)15:00 Wed 13 December 2017 – X5B 136Ali Eshragh, Hadi Charkhgard

We study the problem of selecting the best sub-set of p predictors in linear regression model-ing given n observations. This problem naturallycontains two objective functions including min-imising the amount of bias and minimising thenumber of predictors. The existing approachestransform the problem into a single-objective op-timization problem. We discuss the main practi-cal drawbacks of the current approaches and pro-pose a new bi-objective optimisation approachto overcome those issues. Computational resultsshow the efficacy of this new approach.

13.5. Averaging in singularly perturbeddeterministic and stochastic optimal controlproblems and dynamic gamesVladimir Gaitsgory (Macquarie University)14:00 Tue 12 December 2017 – X5B 136Prof Vladimir Gaitsgory

Models of real life dynamical systems are oftencharacterized by the fact that their state vari-ables are decomposed into groups of slow andfast ones, this decomposition being formalizedwith a special introduction of a small parame-ter. Such systems are commonly called singu-larly perturbed (SP). In this talk, we will discussways of using averaging techniques for construc-tion of asymptotically near optimal solutions inproblems of optimal control and dynamic gamesconsidered on trajectories of SP systems.

101


13.6. Computing radius of robust feasibility ofuncertain linear conic programs via semidefiniteprogramsGuoyin Li (University of New South Wales)12:00 Thu 14 December 2017 – X5B 136Dr Guoyin Li

The radius of robust feasibility provides a nu-merical value for the largest possible uncertaintyset that guarantees robust feasibility of an un-certain linear conic program. This determineswhen the robust feasible set is non-empty. Other-wise the robust counterpart of an uncertain pro-gram is not well-defined as a robust optimizationproblem. In this talk, we address a key funda-mental question of robust optimization: How tocompute the radius of robust feasibility of uncer-tain linear conic programs, including linear pro-grams? We first provide computable lower andupper bounds for the radius of robust feasibil-ity for general uncertain linear conic programsunder the commonly used ball uncertainty set.We then provide classes of linear conic programswhere the bounds are calculated by finding theoptimal values of related semidefinite linear pro-grams (SDPs). The classes, in particular, includethe important classes of uncertain SDPs and sec-ond-order cone programs. Then, we present anexact formula for the radius of robust feasibilityfor a class of uncertain linear conic programs. Weshow that in the case of an uncertain linear pro-gram the formula allows us to calculate the radiusby finding the optimal value of an associated sec-ond-order cone program. As an application, weshow how the well-studied distance to ill-posed-ness of parametric linear conic systems can becalculated using the radius of robust feasibility.This is done by providing formulas for the lowerand upper bounds and a new exact formula forthe distance to ill-posedness

13.7. Strong convergence for relaxed iteratedapproximate projection methods for convexfeasibility problemsScott Lindstrom (The University of Newcastle)14:30 Wed 13 December 2017 – X5B 136Mr Scott Lindstrom

We investigate iterative schemes for solving con-vex feasibility problemswhich replace projectionsonto sets with projections onto separating hyper-planes. In considering the general extension toaveraged operators with reflection parameters,we prove a global convergence for several approx-imate projection methods. In so doing, we re-cover as special cases convergence for methodswith various kinds of projections. Interestingly,the theory does not rely on firm non-expansivity

but only on quasi-nonexpansivity, and the con-vergence with true projections does not rely onfinite dimensionality.

13.8. Investigating Hamilton cycles throughextreme points of a certain polytopeSogol Mohammadian (The University of Newcastle)16:00 Wed 13 December 2017 – X5B 136Miss Sogol Mohammadian

In this talk we study a certain polytope arisingfrom embedding the Hamiltonian cycle problem(HCP) in a discounted Markov decision process(MDP). The HCP can be reduced to finding theextreme points of a certain polytope associatedwith a graph. We characterize the feasible basesof that polytope, and find the expected number offeasible bases associated with the extreme pointsof that polytope corresponding to a given randomgraph. Finally, we develop a random walk algo-rithm on the feasible bases of that polytope andpresent some numerical results.

13.9. Averaging of discrete-time singularlyperturbed optimal control problemsAlex Parkinson (Macquarie University)14:00 Wed 13 December 2017 – X5B 136Mr Alex Parkinson

Current methods for solutions of singularly per-turbed (SP) optimal control problems in discretetime rely on the so-called reduction techniquewhereby near optimal controls are constructedon the basis of solutions of the degenerate prob-lem obtained by disregarding the fast dynamics.This technique is capable of dealing with manyimportant classes of discrete time SP optimal con-trol problems however is not applicable in gen-eral. A method of averaging of the slow dy-namics over occupational measures generated bythe state-control trajectories of the fast sub-sys-tem (considered with “frozen” slow states) is pre-sented in this talk.

13.10. On the reconstruction of polytopesGuillermo Pineda-Villavicencio (FederationUniversity Australia)16:30 Tue 12 December 2017 – X5B 136Dr Guillermo Pineda-Villavicencio

Blind and Mani, and later Kalai, showed that theface lattice of a simple polytope is determined byits graph, namely its 1-skeleton. Call a vertex ofa d-polytope nonsimple if the number of edgesincident to it is > d .We show that (1) the face lattice of any d-polytopewith at most two nonsimple vertices is deter-mined by its 1-skeleton; (2) the face lattice of anyd-polytope with at most d −2 nonsimple verticesis determined by its 2-skeleton; and (3) for any

102


d > 3 there are two d-polytopes with d − 1 non-simple vertices, isomorphic (d − 3)-skeleton andnonisomorphic face lattices. In particular, the re-sult (1) is best possible for 4-polytopes.This is a joint work with Joseph Doolittle (Univer-sity of Kansas), Eran Nevo (Hebrew University ofJerusalem), Julien Ugon (Federation UniversityAustralia) and David Yost (Federation UniversityAustralia).

13.11. Multipoint Voronoi cellsVera Roshchina (RMIT University)11:30 Thu 14 December 2017 – X5B 136Dr Vera Roshchina

Given a finite set S in a Euclidean space, eachpoint s from S can be assigned the Voronoi cellof all points for which s is the closest point in S.Voronoi cells are polyhedral sets with nonemptyinteriors. Generally speaking, given a polyhedralset P and a point s in its interior, this polyhedralset P can be reconstructed as a Voronoi cell of swith respect to some finite set S in the Euclideanspace.We study generalised multipoint Voronoi cells,and two-point cells in particular, focussing on thestructure of these cells. In contrast to the classicalcase, not every polyhedral set can be representedas a Voronoi cell of two points, however, formanypolyhedral sets it is possible to obtain explicit rep-resentations via multipoint Voronoi cells.This is joint workwith Juan-EnriqueMartinez-Le-gaz (Universitat Autònoma de Barcelona, Spain)and Maxim Todorov (Universidad de las Améri-cas Puebla, Mexico).

13.12. Optimality conditions for non-smooth,multi-objective, bilevel optimization problemsChuong Thai Doan (University of New South Wales)16:00 Tue 12 December 2017 – X5B 136Dr Chuong Thai Doan

This talk is devoted to study of a non-smooth,multi-objective, bilevel optimization problem, wh-ich involves the vector-valued objective functionsin both levels of the considered program. Wefirst formulate a relaxation multi-objective for-mulation for the multi-objective bilevel problemand examine the relationships of solutions be-tween them. We then establish Fritz John (FJ)and Karush–Kuhn–Tucker (KKT) necessary con-ditions for the non-smoothmulti-objective bileveloptimization problem via its relaxation. This isdone by studying a related multi-objective opti-mization problem with operator constraints.

103

14. Mathematical Physics

14.1. Squeezed coherent states of one-dimensionalanharmonic quantum oscillatorsMaia Nikolova Angelova (Deakin University)15:00 Tue 12 December 2017 – W5A 202Prof Maia Nikolova Angelova

The motivation of this work is the Lie-algebraicapproach to anharmonic quantum oscillators rep-resented by Morse and Poschl–Teller potentials.I will consider the Lie algebraic representationsof the Hamiltonians of such oscillators and com-pare them with the behaviour of the harmonicoscillator. Constructions of ladder operators,quantum bosons, coherent and squeezed coher-ent states, related to the discrete spectrum of theanharmonic quantum system, will be presented.Properties of diatomic molecules and molecularcomplexes will be presented in the context of themodels.This work is in collaboration with Veronique Hu-ssin.

14.2. Exactly-solved origami statistical mechanicsMichael Assis (The University of Newcastle)17:30 Wed 13 December 2017 – W5A 202Michael Assis

Using the methods of exactly-solved models instatisticalmechanics, several origami lattice struc-tures are analyzed in terms of their suitability astunable metamaterials since their defects affectthe material’s compressibility properties. Defectsare analyzed as in terms of a lattice gas and phasetransitions are shown rigorously to exist. A com-parative study of the ease of formation of defectsallows shows which origami structures are bettersuited for their tuning properties.

14.3. Duality in mASEP and tKZ equationZeying Chen (AMSI/University of Melbourne)16:00 Tue 12 December 2017 – W5A 202Ms Zeying Chen

In stochastic processes, duality is defined by afunction that co-varies in time with respect tothe evolution of two processes. It can be usedto connect processes with many particles to thosewith few particles, which can be analyzed in greatdetails. We would like to propose a systematicmethod to construct dualities between the multi--species asymmetric exclusion process (mASEP),via the solutions of the deformed Knizhnik–Zam-olodchikov equation.Using this method, we have derived the self-dual-ities for any two species ASEP, and reproducesthe duality for one species ASEP.

14.4. Lattice integrable stochastic processesAlexandr Garbali (The University of Melbourne)16:30 Tue 12 December 2017 – W5A 202Dr Alexandr Garbali

Using a certain twisting procedure X X Z -type in-tegrable Hamiltonians can be turned intoMarkovmatrices which define integrable stochastic pro-cesses. Integrability provides numerous toolsto study non-equilibrium characteristics of theseprocesses giving new insights about their univer-sality class (typically Kardar–Parisi–Zhang). Fa-mous examples of these processes include Asym-metric Simple Exclusion Process (ASEP) and ZeroRange Process (ZRP). I will give an algebraic de-scription of ASEP, ZRP and their multi-speciesgeneralizations. In the most general setting ofthe multi-species ZRP process I will discuss thesteady state vector and its relation to theMacdon-ald theory of symmetric functions. This informa-tion is important for computing current and den-sity profiles as well as observable quantities.

14.5. Integrable structure of products of complexrandom matricesVladimir Mangazeev (Australian NationalUniversity)14:00 Tue 12 December 2017 – W5A 202Dr Vladimir Mangazeev

We consider the squared singular values of theproduct of standard complex Gaussian matrices.Since the squared singular values form a deter-minantal point process with a particular MeijerG-function kernel, the gap probabilities are givenby a Fredholm determinant based on this ker-nel. It was shown by Strahov that a hard edgescaling limit of the gap probabilities is describedby Hamiltonian differential equations which canbe formulated as an isomonodromic deformationsystem similar to the theory of the Kyoto school.We generalize this result to the case of finite ma-trices by first finding a representation of the fi-nite kernel in integrable form. As a result weobtain the Hamiltonian structure for a finite sizematrices and formulate it in terms of a matrixSchlesinger system. The case M = 1 reproducesthe Tracy and Widom theory which results in thePainlevé V equation for the (0, s) gap probability.Some results for M = 2 are also presented.

14.6. Lifted worm process for the Ising modelAbrahim Steve Nasrawi (Monash University)12:00 Thu 14 December 2017 – W5A 202Mr Abrahim Steve Nasrawi

104

14. Mathematical Physics

We construct a lifted worm process for the ze-ro-field ferromagnetic Ising model. We studythe dynamic critical behavior of an energy esti-mator on the complete graph, and compare ourfindings with reversible processes such as theProkof’ev–Svistunov worm process. Our resultsshow that the lifted worm process improves thedynamic exponent of the energy estimator.

14.7. Protection of topological phases in quantumspin systems by quantum deformed symmetriesThomas Quella (The University of Melbourne)16:00 Thu 14 December 2017 – W5A 202Dr Thomas Quella

We show that topological phases of quantum spinsystems may enjoy protection even in the ab-sence of ordinary group symmetries. The rele-vant mechanism is explained in full detail for theexample of 1D spin chains with quantum group(q-deformed) symmetry SOq (3). We also sketchthe generalization to quantum deformations ofother continuous Lie groups such as those asso-ciated with SU(N ) or SO(N ). Our results providea complete classification of quantum group sym-metry-protected topological phases for real val-ues of q.

14.8. Duality methods for topological matterGuo Chuan Thiang (The University of Adelaide)15:30 Thu 14 December 2017 – W5A 202Dr Guo Chuan Thiang

Band theory has been used to predict many ex-perimentally realised topological phases, and isunderpinned by Pontryagin duality and vectorbundle theory. Interestingly, topological insula-tors and semimetals are exactly Poincare dual toDirac strings on a torus, and the boundary Fermiarcs found in 2015 are just holographic imagesof the latter. Furthermore, T-duality simplifiesbulk-boundary maps as well as the computationof twisted equivariant K-theory groups classify-ing crystalline topological phases.

14.9. Quantum integrable models and theoff-diagonal Bethe ansatz methodXin Zhang (The University of Melbourne)14:30 Tue 12 December 2017 – W5A 202Dr Xin Zhang

The quantum integrable models, which are de-fined by Yang–Baxter equation, play importantroles in a variety of fields. First, we briefly intro-duce integrability, Yang–Baxter equation, reflec-tion equation, quantum integrable models andseveral typical methods. With the periodic X X Xspin- 1

2 chain and X X Z spin torus as examples,we show the basic ingredients of the off-diagonalBethe ansatz method.

14.10. Unified correlation function behaviours onhigh-dimensional toriZongzheng Zhou (Monash University)11:30 Thu 14 December 2017 – W5A 202Dr Zongzheng Zhou

Above the upper critical dimensions, Isingmodel,self-avoiding walk (SAW), and simple randomwalk (SRW) are believed to be in the same univer-sality class. However, for finite-size behaviourson the torus, these models behave differently.For Ising and SAW, asymptotically the correla-tion function is a power law for short distanceand then approaches a plateau for large distance.However, for SRW on any dimensional tori, itsGreen’s function is infinity. In this talk, wewill consider a revised random walk whose walklength is a random variable. On the torus, weprove that Green’s function of such a randomwalk has the same behaviour of the correlationfunctions for Ising and SAW.

105

15. Number Theory

15.1. p-adic Littlewood conjecture: what canpotential counter-examples look like?Dzmitry Badziahin (The University of Sydney)16:00 Tue 12 December 2017 – W5C 211Assoc Prof Dzmitry Badziahin

In 2004 deMathan and Teulie proposed the prob-lem, called p-adic Littlewood conjecture, whichwas supposed to be a ‘simpler’ version of the clas-sical Littlewood conjecture. It states as follows:for any prime p and any x ∈R, one always has

liminfq→∞ q ×|q|p ×||qx|| = 0.

Here ||qx|| means the distance from qx to thenearest integer.I will describe what is known about the set ofthe (potential) counterexamples x to the p-adicLittlewood conjecture, how small it is and whichclasses of numbers x are definitely not in it.

15.2. Families of p-adic automorphic forms onunitary groupsJessica Fintzen (Institute for Advanced Study)15:30 Thu 14 December 2017 – W5C 211Dr Jessica Fintzen

We will start with an introduction to p-adic auto-morphic forms and then discuss a variant of theq-expansion principle (called the Serre–Tate ex-pansion principle) for p-adic automorphic formson unitary groups of arbitrary signature. Weoutline how this can be used to produce p-adicfamilies of automorphic forms on unitary groups,which has applications in construction of p-adicL-functions. This is done via an explicit descrip-tion of the action of certain differential operatorson the Serre–Tate expansion.The talk is based on joint work with Ana Caraiani,Ellen Eischen, Elena Mantovan and Ila Varma.

15.3. Octonions in random matrix theoryPeter Forrester (The University of Melbourne)14:30 Wed 13 December 2017 – W5C 211Prof Peter Forrester

The octonions are one of the four normed divi-sion algebras, together with the real, complexand quaternion number systems. The latter threehold a primary place in random matrix theory,where in applications to quantum physics theyare determined as the entries of ensembles ofHermitian randommatrices by symmetry consid-erations. Only for N = 2 is there an existing an-alytic theory of Hermitian random matrices withoctonion entries. We use a Jordan algebra view-point to provide an analytic theory for N = 3.We then proceed to consider the matrix structure

X †X , when X has random octonion entries. Ana-lytic results are obtained from N = 2, but are ob-served to break down in the 3×3 case.

15.4. The Hausdorff measure version ofGallagher’s theorem— closing the gap and beyondMumtaz Hussain (La Trobe University)14:30 Tue 12 December 2017 – W5C 211Dr Mumtaz Hussain

I will present my recent results in the theoryof multiplicative Diophantine approximation. Inparticular, an upper bound on the ‘size’ of theset of multiplicatively ψ-approximable points inRd for d > 1 in terms of f -dimensional Haus-dorff measure. This upper bound exactly com-plements the known lower bound, providing a‘zero-full’ law which relates the Hausdorff mea-sure to the convergence/divergence of a certainseries in both the homogeneous and inhomoge-neous settings. This ‘zero-full law’ resolves aquestion posed by Beresnevich and Velani (2015)regarding the ‘log factor’ discrepancy in the con-vergent/divergent sum conditions of their theo-rem. We further prove the analogous result forthe multiplicative doubly metric setup.This is a joint work with David Simmons (York).

15.5. An explicit bound for the divisor functionJeffrey Lay (Australian National University)15:00 Tue 12 December 2017 – W5C 211Mr Jeffrey Lay

Landreau proved in 1988 a class of inequalitiesfor the divisor function. We discuss how thesecan be made explicit and how they may be ap-plied to produce sieving estimates for Gaussiansequences.

15.6. Visible points on exponential curvesSimon Macourt (University of New South Wales)11:30 Thu 14 December 2017 – W5C 211Mr Simon Macourt

We provide an introduction to the problem offinding the number of visible points on a givencurve. We then provide new bounds on the num-ber of visible points on exponential curves mod-ulo a prime for all choices of primes. We alsoprovide one new bound on the number of visiblepoints on exponential curves modulo a prime foralmost all primes.


106

15. Number Theory

15.7. Chebotarev’s density theorem over finitefieldsStephen Meagher (University of New South Wales)16:30 Wed 13 December 2017 – W5C 211Dr Stephen Meagher

Chebotarev’s density theorem is well known overnumber fields. A general version also works forquotient maps between varieties over finite fieldsand was first proven by Serge Lang in the fifties.We explain the result and give a new proof usingtwists.

15.8. On the irregular primes with respect to EulerpolynomialsMin Sha (Macquarie University)16:00 Thu 14 December 2017 – W5C 211Dr Min Sha

An odd prime p is called irregular with respect toEuler polynomials if it divides the numerator ofone of the numbers E1(0),E3(0), . . . ,Ep−2(0), whereEn(x) is the n-th Euler polynomial. As in the clas-sical case, we link the regularity of primes to thedivisibility of some class numbers. Besides, weprove that more than half of primes are irregularwith respect to Euler polynomials.This is joint work with Su Hu and Min-Soo Kim.

15.9. Primes and squares — in less than two pages!Timothy Trudgian (UNSW Canberra)16:00 Wed 13 December 2017 – W5C 211Dr Timothy Trudgian

There are more sums of squares than primes. Ifyour favourite problem in primes is too hard, whynot make life easy and consider the similar prob-lem with sums of squares? Ah, but life is not al-ways so easy! I shall outline a proof from 1965,which is less than two pages long, and which usesnothing more than first-year calculus. Yet it stillgives the best known result on an old problem.

15.10. Distribution of αn +β modulo 1 over somearithmetic setKam Hung Yau (University of New South Wales)15:00 Wed 13 December 2017 – W5C 211Mr Kam Hung Yau

For any sufficiently small real number ε > 0, weobtain an asymptotic formula for the number ofsolutions to

∥αn +β∥ < x−ε

where n ≤ x is square-free with prime factors in[y, z] ⊆ [1, x] for infinitely many real number x.

15.11. Computing p-adic regulatorsYinan Zhang (Australian National University)12:00 Thu 14 December 2017 – W5C 211Dr Yinan Zhang

I will give an update on joint work with TommyHofmann (TU Kaiserslautern) to calculate valua-tions of p-adic regulators of totally real abelianfields of degree 5 and 7, including challengesfaced and interim results.

15.12. Mean-value results of Hecke L-functionswith fixed-order charactersLiangyi Zhao (University of New South Wales)16:30 Tue 12 December 2017 – W5C 211Dr Liangyi Zhao

We will present some mean-value results for fam-ilies of Hecke L-functions associated with charac-ters of fixed orders. These include first momentand non-vanishing results for Hecke L-functionsassociated with quadratic and quartic characters,as well as formulas for the distribution of low-ly-ing zeros of the same families of L-functions.These results are joint work with P.Gao.

107

16. Partial Differential Equations

16.1. Non-classical symmetry solution of nonlinearreaction–diffusion: soil–water with plant rootsPhilip Broadbridge (La Trobe University)15:00 Tue 12 December 2017 – C5A 229Prof Philip Broadbridge

For nonlinear reaction–diffusion equations in nspatial dimensions, there is a single restriction re-lating nonlinear diffusivity to nonlinear reaction,that always allows non-classical symmetry reduc-tion to a linear PDE. This allows us to constructa class of unsteady solutions for water flow in un-saturated soil, with logistic plant-root extractionterms.

16.2. Fluid structure system with boundaryconditions involving the pressureJean-Jerome Casanova (Monash University)16:30 Tue 12 December 2017 – C5A 229Mr Jean-Jerome Casanova

We study a coupled fluid-structure system involv-ing boundary conditions on the pressure. Thefluid is described by the incompressible Navier–Stokes equations in a 2D rectangular-type do-main where the upper part of the domain is de-scribed by a damped Euler–Bernoulli beam equa-tion. Existence and uniqueness of local strong so-lutions without assumptions of smallness on theinitial data is proved.

16.3. Global dynamics of generalized logisticequationsDaniel Daners (The University of Sydney)14:00 Tue 12 December 2017 – C5A 229Daniel Daners, Julián López-Gómez

We consider a parameter dependent parabolicpopulation model with diffusion and degeneratelogistic term allowing for refuges for the popula-tion. The aim is to remove quite restrictive geo-metric and smoothness conditions on the refugecommonly used in the existing literature. Thekey is a simplified construction of a supersolutionthat does not make use of any structure of therefuge.

16.4. Generalized Strichartz estimates forSchrödinger equationZihua Guo (Monash University)16:00 Tue 12 December 2017 – C5A 225Mr Zihua Guo

In this talk I will talk about the Strichartz esti-mates for the Schrödinger type equations.

16.5. A strong maximum principle on conesDaniel Hauer (The University of Sydney)16:30 Wed 13 December 2017 – C5A 229Dr Daniel Hauer

In this talk, I present a new strong maximumprinciple of harmonic functions on cones with aLipschitz continuous boundary and state someinteresting applications to the regularity of suchfunctions on polyhedral domains.

16.6. Geometric asymptoticsNalini Joshi (The University of Sydney)15:00 Fri 15 December 2017 – C5A 229Prof Nalini Joshi

I will report on results obtained with Duister-maat, Howes and Radnovic for the completenessand connectedness of asymptotic behaviours ofsolutions of the first, second and fourth Painlevéequations in the limit x →∞, x ∈C. We prove thatthe complex limit set of solutions is non-empty,compact and invariant under the flow of the limit-ing autonomous Hamiltonian system, that the in-finity set of the vector field is a repellor for the dy-namics and obtain new proofs for solutions nearthe equilibrium points of the autonomous flow.The results rely on a realization of Okamoto’sspace; i.e., the space of initial values compactifiedand regularized by embedding in P2 through anexplicit construction of nine blow-ups.

16.7. A class of optimal transportation problemson the sphereQirui Li (Australian National University)16:00 Wed 13 December 2017 – C5A 229Dr Qirui Li

Optimal transportation problems have attractedmuch attention in last decade. The cost functionis always assumed to be bounded. In this talk,we will consider a class of optimal transporta-tion problems on the sphere with unbounded costfunctions. We will also discuss their applicationsin geometric optics and in convex geometry.

16.8. Bergman–Toeplitz operators on weaklypseudoconvex domainsJiakun Liu (University of Wollongong)14:00 Fri 15 December 2017 – C5A 229Dr Jiakun Liu

In this talk, we prove that for a large class of pseu-doconvex domains of finite type, the Bergman–Toeplitz operator Tψ with symbol ψ maps fromLp to Lq continuously, provided ψ is bounded by

108

16. Partial Differential Equations

K 1/q−1/p on diagonal with 1 < p ≤ q <∞, where Kis the Bergman kernel.This is a joint work with Tran-Vu Khanh andPhung Trong Thuc.

16.9. Variationality of PDEsGeoffrey Prince (Australian Mathematical SciencesInstitute)16:00 Thu 14 December 2017 – C5A 229Prof Geoffrey Prince

When can a system of PDEs be expressed in vari-ational form? And what can we say about theuniqueness of such variational forms? I will im-port some concepts from the ODE case to framethe problem and make some conjectures.This is joint work with Olga Rossi and Thoan Do.

16.10. Stability theory for semigroups using(Lp ,Lq ) Fourier multipliersJan Rozendaal (Australian National University)14:30 Fri 15 December 2017 – C5A 229Dr Jan Rozendaal

In this talk I will discuss some recent advances inthe stability theory for evolution equations. Mo-tivated by applications to rates of energy decayfor damped wave equations, in recent years therehas been a surge of interest in polynomial de-cay for C0-semigroups. One would like to deter-mine in a quantitative manner how spectral prop-erties of a semigroup generator correspond to de-cay rates of the associated semigroup. We will re-late this problem to operator-valued Fourier mul-tiplier theory and determine the optimal corre-spondence in the Hilbert space setting.This talk is based on joint work with M. Veraar(Delft University of Technology), and D. Seifert(Oxford University) and R. Stahn (TU Dresden).

16.11. The Sylvester equation and the ellipticKorteweg–de Vries systemYingying Sun (The University of Sydney)14:30 Tue 12 December 2017 – C5A 229Dr Yingying Sun

In this talk, I will introduce the Sylvester equa-tion and the elliptic potential Korteweg–de Vriessystem which is a multi-component extension ofthe potential Korteweg–de Vries equation. Weobtain solutions to the Sylvester equation firstand apply the results to construct solutions tothe elliptic potential Korteweg–de Vries systemvia generalised Cauchy matrix method. The con-struction involves solving thematrix elliptic curveequation by using Toeplitz matrix techniques,and analysing the solution of the Sylvester equa-tion in terms of Jordan normal forms. Further-more, we analyse the dynamics of the soliton so-lutions, which reveals some new features of the

elliptic system in comparison to the non-ellipticcase.

16.12. Volume preserving flow by powers of k-thmean curvatureYong Wei (Australian National University)15:30 Thu 14 December 2017 – C5A 229Dr Yong Wei

We consider the flow of closed convex hypersur-faces in Euclidean space with the speed given byany positive power of the k-th mean curvatureplus a global term chosen to impose a constraintinvolving the enclosed volume and the mixed vol-ume of the evolving hypersurface. We prove thatif the initial hypersurface is strictly convex, thenthe solution of the flow exists for all time and con-verges smoothly to a round sphere as the timegoes to infinity. No curvature pinching assump-tion is required on the initial hypersurface.This is joint work with Ben Andrews.

16.13. Recent progress on classical solutions forcompressible isentropic Navier–Stokes equationswith degenerate viscosities and vacuumShengguo Zhu (Monash University)16:00 Tue 12 December 2017 – C5A 229Dr Shengguo Zhu

In this talk, I will present our recent progress onthe well-posedness of classical solutions for mul-ti-dimensional compressible isentropic Navier–Stokes equations with density dependent viscosi-ties in a power law and vacuum, which is a long-standing open problem due to the very high de-generacy caused by the vacuum for this system.Some related open problems of high mathemati-cal interest for this systemwill also bementioned.

109


17.1. Bursty Markovian arrival processesAzam Asanjarani (AMSI/University of Melbourne)16:30 Wed 13 December 2017 – W5C 232Dr Azam Asanjarani, Dr Yoni Nazarathy

We call aMarkovian arrival process (MAP) burstyif both the squared coefficient of variation of in-ter-event times and the asymptotic index of dis-persion of counts are greater than unity. Thesimplest bursty MAP is a Hyper-exponential re-newal process (H-renewal process). Here, apply-ing Matrix analytic methods (MAM), we estab-lish further classes of MAPs as bursty MAPs: theMarkov modulated Poisson process (MMPP), theMarkov Transition counting process (MTCP) andtheMarkov switched Poisson process (MSPP). Ofthese, MMPP has been used most often in appli-cations, but as we illustrate, MTCP and MSPPmay serve as alternative models of bursty traffic.

17.2. Sampling via regenerative chain Monte CarloZdravko Botev (University of New South Wales)16:00 Tue 12 December 2017 – W5C 232Dr Zdravko Botev

Markov chain Monte Carlo (MCMC) is a well-known method for approximate simulation fromprobability densities. The method relies on con-structing a convergentMarkov chain—a discrete-time process belonging to the more general fam-ily of regenerative processes. In this talk we intro-duce an alternative sampling method that reliespurely on a convergent regenerative chain, whichis not necessarily Markovian. We call this newmethod regenerative chainMonte Carlo (RCMC).Using the total variation discrepancy, we analyzethe convergence of MCMC and RCMC samplersof length t . We find that, while traditional MCMCsamplers converge at an exponentially fast rate,the RCMC sampler converges at the polynomialrate of O(1/t 2). We argue that, despite this slowertheoretical rate, the RCMC sampler is a viable al-ternative to MCMC.

17.3. Stochastic integration in quasi-BanachspacesPetru A. Cioica-Licht (University of Otago)15:00 Tue 12 December 2017 – W5C 232Mr Petru A. Cioica-Licht

The goal of this talk is to motivate the devel-opment of a stochastic integral in quasi-Banachspaces and to sketch how it can be done. Themain difficulty comes from the fact that, otherthan Banach spaces, quasi-Banach spaces are notlocally convex. If time permits, I will also presentan application of this theory to the analysis of the

regularity of stochastic partial differential equa-tions.This is joint work with Mark C. Veraar (TU Delft)and Sonja G. Cox (University of Amsterdam)

17.4. The branching-ruin number and the criticalparameter of once-reinforced random walk on treesAndrea Collevecchio (Monash University)15:30 Thu 14 December 2017 – W5C 232Dr Andrea Collevecchio

The motivation for this paper is the study of thephase transition for recurrence/transience of aclass of self-interacting random walks on trees,which includes the once-reinforced randomwalk.For this purpose, we define a quantity, that wecall the branching-ruin number of a tree, whichprovides (in the spirit of Furstenberg, 1970, andLyons, 1990) a natural way to measure trees withpolynomial growth. We prove that the branch-ing-ruin number of a tree is equal to the criticalparameter for the recurrence/transience of theonce-reinforced random walk. We define a sharpand effective (i.e. computable) criterion char-acterizing the recurrence/transience of a largerclass of self-interacting walks on trees, providingthe complete picture for their phase transition.

17.5. Duality and convergence for binomialmarkets with frictionYan Dolinsky (Monash University)15:00 Fri 15 December 2017 – W5C 232Assoc Prof Yan Dolinsky

We prove limit theorems for the super-replica-tion cost of European options in a Binomialmodelwith friction. The dual representation for the su-per-replication cost in these models are obtainedand used to prove the limit theorems. In particu-lar, the existence of the liquidity premium for thecontinuous-time limit is proved.

17.6. Measure-valued population processes andtheir asymptoticsJie Yen Fan (Monash University)11:30 Thu 14 December 2017 – W5C 232Ms Jie Yen Fan

Population process in a general setting, whereeach individual reproduces and dies dependingon its age and type as well as the compositionof the entire population, offers a more realisticframework to population modelling. Formulat-ing the population process as a measure-valuedstochastic process allows us to incorporate suchdependence. We consider a family of such age-

110


and type-structure dependent population process-es indexed by some parameter K , which may rep-resent the carrying capacity, and give the asymp-totic behaviour as K increases; namely, the law oflarge numbers and the central limit theorem.This is joint work with Kais Hamza, Peter Jagersand Fima Klebaner.

17.7. Spatial decomposition for Brownian motionand SLE curvesLaurence Field (Australian National University)16:00 Thu 14 December 2017 – W5C 232Dr Laurence Field

Decomposition of a stochastic process in spa-tial terms is a way of representing the processin terms of its derived measures conditioned topass through specific points, which have naturalweights and can usually be understood in termsof a Girsanov change of measure.We begin with some simple examples of suchdecompositions in the case of Brownian motionbefore exhibiting results that can be obtainedfor the Schramm–Loewner evolution (SLE), theparadigmatic conformally invariant non-crossingrandom curve in two dimensions. We also indi-cate the application of these methods to the con-struction of loop measures.

17.8. General bootstrap random walksKais Hamza (Monash University)15:00 Wed 13 December 2017 – W5C 232Assoc Prof Kais Hamza

Given the increments of a simple symmetric ran-dom walk (Xn)n , we exhibit the most general wayof recycling these increments into a simple sym-metric random walk, (Yn)n , adapted to the filtra-tion of (Xn)n . We study the long term behaviorof a suitably normalized two-dimensional process(Xn ,Yn). In particular, we provide sufficient con-ditions for this process to converge to a two-di-mensional Brownian motion (possibly degener-ate). We also discuss cases in which the limit isnot Brownian.Joint work with Andrea Collevecchio, Meng Shiand Ruth Williams.

17.9. The long-term behaviour of an occupancyprocessLiam S. Hodgkinson (University of Queensland)16:30 Tue 12 December 2017 – W5C 232Mr Liam S. Hodgkinson

Treating a complex network as a large collec-tion of interacting entities has become a standardmodelling paradigm to account for the effects of

heterogeneity in real-world systems. Unfortu-nately, the increased precision realised by this ap-proach often comes at the expense of tractabil-ity, particularly when estimating and predictingthe long-term behaviour of the system. In thistalk, I shall consider this problem for a broad cat-egory of discrete time Markovian ‘occupancy pro-cesses’, where each of n entities possess one oftwo states: ‘occupied’ and ‘unoccupied’. By ap-pealing to deterministic and normal approxima-tions of the process, I will present a limit the-orem which, under certain assumptions, estab-lishes that an occupancy process tends towardsan approximate Gaussian random field equilib-rium in O(logn) time.

17.10. Random initial conditions in differentialequationsFima Klebaner (Monash University)14:00 Tue 12 December 2017 – W5C 232Prof Fima Klebaner

We give a result for approximation of non lin-ear stochastic processes as solutions of non lin-ear differential equations with random initial con-ditions. Solutions of ordinary differential equa-tions as limits of stochastic processes with a smallnoise on finite time intervals is a classical re-sult of Kurtz (1970). We show that when inter-vals increase to infinity then a similar approxima-tion holds, however the initial condition of theresulting differential equations is random H(W ).The randomness comes from an almost sure limitW of an approximating linear stochastic process,and enters a deterministic function H(x), obtainedfrom the deterministic flow. In some cases thefunction H can be given explicitly. This result hasapplications in biology, such as PCR and Evolu-tion models.

17.11. Invariance principle for biased bootstraprandom walksYunxuan Liu (Monash University)14:30 Wed 13 December 2017 – W5C 232Mr Yunxuan Liu

Our main goal is to study a class of processeswhose increments are generated via cellular au-tomata rule. Given the increments of a simplebiased random walk, a new sequence of (depen-dent) Bernoulli random variables is produced. Itis built, from the original sequence, according tocellular automata rule. Equipped with these twosequences, we construct two more according tothe same cellular automata rule. The construc-tion is repeated a fixed number of times yield-ing an infinite array (−K , . . . ,K ×N) of (depen-dent) Bernoulli random variables. Taking par-tial sums of these sequences, we obtain a (2K +1)

111


-dimensional process whose increments belongto the state space −1,12K+1.The aim of the paper is to study the long-termbehavior of this process. In particular, we estab-lish transience/recurrence properties and provean invariance principle. The limiting behavior ofthese processes depends strongly on the directionof the iteration and exhibits few surprising fea-tures.

17.12. On a class of bivariate phase-typedistributions and its applications in risk theoryOscar Peralta (Technical University of Denmark)12:00 Thu 14 December 2017 – W5C 232Mr Oscar Peralta, Dr Bo Friis Nielsen, Dr MogensBladt

A multivariate phase-type (MPH*) distributedvector can be characterised in terms of joint re-wards from a single underlyingMarkov jump pro-cess which in turn generates a phase-type dis-tribution. In this talk we exhibit a bivariatephase-type distribution in MPH* which admitsany given phase-type marginals and any given(feasible) correlation between its entries; its con-struction is based on elementary ideas regardingorder statistics. Applications of such a class of dis-tributions in risk modelling are discussed.

17.13. Convergence to extremal processes for Lévyprocesses with slowly varying canonical measureTanja Schindler (Australian National University)14:00 Fri 15 December 2017 – W5C 232Ross Maller, Tanja Schindler

A classical result by Feller states that a randomwalk with regularly varying tails with exponentα ∈ (0,2) lies in the domain of attraction of anα-stable law. Kasahara extended this result to thecase α= 0 in the following way. On the one hand,taking an α stable sum process to the power of αand letting α tend to zero, this process convergesto the reciprocal of an exponential random vari-able. On the other hand, considering the normedsum process for a random variable with slowlyvarying tails, this process converges to the recip-rocal of an exponential random variable as well.We transfer the results of Kasahara to continuoustime processes for a small time parameter. Fur-thermore, we generalise these results to trimmedversions of Lévy processes; i.e., we remove a fixednumber of largest jumps from the original pro-cess.This is work in progress with Ross Maller.

17.14. Bootstrap random walkMeng Shi (Monash University)14:00 Wed 13 December 2017 – W5C 232Miss Meng Shi

Consider a one-dimensional simple random walkX . We form a new simple symmetric randomwalk Y by taking sums of products of the incre-ments of X and study the two-dimensional walk(X ,Y ). We show that it is recurrent and when suit-ably normalized converges to a two-dimensionalBrownianmotion with independent components;this independence occurs despite the functionaldependence between the pre-limit processes. Theprocess of recycling increments in this way is re-peated and a multi-dimensional analog of thislimit theorem together with a transience resultare obtained.

17.15. Exploiting asymptotic structure for efficientrare-event estimation for sums of random variablesThomas Taimre (University of Queensland)16:00 Wed 13 December 2017 – W5C 232Dr Thomas Taimre, Patrick Laub

We consider the problem of estimating the right-tail probability of a sum of random variableswhen the density of the sum is not known explic-itly, but whose asymptotic behaviour is known.We embed this asymptotic structure into a simpleimportance sampling estimator, in which we con-sider the radial and angular components of thedistribution separately. The estimator and proce-dure are applicable in both the heavy- and light-tailed settings, as well as for dependent and inde-pendent summands. We illustrate the approachwith a series of examples.

17.16. Green’s function of a random lengthrandom walk on the torusZongzheng Zhou (Monash University)14:30 Fri 15 December 2017 – W5C 232Dr Zongzheng Zhou

It was generally believed that above upper crit-ical dimensions, the thermodynamic behaviourof the correlation functions of Ising model andself-avoiding walk (SAW) behave the same asthe Green’s function of the simple random walk(SRW). However, this connection naturally brokeon the torus. For Ising and SAW on the high-di-mensional torus, asymptotically the correlationfunction is a power-law for the short distance andreaches a plateau for the large distance. However,Green’s function for SRW on the torus is infinitysince it is recurrent on any dimensions. In thistalk, we will repair this broken connection by con-sidering a random-length random walk.

112

18. Representation Theory

18.1. Auslander–Dlab–Ringel algebras and RingeldualityKevin Coulembier (The University of Sydney)14:00 Tue 12 December 2017 – W5A 205Dr Kevin Coulembier

I will introduce a new class of quasi-hereditary al-gebras, containing in particular the Auslander–D-lab–Ringel (ADR) algebras. We show that thisnew class of algebras is preserved under Ringelduality, which determines in particular explicitlythe Ringel dual of any ADR algebra. As a spe-cial case of this theory, it follows that under veryrestrictive conditions an ADR algebra is Ringeldual to another one, which provides an alterna-tive proof for a recent result of Conde and Erd-mann.

18.2. On the Moy–Prasad filtration andsuper-cuspidal representationsJessica Fintzen (Institute for Advanced Study)15:00 Tue 12 December 2017 – W5A 205Dr Jessica Fintzen

The Moy–Prasad filtrations of p-adic groups playan important role in the representation theoryof p-adic groups. We will introduce the Moy–Prasad filtration and its quotients and indicatehow they form representations over the residuefield. We will then present new descriptions ofthese Moy–Prasad filtration representations thatare in some sense independent of the residue-field characteristic. As an application, we will ex-plain how these results lead to new super-cuspi-dal representations.

18.3. On the classification of toroidal circle planesDuy Ho (University of Canterbury)16:00 Wed 13 December 2017 – W5A 205Dr Duy Ho

We consider the problem of classifying toroidalcircle planes with respect to the dimension oftheir automorphism groups. With tools fromtopology, we prove that these groups are Liegroups of dimension at most 6. From the resultson flat Minkowski planes by Schenkel, we classifyplanes whose automorphism group has dimens-ion at least 4.In the case of dimension 3, we propose a frame-work for the full classification based on all pos-sible geometric invariants of the automorphismgroup. When the group fixes exactly one point,we characterise two cases completely with a newfamily of planes called (modified) strongly hyper-bolic planes and the family constructed by Artzyand Groh. Using these results, we determine the

automorphism group of the planes constructedby Polster.

18.4. Blattner’s conjecture as an index theoremPeter Hochs (The University of Adelaide)16:00 Tue 12 December 2017 – W5A 205Dr Peter Hochs

Let G be a semisimple Lie group with discreteseries, and K < G a maximal compact subgroup.Blattner’s conjecture, as proved by Hecht andSchmid, is a combinatorial formula for the mul-tiplicities of the irreducible representations of Kin the restriction to K of a discrete series repre-sentation of G. In work with Yanli Song, we showthat these multiplicities and the expressions forthem given by Blattner’s conjecture, are both in-dices of elliptic differential operators. By showingthat these two indices are equal, we find a newproof of Blattner’s conjecture.

18.5. Examples of mesopelagic LanglandscorrespondenceMasoud Kamgarpour (University of Queensland)15:30 Thu 14 December 2017 – W5A 205Dr Masoud Kamgarpour

The aim of the geometric Langlands program is toassociate to every connection on a curve a ‘Heckeeigensheaf’ on the moduli of bundles. There hasbeen a lot of progress in the case of regular andlogarithmic connections. However, the case ofirregular connections is less explored. I will ex-plain that the Beilinson–Drinfeld machinery forproducing Hecke eigensheaves goes through forcertain irregular connections on the projectiveline. Our approach uses crucially Xinwen Zhu’sgeneralisations of BD’s machinery to the wildcase.

18.6. Linear braidsAnthony Licata (Australian National University)16:00 Thu 14 December 2017 – W5A 205Assoc Prof Anthony Licata

The Artin groups associated to Coxeter groupshave a distinguished collection of elements, whichwe refer to as linear braids. The linear braidsare closely related to elements in the associatedCoxeter group, and they have some interestingalgebraic combinatorics and homological algebraassociated to them. In the talk, we’ll introducethese elements and state some conjectures con-cerning them.


113


18.7. Gerstenhaber structure of a class of specialbiserial algebrasBregje Pauwels (Australian National University)14:30 Tue 12 December 2017 – W5A 205Mx Bregje Pauwels

I will talk about a recent computation of the Ger-stenhaber structure on the Hochschild cohomol-ogy ring of a certain class of finite dimensionalalgebras. The algebras we consider are self-injec-tive special biserial algebras given by quiver andrelations over a field. In particular, we show thatthe Lie algebra of degree 1 elements embeds intoa direct sum of Virasoro algebras, and provide adecomposition of the degree-n cohomology as amodule over the degree-1 cohomology.This is joint work with Joanna Meinel, Van Ngu-yen, Maria Julia Redondo and Andrea Solotar.

18.8. Langlands duality for real groupsKari Vilonen (The University of Melbourne)15:00 Wed 13 December 2017 – W5A 205Prof Kari Vilonen

I will explain Langlands duality for real groups.This is joint work with Roman Bezrukavnikov.

18.9. The representation theory of symplecticsingularitiesBen Webster (University of Waterloo)14:00 Wed 13 December 2017 – W5A 205Ben Webster

There are a lot of non-commutative algebras outthere in the world, so if you want to study someof them, you have to have a theory about whichare especially important. One class I find partic-ularly interesting are non-commutative algebraswhich are ‘almost’ commutative and thus can bestudied with algebraic geometry, giving a roughdictionary between certain non-commutative al-gebras and certain interesting spaces. This leadsus to a new perspective on some well-known alge-bras, like universal enveloping algebras, and alsoto new ones we hadn’t previously considered.

18.10. Two-block Springer fibers and Springerrepresentations in type DArik Wilbert (University of Bonn/MPI Bonn)11:30 Thu 14 December 2017 – W5A 205Dr Arik Wilbert

We explain how to construct an explicit topo-logical model for every two-block Springer fiberof type D. These so-called topological Springerfibers are homeomorphic to their correspondingalgebro-geometric Springer fiber. They are de-fined combinatorially using cup diagrams whichappear in the context of finding closed formu-las for parabolic Kazhdan–Lusztig polynomials

of type D with respect to a maximal parabolic oftype A. As an application it is discussed how thetopological Springer fibers can be used to recon-struct the famous Springer representation in anelementary and combinatorial way.

18.11. Stabilisers of eigenvectors in complexreflection groupsSinead Wilson (The University of Queensland)12:00 Thu 14 December 2017 – W5A 205Ms Sinead Wilson

Complex reflection groups are finite subgroupsof unitary groups which are generated by com-plex reflections. They are a generalisation of realreflection groups. The invariant theory of irre-ducible real reflection groups is encoded in theeigenvalues of certain elements, called Coxeter el-ements, and conversely, Kostant showed (in thecase of Weyl groups) that Coxeter elements arecharacterised by a certain property of their eigen-values. Kostant’s result was refined by Kamgar-pour, who gives a more precise relation betweenthe eigenvalues of any element and the stabilisersof the corresponding eigenvectors. In this talk,we discuss a generalisation of Kamgarpour’s re-sult to complex reflection groups.

18.12. Chevalley groups and finite geometryJon Xu (The University of Melbourne)16:30 Wed 13 December 2017 – W5A 205Mr Jon Xu

In this talk, I will describe a relationship be-tween incidence structures and ovoids (from fi-nite geometry), and Chevalley groups and flag va-rieties (from representation theory). The motiva-tion for establishing this relationship is the workof Tits and Steinberg on the Suzuki–Tits ovoid.Through this relationship, the classical ovoid inthe Hermitian surface is precisely related to cer-tain points of a flag variety of a twisted Chevalleygroup. The rational normal curve in the projec-tive plane, the elliptic quadric in projective space,and the Suzuki–Tits ovoid also have similar in-terpretations. In each of these examples we ex-plicitly determine which points of the ovoid lie ineach Schubert cell of a corresponding flag variety.This is joint work with Arun Ram and John Bam-berg.


114


18.13. Towards a construction of higherdimensional loop GrassmanniansYaping Yang (The University of Melbourne)16:30 Tue 12 December 2017 – W5A 205Ivan Mirkovic, Yaping Yang, Gufang Zhao

I will talk about a construction of higher dimen-sional loop Grassmannians, in the frameworkof local spaces over Hilbert scheme of points.The notion of local spaces is a refined versionof the factorization space of Beilinson–Drinfeld.This construction has many applications, exam-ples including loop Grassmannians associated toKac–Moody groups, geometric Langlands dualityin higher dimensions. In dimension 1, this con-struction yields the recent reconstruction by IvanMirkovic of the usual loop Grassmannians fromsemi-infinite orbits. During my talk, I will mainlyfocus on the construction applied to dimension 2.I will briefly mention difficulties in dimension 3.This talk is based on my joint work with IvanMirkovic and Gufang Zhao.

18.14. The second fundamental theorem ofinvariant theory for the orthosymplectic supergroupYang Zhang (The University of Sydney)17:00 Wed 13 December 2017 – W5A 205Yang Zhang

In this talk, we will introduce a natural symmetricgroup action on the morphism spaces of Brauercategory. Hence as a particular morphism space,the Brauer algebra encodes the CSym-modulestructure. Using the representation theory ofsymmetric group, we obtain a diagrammatic de-scription for the kernel of the surjective algebrahomomorphism Fr : Br (m −2n) → EndOSp(V )(V ⊗r )from the Brauer algebra Br (m − 2n) onto the en-domorphism algebra EndOSp(V )(V ⊗r ) over the or-thosymplectic supergroup OSp(V ) with V =Cm|2n .This amounts to the second fundamental theo-rem of invariant theory for OSp(V ).

115

19. Stochastic Models and Applications

19.1. Comparing multivariate spectral densitiesAndrew Grant (Macquarie University)16:30 Wed 13 December 2017 – W5A 203Mx Andrew Grant

In this talk we present a test for determiningwhether two or more independent multivariatetime series are from stochastic processes withthe same spectral density, or the same spectralshape. Existing methods are nonparametric andare based on comparing smoothed periodogramsof the time series. The parametric test we intro-duce is based on fitting long-order vector autore-gressions and comparing the model parametersusing a likelihood ratio procedure. The theoret-ical properties of the estimation procedures willbe discussed and the behaviour of the test statis-tic demonstrated through simulation studies.

19.2. Multiple change-point detection in an AR(1)Process: comparison of different methodsLijing Ma (Macquarie University)17:00 Wed 13 December 2017 – W5A 203Miss Lijing Ma, Dr Georgy Sofronov

The multiple change-point detection problem intime series analysis, which may also be calleda segmentation or break-point problem, can befound in many different applications. As data arecollected over time, the statistical properties suchas the mean or the variance are more likely tochange along with data and it becomes very im-portant to identify the unknown number and lo-cations of change-points in a time series process.Many change-point detection methods rely onthe independent assumption, which could lead toinaccurate estimation of change-points, so thereis a clear need to develop segmentation methodsfor dependent time series. In this talk, we con-sider the cross-entropy algorithm with minimumdescription length information criterion to dealwith this problem. We compare a number of bestperforming computational methods with our pro-posed method for estimating unknown parame-ters of autoregressive data with several structuralbreaks. We provide extensive numerical exper-iments including artificially generated data andreal time series example to illustrate the useful-ness of our method.

19.3. Modelling multivariate financial time serieswith variance gamma innovationsThanakorn Nitithumbundit (The University ofSydney)16:00 Wed 13 December 2017 – W5A 203Mr Thanakorn Nitithumbundit

Modelling multivariate financial time series re-turns data is challenging since it exhibits prop-erties such as high kurtosis and slight skewnesswhich cannot be captured using the normal distri-bution. On the other hand, the variance gamma(VG) distribution can capture these properties ina parsimonious way. In this talk, we propose thevector autoregressive moving averagemodel withVG innovations to also capture the persistencefrom the autocorrelations and cross-correlationswhile also briefly explaining the unbounded like-lihood problem related to the parameter estima-tion involving the VG distribution. The model isthen applied to multiple cryptocurrency returns.

19.4. Binary segmentation methods for spatialclusteringNishanthi Raveendran (Macquarie University)17:30 Wed 13 December 2017 – W5A 203Nishanthi Raveendran, Georgy Sofronov

In this talk we present a method for spatial clus-tering, which is one of important problems in spa-tial data analysis. The aim is to identifying theboundaries of domains and their number. Theproblem arises in various applications includingdisease surveillance, spatial epidemiology, popu-lation genetics, landscape ecology and crime anal-ysis. In this study we focus on identifying homo-geneous domains in ecological datasets. We usebinary data indicating the presence or absence ofa certain plant species which are observed over atwo-dimensional lattice. We develop new meth-ods based on the binary segmentation algorithmwhich is a well-known multiple change-point de-tection method. We apply our algorithms toboth artificial and real datasets to illustrate theirusefulness. Our results show that the proposedmethodologies are effective in identifying multi-ple domains in spatial data.


116

19. Stochastic Models and Applications

19.5. More sensitive mixture detection using theempirical moment-generating functionMichael Stewart (The University of Sydney)14:30 Wed 13 December 2017 – W5A 203Dr Michael Stewart

The ‘higher criticism’ method of mixture detec-tion, first proposed by Donoho and Jin (2004),has been adapted and developed in a wide rangeof applied settings including multiple testing andfeature selection in classification problems. It hasbeen shown to possess a rough ‘optimality’ prop-erty. We provide a higher-order power analysisand show that in fact in the normal location mix-ture problem higher criticism does not attain the‘best possible’ power in an asymptotic sense, buta similar test that uses the empirical moment-generating function does. We give a very briefoutline of the theory behind this result.

19.6. Homogeneous wavelet expansions of somefractional Gaussian fieldsJustin Wishart (Macquarie University)15:00 Wed 13 December 2017 – W5A 203Dr Justin Wishart

Homogeneous, and ideally also non-homogen-eous, wavelet expansions of finite dimensionalfractional Brownian motion and fractional Brow-nian sheets are discussed. An example of multi-variate signal processing will be considered in thepresence of of fractional Brownianmotion/sheets.Time permitting, some convergence rates andrisk bounds will be discussed.

117

20. Topology

20.1. E3-algebra structure on the Davydov–Yetterdeformation complexMichael Batanin (Macquarie University)16:00 Wed 13 December 2017 – W5A 103Assoc Prof Michael Batanin

We show that the Davydov–Yetter deformationcomplex of a tensor category has a natural E3-alg-ebra structure.

20.2. Representations of fibered 3-manifolds usingflagsAlex Casella (The University of Sydney)15:00 Wed 13 December 2017 – W5A 103Mr Alex Casella

In 2007, Fock and Goncharov use ideal triangu-lations and flag structures to parametrise repre-sentations of the fundamental group of a punc-tured surface into PGL(m,C). When restricted toPGL(3,R), one recovers the holonomies of convexprojective structures. In this talk, we recall the ba-sics of this machinery and show a potential exten-sion to fibered 3-manifolds. As a consequence, werecover a CR-structure on the figure-eight knotcomplement due to Falbel.

20.3. The topological period–index conjecture foralmost complex 6-manifoldsDiarmuid Crowley (The University of Melbourne)14:00 Tue 12 December 2017 – W5A 103Diarmuid Crowley

The period–index conjecture for functions fieldsis a deep outstanding problem in algebraic geom-etry. Recently Antieau andWilliams formulated atopological version of the period index conjectureand proved that counter examples to the topolog-ical period index conjecture could lead to counterexamples to the (algebraic) period–index conjec-ture.In this talk I report on joint work with MarkGrant where we investigate the topological pe-riod–index conjecture for almost complex 6-man-ifolds.

20.4. Contractibility of nerve of classifiers andapplication to the Turchin–Dwyer–Hess theorem(with Michael Batanin)Florian Martin Laurent De Leger (MacquarieUniversity)16:30 Wed 13 December 2017 – W5A 103Mr Florian Martin Laurent De Leger

A result of Dwyer–Hess and Turchin asserts thatthere is a weak equivalence of double loop spaceof homotopy mapping spaces from associativity

operad Ass to any non-symmetric operad O withO(0) = O(1) = 1 and the homotopy mapping spaceof weak Ass-bimodule maps from Ass to O. Wewill explain how this result is equivalent to thecontractibility of the nerves of certain categoriesdefined by universal property. We will also give abrief sketch of the proof of this contractibility.

20.5. Geometric triangulations of knotcomplementsSophie Ham (Monash University)16:30 Tue 12 December 2017 – W5A 103Miss Sophie Ham

To date, it remains an open conjecture that ev-ery knot complement has a geometric triangula-tion. This conjecture has been proved for a classof knots known as 2-bridge knots. However, it isnot known for many additional classes of knots.We are interested in proving this conjecture fora large class of knots called highly-twisted knots.These knots are built from a class of links knownas fully-augmented links.In this talk, we discuss some of the propertiesof fully-augmented links. Since highly-twistedknots are obtained by Dehn filling fully-augmen-ted links, we are also interested in triangulationsof Dehn fillings. This has been studied in detail byGuerituad and Schleimer. We discuss their mainresult and describe a certain combinatorial trian-gulation of a solid torus. We then extend theirresult to the Borromean rings. We end with a dis-cussion of possible extensions.

20.6. Contact manifolds with boundaryJoan Licata (Australian National University)14:00 Wed 13 December 2017 – W5A 103Dr Joan Licata

Contact geometry— the odd-dimensional analo-gue of symplectic geometry—equips (2n+1)-dim-ensional manifolds with additional geometric str-ucture. When n = 1, this leads to geometric refine-ments of questions classically studied by low-di-mensional topology. In this talk, I’ll describesome of the challenges and successes of extend-ing this story from closed manifolds to manifoldswith boundary, highlighting existing results by avariety of researchers and also more recent workin progress with Mathews and with Vertesi.


118

20. Topology

20.7. Knot invariants and cluster algebrasDaniel Mathews (Monash University)16:00 Tue 12 December 2017 – W5A 103Dr Daniel Mathews

Cluster algebras are a type of commutative ringappearing across mysteriously many different ar-eas of mathematics, with numerous intriguingproperties. Recently, cluster algebras have beennoticed arising in certain knot invariants. We’lldiscuss some of these developments.

20.8. Classifying 8-dimensional E-manifoldsCsaba Nagy (The University of Melbourne)15:00 Tue 12 December 2017 – W5A 103Mr Csaba Nagy

A manifold M is called an E-manifold if it hashomology only in even dimensions; i.e., we haveH2k+1(M ; Z ) = 0 for all k. Examples include com-plex projective spaces and complete intersections.We consider some 8-dimensional simply-connec-ted E-manifolds. Those that have Betti numbersb2 = r and b4 = 0, and fixed second Stiefel–Whit-ney class w2 = w form a group Θ(r, w). This groupacts on the set of E-manifolds with b2 = r andw2 = w , and the set of orbits is classified by theclassical cohomological invariants.In this talk I will review the classification of theset of orbits and the calculation of Θ(r, w). I willalso report on the Q-form conjecture, which al-lows us to study the orbits.

20.9. A new cohomology class in the moduli spaceof stable curvesPaul Norbury (The University of Melbourne)16:00 Thu 14 December 2017 – W5A 103Prof Paul Norbury

I will define a cohomology class in the modulispace of stable curves. It shares many beauti-ful properties analogous to properties of inter-section numbers on the moduli space proven inthe Witten–Kontsevich theorem. Applications ofthis new cohomology class to various enumera-tive problems will be given.

20.10. Metrics with prescribed curvature ongeneralised flag manifoldsArtem Pulemotov (The University of Queensland)12:00 Thu 14 December 2017 – W5A 103Dr Artem Pulemotov

We will discuss the problem of recovering a Rie-mannian metric from its Ricci curvature. Primar-ily, we will talk about the solvability of this prob-lem on generalised flag manifolds, a type of ho-mogeneous spaces that admit a convenient de-scription in terms of Dynkin diagrams.This is based on joint work withMark Gould (TheUniversity of Queensland).

20.11. An action of the Grothendieck–TeichmüllergroupMarcy Robertson (The University of Melbourne)11:30 Thu 14 December 2017 – W5A 103Dr Marcy Robertson

The Grothendieck–Teichmüller group is an ex-plicitly defined group first introduced by Drin-feld which is closely related to (and conjecturallyequal to) the absolute Galois group. The ideawas based on Grothendieck’s suggestion that oneshould study the absolute Galois group by relat-ing it to its action on the Teichmüller tower offundamental groupoids of the moduli stacks ofgenus g curves with n marked points.In this talk, we give a re-imagining of the genus-zero Teichmüller tower in terms of a profinitecompletion of the framed little 2-discs operad.Using this reinterpretation, we show that the ho-motopy automorphisms of this model for the Te-ichmüller tower is isomorphic to the (profinite)Grothendieck–Teichmüller group. We then showa non-trivial action of the absolute Galois groupon our tower. This talk will be aimed at a generalaudience and will not assume any previous know-ledge of the Grothendieck–Teichmüller group oroperads.This is joint work with Pedro Boavida de Britoand Geoffroy Horel.

20.12. Higher Teichmüller theory on closed andfinite-area surfaces using techniques of Fock andGoncharovDominic Tate (The University of Sydney)14:30 Wed 13 December 2017 – W5A 103Mr Dominic Tate

In 2007 Fock and Goncharov devised an elegantmeans of parameterising the space of framed con-vex projective structures on a non-compact sur-face S of negative Euler characteristic. This is ageneralization of the classical Teichmüller spacewhich has been the subject of extensive study inthe field of geometric topology and complex anal-ysis and more recently, cluster algebras and dy-namical systems.I use the work of Fock andGoncharov to present anew proof of Marquis’ (2011) result showing thatthe dimension of the subspace of convex projec-tive structures on S, where S has n > 0 ends andgenus g > 0, is 16g − 16 + 6n. To this end I ex-plore elementary proofs of Marquis’ results in de-termining conditions for a set to have finite areain Hilbert geometry and the relation between thisgeometry and the SL(3,R)-character variety.This is part of a joint project with Alex Casella andStephan Tillmann.


119

20. Topology

20.13. Twisted Donaldson invariantsHang Wang (The University of Adelaide)15:30 Thu 14 December 2017 – W5A 103Dr Hang Wang

Donaldson’s polynomial invariants are topologi-cal invariants for compact closed four manifoldsand have important applications in smooth struc-tures for fourmanifolds. We introduce the notionof twisted Donaldson invariants by implementingfundamental groups in the construction of Don-aldson’s invariants, together with ‘examples andapplications’ when the fundamental group is thegroup of integers.This is joint work with T. Kato and H. Sasahira.

120

21. LATEX and beyond

21.1. The Register! conference registration systemJohn Banks (The University of Melbourne)12:00 Thu 14 December 2017 – W5C 221Dr John Banks

Register! was originally created to handle regis-trations for a small meeting held at La TrobeUniversity in 2006, and then upgraded for the2007 AustMS Annual Meeting. It has gradu-ally evolved since that time. It has so far beenused for 39 mathematics meetings including allAustMS Annual Meetings since 2007, except forthe 2008 meeting which was a joint meeting heldin New Zealand. It allows conference participantsto register and submit their abstracts in LATEX.Abstracts are automatically typeset and becomeavailable for display on the conference web sitealong with conference participation, events par-ticipation, the conference timetable and so on. Inaddition to general registration administration,sessionmanagement and conference timetabling,conference administrators use Register! to createthe LATEX code for the conference booklet. Thisrepresents a huge saving in the amount of workrequired to produce the conference booklet.This talk is intended primarily for participantswho have used the system or expect to use it infuture. It will start with an overview of the his-tory and functionality of Register!. It is envisagedthat this will be sufficiently brief to allow plentyof time for questions, discussion and proposal ofideas for future development.

21.2. Automated assessment by means ofcomputer algebra, LATEX and PDF formsDmitry Demskoi (Charles Sturt University)15:30 Thu 14 December 2017 – W5C 221Dr Dmitry Demskoi

I will explain a method of creating mathemat-ics assessments using a computer algebra system(e.g., Maple). The method requires some pro-gramming by the lecturer to generate individu-alised assessments that can also be automaticallymarked. I will explore the potential benefits ofthis method to both students and teaching staff.

21.3. Authoring ‘Tagged PDF’ documents withLATEXRoss Moore (Macquarie University)11:30 Thu 14 December 2017 – W5C 221Dr Ross Moore

‘Tagged PDF’ is at the basis of modern PDF stan-dards, in particular those supporting ‘Accessibil-ity’. As yet there are no standard LATEX packages

for this, yet it is possible to create some docu-ments that validate against themodern standardsPDF/A (Archivability) and PDF/UA (UniversalAccessibility). In this talk I will present such ex-amples, using them to demonstrate some of theadvantages that come with tagging both contentand structure within a PDF document.

121

Index

Afsar, Zahra (9.1), 90Al-shakarchi, Shaymaa Shawkat Kadhim (9.2), 90Albrecht, Amie (3.1), 69Angelova, Maia Nikolova (12.1), 97Angelova, Maia Nikolova (14.1), 104Antown, Fadi (7.1), 83Araujo, Robyn Patrice (12.2), 97Armstrong, Becky (9.3), 90Armstrong, Lyn (8.1), 85Asanjarani, Azam (17.1), 110Assis, Michael (14.2), 104Assis, Michael (6.1), 80

Badziahin, Dzmitry (15.1), 106Balasuriya, Sanjeeva (7.2), 83Banks, John (21.1), 121Batanin, Michael (20.1), 118Benkart, Georgia (1.1), 64Botev, Zdravko (17.2), 110Bourke, John (4.1), 73Bradford, Elizabeth (9.4), 90Brander, David (5.1), 77Brix, Kevin Aguyar (9.5), 90Broadbridge, Philip (16.1), 108Brownlowe, Nathan (9.6), 91Bryan, Paul (10.1), 93Bui, Anh (11.1), 95Burke, Jesse (4.2), 73

Campbell, Alexander (4.3), 73Cannon, John (2.1), 67Carberry, Emma (5.2), 77Casanova, Jean-Jerome (16.2), 108Casella, Alex (20.2), 118Chen, Zeying (14.3), 104Cheng, Hanz Martin (6.2), 80Choie, YoungJu (1.2), 64Cioica-Licht, Petru A. (17.3), 110Clancy, Kieran (13.1), 101Collevecchio, Andrea (17.4), 110Corwin, Ivan (1.3), 64Coulembier, Kevin (18.1), 113Cowling, Michael (1.4), 64Crimmins, Harry (7.3), 83Crnkovic, Bojan (7.4), 83Crowley, Diarmuid (20.3), 118Crowley, Diarmuid (4.4), 73

Daners, Daniel (16.3), 108Dao, Minh N. (13.2), 101De Leger, Florian Martin Laurent (20.4), 118De Sterck, Hans (1.5), 64De Sterck, Hans (6.3), 80Demskoi, Dmitry (21.2), 121Dhindsa, Harkirat (8.2), 85Dodd, Roland (8.3), 85Dolinsky, Yan (17.5), 110Dragomir, Silvestru Sever (9.7), 91Droniou, Jerome (6.4), 80Du, Yihong (1.6), 65Dullin, Holger (7.5), 84

East, James (2.2), 67

Eberhard, Andrew (13.3), 101Ehler, Martin (6.5), 81Elder, Murray (2.3), 67Eshragh, Ali (13.4), 101

Fan, Jie Yen (17.6), 110Ferov, Michal (2.4), 67Field, Laurence (17.7), 111Fintzen, Jessica (15.2), 106Fintzen, Jessica (18.2), 113Fok, Chi-Kwong (4.5), 73Forrester, Peter (15.3), 106Frankowska, Hélène (1.7), 65Frey, Dorothee (11.2), 95

Gaitsgory, Vladimir (13.5), 101Ganji, Masoud (5.3), 77Garbali, Alexandr (14.4), 104Garner, Richard (4.6), 73Globke, Wolfgang (5.4), 77Gover, Rod (5.5), 77Grant, Andrew (19.1), 116Gray, Catheryn (12.3), 97Green, Christopher (5.6), 78Greenhill, Catherine (1.8), 65Guo, William (8.4), 86Guo, Zihua (16.4), 108

Hallam, Michael Alexander (4.7), 74Ham, Sophie (20.5), 118Hamza, Kais (17.8), 111Hauer, Daniel (11.3), 95Hauer, Daniel (16.5), 108Hegland, Markus (6.6), 81Hendriksen, Michael (12.4), 98Hickson, Roslyn (3.2), 69Hill, Dilshara (8.5), 86Ho, Duy (18.3), 113Hochs, Peter (18.4), 113Hochs, Peter (9.8), 91Hodgkinson, Liam S. (17.9), 111Huang, Jinghao (9.9), 91Hussain, Mumtaz (15.4), 106

Intepe, Gizem (8.6), 86Isenberg, Jim (10.2), 93

Jackson, Deborah (8.7), 86Jenner, Adrianne (12.5), 98Joshi, Nalini (16.6), 108Jovanoski, Zlatko (3.3), 69

Kamgarpour, Masoud (18.5), 113Kaw, Aaron Jordan (12.6), 98Khusyairi, Hafiz (2.5), 67Kim, Peter (12.7), 98King, Deborah (8.8), 87Klebaner, Fima (17.10), 111Kumbhari, Adarsh (12.8), 99

Lack, Stephen (4.8), 74Lamichhane, Bishnu (6.7), 81Lanari, Edoardo (4.9), 74Lay, Jeffrey (15.5), 106

122

Index of Speakers

Le Gia, Quoc Thong (6.8), 81Li, Guoyin (13.6), 102Li, Huanhuan (4.10), 74Li, Qirui (10.3), 93Li, Qirui (16.7), 108Licata, Anthony (18.6), 113Licata, Joan (20.6), 118Lin, Daniel (4.11), 74Lindstrom, Scott (13.7), 102Liu, Jiakun (16.8), 108Liu, Yunxuan (17.11), 111Loch, Birgit (8.9), 87Lonsdale, Heather (8.10), 87Ly, Fu Ken (11.4), 95

Ma, Lijing (19.2), 116Macourt, Simon (15.6), 106Maehara, Yuki (4.12), 75Majchrowski, Alexander (10.4), 93Mampusti, Michael Arthur (9.10), 91Mangazeev, Vladimir (14.5), 104Mathews, Daniel (20.7), 119McDougall, Robert (2.6), 68Meagher, Stephen (15.7), 107Mills, Stephanie (11.5), 95Mills, Terence (8.11), 87Mohammadian, Sogol (13.8), 102Moore, Ross (21.3), 121Murray, John (12.9), 99

Nagy, Csaba (20.8), 119Nagy, Csaba (4.13), 75Nasrawi, Abrahim Steve (14.6), 104Nelson, Mark (12.10), 99Nelson, Mark (3.4), 69Nitithumbundit, Thanakorn (19.3), 116Norbury, Paul (20.9), 119

Ogilvie, Ross (10.5), 93Okounkov, Andrei (1.9), 65Ong, Marielle (5.7), 78Osborn, Judy-anne (8.12), 88Ottazzi, Alessandro (11.6), 96Ottazzi, Alessandro (5.8), 78

Parkinson, Alex (13.9), 102Pauwels, Bregje (18.7), 114Pedersen, Thomas (9.11), 91Peralta, Oscar (17.12), 112Phillips, Collin Grant (8.13), 88Pineda-Villavicencio, Guillermo (13.10), 102Pollett, Philip Keith (1.10), 65Pooladvand, Pantea (12.11), 99Prince, Geoffrey (16.9), 109Pulemotov, Artem (10.6), 93Pulemotov, Artem (20.10), 119Pullen, Ainsley (2.7), 68

Quella, Thomas (14.7), 105

Radnovic, Milena (7.6), 84Ramagge, Jacqui (9.12), 92Randall, Matthew (5.9), 78Raveendran, Nishanthi (19.4), 116Robertson, Marcy (20.11), 119Robertson, Marcy (4.14), 75Rose, Danya (12.12), 100Roshchina, Vera (13.11), 103Rozendaal, Jan (11.7), 96Rozendaal, Jan (16.10), 109

Sagradian, Martin (3.5), 70Schindler, Tanja (17.13), 112

Schindler, Tanja (7.7), 84Schmalz, Gerd (5.10), 78Sha, Min (15.8), 107Shi, Meng (17.14), 112Sierakowski, Adam (9.13), 92Sikora, Adam (11.8), 96Sims, Aidan (9.14), 92Siu, Timothy (7.8), 84Sloan, Ian (6.9), 81Small, Michael (1.11), 66Small, Michael (1.12), 66Smith, Paul (3.6), 70Smith, Rebecca (8.14), 88Spong, Matthew James (4.15), 75Stewart, Michael (19.5), 117Stokes, Tim (2.8), 68Stokes, Yvonne (1.13), 66Street, Ross Howard (4.16), 75Sukochev, Fedor (9.15), 92Sun, Yingying (16.11), 109

Taimre, Thomas (17.15), 112Tate, Dominic (20.12), 119Thai Doan, Chuong (13.12), 103Thiang, Guo Chuan (14.8), 105Thiang, Guo Chuan (9.16), 92Thornton, Lauren (2.9), 68Tisdell, Chris (8.15), 89Topal, Turker (3.7), 70Trudgian, Timothy (15.9), 107Tulunay, Ilknur (3.8), 71

Verity, Dominic (4.17), 76Verma, Geetika (9.17), 92Vilonen, Kari (18.8), 114Vinogradova, Elena (3.9), 71Voineagu, Mircea (4.18), 76

Walker, Charles (4.19), 76Wang, Hang (20.13), 120Wang, Hang (9.18), 92Wang, Yucang (8.16), 89Ward, Lesley (5.11), 79Watson, Michael Greg (12.13), 100Webster, Ben (18.9), 114Wei, Yong (10.7), 94Wei, Yong (16.12), 109Wilbert, Arik (18.10), 114Wilson, Sinead (18.11), 114Wishart, Justin (19.6), 117Wong, Thomas (8.17), 89Wormell, John (7.9), 84

Xiong, Changwei (10.8), 94Xu, Jon (18.12), 114

Yang, Yaping (18.13), 115Yang, Yaping (4.20), 76Yau, Kam Hung (15.10), 107

Zhang, Erchuan (10.9), 94Zhang, Lele (Joyce) (3.10), 71Zhang, Xin (14.9), 105Zhang, Yang (18.14), 115Zhang, Yinan (15.11), 107Zhang, Zhou (10.10), 94Zhao, Liangyi (15.12), 107Zhou, Maolin (11.9), 96Zhou, Zongzheng (14.10), 105Zhou, Zongzheng (17.16), 112Zhu, Jonathan Julian (10.11), 94Zhu, Shengguo (16.13), 109Zhu, Song-Ping (3.11), 72

123

program and abstractsweb.science.mq.edu.au/~ross/taggedpdf/program/master... · 2017. 12. 14. ·...

Documents