Dalhousie University Mathematics Colloquium, 2012/13Mathematics Colloquiums are on Mondays, 3:30pm in room 319 in the Chase Building. There is an alternate time on Thursdays, 2:30pm.
AbstractsJeff Egger (Physics & Atmospheric Science, Dalhousie): "A gentle introduction to Adiabatic Quantum Computing"
Abstract: Quantum Computing seeks to exploit quantum effects to solve computational problems more efficiently than would be possible on a classical Turing machine. There are several ways of achieving this; of these, Adiabatic Quantum Computing is arguably the most unusual. I'll try to explain both how it works and how it differs from other approaches to Quantum Computing, all the while assuming a minimal base knowledge of Quantum Physics.
Abstract: In their celebrated paper of 1918, Hardy and Ramanujan derived an asymptotic formula for the number of partitions of a natural number n, as n tends to infinity. In this paper, they introduced the famous circle method, which later was applied to a galaxy of open questions in additive number theory. In this talk, we will re-visit this function through recent developments, most notably via an algebraic formula discovered by Bruinier and Ono. This allows us to get the same asymptotic as Hardy and Ramanujan but without the circle method. This is joint work with Michael Dewar.
Abstract: We consider a dense random graph with N vertices. The edge between a pair of vertices can be either present or absent. The probability is p for any edge to be present and independently so for different edges. We can count the number of triangles or other finite graphs that occur as subgraphs in our large graph. Although there is a law of large numbers that provides an estimate of the count, one can have graphs where the count is off. This is a rare event with small probability. The question is to understand how small this probability is and what it implies for the random graphs. For example, if we have more triangles than normal, do we necessarily have more edges?
Abstract: A 'k-cube' B=(R1,R2,...,Rk) is defined to be the Cartesian product R1 × R2 ×... × Rk, where each Ri is a unit length closed interval on the real line. For example, a unit length closed interval on the x axis is a 1-cube, a square with its sides parallel to the x and y axes is a 2-cube and so on. A graph G has a 'k-cube representation' if there exists a function f that maps each vertex in G to a k-cube in ℝk such that, for all vertices u, v, the pair uv is an edge if and only if f(u) intersects f(v). Thus, a cube representation gives a geometric representation of a graph. The 'cubicity' of a graph G, denoted by cub(G), is the minimum positive integer k such that G has a k-cube representation. In this talk we use probabilistic techniques to show upper bounds for the cubicity of a graph.
Abstract: Representation growth is a branch of asymptotic group theory which studies infinite groups by studying the sequence of the number of irreducible representations of dimension n as n grows, usually encoding this data into something called a representation zeta function. This talk will give a general, mostly non-technical introduction to the subject of representation growth, in particular the representation growth of nilpotent groups. Two methods of calculating these representation zeta functions of nilpotent groups will be introduced; a general approximative method based on the Kirillov orbit method, and a case-specific constructive method.
Abstract: In this talk I will explain how to incorporate the new theory of equivariant moving frames for Lie pseudo-groups into Vessiot's method of group foliation of differential equations. The result is a completely algorithmic and symbolic procedure for finding invariant, partially invariant and non-invariant solutions of differential equations admitting a symmetry group.
Abstract: The minimal polynomial over the rationals of a rational number is readily determined. Indeed, it is simply the unique monic linear polynomial having the rational number as its root. It is clear that it is not nearly as straightforward to determine the minimal polynomial of an irrational algebraic number, even if it is assumed to have a rational parameter such as real part, imaginary part or modulus. In this talk, we completely characterize such minimal polynomials, as well as those having a root with two or three of these properties. Along the way, we stumble upon a few unexpected and pleasing consequences.
Abstract: Named after the German mathematician Wilhelm Killing (1847-1923), Killing vectors are generators of infinitesimal isometries on a manifold. Their generalization, Killing tensors, have many important applications in mathematical physics, such as Hamilton-Jacobi theory. The properties of Killing tensors or ordered tuples of Killing tensors which remain unchanged under a group action is the central idea in the Invariant Theory of Killing Tensors. In this talk I will describe its application to orthogonal separation of the Hamilton-Jacobi equation, and demonstrate how the theory can be used to give new insight into the geometry of multiseparable and superintegrable Hamiltonian systems.
Abstract: Classical orthogonal polynomials are defined as polynomial eigenfunctions of Sturm-Liouville problems. By allowing for the possibility that the resulting sequence of polynomial degrees admits a number of gaps we extend the classical families of Hermite, Laguerre and Jacobi to obtain novel polynomial families which are collectively known as Exceptional Orthogonal Polynomials. In this talk we will survey the origins and significant recent developments in this rapidly evolving field of analysis and mathematical physics.
Abstract: The real world can often be described through complex networks. Networks are a collection of nodes, joined by edges connecting pairs of nodes. The edges could represent physical connections in a computer network, friendships in a social network, and so on.
One currently popular topic in the study of networks is network motifs: sub-structures which occur with a significantly higher frequency than in randomized networks. It is thought that network motifs play a more important role in networks than arbitrary sub-structures; e.g., in a biological network, a network motif might be a sub-structure conserved by evolution.
Of the many methods used for finding network motifs, the mainstream method counts the number of copies of these sub-structures, and compares these numbers against the same counts in randomized networks. It relies implicitly on assumptions of independence between candidates and a normal distribution of the frequency counts. We show that these assumptions are incorrect. Furthermore, we show that definitions which have been conflated in the literature, e.g., frequency-based vs. concentration-based statistics and high-frequency vs. low-probability motifs, lead to diametrically opposite conclusions and, indeed, to ill-defined concepts.
In this talk, I will assume familiarity with basic probability theory (Poisson, binomial, multimodal distributions) and statistics (p-values, Z-scores). Only elementary graph theory knowledge will be required.
Abstract: Paul Erdős was born on March 26, 1913 in Budapest, Hungary. He was one the the 20th century's most prominent mathematicians, and was without doubt the most prolific mathematician since Euler. He made fundamental contributions to various areas of mathematics, including analysis, combinatorics, graph theory, number theory, and probability theory.
In this talk I will give a very brief outline of his main contributions in each of these areas. Obviously, I will not be able to go into details, and the talk will be accessible to a general mathematical audience, including graduate students and upper-year honours students.
I will say little about Erdős's unusual (travelling) lifestyle and the numerous stories and anecdotes about him; this will be left to a documentary, "N is a Number", which will be shown the following day, on his birthday (Tuesday, March 26, 3:30-4:30 pm in the Colloquium Room).
Abstract: In the fourth century, Pappus of Alexandria wrote Synagogue (The Collection), a textbook on geometry that he hoped would reinvigorate the subject. Unfortunately, it took 1200 years before Blaise Pascal extended one of Pappus's Theorems, anticipating the development of projective geometry. In this talk I'll explain the remarkable theorems of Pappus and Pascal and describe extensions due to Maclaurin, Moebius, and Cayley. I'll also describe my own recent work, an extension of Pascal's theorem to elliptic curves. I hope that the talk will be very accessible; it is partly based on my forthcoming article in the American Math Monthly.
Abstract: While the theory of orderable groups is an old subject, it has attracted renewed interest in recent years due to surprising connections with modern topology. Beginning with simple topological examples, I will explain how left-orderable groups came to the attention of 3-manifold topologists. From these examples related to 3-manifolds and from plenty of computational evidence, there was an observed correlation between left-orderability of fundamental groups, existence of certain nice foliations, and having 'nontrivial' Heegaard-Floer homology. This correlation has now been formulated as a precise conjecture. I will explain the conjecture and its significance, and progress towards its proof. The talk will be accessible for a mathematical audience with diverse backgrounds.
For updates and corrections, contact Peter Selinger.