Contributions to Game Theory and Management, XV, 218—225
Owen Value for Dynamic Games on Networks*
Leon Petrosyan and Yaroslavna B. Pankratova
St. Petersburg State University, 7/9, Universitetskaya nab. ,St. Petersburg, 199034, Russia E-mail: y.petrosyan@spbu.ru; y.pankratova@spbu.ru
Abstract In the presented paper, we consider dynamic network games with coalition structure in which players cooperate to get the best outcomes. As solution the Owen value is proposed. To simplify the calculations the new characteristic function is introduced based on the possibility of cutting connections by players outside the coalition. For a special case, comparison of the Owen value with other solutions is done.
Keywords: dynamic network game, Shapley value, Owen value, coalition structure.
1. Introduction
Recently, many interesting problems have been modeled with the help of dynamic games on networks. Among them the transportation problem or problem of influence in social networks. We have to mention the first researches in the field of dynamic games (Cao et al., 2008; Wie, 1995; Pai, 2010; Zhang et al., 2018; Meza, and Lopez-Barrientos, 2016; Bulgakova and Petrosyan, 2019). An obvious continuation of research in the field of dynamic games is to expand them to the class of cooperative dynamic games on networks (the following papers should be noted (Petrosyan, 2010; Gao and Pankratova, 2017), and the paper of (Yeung and Petrosyan, 2016; Petrosyan and Yeung, 2020; Tur and Petrosyan, 2022) where the new characteristic function in differential cooperative network game was introduced in a special case when the payoffs of players depend only upon their actions and actions of neighbors in the network). Different properties of the cooperative solutions of dynamic network games are investigated in (Yeung, 2010; Yeung and Petrosyan, 2004; Yeung and Petrosyan, 2018). In the paper (Petrosyan et al., 2021b), the differential games on networks with partner sets are considered. In such games, player's payoff depend upon the payoffs of players from his partner set and it is supposed that one player can belong to many partner sets. The cooperative dynamic games with two level of cooperation were considered in (Petrosyan and Sedakov, 2019) and (Petrosyan and Pankratova, 2022).
In this paper, we consider the differential network game with coalition structure in which players cooperate to get the best outcomes. As solution we take Owen value. To simplify the calculations the new characteristic function is introduced based on the possibility of cutting connections by players outside the coalition. We find the Owen value and compere it with other solution concepts.
2. Differential Network Games
Consider a class of n-person differential games on network with game horizon [to, T]. The players are connected in a network system. We use N = {1, 2, • • • , n}
*The work was supported by the Russian Science Foundation grant No. 22-11-00051, https: //rscf.ru/en/project/22-11-00051/
https://doi.org/10.21638/11701/spbu31.2022.16
to denote the set of players in the network. The nodes of the network are used to represent the players from the set N. We also denote the set of nodes by N and denote the set of all arcs in network N by L. The arcs in L are the arc (i, j) G L for players i, j G N, i = j. For notational convenience, we denote the set of players connected to player i as KT(i) = {j : arc(i, j) G L}, for i G N.
Let x®(t) G Rm be the state variable of player i G N at time t, and ul (t) G U1 C Rk the control variable of player i G N.
Every player i G N can cut the connection with any other player from the set if (i) at any instant of time.
The state dynamics of the game is
x4(t)= fi(xi(T),u4(t)), xi(to) = 4, for t G [to,T] and i G N. (1)
The function f®(x®,u®) is continuously differentiable in x1 and u\
The payoff function of player i depends upon his state variable and the state variables of players from the sets ii(i) to which he belongs.
In particular, the payoff of player i is given as
FiOrJ,...,^,«,1,...,«") = J2 / hj (^(t ),xj (T ))dT. (2)
The term hj(x®(t),xj(t)) is the instantaneous gain that player i can obtain through network links with player j G ii(i) (note that the pair (i, i) G L). The functions hj(x®(t),xj(t)), for j G i(i) are non-negative. For notational convenience, we use x(t) to denote the vector (x1 (t),x2(t), • • • ,xn(t)).
Since the set N is finite the sum in (2) contains a finite number of summands <|N |.
3. Cooperative Differential Network Game
In this section, we use the special type of characteristic function which, at the first time, was introduced in paper (Petrosyan, 2010) and after used in (Petrosyan et al., 2021a; Tur and Petrosyan, 2022).
To achieve group optimality, the players maximize their joint payoff
rT
I to
el e /. hj (xj(t ),xj (t ))dT I (3)
ieN \jeK(i)'
subject to dynamics (1).
We use x(t) = (x1(t), x2(t), • • • ,xn(t)) to denote the optimal cooperative trajectory of problem of maximizing (3) subject to (1). We let the corresponding optimal cooperative trajectory of player i be denoted by X(t), for t G [to, T] and i G N. The maximized joint cooperative payoff involving all players can then be expressed as
T
t0
El E /. hj (xi(T ),xj (t ))dT
ieN \jeK(i)%
u1 ,u2,--- ,un
El E / hj (xi(T),xj (T))dT I = V(N; xo,T - to) (4)
ieN \jeK(i)
t0
subject to dynamics (1) formulation of the worth of coalition S C N as
V(S; Xo,T - to) = E E f hj),xj(t))dr. (5)
ies j€K(i)ns 0
Note that the worth of coalition S is measured by the sum of the payoffs of the players in the coalition in the cooperation process with the exclusion of the gains from players outside coalition S. Thus, the characteristic function reflecting the worth of coalition S in (5) is formulated along the cooperative trajectory x(t). For simplicity in notation, we denote
aij (xo,T - to )= fT hj (xi(T),xj (T))dT (6)
J to
and
aij(x(t),T - t) = J hj(xi(T),xj(t))dT, (7)
for t e [to, T].
Using the notations in (6), we can express (5) as
V(S; xo,T - to) = E E aijK,T - to), (8)
ies jeK(i)ns
and similarly, using (7), along the cooperative trajectory x(t)
V (S; x(t),T - t) = E E aij (x(t),T - t), for t e [to,T].
ies jeiK(i)ns
4. Dynamic Owen Value
There are many different cooperative solution concepts for differential network game. For example, Core, the Shapley value (Shapley, 1953), T-value (Tijs, 1987), etc. These solutions of cooperative dynamic games were investigated in papers (Tur and Petrosyan, 2022; Petrosyan et al., 2021a). All these solutions are based on distribution of the worth of the grand coalition. In this section, we consider the case when the players are organized in coalition structure and find the Owen value (Owen, 1977) for this type of cooperative game. After that, we give some comparison with the Shapley value.
A coalition structure on a player set N is a finite partition P = {Pi,... ,Pm} of m non-empty, disjoint subsets of N, i.e. um=1Pk = N and Pk n P; = 0 for all k, l e {1,... ,m}, k = /.In the following the set of coalitions in the coalition structure P = {P^ ..., Pm} is denoted by M = {1,..., m} with k e M representing coalition Pk e P. Furthermore, cooperative dynamic game in coalition structure P is denoted by (N, V, P). The collection of all coalition structures on N is denoted by PN.
Using (Owen, 1977) and (van den Brink and van der Laan, 2005) define the Owen value for our characteristic function as
OWi(P,xo,T - to)= E E 1 L 1 Km |- 1)! ( 1 E |- ^ 1-1 E 1 )! x
< J < J <m !
LcM, EcPk, m! |P |!
L^k E3i
(V(E U P(L); xo, T - to) - V(E\{i} U P(L); xo, T - to)), (9)
where i e Pk e P, k e M, P(L) = Uj£LPj. We remark that the Owen value reduces to the Shapley value when P = {N} or when P = {{i}igN}. The weights of the marginal values are a product of two 'Shapley weights', reflecting the fact that first coalitions enter subsequently in a random order and that within each coalition the players enter subsequently in a random order.
Invoking (5), in our case, we can obtain the cooperative payoff of player i e Pk e P under the Owen value as
(P T t ) V- y |L|!(m - |L| - 1)! (|E|- 1)!(|Pfc| - |E|)!
ow-i(P,x°,T-to)= ^ ^-m--pH-x
LcM, EcPfc, 1 k 1
L^k E3i
rT
I to
E E /. hj(^(t),xj(T))dr - (10)
^ieEUP(L) jeiK(i)nEUP(L) '
E E / hj(xi(T),xj(t))dr I , i G Pfc G P, k G M.
¿eE\{i}up(L) jeiK(i)nE\{i}up(l) to )
In a dynamic game, the agreed upon optimality principle for sharing the gain has to be maintained throughout the cooperation duration (Yeung and Petrosyan, 2004; Yeung and Petrosyan, 2016) for a dynamically consistent solution. Applying the Owen value imputation in (10) to any time instance t G [t0,T], we obtain:
0W(Px«,T-1)= E E < 1 ^ 1-1 E )!x
LCM, EcPk, ! 1 k |!
L^k E3i
E E T hj(^(t),xj(t))dT - (11)
vieEup(L) jeiK(j)nEup(l) t
E E / hj(^(t),xj(t))dT I , i G Pfc G P, k G M.
¿eE\{i}up(L) jeiK(i)nE\{i}up(L) to J
Proposition 1. The Owen value imputation in (10)-(11) satisfies the time consistency property.
Proof. The proof of proposition follows from direct computation by (10)- (11). Since, we have
(P T t ) ^ V |L|!(m — |L| — 1)! (|E|- 1)!(|Pfc| — |E|)!
OWi(p,xo,T—to)= E E-m--p~P-x
LcM, EcPfc, 1 k 1
L^k E3i
I £ £ f4 hj (xj(t),xj(t))dr - (12)
VEEUP(L) jeK(i)n£UP(L) 40
- £ £ f hj(xi(T),xj(T))dT | + OWj(P,x(t),T -t),
¿eE\{i}up(L) jeiK(i)nE\{i}up(l) 4 0 /
i G Pk G P, k G M which exhibits the time consistency property of the Owen value imputation OWj(P,x(i),T -t), for t G [t0, T].
5. Example
Introduce additional notations before considering the example.
«¿j(xo,T - to) + aji(xo,T - to) = «¿j + «ji = A,- = Ajj = A(i, j) (13)
Example. Consider the following 5 player network game with coalition structure P = {Pi,P2}, Pi = {1,5}, P2 = {2, 3,4} (see Figure 1).
{2, 3,4}
The values of defined above characteristic function are
V ({1}) = V ({2}) = V ({3}) = V ({4}) = V ({5}) = 0,
V ({1,2}) = «12 + «21 = A(1,2)
V({1, 3}) = V({2, 5}) = V({3,4}) = V({3, 5}) = 0
V ({1,4}) = «14 + «41 = A(1,4)
V ({1,5}) = «15 + «51 = A(1,5)
V ({2,3}) = «23 + «32 = A(2,3)
V ({2,4}) = «24 + «42 = A(2,4) V({4, 5}) = «45 + «54 = A(4, 5)
V ({1,2,3}) = «12 + «21 + «23 + «32 = A(1,2) + A(2,3)
V ({1,2,4}) = «12 + «21 + «24 + «42 + «14 + «41 = A(1,2) + A(2,3) + A(2,4)
V ({1,2,5}) = «12 + «21 + «15 + «51 = A(1,2) + A(1,5)
V ({1,3,4}) = «14 + «41 = A(1,4)
V ({1,3,5}) = «15 + «51 = A(1,5)
V ({1,4,5}) = «15 + «51 + «14 + «41 + «45 + «54 = A(1,5) + A(1,4) + A(4,5)
V({2, 3,4}) = «23 + «32 + «24 + «42 = A(2, 3) + A(2,4) V({2, 3, 5}) = «23 + «32 = A(2, 3) V({2, 4, 5}) = «45 + «54 = A(4, 5) V({3, 4, 5}) = «45 + «54 + «24 + «42 = A(4, 5) + A(2,4)
V({1, 2, 3, 4}) = «12 + «21 + «23 + «32 + «14 + «41 + «24 + «42 = A(1, 2) +
A(2, 3) + A(2,4) + A(1,4)
V({1, 2, 3,5}) = «12 + «21 + «23 + «32 + «15 + «51 = A(1, 2) + A(2, 3) + A(1,5)
V({1, 2, 4, 5}) = «12 + «21 + «14 + «41 + «45 + «54 + «15 + «51 + «24 + «42 = A(1, 5) + A(1,4) + A(1, 2) + A(2,4) + A(4,5)
V({1, 3,4,5}) = «14 + «41 + «45 + «54 + «15 + «51 = A(1,4) + A(1, 5) + A(4,5) V({2, 3,4,5}) = «23 + «32 + «24 + «42 + «45 + «54 = A(2, 3) + A(2,4) + A(4,5) V({1, 2, 3, 4, 5}) = «12 + «21 + «14 + «41 + «15 + «51 + «23 + «32 + «24 + «42 + «45 + «54 = A(1,2) + A(1,4) + A(1,5) + A(2, 3) + A(2,4) + A(4, 5) Computing the Owen value by (9) and taking into account notations (5), (13) we obtain
OW = A(1, 5) + A(1,2) + A(1,4) OW = A(1, 2)+ A(2, 3) + A(2,4) 1 2 , 2 2 '
ow3 = AM ow4 = 4) + a(42 5) + 4), ow5 = 5) + 5).
Remark. It is not difficult to check that the Owen value coincides with the Shapley value and t-value in this example.
6. Conclusion
Differential cooperative network games with coalition structure are considered. As optimality principle in this game we used the Owen Value introduced by Owen, 1977. The example is provided.
References
Bulgakova, M. and Petrosyan, L. (2019). About one multistage non-antagonistic network game. Vestnik of Saint Petersburg University. Applied Mathematics. Computer Science. Control Processes, 5(4), 603-615. https://doi.org/10.21638/11701/spbu10.2019.415 (in Russian).
Cao, H., Ertin, E. and Arora, A. (2008). MiniMax Equilibrium of Networked Differential Games. ACM TAAS 3(4), 1-21. https://doi.org/10.1145/1452001.1452004
Gao, H. and Pankratova, Y. (2017). Cooperation in Dynamic Network Games. Contributions to Game Theory and Management, 10, 42-67.
Gromova, E. (2016). The Shapley Value as a Sustainable Cooperative Solution in Differential Games of Three Players. In: Petrosyan, L., Mazalov, V. (eds.). Recent Advances in Game Theory and Applications. Static & Dynamic Game Theory: Foundations & Applications, pp. 67-89. Birkhauser, Cham. https://doi.org/10.1007/978-3-319-43838-2_4
Meza, M. A. G. and Lopez-Barrientos, J. D. (2016). A Differential Game of a Duopoly with Network Externalities. In: Petrosyan, L., Mazalov, V. (eds.). Recent Advances in Game Theory and Applications. Static & Dynamic Game Theory: Foundations & Applications, pp. 49-66. Birkhauser, Cham. https://doi.org/10.1007/978-3-319-43838-2
Owen, G. (1977). Values of Games with a Priori Unions. In R. Henn, R and Moeschlin, O. (eds.). Essays in Mathematical Economics and Game Theory, pp 76-88. Springer Verlag, Berlin.
Pai, H. M. (2010). A Differential Game Formulation of a Controlled Network. Queueing SY. 64(4), 325-358.
Petrosian, O. L., Gromova, E. V. and Pogozhev, S. V. (2016). Strong time-consistent subset of core in cooperative differential games with finite time horizon. Mat. Teor. Igr Pril., 8(4), 79-106 (in Russian). Petrosyan, L. A. (2010). Cooperative Differential Games on Networks. Trudy Inst. Mat. i
Mekh. UrO RAN, 16(5), 143-150 (in Russian). Petrosyan, L. A. and Yeung, D. W. K. (2020). Shapley value for differential network games:
Theory and application. JDG, 8(2), 151-166. https://doi.org/10.3934/jdg.2020021 Petrosyan, L. and Pankratova, Y. (2022). Two Level Cooperation in Dynamic Network Games with Partner Sets. International Conference on Mathematical Optimization Theory and Operations Research. Springer, Cham. Petrosyan, L., Yeung, D.W.K. and Pankratova, Y. (2021). Dynamic Cooperative Games on Networks. Mathematical Optimization Theory and Operations Research: Recent Trends - 20th International Conference, MOTOR 2021, Revised Selected Papers. Strekalovsky, A., Kochetov, Y., Gruzdeva, T. and Orlov, A. (eds.). Springer Nature, pp. 403-416. https://doi.org/10.1007/978-3-030-86433-0_28 Petrosyan, L., Yeung, D. W. K. and Pankratova, Y. (2021). Cooperative Differential Games with Partner Sets on Networks. Trudy Instituta Matematiki i Mekhaniki UrO RAN, 27(3), 286-295. https://doi.org/10.21538/0134-4889-2021-27-3-286-295 Petrosyan, L. and Sedakov, A. (2019). Two-Level Cooperation in Network Games. In: Avrachenkov, K., Huang, L., Marden, J., Coupechoux, M. and Giovanidis, A. (eds.). Game Theory for Networks. GameNets 2019. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 277. Springer, Cham. https://doi.org/10.1007/978-3-030-16989-3_5 Shapley, L. S. (1953). A Value for N-person Games. In: Kuhn, H., Tucker, A. (eds.). Contributions to the Theory of Games, pp. 307-317. Princeton University Press, Princeton. Tijs, S.H. (1987). An axiomatization of the т-value. Math. Soc. Sci. 13, 177-181.
https://doi.org/10.1016/0165-4896(87)90054-0 Tur, A. and Petrosyan, L. (2022). The Core of Cooperative Differential Games on Networks. In: Pardalos, P., Khachay, M., Mazalov, V. (eds.). Mathematical Optimization Theory and Operations Research. MOTOR 2022. Lecture Notes in Computer Science, vol 13367. Springer, Cham. https://doi.org/10.1007/978-3-031-09607-5_21 van den Brink, R. and van der Laan G. (2005). A class of consistent share functions for
games in coalition structure. Games Econ Behav., 51, 193-212. Wie, B.W. (1995). A Differential Game Approach to the Dynamic Mixed Behavior Traffic Network Equilibrium Problem. Eur. J. Oper. Res., 83(1), 117-136. https://doi.org/10.1002/net.3230230606 Yeung, D.W.K. (2010). Time Consistent Shapley Value Imputation for Cost-saving Joint
Ventures. Mat. Teor. Igr Pril., 2(3), 137-149. Yeung, D.W.K. and Petrosyan, L. A. (2004). Subgame Consistent Cooperative Solution in Stochastic Differential Games. J. Optimiz. Theory. App., 120(3), 651-666. https://doi.org/10.1023/B:JOTA.0000025714.04164.e4 Yeung, D.W.K. and Petrosyan, L. A. (2016). Subgame Consistent Cooperation: A Comprehensive Treatise, Springer.
Yeung, D.W.K. and Petrosyan, L. A. (2018). Dynamic Shapley Value and Dynamic Nash
Bargaining, New York: Nova Science. Zhang, H., Jiang, L.V., Huang, S., Wang, J. and Zhang, Y. (2018). Attack-Defense Differential Game Model for Network Defense Strategy Selection. IEEE Access. https://doi.org/10.1109/ACCESS.2018.2880214