À¶Ý®ÊÓƵ

°Õ¾±³Ù±ô±ð:ÌýSpherical friezes

ÌýAbstract: A fundamental problem in spherical distance geometry aims to recover an $n$-tuple of points on a 2-sphere in $\mathbb{R}^3$, viewed up to oriented isometry, from $O(n)$ input measurements. This talk will discuss an algebraic solution to this problem using only the four arithmetic operations. We will show how a new type of frieze pattern can be employed to arrange the measurement data. These friezes exhibit glide symmetry and a version of the Laurent phenomenon.

There will be a pre-seminar presenting relevant background at the beginning graduate level starting at 1pm,

Title:What is New in Join-Aggregate Query Processing?

Abstract: Join-aggregate queries defined over commutative semirings subsume a wide variety of common algorithmic problems, such as graph pattern matching, graph colorability, matrix multiplication, and constraint satisfaction problems. Developing efficient algorithms for computing join-aggregate queries in the conventional RAM model has been a holy grail in database theory. One of the most celebrated results in this area is the Yannakakis algorithm dating back to 1981. Despite its prominence as a textbook solution, no improvements in its complexity have been made over the past 40 years. In this talk, I will present the first algorithm that improves upon Yannakakis for computing acyclic join-aggregate queries. Moreover, this algorithm is proven to be output-optimal among all combinatorial algorithms. One application is an output-optimal algorithm for chain matrix multiplication over sparse matrices. Beyond combinatorial algorithms, I will also show how fast matrix multiplication can further speed up the processing of conjunctive queries, a critical subclass of join-aggregate queries. Finally, I will highlight a few interesting open problems in this area.

Ìý

Ìý

Title: :ÌýPrecise Eigenvalue Location for Random Regular Graphs

Abstract:The spectral theory of regular graphs has broad applications in theoretical computer science, statistical physics, and other areas of mathematics. Graphs with optimally large spectral gap are known as Ramanujan graphs. Previous constructions of Ramanujan graphs are based on number theory and have specific constraints on the degree and number of vertices. In this talk, we show that, in fact, most regular graphs are Ramanujan; specifically, a randomly selected regular graph has a probability of 69% of being Ramanujan. We establish this through a rigorous analysis of the Green’s function of the adjacency operator, focusing on its behavior under random edge switches.

Title:Two-coloured lines in finite geometry

Abstract:ÌýGiven a colouring of the points of a projective plane, when is it true that every line contains at most two colours? I will discuss recent generalizations of classical results in this area, and a surprising link with a famous question in graph theory.

Ìý

Ìý

°Õ¾±³Ù±ô±ð:ÌýOperahedron Lattices

ÌýAbstract:ÌýTwo classical lattices are the Tamari lattice on bracketings of a word and the weak order on permutations. The Hasse diagram of each of these lattices is the oriented 1-skeleton of a polytope, theassociahedron and the permutohedron respectively. We examine a poset on bracketings of rooted trees whose Hasse diagram is the oriented 1-skeleton of a polytope called th operahedron. We show this poset is a lattice which answers question of Laplante-Anfossi. These lattices provide an extremelynatural generalization of both the Tamari lattice and the weak order.

There will be a pre-seminar presenting relevant background at the beginning graduate level starting at 1pm,

Title:Benign Optimization Landscape of Formulations for Time-of-Arrival-Based Source Localization Problem

Abstract:Ìý: In this talk, we will address the maximum-likelihood (ML) formulation and a least-squares (LS) formulation of the time-of-arrival (TOA)-based source localization problem. Although both formulations are generally non-convex, we will show that they both possess benign optimization landscape. First, we consider the ML formulation of the TOA-based source localization problem. Under standard assumptions on the TOA measurement model, we will show a bound on the distance between an optimal solution and the true target position and establish the local strong convexity of the ML function at its global minima. Second, we consider the LS formulation of the TOA-based source localization problem. We will show that the LS formulation is globally strongly convex under certain condition on the geometric configuration of the anchors and the source and on the measurement noise. We will then derive a characterization of the critical points of the LS formulation, which leads to a bound on the maximum number of critical points under a very mild assumption on the measurement noise and a sufficient condition for the critical points of the LS formulation to be isolated. The said characterization also leads to an algorithm that can find a global optimum of the LS formulation by searching through all critical points. Lastly, we will discuss some possible future directions.

Ìý

Ìý

°Õ¾±³Ù±ô±ð:ÌýCovers of the complete graph, equiangular lines, and the absolute bound

Abstract: We discuss equiangular lines and covers of the complete graph. The relationship between these objects dates to at least 1992, when Godsil and Hensel showed that any distance-regular antipodal cover of the complete graph (DRACKN) produces an ensemble of equi-isoclinic subspaces. In the case of a regular abelian DRACKN, this produces equiangular lines.
In the first part of the talk, we combine Godsil and Hensel's theorem with a 2017 observation of Waldron to explain why (with a single exception) there DO NOT exist regular abelian DRACKNs that would create d^2 equiangular lines in d-dimensional complex space, to achieve Gerzon's "absolute bound". This rules out a family of otherwise feasible DRACKN parameters that were enunciated in a 2016 paper of Coutinho, Godsil, Shirazi, and Zhan.
In the second part of the talk, we introduce "roux", a slight generalization of regular abelian DRACKNs. Roux are covers of the complete graph that produce equiangular lines. They come up naturally in the classification of doubly transitive lines, all of which arise from roux. Keeping hope alive for the present, we enunciate an infinite family of feasible roux parameters that would produce equiangular lines achieving Gerzon's absolute bound.
Based on joint work with Dustin Mixon.

Title: Positivity of P-Recursive Sequences Satisfying Linear Recurrences

ÌýAbstract:ÌýWhether it is decidable to determine when sequences satisfying linear recurrences with constant coefficients have all positive terms is a notorious problem in enumerative combinatorics that has essentially been open for around 90 years. Nevertheless, a "meta-principle" states that all such sequences arising from combinatorial counting problems belong to a special class where positivity (and more general asymptotic

behaviour) is decidable. Here we discuss new software for determining positivity for sequences satisfying linear recurrences with *polynomial* coefficients. Originally motivated by a novel approach to proving genus one solution uniqueness for the Canham model for biomembrane shapes, our algorithm combines rigorous numeric analytic continuation of functions satisfying linear ODEs with singularity analysis techniques from analytic combinatorics. The main talk will be presented using a live Sage Jupyter notebook, and audience members who have access to Sage with a recent version of the ore_algebra package installed (available at

) will be able to follow along and play with the package during the talk.

There will be a pre-seminar presenting relevant background at the beginning graduate level starting at 1pm,

Title:A bound on the quantum value of all compiled nonlocal games

Abstract: Nonlocal games provide valuable insights into quantum entanglement and even enable a classical verifier to confirm and control the behavior of entangled quantum provers. However, an issue with this approach has always been the necessity of two non-communicating quantum provers. To address this issue, a group of researchers recently introduced a "compilation procedure" that reduces the need for multiple provers and enforces non-communication through cryptographic methods. In this talk, we will show that even in this single prover "compiled setting," the prover remains fundamentally constrained. Specifically, we show that any polynomial-time quantum prover cannot win the "compiled game" with a higher probability than any quantum commuting provers could win the original nonlocal game. Our result is derived through a novel combination of techniques from cryptography and operator algebras and allows us to recover several important self-testing results in the "compiled setting".

Ìý

Ìý

°Õ¾±³Ù±ô±ð:ÌýSymmetric and Skew-Symmetric Signing for Graphs

Abstract:

We consider symmetric and skew-symmetric signings for graphs. A signing for a graph G = (V, E) is a mapping σ : (x, y) | x, y in V \} to {0, ± 1} with the following properties:

• σ(x, y) ≠ 0 if and only if {x, y} in E,
• σ(x, y) = σ(y, x) for any distinct x, y in V with {x, y} in E.

For a signing σ of a graph, we define the signed adjacency matrix A_σ of the graph, where the (x, y)-entry of A_σ is equal to σ(x, y). We study the problem of finding lower bounds for the spectral radius of A_σ and aim to determine a signing for a given graph such that its spectral radius is the smallest among all possible signings of that graph. A signing of a small spectral radius plays an important role in constructing Ramanujan graphs.Ìý Additionally, we consider a variation of signing, which we call skew-symmetric signing for graphs.

This talk is based on joint work with Jack Koolen and Hadi Kharaghani.