Made-Up Courses

Estimated study time: 44 minutes

Table of contents

These are courses that do not exist at the University of Waterloo — at least not under these names or in quite this form. The subject matter is real mathematics, music history, or critical thinking; the course number and syllabus are invented. Each entry below gives the course title, a short description of what it covers, and a note on why this particular gap was worth filling fictionally.


Pure Mathematics

PMATH 833: Harmonic Analysis (Parts II & III synthesized)

Two synthetic extensions built on top of the abstract harmonic analysis that PMATH 833 actually teaches. Part II (geometric harmonic analysis): oscillatory integrals and the van der Corput lemma, the Hardy-Littlewood maximal function and Calderón-Zygmund theory, the Fourier restriction conjecture, Kakeya sets and Besicovitch’s needle problem, wave packet decomposition, the polynomial method, and the 2024 resolution of the three-dimensional Kakeya conjecture by Hong Wang and Joshua Zahl. Part III (discrete harmonic analysis): the Hardy-Littlewood circle method, Gauss sums and the major/minor arc decomposition of \(\mathbb{T}\), Weyl’s inequality as the discrete analogue of van der Corput differencing, discrete Radon transforms (Stein-Wainger 2001), and Bourgain’s theorem (1988–1990) on almost everywhere convergence of polynomial ergodic averages \((1/N)\sum f(T^{P(n)}x) \to \int f\,d\mu\) for all \(p > 1\) and all measure-preserving systems.

Why make it up
PMATH 833 at UW (taught by Nico Sprunk) covers abstract harmonic analysis: Haar measure, Pontryagin duality, representations of compact and locally compact groups, the Peter-Weyl theorem, amenable groups. Geometric and discrete harmonic analysis — the two dominant modern traditions — are not part of the course. Both Parts II and III were written as pure synthesis: Part II drawing on Stein’s Princeton lecture notes and the wave packet literature up through Wang-Zahl; Part III on Ben Krause’s AMS textbook (2022), recommended by Terence Tao. The unifying figure across all three parts is Bourgain, who made foundational contributions to abstract multiplier theory (Part I), the Kakeya problem (Part II), and polynomial ergodic theory (Part III) — the only mathematician whose work spans the entire arc of the notes.

PMATH 841: Class Field Theory

The crowning theorem of classical algebraic number theory: every abelian extension of a number field is determined by congruence conditions, and the Galois group is canonically isomorphic to a quotient of an idèle class group. The notes cover local and global reciprocity laws, the Artin map, class formations, and the idèlic formulation.

Why make it up
UW’s PMATH sequence goes deep into algebra and number theory but stops just short of class field theory, which sits at the threshold between advanced coursework and research. It is one of the most complete and satisfying theories in all of mathematics — a theory where everything works out — and deserved a set of notes.

PMATH 842: Automorphic Forms and the Langlands Program

Modular forms as automorphic representations of GL(2), local representation theory over p-adic and archimedean fields, L-functions and their functional equations, and a panoramic view of the Langlands correspondence. The notes build carefully from classical modular forms to the adèlic reformulation.

Why make it up
The Langlands program is arguably the central organising vision of modern number theory and representation theory. No introductory course notes on the subject exist for this curriculum; writing them forces a synthesis of material scattered across half a dozen graduate textbooks.

PMATH 847: Geometric Representation Theory

Representations of Lie algebras realised as geometric objects: the Borel–Weil–Bott theorem, Beilinson–Bernstein localisation, D-modules on flag varieties, perverse sheaves, and the geometric proof of the Kazhdan–Lusztig conjecture. Algebra, algebraic geometry, and topology woven together.

Why make it up
Geometric representation theory is a modern synthesis that rewrites classical results in a language where geometry does the heavy lifting. It is not taught as a single coherent course anywhere in the standard curriculum, yet it underlies much of contemporary research.

PMATH 852: Several Complex Variables and Hodge Theory

Holomorphic functions of several variables, the ∂̄-operator and Dolbeault cohomology, Kähler manifolds, and the Hodge decomposition theorem. The notes also cover the Hard Lefschetz theorem and the Kodaira vanishing theorem.

Why make it up
Hodge theory is one of the most beautiful results in all of mathematics — it says that on a compact Kähler manifold, the topology and the complex analysis constrain each other in a surprisingly rigid way. The subject bridges complex analysis, differential geometry, and algebraic topology but rarely appears in a single course.

PMATH 855: Microlocal Analysis

Pseudodifferential operators, the symbol calculus, wavefront sets, propagation of singularities for hyperbolic equations, and semiclassical analysis. The approach follows Hörmander and Zworski, with applications to spectral theory and scattering.

Why make it up
Microlocal analysis is the modern language of linear PDE and mathematical physics, yet it sits in an awkward gap: too advanced for a standard PDE course, rarely taught as a standalone subject. The phase-space perspective it introduces is indispensable for anyone doing analysis.

PMATH 856: Geometric Measure Theory

Hausdorff measure, rectifiable sets, the area and coarea formulas, sets of finite perimeter, currents, and the regularity theory for area-minimising surfaces. The notes address Plateau’s problem and the techniques that underlie its solution.

Why make it up
Geometric measure theory provides the right framework for minimal surfaces and variational problems in geometry, but its foundational machinery — Rademacher’s theorem, the compactness theorem for currents — is rarely assembled in one place for a graduate student audience.

PMATH 864: Infinite-Dimensional Lie Algebras and Vertex Algebras

Kac–Moody algebras and their root systems, the Virasoro algebra, highest-weight representations, the Weyl–Kac character formula, and vertex operator algebras as the mathematical language of two-dimensional conformal field theory.

Why make it up
Vertex algebras are the algebraic structure underlying a large swath of modern mathematical physics and the geometric Langlands program, yet they are almost never taught in a mathematics department. The subject rewards the reader with one of the deepest connections between algebra and physics.

PMATH 867: Geometric Group Theory

Cayley graphs, quasi-isometries, the Švarc–Milnor lemma, hyperbolic groups in the sense of Gromov, CAT(0) spaces, ends of groups, and the large-scale geometry of lattices in Lie groups.

Why make it up
Geometric group theory asks: what does a group look like when you zoom out and ignore the algebra? The resulting landscape — hyperbolic groups, boundaries at infinity, quasi-isometric rigidity — is both visually intuitive and technically deep, and it reorganises classical group theory in a surprising way.

PMATH 869: Knot Theory and Low-Dimensional Topology

Knot diagrams and Reidemeister moves, the knot group, Seifert surfaces and genus, the Alexander polynomial, the Jones polynomial via the Kauffman bracket, Khovanov homology, and an introduction to 3-manifold topology and Thurston’s geometrisation.

Why make it up
Knot theory is one of the most accessible entry points to research-level topology — the objects are easy to draw, the invariants are computable, and the open problems are genuinely hard. It also serves as the gateway to Floer homology and other cutting-edge tools.

Combinatorics and Optimization

CO 740: Additive Combinatorics

Additive structure in abelian groups: Freiman’s theorem and the structure of sets with small doubling, the Balog–Szemerédi–Gowers theorem, Fourier analytic methods, the cap-set problem, and Szemerédi’s theorem on arithmetic progressions.

Why make it up
Additive combinatorics has exploded since Gowers’s proof of Szemerédi’s theorem and the Green–Tao theorem, but it sits between number theory and combinatorics in a way that makes it easy to fall through the cracks of any one curriculum. The Fourier-analytic perspective it introduces is broadly useful.

CO 741: Extremal Combinatorics and Ramsey Theory

Turán-type problems, the Kruskal–Katona theorem, the Bollobás set-pairs inequality, Ramsey numbers and their bounds, Ramsey multiplicity, Hales–Jewett, and the probabilistic method as a systematic tool.

Why make it up
Extremal combinatorics contains some of the most elegant short proofs in mathematics alongside some of the most notorious open problems (like the exact value of R(5,5)). It is a natural companion to graph theory and a good training ground for probabilistic intuition.

CO 743: Discrete and Computational Geometry

Convexity, Carathéodory–Radon–Helly theorems, polytope combinatorics, Voronoi diagrams, Delaunay triangulations, point-location, epsilon-nets, and the polynomial method applied to combinatorial geometry problems.

Why make it up
Discrete geometry occupies the frontier between combinatorics, topology (Borsuk–Ulam), and algorithms. Guth and Katz’s resolution of the Erdős distinct distances problem via polynomial methods made the area newly exciting, and it deserves more visibility in a combinatorics curriculum.

CO 760: Online Algorithms and Competitive Analysis

The competitive ratio framework, ski rental and rent-or-buy problems, paging and the k-server conjecture, online matching, the secretary problem, and primal-dual techniques for online algorithm design.

Why make it up
Online algorithms formalise the question: how well can you do when you must decide without seeing the future? The competitive-ratio framework gives a clean mathematical answer and connects naturally to game theory and mechanism design. It is underrepresented in most algorithms curricula.

CO 770: Polynomial Optimization and Sum-of-Squares

Nonnegative polynomials and sums of squares, Hilbert’s 17th problem, the Positivstellensatz, the Lasserre SDP hierarchy, moment problems, and applications to combinatorial optimisation and control theory.

Why make it up
The sum-of-squares framework is one of the most powerful modern tools for both proving hardness results (via SOS lower bounds) and solving problems in practice (via convex relaxations). It unifies real algebraic geometry and convex optimisation in a way that is rarely taught in a single course.

Music

A direct continuation of MUSIC 140 (Simon Wood, UW): MTV and the visual turn, Michael Jackson, Madonna, hip-hop from the Bronx to global dominance, electronic dance music, alternative and grunge, and the internet’s disruption of the music industry.

Why make it up
MUSIC 140 ends around 1980, just as popular music was about to undergo its most dramatic transformation since the invention of rock and roll. The visual economy of MTV, the cultural politics of hip-hop, and the collapse of the major-label system are all left hanging. MUSIC 141 closes that chapter.

Japanese city pop, enka, and the idol system; Korean pop from trot to K-pop; Bollywood and Indian film music; Latin pop and reggaeton; Southeast Asian popular traditions. Each is treated as a living culture with its own internal logic, not as an exotic supplement to the Western canon.

Why make it up
The standard popular music curriculum is almost entirely Anglo-American. Billions of people consume, argue about, and make music in traditions that never appear in a Western syllabus. MUSIC 142 corrects that imbalance without treating non-Western music as merely derivative.

MUSIC 143: The Other Side of the Record

Country, gospel, jazz (beyond the swing chapter in MUSIC 140), reggae, progressive rock, singer-songwriters, and African popular music — the traditions that outsold or outlasted rock but were marginalised by a textbook organised around the “blues-to-rock-to-punk” spine.

Why make it up
Every survey course makes choices about what to centre, and centering rock necessarily relegates country, gospel, and African popular music to footnotes. MUSIC 143 asks what the story looks like when you decenter rock — and finds a richer picture.

MUSIC 144: History of Musical Theatre

From minstrelsy, vaudeville, operetta, and Tin Pan Alley through Show Boat, Rodgers and Hammerstein, Bernstein, Sondheim, rock musicals, megamusicals, Disney, and Hamilton, then across the Pacific to the rise of Mandarin musical theatre, Super-Vocal, and post-2018 original Chinese works. The notes also include synthetic chapters on musicals versus pop music, musicals versus opera, and a comparative toolkit for analyzing musical numbers.

Why make it up
UW’s music offerings include popular music history, opera history, and Western art music surveys, but nothing that treats the musical as a serious historical form in its own right. That leaves a conspicuous gap. Musical theatre sits exactly at the junction of popular song, stagecraft, dance, commerce, voice, and mass media; it also became one of the key vehicles through which Broadway aesthetics entered China. MUSIC 144 fills that gap by treating the musical not as a light add-on to opera or pop, but as a hybrid art form with its own history, techniques, and global afterlife.

MUSIC 272: Counterpoint and Fugue

Species counterpoint in two through four voices (Fux’s five species), tonal counterpoint in the Bach style, invertible counterpoint, canon, and fugue — subject, answer, countersubject, exposition, episodes, stretto, and the complete fugue in C minor from WTC I as a model analysis.

Why make it up
UW’s theory sequence (MUSIC 270–271) covers chromatic harmony and orchestration but has no dedicated counterpoint or fugue course — skills that Wilfrid Laurier (next door) requires in MU361. Every serious theory student learns to write species counterpoint; UW makes them pick it up implicitly.

MUSIC 273: Jazz Theory and Harmony

Jazz chord symbols and voicings, ii–V–I progressions in major and minor, tritone substitution, backdoor dominants, chord extensions (9th, 11th, 13th), altered dominants, modes for improvisation (Dorian, Mixolydian, Lydian dominant, altered scale, half-whole diminished), blues harmony, rhythm changes, modal jazz, reharmonization, and the bebop vocabulary.

Why make it up
MUSIC 371 (Theory 4) mentions modes in one table; MUSIC 240 covers jazz history without harmonic analysis. Neither course teaches the practical jazz harmony that any jazz performer or composer needs — the material covered in full depth at Berklee, Manhattan School, NEC, and Eastman. Sikora’s Jazz Harmony and Levine’s Jazz Theory Book are the primary references.

MUSIC 276: Psychoacoustics and the Science of Musical Sound

The auditory system, pitch perception (place vs. temporal theory, virtual pitch), timbre and auditory stream analysis, loudness, masking and critical bands, consonance and dissonance from Helmholtz to Sethares, room acoustics and concert hall design, physical instrument acoustics, and the perceptual basis of musical structure.

Why make it up
AMATH 390 covers Fourier analysis, scales, and temperaments — the mathematics of music. MUSIC 276 covers the other half: how the ear and brain process sound. Psychoacoustics is taught at Stanford (MUSIC 150), MIT (21M.380), Cornell, and UC Berkeley but has no home at UW.

Harmonic schemas in pop and rock (I–V–vi–IV, Aeolian loop, Andalusian cadence), modal mixture, phrase structure and formal analysis of songs, verse-chorus and AABA form, groove and rhythmic feel, timbral analysis of recordings, and analytical methods for hip-hop, R&B, EDM, and country.

Why make it up
MUSIC 140 (Popular Music, Simon Wood) is history and cultural studies; MUSIC 277 is harmonic and formal analysis. Taught at Yale, NYU, Cambridge, Liverpool, and UNT; missing entirely from UW’s theory curriculum, which treats popular music as outside the domain of serious analysis.

MUSIC 278: Electronic Music: History and Aesthetics

Musique concrète (Schaeffer, Henry), elektronische Musik (Stockhausen, Eimert), tape music at the Columbia-Princeton Electronic Music Center, early computer music (Hiller, Xenakis), voltage-controlled synthesis (Moog, Buchla), spectral music (Murail, Grisey), laptop performance, glitch and noise aesthetics.

Why make it up
MUSIC 275 (Music Technology) covers recording tools and MIDI — the what of electronic music. MUSIC 278 covers the art form itself: the composers, the aesthetics, the defining works, and the ideas that drove each era from Pierre Schaeffer’s tape experiments to the spectral composers’ acoustic-analysis methods.

MUSIC 279: Sound Synthesis and Music Production

Synthesis paradigms (subtractive, FM, additive, wavetable, granular, physical modelling, sampling), synthesizer architecture (oscillators, filters, envelopes, LFOs, modulation routing), the professional production pipeline from pre-production through mastering, beat programming, vocal production, mixing for the small studio, and critical listening.

Why make it up
MUSIC 275 introduces recording and MIDI. MUSIC 279 goes deep: the mathematics of FM synthesis, the architecture of a modular synthesizer, the signal flow of a professional mix, and the production techniques behind recorded pop. Berklee’s Electronic Production degree, Stanford CCRMA, and Carnegie Mellon all teach this material; UW does not.

MUSIC 373: Form and Musical Analysis

Phrase structure (sentences and periods), small forms (binary, ternary, rondo), theme and variations, sonata form using Caplin’s formal functions and Hepokoski-Darcy’s dialogic sonata theory, concerto form, 19th-century formal expansion, and 20th-century form from Bartók to Reich.

Why make it up
UW has no dedicated form and analysis course — a staple at Harvard, Yale, Princeton, Cambridge, Eastman, and Indiana. MUSIC 371 and 372 cover harmony and orchestration; they do not teach the systematic analysis of musical form that every music scholar and practitioner needs.

MUSIC 375: Songwriting: Analysis and Craft

Song form architecture (AABA, verse-chorus, pre-chorus, bridge), melodic hook design and contour, lyric craft (rhyme, prosody, imagery, narrative arc), harmonic schemas of popular song, arrangement as compositional tool, and detailed formal analysis of songs across Tin Pan Alley, rock, country, R&B, hip-hop, and musical theatre.

Why make it up
MUSIC 376 (Composition) focuses on concert music; no UW course teaches the specific craft of the popular song — the subject of dedicated programmes at Berklee, NYU Steinhardt, Belmont, and WLU (MU344). Analysing what makes a great hook, how a verse earns its chorus, or how prosody shapes melodic identity is a genuine academic skill.

MUSIC 377: Post-Tonal Music Theory

Pitch-class sets and Forte’s classification, interval vectors, Z-relations and complementation, the twelve-tone matrix and its four forms, combinatoriality and rotational arrays (Babbitt, Schoenberg, Webern), total serialism (Boulez), stochastic composition (Xenakis), transformational theory (Lewin’s GIS), and Neo-Riemannian theory (PLR operations, the tonnetz).

Why make it up
MUSIC 371 (Theory 4) devotes one chapter to post-tonal concepts; MUSIC 377 spends an entire semester on them. Straus’s Introduction to Post-Tonal Theory, Forte’s Structure of Atonal Music, and Lewin’s Generalized Musical Intervals deserve more than a week’s coverage — as UC Irvine, U Chicago, Indiana, Yale, and Eastman all recognise.

MUSIC 670: Musicology Research Methods and Scholarly Writing

Archival research, manuscript sources and RISM/RILM/Grove, source criticism and philology (stemma codicum, critical editions), historiography and critical methodology, digital musicology (music21, Humdrum, corpus analysis), scholarly writing (journal articles, conference papers, grant applications), and dissertation prospectus development.

Why make it up
Yale’s MUSI 697 and Indiana’s M501 are required doctoral proseminars in research methods; UW has no equivalent. Graduate students in musicology and music theory need formal training in how to use archives, read critical editions, conduct a literature review, and write for publication — skills that cannot be absorbed incidentally from coursework.

MUSIC 672: Schenkerian Analysis

Schenker’s theory of structural levels (Hintergrund, Mittelgrund, Vordergrund), the Ursatz (Urlinie and Bassbrechung), prolongational techniques (neighbor notes, linear progressions, unfolding, register transfer), interruption and the two-part structure, motivic parallelism across levels, and complete-movement analyses of Bach, Beethoven, Chopin, and Brahms.

Why make it up
MUSIC 370 (Theory 3) introduced “prolongation” in a paragraph; MUSIC 371 (Theory 4) spent a class on it without going too much in details. Schenkerian analysis is a full analytical system requiring a semester to master. Indiana (T555), Yale, Harvard, Eastman, and NYU all teach it as a standalone graduate course. Cadwallader and Gagné’s textbook is the standard reference.

MUSIC 674: History of Music Theory

Pythagorean ratio theory, Aristoxenus’s empiricism, Boethius and the medieval quadrivium, Guido’s hexachords, Zarlino’s senario and just intonation, Rameau’s basse fondamentale and chord inversion, Riemann’s Funktionslehre, Schenker’s organicism, Forte’s set theory, Lewin’s transformational theory, and Neo-Riemannian analysis.

Why make it up
Understanding why music theory looks the way it does requires reading it historically — tracing how Pythagorean mathematics became Rameau’s fundamental bass became Schenker’s Ursatz became Lewin’s GIS. Yale requires MUSI 720–721 for all doctoral students; Indiana requires T623–T624. UW has no equivalent.

MUSIC 675: Critical Musicology and Cultural Theory

New Musicology and the cultural turn (Kerman, Kramer), feminist musicology (McClary, Citron), race and musical imagination (Radano, Eidsheim), postcolonial musicology (Agawu, Born), queer musicology (Brett, Wood), disability and music (Straus), Adorno and the culture industry, sound studies (Sterne, Schafer), and intersectional approaches.

Why make it up
Music scholarship since the 1990s has been fundamentally shaped by cultural theory — gender, race, postcolonialism, disability, sound studies. Harvard, Princeton, Penn, and Queens College CUNY all require doctoral students to engage with this literature. UW’s graduate music offerings do not include a course in critical musicology.

MUSIC 676: Ethnomusicological Methods and Fieldwork

Merriam’s tripartite model, Rice’s revised framework, Turino’s Peircean semiotics, bi-musicality (Hood), participant observation and ethnographic fieldwork, audio and video documentation, transcription and analysis of non-Western repertoires, interview methods, ethics, positionality, repatriation, and writing ethnomusicography.

Why make it up
MUSIC 232 and 233 (World Music survey courses) describe what non-Western music sounds like; MUSIC 676 teaches how to study it rigorously. Columbia (GR8412), Yale (MUSI 699), Harvard, Indiana, and UCLA all teach ethnomusicological methods as a graduate requirement. UW has nothing comparable.

MUSIC 678: Music Theory Pedagogy

Learning theory applied to music (constructivism, threshold concepts, cognitive load), curriculum design and backward design, teaching tonal harmony and counterpoint, aural skills pedagogy (fixed-do vs. movable-do, Karpinski’s audiation), assessment and rubric design, inclusive pedagogy, universal design for learning, and the theory classroom as a creative space.

Why make it up
Every music theory graduate student will teach; almost none receive formal pedagogical training. Eastman’s graduate pedagogy certificate, Peabody’s MM in Theory Pedagogy, and Michigan’s graduate certificate all address this gap. UW’s graduate students are assigned to teach MUSIC 261 with no preparation beyond their own undergraduate experience.

Applied Mathematics

AMATH 464: Solid Mechanics

A comprehensive engineering solid-mechanics continuation of amath361. Covers 3D stress and strain, Mohr’s circle and rosettes, axial loading and thermal stress, torsion (circular, non-circular, thin-walled closed and open sections, warping), bending (symmetric, unsymmetric, composite, curved, plastic), shear stress and shear centre, beam deflections (double integration, Macaulay brackets, moment-area, conjugate beam, superposition), energy methods (Castigliano, virtual work, Maxwell-Betti, least work), statically indeterminate structures (flexibility, stiffness, three-moment), column buckling (Euler, Perry-Robertson, secant, Rayleigh-Ritz, lateral-torsional, shell), beams on elastic foundations, plane elasticity and the Airy stress function, Kirchhoff plate theory, failure criteria (Tresca, von Mises, Mohr-Coulomb, Drucker-Prager, Hill), pressure vessels and thick-walled cylinders (Lamé, autofrettage), crack-tip fields and LEFM (Westergaard, K-factors, J-integral, Paris), thermoelasticity, plasticity (flow rules, hardening, limit analysis, slip-lines, shakedown), fatigue and damage tolerance, anisotropic and composite materials (laminate theory, Tsai-Wu), experimental stress analysis (gauges, photoelasticity, DIC), finite element preview, Hertz contact mechanics, and dynamic/impact loading. Material taught across ME 220, AE 204/205, CIVE 204/205/306, BME 553, MTE 219, SYDE 286, and NE 318 at Waterloo.

Why make it up
Waterloo teaches solid mechanics across several engineering-faculty courses without a corresponding math-faculty treatment. AMATH 464 was invented to pair with amath361 (continuum) and amath463 (fluid mechanics) so a math-oriented reader has a single rigorous text covering the full classical solid-mechanics toolkit — from the flexure formula and Mohr’s circle to laminate theory, fracture mechanics, and the finite element method. The exposition follows Timoshenko and Goodier, Gere and Goodno, Roark’s formulas, Ugural-Fenster, and Boresi-Schmidt as primary references.

AMATH 791: Inverse Problems and Data Assimilation

The mathematical theory of recovering unknown parameters, initial conditions, or forcing terms from indirect, noisy observations. The notes cover regularization theory (Tikhonov, iterative methods), the Bayesian formulation of inversion (including Stuart’s well-posedness theorem), MCMC methods, and data assimilation (Kalman filtering, 3D-Var, 4D-Var).

Why make it up
Inverse problems sit at the intersection of functional analysis, numerical PDEs, and computation — all core AMATH subjects — yet UW has no dedicated course. The field has become central to modern applied mathematics, from medical imaging to weather prediction to seismic exploration, and is taught at MIT, Caltech, Chicago, Cambridge, and Oxford.

AMATH 843: Integral Equation Methods for PDEs

Boundary integral equations reformulate PDEs as equations on lower-dimensional boundaries. The notes cover potential theory, Fredholm theory, Nyström and collocation methods, singular and hypersingular quadrature, and fast algorithms (the fast multipole method), with applications to acoustic scattering, Stokes flow, and electromagnetics.

Why make it up
UW’s numerical PDE curriculum covers finite differences (AMATH 741) and finite elements (AMATH 841) but not boundary integral methods — the third major numerical PDE paradigm. NYU Courant is the world center for this subject (Greengard, Rokhlin, O’Neil), and the fast multipole method was called one of the top ten algorithms of the twentieth century.

AMATH 844: Homogenization and Multiscale Methods

Asymptotic homogenization of PDEs with rapidly oscillating coefficients: two-scale expansions, cell problems, effective coefficients, H-convergence and two-scale convergence, stochastic homogenization, Hashin-Shtrikman bounds, and computational multiscale methods (HMM, MsFEM).

Why make it up
Real-world materials — composites, porous media, biological tissues — have structure at multiple spatial scales. Homogenization theory provides the rigorous mathematical framework for deriving effective macroscopic equations, extending both asymptotic methods (AMATH 732) and numerical PDEs (AMATH 741) to problems where direct simulation is computationally infeasible.

AMATH 845: Combustion Theory and Reactive Flows

Reaction-diffusion equations with Arrhenius kinetics, premixed and diffusion flames, laminar flame speed via the Zeldovich-Frank-Kamenetskii analysis, activation energy asymptotics, ignition and extinction (Semenov theory, S-curve), detonation waves (Chapman-Jouguet and ZND theory), flame instabilities (Darrieus-Landau, Sivashinsky equation), and computational combustion.

Why make it up
Combustion theory is a classical applied mathematics subject — it is where matched asymptotic expansions were first deployed at industrial scale — yet UW has no course on it. The subject applies PDEs, asymptotic methods, and dynamical systems to chemistry and propulsion, and is taught at Cambridge DAMTP, Caltech, Princeton, Stanford, and MIT.

AMATH 848: Biological Fluid Dynamics

Low-Reynolds-number hydrodynamics and the scallop theorem, swimming of microorganisms (resistive force theory, slender body theory, Taylor’s swimming sheet), flagellar and ciliary propulsion, blood flow and hemodynamics (Womersley flow, pulse wave propagation), non-Newtonian blood rheology, pulmonary mechanics, biofilm dynamics, and collective locomotion in active suspensions.

Why make it up
UW has general fluid mechanics (AMATH 463/863) and mathematical biology (383/881/882) but nothing at their intersection — the fluid mechanics of living systems. Biological fluid dynamics is a thriving DAMTP subject (Cambridge Part III, taught by Goldstein and Lauga) that combines Stokes flow theory with biological function, and is also taught at Oxford, Stanford, and MIT.

AMATH 852: Mathematical Geophysics and Seismic Wave Propagation

Elastic wave equations in heterogeneous media, P-wave and S-wave decomposition, surface waves (Rayleigh, Love), ray theory and the eikonal equation, normal mode theory for the Earth, earthquake source mechanics (moment tensors, radiation patterns), seismic tomography as an inverse problem, and computational seismology (spectral element methods, perfectly matched layers).

Why make it up
Seismic wave propagation is one of the most mathematically rich areas of geophysics — combining PDE theory, asymptotic methods, spectral theory, and inverse problems — yet UW has no course on it. The subject is taught at Caltech, Cambridge, Princeton, Stanford, MIT, and Oxford, and is central to understanding Earth’s interior structure.

AMATH 858: Free Boundary Problems and Phase Transitions

The Stefan problem for solidification and melting, Hele-Shaw flows and Saffman-Taylor instability, morphological instability (Mullins-Sekerka), mushy-zone theory for alloy solidification, variational inequalities and the obstacle problem (Caffarelli regularity theory), phase-field models (Allen-Cahn, Cahn-Hilliard) and their sharp-interface limits, and level set methods for interface tracking.

Why make it up
Free boundary problems are PDE problems where the domain itself is unknown — they arise in solidification, crystal growth, ice formation, and tumor growth. The subject has its own deep mathematical theory (Caffarelli’s regularity results, Γ-convergence of phase-field models) and is taught at Cambridge DAMTP (Worster), NYU Courant, Oxford, and Chicago.

AMATH 860: Kinetic Theory and Transport Equations

From particle systems to distribution functions: the Boltzmann equation, H-theorem, Chapman-Enskog expansion deriving Euler and Navier-Stokes as hydrodynamic limits, the Vlasov equation and Landau damping, moment methods and closures, and numerical methods (DSMC, spectral methods, asymptotic-preserving schemes).

Why make it up
Kinetic theory is the bridge between the microscopic world of particles and the macroscopic world of continuum mechanics — it explains why the Navier-Stokes equations hold and when they break down. The subject connects naturally to UW’s fluid mechanics and PDE courses but requires its own mathematical language: the Boltzmann equation, collision operators, and the Chapman-Enskog machinery.

AMATH 865: Geophysical Fluid Dynamics

The dynamics of rotating and stratified fluids applied to the ocean and atmosphere: geostrophic balance, shallow water theory, Rossby waves, quasi-geostrophic dynamics, baroclinic and barotropic instability, Ekman layers and wind-driven ocean circulation, and equatorial wave dynamics.

Why make it up
UW has AMATH 362 (Mathematics of Climate Change) at the undergraduate level but no graduate GFD course. Geophysical fluid dynamics is a classical applied mathematics subject — it shaped the careers of people like Pedlosky, Gill, and Vallis — and is taught at MIT, Cambridge, Princeton, Oxford, and NYU Courant. The subject combines fluid mechanics, PDEs, and dynamical systems in a physically rich setting.

AMATH 866: Magnetohydrodynamics and Plasma Physics

The mathematical theory of electrically conducting fluids: derivation and structure of the MHD equations, Alfvén’s frozen-in flux theorem, MHD wave modes, the Grad-Shafranov equation for axisymmetric equilibria, the energy principle for MHD stability, magnetic reconnection (Sweet-Parker and Petschek models), dynamo theory, and kinetic corrections (CGL theory, gyrokinetics).

Why make it up
MHD extends the fluid mechanics of AMATH 863 to electrically conducting fluids — the state of matter in stars, fusion reactors, and the solar wind. The subject is a classical DAMTP topic taught at Cambridge, Princeton, Caltech, Oxford, and MIT, and it sits squarely at the intersection of fluid mechanics, PDEs, and mathematical physics.

AMATH 883: Mathematical Epidemiology and Population Dynamics

Compartmental models (SIR, SEIR, SIS) and the basic reproduction number \(R_0\), stability analysis and bifurcations of disease equilibria, age-structured models and the next-generation operator, spatial spread via reaction-diffusion equations and traveling waves, stochastic epidemic models, and classical population dynamics (predator-prey, competition, functional responses).

Why make it up
UW has AMATH 383 (Intro to Mathematical Biology) and graduate courses on oncology (AMATH 881) and cell biology (AMATH 882), but no graduate course on epidemiology and population dynamics — a major branch of mathematical biology highlighted during the COVID-19 pandemic. The subject is classical (Kermack-McKendrick, 1927) yet remains at the frontier of applied mathematics.

Philosophy

PHIL 145c: Critical Thinking — Case Studies (Chinese)

Written in Chinese. Several real Chinese-internet controversies (plus a cross-language elite-discourse case) from 2016–2026 dissected in great detail across multiple aspects: source provenance with timelines and stakeholder analysis, fact-check tables with verifiable citations, reconstruction of unstated premises, ARG-framework evaluation (Acceptability / Relevance / Grounds), fallacy identification at three layers (surface / structural / rhetorical-strategy), charitable interpretation, and multidisciplinary dialectical conclusions drawing on sociology, philosophy, psychology, political economy, media studies, and legal philosophy. Later cases include an identification-and-communication section on how to recognize the embedded logical traps and how to respond constructively to interlocutors who deploy them.

Why make it up
PHIL 145 teaches the tools; PHIL 145c applies them to cases where the emotional stakes are high and the fallacies are real. Chinese internet discourse in particular offers rich material: the arguments are public, the stakes feel urgent to participants, and the logical errors are instructive precisely because they are so easy to make.

PHIL 145c — Discourse Analysis (Chinese)

Written in Chinese. A topical extension of PHIL 145c that shifts the analytical object from a single text to a corpus of nearly 200 simultaneous answers under one Zhihu question — “which country supports China the most?” The notes develop a new bucket-then-evaluate framework: every answer is sorted into one of seven mutually exclusive buckets, each bucket gets a typical argument skeleton plus an ARG evaluation table plus one most-explanatory social theory, and the chapter opens with an inline SVG distribution chart. A long meta-chapter analyzes the “美国间谍” / “美分” accusation pattern as five stacked fallacies (情境型 ad hominem, genetic, motive, poisoning the well, unfalsifiable conspiracy) and through seven social theories (Kahan identity-protective cognition with the 2007 J. Empirical Legal Studies paper, Kunda motivated reasoning, Whitson–Galinsky 2008 Science on illusory pattern perception, van Prooijen on the three triggers of conspiratorial sense-making, Tajfel + Goffman, Festinger, Han Rongbin on 自干五). Comparative chapters draw on Katzenstein–Keohane’s anti-Americanism typology, Susan Shirk’s 2008-turn argument, Pomfret’s “Buddhist cycle” of US-China relations, Iriye’s “inner history” framework, and a parallel Western-platform chapter showing the same shill-accusation pattern operates on Reddit (r/Sino, r/genzedong), Quora, and X — covering Russiagate, the COVID lab-leak reversal, and 2023 Israel-Hamas Reddit polarization. A closing methodological chapter takes up Mill on liberty, Popper on the open society, and Habermas on the ideal speech situation as standards for what critical thinking can mean in an asymmetric discursive environment.

Why make it up
PHIL 145c handles single-text cases; this extension handles many-text discourse. The two require different machinery: a per-case six-section template versus a bucket-typology with statistical front matter. The notes push deeper into history (Sino-American, Sino-Soviet, Sino-DPRK), into the philosophy of how one analyzes a discourse one is also a participant in (Gadamer, Skinner, Grice, 殷海光), and into comparative Western-platform analysis to argue the diagnosed pattern is structural rather than China-specific. The corpus chosen — a question whose displayed top answers overwhelmingly named the United States, in defiance of the dominant nationalist register — was useful precisely because it forces the analyst to evaluate friends and opponents by the same ARG yardstick. The -discourse suffix marks this as the first of an open series of topical extensions to PHIL 145c.

Psychology

A fourteen-chapter critical-analysis course that uses two specific Douyin creators — 小五狼 and 雨宸 — as a sustained primary corpus. The psychoanalytic tradition is covered in depth across the first half: object relations (Klein, Fairbairn, Winnicott, Fonagy), attachment theory (Bowlby, Ainsworth, Mikulincer–Shaver), self psychology (Kohut), and personality disorders (DSM-5-TR alongside the AMPD dimensional alternative). Personality typology occupies its own chapter — Jung’s Psychological Types, MBTI’s drift from its source, and the Big Five as the current empirical consensus. The second half broadens: Adler’s individual psychology and its Japanese popularization; cognitive psychology and the 内耗 (internal consumption) discourse; existentialism from Kierkegaard through Sartre and Camus; the algorithmic psychologization of Chinese classics (Wang Yangming, Laozi, Buddhist thought); gender, mating theory, and the incel debate; and a demarcation chapter on quantum consciousness, NDEs, and manifestation rhetoric. A full comparative chapter examines Western short-video psychology — TikTok-induced functional disorders, the therapy-speak debate, Haidt’s The Anxious Generation, and close readings of fourteen English-language videos — set against the Chinese material throughout. Throughout every chapter, a recurring section isolates what the short-video version systematically loses when compressing its source.

Why make it up
UW has PHIL 145 for critical thinking and introductory psychology for the substantive content, but no course that teaches a student to read popular-psychology short videos the way PHIL 145 teaches them to read a newspaper editorial. For most Chinese-speaking undergraduates, Douyin psychology is now the dominant vehicle through which ideas like “attachment style”, “原生家庭 trauma”, or “existential authenticity” enter self-understanding — yet those ideas are never examined against the original literature. PSYCH 099 fills that gap with both systematic source-recovery and a comparative lens on how the same compression dynamic operates on Western platforms.

PSYCH 254: Psychology of Persuasion

A stand-alone course on attitude change and compliance, continuing where social psychology leaves off. The notes cover the Yale communication programme, cognitive dissonance, the elaboration likelihood and heuristic-systematic models, Cialdini’s compliance principles, resistance and inoculation, narrative persuasion, and the ethics of influence. Anglophone research is read alongside the Chinese rhetorical tradition — Guiguzi, Confucian renqing and face, Legalist incentive theory, and contemporary debate-competition pedagogy (黄执中) — as a co-equal body of thinking about how one mind moves another.

Why make it up
UW teaches social psychology and consumer behaviour but has no dedicated course on persuasion as a unified subject, despite its being one of the most applied branches of social psychology and a standard upper-year offering at Ohio State (where Petty built the field), Arizona State (Cialdini’s home institution), Michigan, and Annenberg. PSYCH 254 also refuses the usual Anglo-centric framing: Chinese rhetorical traditions have their own centuries-long theory of influence that is rarely placed in dialogue with the ELM or Cialdini’s six principles.

PSYCH 358: Psychology of Dating

A comparative psychology course on heterosexual dating across mainland Chinese and Anglosphere Western cultures. The notes treat attraction, attachment, gendered expectations, family pressure, sexual timing, jealousy, apps, breakup psychology, and the historical transition from older courtship systems to contemporary dating. Equal weight is given to Chinese and Western cases, and the emphasis stays analytical rather than tactical: not how to date, but what dating reveals about male and female psychology under changing institutions.

Why make it up
UW has close-relationship material scattered across social psychology, personality, gender, and sociology, but no course that treats dating itself as a serious psychological object. That gap matters because modern dating is one of the main places where attachment, status, family, sexuality, economics, and platform culture collide. PSYCH 358 fills that gap with a comparative framework that takes both Chinese and Western dating cultures seriously and resists turning the subject into pickup advice or online grievance ideology.

PSYCH 359: The Psychology of Romantic Love

A course organised around romantic love as a specific psychological state — not around the relationships that contain it. The notes cover Sternberg’s triangular theory, Hatfield and Berscheid on passionate versus companionate love, Fisher’s neurobiological model, Aron’s self-expansion theory, Hazan and Shaver on adult attachment, Tennov on limerence, and Lee’s love styles, alongside the cross-cultural literature establishing love’s near-universality and a serious treatment of Chinese-language concepts (缘分, 暧昧, 一见钟情, 心动) that carve romantic experience at joints Anglophone psychology rarely notices. Humanities sources — Plato, Stendhal, Barthes, bell hooks, Illouz — are read as genuine observations, not as literary decoration.

Why make it up
UW has close-relationships material embedded in social psychology and a family sociology sequence, but nothing that treats love itself — as distinct from the relationships that carry it — as a rigorous psychological object. Separating the two is analytically useful: two people can have a functioning relationship without much love, and love can outlast a relationship by decades. PSYCH 359 fills that gap and pairs naturally with PSYCH 358 (dating) as the upstream emotional-science complement to a course about dating institutions.

PSYCH 360: Criminal Psychology

A comparative criminal-psychology course covering the developmental, clinical, and social roots of offending; the psychology of the criminal-justice process (eyewitness memory, false confessions, juror decision-making, risk assessment); psychopathy and antisocial personality; violent and sexual offending; and rehabilitation. The Anglo-American forensic-psychology tradition (Bartol, Andrews & Bonta, Raine, Hare, Loftus) is read alongside mainland Chinese criminal psychology (犯罪心理学) as a co-equal case: inquisitorial rather than adversarial procedure, professional judges rather than lay juries, and a more centralized state role in defining both crime and rehabilitation. Explicitly not a true-crime course.

Why make it up
UW has abnormal psychology and a legal-studies programme, but no course that treats the psychology of crime, the offender, and the criminal-justice process as a unified subject — a standard offering at Simon Fraser (home of the PCL-R), John Jay, Leicester, and most large psychology departments. PSYCH 360 also resists the usual framing: the Anglophone forensic-psychology textbook tradition silently treats adversarial trials, jury decision-making, and insanity defences as universal facts, when they are in fact institutional choices that look very different in Chinese criminal procedure.

Sociology

SOC 418: Gender Conflict, Sexual Politics, and Online Public Discourse

A sociology course built out of the kind of internet argument that PHIL 145C can diagnose but not fully explain. The notes treat online gender conflict in Chinese digital publics as a problem of gender order, social reproduction, platform governance, emotional labour, sexual scripts, moral regulation, and identity-protective cognition, with comparative chapters on South Korea, Japan, North America, and Europe. The course moves from a recognizable discourse case into a full research-driven sociology of how antagonism is produced, circulated, and normalized.

Why make it up
UW has courses on family, gender, sexuality, technology, and higher-level communication, but nothing that treats the contemporary gender war as a sociological object in its own right. That gap matters. A huge amount of public life now runs through platform-mediated conflict, and gender discourse is one of its most intense forms. SOC 418 fills that gap by taking a problem that usually appears as commentary or moral panic and reorganizing it as a rigorous, comparative sociology course.

SOC 431: Education, Credentialism, and Social Mobility

A synthetic upper-year sociology course on educational expansion, credential inflation, family strategy, labor-market sorting, housing pressure, and the emotional life of blocked mobility. The notes are China-led but comparative, connecting gaokao competition, elite-university hierarchy, youth precarity, and “学历贬值” discourse to the wider sociology of reproduction, meritocracy, signaling, and status closure. The course asks why education remains socially indispensable even as its mobility promises become unstable.

Why make it up
UW has strong real courses on the sociology of education and higher education, but not one centered this tightly on the contradiction between the promise of schooling and the lived reality of credential competition. That contradiction now structures an enormous amount of youth discourse, family investment, and class anxiety. SOC 431 was written to fill exactly that gap: not “is college worth it?” as opinion journalism, but the full sociological analysis of why that question keeps returning and why it feels newly urgent.

Rotating-Topics Composites (-rest)

The -rest notes below are not single courses. Each is a synthetic composite that stitches together several offerings of a UW rotating-topics graduate course — one whose subject matter changes every term — into one coherent textbook-style document. The courses themselves exist; the unified narrative, the chapter-by-chapter compression, and the cross-references between offerings are invented here. For any given term, only one of the chapters in a -rest file corresponds to the course as actually taught; the other chapters describe what was taught in other terms. These notes are written for the reader who wants a map of the subject’s rotation across recent years, not for the reader studying for a specific final.

CO 739: Topics in Combinatorics

Seven instances synthesized: stable polynomials, combinatorics of Feynman diagrams, Hopf algebras and renormalization, topological combinatorics, information theory, combinatorial algebraic geometry, and a pointer to the Yeats orthogonal-polynomials offering.

Why make it up
CO 739 has rotated across a strikingly wide spectrum in the past decade. A single student will see one offering; a single composite lets a reader see the full arc — which is where the subject’s connections to algebra, geometry, and probability become visible.

CO 749: Topics in Graph Theory

Geelen’s Fall 2016 lecture course on the Robertson–Seymour graph minors structure theorem, together with a pointer to the Fall 2024 follow-up.

Why make it up
CO 749 offerings on structural graph theory are rare; Geelen’s F16 course on the Robertson–Seymour structure theorem is the most developed recent instance and receives the bulk of the treatment. The F24 pointer marks the subject’s continuation into matroid minors and induced-subgraph analogues.

CO 759: Topics in Discrete Optimization

Six instances synthesized: Cheriyan’s Spring 2014 on spectral methods, Cook’s Winter 2015 on computational discrete optimization, Fukasawa’s Winter 2016 on integer programming, Cook’s Winter 2018 on deep learning from an optimization perspective, Fall 2019 on optimization under uncertainty, and Spring 2024 on approximation algorithms and hardness.

Why make it up
The reference model for every other -rest file in this chapter. Six offerings, six chapters, each at textbook depth with definitions, theorems, and worked examples from the standard public references for that topic.

CO 769: Topics in Continuous Optimization

Two deeply developed instances: Wolkowicz’s Winter 2016 course on facial reduction in semidefinite programming, and optimal transport (following the modern Villani / Santambrogio / Peyré–Cuturi literature).

Why make it up
CO 769 offerings are rarer than the other rotating topics courses, so the composite compensates with dense per-chapter treatment (125–130 lines each). Either chapter stands on its own as a first introduction to its subfield.

CO 781: Topics in Quantum Information

Two Debbie Leung offerings on quantum error correction and fault-tolerant quantum computation, developed through the standard public literature (Nielsen–Chuang, Gottesman, Kitaev, Fowler–Mariantoni–Martinis–Cleland, Terhal, Watrous).

Why make it up
CO 781 rotates among several quantum-information topics; Leung’s quantum-error-correction offerings share enough overlap that a combined treatment is more coherent than two separate ones.

PMATH 930: Topics in Logic

Six instances synthesized across the Moosa / Willard / Zucker offerings: model theory of fields with operators, difference fields, universal algebra, countably infinite Ramsey theory, differential fields II, and the Fall 2025 geometric stability theory offering.

Why make it up
PMATH 930 rotates across model theory, universal algebra, and combinatorics. The composite presents each as a motivational first-lecture tour so that a student scanning the chapters can decide which offering fits their research interests.

PMATH 940: Topics in Number Theory

Seven instances: Wang’s elliptic curves, three Stewart offerings (Diophantine equations, geometric number theory, Diophantine geometry), Rubinstein’s analytic number theory, Liu’s analytic Diophantine geometry, and the Winter 2026 Fermat’s Last Theorem course.

Why make it up
The composite traces how UW’s number theory curriculum rotates between algebraic, geometric, and analytic threads, with Stewart’s repeated appearances as the unifying presence in the Diophantine geometry lineage.

PMATH 945: Topics in Algebra

Seven instances: Jason Bell (algebraic constructions / rings / category theory), Slofstra (non-local games), Paulsen (operator-algebraic QIT), Karigiannis (Clifford algebras and spin geometry), and the Fall 2026 arithmetic-dynamics course.

Why make it up
PMATH 945 illustrates how broadly “algebra” stretches at UW — from categorical foundations to quantum information to dynamical systems. The composite is written so each chapter reads as a first-lecture tour of its subfield.

PMATH 950: Topics in Analysis

Seven instances on tensor products of C*-algebras, operator algebras and dynamics, quantum representation theory, convex geometric analysis, II₁ factors and subfactor theory, Choquet theory, and operator systems.

Why make it up
The strands of PMATH 950 most visible in recent years have been analytic: operator algebras, free probability, and their geometric counterparts. The composite stitches these into a single coherent pass through the Paulsen / Kennedy / Brannan orbit of offerings.

PMATH 965: Topics in Geometry and Topology

Nine instances: holonomy groups, deformation theory, algebraic stacks, rational homotopy theory, harmonic maps, spin geometry, higher and derived stacks, gauge theory, and motivic integration.

Why make it up
PMATH 965 spans the widest topic range of any -rest file — nine chapters covering everything from Berger’s classification to Donaldson–Seiberg–Witten four-manifold theory to Kontsevich’s motivic integration. Each chapter is written as a standalone introduction.

PMATH 990: Topics in Pure Mathematics

Three densely developed instances: Paulsen’s Winter 2021 course on functional analysis methods for quantum information, Slofstra’s Winter 2022 course on MIP* and quantum complexity, and Nica’s Winter 2023 course on non-commutative random variables and free probability.

Why make it up
PMATH 990 is the most open-ended rotating-topics course in the PMATH curriculum. The three chapters cover the operator-algebraic, complexity-theoretic, and free-probabilistic corners of what “pure mathematics” currently means at UW.

Back to top