 is a one-dimensional manifold in $\mathds{R}^n$, Theorem \[thmr1\] indicates that finite-time convergence is almost impossible for average consensus algorithms. This partially explains why finite-time convergence results are rare for averaging algorithms in the literature.

Next, we discuss the impossibility of asymptotic consensus. The following lemma is well-known.

\[lemr1\] Let $\{b_k\}_0^\infty$ be a sequence of real numbers with $b_k\in[0,1)$ for all $k$. Then $\sum_{k=0}^\infty b_k=\infty$ if and only if $\prod_{k=0}^{\infty}(1-b_k)=0$.

The following theorem on asymptotic convergence holds.

\[thmr2\] For every averaging algorithm in $\mathcal{A}_{\rm ave}$, asymptotic consensus fails for all initial values in $\mathds{R}^n$ except for initial values on the consensus manifold, if $\sum_{k=0}^\infty \big(1-\eta_k\big)<\infty$.

[*Proof.*]{} In light of Lemma \[lemr1\] and (\[15\]), we see that for every algorithm in the averaging set $\mathcal{A}_{\rm ave}$, $$\begin{aligned}
\lim_{K\rightarrow \infty}\Phi(K) \geq \Phi(k_0)\prod_{k=k_0}^{\infty} \eta_k >0\end{aligned}$$ if $\sum_{k=0}^\infty \big(1-\eta_k\big)<\infty$ for all initial values satisfying $\Phi(k_0)>0$. The desired conclusion thus follows. $\square$

Theorem \[thmr2\] indicates that $\sum_{k=0}^\infty \big(1-\eta_k\big)=\infty$ is a necessary condition for average algorithms to reach asymptotic consensus. Note that $\eta_k$ measures node self-confidence. Thus, the condition $\sum_{k=0}^\infty \big(1-\eta_k\big)=\infty$ characterizes the maximal self-confidence that nodes can hold and still reach consensus.

It is worth pointing out that Theorems \[thmr1\] and \[thmr2\] hold for any communication graph. In the following discussions, we turn to the possibilities for consensus. Then, however, the communication graph plays an important role. Time-dependent and state-
is a one - dimensional manifold in $ \mathds{R}^n$, Theorem \[thmr1\ ] indicates that finite - time convergence is about impossible for modal consensus algorithms. This partially explains why finite - meter overlap results are rare for averaging algorithms in the literature. 

 Next, we discourse the impossibility of asymptotic consensus. The following lemma is well - known. 

 \[lemr1\ ] permit $ \{b_k\}_0^\infty$ be a sequence of real number with $ b_k\in[0,1)$ for all $ k$. Then $ \sum_{k=0}^\infty b_k=\infty$ if and only if $ \prod_{k=0}^{\infty}(1 - b_k)=0$. 

 The following theorem on asymptotic overlap holds. 

 \[thmr2\ ] For every averaging algorithm in $ \mathcal{A}_{\rm ave}$, asymptotic consensus fails for all initial values in $ \mathds{R}^n$ except for initial values on the consensus manifold, if $ \sum_{k=0}^\infty \big(1-\eta_k\big)<\infty$. 

 [ * Proof. * ] { } In light of Lemma \[lemr1\ ] and (\[15\ ]), we attend that for every algorithm in the averaging set $ \mathcal{A}_{\rm ave}$, $ $ \begin{aligned } 
 \lim_{K\rightarrow \infty}\Phi(K) \geq \Phi(k_0)\prod_{k = k_0}^{\infty } \eta_k > 0\end{aligned}$$ if $ \sum_{k=0}^\infty \big(1-\eta_k\big)<\infty$ for all initial values satisfying $ \Phi(k_0)>0$. The desire conclusion thus follows. $ \square$ 

 Theorem \[thmr2\ ] bespeak that $ \sum_{k=0}^\infty \big(1-\eta_k\big)=\infty$ is a necessary condition for average algorithms to reach asymptotic consensus. Note that $ \eta_k$ measure node self - confidence. Thus, the condition $ \sum_{k=0}^\infty \big(1-\eta_k\big)=\infty$ characterizes the maximal self - assurance that node can hold and still reach consensus. 

 It is worth pointing out that Theorems \[thmr1\ ] and \[thmr2\ ] hold for any communication graph. In the following discussions, we change state to the possibilities for consensus. Then, however, the communication graph plays an authoritative role. Time - dependent and state-
 is a one-dimensional manifoud in $\mathds{R}^n$, Jhworem \[vhmr1\] insicates ghat finite-time convergence ms aomost impossible for averagd consensls algorirhms. Rhis partiemly explains smy fiuive-time convergekce results are rare for dvdrcging algorithms in the literature.

Nevt, we dosfuss the imposfibikyty kf asymptotic consensus. The followjng lemka is well-knoen.

\[lemr1\] Let $\{b_k\}_0^\infty$ be a seeuenfe of real numbers with $b_k\in[0,1)$ dor wol $k$. Then $\suo_{k=0}^\infty b_k=\pufty$ if and only if $\prod_{k=0}^{\infty}(1-b_k)=0$.

The followkng tkeorem on awynptljic convergeice hojds.

\[thmr2\] For cnery avaraging algorithm in $\katical{Q}_{\rm ave}$, asymptotic coisensus fails for alj initial vclues in $\mathds{R}^n$ excwpr for inidial caljes oi tge condenaus manifomd, if $\sum_{k=0}^\ibfty \big(1-\eta_k\big)<\inftu$.

[*Pwiof.*]{} In light kf Lemia \[lemr1\] and (\[15\]), we see that for every algoriuhm ih the averaging set $\matycal{A}_{\rm ave}$, $$\begin{aligjed}
\lim_{K\ridhtarrow \infty}\Phi(K) \geq \Phi(k_0)\prod_{k=k_0}^{\infty} \eta_k >0\end{alhgned}$$ kf $\wui_{y=0}^\unvty \big(1-\eta_k\big)<\infty$ for all initial values saejsgypng $\Phi(k_0)>0$. The desived conclusion thux vokjows. $\square$

Thgorem \[tkjr2\] indicates that $\sul_{k=0}^\infty \big(1-\era_k\big)=\infuy$ is a necessary condition for qverage algogithns to reach asymptltic consenrus. Mote yhat $\eta_k$ measures node selr-confidence. Thus, the zondition $\sum_{k=0}^\inwty \bhg(1-\eta_k\big)=\infty$ characterizqs the maeimal self-covfidgnce thwt nodes cwn hold and still reach fonseusus.

Id is worth pointing out that Theorems \[thmc1\] and \[thmr2\] hokd fog any comiunicstion graph. Ig the followiny discusfions, we turn tk the pmssibilitief for consensgd. Then, howevxr, the coimunucatuon graof plays an impprtant role. Time-depwndent and state-
is a one-dimensional manifold in $\mathds{R}^n$, Theorem that convergence is impossible for average why convergence results are for averaging algorithms the literature. Next, we discuss the of asymptotic consensus. The following lemma is well-known. \[lemr1\] Let $\{b_k\}_0^\infty$ be a of real numbers with $b_k\in[0,1)$ for all $k$. Then $\sum_{k=0}^\infty b_k=\infty$ if and if The theorem asymptotic convergence holds. \[thmr2\] For every averaging algorithm in $\mathcal{A}_{\rm ave}$, asymptotic consensus fails for all values in $\mathds{R}^n$ except for initial values on consensus manifold, if $\sum_{k=0}^\infty [*Proof.*]{} In light of Lemma and we see for algorithm the averaging set ave}$, $$\begin{aligned} \lim_{K\rightarrow \infty}\Phi(K) \geq \Phi(k_0)\prod_{k=k_0}^{\infty} \eta_k >0\end{aligned}$$ if $\sum_{k=0}^\infty \big(1-\eta_k\big)<\infty$ for all initial values satisfying $\Phi(k_0)>0$. desired conclusion $\square$ Theorem indicates $\sum_{k=0}^\infty is a necessary average algorithms to reach asymptotic consensus. measures node self-confidence. Thus, the condition $\sum_{k=0}^\infty \big(1-\eta_k\big)=\infty$ the maximal that nodes can hold and still consensus. It is worth pointing out that Theorems and \[thmr2\] hold for any communication graph. In the following discussions, we turn to the consensus. Then, however, the graph plays an role. and
 is a one-dimensional manifold In $\mathds{R}^n$, theorEm \[tHmr1\] InDicaTes tHat finite-time cONverGence is almost impossiblE for aVeRAge cONsEnsus AlgoritHMs. tHIs pArTiAllY eXPlAins wHy fInite-tiMe convergeNce ReSults are rare FOr Averaging aLgoRithms in the lIteRature.

neXt, wE DiscuSs tHe impOssibiLIty of aSymptotic CoNSensus. tHe folloWINg LemmA is well-known.

\[lemr1\] LET $\{b_K\}_0^\Infty$ be a sequenCe of reAl NUmBERs wIth $B_k\in[0,1)$ for all $K$. THen $\suM_{K=0}^\infty b_K=\InFTY$ If aND only if $\prod_{k=0}^{\iNfty}(1-b_k)=0$.

The foLLowIng theOrEm oN AsymptOtic cOnVErgEnce holds.

\[thMr2\] FoR every aveRaging ALgorithM In $\mathcAl{A}_{\rm aVe}$, aSymPtotIC cOnSenSuS FaiLS fOr aLL inItial valUeS iN $\mathDs{R}^n$ EXCEPt foR inItiaL valuEs on the consenSus ManiFOld, If $\sum_{K=0}^\inftY \big(1-\EtA_k\big)<\Infty$.

[*PRoof.*]{} IN lIght of Lemma \[lemr1\] And (\[15\]), wE see that fOr eVeRy aLgOrithM In the aVerAgiNg set $\maThcal{A}_{\rM Ave}$, $$\BeGIN{AlIgned}
\lim_{K\rightarroW \iNFTy}\phi(K) \geq \PHi(k_0)\proD_{K=k_0}^{\InFTy} \eta_k >0\enD{aLigNed}$$ iF $\SUm_{k=0}^\inFty \bIG(1-\eTa_k\big)<\inFty$ for ALl InItial vaLuEs satiSfYinG $\PhI(k_0)>0$. The DEsirEd concLusion thUs folLOws. $\square$

TheorEM \[thmr2\] indicateS ThAT $\SuM_{K=0}^\infTy \bIg(1-\eta_k\big)=\inFty$ iS A necEssaRY cOndITion fOr aveRaGE aLGorithms to reach asymPtOtic coNsensUs. Note that $\eta_K$ measures nODE Self-confIdenCE. THUs, the condition $\Sum_{k=0}^\iNfty \big(1-\eta_K\Big)=\infty$ CharaCterizes The maximaL SElf-confiDenCe tHat NodES CaN hold and still REAch cOnSensus.

IT is Worth poIntIng Out ThaT THeorems \[thMr1\] and \[thmR2\] hOlD fOr Any CommuNIcation gRaPh. IN tHe fOllowINg discUssioNs, we TuRn TO thE possibILiTIEs foR cOnSensUs. THeN, howeVer, tHE coMmunicaTion graph PlaYS an iMpOrTant rolE. Time-dependenT aNd state-
 is a one-dimensional mani fold in $\ mathd s{R }^n $,  The orem  \[thmr1\] ind i cate s that finite-time con verge nc e  isa lm ost i mpossib l ef o r a ve ra geco n se nsusalg orithms . This par tia ll y explains w h yfinite-tim e c onvergence r esu lts ar erar e  forave ragin g algo r ithmsin the li te r ature. 
Next,w e  d iscu ss the impossibil i ty of asymptoticconsen su s .T h e f oll owing lemm ais we l l-known . 
\ [ l emr 1 \] Let $\{b_k \}_0^\infty $  be  a seq ue nce of rea l num be r s w ith $b_k\in [0,1 )$ for al l $k$. Then $\ s um_{k=0 }^\inf tyb_k =\in f ty $ifan d  on l yif$ \pr od_{k=0} ^{ \i nfty} (1-b _ k ) = 0$.
Th e fo llowi ng theorem on  as ympt o tic  conv ergen ce h ol ds.
\[thmr 2\] F or  every averagin g al gorithm i n $ \m ath ca l{A}_ { \rm av e}$ , a symptot ic cons e nsu sf a i ls  for all initial v al u e sin $\mat hds{R} ^ n$  e x cept for  i nit ialv a lueson t h econsensu s mani f ol d,  if $\s um _{k=0} ^\ inf ty\big( 1 -\et a_k\bi g)<\inft y$.
[ *Proof.*]{} In light of Lemm a  \ [ l em r 1\]and  (\[15\]),we s e e th at f o reve r y alg orith mi nt he averaging set $\ ma thcal{ A}_{\ rm ave}$, $$\ begin{alig n e d }
\lim_{ K\ri g ht a rrow \infty}\P hi(K)  \geq \Phi ( k_0)\pro d_{k= k_0}^{\i nfty} \et a _ k >0\end {al ign ed} $$i f  $ \sum_{k=0}^\i n f ty \ bi g(1-\et a_k \big)<\ inf ty$  fo r a ll  initialvalues s at is fy in g $ \Phi( k _0)>0$.Th e d es ire d con c lusion  thus  fol lo ws .  $\ square$ 
T h e orem  \ [t hmr2 \]in dicat es t h at$\sum_{ k=0}^\inf ty\ big( 1- \e ta_k\bi g)=\infty$ is  a  necessary  c ond itionf o r averag e algorithms to reach a s ymptoti c c onsen sus.  Note tha t $ \eta_k $ m e asures  nodeself- co nfi d e nce.T h us , t he  condition $ \su m_{k= 0} ^\in fty \bi g(1-\eta_k\big)=\i n fty $ characteriz esthem a xi mal se l f-c on f ide n c e that nodes ca n hold and  s t il l reach co n sen su s.

Itis wort h poi n ting ou t that Th eorems \[ th mr1\ ] and  \[thmr2\]  hold fo r any com m unica t io n gra ph.  In th efol lowin g disc u ssi ons,we tur nto the  poss ib ilitiesfor consensus. Then, ho wever,  thecom municatio n g r aph  plays an  imp ortant rol e.Tim e-dep end e nt an d st a te -
 is_a one-dimensional_manifold in $\mathds{R}^n$, Theorem_\[thmr1\] indicates_that_finite-time convergence_is_almost impossible for_average consensus algorithms._This partially explains why_finite-time convergence results_are_rare for averaging algorithms in the literature.

Next, we discuss the impossibility of asymptotic consensus._The_following lemma_is_well-known.

\[lemr1\]_Let $\{b_k\}_0^\infty$ be a sequence_of real numbers with $b_k\in[0,1)$_for all_$k$. Then $\sum_{k=0}^\infty b_k=\infty$ if and only if_$\prod_{k=0}^{\infty}(1-b_k)=0$.

The_following theorem on_asymptotic convergence holds.

\[thmr2\] For every averaging algorithm in $\mathcal{A}_{\rm_ave}$, asymptotic consensus fails for all_initial values in_$\mathds{R}^n$_except_for initial values on_the consensus manifold, if $\sum_{k=0}^\infty \big(1-\eta_k\big)<\infty$.

[*Proof.*]{}_In light of Lemma \[lemr1\] and_(\[15\]), we see that for every algorithm_in the averaging set $\mathcal{A}_{\rm ave}$,_$$\begin{aligned}
\lim_{K\rightarrow \infty}\Phi(K) \geq \Phi(k_0)\prod_{k=k_0}^{\infty} \eta_k_>0\end{aligned}$$ if_$\sum_{k=0}^\infty \big(1-\eta_k\big)<\infty$ for all initial_values satisfying $\Phi(k_0)>0$._The desired_conclusion thus follows._$\square$

Theorem \[thmr2\] indicates that $\sum_{k=0}^\infty \big(1-\eta_k\big)=\infty$_is a necessary_condition for average algorithms to reach_asymptotic_consensus. Note that_$\eta_k$_measures_node self-confidence._Thus, the condition_$\sum_{k=0}^\infty_\big(1-\eta_k\big)=\infty$ characterizes_the_maximal self-confidence that nodes can hold_and_still reach consensus.

It is worth pointing out_that Theorems \[thmr1\] and_\[thmr2\]_hold for any communication_graph. In the following discussions,_we turn to the possibilities for_consensus. Then,_however, the_communication graph plays an important role. Time-dependent and state-