Sami H. Assaf

C. L. E. Moore Instructor
Massachusetts Institute of Technology

Office: Building 4, Room 182

Phone: (617) 258-6895

Email: sassaf [AT] math [DOT] mit [DOT] edu

Mailing Address:
    Department of Mathematics
    Massachusetts Institute of Technology
    77 Massachusetts Avenue
    Cambridge, MA 02139-4307

Curriculum Vita

 &bull Courses  &bull Research  &bull Papers  &bull Conferences  &bull Photos  &bull


Courses:
Fall 2009 18.314 Combinatorial Analysis
Lectures TT 9:30am -- 11am
Office Hours TW 2pm -- 3pm
Spring 2009 18.304 Undergraduate Seminar in Discrete Mathematics
Lectures MWF 12pm -- 1pm
Office Hours WF 3pm -- 4pm
Fall 2008 18.02 Multivariable Calculus
Recitations MW 1pm & MW 2pm in 2-131
Office Hours TW 10:30am - 11:30am in 4-182


Research interests:

My research interests lie in the general areas of algebraic combinatorics and combinatorial representation theory. In particular, I am interested in symmetric functions, tableaux combinatorics and the representation theory of classical groups.

As a graduate student at the University of California Berkeley, I studied the Schur expansion for LLT polynomials, which are q-analogues of products of Schur functions introduced by Lascoux, Leclerc and Thibon in 1997. My research advisor is Mark Haiman. Here is my qualifying exam syllabus. I graduated in May 2007, and my dissertation received the Herb Alexander Prize for outstanding dissertations in pure mathematics at UC Berkeley. Here are two shorter versions: a 3-page synopsis and a 9-page extended abstract.

My current research program is primarily concerned with developing the theory of dual equivalence graphs initiated in my dissertation. So far, I have used this machinery to give a combinatorial proof of the Schur positivity of both LLT and Macdonald polynomials. In recent work with Sara Billey at the University of Washington, we use this tool to give a combinatorial proof of the Schur positivity of k-Schur functions. Since the inspiration for these graphs came from studying crystal graphs, I have also been looking in to connections between crystal graphs, which combinatorialize SL_n modules, and dual equivalence graphs, which, in some sense, combinatorialize S_n modules. Several preprints on these topics are below.

Also in Macdonald theory, I have been working with Adriano Garsia at UC San Diego to find a 'kicking' basis for the Garsia-Haiman modules. We have a preprint below for two-column partitions. I have recently extended this to all partitions not containing the shape (3,3,2). This is the smallest shape containing the appropriately named 'bozo' diagram, where the methods used break down, though interestingly enough I can also resolve this particular partition. Adriano Garsia has offered up a $1000 prize to anyone who can resolve the general case with an explicit basis (sorry, no Hilbert schemes).

This past summer I was fortunate to work with Persi Diaconis and K. Soundararajan at Stanford University. Together we investigated riffle shuffles of decks with repeated cards. This was my first venture into probability which was immensely enjoyable, so I hope it won't be my last. Our joint paper also has the added benefit of giving me a well-defined Erdos number of 2. Thanks, Persi!


Publications and preprints:

The preprints below are draft versions and may change over time; please consult the date (bottom of p. 1) for the latest version. Note that the papers list below are in the order written. For a chronological listing based on publication date, please see my
publication list.
(with Sara Billey) Affine dual equivalence and k-Schur positivity.
The k-Schur functions were first introduced by Lapointe, Lascoux and Morse in the hopes of refining the expansion of Macdonald polynomials into Schur functions. Recently, an alternative definition for k-Schur functions was given by Lam, Lapointe, Morse, and Shimozono as the weighted generating function of starred strong tableaux. This definition has been shown to correspond to the Schubert basis for the affine Grassmannian and at t=1 it is equivalent to the k-tableaux characterization of Lapointe and Morse. Using this new definition for k-Schur functions, we prove the symmetry and Schur positivity of k-Schur functions combinatorially using the theory of dual equivalence graphs. Central to our proof is our discovery of an analog of dual equivalence for the affine symmetric group. We also make connections between k-Schur functions and both LLT and Macdonald polynomials by comparing the graphs for these functions.
&bull  ~ 35 pages  &bull  preprint coming soon  &bull
Towards a kicking basis for Garsia-Haiman modules.
In the early 1990s, Garsia and Haiman conjectured that the dimension of the Garsia-Haiman module indexed by a partition of n is n!, and they showed that the resolution of this conjecture implies the Macdonald Positivity Conjecture. Haiman proved these conjectures in 2001 using algebraic geometry, but the question remains to find an explicit basis for the modules which would give a simple proof of the dimension. Using the theory of Orbit Harmonics developed by Garsia and Haiman, we present a "kicking basis" for Garsia-Haiman modules indexed by any partition not containing the partition (3,3,2).
&bull  ~ 20 pages  &bull  extended abstract of two column case (with Adriano Garsia)  &bull
(with Persi Diaconis and K. Soundararajan) A rule of thumb for riffle shuffling.
We study how many riffle shuffles are required to mix n cards if only certain features of the deck are of interest, e.g. suits disregarded or only the colors of interest. For a wide variety of features, the number of shuffles drops from 3/2 log_2 n to log_2 n. We derive closed formulae and an asymptotic `rule of thumb' formula which is remarkably accurate.
&bull  23 pages  &bull  preprint  &bull  extended abstract for FPSAC  &bull  slides  &bull
A generalized major index statistic. Seminaire Lotharingien de Combinatoire 60 (2008), Art. B60c, 13 pp. (electronic).   arVix:0807.0433
Inspired by the k-inversion statistic for LLT polynomials, we define the k-inversion number and k-descent set for words. Using these, we define a new statistic on words, called the k-major index, that interpolates between the major index and inversion number. We give a bijective proof that the k-major index is equidistributed with the major index, generalizing a classical result of Foata and rediscovering a result of Kadell. Inspired by recent work of Haglund and Stevens, we give a partial extension of these definitions and constructions to standard Young tableaux. Finally, we give an application to Macdonald polynomials made possible by connections with LLT polynomials.
A combinatorial realization of Schur-Weyl duality via crystal graphs and dual equivalence graphs. 20th Annual International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008), pp. 141--152, Discrete Math. Theor. Comput. Sci. Proc., AJ, Assoc. Discrete Math. Theor. Comput. Sci., Nancy, France, 2008.   arVix:0804.1587
&bull  slides from MSRI Workshop (01/2008)  &bull
For any polynomial representation of the special linear group, the nodes of the corresponding crystal may be indexed by semi-standard Young tableaux. Under certain conditions, the standard Young tableaux occur, and do so with weight 0. Standard Young tableaux also parametrize the vertices of dual equivalence graphs. Motivated by the underlying representation theory, in this paper, we explain this connection by giving a combinatorial manifestation of Schur-Weyl duality. In particular, we put a dual equivalence graph structure on the 0-weight space of certain crystal graphs, producing edges combinatorially from the crystal edges. The construction can be expressed in terms of the local characterizations given by Stembridge for crystal graphs and the author for dual equivalence graphs.
The Schur expansion of Macdonald polynomials.
Building on Haglund's combinatorial formula for the transformed Macdonald polynomials, we provide a purely combinatorial proof of Macdonald positivity using dual equivalence graphs and give a combinatorial formula for the coefficients in the Schur expansion.
&bull  9 pages  &bull  preprint  &bull  slides from BIRS Workshop (09/2007)  &bull
A combinatorial proof of LLT and Macdonald positivity.
We make a systematic study of a new combinatorial construction called a dual equivalence graph. We axiomatize these graphs and prove that their generating functions are symmetric and Schur positive. By constructing a graph on ribbon tableaux which we transform into a dual equivalence graph, we give a combinatorial proof of the symmetry and Schur positivity of the ribbon tableaux generating functions introduced by Lascoux, Leclerc and Thibon. Using Haglund's formula for the transformed Macdonald polynomials, this also gives a combinatorial formula for the Schur expansion of Macdonald polynomials.
&bull 24 pages  &bull  preprint  &bull


Upcoming conferences:

Representation Theory and Lie Theory at the Isaac Newton Institute for Mathematical Sciences
     Cambridge, UK
     June 22 - 26, 2009

FPSAC 2009, 21st International conference on Formal Power Series and Algebraic Combinatorics
     Hagenberg, Austria
     July 20 - 24, 2009

Localization techniques in equivariant cohomology at the American Institute of Mathematics,
     Palo Alto, California
     March 15 - 19, 2010

Combinatorial Representation Theory at Mathematisches Forschungsinstitut Oberwolfach,
     Oberwolfach, Germany
     March 21 - 27, 2010

Whittaker Functions, Crystal Bases, and Quantum Groups at the Banff International Research Station,
     Banff, Canada
     June 6 - 11, 2010

Lattice Path 2010, 7th International Conference on Lattice Path Combinatorics and Applications
     Siena, Italy
     July 4-7, 2010

FPSAC 2010, 22nd International conference on Formal Power Series and Algebraic Combinatorics
     San Francisco, CA
     July, 2010

Quasisymmetric Functions at Banff International Research Station,
     Banff, Canda
     November 14 - 19, 2010

FPSAC 2011, 23rd International conference on Formal Power Series and Algebraic Combinatorics
     Reykjavik, Iceland
     July, 2011



Photos from recent adventures:

For videos, go to my YouTube channel SprocketEatsFraggles.




In case of boredom:

A tutorial on how to make
a canvas shopping bag.
Guess the Google
and a spoilers page





If a 'religion' is defined to be a system of ideas that contains unprovable statements, then Gödel taught us that mathematics is not only a religion, it is the only religion that can prove itself to be one.
--John Barrow