arXiv++ Combinatorics

We define a new partial order on $SYT_n$, the set of all standard Young tableaux with $n$ cells, by combining the chain order with the notion of horizontal strips. We prove various desirable properties of this new order.

The school choice mechanism design problem focuses on assignment mechanisms matching students to public schools in a given school district. The well-known Gale Shapley Student Optimal Stable Matching Mechanism (SOSM) is the most efficient stable mechanism proposed so far as a solution to this problem. However its inefficiency is well-documented, and recently the Efficiency Adjusted Deferred Acceptance Mechanism (EADAM) was proposed as a remedy for this weakness. In this note we describe two related adjustments to SOSM with the intention to address the same inefficiency issue. In one we create possibly artificial coalitions among students where some students modify their preference profiles in order to improve the outcome for some other students. Our second approach involves trading cliques among students where those involved improve their assignments by waiving some of their priorities. The coalition method yields the EADAM outcome among other Pareto dominations of the SOSM outcome, while the clique method yields all possible Pareto optimal Pareto dominations of SOSM. The clique method furthermore incorporates a natural solution to the problem of breaking possible ties within preference and priority profiles. We discuss the practical implications and limitations of our approach in the final section of the article.

The school choice problem concerns the design and implementation of matching mechanisms that produce school assignments for students within a given public school district. In this note we define a simple student-optimal criterion that is not met by any previously employed mechanism in the school choice literature. We then use this criterion to adapt a well-known combinatorial optimization technique (Hungarian algorithm) to the school choice problem.

We identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in noncommuting variables. Each is a Hopf algebra and the two are isomorphic as such. This allows developments in each to be transferred. The identification suggests a rich class of examples for the emerging field of combinatorial Hopf algebras.

We study the representation theory of a certain finite group for which Kloosterman sums appear as character values. This leads us to consider a concrete family of commuting hermitian matrices which have Kloosterman sums as eigenvalues. These matrices satisfy a number of "magical" combinatorial properties and they encode various arithmetic properties of Kloosterman sums. These matrices can also be regarded as adjacency matrices for multigraphs which display Ramanujan-like behavior.

We develop a theory of multigraded (i.e., $N^l$-graded) combinatorial Hopf algebras modeled on the theory of graded combinatorial Hopf algebras developed by Aguiar, Bergeron, and Sottile [Compos. Math. 142 (2006), 1--30]. In particular we introduce the notion of canonical $k$-odd and $k$-even subalgebras associated with any multigraded combinatorial Hopf algebra, extending simultaneously the work of Aguiar et al. and Ehrenborg. Among our results are specific categorical results for higher level quasisymmetric functions, several basis change formulas, and a generalization of the descents-to-peaks map.