HAL Id: hal-01474250
https://hal-amu.archives-ouvertes.fr/hal-01474250
Submitted on 29 Nov 2018
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Distributed under a Creative Commons Attribution| 4.0 International License
Network games under strategic complementarities
Mohamed Belhaj, Yann Bramoullé, Frédéric Deroïan
To cite this version:
Mohamed Belhaj, Yann Bramoullé, Frédéric Deroïan. Network games under strategic complementari- ties. Games and Economic Behavior, Elsevier, 2014, 88 (C), pp.310–319. �10.1016/j.geb.2014.10.009�.
�hal-01474250�
Network games under strategic complementarities
Mohamed Belhaj
a, Yann Bramoullé
b,∗ , Frédéric Deroïan
b,
1aCentraleMarseille(Aix-MarseilleSchoolofEconomics),CNRS&EHESS bAix-MarseilleUniversity(Aix-MarseilleSchoolofEconomics),CNRS&EHESS
a b s t r a c t
Keywords:
Networkgames
Strategiccomplementarities Centrality
UniquenessInterdependence
Westudynetwork gamesunder strategic complementarities.Agentsare embeddedina fixednetwork.Theychooseapositive,continuousactionandinteractwiththeirnetwork neighbors.Interactions arepositiveandactions areboundedfromabove.Wefirstderive newsufficientconditionsforuniqueness,coveringallconcaveaswellassomenon-concave bestresponses.We thenstudytherelationshipbetweenpositionand actionandidentify situationswhere amore central agent alwaysplaysa higheraction inequilibrium.We finallyanalyzecomparativestatics.We showthatashockmaynotpropagatethroughout theentirenetworkanduncoverageneralpatternofdecreasinginterdependence.
1. Introduction
Inthispaper,westudynetworkgamesunderstrategiccomplementarities.Agentsareembeddedinafixednetworkand choose a positive, continuous action. We assume that actions are bounded fromabove. Agents play a game of strategic complementswiththeirnetworkneighbors.Anagent’sactionisstrictlyincreasinginherneighbors’actionsuntilitreaches its upperbound.Thismaycapture, forinstance,peers’influenceincriminalactivityorarms racebetweencountries.2 We do notimpose furtherassumptions onthe shapeofthebest response.It couldbe linear,concave,convexorofchanging curvaturebelowtheupperbound.OurmainobjectiveistoanalyzetheNashequilibriaofthesenetworkgames.
Wehavethreemaincontributions.First,wederivenewsufficientconditionsforuniqueness.Ourresultsprovidethefirst applicationofageneralprincipleoflocalizedcontraction.Insupermodulargames,contractionoftheiteratedbestresponse for ordered profiles lying betweenthe extremal equilibriaguarantees uniqueness. We show how to apply thisprinciple undervariouscurvatureassumptionsonthebestresponses.Wefindthatlocalizedcontractionalwaysholdsunderconcavity.
UniquenessinthatcasefollowsfromtheresultsofKennan (2001).Ourapproachprovidesanalternativeproofbasedonvery different premises.Under convexity,we provethat localizedcontraction holdswhenthe bestresponseis nottooconvex.
Andweobtainasufficientuniquenessconditionforarbitrarybestresponses.
Second,westudytherelationshipbetweennetworkpositionandactioninequilibrium.Wefirstshowthatmorecentral agentsmayplayaloweraction.Wethenidentifytwosituationswhereactionisunambiguouslyrelatedtoposition.Anagent
*
Correspondingauthor.E-mailaddress:[email protected](Y. Bramoullé).
1 WethankFedericoEchenique,MattJackson,threeanonymousrefereesandparticipantsofthe2012CoalitionTheoryNetworkandthe2013Journées Louis-AndréGérard-Varetforhelpfulcommentsanddiscussions.
2 WediscussthesetwoapplicationsinmoredetailinSection2below.
who hasfewer neighbors thananother inthe sense of setinclusion necessarilyplays alower action inany equilibrium.
Whenthe graphissymmetricandstructuredaround ageometric center,liketheline, actionisalignedwithcentralityin extremalequilibria.Theseresultsholdforanycurvatureofthebestresponsebelowtheupperbound.
Third,welookatcomparativestatics.Classicalresultsfromthetheoryofsupermodulargames tellusthatactioninan extremalequilibriumis weaklyincreasing inactions inisolation, upperboundsandlinkstrengths. Wethen studyhowa shockpropagatesthroughoutthenetwork.Wecharacterizepreciselywhoendsupbeingaffectedbyapositiveshockonone agent.Thepresenceandpositionsofbridgesbetweencommunitiesturnouttobecritical.Whenbridgingagentsreachtheir upperbounds,theystoptransmittinginfluenceacrossdifferentpartsofthenetworksandinterdependencemaybeseverely reduced.
Ouranalysiscontributestotheliteratureongamesplayedonfixednetworks. Alargepartofthisliterature todatehas studied games withlinear bestresponses.3 Ballester et al. (2006) studynetwork games underlinear best responses and smallnetworkeffects.TheyfindthattheequilibriumisuniqueandthatactionisalignedwithBonacichcentrality.However, noequilibriumexistsunderstrategiccomplementsandlargenetworkeffects.Agents’actionsfeedbackintoeachotherinan explosivewayanddivergetoinfinity.Thisdivergenceisunrealisticincontextswhereactionsarenaturallybounded.Intheir empiricalimplementationonpeereffectsandacademicachievement,Calvó-Armengolet al. (2009)discussthispossibility:
“Letusboundthestrategyspaceinsuchagamerathernaturallybysimplyacknowledgingthefactthatstudentshavea timeconstraintandallocatetheir timebetweenleisureandschool work.Inthatcase,multipleequilibriawillcertainly emerge,whichisaplausibleoutcomeintheschoolsetting.”,Calvó-Armengolet al.(2009,p. 1254)
We disprove their conjecture forpositive linear interactions. We extendBallester et al. (2006)’s analysisto situations withlargepositive networkeffectsandboundedactions.Weshow thatuniqueness holds.Wealsoshow thatequilibrium propertiesdifferquitedeeplyforsmallandlargeinteractions. Undersmallinteractions, amorecentralagentalways plays a higheraction andashock onone agent ends upaffecting every other agent inconnected networks. Incontrastunder large interactions,a morecentral agentmayplay a loweraction. Andan individual shockmaynotpropagate throughout thenetwork.
Tworecentpapers studynon-linearbestresponses innetworkcontexts. Hiller (2012)andBaetz (forthcoming) analyze networkgameswithhomogeneous concavebestresponses.TheyestablishuniquenessbyapplyingKennan (2001)’sresults.
Both papers then look atnetwork formation. In contrast,we consider fixed networks andheterogeneous best responses here. We alsoshow that Kennan (2001)’sresults apply.We providean alternative approach, coveringconcave aswell as importantcasesofnon-concavebestresponses.Wetheninvestigatestructuralpropertiesoftheequilibria.
Ourstudyalsocontributestotheliteratureonsupermodulargames.4 Weprovideoneofthefirstcrossoversbetweenthe theoriesofnetworkgamesandofsupermodulargames.Galeottiet al. (2010)studynetworkgamesunderstrategiccomple- mentswhenagentshaveincompleteinformationonthenetwork.Weanalyzeagameofcompleteinformationhere.5 Belhaj and Deroïan (2010) studycommunication efforts under strategic complements and indirect network interactions, when agentsplayonspecificsymmetricnetworks.Incontrast,weanalyzedirectnetworkinteractionsandarbitrarynetworks.Our analysisnotablyappliestotwoimportantcontexts:criminalactivityandarms race.Wecombineclassicalresultsfromthe theoryofsupermodulargameswithnetworkargumentstounderstandstructuralfeaturesoftheequilibria.
The restofthe paperisorganized asfollows.We presentthemodelanddiscussapplications inSection 2.We derive new sufficient conditions for uniqueness in Section 3. We study the relation between network position and action and comparativestaticsinSection4.WeconcludeinSection5.
2. Themodel
We considerthe followingnetwork games ofstrategic complements.Societyis composed ofn agents embedded ina fixednetwork,representedbyann
×
nmatrixG.The(
i,
j)
thentrygi j isanon-negativerealnumberrepresentingthelink between i and j. We consider an arbitraryweighted network. Formally gi j∈ R
+ and, by convention, gii=
0.Agent i is directlyaffectedbyagent j ifgi j>
0 andgi j thenmeasuresthestrengthoftheirrelationship.Wedonotimposesymmetry so gi j coulddifferfrom gji.Agentschooseactions xi
∈ [
0,
bi]
andplayagamewithbestresponsefi
(
x−i) =
minai
+ ϕ
i nj=1
gi jxj
,
bi(1)
wherebi
>
0 denotestheupperboundoni’saction;aidenotesi’soptimalactionabsentsocialinteractionswith0<
ai<
bi; andϕ
iisacontinuouslydifferentiablefunctionfromR
+intoR
+suchthatϕ
i(
0) =
0 andϕ
i>
0.Thefunctionϕ
i captures3 See,forinstance,Ballesteret al. (2006),BelhajandDeroïan (2013),BramoulléandKranton (2007),Bramoulléet al. (2014),Calvó-Armengolet al. (2009).
4 See,forinstance,MilgromandRoberts (1990)andVives (1990).
5 However,weobservethatanagentonlyneedstoknowhisneighbors’actionstobeabletoplayabestresponse.
theimpactofneighbors’actionsbelowtheupperbound.ANashequilibriumofthegameisaprofileofactionsxsuchthat
∀
i,
xi=
fi(
x−i)
.Ourmodelhasthreedistinguishingfeatureswithrespecttotherecentliteratureonnetworkgames.First,we focuson strategiccomplements.Anagent’sbestresponseisweaklyincreasinginothers’actions.6 Second,actionsareboundedfrom above byexogenouslygivenupperbounds.Asshownbelow,thishelpsguaranteeequilibriumexistence.Third,interactions neednotbelinearorconcave.Thefunctions
ϕ
i couldbelocallyorgloballyconvex.Wecanapplyclassicalresultsofthetheoryofsupermodulargamestostudygameswithbestresponses(1).Toseewhy, considerthegame
Γ
withstrategiesxi∈ [
0,
bi]
andpayoffsui
(
xi,
x−i) =
aixi−
1 2x2i+
xiϕ
nj=1 gi jxj
(2)
Note that
[
0,
bi]
is a complete lattice and∂
2ui/∂
xi∂
xj=
gi jϕ
(
nj=1gi jxj
) ≥
0,∀
i=
j. Therefore,Γ
is supermodular (MilgromandRoberts,1990).Inparticular,Γ
alwayshasasmallestandalargestNashequilibrium.AndsinceNashequilib- riaonlydependonthebestresponses,thispropertyholdsforanygamewithbestresponses(1).Tosumup,Corollary1.(SeeMilgromandRoberts,1990.)Anygamewithbestresponse(1)hasasmallestandalargestNashequilibrium.
Suchpositivenetworkinteractionsmayemergeinavarietyofcontexts.Wenextdescribetwoexamplesinsome detail:
crimeandarmsrace.Researchershavedocumentedthepowerfulroleplayedbysocialinteractionsindeterminingcriminal activity (Glaeser et al., 1996; Bayer et al.,2009). Building onCalvó-Armengol andZenou (2004), Liuet al. (2014) model choicesofcriminaleffortsinadelinquentnetworkasNashequilibriaofagamewithpayofffunctions
vi
(
xi,
x−i) =
aixi−
12x2i
+ δ
i
gi jxixj
whereeffortisassumedtobenon-negative,xi
∈ R
+.Hereai>
0 includesindividualdeterminantsofcriminalactivitywhileδ
igi jxixjcapturestheinfluenceofpeers’behaviors.Inthiscase,individualbestresponseissimplylinear:
fi
(
x−i) =
ai+ δ
nj=1
gi jxj (3)
Linear networkgames havebeenanalyzedinBallesteret al. (2006) andBallesterandCalvó-Armengol (2010).Observe thatifxisanequilibrium,wehavex
=
a+ δ
Gxandhence,throughrepeatedsubstitutions,x
=
a+ δ
Ga+ δ
2G2a+ · · · + δ
tGta+ δ
t+1Gt+1xforanyt
∈ N
.Denotebyλ
max(
G)
thelargesteigenvalueofmatrixG.Therearetwocases.Ifδλ
max(
G) <
1,thepreviousseries convergesandthereisa uniqueequilibriumgivenby x= (
I− δ
G)
−1a.Underhomogeneity(∀
i,
ai=
a),actions arealigned withBonacichcentralities inthenetwork.7 Amorecentralagent alwaysplays ahigheraction.Incontrastifδλ
max(
G) ≥
1, theprevious seriesdivergesandthereisnoequilibrium.Facedwiththisexistence issue,researchershave,sofar, typically imposed the assumptionthatδλ
max(
G) <
1. Thisisnot very satisfactory. Itmeans restrictingattentiontorelatively small networkeffects.Andthisinequalitymaynotholdempirically(Calvó-Armengolet al.,2009).The assumption that actionis unboundedis unrealisticin mostempiricalcontexts, however.With crime, presumably, xireachessomenaturalupperboundbi forindividualswhohavebecomefull-timecriminalsandarenotengagedinlegal activities anylonger.IfwekeepthesamepayoffsasinLiuet al. (2014)andintroduceupperboundsbi,thebestresponse becomesacensoredversionof(3):
fi
(
x−i) =
minai
+ δ
nj=1
gi jxj
,
bi(4)
Best response (4)isa particularcaseof (1)with
ϕ
i(
x) = δ
x,andhencean equilibriumnow existsforanyδ
.In addition, theassumptionthatthemarginalimpactofpeers’actionsonownmarginalutilityisconstantandthesameforeveryoneis quitespecific.Inreality,thismarginalimpactmaywell dependontheindividualandonthelevelofpeers’actions,which wouldleadtopayoffs(2)andbestresponses(1).Forinstance,anindividualmaybemoresusceptibletocriminalinfluence oncehisfriendsarereallycommittedtocriminalactivity(ϕ
iconvex)eventhoughsuchsusceptibilitymaythentaperoffas friendsgetclosetofull-timecrime(ϕ
iconcave).6 SeeBramoulléandKranton (2007)andBramoulléet al. (2014)forananalysisofnetworkgameswithlinearbestresponsesandstrategicsubstitutes.
7 TheprofileofBonacichcentralitiesisdefinedasc=(I−δG)G1(Bonacich,1987),whichyieldsx=a(1+δc).
Armsraceprovidesanothercontextwherenetworkeffectsmatter.MilgromandRoberts (1990)modelarmsracebetween twocountriesastheoutcomeofagamewithstrategiesxi
∈ [
0,
b]
andpayoffsπ
i(
xi,
x−i) =
B(
xi−
x−i) −
C(
xi)
.Toextendthis modelto manycountries,relationships betweencountrieshavetobe takenintoaccount. Militaryalliancesandhistorical partnershipslikelyshapeuptheinteractioninarms’ expenditures.Acountryprobablyworriesmoreabouttheincrease in thearmament ofapotentialfoethanofalong-timepartnerandally.Thus,onewaytoextendthismodeltoncountriesis toassumethatπ
i(
xi,
x−i) =
Bxi
−
nj=1
gi jxj
−
C(
xi)
wheregi j
=
1 ifcountry j isapotentialfoeofcountryi.Here,thenetworkGrepresentsantagonisticrelationships.Inwhat follows,we assume that B andC are twice continuously differentiable, B is strictly increasing andstrictly concave,C is strictlyincreasingandstrictlyconvex,B(
0) >
C(∞)
andB(∞) <
C(
0)
.Denote by a the unique value such that B
(
a) =
C(
a)
where a represents optimalarmament in isolation. Denote by I(
x) =
xtheidentityfunctionandintroduceϕ = (
I− (
B)
−1◦
C)
−1−
athefunctionsuchthat:8∀
x,
Bϕ (
x) +
a−
x=
Cϕ (
x) +
aThen, observe that the best response of the arms race game between n countries is given by fi
(
x−i) =
min(
a+ ϕ (
nj=1gi jxj
),
b)
. A country tends to increase his armament when his potential opponents increase theirs,and the im- pactofothers’armament levelsdependsonthebenefitsandcosts.InadditionifbenefitsBiandcostsCiareheterogeneous, we wouldhaveheterogeneous armaments in isolationai andimpactsofenemies’armsϕ
i andhencea particularcaseof bestresponse(1).Ourmain objectiveinthe remainderof thepaperis toanalyzethe Nash equilibriaofgameswithbest responses (1).
We investigatethree issuesin particular.When is therea unique equilibrium?How doestheposition inthe network of interactionsaffectequilibriumaction?AndhowdoNashequilibriadependontheparametersofthegame?
3. Uniqueness
In this section, we identify a new class of games with strategic complements which have a unique equilibrium. We derive formal conditions under which the iterated best response is contracting over ordered profiles lying between the extremal equilibria. This localized contraction leads to uniqueness in thissubset and, since it contains all equilibria, to globaluniqueness.Thismayhappeneven withlarge networkeffectsandwhenthe bestresponseisnon-contractingover largeportionsoftheoriginalstrategyspace.
We firstderive ourmain technicalresult. Weprovide asufficient condition foruniqueness involvingthesmallestand the largest equilibrium. We then build on thiscondition to prove uniqueness under various assumptions on the game’s exogenous parameters.Let xandX denote thesmallestandlargest equilibriumanddenoteby I
= {
i:
xi<
bi}
theset of agentswhoplayaninterioractioninthesmallestequilibrium.Lemma1.If
∀
i∈
I,
ai+ ϕ
i(
nj=1gi jxj
) >
Ki(
nj=1gi jxj
)
whereKi=
supϕ
iover[
nj=1gi jxj
,
nj=1gi jXj
]
,thenthegamehasa uniqueequilibrium.Proof. Weprovethisresultinfoursteps.
1. Sincexisanequilibrium,
∀
i,xi=
fi(
x−i)
andhence,∀
i∈
I,
xi=
ai+ ϕ
i nj=1
gi jxj
SubtractKi
(
nj=1gi jxj
)
frombothsidesoftheequalityandapplytheLemma’sconditions:∀
i∈
I,
xi−
Ki nj=1
gi jxj
>
02. DenotebyHthematrixdefinedover Isuchthat
∀
i,
j∈
I,
hi j=
Kigi j.Introduce zi=
xi−
Kinj=1gi jxj,
∀
i∈
I.Denote byxI therestrictionofprofilexto I.Throughsuccessivesubstitutions,wecanwrite:xI
=
z+
HxI=
z+
Hz+
H2xI= · · · =
ts=0
Hsz
+
Ht+1xIforanyintegert.Since
∀
i∈
I,
zi>
0 andxi>
0,thisisonlypossibleifHt convergesto0ast tendstoinfinity.8 Thefunctionϕiswell-definedsinceI−(B)−1◦Cisstrictlyincreasing.
3. Let S
= {
y∈ R
n+:
x≤
y≤
X}
be the setof actionprofiles lying betweenthe smallestand largestNash equilibrium.Observefirstthatf
(
S) ⊂
S.SincefisweaklyincreasingandxandXareequilibria,thebestresponseofanyprofileinSlies in S.Next,foranyy,
y∈
Ssuchthaty≤
y,wehave:0
≤
f y−
f(
y) ≤ ϕ
y− ϕ (
y) ≤
H y−
ywherethefirstinequalityfollowsfromthemonotonicity ofthebestresponse;thesecond inequalityfromtheexamination ofpossiblecases9 andthethirdinequalityfromthemeanvaluetheoremandthedefinitionofKiandH.
4. Applythepreviousinequalitytof
(
y)
andf(
y)
:0≤
f2(
y) −
f2(
y) ≤
H(
f(
y) −
f(
y)) ≤
H2(
y−
y)
sinceHhasnon-negative entries. By induction, 0≤
ft(
y) −
ft(
y) ≤
Ht(
y−
y)
for anyt≥
1. Since Ht converges to 0, thereexists C<
1 such that ft(
y) −
ft(
y) ≤
Cy−
yforthighenough.Applytoy=
xandy=
X.Sinceft(
x) =
xandft(
X) =
X,X−
x≤
CX−
x andX−
x=
0.ThegamehasauniqueNashequilibrium.2
We now show how to apply Lemma 1 to prove uniqueness for various assumptions on the games’ exogenous pa- rameters. Consider linear best responses first:
ϕ
i(
u) = δ
iu. In that case, observe that Ki= δ
i and ai+ ϕ
i(
nj=1gi jxj
) =
ai+ δ
i(
nj=1gi jxj
) > δ
i(
nj=1gi jxj
)
since ai>
0. Thus,the conditionsof Lemma 1always hold whentheϕ
i’s are linear.More generally,weshow nextthat theseconditionsnecessarilyholdwhenthe
ϕ
i’sareconcave.Underconcavity,Kennan (2001)’sclassicalresultsalsoapplyhere.Kennan (2001)’sanalysisandoursarebasedonverydifferentpremises,however.Ourapproachthusprovidesanalternativewaytoshowuniquenessunderconcavity.
Proposition1.Supposethat
∀
i, ϕ
iisconcave.Then,thegamehasauniqueNashequilibrium.Proof. Wederivetwoalternativeproofsofthisresult.WeshowthatLemma 1andTheorem1ofKennan (2001)bothapply here.
1. Since
ϕ
iisconcaveandϕ
i(
0) =
0,∀
u≥
0, ϕ
i(
u) ≥
uϕ
i(
u)
.Thisimpliesthat:ai
+ ϕ
i nj=1
gi jxj
> ϕ
i nj=1
gi jxj
≥ ϕ
i nj=1
gi jxj
nj=1
gi jxj
=
Ki nj=1
gi jxj
where the equality comes from the fact that
ϕ
i is weakly decreasing. Therefore, the condition of Lemma 1 holds and uniquenessfollows.2. Introduce h
(
x) =
f(
x) −
x. Since f is weakly increasing, h is “quasi-increasing”.10 We next show that h is“strictly radially quasiconcave”. Consider x suchthat h(
x) =
0 andλ ∈ ]
0,
1[
.We need toshow that∀
i,
hi(λ
x) >
0.There are two cases.(1)Ifxi=
ai+ ϕ
i(
jgi jxj
)
,thenhi(λ
x) = (
1− λ)
ai+ ϕ
i(λ
jgi jxj
) − λ ϕ
i(
jgi jxj
)
.Sinceϕ
iisconcaveandϕ
i(
0) =
0,ϕ
i(λ
u) ≥ λ ϕ
i(
u) ∀
u>
0 and hi(λ
x) ≥ (
1− λ)
ai>
0.(2). If xi=
bi, then hi(λ
x) =
fi(λ
x−i) − λ
bi. If fi(λ
x−i) =
bi, then hi(λ
x) = (
1− λ)
bi>
0. Otherwise, fi(λ
x−i) =
ai+ ϕ
i(λ
jgi jxj
) ≥ (
1− λ)
ai+ λ(
ai+ ϕ
i(
jgi jxj
)) ≥ (
1− λ)
ai+ λ
bi and hi(λ
x) ≥ (
1− λ)
ai>
0.Therefore,Theorem1inKennan (2001)applies.2
We consider convexfunctions next. We can see that strong convexity in the best responses easily leads to multiple equilibria.Foruniquenesstoholdunderconvexity,theextentofthecurvaturemustbesomehowbounded.Thisisprecisely whatweobtainwhenapplyingLemma 1toconvexfunctions.DefineBi
=
jgi jbjasthelargestpossiblelevelofneighbors’
actions,fromagenti’spointofview.
Proposition2.Supposethat
∀
i, ϕ
iisconvex.If∀
i,
ai+ ϕ
i(
Bi) > ϕ
i(
Bi)
Bi,thenthegamehasauniqueNashequilibrium.Proof. Since
ϕ
iisconvex,ϕ
iisweaklyincreasingandKi= ϕ
i(
nj=1gi jXj
) ≤ ϕ
i(
Bi)
.Considertheauxiliaryfunctionψ
i(
u) =
ai+ ϕ
i(
u) − ϕ
i(
Bi)
u. We have:ψ
i(
u) = ϕ
i(
u) − ϕ
i(
Bi) ≤
0 if u≤
Bi. Therefore,ψ
i is weakly decreasing over[
0,
Bi]
andψ
i(
nj=1gi jxj
) ≥ ψ
i(
Bi)
.Notethatψ
i(
Bi) >
0 amountspreciselytotheconditionstatedintheProposition.Thismeansthat ai+ ϕ
i(
nj=1gi jxj
) > ϕ
i(
Bi)(
nj=1gi jxj
) ≥
Ki(
nj=1gi jxj
)
andLemma 1’sconditionholds.2
Toillustrate thisresult,considerfunctionswithconstantelasticity:
ϕ
i(
u) = δ
iuηi withη
i>
1.Proposition 2’s sufficient conditionbecomes:ai
> δ
i( η
i−
1)
Bηiiwhichismoreeasilysatisfiedwhenaiislarge,
δ
i issmalland,ifBi≥
1,whenη
iiscloserto1.9 If fi(y−i)=bi,then fi(y−i)=bi.If fi(y−i)<bi,then fi(y−i)−fi(y−i)=fi(y−i)−(ai+ϕi(
jgi jyj))≤ϕi(
jgi jyj)−ϕi(
jgi jyj). 10 WerefertoKennan (2001)fordetailsandformaldefinitions.
Finally,we derivea sufficientuniqueness condition forfunctionswitharbitrarycurvature.Define Ai
=
jgi jaj asthe smallestpossiblelevelofneighbors’actions.
Proposition3.If
∀
i,
ai+ ϕ
i(
Bi) >
KiBiwithKi=
supϕ
iover[
Ai,
Bi]
,thenthegamehasauniqueequilibrium.Proof. Letu
∈ [
Ai,
Bi]
.Byassumption,ai+ ϕ
i(
Bi) >
KiBi.Subtractingϕ
i(
u)
yieldsϕ
i(
Bi) − ϕ
i(
u) >
KiBi−
ai− ϕ
i(
u)
.Bythe meanvaluetheorem,ϕ
i(
Bi) − ϕ
i(
u) ≤
Ki(
Bi−
u)
.Combiningbothinequalitiesleadstoai
+ ϕ
i(
u) >
KiuSince Ki
≥
Ki,applyinginu=
nj=1gi jxjleadsto ai
+ ϕ
i nj=1
gi jxj
>
Ki nj=1
gi jxj
andLemma 1applies.
2
Therefore,uniquenessmayprevaileveninthepresenceofconvexitiesandlargenetworkeffects.Whenpositivefeedbacks are initiallyexplosive, some agentswill quicklyreachtheir upper bounds.This tendsto dampenthe interactionandthis dampening may be sufficiently strong to yield uniqueness. Our results clarify the circumstances under which the best responsesatisfiesacontractingpropertybetweentheextremalequilibria.Suchlocalizedcontractionalwaysholdsforlinear andconcavebest responses.It mayalsoholdunderconvexbestresponses (below theupperbound)whenthe convexity isnot too strong.Whilethe uniqueness resultsforconcavebest responses are notnew, they hadnotbeen connectedto localizedcontractionbeforeandtheresultsforconvexandarbitraryfunctionsarenew.
Even though simple analytical expressions for equilibrium actions are generallyout of reach, they can be computed easily withthe help of classical algorithms. Inparticular, we know that inthese games repeatedmyopic bestresponses convergerapidly andmonotonicallytowards the smallestequilibriumwhen starting fromthesmallest profile(
∀
i,
xi=
0) andtowardsthelargestequilibriumwhenstartingfromthelargestprofile(∀
i,
xi=
bi)(Vives,1990; Echenique,2007).Thus, bothdynamic processesconvergetowardstheequilibriumunderuniquenessandwemakeuseofthesealgorithmsinour examplesbelow.Inthenext section, weanalyzethepropertiesofNash equilibriainsome detail.Wefirstlook athow positionsinthe networkaffectactions.Wethenfocusoncomparativestatics.Ourresultsapplytoanygamewithbestresponses(1).Under multiplicity,theyapplytoextremalequilibriaandinoneinstance,toallequilibria.Underuniqueness,theyhelpcharacterize theequilibrium’sstructuralproperties.
4. Equilibriumproperties 4.1. Networkpositionandaction
Inthissection,westudyhowanagent’spositioninthenetworkaffectshisactioninequilibrium.Tofocusontheeffect ofthestructure,weassumethroughoutthesectionthatagentscanonlydifferintheirnetworkpositionsandthatlinksare binary.Formally,
∀
i,
ai=
a,bi=
b,ϕ
i= ϕ
and∀
i,
j,
gi j∈ {
0,
1}
.Bestresponsesarethengivenby:fi
(
x−i) =
mina
+ ϕ
nj=1 gi jxj
,
b(5)
Weestablish,first,thattheupperboundhasastrongimpactontherelationshipbetweenpositionandaction.Consider linearbestresponses:
ϕ (
u) = δ
u.Withnoupperboundandsmallnetworkeffects,equilibriumactionsarealignedwiththe Bonacichcentralitiesoftheagentsinthenetwork(Ballesteret al.,2006). Weshownowthatthisalignment maynot hold inthepresenceofanupperbound.Consider the networkdepicted inFig. 1. Ithas eightnodes andtwo cliques:one composed ofagents1 to4 andthe triangle6-7-8.11Inaddition,agent5inthemiddleisconnectedtoagents4and6.When
δ =
0.
3 andactionsareunbounded, theequilibriumissuchthatx5≈
7.
9>
x6≈
5.
7.12Eventhoughagent6hasonemoreneighborthanagent5,hisneighbors arenotverycentral.Incontrast,agent5isconnectedtoagent4whoisthemostcentralagentinthegraph.Whenδ
isnot toolow,theeffectofindirectpathsdominate;agent5ismorecentralthanagent6andplaysahigheraction.Supposenext that actionsare boundedfromabove by L=
5.The equilibriumisnow suchthat x5≈
3.
7<
x6≈
4.
0.13 Agents1–4reach11 Acliqueisacompletelyconnectedsubgraph.
12 Thewholeequilibriumprofileisx≈(15.46,15.46,15.46,17.28,7.89,5.69,3.87,3.87). 13 Thewholeequilibriumprofileisnowx≈(5,5,5,5,3.70,3.99,3.14,3.14).
Fig. 1.A network for which action and centrality may not be aligned.
Fig. 2.An example of hierarchical community.
the upperboundandthisreducesthe actionpremiumthatagent 5gets fromhis linkwithagent4.Agent 6,whoisless central,nowplaysahigheraction.
Wenextidentifyspecificsituationsleading toaclear-cutrelationshipbetweenpositionandaction.Saythatagenti has fewer neighborsthan agent j inthe sense ofsetinclusion if
∀
k=
i,
j, gik≤
gjk.Agents i and j could be connected.For instanceinthegraphdepictedinFig. 1,agents7and8havefewerneighborsthanagent6andagents1,2and3havefewer neighbors thanagent 4 inthesense ofset inclusion.Agents i and j could alsobe disconnected.Forinstance,ifthe link between7and8isremoved inFig. 1,agents7andagents8nowhavefewer neighborsthanagent 5inthesense ofset inclusion.Inthesesituations,theactionsofthetwoagentscanalwaysbeordered.Proposition4.LetxbeanyNashequilibriumofagamewithbestresponses(5).Ifagenti hasfewerneighborsthanagent j inthe senseofsetinclusion,thenxi
≤
xj.Proof. Let x be a Nash equilibrium. Suppose first that gi j
=
0. Then,kgikxk
≤
kgjkxk. Therefore,
ϕ (
kgikxk
) ≤ ϕ (
kgjkxk
)
andmin(
a+ ϕ (
kgikxk
),
b) ≤
min(
a+ ϕ (
kgjkxk
),
b)
.Sincexisanequilibrium,thismeansthatxi≤
xj.Sup- posenextthatgi j=
1.Supposethatxi>
xj.Thisimpliesthatkgikxk
>
kgjkxkandxj
+
k=i,jgikxk
>
xi+
k=i,jgjkxk. Since
k=i,jgikxk
≤
k=i,jgjkxk,thenxj
>
xiwhichestablishesacontradiction.Therefore,xi≤
xj.2
We emphasize that Proposition 4 holdsfor anystrictly increasing function
ϕ
. Thisresult thereforeuncoversa robust property ofnetworkgameswithstrategiccomplements.Aniceimplicationisthat itleads toafullranking oftheactions fornestedsplitgraphs.Agraphisnestedsplit ifagentscanbe orderedsothat gkl=
1⇒
gi j=
1 wheneveri≤
k and j≤
l.Thesegraphsemerge,forinstance,asoutcomesofcentrality-basedmodelsofnetworkformation(Königetal.,2014) andas solutionsofnetworkdesignproblems(Belhajet al.,2013).Onnestedsplitgraphs,ifagent i hasalowerdegreethanagent jthenshehasfewerneighborsinthesenseofsetinclusion.ByProposition 4,wethenhavexi
≤
xj.Ifagenti hasthesame degreeasagent j,therearetwopossibilities.Eithertheyareunconnectedandtheyhavethesameneighbors:∀
k,
gik=
gjk. Ortheyareconnectedand∀
k=
i,
j, gik=
gjk.Ineithercase,Proposition 4impliesthatxi=
xj.Corollary2.Onnestedsplitgraphs,actionisanincreasingfunctionofdegreeinanyNashequilibriumofagamewithbestresponse(5).
Anotherfeaturethat mayhelpconnect positionandactionisgeometric symmetry.Inparticular, theanalysisofBelhaj and Deroïan (2010) applies here. Theystudysupermodular networkgames played on the lineandon more general“hi- erarchical communities”. These networks are defined by the following three features. (1) They are structured around a geometriccenter.(2)Degreesdecreasesweaklyasnodesgetfurtherawayfromthecenter.(3)Allagentsatagivendistance from thecenter havesymmetricpositions. An exampleofsuch graphs isgivenin Fig. 2; we refer toBelhajand Deroïan (2010) formore details andformal definitions. Inthese structures, eventhough neighborhoods are not nestedcentrality isunambiguous.An agentismorecentralwhen herdistancetothecenterislower.Theirmainresultstatesthatinthese graphs,actionisalignedwithcentralityinthesmallestandlargestNash equilibrium.Theiranalysisdirectlyappliestoour setup.
Corollary3.(SeeBelhajandDeroïan,2010.)Onthelineandonmoregeneralhierarchicalcommunities,actionisalignedwithcentrality intheextremalNashequilibria.
Fig. 3.Two communities connected by a bridge.
4.2. Comparativestaticsandbrokeninterdependence
Inthis section,we studycomparative statics ofgames withbestresponse (1).We look,inparticular, athow a shock propagatesinthenetwork.Wefirstderiveweakmonotonecomparativestaticsbyapplyingclassicalresultsfromthetheory ofsupermodulargames.
Corollary4(Weakmonotonecomparativestatics).Theactionofanyagentisweaklyincreasingina,bandGinthesmallestandin thelargestNashequilibrium.
Proof. Compute payoff cross-derivatives in the game
Γ
:∂
2ui/∂
xi∂
ai=
1;∂
2ui/∂
xi∂
aj=
0 if j=
i;∂
2ui/∂
xi∂
gi j=
xjϕ
(
kgikxk
)
;∂
2ui/∂
xi∂
gkl=
0 ifkl=
i j.Allthesederivativesaregreaterthanorequaltozero.ByTheorem6inMilgrom andRoberts (1990),actionxi intheextremalequilibriaisthen weaklyincreasing inall theseparametersforanyi.Next, definethesequenceyn(
b)
byy0(
b) =
0andyn+1(
b) =
f(
yn(
b),
b)
.Byinduction,weseethatb≤
b⇒
yn(
b) ≤
yn(
b)
.Since yn(
b)
converges to x(
b)
as n tends to infinity, this means that x(
b) ≤
x(
b)
. A similar argument applies to the largest equilibrium.2
Under strategic complements,direct and indirectnetwork effects are fully aligned. Consider, forinstance, the impact of an increase inai,the action ofagent i inisolation. The direct effectis to induceagent i to increase his action.As a consequence, agent i’s neighborswill also tend to increase their actions. In turn, their neighbors tend to increase their ownactions.Theimpactoftheoriginalshockpropagatesthroughoutthenetworkandallthedirectandindirecteffectsare greaterthanorequaltozero.Intheend,theactionofeveryother agentincreasesweakly.Thisstandsinsharpcontrastto setupswithstrategicsubstitutes,wheredirectandindirecteffectsaregenerallynotalignedandcomparativestaticscanbe quitecomplicated(Bramoulléet al.,2014).
Corollary 4coverstwodifferentsituations,however.Anincreaseinai couldleadtoanincreaseinxjoritcouldleavexj unaffected.Underlinearbestresponsesandsmallnetworkeffects,thesecondpossibilityisexcluded.Interdependenceis,in asense,maximal.If
ϕ
i(
u) = δ
uandδ
small,thenx= (
I− δ
G)
−1aand,ifGisconnected,∂
xi/∂
aj>
0∀
i,
j.Thepresence of upperboundsaffectsthispropertyquitedeeply.When anagent reacheshisupperbound,hestopsbeingatransmitterof influences in the network.Depending on how agentsare placed, interdependence maythen be broken andwhole parts of thenetworkmaybeunaffectedbyindividualshocks.Letusfirstillustratehowthiscanhappen.Considerlinearbestresponsesunderhomogeneity,binarylinksandthegraph depictedin Fig. 3.Society iscomposed of two communities ofequal size. In each community,every agent is connected to every other agent. In addition, one agent in the first community is connected to one agent in the second. The two communitiesarebridgedthroughauniquelink.ByProposition 1,theequilibriumisunique.Wecanshowthatthereexists twothresholdlevelsa∗1anda∗2 suchthatthefollowingpropertieshold.Ifa
<
a∗1,∂
xi/∂
aj>
0 foranytwoagentsiand j in thepopulation.Ifa∗1<
a<
a∗2,thenxi=
bforbothbridgeagents;∂
xi/∂
aj>
0 foranytwonon-bridgeagentsi and j inthe samecommunitywhile∂
xi/∂
aj=
0 ifiliesinonecommunityand jliesintheother.Finally,ifa≥
a∗2,everyagentplaysthe upperbound.Whenactionsinisolationaresmall,thebridgeplaysacrucialrole:ittransmitsshocksfromonecommunity totheother.Asactionsinisolationincrease,bridgeagentstendtoreachtheupperboundfirstbecauseoftheirmorecentral position.14Whenthishappens,theybecomeunresponsivetofurtherincreasesandthisturnsoffthetransmissionchannel.Wenowanalyzethisissuemoregenerally.Consideranextremalequilibrium.Denote by Pi
= {
j: (
∂∂axij
)
+>
0}
thesetofagents jwhoaffectiindirectlyinthesensethatanincreaseinajleadstoanincreaseinxi.15Forinstance,Pi
=
N\{
i}
under linearbest responses,smallnetwork effectsanda connectedgraph.Incontrast, Pi= ∅
ifxi=
bi.This setcan besimply characterized asfollows.Apath connectingi to j in G isa sequenceofagents i1=
i, i2,. . . , il=
j such that gisis+1>
0,∀
s∈ {
1,
2, . . . ,
l−
1}
.Proposition5.Inthesmallestandlargestequilibrium,agent j affectsagenti indirectlyifandonlyifthereisapathfromi to j inGin whichallagentsplayaninterioraction.
14 Observethatabridgeagentinonecommunityhasmoreneighborsthanothercommunitymembersinthesenseofsetinclusion.ByProposition 4,she alwaysplaysaweaklyhigheraction.
15 Thelowestandthehighestequilibriumarecontinuousfunctionsofa.Theleft- andright-derivativesofindividualactionxiwithrespecttoaj may differ,however.Wedenoteby(∂∂axi
j)+theright-derivative.Alternatively,wecouldconsiderthesetofagentsjsuchthatadecreaseinajleadstoadecrease inxiandtheanalysiswouldcarryover.
Proof. Supposethatxi
<
bi anddenoteby Ithesetofagentsplayinganinterioraction.Wehave:∀
i∈
I,
xi=
ai+ ϕ
ik∈I
gikxk
+
k∈/I gikbk
ThesetI doesnotchangefollowinganinfinitesimalincreaseinaj.Taketheright-derivativewithrespecttoaj.
∀
i∈
I, ∂
xi∂
aj += δ
i j+
k∈I gik
∂
xk∂
aj +ϕ
ik
gikxk
where
δ
i j=
1 ifi=
j and0 otherwise.IntroducethematrixHdefinedover Isuchthathi j=
gi jϕ
i(
kgikxk
)
,ejtheprofile suchthatekj= δ
jk.Inmatrixnotations,wehave:∂
xI∂
aj +=
ej+
H∂
xI∂
aj +ByCorollary 4,
(
∂∂axij
)
+≥
0.ByanargumentsimilartothesecondstepoftheproofofLemma 1,wemusthaveλ
max(
H) <
1.ThismeansthatI
−
Hisinvertibleandhence(
∂∂xaIj
)
+= (
I−
H)
−1ej.Thisyields:∂
xi∂
aj +=
∞ t=0 Hti j
Therefore, j
∈
Pi iffthereexistsanintegertsuchthat(
Ht)
i j>
0.Thisisequivalenttothefactthatthereisapathfromi to jinGinwhichallagentsplayaninterioraction.2
AdirectimplicationofProposition 5 isthattheextentofinterdependencenecessarilydecreasesasactionsinisolation increase.
Corollary5.Asactionsinisolationaincrease,thesetofagentswhoaffecti indirectly,Pi,inthesmallestandlargestequilibrium shrinksmonotonicallytowardstheemptyset.
Proof. ByCorollary 4, moreagents reach their upperboundsas aincreases. ByProposition 5, Pi shrinks. When a
=
b, Pi= ∅ ∀
i.2
Thewayinterdependencegetsbrokenclearlydependsontheshapeofthenetworkandontheexistenceandpositionsof bridges.Whenbridgingagentsarerelativelymorecentralwithintheirowncommunities,wecanexpectinterdependenceto bereducedquitequicklybecausetheywilltendtoreachtheirupperboundsfirst.However,therearealsosituationswhere agents whoare betterconnectedoutsideof theircommunities are lessconnected within.Inthesesituations, interdepen- dencemaybemorerobustasbridgingagentsmaytendtoreachtheirupperboundslater.
5. Conclusion
Inthispaper,weanalyzenetworkgameswithpositivebutboundedactionsandstrategiccomplementarities.Wederive newsufficientconditionsforuniquenessandstudythestructuralpropertiesoftheequilibria.Weprovidethefirstapplica- tionsofageneralprincipleoflocalizedcontractionandproveuniquenessforallconcaveaswellassomenon-concavebest responses. We find that theupper boundshavea strongimpact on the relationshipbetweenaction andcentrality. They mayleadmorecentralagentstoplayaloweraction.Still,anagent whohasmoreneighborsthananotherinthesense of setinclusionalwaysplaysahigheraction.Anincreaseinthegameparametersnecessarilyleadstoaweakincreaseinevery agent’saction.However,itmayleavesomeagentsunaffected.Wecharacterizepreciselywhenanagentisindirectlyaffected byashockonanotheragentanduncoverageneralpatternofdecreasinginterdependence.
Ouranalysiscould potentiallybe usefulforempiricalstudies ofpeereffects innetworks.Atypical econometricmodel aimedatstudyingwhethersomeoutcomexissubjecttopeereffectscanbewritten:
xi
=
ai+ δ
j
gi jxj
+ ε
i (6)where
δ
isthe mainparameter ofinterestto beestimatedandε
i isan errorterm.16 Mostoutcomesofinterest,such as grades, criminalactivity, or time spent exercising, are naturally boundedfromabove but existing empirical studies have neglected thesebounds. This likely generates biasesin existing estimates. To account for upper boundsproperly in the estimation,anaturalsolutionistoestimateacensoredversionof(6):xi
=
minai
+ δ
j
gi jxj
+ ε
i,
bi (7)Thisdefinesa systemofsimultaneous equationswhichisformally equivalent totheequilibriumconditionsof agame withbestresponse(1).Ourresultsshowthatwhenoutcomesarepositive,thissystemhasauniquesolution.Theempirical analysisthus doesnot sufferfromthe complications arising fromequilibriummultiplicity (Tamer, 2003). Since theequi- libriumxisafunctionofa
, δ,
Gandε
we can,inprinciple andgivensomeassumptions ontheerrorterms,computethe likelihoodL(
x|
a, δ,
G)
andestimateδ
throughmaximumlikelihoodinastraightforwardmanner.Moreover,ourresultsshow that thisproperty carries over toheterogeneous andnon-linear variants ofmodel (6). Therefore,our analysisprovides a steppingstoneforempiricalstudiesofpeereffectsinnetworkswithcontinuousbutboundedoutcomes.References
Baetz,Oliver,forthcoming.Socialactivityandnetworkformation.TheoreticalEcon.
Ballester,Coralio,Calvó-Armengol,Antoni,2010.Interactionswithhiddencomplementarities.Reg.Sci.UrbanEcon. 40(6),397–406.
Ballester,Coralio,Calvó-Armengol,Antoni,Zenou,Yves,2006.Who’swhoinnetworks.Wanted:thekeyplayer.Econometrica 74(5),1403–1417.
Bayer,Patrick,Hjalmarsson,Randi,Pozen,David,2009.Buildingcriminalcapitalbehindbars:peereffectsinjuvenilecorrections.Quart.J.Econ. 124(1), 105–147.
Belhaj,Mohamed,Bervoets,Sébastian,Deroïan,Frédéric,2013.Networkdesignunderlocalcomplementarities.Workingpaper,Aix-MarseilleUniversity.
Belhaj,Mohamed,Deroïan,Frédéric,2010.Endogenouseffortincommunicationnetworksunderstrategiccomplementarity.Int.J.GameTheory 39,391–408.
Belhaj,Mohamed,Deroïan,Frédéric,2013.Strategicinteractionandaggregateincentives.J.Math.Econ. 49(3),183–188.
Blume,Lawrence,Brock,William,Durlauf,Steven,Ioannides,Yannis,2010.Identificationofsocialinteractions.In:Benhabib,J.,Bisin,A.,Jackson,M.(Eds.), HandbookofSocialEconomics.NorthHolland,Amsterdam.
Bonacich,P.,1987.Powerandcentrality:afamilyofmeasures.Amer.J.Sociology 92(5),1170–1182.
Bramoullé,Yann,Kranton,Rachel,2007.Publicgoodsinnetworks.J.Econ.Theory 135(1),478–494.
Bramoullé,Yann,Djebbari,Habiba,Fortin,Bernard,2009.Identificationofpeereffectsthroughsocialnetworks.J.Econometrics 150,41–55.
Bramoullé,Yann,Kranton,Rachel,D’amours,Martin,2014.Strategicinteractionandnetworks.Amer.Econ.Rev. 104(3),898–930.
Calvó-Armengol,Antoni,Zenou,Yves,2004.Socialnetworksandcrimedecisions:theroleofsocialstructureinfacilitatingdelinquentbehavior.Int.Econ.
Rev. 45(3),939–958.
Calvó-Armengol,Antoni,Patacchini,Eleanora,Zenou,Yves,2009.Peereffectsandsocialnetworksineducation.Rev.Econ.Stud. 76(4),1239–1267.
DeGiorgi,Giacomo,Pellizzari,Michele,Redaelli,Silvia,2010.Identificationofsocialinteractionsthroughpartiallyoverlappingpeergroups.Amer.Econ.J.
Appl.Econ. 2(2),241–275.
Echenique,Federico,2007.Findingallequilibriaingamesofstrategiccomplements.J.Econ.Theory 135,514–532.
Galeotti,Andrea,Goyal,Sanjeev,Jackson,Matthew,Vega-Redondo,Fernando,Yariv,Leeat,2010.Networkgames.Rev.Econ.Stud. 77(1),218–244.
Glaeser,Edward,Sacerdote,Bruce,Scheinkman,José,1996.Crimeandsocialinteractions.Quart.J.Econ. 111(2),507–548.
Hiller,Timo,2012.Peereffectsinendogenousnetworks.Workingpaper,UniversityofBristol.
Kennan,John,2001.UniquenessofpositivefixedpointsforincreasingconcavefunctionsonRn:anelementaryresult.Rev.Econ.Dynam. 4(4),893–899.
König,Michael,Tessone,Claudio,Zenou,Yves,2014.Nestednessinnetworks:atheoreticalmodelandsomeapplications.TheoreticalEcon. 9,695–752.
Lin,Xu,2010.IdentifyingPeereffectsinstudentacademicachievementsbyspatialautoregressivemodelswithgroupunobservables.J.Lab.Econ. 28(4), 825–860.
Liu,Xiaodong,Pattachini,Eleanora,Zenou,Yves,Lee,Lung-Fei,2014.Criminalnetworks:whoisthekeyplayer?Workingpaper,StockholmUniversity.
Milgrom,Paul,Roberts,John,1990.Rationalizability,learningandequilibriumingameswithstrategiccomplementarities.Econometrica 58(6),1255–1277.
Tamer,E.T.,2003.Incompletebivariatediscreteresponsemodelwithmultipleequilibria.Rev.Econ.Stud. 70,147–167.
Vives,Xavier,1990.Nashequilibriumwithstrategiccomplementarities.J.Math.Econ. 19,305–321.
16 Therearevariouspossibleempiricalspecificationsforthea’s(includingindividualcovariatesand,possibly,contextualpeereffects),theg’s(linear-in- sumorlinear-in-means),andtheerrortermsε.See,forinstance,Blumeet al. (2010),Bramoulléet al. (2009),DeGiorgiet al. (2010),Lin (2010)andLiu et al. (2014).