Next Article in Journal
Physics-Informed Graph Neural Operator for Mean Field Games on Graph: A Scalable Learning Approach
Previous Article in Journal
Random Informative Advertising with Vertically Differentiated Products
Previous Article in Special Issue
Dynamic Vertical Foreclosure with Learning-by-Doing Production Technologies
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Matching with Nonexclusive Contracts †

by
Daniel Ripperger-Suhler
U.S. Bureau of Economic Analysis, 4600 Silver Hill Road, Suitland, MD 20746, USA
The views expressed in this paper are those of the author and do not necessarily represent the U.S. Bureau of Economic Analysis or the U.S. Department of Commerce.
Games 2024, 15(2), 11; https://doi.org/10.3390/g15020011
Submission received: 31 January 2024 / Revised: 14 March 2024 / Accepted: 21 March 2024 / Published: 30 March 2024
(This article belongs to the Special Issue Industrial Organization and Organizational Economics)

Abstract

:
A variety of empirical papers document the coexistence of exclusive and nonexclusive contracts within a given market across a multitude of industries. However, the theoretical literature has not been able to generate a differentiable model with the coexistence of these contracts. I rectify the gap in the literature by developing a theoretical model of two-sided matching, in which principals and agents choose between exclusive and nonexclusive contracts with cost-of-effort inefficiencies. I find that the coexistence of contracts relies on cost-sharing between principals, relative bargaining power, and an endogenous outside option. I also find that the pattern of contracts is monotonic with respect to the type distributions of principals and agents.
JEL Classification:
C78; D86

1. Introduction

There is a large extant literature on exclusive dealing that provides different explanations for contracting parties to prefer nonexclusivity. In some cases, the determining factor is the efficiency of agent effort [1], while in others, firm profitability dictates the contract type [2]. Additionally, the coexistence of different types of contracts in the same market is widely documented in both the empirical and theoretical literature. However, the paucity of theoretical research examining the coexistence of exclusive and nonexclusive contracts is surprising, with [3] representing the only such work, known to this author, to obtain results on contract coexistence.
I remedy this gap in the literature by introducing two-sided heterogeneity into a principal–agent market setting that permits nonexclusive contracting. I seek to address two questions with this set-up:
  • Is it possible to obtain contract coexistence in a continuously differentiable setting?
  • If contracts can coexist, which productivity types sign which contract, and under what conditions?
In order to answer these questions, I use a very simple principal–agent model with contractible effort, in which an agent can choose to accept a contract from one or two principals. If the agent accepts an exclusive contract, then they cannot work for another principal. When the agent accepts both contracts, the agent incurs an additional cost of effort above the cost required to work for each principal in isolation due to simultaneous effort exertion being more costly. Thus, the trade-off facing the principals is whether to incur this cost and share the wage paid to the agent with another principal, or avoid this cost but pay the entirety of the agent’s wage. This contracting decision is embedded in a market of principals and agents that are heterogeneous in their productivity. Due to the contractibility of effort and risk neutrality of principals and agents, the matching market is one of transferable utility (TU).
I derive the following results. First, I show that it is possible for exclusive and nonexclusive contracts to coexist in a continuously differentiable setting. Second, the matching is positive assortative, even when both types of contracts are signed in a market simultaneously. Third, there are four potential contract patterns, and all are monotonic.1
The first result relies on cost sharing between principals, the endogeneity of the outside option, and effort inefficiencies. These three forces interact to generate a contract switching point in the type distributions of principals and agents. The switching point refers to a principal–agent coalition that is indifferent between either contract type. The coalitions of types lower than this ‘marginal’ coalition prefer one type of contract, while the types above prefer the other contract.
The second result is not guaranteed in a many-to-one matching model, even if the sufficient conditions for a one-to-one matching are satisfied. In a simple TU matching model, the increasing difference condition (ID) must hold in order for the matching to be stable. However, even though my model is one of TU, it is a many-to-one matching model, so when nonexclusive contracts are signed, the Pareto frontier is in R 3 as opposed to R 2 when under an exclusive contract. Thus, ID is not only insufficient to ensure that a market with coexisting contracts is stable, it is also not necessary. I show that regardless of contract pattern, the stable allocation will always exhibit positive assortative matching (PAM). I discuss the notion of stability that is used in the model in Section 4.
The third result relies on categorizing which principals and agents prefer which contract. This is possible to achieve using the parameter governing the additional cost from simultaneous effort, which I denote by k. The four types of contract patterns that I consider are low types signing exclusive contracts while high types sign nonexclusive contracts, low types signing nonexclusive contracts and high types signing exclusive contracts, all types signing exclusive contracts, and all types signing nonexclusive contracts. Respectively, these are represented by C E N , C N E , C E , and C N .
First, consider a matching market in which all coalitions prefer to sign exclusive contracts. In this case, it must be that the effort inefficiencies are large enough to offset the gains from cost sharing for all of the principals and agents in the market (i.e., k is large). If the effort inefficiencies are small enough that the gains from cost sharing outweigh them for all of the principals and agents, then only nonexclusive contracts will be signed in the market (i.e., k is small). The case where contracts coexist in a market occurs for intermediate values of k, which gives rise to the contract patterns C E N and C N E . It is also possible to determine which of the two patterns exhibiting coexistence will be obtained in a market.
The problem faced by the lowest type coalition must be examined in order to determine the contract pattern. If the outside option for the lowest type of agent is unemployment, or a wage of zero, then there is no benefit from cost sharing, because there is no cost for the principals to share. Thus, a nonexclusive contract simply introduces cost inefficiencies, which leads to the lowest principal type choosing an exclusive contract. In this case, the benefit from cost sharing emerges for higher types, since these agents are paid nonzero wages. If the parameter k is small enough, then agents with high enough productivity will command wages that are large enough that principals will be willing to incur the cost of effort inefficiency in order to take advantage of cost-sharing. The result is high types signing nonexclusive contracts and low types signing exclusive contracts. This contract pattern can be seen in the market for actors and actresses. The very best tend to work on multiple projects at the same time, because the studios hiring them can afford to pay for the cost of effort inefficiency. The least capable may only be able to work on a single project at a time, because the studios willing to hire them do not earn enough profit from their projects to offset the cost inefficiency. It is also true that the least capable actors and actresses often face unemployment as their outside option should they fail to find projects on which to work.
Now, suppose the lowest type principal faces unemployment if they fail to sign a contract. This would happen if there are so many principals that even when every agent signs a nonexclusive contract with two principals, there are still some principals that have not signed a contract with an agent. In this case, the agent receives the entirety of the surplus, and the principal receives zero. If k is small enough, then the agent will prefer to receive the surplus from two principals instead of one and will choose to sign a nonexclusive contract. In this example, higher type principals will receive nonzero profits from a match, and thus may not be willing to incur the cost of effort inefficiency. For intermediate values of k, high types will sign exclusive contracts and low types will sign nonexclusive contracts. One industry that exhibits this type of contract pattern is the beer industry. In this case, the most profitable brewers (principals) tend to sign exclusive dealing contracts with a distributor (agent), while less profitable brewers sign nonexclusive dealing contracts.

2. Related Literature and Contribution

In this section, I discuss papers and their results, how they relate to my paper, and the gap that I seek to address with my contribution. First, I provide a short overview of the exclusive contracting literature. Then I examine relevant papers in the matching literature. Additionally, I offer an argument for my contribution and its importance to the literature for each set of papers I consider. I finish by briefly summarizing to reiterate the overall contribution of my paper.
Above all the following papers, the most relevant to the current paper is [3], which examines a many-to-one two-sided matching model of lenders and borrowers in the context of a principal–agent contracting problem. They use the theoretical model to examine the general equilibrium effects of changes in the limited liability constraint due to new bankruptcy laws. While the principal-agent setting is similar, the inefficiency from working for multiple principals arises due to a production function that is concave in the number of principals. Additionally, the heterogeneity in their model is not related to productivity. The lenders are heterogeneous in their fixed cost of monitoring, and borrowers are heterogeneous in their ex ante wealth. Thus, the driving forces in their model operate in almost the exact opposite fashion to this paper, which has productivity heterogeneity and cost inefficiencies. In addition to examining different forces, I provide differentiable sufficient conditions for PAM, which is not a focus of their paper. Therefore, both [3] and this paper contribute to the literature on many-to-one matching in principal-agent markets in very different ways.

2.1. Nonexclusive Contracting

I will separate the nonexclusive contracting literature into two sections: theoretical and empirical. I do this to show that my main contribution is linking the two strands of literature in a way that has not previously been carried out.
Theoretical Literature—Much of the theoretical nonexclusive contracting literature is focused on the effects of exclusivity on the product market and how the product market affects the incentives in the contracting problem. I will not discuss their relation to my model, as I do not explicitly model the product market. Instead, I consider a pair of theoretical papers that extend the nonexclusive contracting setting to account for changes in the outside option [4,5].
The first paper develops a model of loan contracting, in which the outside option is still a fixed amount. However, they show that the results depend on the value of the outside option. Thus, while the outside option is still fixed, they move closer to a true market of principals and agents. In Section 5.1, I show that even this movement toward a market analysis is not sufficient to generate the results I obtain by introducing nonexclusive contracts into a matching market. It is imperative that the market exhibit some type of heterogeneity in order for contracts to coexist. It is also true that even examining the contractual decision in the market setting may not cause both contracts to arise in equilibrium. Matouschek et al. [5] develop a random search model in which buyers and sellers commit to contract breach damages before each buyer realizes their valuation of the good or service being exchanged. The buyers’ valuations act as a source of heterogeneity in their model. Contracts with large enough breach damages are termed exclusive, since neither party contracts with a different buyer or seller ex post. This setup evaluates exclusive contracting in a market with an endogenous outside option. There are multiple important results arising from their model. First, exclusive contracts are more likely when the cost of search is prohibitively high. This should not be too surprising, but it is important nonetheless. Another result is that the market exhibits either exclusive contracts or nonexclusive contracts but not both within the same market. While there is the possibility of contracts coexisting, they find that this particular equilibrium is not stable. The main difference from my model is that the contracts I examine are signed simultaneously, which allows the principals to share the negative externality arising from cost inefficiencies. However, in their model, when a buyer interacts with two sellers, the sellers do not share the cost of the contract break fee. The cost-sharing is absolutely essential to the coexistence of contracts; thus, their model only exhibits a single type of contract in a given market. Additionally, their unstable equilibrium is characterized by all buyer-seller pairs being indifferent between each contract, while my model exhibits only a single principal–agent pair being indifferent between contracts with all others preferring either an exclusive or nonexclusive contract. This indifference for all buyer–seller pairs is due to the breach damages being a choice variable, while it is fixed in my model. My contribution to the theoretical literature on nonexclusive contracting is to develop a model that can generate a market with coexisting contracts similar to those found in the empirical literature.
Empirical Literature—There are a variety of empirical papers that document the existence of exclusive contracts and examine the factors that lead to the adoption of such agreements. Unlike in the theoretical literature, the empirical papers document the existence of exclusive and nonexclusive contracts within the same market. One of the first papers, [1], finds that the efficiency of agent effort leads to higher prevalence of nonexclusive contracts within a market by examining contracts in multiple industries. Sass et al. [2] study exclusive contracting in the property-liability insurance industry and find that the more profitable a firm is within a market, the more likely it is to engage in exclusive contracting. A more recent paper on the U.S. beer market [6] finds that larger markets are more likely to exhibit exclusive dealing since most companies can afford to compensate distributors for foregoing the profits from working for an additional company. My framework offers a theoretical foundation for the observation of exclusive and nonexclusive contracts coexisting within a market that is consistent throughout the empirical literature.

2.2. Two-Sided Matching

There are three subgroups within the matching literature related to the current paper. I discuss these subgroups in turn, as well as the contribution I make to each.
The matching literature includes multiple papers that examine principal–agent models in a two-sided matching framework, (e.g., [7,8,9]. All of these articles focus on the case of one-to-one matching, in which one principal matches with one agent, and the principal offers the agent a single type of incentive contract. These papers are focused on how an endogenous outside option in the contracting problem affects the incentives in the contract. Of course, the authors are also concerned with the conditions for matching to be stable, and whether or not it is assortative. Since I am not interested in the effect of matching on incentive contracts, my principal–agent problem does not involve moral hazard like the papers mentioned above. My main contribution is expanding the principal-agent matching literature to a many-to-one setting by introducing multiple contract types. This makes the endogeneity of the outside option even more important.
The next set of papers also expands the principal–agent matching literature by examining matching markets with multiple types of contracts. In [10], the authors examine the effect of the organizational choice of an enterprise on the price level in a one-to-one matching market. The model involves two sets of suppliers that face a double moral hazard problem and must choose to integrate or not to produce a good. They find that it is possible for both organizational structures to arise in the same market (i.e., some measure of suppliers integrate, while others choose nonintegration). Another related paper [11], considers one-to-one matching by shareholders and managers, where the shareholders can offer managers two different types of contracts, an incentive scheme or a Code of Best Practice (CBP). The incentive contract is the solution to the standard moral hazard problem, while the CBP contract allows the shareholder to specify a given level of effort, but they are still unable to observe the effort of the manager. They find that PAM will only be obtained when one type of contract is signed, while a stable matching with both contracts will be nonassortative. Finally, [12] uses a simple overlapping generations model to examine incentives in long-term versus short-term contracts in a one-to-one matching model. In all of these papers, the authors are able to find conditions that allow both types of contracts to coexist in a stable matching market. My paper extends this strand of the literature to include many-to-one matching with multiple contracts. While these papers consider the effect of incentives on contract choice, I am concerned with the effect the costliness of effort has on contract choice. Thus, rather than examining principals’ use of incentives, I focus on their ability to share the cost of compensating an agent for additional effort.
Before moving on to the related many-to-one matching literature, I acknowledge two papers that provide important results for the stability of many-to-one matching with contracts. Hatfield et al. [13] extend and generalize [14] to accommodate the use of contracts. Then, the work in [15] takes another step in determining the conditions that are sufficient to ensure a stable matching when the gross substitutes condition does not hold. While these papers are concerned with stability conditions rather than providing testable predictions, they are essential to any paper that hopes to do so.
The last group of related papers find differentiable solutions in a many-to-one setting. Azevedo et al. [16] examine hiring decisions when two firms match with many heterogeneous workers prior to competing in a Cournot duopoly. Another paper that uses a differentiable solution is [17]. Their model is similar to [16] in that they consider a firm’s decision to hire many workers; however, they model a market with a continuum of firms and workers. The focus of these papers is on the trade-off a firm faces between hiring more or better workers, rather than a choice between contracts. Additionally, their models have offers being proposed by one to many, whereas the direction of the offers in my model is reversed. My contribution to this nascent literature is to consider many-to-one matching in a principal–agent setting, which allows me to examine the effect of the costliness of effort and the endogeneity of outside options on contract choice.
In summary, I add to the nonexclusive contracting literature by introducing a model that links the theoretical literature to the findings from the empirical literature. My overall contribution to the matching literature is the development of a differentiable many-to-one matching model with multiple types of contracts. I use this model to explore the effects of an endogenous outside option and cost-sharing between principals on contract choice as well as the contract pattern that arises in a matching market. I find conditions that dictate whether the contract pattern involves exclusive contracts for higher productivity types and nonexclusive contracts for lower productivity types, as well as the reverse contract pattern. The first case arises when there are at least twice as many principals as agents in the market, while the latter requires there to be weakly more agents than principals in the market. Within each case, the measure of each type of contract signed in the market depends on the size of the cost inefficiency term.

3. Model

3.1. Matching and Output

I consider a market with risk-neutral principals and agents. The principals are heterogeneous in their assigned type or productivity, which I denote by p P . Agents are heterogeneous in their assigned type or productivity, which I denote by a A . The type spaces P = [ p ̲ , p ¯ ] and A = [ a ̲ , a ¯ ] are subintervals of R + + . The CDF for principal productivity is G ( p ) with a PDF, g ( p ) > 0 . The CDF for agent productivity is H ( a ) with a PDF, h ( a ) > 0 . Additionally, I assume that the measure of principals and agents are η p and η a , respectively, so that the ratio of principals to agents is η p η a = η ˜ . In the main text, I focus on the cases where η ˜ 1 and η ˜ 2 . These represent cases in which one side of the market is guaranteed a match partner regardless of the equilibrium contract pattern. When this is not the case, additional assumptions must be made in order to pin down an equilibrium matching pattern, which distracts from the main focus of the paper. I leave a general analysis of the matching functions as well as intermediate values of η ˜ for the extension section of the Appendix C. In this market, a principal can be viewed as the owner of a project, while an agent is a manager. Each agent is capable of managing two projects, however, a principal only needs a single agent to manage a project. For simplicity, I assume it is prohibitively costly for an agent to manage more than two projects at a time. Endogenizing the number of projects an agent can manage adds additional complications without affecting the main results of this paper in a meaningful way.
Next, I examine the output generated by an arbitrary principal–agent pair, which I denote ( p i , a ) .2 The output for a principal–agent pair is represented by the production function F ( p i , a , e i ) = e i f ( a , p i ) , where f a , f p i , f a p i 0 , and e i is the effort exerted by the agent on the project for principal p i . The agent incurs the following cost of effort:
c d ( e i ) = e i 2 2 if d = E 1 + k 2 e i 2 if d = N
where d { E , N } designates an exclusive or nonexclusive contract, respectively. The cost inefficiency from working for two principals simultaneously is represented by k ( 0 , 1 ) and is equal to zero when the agent works for only one principal. The inefficiency stemming from an agent working for more than one principal is a standard assumption in the literature on multiprincipal contract theory. It can be a direct effect via concavity of the production function in the number of principals per agent as in [3], or it can be an indirect effect through the cost of effort function seen in [18] and in the context of multiple tasks in [19,20]. Since the cost function only contains the effort exerted on a single principal’s project, the optimal choice of effort in a nonexclusive contract for principal p i is not affected by the effort choice for principal p j . Thus, while the extensive and intensive margins of the output are affected by the agent’s decision to work for another principal, neither are affected by how much the agent works for the other principal.3 Imagine a consulting firm currently contracted with a single client that operates in the manufacturing industry. Suppose the consulting firm accepts an additional contract with another client that operates in the tech industry. It receives compensation from each client, but the clients are not required to compensate the consulting firm for time spent on the other client’s project. In order to handle the increased workload, the consulting firm divides its employees into two teams with each focusing on a single client. As a result, the effort for each team becomes more costly; however, the effort exerted by one team does not impact the effort exerted by the other team.
Finally, consider the definition of matching that is given below:
Definition 1
(Matching, [21]). A matching, m , is a mapping from P A onto P A s.t. p P and a A :
(i) 
| m ( p ) | = 1 and m ( p ) = p if m ( p ) A .
(ii) 
m ( a ) P { a } , | m ( a ) | 2 , and m ( a ) = a if m ( a ) P .
(iii) 
m ( p ) = a iff p m ( a ) .
In words, (i) states that the number of elements in a principal’s matching set, m ( p ) , is equal to one, and if the principal remains unmatched, then it matches with itself; (ii) the matching includes all principals and the agent, the agent cannot match with more than two principals, and if the agent remains unmatched, then it is matched to itself; (iii) a principal is matched to an agent if and only if that agent is also mapped to that principal. This definition allows for unemployment on either side of the market, one-to-one matching, and two-to-one matching between two principals and one agent.

3.2. Contracts and Timing

First, I introduce the definition of contracts that I use in my model. I perform this by considering the principal-agent pair, ( p i , a ) .4 I assume that the principals hold the bargaining power and make take-it-or-leave-it offers to the agents. Unlike the principal–agent matching models mentioned in Section 2.2, effort is observable in my model, so the principals do not use incentive contracts. Instead, the principals choose the effort level that maximizes the output minus the cost of effort, for which the principal must compensate the agent in order to ensure the agent receives utility equal to their outside option. This is the simplest setting in which it is possible to examine the impact of cost-sharing, relative bargaining power, and an endogenous outside option on the prevailing contract pattern in a market. Since the effects of incentives are not the main focus and complicate the analysis, a model with moral hazard is left for future research.5
For the principal–agent pair, ( p i , a ) , I denote the optimal effort by e i * . The other portion of a contract specifies the wage that the principal will pay the agent upon the realization of the output for the pair. The wage offered by principal p i is w i , d , which differs depending on whether the contract is exclusive or nonexclusive. Thus, the entire contract offer by the principal specifies an optimal effort level and wage, and it is denoted by C i , d = e i * , w i , d .
Now, I turn to the timing of events. The model proceeds in three stages. In Stage 1, a single agent matches with one or two principals. In Stage 2, the principals make contract offers ( e i * , w i , d ) . In Stage 3, the agent exerts the agreed-upon effort, the output is realized, and the payments are made. The sequential nature of the model makes it possible to solve through backward induction.

3.3. Principal–Agent Pair

In this section, I examine the contracting problem for the principal–agent pair, ( p i , a ) . For each type of contract, the principal needs to maximize the output generated by the pair by choosing the effort the agent must exert, while also ensuring the agent receives at least the utility from their outside option. This problem is written as follows:
max e i v i , d e i f ( p i , a ) w i , d s . t .
u i , d = w i , d c d ( e i ) u ¯ i , d
v i , d v ¯ i , d
Here, the profit for a given contract type, d, going to the principal is denoted by v i , d , while the utility the agent receives is u i , d . The outside options for the principal and agent are v ¯ i , d and u ¯ i , d , respectively, and c d ( e i ) is the cost of effort function for a contract of type d with principal p i . The problem is solved by plugging the agent’s individual rationality constraint, (3), into (2), which gives the following:
max e i v i , d e i f ( p i , a ) c d ( e i ) u ¯ i , d
where w i , d = c d ( e i ) + u ¯ i , d . Recall that the optimal contract in this setting entails the principal choosing the effort level that will maximize the output minus the cost of effort. Since the outside option is not a function of the agent’s effort, maximizing (5) with respect to e i results in the same optimal effort level.
The first-order condition for the problem is f ( p i , a ) c e i d ( e i ) = 0 , where the subscripts represent derivatives. The FOC can be solved for the optimal effort level, e i * = f ( a , p i ) 1 + k , where k = 0 if the contract is exclusive. The optimal effort level can be plugged into the RHS of (5) to obtain the maximized principal profit, v i , d ( e i * ) , which I denote by
π ¯ i , d ( a , p i , u i , d ; k ) v i , d ( e i * ) = π i , d ( a , p i ) u ¯ i , d
where
π i , d ( a , p i ) = f ( a , p i ) 2 2 if d = E f ( a , p i ) 2 2 ( 1 + k ) if d = N
Throughout the remainder of the paper, I refer to π i , d ( a , p i ) as the surplus generated by a matched pair. As an aside before discussing the feasibility of contracts, it is important to consider the impact of effort inefficiencies in terms more applicable to real-world situations. Given the two potential surpluses in (7), we can calculate the percent change in surplus that an agent generates for an individual principal when switching from an exclusive to a nonexclusive contract as follows:
f ( a , p i ) 2 2 ( 1 + k ) f ( a , p i ) 2 2 f ( a , p i ) 2 2 = 1 1 + k 1 = k 1 + k × ( 100 )
For example, if k = 0 . 1 , the percent change is 0.1 1.1 × ( 100 ) = 9.09 % . Since k ( 0 , 1 ) , the percent decrease is between 0 and 50 percent.
Definition 2
(Feasibility). A contract, C i , d , is feasible for the principal–agent pair, ( p i , a ) , if it satisfies the IR constraints for the principal and agent, and the choice of effort maximizes the output generated by the principal–agent pair.
Note that the maximized principal profit in (6) is the bargaining frontier for the principal–agent pair.6 Since the utility of the agent enters the bargaining frontier linearly, the matching market will be one of transferable utility. This means the wage w i , d in a given contract C i , d is used to ensure that (3) is satisfied. Thus, all the contracts considered in the model are feasible.

4. Equilibrium Matching and Stability

I separate this section into three parts. Section 4.1 considers the matching between principals and agents, the notion of PAM, and introduces some notation for the equilibrium definition. In Section 4.2, I discuss the notion of stability that is used as the solution concept in the model. I conclude by introducing the equilibrium definition in Section 4.3.

4.1. Principal–Agent Matching

In this stage, I examine the equilibrium matching and discuss the sorting pattern in the principal–agent market. In order to maximize their payoff from a match, each principal must optimally choose an agent
m 1 ( p ) = argmax a Π ¯ ( a , p i , u i ( a ) ; k ) argmax a max π ¯ i , E ( a , p i , u i , E ( a ) ; k ) , π ¯ i , N ( a , p i , u i , N ( a ) ; k )
The function Π ¯ ( a , p i , u i ( a ) ; k ) is the combined bargaining frontier for principal–agent pair ( a , p i ) , when the agent receives utility u i ( a ) from principal i, and the cost inefficiency term is k. The solution to (9) is given by the equilibrium matching. Recall, from Definition 1, a matching is a mapping m from the union of the type spaces onto itself. I use two separate functions to distinguish when the mapping is one-to-one and when it is two-to-one. I write the matching as m = m ( · ) , μ i ( · ) , where m ( · ) represents the matching in an exclusive contract, and μ i ( · ) represents the matching in a nonexclusive contract offered by principal i.
In order to give a clearer picture of the problem, I examine the bargaining frontier for each contract separately. The necessary and sufficient condition for PAM is that the surplus function satisfies ID. In the current context, for a given contract, the condition is as follows:
π i , d ( a , p i ) π i , d ( a , p i ) > π i , d ( a , p i ) π i , d ( a , p i )
for any a > a and p i > p i . This requires principal p i to have a higher willingness to pay than principal p i for agent a . The differentiable version of this condition is that the cross-partial of principal and agent types is weakly positive, π a p i i , d ( a , p i ) 0 , which is known as type–type complementarity. It is easy to see, from the functional form used in the model, that the differentiable version of (10) is satisfied for each type of contract in isolation.
Now, I consider the problem facing a given principal when choosing an agent. Remember from Section 3.3 that the utility an agent receives can be replaced by the wage offered by a principal. Thus, a principal must solve the following problem to maximize their payoff from a match:
max a π ¯ i , d ( a , p i ) π i , d ( a , p i ) u i , d ( a )
Here, I write the bargaining frontier as a function of the principal and agent types while suppressing the utility and cost inefficiency term for exposition. The FOC for (11) is
π a i , d ( a , p i ) u a i , d ( a ) = 0
where subscripts are used to denote partial derivatives. Plugging in the equilibrium matching function for each contract type gives the following ODEs for the utility functions:
u a i , E ( a ) = π a i , E ( a , m ( a ) ) and u a i , N ( a ) = π a i , N ( a , μ i ( a ) )
The solutions to (13) give the equilibrium utility functions for each contract, u i , E ( a ) and u i , N ( a ) .7 However, this is only part of the solution for an equilibrium matching, since it does not involve comparing the payoffs from one contract to the other. The conditions for a nonexclusive contract to be preferred by the principal-agent pair ( a , p i ) are
π ¯ i , N = π i , N u i , N π i , E u i , E = π ¯ i , E and u N u i , E
where I suppress the arguments for exposition, and u N represents the total utility the agent receives in a nonexclusive contract.8 The inequalities in (14) simply require the principal and agent to receive higher payoffs under a nonexclusive contract than an exclusive contract. If the contracts coexist in a market, then it must be that the inequalities in (14) hold with equality for at least one principal-agent pair, which I call the marginal coalition. I write this principal–agent pair as ( a ˜ , p ˜ i ) , where p ˜ i = μ i ( a ˜ ) = m ( a ˜ ) . I define the marginal coalition here so that I may introduce the concept of a matching market outcome before proceeding to the sections on stability and market equilibrium. I discuss the marginal coalition in more detail in Section 5, when I examine the contract patterns.
Let M = ( m , a ˜ ) be the assignment object that contains all the relevant information about the principal-agent assignment game. The other equilibrium object is the menu of contracts, C = { C i , E , C i , N } .
Definition 3
(Matching Market Outcome). An outcome for a market is the tuple ( C , M ) .
Definition 4
(Constrained Pareto Optimal). A contract for a principal–agent pair is Constrained Pareto Optimal if there is no other feasible contract for which both principal and agent can be made better off.
Note that the two definitions above say nothing about stability.9 However, it will become clear that a stable equilibrium assignment will be a matching market outcome with Constrained Pareto Optimal contracts.

4.2. Stability

Unlike the one-to-one case, in a many-to-one matching model, the equilibrium assignment must be robust to deviations by coalitions. In the current setting, this would involve a group of principals and an agent deviating to match with each other. However, it has been shown by [22] that robustness to deviations by pairs is sufficient to ensure a stable matching as long as preferences are responsive.10 Thus, the standard solution concept in many-to-one matching models is pairwise stability. If preferences are not responsive, it is not even guaranteed that a stable matching exists. Since the maximum number of principals that can be assigned to a given agent is two, group stability is implied by pairwise stability in my setting even without responsive preferences. Thus, I use the following definition:
Definition 5
(Pairwise Stability). A matching m is pairwise stable if it satisfies individual rationality and the no blocking condition:
1. 
Individual Rationality:
(i) 
Principals: m 1 ( p ) p { } p .
(ii) 
Agents: | m ( a ) | q a and m ( a ) a m ( a ) { p } p m ( a ) .
2. 
No Blocking: If a p m 1 ( p )
(i) 
Then m ( a ) a { m ( a ) { p } } { p } p m ( a ) .
(ii) 
And if | m ( a ) | < q a , then m ( a ) a m ( a ) { p } p m ( a ) .
The individual rationality condition states that ( i ) principals prefer remaining matched to unmatched, and ( i i ) agents cannot match with more principals than their quota, q a , and prefer all principals in their matching to removing one of the principals. The no-blocking condition requires that if a principal p prefers another agent a to the one with which p is matched, then ( i )  a prefers the matching to replacing a principal in that matching with p, and ( i i ) if the agent has not met their quota, then the agent prefers the current matching to adding p. This definition is quite general, as it can apply to a case where a large number of principals match with a given agent.11 Additionally, the definition makes no statement about whether the matching will involve monotonic or nonmonotonic contract patterns.

4.3. Decentralized Principal–Agent Market

In this section, I introduce the definition of equilibrium for the model.
Definition 6
(Constrained Pareto Optimal Market Equilibrium, CPOME). A tuple ( C , M ) is a CPOME if:
1. 
The menu of contracts C is feasible and Constrained Pareto Optimal.
2. 
The assignment object M is pairwise stable.
I denote a CPOME as ( C * , M * ) , where I use the stars to indicate that the matching market outcome is a stable equilibrium. Again, the definition above makes no assumption about the contract pattern arising in a CPOME. I examine the conditions for the stability of certain contract patterns in more detail in the following section.

5. Analysis

This section is designed to explore the variety of results in the model. In Section 5.1, I discuss the effect of embedding the principal-agent problem within the matching market. Then, I categorize the potential contract patterns and the conditions for these patterns to be obtained in Section 5.2. Section 5.3 examines the utility functions that obtain for different measures of principals and agents, as well as how these functions are affected by changes in k.

5.1. Isolation vs. Market

In this section, I explore the differences between an isolated principal–agent problem and the principal–agent market. The distinction is particularly important in the principal–agent literature, because two-sided matching endogenizes the outside options for both parties. In the following analysis, I consider two cases. The first case is when there are at least as many agents as principals ( η ˜ 1 ), and the second is when there are twice as many principals as agents ( η ˜ 2 ). In order to conduct the analysis, I shut down the endogeneity of the outside option for the principals and agents. However, I still allow for heterogeneity in principal and agent types. To be clear, there is no interaction between principals and agents of different types, so it could be viewed as a continuum of isolated markets. The reason for this approach is that a continuum of separate markets can be easily compared with the endogenous matching model. What is of particular interest is how the contract patterns and marginal coalitions are affected by removing the endogenous outside option. I suppress arguments throughout the analysis for exposition.
  • Case 1:  η ˜ 1
Here, one can think of each market as having two principals and two agents. In this setting, the outside options when a principal or agent does not sign any contract are v ¯ i = v ¯ j and u ¯ i = u ¯ j , respectively. I use the superscripts i and j to designate the different principals and agents. Since the outside options are exogenous, they are not affected by the productivities of a given market. Each of the agent’s individual rationality constraints will be binding, because one agent would be left out if a nonexclusive contract were signed. Consequently, the comparison of each principal’s utility across contracts determines the contract that is chosen. Thus, for a given principal, we have the following comparison:
π i , E u ¯ π i , N u ¯ 2 π i , E π i , N u ¯ 2 0
I use this condition in the subsequent analysis for η ˜ 1 .
Recall that this setting involves a continuum of isolated markets, which I assume to have productivities in the type spaces P and A . Thus, I have the least productive market with types p ̲ and a ̲ . I further separate the analysis into two subcases, in which the least productive market signs exclusive contracts and nonexclusive contracts.
First, I consider the subcase in which the principals and agents from the least productive market choose to sign exclusive contracts. In order for the least productive market to prefer exclusive contracts
π i , E π i , N u ¯ 2 = f ( a ̲ , p ̲ i ) 2 2 f ( a ̲ , p ̲ i ) 2 2 ( 1 + k ) u ¯ 2 0
In order to see which contracts more productive types prefer, I simply need to differentiate (16) with respect to a, which gives the following:
π i , E π i , N a = f ( a , p i ) f a ( a , p i ) 1 1 1 + k > 0
The inequality in (17) is positive, due to the cost inefficiency term in π i , N and because the outside option is not a function of agent type (i.e., d u ¯ i d a = 0 ). Thus, all the isolated markets prefer to sign exclusive contracts. From (17), one can see that the only way to flip the inequality is for the outside option of the agent to be endogenous.
Now, I consider the subcase in which the least productive market exhibits nonexclusive contracts. The principals and agents from this market will prefer nonexclusive contracts when the following inequality holds:
π i , N π i , E + u ¯ 2 = f ( a ̲ , p ̲ i ) 2 2 ( 1 + k ) f ( a ̲ , p ̲ i ) 2 2 + u ¯ 2 0
Like in the previous subcase, the contract preference for more productive types can be determined by differentiating (18) with respect to a to obtain the following:
π i , N π i , E a = f ( a , p i ) f a ( a , p i ) 1 1 + k 1 < 0
Now, the cost inefficiency term leads to the inequality in (19) being negative. The implication is that a market with a high enough level of productivity will prefer exclusive contracts. Again, the only way to counteract this movement toward exclusive contracts is for the outside option to be endogenous.
Result 1.
When  η ˜ 1 , the following hold:
1. 
If the lowest type of market exhibits exclusive contracts, then all other markets will also exhibit exclusive contracts.
2. 
If the lowest type of market exhibits nonexclusive contracts, then markets with high enough productivity will sign exclusive contracts.
It should be clear after the analysis above that an endogenous outside option can change Result 1. Thus, the matching model could generate different results. Note that the inefficiency term acts as a wedge in the nonexclusive surplus function, so that the absolute difference between the exclusive and nonexclusive surplus functions grows as the productivity types increase. Thus, if (16) is satisfied for a given market, then it will be satisfied for all higher productivity markets since the outside option is fixed.
  • Case 2: η ˜ 2
In this section, I determine if the results from the previous case are reliant on the relative measure of principals to agents, or if they are more general. In the isolated market setting, this case would involve two principals and one agent per market. Now, each principal’s individual rationality constraints are binding, because one will be left out if the agent accepts an exclusive contract. As a result, the contract choice relies entirely upon each agent’s preference across contracts, which is given by
π i , E v ¯ i π i , N v ¯ i + π j , N v ¯ j π N 2 v ¯ i π i , E π N + v ¯ i 0
where the equivalence is due to the principals being the same productivity type within a given market.
Similar to the case where η ˜ 1 , I separate the analysis into a subcase for when the least productive market signs each contract type. First, consider when the least productive market prefers exclusive contracts.
π i , E π N + v ¯ i = f ( a ̲ , p ̲ i ) 2 2 f ( a ̲ , p ̲ i ) 2 2 ( 1 + k ) f ( a ̲ , p ̲ j ) 2 2 ( 1 + k ) + v ¯ i 0
Since principals are of the same type, we can simplify (21) and differentiate with respect to a to obtain the following:
π i , E π N a = f ( a , p i ) f a ( a , p i ) 1 2 1 + k < 0
The outside option is fixed, so the derivative of υ ¯ i with respect to a is zero. Since k < 1 is an assumption in the model, (22) is negative, which implies lower productivity markets will sign exclusive contracts and higher productivity markets will sign nonexclusive contracts. The only force that could prevent the switch is an endogenous outside option for a principal.
In the other subcase, where nonexclusive contracts are signed in the least productive market, the inequality in (21) becomes the following:
π N π i , E v ¯ i = f ( a ̲ , p ̲ i ) 2 2 ( 1 + k ) + f ( a ̲ , p ̲ j ) 2 2 ( 1 + k ) f ( a ̲ , p ̲ i ) 2 2 v ¯ i 0
Simplifying (23), differentiating with respect to a, and substituting in, gives the following:
π N π i , E a = f ( a , p i ) f a ( a , p i ) 2 1 + k 1 > 0
Now, there is no switch to exclusive contracts, so all markets exhibit principals and agents signing nonexclusive contracts. Again, an endogenous outside option for the principal could cause (24) to be negative, which would lead to higher productivity markets signing exclusive contracts.
Result 2.
When  η ˜ 2 , the following hold:
1. 
If the lowest type of market exhibits exclusive contracts, then markets with high enough productivity will sign nonexclusive contracts.
2. 
If the lowest type of market exhibits nonexclusive contracts, then all markets will sign nonexclusive contracts.
From the preceding analysis, it is evident that two of the main components driving the contract patterns are cost sharing between principals in the presence of effort inefficiencies, and the absence of an endogenous outside option. A third force is the bargaining power between principals and agents. When one side of the market has all of the bargaining power, the individual rationality constraint for the opposite side is binding. This is why the contract switch is reversed in Cases 1 and 2, even without an endogenous outside option. In Section 5.2, I show how the results change when the outside option is endogenized.

5.2. Equilibrium Contract Patterns

First, I show how I derive the contract pattern. Then, I introduce propositions that dictate the pattern of contracts in a market and the conditions for these contract patterns to be stable. I also discuss how each of these cases compares to the corresponding fixed outside option example derived in Section 5.1. Recall the terms for each contract pattern: C E , C N , C N E , and C E N . These represent exclusive throughout, nonexclusive throughout, exclusive at the top, and nonexclusive at the top of the market, respectively.

5.2.1. Threshold Function

Before examining each potential contract pattern, I discuss the method by which the contract pattern can be derived. Note that the contract choice depends on the individual rationality constraints of the principals and agents. Recall from (14) that a nonexclusive contract is preferred by principals and agents if
π i , N u i , N π i , E u i , E and u N u i , E
The agent in the marginal coalition will be indifferent between contract types so that, u N = u i , E . Plugging this into the individual rationality constraint for the principal in (25), and rearranging gives The agent in the marginal coalition will be indifferent between contract types so that, u N = u i , E . Plugging this into the individual rationality constraint for the principal in (25), and rearranging gives
π i , N ( a , p ; k ) π i , E ( a , p i ) u i , E ( a ) 2
where (26) stands for Local Nondeviation Condition. It is called the (26), because it considers local deviations across contracts, where local refers to the principal and agent types. If there is a contract switching point in the market, the (26) will hold with equality for some marginal coalition, ( a ˜ , p ˜ ) , where p ˜ = ( p ˜ i , p ˜ j ) . Rewriting (26) for the marginal coalition gives
π N ( a ˜ , p ˜ ; k ) = 2 π i , E ( a ˜ , p ˜ i ) u i , E ( a ˜ )
where I include the arguments of the functions and represent the entire surplus from a nonexclusive contract by π N ( a ˜ , p ˜ ; k ) .12 Note that due to the functional form, (27) can be solved for k and evaluated at a proposed assignment M to obtain
k ^ ( a ˜ ) = κ ( a ˜ , p ˜ ) | M = u i , E ( a ˜ ) 2 π i , E ( a ˜ , m ( a ˜ , a ˜ ) ) u i , E ( a ˜ )
where κ ( · ) is the quasi-inverse of π N ( · ) , and (28) stands for threshold function. The threshold function gives the value of k that will induce a contract switching point at a given marginal agent of type a ˜ in the proposed equilibrium assignment object M . I use this threshold function in subsequent sections to determine which contract patterns arise in equilibrium.13

5.2.2. More Agents than Principals

When there are more agents than principals, the outside option of the lowest productivity agent in the market is zero, because if an agent fails to sign a contract they will be left out of the market or, in other words, unemployed. Consequently, the lowest type principal will receive the total surplus under either contract, which will always be more under an exclusive contract, since k ( 0 , 1 ) . We can then use the inequality in (15) but replace the terms with their matching market counterparts. For every agent type, the comparison is between contracts with the same principal type, which is represented by m ( a ) in both the exclusive and nonexclusive surplus functions.14 Thus, the nonexclusive contract will be preferred if
π i , N ( a , m ( a ) ) π i , E ( a , m ( a ) ) u i , E ( a ) 2
Differentiating both sides of the inequality with respect to a and suppressing arguments for exposition gives the following:
π a i , N + π p i , N m ( a ) π a i , E + π p i , E m ( a ) u a i , E ( a ) 2
Using the exclusive contract ODE in (13) to replace u a i , E ( a ) and substituting in the functional forms gives
1 1 + k f f a f f p m ( a ) f f a + f f p m ( a ) f f a 2
Rearranging and canceling obtain the following condition on k:
k f a f a + 2 f p m ( a ) < 1
where arguments are suppressed for exposition. The condition in (32) shows that there are values of k ( 0 , 1 ) for which nonexclusive contracts will be preferred if the distribution is defined over a sufficiently long interval. Thus, we arrive at the following proposition.
Proposition 1.
If η ˜ 1 , then the potential contract patterns are C E and C E N .
Proof. 
See Appendix A.2. □
Recall from Result 1 in Section 5.1 that either all of the isolated markets would sign exclusive contracts, or less productive markets would sign nonexclusive contracts and more productive markets would sign exclusive contracts. Thus, the main difference is in the direction of the contract switch. There are two reasons behind this reversal. The first is the endogeneity of the outside option, which I indicated as important in Section 5.1. In the matching market, this leads to a switch from exclusive contracts to nonexclusive contracts when moving up the type distribution. The second factor is related to the contracts signed by the lowest productivity pair. In the isolated markets example, nonexclusive contracts will be signed in the least productive market only if the outside option for the agent is nonzero, which can be seen in (18). However, as previously mentioned, when η ˜ 1 , the outside option for the lowest productivity agent in the matching market is zero, because if an agent fails to sign a contract, they will be left out of the market. If the outside option in the isolated case is restricted to zero, then the central result from introducing the principal–agent problem into a matching market is that there is a contract switching point in the market.
Now, I discuss when it is possible for a contract switch to occur in a matching market using a simple example. Consider the threshold function in Panel (a) of Figure 1 below for principal and agent productivity types distributed uniformly over [ 2 , 3 ] with η ˜ = 1 and f ( a , p i ) = a p i . Notice that nonexclusive contracts will only obtain if k < k ^ ( a ¯ ) , and remember that k ( 0 , 1 ) . In Panel (a) of Figure 1, k ^ ( a ¯ ) = 0 . 0528 , which can be translated to percent change as 0.0528 1.0528 × ( 100 ) = 5.015 % .15 Thus, the contracts will coexist in this setting only if the cost inefficiencies are relatively small.
Panel (b) of Figure 1 is an example of the contract pattern that will be obtained under Proposition 1 when cost inefficiencies are small enough to induce a contract switch. In this figure, the pink region indicates the coalitions entering nonexclusive contracts, and the blue region indicates the coalitions entering exclusive contracts. Note the measure of agents at the bottom of the distribution that remain unmatched. I denote the lowest type of agent in the market by a ^ , so that agents with types a [ a ̲ , a ^ ) are unemployed under the equilibrium assignment. Panel (b) of Figure 1 represents a case in which the type distributions have the same length of supports. Since η ˜ 1 , the implication is that the density of agents within the support is weakly larger than the density of principals.
In the present case, k can be viewed as a per-unit usage cost for a technology that manages accounts for multiple principals. Thus, as the technology becomes more costly (an increase in k) fewer agents are productive enough to offset the extra cost. For a given market, it may be that the technology is too costly, so that no agents are observed working for more than one principal.
Below, I provide a proposition for the stability of the contract pattern in this setting.
Proposition 2.
If η ˜ 1 , then ! K R ( 0 , 1 ) s . t . k ^ K the stable matching is C E N or C E .
Proof. 
See Appendix A.3. □
Corollary 1.
k ^ ( a ˜ u ) sup { K } s . t . k > k ^ ( a ˜ u ) there is no stable matching pattern when η ˜ 1 .
Proposition 2 states that there is a single interval of values of k, denoted by K, for which a market will exhibit C E N or C E as a contract pattern. Corollary 1 indicates that when k is larger than the supremum of K, the LNDC is not robust to global deviations, thus, the contract pattern is not stable.

5.2.3. More Principals than Agents

When there are at least twice as many principals as agents, the outside option of the lowest type of principal in the market is zero. As a result, for any k ( 0 , 1 ) , the lowest type of agent will prefer a nonexclusive contract to an exclusive contract. Now, the inequality in (20) can be written in terms of matching market functions evaluated at the nonexclusive equilibrium assignment. Furthermore, the outside option of the principal that appears in (20) can be written in terms of the match surplus and the equilibrium agent utility function. Thus, a principal will prefer an exclusive contract if
v i ( a ) π i , N ( a , μ ( a ) ) u i , N ( a ) π N ( a , μ ( a ) ) π i , E ( a . μ ( a ) )
Differentiating with respect to a and suppressing function arguments as in Section 5.2.2 gives
π a i , N + π p i , N μ ( a ) u a i , N 2 π a i , N + π p i , N μ ( a ) π a i , E + π p i , E μ ( a )
Using the utility ODE for the nonexclusive contract and substituting in the functional forms gives
1 1 + k f f a + f f p μ ( a ) f f a 2 1 + k f f a + f f p μ ( a ) f f a f f a μ ( a )
Finally, rearranging (36) and simplifying obtains
f a f a + f p μ ( a ) k < 1
The condition in (36) shows that there are values of k ( 0 , 1 ) for which an exclusive contract will be preferred if the distribution is defined over a sufficiently long interval. This brings us to the following proposition.
Proposition 3.
If η ˜ 2 , then the potential contract patterns are C N and C N E .
Proof. 
See Appendix A.4. □
Similar to Section 5.2.2, the direction of the switch in the matching market is the opposite from the isolated market case. Again, the switch in the isolated market case is driven by an exogenous outside option for the principal, which must also be nonzero. When the exogenous outside option is equal to zero, then all isolated markets will sign nonexclusive contracts. First, consider when both cases exhibit nonexclusive contracts for the least productive agent. The endogenous outside option for the principal in the matching market leads to a contract switch, whereas there are no exclusive contracts signed in the isolated market case. In the matching market, the outside option for the least productive principal is zero, so exclusive contracts are never obtained at the bottom of the market. Thus, the contract switch in the isolated market case is entirely due to the nonzero outside option assumption. If the outside option is assumed to be zero as in the matching market, then only nonexclusive contracts will be signed. Therefore, just as in the previous section, the contract switch is induced by the endogeneity of the outside option.
Next, I examine the conditions for a contract switch to occur using a simple example. Panel (a) of Figure 2 depicts the threshold function for productivity types distributed uniformly over [ 2 , 3 ] with η ˜ = 2 and f ( a , p i ) = a p i . Now, small values of k will result in only nonexclusive contracts being signed, and large values of k will induce a contract switch.16 The intuition is that agents are only productive enough to offset the endogenous outside option of the principal when cost inefficiencies are sufficiently small. Panel (b) of Figure 2 shows a potential contract pattern that can be obtained under Proposition 3, when cost inefficiencies are small enough for a contract switch to occur. Now there are principals left out of the market. I denote the lowest type principal that is matched with an agent by p ^ , so that principals of type a [ p ̲ , p ^ ) remain unemployed under the equilibrium assignment.
The previous example where k is a per unit usage cost is still applicable, but now there are many principals competing for the services of a small number of agents. The reduction in leverage for the principals coming from a less appealing outside option leads them to sign nonexclusive contracts even in the presence of sizable effort inefficiencies. In this case, k ^ ( a ¯ ) = 0.5988 , which implies that no exclusive contracts will be signed if effort inefficiencies lead to a reduction in surplus no greater than 0.5988 1.5988 × ( 100 ) = 37.45 % .
Now, I provide a proposition analogous to Proposition 2 from the previous section.
Proposition 4.
If η ˜ 2 , then ! K R ( 0 , 1 ) s . t . k ^ K the stable matching is C N E or C N .
Proof. 
See Appendix A.5. □
Corollary 2.
k ^ ( a ˜ ) inf { K } s . t . k < k ^ ( a ˜ ) there is no stable matching pattern when η ˜ 2 .
Similarly to Proposition 2, the implication from Proposition 4 is that a single interval exists for values of k that support C N E or C N as stable contract patterns. Corollary 2 states that when k is smaller than the infimum of the set K, the LNDC is not robust to global deviations, which in turn implies that the contract pattern is not stable.

5.3. Utility Functions

Now, I consider the utility functions that arise under the two cases described in Propositions 1 and 3. I focus on the cases where the market exhibits contract switching. I examine the effects of a change in k on the utility functions, and the differential effect on agents. In all cases, I denote derivatives with subscripts. Before moving on, it is important to discuss the constants of integration for nonexclusive contracts, after which I present a claim that is helpful moving forward.
While the nonexclusive contract ODE in (13) determines the slope of the utility function contributed by each principal, it is feasible for the constant of integration to be any convex combination of the total utility accruing to the lowest type of agent matched in a nonexclusive contract. When there is principal unemployment each principal contributes the entirety of the surplus to the match, so the constants of integration are easily determined. In the case of agent unemployment, the lowest type of agent matched in a nonexclusive contract is at the marginal coalition. Consequently, the total utility they receive is equal to the exclusive contract utility at the marginal coalition and must be split between the two principals. It is possible to determine how the utility will be split using the individual rationality constraints of the principals, and thus pin down the constants of integration. Thus, we have the following claim:
Claim 1.
For each set of nonexclusive contract utilities,  u i , N ( a )  and  u j , N ( a ) , the constants of integration are pinned down for all possible contract patterns.
Proof. 
See Appendix A.6. □
Claim 1 implies that no additional assumptions are required in order to determine the equilibrium utility functions under nonexclusive contracts, which precludes the need to define a sharing rule that could jeopardize the stability of the matching market.

5.3.1. Agent Unemployment

In this case, the contract pattern in the market is C E N . First, consider the nonexclusive utility functions for a pair of principals, p i and p j , that are matched to agent a:
u i , N ( a ) = π i , N ( a ˜ , μ i ( a ˜ ) ) π i , E ( a ˜ , m ( a ˜ ) ) + u i , E ( a ˜ ) + a ˜ a π s i , N ( s , μ i ( s ) ) d s
u j , N ( a ) = π j , N ( a ˜ , μ j ( a ˜ ) ) π j , E ( a ˜ , m ( a ˜ ) ) + u j , E ( a ˜ ) + a ˜ a π s j , N ( s , μ j ( s ) ) d s
when a < a ˜ , the utility function will just be u E ( a ) . Thus, after summing (37) and (38), the entire utility function can be written as follows:
u ( a ) = a ^ min { a , a ˜ } π s E ( s , m ( s ) ) d s + i min { a , a ˜ } a π s i , N ( s , μ i ( s ) ) d s
= a ^ min { a , a ˜ } π s E ( s , m ( s ) ) d s + min { a , a ˜ } a π s N ( s , μ ( s ) ) d s
Now, I examine the effect an increase in k has on the utility function. I consider three cases. First, the effect on agents signing exclusive contracts before and after the change, then the effect on agents in nonexclusive contracts before and after the change, and last, the effect on agents transitioning from one contract to the other.
Exclusive Contract Utility:
u k E ( a ; k ) = a ^ ( a ˜ ) a π s m E ( s , m ( s , a ˜ ) ) m a ˜ a ˜ k d s ( + ) π s E ( a ^ , m ( a ^ , a ˜ ) ) a ^ a ˜ a ˜ k ( ) > 0
The second term in (40) is negative, because a ^ a ˜ < 0 and a ˜ k > 0 . Therefore, the entire term is positive. Also, note that only the indirect effect is present in this expression, since the exclusive contract is only a function of the cost inefficiency through its impact on the productivity type marginal coalition. This result is not surprising, because an increase in k leads to fewer agents remaining unmatched at the bottom of the type distribution. Thus, the agents below the threshold gain bargaining power. Consider Figure 3 to see that this effect is the most obvious for the lowest type of agent in the market before the change in k. This agent, a ^ ( k ) , receives a utility increase equal to u ( a ^ ( k ) | k = k ) . Here, a ^ ( k ) denotes the lowest type of agent in the market when k = k .17 Additionally, u i ( a ) represents the portion of the nonexclusive utility function that is paid by principal i.
Nonexclusive Contract Utility:
The derivative with respect to k is as follows:
u k N ( a ; k ) = u k E ( a ; k ) | a = a ˜ π a ˜ N ( a ˜ , μ ( a ˜ , a ˜ ) ) a ˜ k Indirect Effect ( + ) + a ˜ a π s k N d s Direct Effect ( ) < 0
Here, I drop the superscripts designating principals to indicate the total nonexclusive utility. The direct effect in (41) is negative, since the profit from the nonexclusive contract is decreasing in k. For all the agents that remain in nonexclusive contracts after an increase in k, the direct effect outweighs the indirect effect. Thus, these agents receive a lower compensation when k increases.
Contract Switching:
Now consider the case where an agent switches from a nonexclusive to an exclusive contract. These are those with types between a ˜ ( k ) and a ˜ ( k ) in Figure 3. I denote the agent equally well off under either value of k by a = α . Agents of type a ( α , a ˜ ( k ) ) benefit from this increase in k due to agent entry at the bottom driving up the exclusive contract utility they can command. The agents of type a ( α , a ˜ ( k ) ) actually become worse off, because the slope of the nonexclusive portion of the original utility function offsets the gain from increased bargaining power for the agents. The value of the agent of type α is determined by the size of the change in k, and the curvature of the exclusive and nonexclusive portions of the utility function.

5.3.2. Principal Unemployment

In this case, the constant of integration is no longer zero. Consider the nonexclusive utility functions, which obtain the following for a < a ˜ :
u i , N ( a ) = π i , N ( a ̲ , μ i ( a ̲ ) ) + a ̲ a π s i , N ( s , μ i ( s ) ) d s
u j , N ( a ) = π j , N ( a ̲ , μ j ( a ̲ ) ) + a ̲ a π s i , N ( s , μ j ( s ) ) d s
The entire utility function is the sum of Equations (42) and (43), and the exclusive utility function is evaluated for agents a a ˜ . This can be written compactly as follows:
u ( a ) = min { a , a ˜ } a π s E ( s , m ( s ) ) d s + i π i , N ( a ̲ , μ i ( a ̲ ) ) + a ̲ min { a , a ˜ } π s i , N ( s , μ i ( s ) ) d s
= π N ( a ̲ , μ ( a ̲ ) ) + min { a , a ˜ } a π s E ( s , m ( s ) ) d s + a ̲ min { a , a ˜ } π s N ( s , μ ( s ) ) d s
I now examine how changes in k affect the utility function. I consider the effects on agents remaining in nonexclusive contracts and those remaining in exclusive contracts.
Nonexclusive Contract Utility:
u k N ( a ; k ) = π μ N ( a ̲ , μ ( a ̲ , a ˜ ) ) μ a ˜ a ˜ k + a ̲ a π s μ N μ a ˜ a ˜ k d s Indirect Effect ( + ) + π k N ( a ̲ , μ ( a ̲ , a ˜ ) ) + a ̲ a π s k N d s Direct Effect ( ) > 0
Exclusive Contract Utility:
u k E ( a ; k ) = π μ N ( a ̲ , μ ( a ̲ , a ˜ ) ) μ a ˜ a ˜ k + a ̲ a ˜ π s μ N μ a ˜ a ˜ k d s π s E ( a ˜ , m ( a ˜ , a ˜ ) ) a ˜ k Indirect Effect ( + ) + π k N ( a ̲ , μ ( a ̲ , a ˜ ) ) + a ̲ a ˜ π s k N d s + π a ˜ N ( a ˜ , μ ( a ˜ , a ˜ ) ) a ˜ k Direct Effect ( ) > 0
In both cases, the indirect effect dominates the direct effect. Thus, utilities are increasing in k, which seems counterintuitive as it is a source of inefficiency in the model. The effect comes entirely from the principal exit that occurs when k increases. As more agents sign exclusive contracts, more principals are forced out of the market, and agents match with more productive principals.
Figure 4 shows that the size of this increase depends on which contract an agent signs before and after the change in k.

6. Implications

There are both inter- and intraorganizational examples for which the current framework has particularly important implications. In the case of an intraorganizational matching market, the equilibrium outcome can be viewed as the solution to the problem facing a manager in which they must match two sets of workers to perform tasks. The CPOME guarantees the equilibrium will be the same as if the manager had allowed workers in the two sets to choose match partners themselves.
Consider a case in which the manager must assign teams of product developers to teams of sales associates. In this example, there are likely to be more sales teams than product development teams. The inefficiency cost represents the additional product knowledge sales teams must obtain in order to sell products for multiple development teams. In practice, this additional knowledge requirement may lead to teams dividing into subgroups with each subgroup focusing on one particular project. The inefficiency arises from the reduced number of salespeople per project, which increases the effort costs. Given the analyses in Section 5.2.2 and Section 5.3.1, when inefficiency costs are sufficiently small, the manager will assign some of the more productive sales teams to two development teams. Suppose there is a positive, exogenous shock to the inefficiency parameter, k. One example of such a shock could be the increase in complexity of the products the company makes, which in turn requires more working knowledge to sell effectively.18 In response, the manager will optimally choose to reallocate sales teams within the firm by reducing the number of teams that sell multiple products. The manager will also look to hire salespeople from outside of the firm in order to have enough sales teams to pair with product development teams. In addition to the firm organizational decisions, the model also makes a prediction related to output. More specifically, unemployment will decrease in response to a decrease in output. This result is particularly puzzling but has a relatively simple explanation. A reduction in worker efficiency necessarily decreases output, but it is worse to leave product development teams idle after reallocating sales teams than it is to hire lower quality sales teams with whom the idle development teams can partner.
Now consider an example in which there are more principals than agents. Suppose a large firm has a limited number of plants that are needed to produce goods developed by many different divisions. Again, we can equate the optimal assignment of plants to divisions by a social-planner-style authority within the firm to the equilibrium outcome of an intrafirm matching market where plant managers contract with division heads. In this case, plant managers can agree to produce products for up to two divisions at the same time, but outfitting a plant to simultaneously produce different goods incurs additional costs. These costs include more worker training and reduced space/time for the production of each individual good. Consider a case in which inefficiency costs are sufficiently small, so all plants produce goods for two divisions. Suppose the firm suffers a technological malfunction across plants that inhibits their ability to produce multiple goods simultaneously. This represents a positive inefficiency cost shock. As a result of increased inefficiency costs, the central authority within the firm finds it optimal to reallocate production, so that some of the most productive plants only produce a single good. A consequence of this reallocation is that a number of the less profitable products will not be produced in the short term.19 Essentially, the firm optimally stops production for some goods until either the malfunction is repaired or more plants are built.

7. Conclusions

The present paper seeks to extend the two-sided matching literature with multiple contracts to a many-to-one setting. I achieve this by introducing nonexclusive contracting into a two-sided matching framework, which allows me to provide a theoretical basis for the coexistence of exclusive and nonexclusive contracts within the same market. I find that endogenizing the outside option and cost-sharing between principals are essential to obtaining this result, and without the two forces, no contract switching would occur. I show that the relative measure of principals to agents is essential for determining the type of contract patterns that can arise in a given market. Thus, all three forces are essential for generating theoretical results that mirror market conditions in a number of industries. Recall that if one of these three facets of the model is missing, then the results can be completely different. It is important to mention that these contract patterns arise with PAM obtaining for either contract type. Additionally, I show that the contract pattern is monotonic, since a market only exhibits a single switching point if both contracts coexist. It is uncertain how the results will change if one uses a model similar to [9], in which the equilibrium matching may exhibit NAM, and the surplus function from a match is not linear in the cost inefficiency term k. However, I leave this analysis for future research.
Potential future work includes examining contract patterns that arise when there is a moral hazard in the contracting problem. This will make it possible to understand how incentives in nonexclusive contracts are affected by an endogenous outside option, which I have shown is vital to the results in the model. Another possible extension is adapting the model to allow for up to N > 2 principals to contract with a single agent. This addition would make the model more realistic, but the results may not add enough relative to the current paper to justify the difficulty. If the functional forms are similar, I would expect contract patterns to remain monotonic, and thus not add much in the way of new results. Finally, it could be interesting to see how the results change if agents are heterogeneous in the effort inefficiency term, so that matching occurs between principals with some productivity or project value and agents that differ in their ability to multitask.

Funding

This research received no external funding.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Acknowledgments

I would like to thank Konstantinos Serfes for his support, advice, and many helpful conversations, as well as, Mian Dai, Kaniska Dam, and Ricardo Serrano-Padial for helpful comments. As always, all remaining errors are my own.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. Proofs

Proofs The proofs for Propositions 2 through 5 are done using the functional form f ( a , p ) = a p , but the argument holds for any function that is multiplicatively separable in a and p.

Appendix A.1. Second-Order Conditions

First, I show that if the SOCs are satisfied, then it is possible for PAM to obtain. Before I continue, it is important to note that the FOCs and SOCs for each principal must be satisfied, but their problems are identical, so I focus on the problem of principal i. The FOC evaluated at the optimal assignment:
u a i = f ( a , μ i ( a ) ) f a ( a , μ i ( a ) ) 1 + k
Differentiating (A1) in order to obtain the SOC for principal i, and suppressing function arguments for exposition:
π a i i μ a i = f a f i + f f a i 1 + k μ a i > 0
The corresponding SOC for principal j is
f a f j + f f a j 1 + k μ a j > 0
Since μ a i , μ a j > 0 under PAM, both (A2) and (A3) will hold for k ( 0 , 1 ) , which are the values of k considered in the model.

Appendix A.2

Proof of Proposition 1.
If η ˜ 1 , then the potential contract patterns are C E N and C E . In this case, no principal will ever be left out of the market even if all the contracts are exclusive. Thus, the principal at the bottom of the market, p ̲ , has all the bargaining power. Therefore, in either contract, the principal will offer a utility of zero to the lowest potential agent they could match with, which I denote a ^ . The principal must then choose between:
f ( a ^ , p ̲ ) 2 and f ( a ^ , p ̲ ) 2 ( 1 + k )
The principal will choose the exclusive contract as long as k > 0 . □

Appendix A.3

Proof of Proposition 2.
I proceed by considering the potential deviations of principals and agents and then derive conditions for which none of the deviations will be profitable. Here, there are two potential contract patterns, C E and C E N . There is a local nondeviation condition:
π i ( a , μ i ( a ) ) u i ( a ) π E ( a , m ( a ) ) u E ( a )
Recall that this condition only considers deviations by a principal–agent pair to a different contract. At some marginal coalition, this condition holds with equality. The condition can be rewritten as
k k ^ ( a ˜ ) a ^ ( a ˜ ) a ˜ s m ( s ) 2 d s a ˜ 2 m ( a ˜ ) 2 a ^ ( a ˜ ) a ˜ s m ( s ) 2 d s
The term a ^ ( a ˜ ) is the lowest type of agent that is matched when the marginal coalition is a ˜ . Since this condition is local, there are additional deviations that must be considered in order to ensure stability.
  • Above the Marginal Coalition:
First, I consider a deviation by types above the marginal coalition. In the current case, these coalitions will sign nonexclusive contracts on the equilibrium path. The deviation I consider is by a principal, i to sign an exclusive contract with an agent of type a, where a ˜ a < a . I denote this deviation as i C E ( a , i ) . The payoff to principal i on equilibrium is
π i ( a , i ) u i ( a ) > π E ( a , i ) u E ( a ) > π E ( a , i ) u E ( a ) > π E ( a , i ) u N ( a )
The second inequality in (A6) comes from standard increasing differences, while the last inequality comes from the fact that the total nonexclusive utility is what the agent would obtain in equilibrium, and it is larger than the exclusive utility above the marginal coalition. Thus, the deviation is not profitable for principal i .
  • Below the Marginal Coalition:
Now, I examine potential deviations below the marginal coalition. Here, I use a 0 < a a ˜ . Below the marginal coalition, principal–agent pairs will sign exclusive contracts on the equilibrium path. Consider the following deviation:
( a , i ) C N ( a , i , j 0 )
In order for this to be nonprofitable, the following must hold:
π E ( a , i ) u E ( a ) > π i ( a , i ) + π j ( a , j 0 ) u E ( a ) π E ( a 0 , j 0 ) u E ( a 0 ) π E ( a , i ) + π E ( a 0 , j 0 ) > π i ( a , i ) + π j ( a , j 0 ) + u E ( a 0 )
Equation (A8) can be solved for k to give
k m ( a 0 ) 2 ( a 2 a 0 2 ) + 2 a ^ ( a ˜ ) a 0 s m ( s ) 2 d s a 2 m ( a ) 2 + a 0 2 m ( a 0 ) 2 2 a ^ ( a ˜ ) a 0 s m ( s ) 2 d s = k d
Differentiating this with respect to a gives k a d < 0 , which implies the condition will be most difficult to satisfy when a = a 0 . Thus, the deviation is never more profitable than a local deviation across contracts. Therefore, it is never profitable under (A5).
Next, consider the deviation below:
a C N ( a , i 0 , j 0 )
In order for this to be nonprofitable, the following must hold:
u E ( a ) > π N ( a , p 0 ) 2 π E ( a 0 , p 0 ) u E ( a 0 )
Here, p 0 denotes the principal pair ( i 0 , j 0 ) . The inequality in (A11) can be rearranged to give
k m ( a 0 ) 2 ( a 2 a 0 2 ) a ^ ( a ˜ ) a s m ( s ) 2 d s + 2 a ^ ( a ˜ ) a 0 s m ( s ) 2 d s a 0 2 m ( a 0 ) 2 + a ^ ( a ˜ ) a s m ( s ) 2 d s 2 a ^ ( a ˜ ) a 0 s m ( s ) 2 d s = k d
Differentiating this with respect to a gives k a d < 0 , which implies the condition will be most difficult to satisfy when a = a 0 . Again, this implies (A10) will never be more profitable than a local deviation across contracts.
Next, consider the following deviation:
i C N ( a 0 , i , j 0 )
For (A13) to be unprofitable the inequality below must hold:
π E ( a , i ) u E ( a ) > π i ( a 0 , i ) + π j ( a 0 , j 0 ) u E ( a 0 ) π E ( a 0 , j 0 ) u E ( a 0 ) π E ( a , i ) + π E ( a 0 , j 0 ) > π i ( a 0 , i ) + π j ( a 0 , j 0 ) + u E ( a )
This can be rearranged to obtain
k m ( a 0 ) 2 ( a 0 2 a 2 ) + 2 a ^ ( a ˜ ) a s m ( s ) 2 d s a 2 m ( a ) 2 + a 0 2 m ( a 0 ) 2 2 a ^ ( a ˜ ) a s m ( s ) 2 d s = k d
Differentiating this with respect to a gives k a d > 0 , which implies the condition will be most difficult to satisfy when a = a ˜ . Now, rearrange (A14) and evaluate at the optimal assignment and at a = a ˜ :
π E ( a ˜ , m ( a ˜ ) ) + π E ( a 0 , j 0 ) π i ( a 0 , m ( a ˜ ) ) π j ( a 0 , j 0 ) u E ( a ˜ ) > 0
The inequality in (A16) holds with equality when a 0 = a ˜ . For exposition, I now write a 0 as a, so that (A16) at the equilibrium assignment becomes
π E ( a ˜ , m ( a ˜ ) ) + π E ( a , m ( a ) ) π i ( a , m ( a ˜ ) ) π j ( a , m ( a ) ) u E ( a ˜ ) > 0
Since (A17) holds with equality at a = a ˜ , it must be strict for a < a ˜ . This requires the slope with respect to a of the negative terms in (A17) to be larger than the positive terms. This way, there is a single crossing that occurs at a = a ˜ . The terms affected by changes in a are π E ( a , m ( a ) ) and π i ( a , m ( a ˜ ) ) + π j ( a , m ( a ) ) . The single crossing will only ensure (A17) holds if both of these terms are convex or concave in a. If π E ( a , m ( a ) ) is concave, and π i ( a , m ( a ˜ ) ) + π j ( a , m ( a ) ) is convex, then (A17) will not hold. The first and second derivatives of π E ( a , m ( a ) ) are
a m ( a ) 2 + a 2 m ( a ) m ( a ) > 0 and m ( a ) 2 + 4 a m ( a ) m ( a ) + a 2 ( m ( a ) 2 + m ( a ) m ( a ) ) > 0
If m ( a ) is convex, then the function is convex. If it is concave, then
| m ( a ) | < m ( a ) 2 a 2 m ( a ) + 4 m ( a ) a + m ( a ) 2 m ( a )
must hold in order for the function to be convex. A similar result is obtained for π i ( a , m ( a ˜ ) ) + π j ( a , m ( a ) ) . Again, if m ( a ) is convex, then the function is convex. If it is concave, then
| m ( a ) | < μ ( a ˜ ) 2 + m ( a ) 2 a 2 m ( a ) + 4 m ( a ) a + m ( a ) 2 m ( a )
must hold for the function to be convex. Notice that if (A19) holds, then (A20) will necessarily hold. Given that both of these terms are convex, all that must be done is to confirm that the single crossing holds at a = a ˜ . The inequality that must be satisfied is
a m ( a ) 2 + a 2 m ( a ) m ( a ) < a μ ( a ˜ ) 2 + a m ( a ) 2 + a 2 m ( a ) m ( a ) 1 + k
After some simplification (A21) becomes
k < μ ( a ˜ ) 2 m ( a ) 2 + a m ( a ) m ( a ) k ˜
Remember that this k ˜ must be evaluated at a = a ˜ . Additionally, the LHS of (A22) will be k ^ ( a ˜ ) on the equilibrium path. Thus, (A22) becomes
k ^ ( a ˜ ) u E ( a ˜ ) 2 π E ( a ˜ , m ( a ˜ ) u E ( a ˜ ) < μ ( a ˜ ) 2 m ( a ˜ ) 2 + a ˜ m ( a ˜ ) m ( a ) | a = a ˜ k ˜ | a = a ˜
Rearranging (A23) gives
m ( a ) | a = a ˜ < μ ( a ˜ ) 2 ( 2 π E ( a ˜ , m ( a ˜ ) ) u E ( a ˜ ) ) a ˜ m ( a ˜ ) u E ( a ˜ ) m ( a ˜ ) a ˜
If both terms are convex, and (A24) holds, then the deviation is not profitable. The next step is to show that (A24) will hold for different values of a ˜ . Since k ^ ( a ˜ ) = 0 when a ˜ = a ^ (i.e., when only nonexclusive contracts are signed), (A24) will hold for a ˜ = a ^ . If k ^ ( a ˜ ) < k ˜ a ˜ | a = a ˜ , then (A24) will hold for every a ˜ . If k ^ ( a ˜ ) > k ˜ a ˜ | a = a ˜ , then there are two possibilities. First, it could be that
lim a ˜ k ^ ( a ˜ ) = k ˜ a ˜ | a = a ˜
This implies that (A23) will hold and the deviation will be unprofitable. The other case is that (A23) will be violated for some a ˜ u . Thus, for every a ˜ a ˜ u the deviation will be unprofitable, but for every a ˜ > a ˜ u , the deviation will be profitable. This would result in the contract pattern being unstable.
  • Across the Marginal Coalition:
Now, I consider deviations across the marginal coalition. Here, I use a a ˜ a . First, I examine the deviation below:
i C E ( a , i ) C E ( a , i )
In order for (A26) to be unprofitable, the inequality below must hold:
π E ( a , i ) u E ( a ) π E ( a , i ) u N ( a )
The RHS of (A27) is increasing in i faster than the LHS. Thus, the inequality is most difficult to satisfy when i = i ˜ = m ( a ˜ ) , so (A27) becomes
π E ( a ˜ , m ( a ˜ ) ) u E ( a ˜ ) π E ( a , m ( a ˜ ) ) u N ( a )
This inequality is most difficult to satisfy at a = a ˜ , which leads to (A28) holding with equality. Therefore, it is never violated, and (A26) is unprofitable.
The next deviation I consider is
a C E ( a , i ) C N ( a , i , j )
This deviation will be unprofitable if the following holds:
π N ( a , i , j ) u N ( a ) π N ( a , i , j ) u N ( a ) > π N ( a , i , j ) u E ( a )
The first inequality comes from the increasing difference conditions within contracts. The second inequality comes from the fact that the equilibrium utility, u E ( a ) , below the cutoff is larger than the nonexclusive utility below the cutoff. Thus, the principal pair ( i , j ) would prefer the equilibrium assignment to a deviating coalition with a.
Now consider the following deviation:
( a , i ) C E ( a , i ) C N ( a , i , j )
In order for (A31) to be unprofitable, the following must hold:
π E ( a , i ) u E ( a ) > π i ( a , i ) + π j ( a , j ) u E ( a ) π j ( a , j ) u j ( a ) π E ( a , i ) + π j ( a , j ) > π i ( a , i ) + π j ( a , j ) + u j ( a )
Differentiating (A32) with respect to a along the equilibrium assignment gives
π a j ( a , μ j ( a ) ) + π j j ( a , μ j ( a ) ) μ a j ( a ) π j j ( a , μ j ( a ) ) μ a j ( a ) u a j ( a ) = μ a j ( a ) π j j ( a , μ j ( a ) ) π j j ( a , μ j ( a ) ) > 0
This implies that (A31) will be most difficult to satisfy when a = a ˜ . Rearrange (A33) and evaluate at the optimal assignment and a = a ˜ :
π E ( a , m ( a ) ) + π j ( a ˜ , m ( a ˜ ) ) π i ( a , m ( a ) ) π j ( a , m ( a ˜ ) ) u j ( a ˜ ) > 0
Since π j ( a ˜ , m ( a ˜ ) ) u j ( a ˜ ) = π E ( a ˜ , m ( a ˜ ) ) u E ( a ˜ ) , (A34) is the same as (A17). Thus, the same method applies in this case.
Next, I examine the deviation below:
a C N ( a , i , j ) C N ( a , i , j )
This will not be profitable if the inequality below holds:
u N ( a ) > π N ( a , i , j ) 2 π E ( a , i ) u E ( a )
Since u a N ( a ) > π a N ( a , i , j ) , (A35) is most difficult to satisfy at a = a ˜ . The condition then becomes identical to (A10), which has already been shown to hold.
The last deviation I consider is
i C N ( a , i , j ) C E ( a , i )
This not profitable when
π i ( a , i ) u i ( a ) > π E ( a , i ) u E ( a )
From the RHS of (A38), we can see that this condition becomes more difficult to satisfy as a increases; thus, it can be evaluated at a = a ˜ . From (A6), we know that (A38) evaluated at a = a ˜ will hold. □

Appendix A.4

Proof of Proposition 3.
If η ˜ 2 , then the potential contract patterns are C N E and C N . This result comes from the fact that even if all coalitions sign nonexclusive contracts, no agents will ever be left out of the market. This gives the agent at the bottom of the market all the bargaining power. Let this agent be denoted by a ̲ . The agent will receive an exclusive contract offer of π E ( a ̲ , p ^ ) , where p ^ is the lowest type principal potentially matched with a ̲ . The nonexclusive contract offer will be π i ( a ̲ , p ^ ) + π j ( a ̲ , p ^ ) = π N ( a ̲ , p ^ ) , where i and j represent two principals of type p ^ . In the current setting, the contract offers are as follows:
a ̲ 2 p ^ 2 2 and a ̲ 2 p ^ 2 1 + k
Clearly, the nonexclusive contract offer will be favored as long as k < 1 . □

Appendix A.5

Proof of Proposition 4.
The approach here is similar to the one used for Proposition 2. I examine the potential deviations and derive conditions that ensure these deviations will not be profitable. I start with the following inequality, which I call (A39):
π E ( a , m ( a ) ) u E ( a ) π i ( a , μ i ( a ) ) u i ( a )
At some marginal principal–agent pair ( a ˜ , i ˜ ) , this condition holds with equality. Plugging in the function forms, and solving for k gives
k k ^ ( a ˜ ) a ̲ 2 μ i ( a ̲ ) 2 + 2 a ̲ a ˜ s μ i ( s ) 2 d s a ˜ 2 m ( a ˜ ) 2
For a given k, all a a ˜ will match in an exclusive contract, and all a < a ˜ will match in nonexclusive contracts. This condition makes it possible to identify deviations across contracts by principals above or below the marginal principal, i ˜ .
The first deviation I consider involves a principal below the cutoff, j, deviating to a principal–agent pair above the cutoff, ( a , i ) , and entering a nonexclusive contract. This deviation will not be profitable if it satisfies the following inequality, which I call the Global Nondeviation Condition, or GNDC
π E ( a , i ) u E ( a ) π i ( a , i ) + π j ( a , j ) u E ( a ) π j ( a , j ) u i ( a )
where a is the agent type to which the principal of type j is matched. The GNDC simply states that the remaining surplus from the deviating coalition contract C N ( a , i , j ) when keeping a and j equally well off must be less than the surplus apportioned to i from the coalition contract C E ( a , i ) . The GNDC can be rewritten by plugging in the matching functions for each contract to give
π E ( a , m ( a ) ) u E ( a ) π i ( a , m ( a ) ) + π j ( a , μ j ( a ) ) u E ( a ) π j ( a , μ j ( a ) ) u i ( a )
Plugging in the functional forms and solving (A42) for k leads to the following inequality
k k ˜ ( a , a ) μ ( a ) 2 ( a 2 a 2 ) + a ̲ 2 μ ( a ̲ ) 2 + 2 a ̲ a s μ ( s ) 2 d s a 2 m ( a ) 2
The implicit assumption here is that μ i = μ j = μ . Since (A43) must hold for each a a ˜ and a a ˜ , the minimum k that will satisfy (A43) must be larger than the maximum value of k ˜ ( a , a ) for each argument. In order to simplify the expression, consider how k ˜ ( a , a ) changes as a changes
k ˜ ( a , a ) a = 1 D 2 μ ( a ) μ ( a ) ( a 2 a 2 )
where D is the denominator from (A43). Clearly, (A44) is positive whenever a > a , which implies that k ˜ ( a , a ˜ ) maximizes the function for any a . Therefore, as long as k k ˜ ( a , a ˜ ) for every a the GNDC will be satisfied for that value of k. There are two additional deviations that must be considered before being able to categorize the conditions that will ensure C N E is a stable matching. The first considers a similar deviation to the GNDC, where the only difference is that i deviates down to ( a , j ) . This condition can be simplified to the following expression
π E ( a , m ( a ) ) u E ( a ) π i ( a , m ( a ) ) u i ( a )
Differentiating the RHS of (A45) with respect to a, we obtain
π a i ( a , m ( a ) ) u a i ( a ) 0
which implies that for a given a the RHS will be largest when a = a ˜ . Thus, we can replace a in (A45) with a ˜ . Additionally, at the marginal coalition, (A45) is satisfied with equality. In order to see whether or not the inequality is satisfied for each a a ˜ , differentiate (A45) with respect to a with a = a ˜ to obtain
π a E ( a , m ( a ) ) + π i E ( a , m ( a ) ) m ( a ) u a E ( a ) π i i ( a ˜ , m ( a ) ) m ( a )
From the FOC of the matching stage, we know that the first and third terms on the LHS of (A46) are equal, so (A46) simplifies to
π i E ( a , m ( a ) ) m ( a ) π i i ( a ˜ , m ( a ) ) m ( a ) π i E ( a , m ( a ) ) π i i ( a ˜ , m ( a ) )
Clearly, (A47) is satisfied under the current function form. The next deviation to consider is i deviating from C N ( a , i , j ) to C E ( a , i ) . This will not be profitable if the following holds
π i ( a , μ ( a ) ) u i ( a ) π E ( a , μ ( a ) ) u E ( a )
Again, this will hold with equality at the marginal coalition, and from the FOC we know that the RHS differentiated with respect to a is negative, because μ ( a ) < m ( a ) . Therefore, (A48) will hold for each a a ˜ . Now that all the deviations across the threshold have been considered, it is possible to define a condition that ensures C N E is a stable matching. The condition will be a combination of the LNDC2 and the GNDC. The LNDC2 gives the coalition at which a switch will occur if it is stable. As long as the k inducing the switching point does not violate the GNDC for the coalitions above the marginal coalition, then the matching will be stable. Since k ^ ( a ˜ ) is fixed for all a , only k ˜ ( a , a ˜ ) changes as a changes. Thus, k ˜ ( a , a ˜ ) k ^ ( a ˜ ) must hold for each a .
Now, I find the conditions necessary to ensure the existence of the set K in general. First, I introduce the conditions to be satisfied in order for a given k to be an element of the set K.
If k ^ K , then the following hold:
  • a ˜ ( k ^ ) [ a ̲ , a ¯ ]
  • F ( a , a ˜ ) k ^ ( a ˜ ) k ˜ ( a , a ˜ ) 0 a [ a ˜ , a ¯ ]
Since the threshold function, k ^ ( a ˜ ) , is a bijective function on the domain of the type distribution of the agents, condition 1 will hold if such a set K exists.
I need to show when condition 2 will hold and that the set K is unique. I perform this in the following steps:
  • First, I show when condition 2 will hold.
  • Then, I express the requirements for condition 2 to hold as a restriction on the exclusive matching function.
  • Finally, I derive conditions for the set K to be unique.
  • Step One:
Note that k ^ = k ˜ at a = a ˜ , so in order for condition 2 to hold, it must be that k ˜ a | a = a ˜ < 0 . Additionally, when the derivative is negative at the marginal coalition, it must be that it does not become positive as a increases and leads to k ˜ crossing k ^ from below. Thus, if the derivative is nonincreasing in a when it is negative at the marginal coalition, then k ˜ and k ^ will never cross. The derivative of k ˜ with respect to a after some simplification is
k ˜ a = 2 a 3 m ( a ) 3 m ( a ) + a m ( a ) a ˜ 2 μ ( a ˜ ) 2 C 0 a 3 μ ( a ˜ ) 2 m ( a ) < 0
Rearranging and canceling gives me the following inequality:
a 3 m ( a ) μ ( a ˜ ) 2 m ( a ) + a m ( a ) > a ˜ 2 μ ( a ˜ ) 2 C 0
where C 0 = a ̲ 2 μ ( a ̲ ) 2 + 2 a ̲ a ˜ s μ ( s , a ˜ ) 2 d s . If the LHS of (A50) is increasing in a faster than the RHS, then this inequality will hold for all a . Since the RHS is not a function of a , The LHS just needs to be increasing in a . The derivative of the LHS with respect to a after simplification is
a ( L H S ) = a 2 m ( a ) 3 m ( a ) + a m ( a ) + a 2 m ( a ) > 0
The expression in (A51) is necessarily positive as long as the exclusive matching function is nonconcave. If it is concave, then the following condition must hold:
| m ( a ) | < 3 m ( a ) + a m ( a ) a 2
When (A51) holds, k ˜ will be nonincreasing in a when the derivative is negative at a = a ˜ , if k ˜ a | a = a ˜ < 0 . This implies that the stability condition will be satisfied for a given a ˜ . Note that the sign of the derivative will be positive or negative depending on the value of a ˜ . The values of a ˜ for which the derivative is negative correspond to the values of k ^ that satisfy the stability condition.
  • Step One:
For a stability condition in terms of the exclusive matching function, (A49) can be rearranged to give
m ( a ) > m ( a ) a ˜ 2 μ ( a ˜ ) 2 C 0 a μ ( a ˜ ) 2 ( a ˜ 2 a 2 ) C 0
By Grönwall’s Lemma, m ( a ) is bounded below by the solution to the RHS of (A53), which I call m ¯ ( a ) . Thus, the ODE for the lower bound of the matching function is
m ¯ ( a ) = m ¯ ( a ) a ˜ 2 μ ( a ˜ ) 2 C 0 a μ ( a ˜ ) 2 ( a ˜ 2 a 2 ) C 0
The solution to (A54) is
m ¯ ( a ) = e x p a ˜ 2 μ ( a ˜ ) 2 C 0 2 l o g ( a ) + l o g ( μ ( a ˜ ) 2 ( a 2 a ˜ 2 ) + C 0 ) 2 a ˜ 2 μ ( a ˜ ) 2 C 0 C 1
Since the sign of the derivative evaluated at a = a ˜ determines whether the matching is stable, the following condition will give a stable matching with at switching point at a ˜ :
m ( a ) | a = a ˜ > m ¯ ( a ) | a = a ˜
The second condition is satisfied when (A52) and (A56) are both satisfied. When both are satisfied, K is necessarily nonempty, and the stable matching is C N E .
  • Step Three (Interval Uniqueness):
Since (A56) is for a single a ˜ , it must be shown that there is an interval for which it is satisfied and that this interval is unique.
First, consider the when a ̲ = a ˜ , which is the lowest possible lower bound for the interval. If this is plugged into the condition on the derivative of the matching function
m ¯ ( a ) | a = a ˜ = m ¯ ( a ˜ ) a ˜ a ˜ 2 μ ( a ˜ ) 2 C 0 C 0 = m ¯ ( a ˜ ) a ˜ a ˜ 2 μ ( a ˜ ) 2 a ˜ 2 μ ( a ˜ ) 2 a ˜ 2 μ ( a ˜ ) 2 = 0
Since the slope of the matching function, m ( a ) is always positive under PAM, this condition is satisfied at the lower bound. Therefore, the lower bound of the interval is the same as the lower bound of the distribution.
Now, the uniqueness of the interval must be determined. If the interval is unique, then the upper bound of the interval can be found by setting k ˜ a | a = a ˜ = a ˜ u = 0 , and solving for a ˜ u . It is then possible to find the value of C 1 by using (A54) and (A55). This is performed by evaluating (A54) and (A55) at the upper bound, a ˜ u , and plugging (A55) into (A54). It is then simple to solve for the value of C 1 . This makes it possible to show that (A56) is satisfied. This will only work if the interval is unique.
Since the sign of k ˜ a will be positive when the stability condition is violated, it must be that the sign is positive for every a ˜ > a ˜ u in order for the interval to be unique. This will be true if k ˜ a is nondecreasing in a ˜ . Thus, taking the derivative with respect to a ˜ gives
2 k ˜ a a ˜ = 4 a 3 m ( a ) 3 b ( a ) a ˜ 2 μ ( a ˜ ) μ a ˜ ( a ˜ ) 2 a ̲ a ˜ s μ ( s , a ˜ ) μ a ˜ ( s , a ˜ ) d s a 3 m ( a ) μ ( a ˜ ) μ a ˜ ( a ˜ )
where b ( a ) = m ( a ) + a m ( a ) . Again, (A58) must be evaluated at the marginal coalition, which gives the following after some simplification:
2 k ˜ a a ˜ | a = a ˜ = 4 a 3 m ( a ) 3 a ˜ 2 m ( a ˜ ) μ ( a ˜ ) μ a ˜ ( a ˜ ) 2 b ( a ˜ ) a ̲ a ˜ s μ ( s , a ˜ ) μ a ˜ ( s , a ˜ ) d s > 0
The expression in (A59) is always positive due to the sign of μ a ˜ ( a ˜ ) and μ a ˜ ( s , a ˜ ) . The first term is always positive since it is the slope of the nonexclusive matching function at the marginal coalition. The second term is negative, because the principal type matched with a given agent is decreasing as the type of the marginal coalition increases. Therefore, (A59) is always positive when a ˜ > a ˜ u , so the interval of stable marginal coalitions is unique. □

Appendix A.6

Proof of Claim 1.
The utility functions for each principal are as follows:
u i ( a ) = u 0 i + a ̲ a s μ i ( s ) 2 1 + k d s
u j ( a ) = u 0 j + a ̲ a s μ j ( s ) 2 1 + k d s
The constants of integration must be such that u 0 i + u 0 j = u ¯ ( a ̲ ) , which simply states that they must be equal to the outside option for the lowest type of agent. The outside option of the lowest type of agent in a nonexclusive coalition will depend on the contract pattern that obtains in the market.
Just as in the original model, there are four possible contract types that depend on the relative measure of principals and agents. When η ˜ 1 , the two potential contract patterns are C E N and C E . When η ˜ 2 the two potential contract patterns are C N E and C N .
I start with the second case, since it is simpler. In this case, there will be principals left out of the market. The lowest type principals will offer the agent all of the surplus they generate when matched under a nonexclusive contract, since the outside option for the agent is a nonexclusive contract with the two highest type principals left out of the market. This means that the principals will offer
u 0 i = π i ( a ̲ , μ ( a ̲ ) ) and u 0 j = π j ( a ̲ , μ ( a ̲ ) )
Therefore, the constants of integration are easily determined for this case.
Now consider the case where η ˜ 1 . In this setting, the lowest principals in a nonexclusive contract must offer the agent a total utility equal to the exclusive utility the agent could receive if the agent rejected the nonexclusive contract. Thus, the constants of integration must be such that
u 0 i + u 0 j = u E ( a ˜ )
At first glance, it seems as though the constants of integration will not be determined, however, that is not true. Recall the individual rationality constraints for each principal, these two constraints can be used to pin down the constants of integration. First, consider the constraint for principal i for the marginal coalition
π i ( a ˜ , μ ( a ˜ ) ) u 0 i a ˜ a ˜ π s i ( s , μ ( s ) ) d s = π i ( a ˜ , μ ( a ˜ ) ) u 0 i π E ( a ˜ , m ( a ˜ ) ) u E ( a ˜ )
Equation (A64) can be used to solve for an upper bound on u 0 i
u 0 i π i ( a ˜ , μ ( a ˜ ) ) π E ( a ˜ , m ( a ˜ ) ) + u E ( a ˜ ) = u ¯ 0 i
Similarly, the upper bound for principal j is
u 0 j π j ( a ˜ , μ ( a ˜ ) ) π E ( a ˜ , m ( a ˜ ) ) + u E ( a ˜ ) = u ¯ 0 j
Now consider a lower bound on u 0 i . Principal i will never pay more than enough to ensure the agent prefers the nonexclusive contract. The smallest this value will ever be is when principal j pays u ¯ 0 j . Thus, the lower bounds for each agent are
u ̲ 0 i = u E ( a ˜ ) u ¯ 0 j = π E ( a ˜ , m ( a ˜ ) ) π j ( a ˜ , μ ( a ˜ ) )
and
u ̲ 0 j = u E ( a ˜ ) u ¯ 0 i = π E ( a ˜ , m ( a ˜ ) ) π i ( a ˜ , μ ( a ˜ ) )
This gives the following utility intervals for each principal
u 0 i [ u ̲ 0 i , u ¯ 0 i ] and u 0 j [ u ̲ 0 j , u ¯ 0 j ]
The utilities will be pinned down when this interval collapses to a single point, which can be found be when the difference in the bounds is equal to zero. Consider this point for principal i
u ¯ 0 i u ̲ 0 i = π i ( a ˜ , μ ( a ˜ ) ) π E ( a ˜ , m ( a ˜ ) ) + u E ( a ˜ ) π E ( a ˜ , m ( a ˜ ) ) π j ( a ˜ , μ ( a ˜ ) ) = π N ( a ˜ , μ ( a ˜ ) ) 2 π E ( a ˜ , m ( a ˜ ) ) + u E ( a ˜ ) = 0
Notice that the last equality is the same as the condition for the nonexclusive contract to be preferred at the marginal coalition. Thus, the utility can be pinned down using the expression for the upper bound of the utility interval. The utilities for each principal are as follows:
u 0 i = π i ( a ˜ , μ ( a ˜ ) ) π E ( a ˜ , m ( a ˜ ) ) + u E ( a ˜ )
u 0 j = π j ( a ˜ , μ ( a ˜ ) ) π E ( a ˜ , m ( a ˜ ) ) + u E ( a ˜ )
Therefore, the constants of integration are determined in this case, which means that they are always determined no matter which type of contract obtains in the market. □

Appendix B. Numerical Example

η ˜ 2

Here, I provide a numerical example to give some intuition. Let p and a represent the principal and agent types, respectively, where a , p U [ 2 , 3 ] . The distribution for the agents is H ( a ) = a 2 , and the distribution for the principals is G ( p ) = p 2 . Additionally, let the density of principals be twice that of the agents. The exclusive matching function in this case is m ( a ) = G 1 1 + H ( a ) 2 = a + 3 2 . The nonexclusive matching function is μ ( a , a ˜ ) = G 1 H ( a ) H ( a ˜ ) 1 2 = a a ˜ 3 2 .
The threshold function in this example is
k ^ ( a ˜ ) = a ̲ 2 μ ( a ̲ , a ˜ ) 2 + 2 a ̲ a ˜ s μ ( s , a ˜ ) 2 d s a ˜ 2 m ( a ˜ ) 2 = ( 7 a ˜ ) 2 + 2 2 a ˜ s s a ˜ 3 2 2 d s a ˜ 2 a ˜ + 2 2
I need to show that the stability condition on the matching function holds for this example. When evaluated at the upper bound of the stable interval, a ˜ u , the inequality in (A53) will become an equality. This can then be used to solve for the upper bound, which in this case is a ˜ u = 2.64986 . I can now find the constant C 1 from (A55) by plugging a ˜ u into the stability condition and setting the two functions equal to each other like below:
m ( a ) | a = a ˜ = a ˜ u = m ¯ ( a ) | a = a ˜ = a ˜ u
In the current example, this gives
1 2 = C 1 C 0 1 2 a ˜ u 2 a ˜ u 2 μ ( a ˜ u ) 2 C 0 1 C 1 = a ˜ u 2 C 0 1 2 2 a ˜ u 2 μ ( a ˜ u ) 2 C 0 = 1.21203
If this is plugged back into the stability condition, it is possible to plot both functions to show that the condition is satisfied for a unique interval [ a ̲ , a ˜ u ] , which is [ 2 , 2.64986 ] . In Figure A1 below, the blue and red lines correspond to the LHS and RHS of (A56), respectively.
Figure A2 shows the threshold function where the set K is the interval [ k ^ ( a ˜ u ) , 1 ] . The dashed red portion of the threshold function indicates ( k , a ˜ ) pairs that do not induce a stable matching.
Figure A1. Stability Condition.
Figure A1. Stability Condition.
Games 15 00011 g0a1
Figure A2. Threshold Function.
Figure A2. Threshold Function.
Games 15 00011 g0a2

Appendix C. General Matching Functions

Appendix C.1. Matching Functions

Let the measure of principals and agents be η p and η a , respectively. The ratio of the measures is then η p η a = η ˜ . Also, let G ( p ) and H ( a ) denote the distributions for principals and agents, respectively.
C E N : The measure preserving property in each case is
μ ( a ) μ ( a ¯ ) η ˜ 2 g ( s ) d s = a a ¯ h ( s ) d s a a ˜
m ( a ^ ) m ( a ) η ˜ g ( s ) d s = a ^ a h ( s ) d s a < a ˜
Equations (A76) and (A77) give the following matching functions:
μ ( a ) = G 1 1 2 ( 1 H ( a ) ) η ˜ and m ( a ) = G 1 H ( a ) + H ( a ˜ ) 2 + η ˜ η ˜
a ^ = H 1 2 η ˜ H ( a ˜ )
C N E : The measure preserving property in each case is
m ( a ) m ( a ¯ ) η ˜ g ( s ) d s = a a ¯ h ( s ) d s a a ˜
μ ( a ̲ ) μ ( a ) η ˜ 2 g ( s ) d s = a ̲ a h ( s ) d s a < a ˜
Equations (A79) and (A80) give the following matching functions
μ ( a ) = G 1 1 + 2 H ( a ) 1 H ( a ˜ ) η ˜ and m ( a ) = G 1 1 1 H ( a ) η ˜

Appendix C.2. Contract Patterns

C N E : In this case, principals will be left out of the market. In order for that to happen for a given measure of each contract the following inequality must hold
η p > 2 η ( C N ) η a + η ( C E ) η a η ˜ > 2 η ( C N ) + η ( C E ) η ˜ > 2 H ( a ˜ ) + 1 H ( a ˜ ) = 1 + H ( a ˜ )
In (A82), η ( C x ) represents the measure of agents signing contract x. For a given η ˜ , there will be a marginal agent, a ˜ ( η ˜ ) , where (A82) holds with equality. For all of the a ˜ > a ˜ ( η ˜ ) , C N E cannot be obtained as a contract pattern. This marginal agent can be written as a ˜ ( η ˜ ) = H 1 η ˜ 1 .
C E N : In this case, agents will be left out of the market. In order for that to happen for a given measure of each contract the following inequality must hold:
η p < 2 η ( C N ) η a + η ( C E ) η a + η ( ) η a η ˜ < 2 η ( C N ) + η ( C E ) + η ( ) η ˜ < 2 ( 1 H ( a ˜ ) ) + H ( a ˜ ) = 2 H ( a ˜ )
where η ( ) is the measure of agents that are unmatched. For a given η ˜ , there is a marginal agent, a ˜ u ( η ˜ ) , such that (A83) holds with equality. For all of the a ˜ > a ˜ u ( η ˜ ) , C E N cannot be obtained as a contract pattern. This marginal agent can be written as a ˜ u ( η ˜ ) = H 1 2 η ˜ .
There are two possible cases regarding these marginal agents. They are k ^ ( a ˜ u ) < k ^ ( a ˜ ) and k ^ ( a ˜ u ) > k ^ ( a ˜ ) . Figure A3 depicts the first case, in which there is no overlap of the contract patterns for a given k. Instead there is a region, k ( k ^ ( a ˜ u ) , k ^ ( a ˜ ) ) , where the contract pattern is indeterminate.
In Figure A4, there is a region, k ( k ^ ( a ˜ ) , k ^ ( a ˜ u ) ) , where both contract patterns are possible.
We must determine whether or not this case can arise, and if so, the conditions necessary to guarantee it will obtain. First, this requires determining k ^ ( a ˜ ) and k ^ ( a ˜ u ) .
k ^ N a ˜ u ( η ˜ ) , η ˜ = a ^ ( a ˜ u ( η ˜ ) , η ˜ ) a ˜ u ( η ˜ ) s m s , a ˜ u ( η ˜ ) , η ˜ 2 d s a ˜ u ( η ˜ ) 2 m a ˜ u ( η ˜ ) , η ˜ 2 a ^ ( a ˜ u ( η ˜ ) , η ˜ ) a ˜ u ( η ˜ ) s m s , a ˜ u ( η ˜ ) , η ˜ 2 d s
Equation (A84) can be simplified since a ^ ( a ˜ u ( η ˜ ) , η ˜ ) is just a ̲ , so (A84) becomes
k ^ N a ˜ u ( η ˜ ) , η ˜ = a ̲ a ˜ u ( η ˜ ) s m s , a ˜ u ( η ˜ ) , η ˜ 2 d s a ˜ u ( η ˜ ) 2 m a ˜ u ( η ˜ ) , η ˜ 2 a ̲ a ˜ u ( η ˜ ) s m s , a ˜ u ( η ˜ ) , η ˜ 2 d s
Figure A3. Indeterminacy.
Figure A3. Indeterminacy.
Games 15 00011 g0a3
Figure A4. Multiplicity.
Figure A4. Multiplicity.
Games 15 00011 g0a4
The other threshold function is
k ^ E a ˜ ( η ˜ ) , η ˜ = a ̲ 2 μ a ̲ , a ˜ ( η ˜ ) , η ˜ 2 + a ̲ a ˜ ( η ˜ ) s μ s , a ˜ ( η ˜ ) , η ˜ 2 d s a ˜ ( η ˜ ) 2 μ a ˜ ( η ˜ ) , η ˜ 2 a ̲ 2 μ a ̲ , a ˜ ( η ˜ ) , η ˜ 2 a ̲ a ˜ ( η ˜ ) s μ s , a ˜ ( η ˜ ) , η ˜ 2 d s
If the case where obtaining multiple equilibria is possible, then it must be that (A85) is greater than (A86) for some η ˜ . Setting (A85) greater than (A86) and simplifying we obtain
a ˜ ( η ˜ ) 2 μ a ˜ ( η ˜ ) , η ˜ 2 a ̲ a ˜ u ( η ˜ ) s m s , a ˜ u ( η ˜ ) , η ˜ 2 d s > a ˜ u ( η ˜ ) 2 m a ˜ u ( η ˜ ) , η ˜ 2 a ̲ 2 μ a ̲ , a ˜ ( η ˜ ) , η ˜ 2 + a ̲ a ˜ ( η ˜ ) s μ s , a ˜ ( η ˜ ) , η ˜ 2 d s
Plugging a ˜ ( η ˜ ) and a ˜ u ( η ˜ ) into the matching functions gives
m ( a , η ˜ ) = G 1 H ( a ) η ˜ and μ ( a , η ˜ ) = G 1 2 H ( a ) η ˜
At the respective marginal coalitions
m ( a ˜ u ( η ˜ ) , η ˜ ) = m ( η ˜ ) = G 1 2 η ˜ η ˜ and μ ( a ˜ ( η ˜ ) , η ˜ ) = μ ( η ˜ ) = G 1 2 ( η ˜ 1 ) η ˜
m ( η ˜ ) = 2 η ˜ 2 g G 1 2 η ˜ η ˜ < 0 and μ ( η ˜ ) = 2 η ˜ 2 g G 1 2 ( η ˜ 1 ) η ˜ > 0
m η ˜ ( s , η ˜ ) = H ( s ) η ˜ 2 g G 1 H ( s ) η ˜ < 0 and μ η ˜ ( s , η ˜ ) = 2 H ( s ) η ˜ 2 g G 1 H ( s ) η ˜ < 0
Plugging the functions from (A89A91), into (A87) gives the following inequality
[ H 1 η ˜ 1 G 1 2 ( η ˜ 1 ) η ˜ H 1 2 η ˜ G 1 2 η ˜ η ˜ ] 2 > a ̲ 2 p ̲ 2 + a ̲ H 1 η ˜ 1 s G 1 2 H ( s ) η ˜ 2 d s a ̲ H 1 2 η ˜ s G 1 H ( s ) η ˜ 2 d s
Equation (A92) can also be written as
a ˜ ( η ˜ ) 2 μ η ˜ 2 a ̲ a ˜ u ( η ˜ ) s m s , η ˜ 2 d s > a ˜ u ( η ˜ ) 2 m η ˜ 2 a ̲ 2 p ̲ 2 + a ̲ a ˜ ( η ˜ ) s μ s , η ˜ 2 d s
Notice that (A93) is a function of η ˜ and the lower bounds for the distributions of principal and agents.

Notes

1
A contract pattern is monotonic if there is no more than one point in the type distributions of the principals and agents where the type of contract signed changes.
2
Here, I use the subscripts i and j to distinguish between two principals of the same productivity type. As will become clear after the analysis of the contracting problem, I only need to examine a principal-agent pair, because principal j’s type does not enter into the problem for principal i.
3
One could imagine a cost function of the form c N ( e i , e j ) = e i 2 2 + e j 2 2 + k e i e j , where effort exerted for each principal is impacted by effort exerted for the other. The effort externality causes stability issues in the matching market when there are a continuum of types.
4
In Section 3.3 I will solve the contracting problem for a principal-agent pair.
5
Initial work on a model with moral hazard found that the result regarding the monotonicity of contract patterns was not affected by incentive contracts alone. In order to have nonmonotonicity, the model must have a limited liability constraint that binds for some principal-agent pairs and not for others.
6
I will discuss the bargaining frontier in greater detail in Section 4.
7
I leave an in depth discussion of the utility functions for Section 5.
8
This is just the sum of the utilities received from the principals entering nonexclusive contracts with the agent, so that u N = u i , N + u j , N .
9
Definitions 3 and 4 are borrowed from [11], and altered to fit my model.
10
In their setting with colleges and students, a college’s preferences over a set of students is responsive to its preferences over individual students, if there are two matchings that differ only by two students, and the college prefers the set containing the more preferred student. Consider a preference ranking for an agent in my model, where p 1 p 2 p 3 . The agent’s preferences are responsive if { p 1 , p 2 } { p 1 , p 3 } .
11
It is important to note that in the model q a = 2 , because no more than two principals can match with an agent.
12
Recall, the total surplus generated by a principal-agent coalition under a nonexclusive contract is just the sum of the surpluses generated by the two principals matched with a given agent. For example, π N ( a ˜ , p ˜ ; k ) = i π i , N ( a ˜ , p ˜ i ; k ) .
13
Since it is a local condition, satisfying the (26) does not ensure the equilibrium is pairwise stable. Thus I say I evaluate at a proposed equilibrium assignment M and not a stable equilibrium assignment M * .
14
If we do not make this change, then differentiating both sides of the inequality with respect to agent productivity type incorrectly readjusts the relevant principal type in the nonexclusive surplus function.
15
Note that these are potential contracts, and they may or may not be stable.
16
Note that these are potential contracts, and they may or may not be stable.
17
This is a slight abuse of notation, since it is technically a ^ ( a ˜ ( k ) ) , but a ˜ is suppressed for exposition.
18
The underlying assumption is that the increased complexity does not lead to increased revenue. This could be due to all firms adopting a new innovation, and an intensely competitive market structure preventing firms from gaining an advantage.
19
The matching market can be thought of as a short-term problem that is solved each period. Eventually it may be optimal for the firm to build more plants, which would change the assignment problem.

References

  1. Marvel, H.P. Exclusive Dealing. J. Law Econ. 1982, 25, 64–103. [Google Scholar] [CrossRef]
  2. Sass, T.R.; Gisser, M. Agency Cost, Firm Size, and Exclusive Dealing. J. Law Econ. 1989, 32, 381–400. [Google Scholar] [CrossRef]
  3. von Lilienfeld-Toal, U.; Mookherjee, D. A General Equilibrium Analysis of Personal Bankruptcy Law. Economica 2016, 83, 31–58. [Google Scholar] [CrossRef]
  4. Parlour, C.A.; Rajan, U. Competition in Loan Contracts. Am. Econ. Rev. 2001, 91, 1311–1328. [Google Scholar] [CrossRef]
  5. Matouschek, N.; Ramezzana, P. The Role Of Exclusive Contracts In Facilitating Market Transactions. J. Ind. Econ. 2007, 55, 347–371. [Google Scholar] [CrossRef]
  6. Sass, T.R. The competitive effects of exclusive dealing: Evidence from the U.S. beer industry. Int. J. Ind. Organ. 2005, 23, 203–225. [Google Scholar] [CrossRef]
  7. Besley, T.; Ghatak, M. Competition and Incentives with Motivated Agents. Am. Econ. Rev. 2005, 95, 616–636. [Google Scholar] [CrossRef]
  8. Dam, K.; Pérez-Castrillo, D. The Principal-Agent Matching Market. Front. Theor. Econ. 2006, 2, 20021001. [Google Scholar] [CrossRef]
  9. Serfes, K. Endogenous Matching in a Market with Heterogeneous Principals and Agents. Int. J. Game Theory 2008, 36, 587–619. [Google Scholar] [CrossRef]
  10. Dam, K.; Ripperger-Suhler, D.; Serfes, K. Two-sided productivity heterogeneity, firm boundaries, and assortative matching. J. Econ. Manag. Strategy, 2023; in press. [Google Scholar]
  11. Alonso-Paulí, E.; Pérez-Castrillo, D. Codes of Best Practice in Competitive Markets for Managers. Econ. Theory 2012, 49, 113–141. [Google Scholar] [CrossRef]
  12. Macho-Stadler, I.; Pérez-Castrillo, D.; Porteiro, N. Coexistence of Long-term and Short-term Contracts. Games Econ. Behav. 2014, 86, 145–164. [Google Scholar] [CrossRef]
  13. Hatfield, J.; Milgrom, P. Matching with Contracts. Am. Econ. Rev. 2005, 95, 913–935. [Google Scholar] [CrossRef]
  14. Kelso, A.S.; Crawford, V.P. Job Matching, Coalition Formation, and Gross Substitutes. Econometrica 1982, 50, 1483–1504. [Google Scholar] [CrossRef]
  15. Hatfield, J.W.; Kojima, F. Substitutes and Stability for Matching with Contracts. J. Econ. Theory 2010, 145, 1704–1723. [Google Scholar] [CrossRef]
  16. Azevedo, E.M. Imperfect Competition in Two-Sided Matching Markets. Games Econ. Behav. 2014, 83, 207–223. [Google Scholar] [CrossRef]
  17. Eeckhout, J.; Kircher, P. Assortative Matching with Large Firms. Econometrica 2018, 86, 85–132. [Google Scholar] [CrossRef]
  18. Maier, N.; Ottaviani, M. Information Sharing in Common Agency: When is Transparency Good? J. Eur. Econ. Assoc. 2009, 7, 162–187. [Google Scholar] [CrossRef]
  19. Holmstrom, B.; Milgrom, P. Common Agency and Exclusive Dealing; Working Paper; Yale University, School of Management: New Haven, CT, USA, 1988. [Google Scholar]
  20. Holmstrom, B.; Milgrom, P. Multitask Principal-Agent Analyses: Incentive Contracts, Asset Ownership, and Job Design. J. Law Econ. Organ. 1991, 7, 24–52. [Google Scholar] [CrossRef]
  21. Dutta, B.; Masso, J. Stability of Matchings When Individuals Have Preferences over Colleagues. J. Econ. Theory 1997, 75, 464–475. [Google Scholar] [CrossRef]
  22. Roth, A.E.; Sotomayor, M. Two-Sided Matching: A Study in Game-Theoretic Modeling and Analysis; Wiley: Hoboken, NJ, USA, 1990. [Google Scholar]
Figure 1. More Agents Than Principals. (a) Threshold Function. (b) Contract Pattern.
Figure 1. More Agents Than Principals. (a) Threshold Function. (b) Contract Pattern.
Games 15 00011 g001
Figure 2. More Principals Than Agents. (a) Threshold Function. (b) Contract Pattern.
Figure 2. More Principals Than Agents. (a) Threshold Function. (b) Contract Pattern.
Games 15 00011 g002
Figure 3. Utility Functions ( η ˜ 1 ).
Figure 3. Utility Functions ( η ˜ 1 ).
Games 15 00011 g003
Figure 4. Utility Functions ( η ˜ 2 ).
Figure 4. Utility Functions ( η ˜ 2 ).
Games 15 00011 g004
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Ripperger-Suhler, D. Matching with Nonexclusive Contracts. Games 2024, 15, 11. https://doi.org/10.3390/g15020011

AMA Style

Ripperger-Suhler D. Matching with Nonexclusive Contracts. Games. 2024; 15(2):11. https://doi.org/10.3390/g15020011

Chicago/Turabian Style

Ripperger-Suhler, Daniel. 2024. "Matching with Nonexclusive Contracts" Games 15, no. 2: 11. https://doi.org/10.3390/g15020011

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop