Thesis Defenses
2022

Araminta Amabel
Date: Monday, April 11, 2022  4:30  Room: 2131
Committee: Mike Hopkins, Haynes Miller, Jeremy Hahn
Genera via Deformation Theory and Supersymmetric Mechanics
We will discuss naturally occurring genera (i.e. cobordism invariants) inspired by the deformation theory inspired by supersymmetric quantum mechanics. First, we construct a canonical deformation quantization for symplectic supermanifolds. Secondly, we prove a superversion of NestTsygan’s algebraic index theorem, generalizing work of Engeli. This work is inspired by the appearance of the same genera in three related stories: index theory, trace methods in deformation theory, and partition functions in quantum field theory. Using the trace methodology, we compute the genus appearing in the story for supersymmetric quantum mechanics. This involves investigating supertraces on WeylClifford algebras and deformations of symplectic supermanifolds.

Ranjan Anantharaman
Date: Thursday, September 29, 2022  9:30am  Room: 2361  Zoom Link
Committee: Alan Edelman, Steven Johnson, Gil Strang, Chris Rackauckas, Chris Laughman
Approximation of Large Acausal Models
Simulations drive missioncritical decision making in many fields, but are prone to computational intractability, which severely limits an engineer's productivity whilst designing practical systems. These issues are alleviated by the use of approximate models called surrogates, which match the full system to high fidelity whilst being feasible to simulate. In this research, we propose a method to generate surrogates of dynamical systems with multiple widely separated timescales, called the Continuous Time Echo State Networks. We also study deployment of such systems to accelerate common tasks such as global optimization and global sensitivity analysis through practical applications from building simulation, quantitative systems pharmacology and electrical circuit design. Lastly, we examine how to dataefficiently sample a model’s input space to produce a surrogate with a desired error performance.

Morris Ang
Date: Tuesday, April 5, 2022  1:30pm  Room: 2361
Committee: Scott Sheffield (advisor), Alexei Borodin, Nike Sun
Integrability in random conformal geometry
Liouville quantum gravity (LQG) is a random surface arising as the scaling limit of random planar maps. SchrammLoewner evolution (SLE) is a random planar curve describing the scaling limits of interfaces in many statistical physics models. Liouville conformal field theory (LCFT) is the quantum field theory underlying LQG. Each of these satisfies conformal invariance or covariance. This thesis proves exact formulas in random conformal geometry; we highlight a few here.
The Brownian annulus describes the scaling limit of uniform random planar maps with the annulus topology, and is the canonical annular 𝛾LQG surface with 𝛾 =√︀8/3. We obtain the law of its modulus, which is as predicted from the ghost partition function in bosonic string theory.
The conformal loop ensemble (CLE) is a random collection of loops in the plane which locally look like SLE, corresponding to the scaling limit of all interfaces in several important statistical mechanics models. We derive the threepoint nesting statistic of simple CLE on the sphere. It agrees with the imaginary DOZZ formula of Zamolodchikov (2005) and KostovPetkova (2007), which is the threepoint structure constant of the generalized minimal model conformal field theories.
We compute the onepoint bulk structure constant for LCFT on the disk, thereby proving the formula proposed by Fateev, Zamolodchikov and Zamolodchikov (2000). This is a disk analog of the DOZZ constant for the sphere. Our result represents the first step towards solving LCFT on surfaces with boundary via the conformal bootstrap.
Our arguments depend on the interplay between LQG, SLE and LCFT. Firstly, LQG behaves well under conformal welding with SLE curves as the interfaces. Secondly, LCFT and LQG give complementary descriptions of the same geometry.

Juncal Arbelaiz
Date: Tuesday, August 2, 2022  2:00pm  Room: E18304
Committee: Anette (Peko) Hosoi (committee chair, advisor), Ali Jadbabaie (advisor), Bassam Bamieh, Jorn Dunkel
Optimal distributed control and estimation for systems with spatiotemporal dynamics
Traditional optimal control and estimation synthesis often relies on the implicit assumption that sufficient computational power and bandwidth are available to implement centralized communication architectures. However, this is often not the case in largescale spatially distributed systems. In these, relying only on spatially localized information transfer is imperative for control and estimation. Motivated by this challenge, this thesis analyzes optimal distributed control and estimation for systems with spatiotemporal dynamics. Emphasis is placed on the state estimation problem for dynamical systems with shiftinvariances over unbounded spatial domains and with distributed noisy measurements. Performancelocality tradeoffs are studied, focusing on the role that the statistical properties of the noise processes perturbing the plant play in the spatial localization of the feedback operator (i.e., on the information structures of the system). Under certain assumptions, it is shown that noise can make the optimal estimator rely more heavily on local information. Furthermore, a common theme of this thesis is using dimensional analysis and scaling arguments to define physically interpretable dimensionless groups, which characterize the spatial locality of the system. These groups are related to the signaltonoise ratio of the measurements and to decentralization measures. The branch point locus is introduced as a useful tool to systematically explore the sensitivity of the spatial localization of the distributedparameter KalmanBucy filter to these dimensionless groups.
After introducing background and some mathematical preliminaries, the information structures of the optimal state estimator for infinitedimensional spatially invariant systems over $L^2$ spaces are analyzed. For these, the optimal state estimate is described by a KalmanBucy filter. Its Kalman Gain operator is a spatial convolution. The spatial decay properties of the kernel of such operator define the information structures of the filter. We establish the asymptotic exponential decay of the kernel, which implies that estimation of the state at each spatial site heavily relies on local measurements. We further analyze the role that the statistical properties of the noise processes perturbing the plant play in such spatial localization and find a matching condition under which the filter gain is completely decentralized. We illustrate our results through two case studies: KalmanBucy filters for diffusion and the SwiftHohenberg equation. Next, we present a similar analysis and results for systems over Sobolev spaces. These are necessary to analyze dynamics such as elastic waves. Finally, we study the optimal estimation problem with hard information constraints for spatially invariant systems over $L^2$ spaces. Based on insights from our previous analysis, a convex functional optimization problem is proposed to design a filter Gain that minimizes estimation error variance, is stabilizing, and compactly supported in space (i.e., enforced to share information only locally). The size of such support is defined a priori and determines the communication burden of the filter. We apply our method to design an informationconstrained KalmanBucylike filter for a diffusion process over the real line. In this example, numerical results suggest an interesting relationship between the informationconstrained and Kalman Gain kernels. In particular, the informationconstrained kernel follows the Kalman Gain kernel in the interior of its support and exhibits a correction term at its endpoints.

Robert Burklund
Date: Monday, April 25, 2022  4:30pm  Room: 2131
Committee: Mike Hopkins, Haynes Miller, Davesh Maulik, Arpon Raksit
Multiplicative structures on Moore spectra
One of the distinguishing features of higher algebra is the difficulty of constructing quotients. In this talk I will explain a new technique for constructing algebra structures on quotients. This technique allows us to prove that $\mathbb{S}/8$ is an $\mathbb{E}_1$algebra, $\mathbb{S}/32$ is an $\mathbb{E}_2$algebra, $\mathbb{S}/p^{n+1}$ is an $\mathbb{E}_n$algebra at odd primes and, more generally, for every $h$ and $n$ there exist generalized Moore spectra of type $h$ which admit an $\mathbb{E}_n$algebra structure.

Yibo Gao
Date: Thursday, April 7, 2022  3:00pm  Room: 2131
Committee: Alexander Postnikov (advisor), Richard Stanley, Lauren Williams
Symmetric structures in the weak and strong Bruhat orders
The weak and strong Bruhat orders are classical and rich combinatorial objects, with connections to Schubert calculus, Lie algebras, hyperplane arrangements, sorting networks and so on. In this thesis, we study various new symmetries within these structures, including the balance constant and the hull metric property of the weak order, and the selfdual intervals and boolean elements in the strong order. Much of the work involved is joint with Christian Gaetz.

Linus Hamilton
Date: Monday, April 25, 2022  10:00am  Room: 2449
Committee: Ankur Moitra, John Kelner, Philippe Rigolet
Applications and limits of convex optimization
To word it as confusingly as possible, the Paulsen problem asks: if a set of vectors is close to isotropic and equalnorm, then is it close to an isotropic equalnorm set of vectors? This question gained notoriety as "one of the most intractable problems in [operator theory]." In 2017, it was finally resolved by Kwok et al in a triumphant 103 pages of smoothed analysis and operator scaling. Unfortunately we won't have enough time to deliver their proof, so I will instead exhibit a new one. It is short enough to present unabridged, and still have time left over to graze on two other problems related to convex optimization: graphical model structure learning, and the impossibility of accelerated gradient descent in hyperbolic space.

Kai Huang
Date: Thursday, May 12, 2022  10:00am  Zoom Link
Committee: Chenyang Xu, Davesh Maulik, Zhiwei Yun
Kstability of Log Fano Cone Singularities
In this thesis, we define the deltainvariant for log Fano cone singularities, and show that the necessary and sufficient condition for Ksemistability is 𝛿 ≥ 1. This generalizes the result of C. Li and K. Fujita.
We also prove that on any log Fano cone singularity of dimension 𝑛 whose 𝛿invariant is less than n+1/n, any valuation computing the deltainvariant has a finitely generated graded ring. This shows a log Fano cone is Kpolystable if and only if it is uniformly Kstable. Together with earlier works, this implies the YauTianDonaldson Conjecture for Fano cone.

Andrei Ionov
Date: Wednesday, April 13, 2022  4:00pm  Room: 2142
Committee: Roman Bezrukavnikov, David Vogan, Zhiwei Yun
Tilting sheaves for real groups and Koszul duality
For a real form of an algebraic group acting on the flag variety we define a tstructure on the category of equivariantmonodromic sheaves and develop the theory of tilting sheaves. In case of a quasisplit real form we construct an analog of a Soergel functor, which fullyfaithfully embeds the subcategory of tilting objects to the category of coherent sheaves on a block variety. We apply the results to give a new, purely geometric, proof of the Soergel's conjecture for quasisplit groups.

Pakawut (Pro) Jiradilok
Date: Tuesday, April 26, 2022  3:00pm  Room: 2255
Committee: Alex Postnikov (advisor), Alexei Borodin, Thomas Roby (University of Connecticut)
Inequalities and Asymptotic Formulas in Algebraic Combinatorics
This thesis concerns certain inequalities and asymptotic formulas in algebraic combinatorics. It consists of two separate parts. The first part studies inequalities concerning triangulargrid billiards and plabic graphs of LamPostnikov essential dimension 2. The material in this part is based on joint work with Colin Defant. The second part studies inequalities and asymptotic formulas concerning largescale rook placements.

YounHun Kim
Date: Tuesday, December 6, 2022  3:00pm  Room: 56180
Committee: Bonnie Berger, Travis Gibson (Asst. Prof. @ Harvard Medical School, PI @ Brigham and Women's), Ankur Moitra
Algorithms for Reconstructing Biological History from Genomic Data
In this thesis, we study several problems related to computational biology surrounding a central theme: inferring temporallyspaced events using noisy measurements. The first half studies two theoretical problems for explaining the history of human populations at different scales. First, we present sample complexity results for learning population structures given pairwise coalescence data. The second involves pedigree reconstruction, in which we prove that there is a sampleefficient algorithm for reconstructing a "family tree" given a populationwide collection of genomic information.
The second half of the thesis concerns models for the microbiome and practical algorithms that emphasize scalability and interpretability. We present work on strain tracking, in which one is asked to reconstruct a timeseries profile of bacterial strain ratios from shotgunsequenced reads. We state an algorithm designed to scale on large data, discuss some realworld considerations that makes the problem particularly challenging, and present empirical results. Last but not least, we present collaborative work on Bayesian dynamical systems learning, in which we discuss how one can learn a large, yet interpretable, LotkaVolterra model from timeseries measurements of the microbiome.

Chun Hong Lo
Date: Monday, June 6, 2022  10:30am  Room: 2449  Zoom Link
Committee: Davesh Maulik, Andrei Negut, Ziquan Zhuang
GromovWitten Invariants of Blow Ups of $\mathbb{P}^2$ using Logarithmic Geometry
We show that Parker's recursion for computing GromovWitten invariants of blow ups of $\mathbb{P}^2$ can be derived using logarithmic GromovWitten theory and punctured maps. We extend the recursion to compute GromovWitten invariants with Hodge class insertions.

Ashwin Narayan
Date: Wednesday, January 19, 2022  2:00pm  Room: 2255
Committee: Bonnie Berger (advisor), Jon Kelner, Bryan Bryson
Distortion Metrics for Biological Data
Advances in experimental methods in biology have allowed researchers to gain an unprecedentedly highresolution view of the molecular processes within cells, using socalled singlecell technologies. Every cell in the sample can be individually profiled the amount of each type of protein or metabolite or other molecule of interest can be counted. Understanding the molecular basis that determines the differentiation of cell fates is thus the holy grail promised by these data.
However, the highdimensional nature of the data, replete with correlations between features, noise, and heterogeneity means the computational work required to draw insights is significant. In particular, understanding the differences between cells requires a quantitative measure of similarity between the singlecell feature vectors of those cells. A vast array of existing methods, from those that cluster a given dataset to those that attempt to integrate multiple datasets or learn causal effects of perturbation, are built on this foundational notion of similarity.
In this dissertation, we delve into the question of similarity metrics for highdimensional biological data generally, and singlecell RNAseq data specifically. We work from a global perspective  where we find a distance function that applies across the entire dataset  to a local perspective  where each cell can learn its own similarity function. In particular, we first present SCHEMA, a method for combining similarity information encoded by several types of data, which has proven useful in analyzing the burgeoning number of datasets which contain multiple modalities of information. We also present DENsV1s, a package of algorithms for visualizing singlecell data, which improve upon existing dimensionalityreduction methods that focus on local structure by accounting for density in highdimensional space. Lastly, we zoom in on each datapoint, and show a new method for learning knearest neighbors graphs based on local decompositions.
Altogether, the works demonstrate the importance  through extensive validation on existing datasets  of understanding highdimensional similarity.

Minjae Park
Date: Thursday, April 28, 2022  2:00pm  Room: 2449
Committee: Scott Sheffield, Nike Sun, Promit Goshal
Random surface interpretations of twodimensional Liouville quantum gravity and YangMills theory
The theory of random surfaces (or "sums over surfaces") has its historical roots in quantum gravity, string theory, statistical physics, and combinatorics. This thesis explores random surfaces in two settings: one related to Liouville quantum gravity, and one related to Euclidean YangMills theory in two dimensions.
The first part introduces a specific regularization of Liouville quantum gravity surfaces. It also establishes the PolyakovAlvarez formula on nonsmooth surfaces with Brownian loops instead of the zetaregularized Laplacian determinant. Consequently, "weighting by a Brownian loop soup" changes the socalled central charge of the regularized random surfaces, as expected in physic literature. This result justifies a definition of Liouville quantum gravity surfaces in the supercritical regime where the central charge is greater than 1.
The second part describes continuum Wilson loop expectations on the plane as sums over surfaces, an example of gauge string duality. In contrast to the GrossTaylor expansion, our weight is explicit as ±Nᵡ where χ is the Euler characteristic, for any gauge group U(N), SO(N), Sp(N/2). Based on the wellestablished continuum theory in two dimensions, we provide a probabilistic treatment for Wilson loop expectations, also leading to various applications like an alternative proof for the MakeenkoMigdal equation and a connection with a random walk on permutations.

Greg Parker
Date: Thursday, July 14, 2022  1:00pm  Room: 2449  Zoom Link
Committee: Tomasz Mrowka, Tristan Collins, Clifford Taubes (Harvard)
Gluing Z_2Harmonic Spinors on 3Manifolds
This thesis proves a gluing result for Z2harmonic spinors on 3manifolds. Z2harmonic spinors are a singular version of classical harmonic spinors which naturally arise as limits of sequences of solutions to generalized SeibergWitten equations. Our gluing result addresses the reverse question in the case of the twospinor SeibergWitten equations on a 3manifold: it is shown that any Z2 harmonic spinor satisfying certain genericity assumptions necessarily arises as the limit of a family of twospinor SeibergWitten monopoles.
The proof relies on an analysis of degenerating families of elliptic operators to construct model solutions; the gluing is then accomplished by developing a semiFredholm analogue of Donaldson’s alternating method is developed to accomplish the gluing.

Chengyang Shao
Date: Monday, April 4, 2022  11:00am  Room: 2449  Zoom Link
Committee: Gigliola Staffilani, David Jerison, Andrew Lawrie
Long Time Dynamics of Spherical Objects Governed by Surface Tension
This thesis is devoted to the study of evolutionary partial differential equations describing the motion of spherical objects in two different physical scenarios. They share the common feature of involving the mean curvature operator, hence relating to motions governed by surface tension. The mean curvature operator makes both problems highly nonlinear.
In the first part, we study the long time behavior of an idealistic model of elastic membrane driven by surface tension and inner air pressure. The system is a degenerate quasilinear hyperbolic one that involves the mean curvature, and also includes a damping term that models the dissipative nature of genuine physical systems. With the presence of damping, a small perturbation of the sphere converges exponentially in time to the sphere, and without the damping the evolution that is $\varepsilon$close to the sphere has life span longer than $\varepsilon^{1/6}$. Both results are proved using a new NashMoserHörmander type theorem proved by Baldi and Haus.
In the second part, we derive a differential equation that describes the nonlinear vibration of a spherical water droplet under zero gravity. The equation is legitimately referred as the water waves equation for a sphere. We develop a toolbox for paradifferential calculus on curved manifolds and prove the local existence for this equation by paralinearizing the equation. This approach avoids using NashMoser type iterations, and sets up stage for study of longer time behavior of spherical water waves. For the longer time behavior, we discuss the resonance problem related to this equation, pointing out that it is a highly nontrivial problem of Diophantine analysis in the realm of number theory.

Dominic Skinner
Date: Thursday, April 14, 2022  9:30am  Room: 1379
Committee: Jörn Dunkel (thesis advisor), Philippe Rigollet, Nikta Fakhri (MIT Physics)
Thermodynamic and topological characterization of living systems
Recent advances in microscopy techniques make it possible to study the growth, dynamics, and response of complex biophysical systems at singlecell and subcellular resolution, from bacterial communities and tissues to intracellular signaling and expression dynamics of genes. Despite such progress in data collection, major theoretical challenges remain to find structure and organizing principles in these data, which are often noisy and represent only a partial observation of the system. One such challenge is to estimate the rate at which a system is consuming free energy. All living systems must consume free energy to maintain or increase local order, and theoretical models can provide insights into the thermodynamic efficiency of important cellular processes. In experiments however, many degrees of freedom typically remain hidden to the observer, making thermodynamic inference challenging. Here, we introduce a framework to infer improved bounds on the rate of entropy production, by reformulating the problem of inference as a problem of optimization. We demonstrate the broad applicability of our approach by providing improved bounds on the energy consumption rates in a diverse range of biological systems including bacterial flagella motors, gene regulatory dynamics, and intracellular calcium oscillations. Another challenge is to distinguish two amorphous yet structurally different cellular materials, where in contrast to crystals, cellular structures are somewhat disordered. Here, we use information contained in the local topological structure to define a distance between disordered multicellular systems. Our metric allows an interpretable reconstruction of equilibrium and nonequilibrium phase spaces and embedded pathways from static system snapshots alone. Applied to cellresolution imaging data, the framework recovers timeordering without prior knowledge about the underlying dynamics, revealing that fly wing development solves a topological optimal transport problem, and enables comparisons across a wide range of different systems from zebrafish brains to bacterial colonies.

Jonathan Tidor
Date: Wednesday, April 20, 2022  1:00pm
Committee: Yufei Zhao (advisor), Larry Guth, Lisa Sauermann
Higherorder Fourier analysis with applications to additive combinatorics and theoretical computer science
Fourier analysis has been used for over one hundred years as a tool to study certain additive patterns. For example, Vinogradov used Fourieranalytic techniques (known in this context as the HardyLittlewood circle method) to show that every sufficientlylarge odd integer can be written as the sum of three primes, while van der Corput similarly showed that the primes contain infinitelymany threeterm arithmetic progressions.
Over the past two decades, a theory of higherorder Fourier analysis has been developed to study additive patterns which are not amenable to classical Fourieranalytic techniques. For example, while threeterm arithmetic progressions can be studied with Fourier analysis, all longer arithmetic progressions require higherorder techniques. These techniques have led to a new proof of Szemerédi's theorem in addition to results such as counts of $k$term arithmetic progressions in the primes.
This thesis contains five results in the field of higherorder Fourier analysis. In the first half, we use these techniques to give applications in additive combinatorics and theoretical computer science. We prove an induced arithmetic removal lemma first in complexity 1 and then for patterns of all complexities. This latter result solves a central problem in property testing known as the classification of testable arithmetic properties. We then study a class of multidimensional patterns and show that many of them satisfy the popular difference property analogously to the onedimensional case. However there is a surprising spectral condition which we prove necessarily appears in higher dimensions that is not present in the onedimensional problem.
In the second half of this thesis, we further develop the foundations of higherorder Fourier analysis. We determine the set of higherorder characters necessary over $\mathbb{F}_p^n$, showing that classical polynomials suffice in the inverse theorem for the Gowers $U^k$norm when $k\leq p+1$, but that nonclassical polynomials are necessary whenever $k>p+1$. Finally, we prove the first quantitative bounds on the $U^4$inverse theorem in the lowcharacteristic regime $p$ < $5$.

Alexandra Utiralova
Date: Friday, April 22, 2022  3:00pm  Room: 2135
Committee: Pavel Etingof, Roman Bezrukavnikov, Andrei Negut
HarishChandra bimodules in complex rank
The Deligne tensor categories are defined as an interpolation of the categories of representations of groups GL_n, O_n, Sp_{2n} or S_n to the complex values of the parameter n. One can extend many classical representationtheoretic notions and constructions to this context. These complex rank analogs of classical objects provide insights into their stable behavior patterns as n goes to infinity.
I will talk about some of my results on HarishChandra bimodules in the Deligne categories. It is known that in the classical case simple HarishChandra bimodules admit a classification in terms of Worbits of certain pairs of weights. However, the notion of weight is not welldefined in the setting of the Deligne categories. I will explain how in complex rank the abovementioned classification translates to a condition on the corresponding (left and right) central characters.
Another interesting phenomenon arising in complex rank is that there are two ways to define HarishChandra bimodules. That is, one can either require that the center acts locally finitely on a bimodule M or that M has a finite Ktype. The two conditions are known to be equivalent for a semisimple Lie algebra in the classical setting, however, in the Deligne categories, it is no longer the case. I will talk about a way to construct examples of HarishChandra bimodules of finite Ktype using the ultraproduct realization of the Deligne categories.

Sahana Vasudevan
Date: Thursday, April 14, 2022  2:00pm  Room: 2449
Committee: Larry Guth (advisor), Tomasz Mrowka, Scott Sheffield
Large genus bounds for the distribution of triangulated surfaces in moduli space
A triangulated surface is a compact surface formed by gluing together unit equilateral triangles. When the genus is at least two, it admits a unique conformal hyperbolic metric. Brooks and Makover started the study of random triangulated surfaces in the large genus limit, and proved results about their systole, diameter and Cheeger constant. Subsequently, Mirzakhani proved analogous results about random hyperbolic surfaces. These results motivate the question: how are triangulated surfaces distributed in the moduli space of hyperbolic surfaces, as the genus becomes large? In my thesis, I proved that triangulated surfaces are well distributed in moduli space in a fairly strong sense.

Ruoxuan Yang
Date: Wednesday, April 6, 2022  10:30am  Room: 2361  Zoom Link
Committee: Gigliola Staffilani (advisor), David Jerison, Andrew Lawrie
Stable and unstable shock formation of the BurgersHilbert equation
The study of singularities has been an important part in the analysis of PDEs. One key type of singularities is shock. In many cases the shock has a selfsimilarity structure. Recently, the modulated selfsimilarity technique has achieved success in fluid dynamic equations. In this thesis, we apply this technique to establish finite time shock formation of the BurgersHilbert equation. The shocks are asymptotic selfsimilar at one single point. The shocks can be stable or unstable, both of which have an explicitly computable singularity profile, and the shock formation time and location are described by explicit ODEs. For the stable shock, the initial data are in an open set in the H^5norm, and the shock profile is a cusp with Holder 1/3 continuity. For the unstable shock, the initial data are in a codimension 2 subset of the H^9 space, and the shock profile is of Holder 1/5 continuity. Both cases utilize a transformation to appropriated selfsimilar coordinates, the quantitative properties of the corresponding selfsimilar solution to the inviscid Burgers' equation, and transport estimates. In the case of unstable shock, we, in addition, control the two unstable directions by Newton's iteration.

Yichi Zhang
Date: Friday, September 9, 2022  1:00pm  Room: 2449
Committee: Henry Cohn, Yufei Zhao, Salvatore Torquato (from Princeton)
A Solution of the Energy Minimization Problem for Codes of Codimension 1
In this thesis, we study the space of quasicodes using Delsarte's linear programming bound to solve the energy minimization problem on codes. Our main contribution is we give the optimal code of codimension 1 for any potential function. We also investigate the polytope of quasicodes, where we give a symmetry and a list of vertices in some special cases.

Zhiyu Zhang
Date: Friday, July 8, 2022  3:00pm  Room: 2255  Zoom Link
Committee: Wei Zhang (advisor), Bjorn Poonen, Zhiwei Yun
Arithmetic transfers, arithmetic modularity and singularity at parahoric levels
For an odd prime p, I will formulate and prove some arithmetic transfer identities for $\mathbb Z_{p^2}/\mathbb Z_p$ "parahoric" hermitian lattices of any rank, including the arithmetic fundamental lemma as a special case. These identities have applications towards the arithmetic GanGrossPrasad conjecture for unitary Shimura varieties of any dimension, which generalizes the GrossZagierZhang formula for Shimura curves. The ambient moduli space is usually singular, and we introduce a way to resolve the singularity (similar to the Atiyah flop) to define wellbehaved intersection numbers. In the proof, I show new arithmetic modularity results of the arithmetic theta series for the induction, and introduce the relative Cayley map for the reduction.