Qi, Zhu
A Pitfall of Shapley Values in Collaborative Federated Learning
Mechanism for Decision-aware Collaborative Federated Learning: A Pitfall of Shapley Values
Meng Qi
\AFFSC Johnson College of Business, Cornell University, Ithaca, NY, 14850,
\EMAIL[email protected]
\AUTHORMingxi Zhu
\AFFScheller College of Business, Georgia Institute of Technology
\EMAIL[email protected]
This paper investigates mechanism design for decision-aware collaboration via federated learning (FL) platforms. Our framework consists of a digital platform and multiple decision-aware agents, each endowed with proprietary data sets. The platform offers an infrastructure that enables access to the proprietary data, creates incentives for collaborative learning aimed at operational decision-making, and conducts federated learning (FL) to avoid direct raw data sharing. The computation and communication efficiency of the FL process is inherently influenced by the agent participation equilibrium induced by the mechanism. Therefore, assessing the collaborative learning system’s efficiency involves two critical factors: the surplus created by coalition formation and the communication costs incurred across the coalition during FL. To evaluate the system efficiency under the intricate interplay between mechanism design, agent participation, operational decision-making, and the performance of FL algorithms, we introduce a multi-action collaborative federated learning (MCFL) framework for decision-aware agents. Under the MCFL framework, we further analyze the equilibrium for the renowned Shapley value based mechanisms. Specifically, we examine the issue of false-name manipulation, a form of dishonest behavior where participating agents create duplicate fake identities to split their original data among these identities. By solving the agent participation decisions in equilibrium, we demonstrate that, while Shapley value effectively maximizes coalition-generated surplus by encouraging full participation, it inadvertently promotes false-name manipulation. This further significantly increases the communication costs when the platform conducts federated learning across the coalition members. Thus, we highlight a significant pitfall of Shapley value based mechanisms, which implicitly incentivizes data splitting and identity duplication, ultimately impairing the overall efficiency in federated learning systems.
collaborative federated learning, mechanism design, operational analytics, optimization algorithms
1 Introduction
Digitalization has brought revolutionary changes across traditional sectors such as retail, finance, and healthcare, allowing companies to offer services via online platforms and thus highlighting the importance of data-driven approaches. Moreover, the advances in large-scale machine learning models underscore the necessity for collaboration in develo** machine learning methods, where individuals and organizations unite, sharing their data for mutual advancement.
Our framework models the collaborative learning system consisting of a platform and multiple decision-aware agents. The platform offers an infrastructure that enables access to each agent’s proprietary data set and coordinates the collaboration by incentivizing agent participation in collaborative learning through mechanism design. There are two main types of collaborative learning approaches: centralized learning, which involves training on a centralized machine; and federated learning, which is a decentralized approach with local training. Centralized learning involves raw data sharing, which is often less preferred due to privacy concerns (AbdulRahman et al. 2020, Choudhury 2023). In contrast, federated learning (FL) does not require any of the participants to reveal their raw data to the platform, safeguarding the privacy of local agents’ data (McMahan et al. 2017). Therefore, FL techniques become prevailing for the platform to address privacy and safety concerns arising from the agents.
Normally, the decision-aware agents have their specific operational objectives when participating in collaborative federated learning. For example, the primary goal of sellers in e-commerce platforms is to make informed data-driven pricing or inventory decisions, rather than concentrating on purely statistical predictive objectives, as often assumed in prior research (McMahan et al. 2017). Moreover, the decision-aware agents could choose how to participate in collaborative learning by partially contributing a subset of their datasets or splitting their datasets to participate under fake identities. This type of dishonest conduct is known as false-name manipulation (Conitzer and Yokoo 2010). Hence, the platform must carefully design a mechanism to encourage full participation among the decision-aware agents with heterogeneous data volumes, while making the mechanism more robust to false-name manipulation.
It is worth emphasizing that, there is an intricate interplay between mechanism design, agent participation, operational decision-making, and the performance of FL algorithms, as described in the following questions: 1) how is the allocation mechanism designed based on performance guarantees of learning algorithms; 2) how a mechanism influences the agent participation equilibrium; and 3) how the computation and communication of the FL learning algorithm is influenced by the equilibrium. This complex interaction among these factors has been overlooked in existing studies, while prior research focusing on encouraging local agent participation often neglects its impact on algorithm performance, and studies aimed at improving FL algorithm efficiency and reducing communication costs tend to disregard the crucial role of mechanism design in improving algorithm performance.
1.1 A Motivating Example
One use of this scenario is the customer-to-manufacturer (C2M) initiative. For online e-commerce platforms such as Amazon, FlipKart, Alibaba, and JD.com, products and services are provided by sellers/manufacturers to customers over such online platforms. These platforms’ digital infrastructure is the key to accessing a great amount of granular and precise data (e.g. search and clicks of products, customer reviews and ratings) compared to traditional brick-and-mortar retailers (Qi et al. 2020). There is a clear incentive to leverage this data further up the supply chain, enabling sellers and manufacturers to make more informed decisions in planning and operations. In practice, platforms like Walmart have begun sharing these datasets with their sellers (Masters 2019, Arora and Jain 2023).
The C2M paradigm aims to build digital connections between end consumers and upstream manufacturers, often through online retailing platforms, as has been witnessed at JD.com, Alibaba, and Pinduoduo (PDD) (Mak and Max Shen 2021). Therefore, many operational decisions, such as pricing, product design, and inventory management, are indispensable to the resources provided by these digital platforms and cannot be effectively managed by sellers or manufacturers alone. Furthermore, by aggregating the information potentially obtained from their individual data, sellers/manufacturers will significantly benefit from having a more refined and accurate data-driven decision. To assist sellers, the platform provides collaboration opportunities for them to form a coalition to aggregate their data for more informed decision-making (Masters 2019). Such a collaboration is essential for harnessing the full potential of digital transformation.
1.2 Outline and Main Contributions
In this part, we present an outline of our paper and summarize our main methodlogical contributions.
In Section 3, we introduce a multi-action collaborative federated learning framework (MCFL) with decision-aware agents. The MCFL framework models the collaborative federated learning system by characterizing the mechanism designed by the platform, agent participation cooperative game, operational decision-making, and the performance of FL algorithms conducted within the formed coalition. This fills the gap in modeling all these key factors and investigating the complex interplay between them.
In Section 4 we investigate the surplus allocation mechanism. We specifically investigate the widely recognized Shapley value-based mechanism, a prominent method in multi-agent collaborative learning (Shapley et al. 1953). We further analyze the agent participation equilibrium considering the possible dishonest behavior - false-name manipulation. By solving the agent participation decisions in equilibrium, we demonstrate that the Shapley value is not robust against preventing false-name manipulation, which further impacts the performance of MCFL.
In Section 5, we analyze the system efficiency, which consists of two critical factors: the surplus generated through collaborative federated learning and the communication costs incurred across the coalition while performing FL algorithms. We focus on the Federated Averaging algorithm (FedAvg) where the agents perform local training and the platform periodically collects interim results from each agent and synchronizes all agents. The communication cost, which occurs during the synchronization, is affected by the number of agent identities within the coalition. We demonstrate that, while Shapley value effectively maximizes coalition-generated surplus by encouraging full participation, it inadvertently promotes false-name manipulation. As a result, agents tend to participate with data split among fake identities, which further significantly increases the communication costs for performing FL across agents. This pitfall of Shaply value based mechanism ultimately reduces the system efficiency under the MCFL framework.
Thus, we highlight a significant pitfall of Shapley value based mechanisms, which implicitly incentivizes data splitting and identity duplication, ultimately impairing the overall efficiency of the collaborative federated learning system.
2 Literature Review
Our paper is closely related to collaborations involving multiple agents. We model such collaboration as a cooperative game, which studies the coalitions formed by players and their cooperative actions Branzei et al. (2008). A well-known allocation rule within this framework is based on the Shapley value (Shapley et al. 1953), which allocates the payoffs to players based on their marginal contribution to each coalition she is a member of, ensuring a fair and efficient distribution. Although the Shapley value initially considers only binary participation actions of agents, Hsiao and Raghavan (1993) extends the Shapley value to scenarios where agents have multiple actions. Building on these works, we present a multi-action collaborative federated learning (MCFL) framework and summarize the related literature below.
Shapley value in operations management.
Shapley value is extensively used to incentivize collaboration among decision-aware agents with specific operational objectives. This topic is heavily studied in the field of operations management, where agents typically operate within distinct business contexts. Specifically, in supply chain management, Leng and Parlar (2009) explores the Shapley value for distributing surplus generated from shared demand information among a manufacturer, a distributor, and a retailer. Kemahlıoğlu-Ziya and Bartholdi III (2011) applies the Shapley mechanism for allocating surplus generated from inventory pooling among retailers. Gopalakrishnan et al. (2021) use the Shapley value to allocate carbon emission responsibilities among firms in a supply chain. Beyond supply chain management, Anily and Haviv (2010) employs the Shapley mechanism to divide the surplus from pooling service capacities in service systems. Singal et al. (2019) tackles the challenge of allocating eventual conversion among online advertisers through a modified counterfactual adjusted Shapley value. Bergantinos and Moreno-Ternero (2020) considers the equal-split rule, aligning with Shapley values in this specific context of splitting revenues from broadcasting sports events. Leng et al. (2021) investigates a game class with diminishing marginal contributions and analyzes Shapley value mechanism properties. Gopalakrishnan and Sankaranarayanan (2023) considers a Shapley mechanism variant for firm security cost-sharing arrangements. Several works also consider other mechanisms besides Shapley value for decision-aware agents. Gopalakrishnan et al. (2014) provides a summary of commonly used mechanisms in cost-sharing games. Our paper, while also considering decision-aware agents, specifically examines a scenario where the agents engage in informed decision-making through collaborative learning. In our work, each agent possesses a proprietary dataset. The collaboration is facilitated by a platform that provides the infrastructure for learning across multiple agents without sharing raw data. We refer to this setup as the multi-action collaborative federated learning (MCFL) framework for decision-aware agents.
Shapley value and machine learning.
Shapley value is also widely used in the field of machine learning and the computer science community. They consider the collaborative learning framework where multiple agents jointly minimize a global loss function through contributing individual data sets. Ghorbani and Zou (2019) provides a metric based on Shapley value to evaluate individual data contribution to empirical risk minimization. Jia et al. (2019) uses Shapley value to fairly distribute profits among multiple data contributors in collaborative machine learning. Sim et al. (2020) uses a variant of Shapley value to incentivize collaboration in data sharing for obtaining high-quality machine learning models. Rozemberczki et al. (2022) presents an overview of the applications of Shapley value in machine learning. Our paper differs from this flow of research in the following aspects. First, while our paper also considers mechanisms that incentivize data provision and data sharing among participating agents, the goal of our agents is not on minimizing a global loss function, but on making well-informed business decisions. Moreover, we consider a scenario where agents do not have incentives to directly share raw data, and the platform must provide an infrastructure for privacy-preserved collaborative learning, which leads to the analysis under the MCFL framework.
Federated learning.
Federated learning (FL) is a machine learning approach where a model is trained across multiple decentralized agents holding local data samples, without exchanging them, thus enhancing privacy and efficiency. McMahan et al. (2017) introduces a unified framework for federated learning, and Kairouz et al. (2021) offers a comprehensive survey on different aspects of the FL approach. A fundamental algorithm that is widely used in FL is FedAvg (or local SGD), which is based on the parallel stochastic gradient descent method Zinkevich et al. (2010). Since then, several works aimed at quantifying the performance of FedAvg Stich (2018), Yu et al. (2019), Khaled et al. (2019). The majority of the cost for performing FL normally occurs in its communication process when the platform queries the local interim results across decentralized agents Kairouz et al. (2021). And many studies have focused on reducing communication costs either through improving the algorithm design for faster convergence Shamir et al. (2014), Yuan and Ma (2020), or reducing the communication bandwidth Konečnỳ et al. (2016), Chraibi et al. (2019), Hamer et al. (2020). However, to our knowledge, there exists no previous work that considers the impact of mechanism design to reduce the communication cost of FL algorithms. In our work, we adopt the FL technology in privacy-preserving collaborative learning. We specifically consider the impact of mechanism design on the FL algorithm performance.
Incentive design in federated learning.
Lastly, our work is closely related to mechanism design in FL. Zhan et al. (2021) and Zeng et al. (2021) provide surveys in recent works on incentives and mechanism design in FL. Most of the works in this area focus on incentivizing agents to participate in federated learning, where the agents’ participation decisions are binary, and the cost of federated learning is not considered. Few works have considered partial provision of data, with the cost that occurs either in FL process or through data provision.Karimireddy et al. (2022) considers a model with partial participation due to the cost of data provision, and constructs a mechanism to incentivize collaborative learning. In our paper, we do not directly consider the cost of data provision, but our main result on the pitfall of Shapley would still hold with data provision cost. Gafni and Tennenholtz (2022) considers an FL platform with non-collaborative agents and investigates in how to manage the conflicting incentives, where we focus on a collaborative environment. Zhang et al. (2022) analyzes the incentive mechanism design while considering partial participation and the cost of computation for FL algorithms. We differ from this paper in the following aspects. Firstly, they assume specific exogenous functional forms of learning benefit and FL cost, while our work models the FL cost as an outcome of equilibrium participation, influenced by the mechanism. Secondly, we account for the decision-aware agents, where coalition surplus is also shaped by the operational decisions. More importantly, we address the potential for dishonest behaviors under the MCFL framework, such as data splitting and fake identity creation, which is not covered in prior research.
To our knowledge, our paper is the first work that considers decision-aware collaborative learning through the FL approach, with an analysis of the impact of mechanism design on both the coalition surplus and FL efficiency. Specifically, we consider that in equilibrium, the agents may conduct dishonest behavior on false name manipulation Iwasaki et al. (2010), Conitzer and Yokoo (2010), Aziz et al. (2011), where an agent creates fake identities and splits her data among two or more identities to participate in collaborative learning. We show that, while a Shapley value based mechanism encourages agent full participation, it inadvertently promotes false-name manipulation, which hugely increases the FL training cost. This eventually leads to a pitfall of Shapley value under the MCFL framework.
3 The Multi-Action Collaborative Federated Learning (MCFL) Framework
In this section, we describe a multi-action collaborative federated learning (MCFL) framework for decision-aware agents. The system consists of a digital platform, which is the coordinator, and agents on the digital platform. These agents share a common operational objective and aim to make informed decisions after collaborative learning. The platform provides an infrastructure that enables cross-agent learning and seeks to design a mechanism that incentivizes all agents to form a joint coalition.
Each agent holds a specific quantity of proprietary data samples. We use the vector to denote the amount of data each agent possesses. Specifically, an agent possesses a data set in the form of with each observation represents a data sample. All data samples are generated independently from an unknown ground-truth distribution . We consider a parametric family . In this case, is unknown and could be estimated from data. The goal of each agent is to learn the unknown from the data and make informed decisions, ideally with a guaranteed performance for a decision-aware objective.
Since we assume that all the data samples are i.i.d., each data sample contributes equally to the learning precision of unknown . Moreover, in the absence of the infrastructure provided by the platform, an agent on her own lacks the capability to train the learning model. Therefore, individual agents are naturally incentivized to collaborate towards a common goal, which involves forming a coalition to aggregate data samples from all participants for improved estimation. Unlike most of the previous literature, we assume that agents can form a coalition by contributing only a subset of their data samples, rather than all. Specifically, for an agent , we let represent the size of data that agent contributes to the coalition. We further define the agent participation decision profile, , for the coalition . When , the agent is not in any coalition. We say that an agent belongs to coalition if and only if . Hence . Given , we denote , the data samples from coalition with participation decision profile , where , with .
Additional Notation.
For any , by slightly abusing notation, we let denote the total size of data within a coalition that is characterized by , and be the total number of data samples. We let denote the probability of any event . We let denote the set of all subsets of . We let be the maximum number of data points for agent , and with be the participation decision profile of agent . Lastly, Let denote the set of agents in profile who have not reached their maximum exertion effort, excluding agent .
3.1 A Decision-Aware Learning objective
On this platform, all agents are facing a common decision-making problem with uncertainty, whereas the objective function is jointly determined by an agent’s decision and a random parameter with unknown distribution. Specifically, we assume each agent aims to develop a good data-driven solution for the following problem
where is the underlying true distribution of the random parameter , is the decision variable restricted in a convex feasible region , and is the objective/reward function. Here, we consider a strictly concave reward function in for all . Thus, there exists a unique optimal decision
It is worthy noting that we do not consider competition among users in this model for now. Given any estimator , the agents make informed decisions
With the jointly learned parameter , the characteristic function of a coalition with decision profile can be defined as
Below, we present an example of the decision-making problem along with its associated characteristic function.
Example 3.1 (The Newsvendor Problem.)
In the Newsvendor example, is the random demand, and is the decision of order quantities. The decision-maker aims to minimize the cost , where and represents the unit overstock and understock cost, respectively. Given any estimator , is the quantile of .
Since every data sample equally enhances the learning precision of the unknown , only the total number of samples in the decision profile impacts the learning quality. Therefore, we can further express and as functions that depend on , the total number of data samples in coalition ,
In order to encourage agent participation, the platform provides a performance guarantee in coalition surplus for a coalition in the form of ensuring a small performance gap between the oracle surplus and actual coalition surplus . Under certain standard assumptions provided in Appendix 8, the surplus gap between and could be translated to the distance between estimator gap . Given the data size , it is often possible to obtain a statistical high probability performance guarantee as stated in the following format:
(1) |
where depends on the pre-specified probability and the sample size . Typically, decreases with growing . And the platform guarantees that with probability greater than , the surplus gap between and is bounded by ,
(2) |
where is a given constant that depends on the Lipschitzness constants for reward and decision functions. We also show the performance guarantee bounds in (1) and (2) are equivalent under standard assumptions in Appendix 8.
3.2 Federated Learning within Agent Coalition
After forming a coalition, the platform aims to conduct collaborative learning that is privacy-preserving. One common approach is through Federated Learning (FL) frameworks, with a representative widely adopted algorithm known as Federated Averaging algorithm (FedAvg) (Kairouz et al. 2021). In FedAvg, agents keep their raw data locally to preserve privacy and perform local training on their own data. Periodically, the platform collects interim results from each agent and synchronizes all agents by distributing the average of these local outcomes. The details of the algorithm are provided in Section 5.
Given a coalition , agent participation is characterized by the participation decision profile , and denotes the total size of data within the coalition. We let denote the estimator produced by the platform conducting FL with coalition data .
FL requires multiple rounds of synchronization to obtain an estimator that satisfies the performance guarantee in (1). The majority cost of performing FL lies in this synchronization process where the platform is required to aggregate and communicate the results across agents Kairouz et al. (2021). A measure of this cost is determined by the total number of synchronizations needed to achieve an estimator meeting the performance criterion, denoted as , where specifies FL algorithm parameters such as the initial point and the step-size choices. It’s worth mentioning that the number of synchronizations required to converge intrinsically depends on the announced mechanism through agent participation profile , which contains the information of how many agents are participating, and the number of local data samples.
3.3 MCFL System Synergy
The decision timeline of the MCFL system is described as the following:
-
•
The platform specifies a guaranteed performance based on the size of the aggregated data from the coalition and the revenue surplus division rule. Specifically, the platform specifies probability bound , FL learning parameter set , and the mechanism on surplus allocation.
-
•
The agents participate by deciding how to share, and how much to share. The coalition was formed with the associated participation profile .
-
•
The platform conducts the learning task through federated learning and shares the learning results with the agents. The result is guaranteed to satisfy the performance guarantee bound in (1).
-
•
The platform announces , and the agents in coalition make informed decision . The actual coalition surplus is realized, and the platform redistributes the coalition surplus according to the mechanism .
In this work, we investigate the synergy between mechanism design, agent participation, operational decision-making, and the performance of FL algorithms in the MCFL system. The surplus allocation mechanism is designed based on possible statistical performance guarantees of learning algorithms. Moreover, such a mechanism influences the agent participation equilibrium which further impacts the computation and communication cost of the FL learning algorithm through the total number of synchronizations required in FL, .
4 A Shapley Value Based Mechanism for MCFL
In this section, we investigate the surplus allocation mechanism announced by the platform in the MCFL framework. Particularly, we focus on the Shaply-value-based mechanism. We first introduce the MCFL Shapley value, and then discuss the equilibrium induced by the MCFL Shapley value considering false name manipulation.
4.1 The MCFL Shapley Value
A natural idea of a fair and efficient payoff allocation mechanism in cooperative games is based on the renowned Shapley value. The original definition of Shapley value is traced back to Shapley et al. (1953). We state the definition as follows
Definition 4.1 (Shapley value Shapley et al. (1953))
Suppose a cooperative game consists of agents and the characteristic function is . Then the payoff allocated to agent is defined as
Recall that the mechanism specified by the platform announces the allocation rule which specifies the share of the payoff allocated to each player . Agents thus decide the participation profiles after observing the allocation rule .
As mentioned in section 3, we model the decision-aware collaboration problem under MCFL which allows agents to have various levels of participation decisions by selecting the number of samples they would like to contribute to the coalition, as quantified by the participation profile. To incorporate the multiple levels of participation, we adopt the multi-choice Shapley value proposed in Hsiao and Raghavan (1993), Hsiao (2004). Note that to define the multi-choice Shapley value, a weight function must be defined prior to the Shapley value (Hsiao and Raghavan (1993), Hsiao (2004)). Particularly, the weight function maps any possible action to a non-negative number and satisfies , and for any . The weight function is defined as prior knowledge of the power (or importance) of each action. Moreover, given the action space , in order to guarantee fairness in effort exertion, an ideal mechanism should satisfy the following axiom:
Axiom 1
We are now ready to define the Shapley value under MCFL, which further defines the platform allocation mechanism based on the MCFL Shapley value.
Definition 4.2 (MCFL Shapley Value)
For any agent participation decision profile , we define as the set of players who is not agent and does not share all the data. Let where the element of equals to 1. Then, for an agent sharing observations, the allocated payoff is given by
where for any , .
Remark 1 (Interpreting the weight function)
The weight of the action sharing a sample with size can be interpreted as the importance or power of this action. In the problem context of data sharing, there often exists a unit effort to obtain data samples (Karimireddy et al. 2022). Thus, it is natural to consider linear weights, specifically, sharing a sample of size has a weight as a linear function of .
For simplicity, we set 111 This is without loss of generosity as any proportional functions could be degenerate to ., for all . Thus the Shapley value defined in 4.2 can be simplified as the following
Definition 4.3 (MCFL Shapley Value with Linear Weights)
For any agent participation decision profile , for an agent sharing observations, the allocated payoff is given by
The uniqueness of Shapley value lies in that, it satisfies all the desired properties for an allocation mechanism. An ideal mechanism should (1) prevent free-riding from a non-contributing agent; (2) ensure equality of treatment for agents who contribute equally; (3) guarantee that the surplus is fully allocated without any waste; and (4) should be consistent and scalable across different situations. These desired properties could further be translated into the following axioms.
Axiom 2 (Desired Axioms for MCFL Mechanisms)
Desired axioms for MCFL mechanisms include the following:
-
A.
Null player. A player that doesn’t add value gets nothing. for any player with action , if
then .
-
B.
Symmetry. If for , then for all .
-
C.
Efficiency (Budget balanced). .
-
D.
Additivity. For two characteristic functions and , .
It’s worth noting that, the MCFL Shapley value is the only mechanism that satisfies Axiom 1 and Axiom 2 Hsiao (2004). Hence, if a platform wants to guarantee the desired properties of an allocation mechanism and fairness in effort exertion, the MCFL Shapley value is the only choice among all possible allocation rules.
4.2 False-Name Manipulation
As we presented in the previous section, Shapley value is the only option if the platform requires certain desirable properties stated in Axiom 1 and 2. However, when applied in the real world, Shapley value based mechanism can be vulnerable to dishonest behaviors or manipulations conducted by the participating agents. One possible manipulation is the false-name manipulation. False-name manipulation is the behavior where an agent creates fake identities in the game and then splits her data among two or more identities. To be more specific, if the player splits into identities, then the original sample is split into small sub-samples, each containing at least one data sample, and the player pretends that the small sub-samples comes from different (fake) agents.
We first demonstrate that the allocation mechanism defined by Shapley values suffers the potential risk of false-name manipulation. For any agent , suppose agent adopts false-name manipulation and splits into two fake identities, agents and . Then we compare the payoff that the original receives, with the total payoff that the two fake agents receive in Theorem 4.1.
Theorem 4.1 (Vulnerability of MCFL Shapley under False-name Manipulation)
For any such that , we have
-
(i)
if is a strictly concave function.
-
(ii)
if is a linear function.
In other words, with a concave value function, an agent tends to create a duplicated identity and split her original data set for higher benefit allocation. Moreover, for an agent with samples of data, the equilibrium participation profile under MCFL Shapley is: , where an agent fully participates in the coalition but splits all the data samples, with each identity contributes one sample.
Normally, is a strictly increasing and concave function for many business or operations decisions. In Appendix 8, we provide a specific example for being a strictly increasing and concave function for pricing under uncertainty. Theorem 4.1 suggests that, while Shapley value satisfies all the desired properties and encourages full participation in providing all data samples, it inherently incentivizes agents to split data with fake identities. While this dishonest behavior does not impact the total coalition surplus , which only depends on the total number of samples in the coalition, it significantly hurts the performance of the FL algorithm. In the next section, we further elaborate on how the false-name manipulation hurts the learning process, and may further decrease the overall system efficiency.
5 System Efficiency
In section 4, we describe a mechanism based on Shapley value that incentivizes full participation of the agents. We also discuss the potential vulnerability of Shapley value under dishonest behaviors like false-name manipulation. In this section, we elaborate on how false-name manipulation would impact the performance of FL algorithms. Our study is the first to study the impact of mechanism design on agents’ decisions to provide data, and how these decisions subsequently affect the performance of platform learning algorithms. We delve into how an efficient mechanism like Shapley, one that is budget-balanced and promotes complete data provision to enhance estimator quality, is vulnerable to false-name manipulation, which leads to agents participating with splitting their data. Such vulnerability could result in escalated communication costs within federated learning frameworks, presenting a complex challenge that intertwines mechanism design with operational efficiency.
The structure of this section is organized as follows. We first introduce the platform federated learning process and define the system efficiency that combines both the agent allocation of MCFL and the communication cost of federated learning. We then conduct an analysis of the system efficiency to Shapley value based mechanism. Our findings emphasize that although the Shapley mechanism adheres to the desired axioms of mechanism design, it fails to guard against false-name manipulation, resulting in considerably higher training costs compared to other mechanisms. This ultimately leads to the pitfall of Shapley mechanism.
5.1 Algorithm for Federated Learning
In this section, we first introduce the general approach of federated learning. We then apply federated learning to our collaborative learning setup and define the system efficiency under federated learning.
Federated learning is a decentralized and privacy-preserving machine learning framework, where multiple clients collaboratively train a model under a central platform without sharing raw data. The platform seeks to minimize a global loss function, which could be further represented as the sum of each agent ’s local loss functions :
(3) |
A basic blueprint for designing Federated Learning (FL) training algorithms is the Federated Averaging algorithm (FedAvg) McMahan et al. (2017). While there are many variants of FedAvg Kairouz et al. (2021), in this section, we consider the following variant of FedAvg, a parallel gradient descent method, also known as local gradient descent (local GD) presented in Algorithm 1 Mangasarian (1995), Khaled et al. (2019). The reason for not adopting a local stochastic gradient descent (SGD) method lies in that, the equilibrium participation profile may involve each identity of agent providing only one data sample, making SGD infeasible under such conditions. Algorithm 1 is parameterized with step-size , the initial point , the synchronization interval , and the total number of iteration , which are all platform decision variables. In local GD, each agent individually computes gradients on her own machine for a given interval and then synchronizes with the platform. The platform averages over the local results and broadcasts back to each agent. Define the set of platform decision variables as . The details are provided in Algorithm 1.
In collaborative learning, we consider an example where the platform utilizes maximum likelihood estimation (MLE) to learn through federated learning. Here, the loss function is the negative of the likelihood. Let denote the agents participation profile, where each agent provides . The associated probability density function of is given by . And the objective function is given by
(4) |
In practice, is not attainable due to optimization/training loss in accuracy, and the platform trains that converges to . The agents’ total surplus is thus given by
(5) |
The cost of federated learning occurs in the synchronization step of Algorithm 1. Let the total number of communication required to converge to the target performance guarantee be . At each synchronization, the platform queries for local training results across the coalition of agents. And let the cost per query round be . we define the system efficiency as
(6) |
which is the agents’ total surplus, subtracting the communication cost . It’s worth noticing that, here we assume that the cost incurred per synchronization round with querying all the identities of agents in coalition is . If linearly increases with the number of identities of agents, which essentially assumes that the platform incurs a cost per communication to each agent identity, then having fake identities trivially increases the cost of federated learning. Here, we assume that , the cost per synchronization round across all the identities of agents can be a constant, that does not increase in the number of identities. Still, in the next section, we manage to show that even under the case where the cost per synchronization round is constant, the total cost of federated learning still grows linearly with the number of fake identities created, which eventually leads to a pitfall of Shapley value based mechanism.
5.2 Analysis of System Efficiency
In section 3, we show that the Shapley value based mechanism is the only mechanism that satisfies the desired properties of axioms and leads to efficient allocation with no extra surplus left on the table. In this section, we focus more on how the mechanism would impact the platform training process. Specifically, while false-name participation in data splitting would not negatively impact the estimator quality, as data splitting does not vary the total number of the observations, false-name participation would significantly increase the training cost to attain the performance guarantee, as it creates redundant communications and operations between the central platform and the fake identities of agents.
Under the following assumption, we can show that strictly increases with the number of participating agents .
Assumption 5.1 (-smoothness, bounded gradient and strong convexity)
is -smooth for all . for all , . is the unique minimizer of in the interior of the parameter space , is smooth, and all eigenvalues of are strictly positive.
Assumption 5.1 guarantees that the gradient descent algorithm converges under reasonable choices of step size, and the minimizer to the loss function also converges to the ground truth estimator . With assumption 5.1, we are now ready to state the main proposition on system efficiency.
Theorem 5.2
Under the MCFL framework, the system efficiency of the Shapley value based mechanism is upper bounded by
(7) |
Specifically, with , the system efficiency is bounded by
(8) |
with being a constant.
In concentration bounds, . For example, when applying Hoeffding’s style bounds to MLE estimation with i.i.d. Bernoulli random variables with parameter gives , and the system loss increases in the order of as we increase number of observations . Moreover, by the concavity of , as long as , adding an extra observation would hurt the system efficiency at a certain point under false name manipulation due to the increased cost in communication.
Theorem 5.2 underscores the importance of development for new mechanism designs that are more attuned to the practical challenges and operational realities of FL, moving beyond traditional Shapley valued based approaches to ensure more effective and efficient collaborative learning. It’s worth mentioning that, there is no free lunch in designing a mechanism that satisfies all the desired properties, while still being robust to false name manipulation and minimizing computation cost. As the previous result suggests, Shapley is the only mechanism that satisfies all the desired axioms, however, it is not robust enough to prevent data splitting. This implies that there is no optimal mechanism that satisfies the desired properties, while still minimizing the the communication cost in FL. In practice, the platform needs to carefully balance the trade-offs when designing the mechanism.
In the following subsection, we introduce a simple numerical example to demonstrate the harm of data splitting to FL algorithm.
5.2.1 Numerical Example
The Newsvendor Problem
In this numerical example, we focus on the newsvendor problem as presented in Example 3.1. Specifically, we assume the demand data held by each agent independently follows the distribution of , and , where is the contextual information, and follows the Normal distribution with zero mean and variance . Here, is the unknown estimator we try to obtain from FL. According to the newsvendor problem formulation, , where , and , the platform objective is to obtain an estimator that minimizes the following L2-regularized NV objective
(9) |
In the following numerical example, we consider the case where , , and . We further set and let follows distribution of . We let follows distribution of where . We assume there are two agents, denoted by agent and agent . Agent possesses samples and while agent possesses and . Agent (or ) could potentially participate under identity (or ) and (or ), with each fake identity contributing one sample. Figure 1 compares the convergence and number of synchronizations with and without data splitting. Figure 1 shows that having fake identities adds noise to the convergence process during the epochs when each agent independently performs local gradient descents without synchronization. And in Figure 0(b), when agents split data, the convergence speed significantly decreases compared to Figure 0(a), when there are no fake identities, fixing the number of synchronizations the same. Hence, in order to converge to the same performance guarantee as in Figure 0(a), the total number of synchronization required increases from to in Figure 0(c), which doubles the cost of communication.
We further investigate the cost in newsvendor. In figure 2, we observe that the better quality of estimator presented in figure 1 directly leads to better performance and cost-reduction in decision-making under uncertainty for the decision-aware agents. Without data splitting, the newsvendor loss quickly converges to the minimized loss for the decision-aware agents. However, when agents split data, in figure 1(b), we zoom in to the 15 - 55 epochs and find that similar to the estimator performance in figure 0(b), the loss also oscillates around the optimal loss, and within epochs, the platform cannot provide an estimator that satisfies the performance guarantee. Hence, the platform is required to increase the number of synchronization from to , in order to promise the guaranteed surplus to the decision-aware agents. This further hugely increases the communication cost.
Portfolio Optimization
We consider a risk-averse portfolio optimization problem as an example of the operational decision among agents. We let a random vector denote the random return, and the agent aims to make investment decisions and to optimize the allocation of assets. The objective is formulated as , where and denote the -th component, respectively. Moreover, we assume that , where is fixed local feature data. And . Here, is the unknown estimator we try to obtain from FL. In the MCFL framework, the agents obtain a maximum likelihood estimator by minimizing the mean square error (MSE) loss function for any , , through FL:
The following Figure 3 demonstrates the intuition on how data splitting hurts the performance of FL under portfolio optimization. In the following numerical example, we consider the case where two agents may split their samples and participate as four agents under fake identities. The details of the numerical setup are as follows. There are two agents, denoted by agent and agent . Agent possesses samples of and , while agent possesses samples of and . Observations of and follow i.i.d. standard normal distribution with . and , with , and . Further more, we set in the the objective function. The platform adopts algorithm 1 to obtain . The FL algorithm parameter is given by . Agent (or ) could potentially participate under identity (or ) and (or ), with each fake identity contributing 4 samples.
Similarly, once an estimator is obtained, we look into how the quality of the estimator translates to the profits of decision-aware agents. To be more specific, we evaluate the out-of-sample profit, evaluated by the objective function . From figure 4, we observe that similar to the case of newsvendor, the quality of the estimator nicely translates into the profits for decision-aware agents. Here, unlike the newsvendor problem where we try to minimize loss, in portfolio optimization, the platform tries to maximize the profit, and data splitting directly leads to a potential decrease in the profits that the agents would gain.
6 Conclusions
In conclusion, our study has shed light on the intricate dynamics of collaborative learning in multi-agent systems through the lens of Federated Learning (FL) technology and Shapley value-based mechanisms. By establishing a comprehensive framework, we have underscored the critical role of platform-facilitated collaboration among decision-aware agents and delved into the nuanced impacts of mechanism design on both decision quality and FL algorithm efficiency.
Our investigation reveals that while Shapley value based mechanism ensures fair allocation and guarantees quality decisions among agents through encouraging full participation, they inadvertently introduce significant communication costs during the FL process due to the agents’ dishonest behavior of false-name manipulation, highlighting a crucial trade-off between decision quality and operational efficiency. This discovery not only addresses a gap in existing research but also opens new avenues for exploring mechanism design that balances decision quality with the practicalities of implementation in FL environments.
Moreover, our work stands as a pioneering effort to systematically explore the interplay between mechanism design and FL performance, offering valuable insights for both theoreticians and practitioners interested in optimizing collaborative learning settings. The identification of Shapley value mechanisms’ limitations further enriches the studies in collaborative learning, prompting a reevaluation of widely accepted practices and encouraging the development of more efficient, cost-effective solutions. Several future promising directions involve investigating other mechanisms beyond Shapley value and analyzing this framework under more specific business or operations contexts, including pricing, and inventory management, to name a few.
References
- AbdulRahman et al. (2020) AbdulRahman S, Tout H, Ould-Slimane H, Mourad A, Talhi C, Guizani M (2020) A survey on federated learning: The journey from centralized to distributed on-site learning and beyond. IEEE Internet of Things Journal 8(7):5476–5497.
- Anily and Haviv (2010) Anily S, Haviv M (2010) Cooperation in service systems. Operations Research 58(3):660–673.
- Arora and Jain (2023) Arora A, Jain T (2023) Data sharing between platform and seller: An analysis of contracts, privacy, and regulation. European Journal of Operational Research .
- Aziz et al. (2011) Aziz H, Bachrach Y, Elkind E, Paterson M (2011) False-name manipulations in weighted voting games. Journal of Artificial Intelligence Research 40:57–93.
- Bergantinos and Moreno-Ternero (2020) Bergantinos G, Moreno-Ternero JD (2020) Sharing the revenues from broadcasting sport events. Management Science 66(6):2417–2431.
- Branzei et al. (2008) Branzei R, Dimitrov D, Tijs S (2008) Models in cooperative game theory, volume 556 (Springer Science & Business Media).
- Choudhury (2023) Choudhury O (2023) Federated learning on aws with fedml: Health analytics without sharing sensitive data URL https://aws.amazon.com/blogs/machine-learning/federated-learning-on-aws-with-fedml-health-analytics-without-sharing-sensitive-data/, aWS Machine Learning Blog.
- Chraibi et al. (2019) Chraibi S, Khaled A, Kovalev D, Richtárik P, Salim A, Takáč M (2019) Distributed fixed point methods with compressed iterates. arXiv preprint arXiv:1912.09925 .
- Conitzer and Yokoo (2010) Conitzer V, Yokoo M (2010) Using mechanism design to prevent false-name manipulations. AI magazine 31(4):65–78.
- Gafni and Tennenholtz (2022) Gafni Y, Tennenholtz M (2022) Long-term data sharing under exclusivity attacks. Proceedings of the 23rd ACM Conference on Economics and Computation, 739–759.
- Ghorbani and Zou (2019) Ghorbani A, Zou J (2019) Data shapley: Equitable valuation of data for machine learning. International conference on machine learning, 2242–2251 (PMLR).
- Gopalakrishnan et al. (2014) Gopalakrishnan R, Marden JR, Wierman A (2014) Potential games are necessary to ensure pure nash equilibria in cost sharing games. Mathematics of Operations Research 39(4):1252–1296.
- Gopalakrishnan et al. (2021) Gopalakrishnan S, Granot D, Granot F, Sošić G, Cui H (2021) Incentives and emission responsibility allocation in supply chains. Management Science 67(7):4172–4190.
- Gopalakrishnan and Sankaranarayanan (2023) Gopalakrishnan S, Sankaranarayanan S (2023) Cooperative security against interdependent risks. Production and Operations Management 32(11):3504–3520.
- Hamer et al. (2020) Hamer J, Mohri M, Suresh AT (2020) Fedboost: A communication-efficient algorithm for federated learning. International Conference on Machine Learning, 3973–3983 (PMLR).
- Hsiao (2004) Hsiao CR (2004) The power indices for multi-choice multi-valued games. Taiwanese Journal of Mathematics 8(2):259–270.
- Hsiao and Raghavan (1993) Hsiao CR, Raghavan T (1993) Shapley value for multichoice cooperative games, i. Games and economic behavior 5(2):240–256.
- Iwasaki et al. (2010) Iwasaki A, Conitzer V, Omori Y, Sakurai Y, Todo T, Guo M, Yokoo M (2010) Worst-case efficiency ratio in false-name-proof combinatorial auction mechanisms. Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1-Volume 1, 633–640.
- Jia et al. (2019) Jia R, Dao D, Wang B, Hubis FA, Hynes N, Gürel NM, Li B, Zhang C, Song D, Spanos CJ (2019) Towards efficient data valuation based on the shapley value. The 22nd International Conference on Artificial Intelligence and Statistics, 1167–1176 (PMLR).
- Kairouz et al. (2021) Kairouz P, McMahan HB, Avent B, Bellet A, Bennis M, Bhagoji AN, Bonawitz K, Charles Z, Cormode G, Cummings R, et al. (2021) Advances and open problems in federated learning. Foundations and Trends® in Machine Learning 14(1–2):1–210.
- Karimireddy et al. (2022) Karimireddy SP, Guo W, Jordan MI (2022) Mechanisms that incentivize data sharing in federated learning. arXiv preprint arXiv:2207.04557 .
- Kemahlıoğlu-Ziya and Bartholdi III (2011) Kemahlıoğlu-Ziya E, Bartholdi III JJ (2011) Centralizing inventory in supply chains by using shapley value to allocate the profits. Manufacturing & Service Operations Management 13(2):146–162.
- Khaled et al. (2019) Khaled A, Mishchenko K, Richtárik P (2019) First analysis of local gd on heterogeneous data. arXiv preprint arXiv:1909.04715 .
- Konečnỳ et al. (2016) Konečnỳ J, McMahan HB, Yu FX, Richtárik P, Suresh AT, Bacon D (2016) Federated learning: Strategies for improving communication efficiency. arXiv preprint arXiv:1610.05492 .
- Leng et al. (2021) Leng M, Luo C, Liang L (2021) Multiplayer allocations in the presence of diminishing marginal contributions: Cooperative game analysis and applications in management science. Management Science 67(5):2891–2903.
- Leng and Parlar (2009) Leng M, Parlar M (2009) Allocation of cost savings in a three-level supply chain with demand information sharing: A cooperative-game approach. Operations Research 57(1):200–213.
- Mak and Max Shen (2021) Mak HY, Max Shen ZJ (2021) When triple-a supply chains meet digitalization: The case of jd. com’s c2m model. Production and Operations Management 30(3):656–665.
- Mangasarian (1995) Mangasarian L (1995) Parallel gradient distribution in unconstrained optimization. SIAM Journal on Control and Optimization 33(6):1916–1925.
- Masters (2019) Masters K (2019) Amazon releases free analytics that brands previously paid $30,000-plus per year for. Forbes URL https://www.forbes.com/sites/kirimasters/2019/02/12/amazon-releases-free-analytics-that-brands-previously-paid-30000-per-year-for/?sh=f48b36c44b4e, last Accessed on 19 August 2023.
- McMahan et al. (2017) McMahan B, Moore E, Ramage D, Hampson S, y Arcas BA (2017) Communication-efficient learning of deep networks from decentralized data. Artificial intelligence and statistics, 1273–1282 (PMLR).
- Qi et al. (2021) Qi M, Grigas P, Shen ZJM (2021) Integrated conditional estimation-optimization. arXiv preprint arXiv:2110.12351 .
- Qi et al. (2020) Qi M, Mak HY, Shen ZJM (2020) Data-driven research in retail operations—a review. Naval Research Logistics (NRL) 67(8):595–616.
- Rozemberczki et al. (2022) Rozemberczki B, Watson L, Bayer P, Yang HT, Kiss O, Nilsson S, Sarkar R (2022) The shapley value in machine learning. arXiv preprint arXiv:2202.05594 .
- Shamir et al. (2014) Shamir O, Srebro N, Zhang T (2014) Communication-efficient distributed optimization using an approximate newton-type method. International conference on machine learning, 1000–1008 (PMLR).
- Shapley et al. (1953) Shapley LS, et al. (1953) A value for n-person games .
- Sim et al. (2020) Sim RHL, Zhang Y, Chan MC, Low BKH (2020) Collaborative machine learning with incentive-aware model rewards. International conference on machine learning, 8927–8936 (PMLR).
- Singal et al. (2019) Singal R, Besbes O, Desir A, Goyal V, Iyengar G (2019) Shapley meets uniform: An axiomatic framework for attribution in online advertising. The World Wide Web Conference, 1713–1723.
- Stich (2018) Stich SU (2018) Local sgd converges fast and communicates little. arXiv preprint arXiv:1805.09767 .
- Yu et al. (2019) Yu H, Yang S, Zhu S (2019) Parallel restarted sgd with faster convergence and less communication: Demystifying why model averaging works for deep learning. Proceedings of the AAAI Conference on Artificial Intelligence, volume 33, 5693–5700.
- Yuan and Ma (2020) Yuan H, Ma T (2020) Federated accelerated stochastic gradient descent. Advances in Neural Information Processing Systems, volume 33, 5332–5344.
- Zeng et al. (2021) Zeng R, Zeng C, Wang X, Li B, Chu X (2021) A comprehensive survey of incentive mechanism for federated learning. arXiv preprint arXiv:2106.15406 .
- Zhan et al. (2021) Zhan Y, Zhang J, Hong Z, Wu L, Li P, Guo S (2021) A survey of incentive mechanism design for federated learning. IEEE Transactions on Emerging Topics in Computing 10(2):1035–1044.
- Zhang et al. (2022) Zhang Z, Liu G, Wu J, Tan Y (2022) Data and algorithm pricing: Incentive mechanisms design for federated learning. Available at SSRN 4061980 .
- Zinkevich et al. (2010) Zinkevich M, et al. (2010) Parallelized stochastic gradient descent. Advances in neural information processing systems, volume 23.
7 Supplementary materials for Theorem 1
In this part, we let
which denotes the set of all possible profiles given .
We also define
and
For notation simplicity, in the proof when we analyze the incentive on data splitting for a specific agent , without loss of generosity we let , and we omit the dependency on agent index and let for future analysis. We first introduce the following lemma.
Lemma 7.1
For any and , and any maximum data vector , we have
Similarly,
Proof.
Proof of Lemma 7.1
where we use the recurrence relation of binomial coefficient. And, the previous equation equals to
The equability is by the definition of , and changing the index from to , we have
Similarly, the previous equality comes from the definition of and , and changing the index of to ,
Similarly, we have
∎
We further introduce the following lemma 7.2 for our final proof.
Lemma 7.2
For any and and
Proof.
Proof of Lemma 7.2 Start induction from , , we have
Generally, suppose with , the previous induction step holds
Then with , one have
where the last equality holds by induction hypothesis. Define for all , we have
Again, for the previous equations, we apply the recurrence relation of binomial coefficient. Moreover, for the above equation we have
The above relations hold because we apply the definition of , and we use the induction hypothesis. Further, take out the common coefficient , we have
Hence
And the proof is complete. ∎
Lemma 7.3
For any , and any maximum data vector , we have
Proof.
We introduce the final lemma before the main proof of the theorem.
Lemma 7.4
For any , , we have
Proof.
Proof of Lemma 7.4 We consider the partial fraction expansion of
Since are simple poles of , then there exists a decomposition
and
Therefore, we have
∎
With all the above lemmas, we are now ready to prove the main theorem.
Proof.
Proof of Theorem 4.1
We first prove (ii). If is a linear function, there exists a constant such that for any and . Therefore, we have
(12) | ||||
Now we prove (i). If is concave, then according to Lemma 7.4, one knows that, for any , . Therefore, we have
Note that if , then
Moreover, decreases as grows larger. We let denote the constant that satisfies
Let and let .
Therefore, we have
It’s straight-forward to show that for any . Hence, recursively applying Theorem 4.1 to each fake identity, we have, the equilibrium participation profile for an agent with data samples is of the form : . In other words, an agent fully participates in the coalition but splits all the data samples, with number of fake identities, and each fake identity contributes one sample.
∎
8 Supplementary material for Section 3
In this section, we provide more details of the characteristic function solely as a function of the sample size . We first present an analytical format of for a pricing example where the closed-form solution of is available. For a general case when does not have a closed-form solution, we offer a comprehensive approach based on the Lipschitz assumptions on reward and decision functions.
Example 8.1 (Pricing under uncertainty)
Consider the agents try to predict the unknown consumer willingness-to-pay , with , and being an unknown distribution parameter. Specifically, we assume . The agent’s decision is to set an optimal price to maximize the expected surplus : . For i.i.d. data samples of , with , let be the coalition sample mean and be the predicted consumer income distribution under , we have
Let , we have
For simplicity, let , and
where is a strictly increasing and concave function. It’s worth mentioning that in this example, we assume the platform could get an accurate sample mean, without considering the loss in performing FL.
In general, it is often difficult to obtain a closed-form solution. For such cases, we provide an expression of the characteristic function based on the Lipschitz assumption. We first state the Lipschitzness assumptions in the following:
Assumption 8.1
Lipschitzness assumptions for the decision-aware objective are as follows
-
A.
(Lipschitzness of ) For any , we have
-
B.
(Lipschitzness of ) The reward is Lipschitz with respect to decision
Assumption 8.1.A assumes that the optimal solution is a -Lipschitz with respect to the parameter . It can be further justified when is a discrete distribution and is strongly concave with respect to Qi et al. (2021). Assumption 8.1.B is a common assumption assuming that the reward function is Lipschitz with respect to the decision.
Under these assumptions, we have
Then for any , we can represent
where .
9 Proof for Proposition 5.2
In this proof, we omit the dependency of in for notation simplicity. And we use to denote . Under Shapely equilibrium, all agents provide data but split each sample as a single agent identity. Hence . By assumption 5.1, for some and all , satisfies
Hence, for ,
(13) |
We now consider a sequence of auxiliary training results (which is not actually computed in algorithm, but is useful for analysis). Let , with if .
(14) | ||||
Define , and let be the -smooth parameter where
Following Corollary 1 of Khaled et al. (2019), under data splitting equilibrium, for large where is in same order of , in order to get same order dependency on and for total communication number, , with optimized step size , this leads to
which, by equation (13), implies
Moreover, by equation (14),
Hence,
In order to guarantee . Let MLE optimal estimator satisfies A sufficient condition is
Hence, should satisfy
(15) |