The size of a matching is defined as the expected number of agents who are matched to some objects. It is an important design objective in many applications, including refugee resettlement, daycare assignment, and mass vaccination campaigns. This paper studies the matching size achieved by...

The design of the Bitcoin difficulty adjustment algorithm (DAA) is vulnerable as it dismisses miners' responses to policy changes. We develop an economic model of the Proof-of-Work blockchain system. Our model allows miners to pause operation when it is not profitable. Hence, the supply of...

We study the size of matchings (expected number of agents matched to some objects) generated by random mechanisms in the assignment problem. We show that no mechanism that satisfies two weak axioms, weak truncation robustness and weak regularity, achieves an approximation ratio better than 1 -...

In many random assignment problems, the central planner has their own policy objective, such as matching size and minimum quota fulfillment. A number of practically important policy objectives are not aligned with agents' preferences and known to be incompatible with strategy-proofness. This...

In many random assignment problems, the central planner has their own policy objective, such as matching size and minimum quota fulfillment. A number of practically important policy objectives are not aligned with agents’ preferences and known to be incompatible with strategy-proofness. This...