For a many-to-one market where firms are endowed with path-independent choice functions, based on the Aizerman-Malishevski decomposition, we define an associated one-to-one market. Given that the usual notion of stability for a one-to-one market does not fit well for this associated one-to-one market, we introduce a new notion of stability. This notion allows us to establish an isomorphism between the set of stable matchings in the many-to-one market and the matchings in an associated one-to-one market that meet this new stability criterion. Furthermore, we present an adaptation of the well-known deferred acceptance algorithm to compute a matching that satisfies this new notion of stability for the associated one-to-one market. Finally, as a byproduct of our isomorphism, we prove an adapted version of the so-called Rural Hospital Theorem.

In the problem of fully allocating a social endowment of perfectly divisible commodities among a group of agents with multidimensional single-peaked preferences, we study strategy-proof rules that are not Pareto-dominated by other strategy-proof rules. Specifically, we: (i) establish a sufficient condition for a rule to be Pareto-undominated strategy-proof; (ii) introduce a broad class of rules satisfying this property by extending the family of "sequential allotment rules" to the multidimensional setting; and (iii) provide a new characterization of the "multidimensional uniform rule" involving Pareto-undominated strategy-proofness. Results (i) and (iii) generalize previous findings that were only applicable to the two-agent case.

The Deferred Acceptance (DA) algorithm is stable and strategy-proof, but can produce outcomes that are Pareto-inefficient for students, and thus several alternative mechanisms have been proposed to correct this inefficiency. However, we show that these mechanisms cannot correct DA's rank-inefficiency and inequality, because these shortcomings can arise even in cases where DA is Pareto-efficient. We also examine students' segregation in settings with advantaged and marginalized students. We prove that the demographic composition of every school is perfectly preserved under any Pareto-efficient mechanism that dominates DA, and consequently fully segregated schools under DA maintain their extreme homogeneity.

This paper explores many-to-one matching models, both with and without contracts, where doctors' preferences are private and hospitals' preferences are public and substitutable. It is known that any stable-dominating mechanism --which is either stable or individually rational and Pareto-dominates (from the doctors' perspective) a stable mechanism--, is susceptible to manipulation by doctors. Our study focuses on \textit{obvious manipulations} and identifies stable-dominating mechanisms that prevent them. Without contracts, we show that more efficient mechanisms are less likely to be obviously manipulable and that any stable-dominating mechanism is not obviously manipulable. However, with contracts, none of these results hold. While we demonstrate that the Doctor-Proposing Deferred Acceptance (DA) Mechanism remains not obviously manipulable, we show that the Hospital-Proposing DA Mechanism and any efficient mechanism that Pareto-dominates the Doctor-Proposing DA Mechanism become (very) obviously manipulable, in the model with contracts.

Fusion frames are a very active area of research today because of their myriad of applications in pure mathematics, applied mathematics, engineering, medicine, signal and image processing and much more. They provide a great flexibility for designing sets of vectors for applications and are therefore prominent in all these areas, including e.g. mitigating the effects of noise in a signal or giving robustness to erasures. In this chapter, we present the fundamentals of fusion frame theory with an emphasis on their delicate relation to frame theory. The goal here is to provide researchers and students with an easy entry into this topic. Proofs for fusion frames will be self-contained and differences between frames and fusion frames are analyzed. In particular, we focus on the subtleties of fusion frame duality. We also provide a reproducible research implementation.