Seminar Organizer Title & Abstract

MSB 110
Timothy Duff, Dan Edidin Quiver representations and the Paulsen Problem in Frame Theory

Parseval frames provide redundant encodings, with equal-norm Parseval frames offering optimal robustness against one erasure. However, constructing such frames can be challenging. The Paulsen Problem asks to determine how far an ε-nearly equal-norm Parseval frame is from the set of all equal-norm Parseval frames. In this talk, I will present an approach to the Paulsen’s problem based on quiver invariant theory

Speaker: Calin Chindris (MU)

Room 12
Rankeya Datta Newton-Okounkov bodies, after Kaveh-Khovanskii, Part IIISpeaker: Timothy Duff

MSB 110
Rankeya Datta Asymptotic colengths for families of ideals

In this talk we discuss the existence and the importance of asymptotic colengths for families of \(m\)-primary ideals in a Noetherian local ring \((R,m)\).  We explore various families such as weakly graded families, weakly \(p\)-families and weakly inverse \(p\)-families and discuss a new analytic method to prove the existence of limits. Additionally, if time permits we will talk about Minkowski type inequalities, positivity results, and volume = multiplicity formulas for these families of ideals. This talk is based on a joint work with Cheng Meng.

Speaker: Sudipta Das, Arizona State University

Math Sci 111
Peter Pivovarov Composition of Paraproducts

Paraproducts are one of the essential tools of harmonic analysis, used to decompose a product of two functions. Motivated by a similar question in complex analysis, Pott, Reguera, Sawyer and Wick studied the composition of "paraproduct-type operators", to which classical paraproducts belong. Their goal was to find joint conditions on the symbol functions for the composition to be bounded. They classified many paraproduct-type compositions. One of the operators to remain unclassified was the composition of two classical dyadic paraproducts. In this talk, we will discuss the joint conditions for the boundedness of two paraproducts as well as certain weighted inequalities.

Speaker: Ana Colovic (Washington University in St Louis)

MSB 110
Timothy Duff, Dan Edidin Is uniform expressivity for GNNs too restrictive?

Uniform expressivity guarantees that a Graph Neural Network (GNN) can express a query without the parameters depending on the size of the input graphs. This property is desirable in applications in order to have number of trainable parameters that is independent of the size of the input graphs. Uniform expressivity of the two variable guarded fragment (GC2) of first order logic is a well-celebrated result for Rectified Linear Unit (ReLU) GNNs [Barcelo & al., 2020]. In this talk, we prove that uniform expressivity of GC2 queries is not possible for GNNs with a wide class of Pfaffian activation functions (including the sigmoid and tanh), answering a question formulated by [Grohe, 2021]. We also show that despite these limitations, many of those GNNs can still efficiently express GC2 queries in a way that the number of parameters remains logarithmic on the maximal degree of the input graphs. Furthermore, we demonstrate that a log-log dependency on the degree is achievable for a certain choice of activation function. This shows that uniform expressivity can be successfully relaxed by covering large graphs appearing in practical applications. Our experiments illustrates that our theoretical estimates hold in practice.

Speaker: Josué Tonelli‑Cueto (Johns Hopkins)

MSB Room 12
Rankeya Datta The Asymptotic Samuel Function Of A Filtration (Part 1)

We extend the asymptotic Samuel function of an ideal to a filtration and study some properties of the function. We look at the relation between integral closure of filtrations and the asymptotic Samuel function. We further study the notion of projective equivalence of filtrations. The talk follows the pre-print ‘The Asymptotic Samuel Function of a Filtration’ by Dale Cutkosky and Smita Praharaj.

Speaker: Mifron Fernandes

MSB 312
Gavin Ball, Zhenbo Qin, Zhengchao Wan Orthogonal Mobius Inversion and Grassmannian Persistence Diagrams

Signed persistence diagrams provide a concise representation of the rank invariant (persistent Betti numbers) or birth-death invariant for filtrations of topological spaces. When these filtrations are indexed by a linear poset, the signed persistence diagrams consist of nonnegative values, allowing for straightforward interpretation as the multiplicity of the bars in the barcode of the filtration. However, for filtrations indexed by non-linear posets, signed persistence diagrams can include negative values, which complicates their interpretability. In this talk, we introduce Grassmannian persistence diagrams, a notion that extends the capabilities of signed persistence diagrams while preserving interpretability. Moreover, when the indexing poset is linear, Grassmannian persistence diagrams also reveal canonical cycle spaces for each bar in the barcode associated with the filtration.

Speaker: Aziz Burak Gülen (Duke University)

MSB 111
Samuel Walsh A two-boson lattice Hamiltonian with interactions up to next-neighboring sites

The goal of this talk is to discuss spectral theory for quantum Hamiltonians describing  a system of two  identical spinless bosons on the two-dimensional lattice particles.

We assume that the particles are interact via on-site and first and second nearest-neighboring site interactions between the bosons are only nontrivial and that these interactions are of magnitudes \(\gamma\), \(\lambda\), and \(\mu\), respectively.

Introducing the quasi-momentum \(k\in (-\pi,\pi]^2\)  for the system of two identical bosons,  and decomposing the  Hamiltonians into the direct von Neumann integral reduces the problem to the study  two-particle fiber lattice Schrödinger operators that depend on the two-particle quasi-momentum \(k\).

In this model, we determine both the exact number and location of the eigenvalues for the lattice Schrödinger operator \(H_{\gamma\lambda\mu}(0)\), depending on the interaction parameter \(\gamma\), \(\lambda\) and \(\mu\).

We find a partition of the \((\gamma,\lambda,\mu)\)-space into connected components such that, in each connected component, the two-boson Schrödinger operator corresponding to the zero quasi-momentum of the center of mass has a definite (fixed) number of eigenvalues, which are situated below the bottom of the essential (continuous) spectrum and above its top. Moreover,  for each connected component, a sharp lower bound is established on the number of isolated eigenvalues for the two-boson Schrödinger operator corresponding to any admissible nonzero value of the center-of-mass quasimomentum.

We will reveal the mechanisms of emergence and absorption of the eigenvalues at the thresholds of the essential (continuous) spectrum of \(H_{\gamma\lambda\mu}(0)\), as the parameters \(\gamma\), \(\lambda\) and \(\mu\) vary.

In addition, we have identified the sufficient conditions for the exact number of eigenvalues of the lattice Schrödinger operator for all values of the interaction parameters. 

Speaker: Saidakhmat Lakaev (Samarkand State University)

MSB 110
Rankeya Datta Noncommutative geometry over dg-algebras

The general motto of noncommutative algebraic geometry is that any category sufficiently close to the derived category of a variety should be regarded as a noncommutative variety. Using this principle, pioneering work of Artin-Tate-Van den Bergh-Zhang extends important aspects of projective geometry to the noncommutative setting. I’ll talk about extensions of this theory to noncommutative spaces associated to dg-algebras with a focus on how it feeds back into the commutative setting. In particular, I’ll discuss a generalization of a celebrated theorem of Orlov concerning the derived category of a projective complete intersection. Joint work with Michael K. Brown.

Speaker: Prashanth Sridhar, Auburn University

Math Sci 111
Peter Pivovarov Multiplier Weak-Type Inequalities for the Maximal Operator

We discuss a kind of weak-type inequality for the Hardy-Littlewood maximal operator that was first studied by Muckenhoupt and Wheeden. This formulation treats the weight for the image space as a multiplier, rather than a measure, leading to fundamentally different behavior; in particular, as shown by Muckenhoupt and Wheeden, the class of weights characterizing such inequalities is strictly larger than $A_p$. In this talk, I will present recent work on the full characterization of the weights for which these inequalities hold for the Hardy-Littlewood maximal operator. Connections to weak-type estimates for the Bergman projection on bounded simply connected planar domains will also be discussed.

Speaker: Brandon Sweeting (Washington University in St Louis)