The 2013 SFU Symposium on Mathematics and Computation was a showcase of research in computational mathematics at SFU, UBC, and UVic.
Program Schedule
Date: Wednesday, August 7th, 2013 Location: The IRMACS Centre, Simon Fraser University
Time | Event or Speaker | Title of Talk |
---|---|---|
9:00am | Registration and Welcome Coffee |
|
9:30am | Lily Yen (Capilano) |
Automation for the generating series of coloured set partitions |
10:15am |
Pavol Hell (SFU) | |
11:00am | Morning Coffee and Poster Setup | |
11:15am | Poster Session and Judging | |
12:15pm | Buffet Lunch |
|
1:15pm | Alexandre Bouchard-Côté (UBC) | Inference algorithms for continuous time Markov chains over large state spaces |
2:00pm | Roberto Armenta (SFU) |
High-Order Finite-Difference Methods for Modelling Electromagnetic Wave Propagation |
2:45pm | Afternoon Coffee | |
3:00pm | Robert Bridson (UBC) | Simulating Smoke without Volumes |
3:45pm | Award Ceremony | Awards for Putnam participants, Undergraduate Research Prize recipients, Operations Research Team Award, and Poster Prizes. |
4:15pm | Poster Presentations by Award Winners | |
4:30pm | Closing Remarks |
High-Order Finite-Difference Methods for Modelling Electromagnetic Wave Propagation
Finite-difference methods are a popular choice for solving systems of partial differential equations (PDEs) numerically. Throughout my work, I employ finite-difference methods to solve the various systems of PDEs that arise in common electromagnetic problems. One of the most important recent developments in finite-difference methods has been the use of finite-difference approximations with an increasable order of accuracy. The ability to increase the order of accuracy of the employed approximations can considerably improve performance; however, to exploit high-order approximations effectively, it is necessary to clearly understand how to incorporate boundary conditions. This issue, which stands as the biggest barrier to the widespread adoption of high-order methods, will be the subject of the talk.
Simulating Smoke without Volumes
In computer graphics, and visual effects in particular, smoke simulation has become a standard tool. Typically it is modeled with incompressible fluid flow on a 3D grid, tracking soot concentration and velocity in the air, and calculating buoyancy and pressure forces to evolve it forward; volume renderers can take the soot concentration as input to produce the final images. However, this doesn't scale very well, particularly to real-time applications like video games where even the volume rendering alone is unacceptably expensive relative to the rest of the application. This calls for a little more mathematical analysis and algorithmic creativity! In many circumstances, we can model the soot concentration as uniformly smoky inside a region sharply bounded by a dynamically evolving surface; vorticity likewise provides a much more efficient representation of the velocity field. Avoiding any use of volume data, we can get to interactive simulation and highly efficient real-time rendering.
Inference algorithms for continuous time Markov chains over large state spaces
Continuous time Markov chains (CTMCs) is a fundamental modeling tool in time series analysis, phylogenetics and many other areas of statistics. In most applications, simplifying assumptions are typically made to reduce the state space of the CTMCs to a finite and typically small collection of objects (in phylogenetics, for example, the four nucleotides). However, new questions and new data types motivate the development of CTMCs over strings, graphs and other countably infinite spaces. In this talk, I will describe some of our recent work on models and algorithms for analyzing CTMCs over countably infinite space. The first part of the talk will be devoted to the Poisson Indel Process, a model for string-valued CTMCs, and the second part, on inference on CTMCs over other countably infinite spaces. I will focus on applications in phylogenetics, but many of the algorithms and models have potential uses in other branches of applied statistics.
Combinatorial dichotomy classifications
In classifying the complexity of certain homomorphism problems, it sometimes turns out that it is the presence of a combinatorial obstruction in the target structure that causes a problem to become intractable. I will discuss several recent results of this type, including recent joint work with Egri, Larose, and Rafiey.
Automation for the generating series of coloured set partitions
The equidistribution of many crossing and nesting statistics exists in several combinatorial objects like matchings, set partitions, permutations, and embedded labelled graphs. The enumeration of such objects according to their crossing or nesting number has been a challenge, often resulting in hard to solve functional equations. When both nesting and crossing numbers are bounded, the generating series are rational for (arc-)colouredmatchings, set partitions, and permutations shown by Chen and Guo, Marberg, and Yen respective. We describe algorithms implemented in Maple that give the rational generating series for non-crossing, non-nesting, c-coloured set partitions and permutations. The success of the implementation leads to the possibility of automation for more complicated structures and provides new directions of attack for previously unsolved functional equations.
The SFU Mathematics Department invites undergraduate and graduate research students, postdoctoral fellows and faculty members to participate in the 2013 SFU Symposium on Mathematics and Computation Poster Session.
The only requirement is that the poster has mathematics in it. It may be applied, pure, computational or experimental mathematics. If you have already prepared a poster for a presentation at another scientific meeting this year, and you would like to present it to members of the Department, this is an appropriate venue. If you wish to present a computer demo this is also possible.
There will be one prize of $200 (winner) and one prize of $100 (runner-up) for the best undergraduate poster, and one prize of $200 (winner) and one prize of $100 (runner-up) for the best graduate poster. Judging will be based on both content and presentation.
Poster titles must be submitted via the online registration form by August 1st, 2013. Presenters are responsible for printing their own poster.
The posters will be displayed in the IRMACS atrium. Poster presenters can set up their posters as early as 9:00am on August 7th, 2013. The poster and demo session will take place from 11:15am to 1:15pm. Awards will be made at 4:30pm, followed by a presentation of the winning undergraduate and winning graduate poster.
Name | Affiliation | Poster Title |
---|---|---|
Alan Wong | NSERC VPR, CECM, SFU | Finding Identities and Heuristics for Computing the Tutte Polynomial of a Graph |
Vijaykumar Singh | PIMS-SFU-UBC | On Mermin-type proofs of the Kochen-Specker theorem |
Clinton Innes | SFU | Modeling the influence of media in opinion dynamics |
Lee Safranek | SFU | Diffusion Geometry |
Graham Banero | SFU | Additive Complexity of Infinite Words |
Andrew Adams | SFU | Quantifying the Relationship between the HIV-1 Mutation Rate and Clinical Markers of Disease Progression |
Todd Muirhead | SFU Research Award Project Created an interactive fractal applet for Randall Pyke. | Simulating the chaos game to draw fractals interactively |
Sonja Surjanovic | SFU Statistics | Quantifying Uncertainty with Polynomial Chaos |
Colin Exley | Simon Fraser University | An Agent Based Approach to Modelling Chronic Oenders |
Marko Mitrovic | Simon Fraser University | Hilbert Bases in Matroids |
Avery Beardmore | Simon Fraser University | Boltzmann sampling of gene tree/species tree reconciliations |
Graham Moore | Simon Fraser University | Mathematical Modelling of Sap Flow |
Roberto Armenta | Simon Fraser University | High-Order Finite-Difference Methods for Modelling Electromagnetic Wave Propagation |
Jeremy J. Chiu | Simon Fraser University | Thermoregulation of Honeybees |
Wei Chen | Simon Fraser University Department of Mathematics | Determinants of Matrices With Polynomial Entries |
Matthew Gibson | Simon Fraser University NSERC USRA Undergraduate Research | GCD Computation for Dense Bivariate Polynomials |
Lena | This is the punish Long Island Kamaaaki-Yswaha | Where to Ride in Long Island blog for anyone who wants to essay out out most this matter. You observe so such its nigh wearing to fence with you (not that I truly would want…HaHa). You definitely put a new acrobatics on a content thats been engrossed roughly for eld. Fastidious foul, but uppercase! | This is the punish Long Island Kamaaaki-Yswaha | Where to Ride in Long Island blog for anyone who wants to essay out out most this matter. You observe so such its nigh wearing to fence with you (not that I truly would want…HaHa). You definitely put a new acrobatics on a content thats been engrossed roughly for eld. Fastidious foul, but uppercase! |
Peter Grypma | Trinity Western University | The SMART filter as an efficient data assimilation method in geophysical fluid dynamics |
Ryan Goldade | UBC | Real-Time Smoke and Fire using Triangle Meshes |
Marshall Law | USRA at SFU | Dynamic Field Theory: Models of Gazing Behavior |