From a summer REU at the University of Minnesota, we constructed a solvable lattice model for the dual weak symmetric Grothendieck polynomials in hopes of using such a model to prove related properties of these polynomials, including Cauchy identities and branching rules. We also considered a similar lattice model construction for the weak symmetric Grothendieck polynomials in hopes of proving a Cauchy identity, concluding with a negative result. Moreover, we expand on previous work by...

Digital signatures are an important feature in any encryption/decryption scheme, as it provides a message with integrity, authenticity, and nonrepudiation. The problem occurs when long messages are being exchanged and signatures that are just as long need to be verified. By using hash functions, a ”fingerprint” of the message can be used instead of the message itself for verification, making the process computationally inexpensive. If we consider a single iteration of a general hashing...

John Reppy

The analysis of structure in three-dimensional images is increasingly valuable for biomedical research and computational science.  At the same time, the computational burden of processing images is increasing as devices produce images of higher resolution (e.g., typical CT scans have gone from 128^3 to roughly 512^3 resolutions).  With the latest scanning technologies, it is also more common for the values measured at each sample to be multi-dimensional rather than...

Every ten years, the Census Bureau conducts the Census, a nation-wide tallying of every single individual living in the United States. In addition to helping governments and researchers manage land, understand population trends, and distribute resources, the Census is essential to a key democratic function: drawing electoral districts. The process of drawing electoral districts, called “redistricting,” divides every state in the United States...

Speaker: Ariel Aloe, Dept. of Psychological and Quantitative Foundations

Topic: Evidence synthesis and meta-analysis

Speaker: Yannick Meurice, Dept. of Physics & Astronomy

Topic: Finding the boundary of quantum advantage for quantum field theory

Speaker: Jia Lu, Department of Mechanical and Industrial Engineering

Topic: What machine learning can tell us about tissue rapture

Speaker: Vincent Rodgers

Topic: Gauged Projective Geometry in Gravitation

Speaker: Shaoping Xiao, Department of Mechanical Engineering

Topic: Motion Planning in Robotics by Using Reinforcement Learning with LTL Constraints

Abstract: High-level robotics motion planning requires the robot to accomplish complex tasks instead of simple go-to-goal navigations. This seminar presents a research topic of motion planning in robotics via the integration of reinforcement learning (RL) and linear temporal logics (LTL). The framework consists of a Markov decision process (MDP)...

Speaker: David Stewart

Topic: TBA