AMZI JEFFS
I am a graduate student at the University of Washington, studying combinatorics and discrete geometry under Isabella Novik. My current work focuses on classifying convex neural codes and their embedding dimensions.
PUBLICATIONS (click titles below for pdfs)
- Order-Forcing in Neural Codes
with Caitlin Lienkaemper and Nora Youngs. 2020. - Non-Monotonicity of Closed Convexity in Neural Codes
with Brianna Gambacini, Sam Macdonald, and Anne Shiu. Under review, 2020. - Embedding Dimension Phenomena in Intersection Complete Codes
Under review, 2019. - Sunflowers of Convex Open Sets
Published in Advances in Applied Mathematics, Vol 111, 2019. - Convex Union Representability and Convex Codes
with Isabella Novik. Published in International Mathematics Research Notices, 2019. - Morphisms of Neural Codes
Published in SIAM Journal on Applied Algebra and Geometry, Vol 4, 99-122, 2020. - Neural Ideal Preserving Homomorphisms
with Mohamed Omar and Nora Youngs. Published in Journal of Pure and Applied Algebra, Vol 222, 3470-3482, 2018. - Sparse Neural Codes and Convexity
with Mohamed Omar, Natchanon Suaysom, Aleina Wachtel, and Nora Youngs. Published in Involve, Vol 12, 737-754, 2019. - Characterizing the Cryptographic Properties of Reactive 2-Party Functionalities
with Mike Rosulek. Published in Theory of Cryptography Conference, 2013.
RESEARCH (return to top)
I am interested in discrete geometry and combinatorics, particularly applications of geometric techniques to combinatorial problems. My undergrade and graduate studies have focused on convex neural codes. I plan to pursue further research in this field while exploring related topics such as matroids and convex geometry.
Convex neural codes: Given a collection of n convex open sets in Euclidean space, one can form a combinatorial code (a subset of the Boolean lattice on n elements) that describes which of the sets have nonempty intersection, which ones cover others, and so forth. The reverse problem is more difficult: given a code, can you find a collection of convex open sets that corresponds to it? If so, we call the code convex. The problem of classifying convex codes is motivated by a problem in neuroscience, and was introduced to the math community by Curto et al in 2013. Since then it has generated a sizeable body of work and motivated the development of new perspectives and tools in combinatorics, topology, and discrete geometry.
During my graduate work I have approached this question from a combinatorial and geometric direction. In 2018 I introduced a notion of "minors" for codes, in analogy to graph minors, with the goal of isolating "minimal obstructions" to convexity in codes. Kunin, Lienkaemper, and Rosen recently used this framework to illustrate connections between the theory of convex codes and the theory of oriented matroids.
I have also formulated new discrete geometry theorems that help explain why certain codes are not convex. These theorems describe constraints on "sunflowers" of convex sets and generalizations thereof. A good summary of this work can be found in my talk "Convex Sunflower Theorems and Neural Codes" from June 2020.
ANNOTATED FIGURES (return to top)
Below are figures from several of my papers with accompanying commentary. I chose these either because they illustrate a particularly interesting idea, or just for their visual appeal. In general I greatly enjoy the concrete and visual side of discrete geometry, and if you ever find yourself in need of a mathematical illustration I would be happy to chat!

The code C is the first example of a locally good non-convex code, described by Lienkaemper, Shiu, and Woodstock. It turns out the code C is not minimally non-convex, but moving downwards by a couple of covering relations in the partial order gives us a minimally non-convex code. The codes D and E help us recognize this. This figure appears in my first grad school paper [4] listed above.

The figure above shows that a closed convex realization of a code can be turned into an open realization by adding a small open ball to each set, as long as the code is a simplicial complex. To my knowledge, this result was fairly well known for several years, but the first time it was put in writing was in the paper [7] listed above.





The sunflower phenomena mentioned above can be described and interpreted using codes and minors thereof. The figure on the left illustrates a family of codes related to sunflowers which has a particularly nice structure: it sits in the layer of codes that have convex realizations in m-dimensional space, and it has a unique minimum minor. Both figures on the left come from [7].
I am an active organizer and Joint Council member with UAW4121, the union of academic workers at the University of Washington. I am proud to have taken action alongside fellow grad students and workers to win gains like our fully-subsidized transit passes, strong protections from harassment, trans-inclusive healthcare measures, and improved mental health care. I am also active in Seattle politics, for example volunteering with the inspiring and recently victorious Tax Amazon campaign. More recreationally, I am a big fan of hiking, cooking, and parkour.