I am Aidan Backus. Next year I will be a Ph.D. candidate at Brown University; previously I was at UC Berkeley. My main research interests are PDE, harmonic analysis, and dynamical systems. I also like logic and mathematical biology!
I can be reached at aidan_backus@brown.edu. You might also read my CV, GitHub, and mathematical blog.
Teaching
The following is a list of my teaching posts at UC Berkeley.
- Spring 2020
- Reader, Math 202B — Topology and Analysis
Organizer, MUSA 74 — Proof-Writing Skills
- Fall 2019
- Student Instructor, Math 185 — Complex Analysis
Organizer, MUSA 74 — Proof-Writing Skills
- Summer 2019
- Reader, Math 1A — Calculus
- Spring 2019
- Reader, Math 105 — Second Course in Analysis
Organizer, MUSA 74 — Proof-Writing Skills
- Fall 2018
- Reader, Math H104 — Honors Introduction to Mathematical Analysis
- Spring 2018
- Reader, Math 104 — Introduction to Mathematical Analysis
- Fall 2017
- Academic Intern, CS 61A — Structure and Interpretation of Computer Programs
Time permitting, I also tutor one-on-one. I'm particularly interested in tutoring at the undergraduate level, from calculus to the end-undergraduate classes such as multivariable analysis. If you're interested, contact me and I'll see if we can arrange a time and price.
Research
In 2019-2020, I worked on my undergraduate thesis, on the Breit-Wigner formula, with Prof. M. Zworski. My current research focuses on strengthening the results I proved in that thesis.
In Summer 2019, I developed an efficient algorithm for computing root multiplicities of Kac-Moody algebras under Prof. Richard Borcherds, and proved some asymptotic results about the growth rates of multiplicities.
In Summer 2018, I was at the Disease Modeling Lab in San Diego State University, under the direction of Dr. Naveen Vaidya. We gave a within-host model for computing the probability of transmission of HIV as a function of age of infection. We then used the computed probabilities as parameters in a between-host age-structure model.
Publications and Preprints
- Aidan Backus, Peter Connick, Joshua Lin. An algorithm for computing root multiplicities in Kac-Moody algebras
- [math.RA, math.CO] (10 December, 2019) Root multiplicities encode information about the structure of Kac-Moody algebras, and appear in applications as far-reaching as string theory and the theory of modular functions. We provide an algorithm based on the Peterson recurrence formula to compute multiplicities, and argue that it is more efficient than the naive algorithm. You can also view an implementation in Sage, to be optimized and submitted to the Sage Project soon!
- Aidan Backus. The Breit-Wigner series and distribution of resonances of potentials
- [math.AP, quant-ph] (24 April, 2020) My undergraduate thesis. We propose a conjecture stating that for resonances \lambda_j of a non-compactly supported potential, the series \sum_j \Im \lambda_j/|\lambda_j|^2 diverges. Such sums naturally appear in the Breit-Wigner approximation of a compactly supported potential. We review the proofs of the Riesz representation formula for subharmonic functions and Titchmarsh's theorem on the distribution of zeroes of the Fourier transform of a compactly supported distribution, and use them to give a proof of the Breit-Wigner approximation that was outlined by Dyatlov and Zworski. We then prove our conjecture in several cases.
- Aidan Backus. The Breit-Wigner series for non-compactly supported potentials on the line
- [math.AP, quant-ph] (Coming soon!) We propose a conjecture stating that for resonances, \lambda_j, of a noncompactly supported potential, the series \sum_j \Im \lambda_j/|\lambda_j|^2 diverges. This series appears in the Breit-Wigner approximation for a compactly supported potential, in which case it converges. We provide heuristic motivation for this conjecture and prove it in several cases.
- Naveen Vaidya, Angelica Bloomquist, et al. Modeling the effects of antibodies on the risk of HIV infection
- [math.DS, q-bio] Coming soon!
Relevant coursework
- Spring 2020
- Math 219 — Dynamical Systems
- Math 225B — Recursion Theory
- Math 143 — Algebraic Geometry
- (UCLA, audited) Math 247B — Harmonic Analysis
- Fall 2019
-
- Math 208 — C*-Algebras
- Math 212 — Several Complex Variables
- Math 278 — General Relativity in Spherical Symmetry
- Spring 2019
-
- Math 202B — Topology and Analysis
- Math 250B — Commutative Algebra
- Math 222B — Partial Differential Equations
- Fall 2018
-
- Math 202A — Topology and Analysis
- Math 250A — Groups, Rings, and Fields
- Math 125A — Mathematical Logic
- Philosophy 149 — Nonclassical Logic
- Spring 2018
-
- Math H185 — Honors Introduction to Complex Analysis
- Math 105 — Second Course in Analysis
- Math 114 — Galois Theory
- Physics 137A — Quantum Mechanics
- Fall 2017
-
- Math H104 — Honors Introduction to Analysis
- Math 113 — Introduction to Abstract Algebra
- Math 126 — Introduction to Partial Differential Equations
- CS 170 — Efficient Algorithms and Intractable Problems
- Spring 2017
-
- Math 110 — Linear Algebra
- Math 55 — Discrete Math
- CS 61B — Data Structures
- Fall 2016
- Math 54 — Linear Algebra and Differential Equations
- CS 61A — Structure and Interpretation of Computer Programs
- Physics 7A — Classical Mechanics
Miscellaneous writing
- My lecture notes, in analysis and logic.
- Topics in the analysis notes include: the Bochner integral, ergodic theory and the Hopf argument, the Liouville-Arnold theorem, the Toda lattice and its applications to the QR algorithm, Siegel's KAM theorem, information theory, the holomorphic functional calculus, the GNS construction of a C*-algebra, C*-representation theory of locally compact groups, noncommutative geometry, Hormander's L^2 estimates in several complex variables, Bergman kernels and their application to Chow's theorem, Fourier decoupling, the pseudodifferential calculus with applications to the FBI transform, and cosmic censorship in spherical symmetry.
- Topics in the logic notes include: the Goedel completeness and incompleteness theorems, Kleene's recursion theorem, Slaman's theorem on induction in weak subtheories of PA, forcing, the Turing degrees, the axiom of determinacy, the priority argument, V = L, Cohen's theorem, weakly compact cardinals, measurable cardinals and their canonical inner model, large cardinals beyond choice, supercompact cardinals and their weak extender models, and the Ultimate L.
Any errors and sketchiness were surely my own doing, please don't hound my professors over it!
- A conjecture on the distribution of resonances of a non-compactly supported potential. My senior thesis (Spring 2020). Along with the promised conjecture, I prove a special case, and give exposition on the proofs of Titchmarsh's theorem and the Breit-Wigner approximation.
- Formalizations of analysis. Bishop's constructive analysis, Brouwer's intutionistic program, and pointless topology. Written for Philosophy 149 (Fall 2018).
- Mathematical models linking within-host and between-host HIV dynamics with Dr. Naveen Vaidya et al. A summary of work done in viral dynamics at the San Diego State REU (Summer 2018), to be cleaned up and turned into two papers to be submitted soon!
- Baire classes and the Borel sigma-algebra. An exposition of the existence of a Baire function for every countable ordinal on every Polish space. Written before I knew how to use TikZ or knew any logic, so very amateurish.
- Cuneiform arithmetic (PPT), a historical presentation for Near Eastern Studies 105A (Fall 2016), as well as presenter notes.
- On how to get into an REU, based on my experiences.
Other math
Here's some questions I'd like to know the answer to, or at least concepts I'd like to understand, in no particular order. Most of them are not open problems (but some are), but if you can explain any of them to me, I owe you a bottle of peach soju. I have also taken the liberty of using a lot of words I don't fully understand -- I'm just a student, after all. Questions in italics I've attempted to solve.
- How fast does the Breit-Wigner approximation converge for a compactly supported ell-infty potential? Does it remain formally valid for a super-exponentially decaying potential which is not analytic?
- Scattering theory in dimensions 3, 5, 7, etc.
- Is there a proof of the Peixoto density theorem which avoids the use of the Stone-Weierstrass theorem and Whitney embedding theorem?
- How well does hyperbolic dynamics extend to the infinite-dimensional case? Is there a good notion of uniform hyperbolicity for evolutionary PDE (whose state space, say, is a Banach manifold)?
- The viral age-structure equation: is its Cauchy problem well-posed? Does it have a well-defined notion of basic reproduction number? If so, what are its long-term stability properties?
- PDE that are mathematically interesting, but have biological motivation.
- Martin-Lof randomness, especially potential applications to ergodic theory.
- What is the right definition of magical Kac-Moody algebra? What asymptotic properties do they have?
- What is the optimal runtime to compute root multiplicities in Kac-Moody algebras?
Hobbies
Raiding in Final Fantasy XIV is a hobby of mine. I play Paladin for the team "WE ARE NOT OKAY" on Faerie (Aether/NA).
I play viola for the Virtual Video Game Orchestra. Previously I was at the Intermission Orchestra at Cal (where I was also an arranger), the Central Valley Youth Symphony Orchestra, and the San Joaquin County honors high school orchestra.
I also edit the Final Fantasy Wiki and do a lot of technical work for them (bots, FFXIV data mining, writing CSS) for them. If you're interested, check out the wiki Github and my site contributions.
Once upon a time, I wrote articles at great length for the Bruin Voice, especially about education policy. You can read some of my work at their website.
I also was once a chair at the Mathematics Undergraduate Student Association of UC Berkeley. I managed a proof-writing seminar and Shadow a Math Major Day.