Student Research Talks
Org:
William Verreault (Laval)
[
PDF]
 DIBA HEYDARY, Toronto
 AVLEEN KAUR, University of Manitoba
How the Friedrichs angle leads to lower bounds on the minimum singular value [PDF]

Estimating the eigenvalues of a sum of two symmetric matrices, say $P+Q$, in terms of the eigenvalues of $P$ and $Q$, has a long tradition. To our knowledge, no study has yielded a positive lower bound on the minimum eigenvalue, $\lambda_{\min}(P+Q)$, when $P+Q$ is symmetric positive definite with $P$ and $Q$ singular positive semidefinite. We derive two new lower bounds on $\lambda_{\min}(P+Q)$ in terms of the minimum positive eigenvalues of $P$ and $Q$. The bounds take into account geometric information by utilizing the Friedrichs angles between certain subspaces. The basic result is when $P$ and $Q$ are two nonzero singular positive semidefinite matrices such that $P+Q$ is nonsingular, then $\lambda_{\min}(P+Q)\geq (1\cos\theta_F)\min\{\lambda_{\min}(P),\lambda_{\min}(Q)\}$, where $\lambda_{\min}$ represents the minimum positive eigenvalue of the matrix, and $\theta_F$ is the Friedrichs angle between the range spaces of $P$ and $Q$. We will discuss the interaction between the range spaces for some pair of small matrices to elucidate the geometric aspect of these bounds. Such estimates lead to new lower bounds on the minimum singular value of full rank $1\times 2$, $2\times 1$, and $2\times 2$ block matrices in terms of the minimum positive singular value of these blocks. Some examples provided in this talk further highlight the simplicity of applying the results in comparison to some existing lower bounds. This is joint work with S. H. Lui (Manitoba).
 SINA MOHAMMADTAHERI, Concordia University
LassoInspired Variants of Weighted Orthogonal Matching Pursuit with Applications to Sparse HighDimensional Approximation [PDF]

Motivated by recent developments in sparse highdimensional approximation from Monte Carlo sampling, we propose new weighted generalizations of the Orthogonal Matching Pursuit (OMP) algorithm. Greedy algorithms of this type are more computationally efficient than convex optimizationbased methods for small values of the target sparsity and offer a promising way to mitigate the curse of dimensionality. In this work, we propose new theoreticallyjustified greedy selection criteria that are inspired by variants of the LASSO optimization program. A key issue is the robustness of the optimal choice of the tuning parameter with respect to the measurement noise, which is realized by the squareroot LASSO program in the context of convex optimization. We investigate how this property is carried over into the context of LASSObased OMP methods. Conducting numerical experiments in highdimensional polynomial approximation, we show the efficacy of the proposed algorithms by studying the recovery error as a function of the algorithm iterations. Moreover, we illustrate settings where the optimal choice of the tuning parameter is more robust against the noise.
 CONNOR RIDDLESDEN, University of Lethbridge
Combinatorial Approach to ABVpackets for $GL_n$ [PDF]

There exists a significant conjecture in the local Langlands correspondence that Apackets are ABVpackets. For the case $G=GL_n$, the conjecture reduces to ABVpackets of Arthur type being singletons, which is a specialisation of the wider conjecture known as the OpenOrbit conjecture. In this introductory talk, we will reduce this problem to a combinatorial study using multisegments, since there exists a natural relationship between the combinatorics of multisegments and the structure of ABVpackets. The talk will focus on introducing the MÅ“glinWaldspurger algorithm to compute the Zelevinskii involution and the structure for multisegments of Arthur type. Finally, an outline for the proof of the conjecture that ABVpackets of Arthur type are singletons will be presented using an argument based on numerical invariants and endoscopic decompositions.
 SONJA RUZIC, Queen's University
Weyl Modules for Current Lie Superalgebras [PDF]

The notion of a Weyl module for classical affine algebras, a type of infinite dimensional Lie algebra, was introduced in 2001 by Chari and Pressley. These modules are universal, finite dimensional highest weight modules. We expand these ideas to infinite dimensional Lie superalgebras; in particular to Lie superalgebras of the form $\mathfrak{g} \otimes \mathbb{C}[t]$, where $\mathfrak{g}$ is basic classical. We prove that these Weyl modules are universal, finite dimensional, highest weight $\mathfrak{g}$modules for $\mathfrak{g} = \mathfrak{sl}_2 \otimes \mathbb{C}[t]$, $\mathfrak{g} = \mathfrak{gl}(11) \otimes \mathbb{C}[t]$, and $\mathfrak{g} =\mathfrak{osp}(12) \otimes \mathbb{C}[t]$. These three particular cases can be used to generalize the result to $\mathfrak{g} \otimes \mathbb{C}[t]$, where $\mathfrak{g}$ is any basic classical Lie superalgebra. This is part of a work in progress which will be part of my PhD thesis at Queen's University.
 ESHA SAHA, University of Waterloo
HARFE: HardRidge Random Feature Expansion [PDF]

We propose a random feature model for approximating highdimensional sparse additive functions called the hardridge random feature expansion method (HARFE). This method utilizes a hardthresholding pursuit based algorithm applied to the sparse ridge regression (SRR) problem to approximate the coefficients with respect to the random feature matrix. The SRR formulation balances between obtaining sparse models that use fewer terms in their representation and ridgebased smoothing that tend to be robust to noise and outliers. We prove that the HARFE method is guaranteed to converge with a given error bound depending on the noise and the parameters of the sparse ridge regression model. Based on numerical results on synthetic data as well as on real datasets, the HARFE approach obtains lower (or comparable) error than other stateoftheart algorithms. As an extension of sparse random feature expansion, we propose an approximation method using time delayed embeddings with random feature matrices when the dynamical system is unknown. We test our method on epidemiological based simulated and real data and show that our method outperforms existing models in terms of sevenday prediction accuracy.
 BRUNO STAFFA, University of Toronto
On density and equidistribution of stationary geodesic nets [PDF]

In 1982, Yau conjectured that every Riemannian $3$manifold has an infinite number of closed immersed minimal surfaces. Successive works of Marques, Neves, Irie, Liokumovich and Song led to the solution of the conjecture in 2018 using AlmgrenPitts minmax theory. The latter is a Morse Theory for the area functional in the space of currents, which are nonsmooth generalizations of embedded submanifolds. In the talk, we will focus on studying a $1$dimensional version of Yau's conjecture. In dimension $1$, AlmgrenPitts theory produces stationary geodesic nets, which are generalizations of closed geodesics whose domain is a graph $\Gamma$ instead of $S^{1}$. We will discuss two main results about a closed manifold $M^{n}$, $n\geq 2$. The first one is that for a generic set of Riemannian metrics on $M$, the union of all stationary geodesic nets is dense in $M$. The second one is that for $n=2$ and $n=3$ the following equidistribution result holds: for a generic set of metrics $g$ on $M$, there exists a countable collection of connected and embedded stationary geodesic nets $\{\gamma_{i}\}_{i\in\mathbb{N}}$ such that
\begin{equation*}
\lim_{k\to\infty}\frac{\sum_{i=1}^{k}\int_{\gamma_{i}}f\text{dL}_{g}}{\sum_{i=1}^{k}\text{L}_{g}(\gamma_{i})}=\frac{1}{\text{Vol}(M,g)}\int_{M}f\text{dVol}_{g}
\end{equation*}
for every smooth function $f:M\to\mathbb{R}$. These results were obtained in collaboration with Yevgeny Liokumovich and Xinze Li respectively.
 TONATIUH MATOS WIEDERHOLD, University of Toronto
Graphs of constant balancing number [PDF]

Given any graph $G$, there's a large enough complete graph such that every finite colouring of its edges produces a monochromatic copy of $G$. This fact is called Ramsey's theorem. If instead of a monochromatic copy of $G$ we try to find a copy with say half of the edges of each colour, then the conclusion is only true under certain conditions.
Several interesting families of graphs have been classified regarding these properties, which we discuss in the talk. We also exhibit variations, some new results and a few open problems. The topic will be framed in a general mathematical context spanning extremal graph theory, zerosum combinatorics and topology.
© Canadian Mathematical Society