(t))|}\rightarrow \mathds{R}^l$ is now piecewise defined. As a result, assumption A2 is transformed to the following piecewise version.

[**A7.**]{} $\hbar\in \mathscr{R}_\ast \doteq \Big\{  h_1 \otimes \dots \otimes h_N$: $h_i$ maps $ \mathds{R}^{m(1+|\mathcal{N}_i(\sigma(t))|)}$ to $\mathds{R}^{l}$ on each time interval when $\sigma(t)$ is constant, and $h_i\equiv0$ within the time-varying local consensus manifold $\big\{x_i=x_{j}: j \in
\mathcal{N}_i (\sigma(t))\big\}$ for all $i\in\mathcal{V}\Big\}$.

For optimal consensus with time-varying graphs, we present the following result.

\[thm3\] Suppose A1 and A6 hold and $\mathcal
{G}_{\sigma(t)}$ is uniformly jointly strongly connected. Suppose $\bigcap_{i=1}^N \arg \min  f_i\neq \emptyset$ contains at least one interior point. Then there exist a neighboring information rule $\hbar \in \mathscr{R}_\ast$ and a control law $\mathcal{J}\in \mathscr{C}$ such that global optimal consensus is achieved and $$\begin{aligned}
\label{17}
 \lim_{t\rightarrow\infty}x_i(t)=x_\ast.
 \end{aligned}$$ for some $x_\ast\in \bigcap_{i=1}^N \arg \min  f_i$.

Note that (\[17\]) is indeed a stronger conclusion than our definition of optimal consensus as Theorem \[thm3\] guarantees that all the node states converge to a common point in the global solution set of $F(z)$. We will see from the proof of Theorem \[thm3\] that this state convergence highly relies on the existence of an interior point of $\bigcap_{i=1}^N \arg \min  f_i$. In the absence of such an interior point condition, it turns out that optimal consensus still stands. We present another theorem stating the fact.

\[thm4\] Suppose A1 and A6 hold and $\mathcal
{G}_{\sigma(t)}$ is uniformly jointly strongly connected. Suppose also $\
( t))|}\rightarrow \mathds{R}^l$ is now piecewise defined. As a result, assumption A2 is transform to the following piecewise interpretation. 

 [ * * A7. * * ] { } $ \hbar\in \mathscr{R}_\ast \doteq \Big\ {   h_1 \otimes \dots \otimes h_N$: $ h_i$ maps $ \mathds{R}^{m(1+|\mathcal{N}_i(\sigma(t))|)}$ to $ \mathds{R}^{l}$ on each time interval when $ \sigma(t)$ is ceaseless, and $ h_i\equiv0 $ within the time - varying local consensus manifold $ \big\{x_i = x_{j }: j \in 
 \mathcal{N}_i (\sigma(t))\big\}$ for all $ i\in\mathcal{V}\Big\}$. 

 For optimum consensus with time - varying graphs, we salute the following result. 

 \[thm3\ ] Suppose A1 and A6 detention and $ \mathcal 
 { G}_{\sigma(t)}$ is uniformly jointly strongly connected. speculate $ \bigcap_{i=1}^N \arg \min   f_i\neq \emptyset$ contain at least one interior item. Then there exist a neighboring information rule $ \hbar \in \mathscr{R}_\ast$ and a control condition law $ \mathcal{J}\in \mathscr{C}$ such that global optimal consensus is achieve and $ $ \begin{aligned } 
 \label{17 } 
  \lim_{t\rightarrow\infty}x_i(t)=x_\ast. 
  \end{aligned}$$ for some $ x_\ast\in \bigcap_{i=1}^N \arg \min   f_i$. 

 Note that (\[17\ ]) is indeed a stronger decision than our definition of optimal consensus as Theorem \[thm3\ ] guarantee that all the node states converge to a common point in the global solution set of $ F(z)$. We will witness from the proof of Theorem \[thm3\ ] that this state convergence highly relies on the existence of an home point of $ \bigcap_{i=1}^N \arg \min   f_i$. In the absence of such an interior point condition, it turns out that optimal consensus still stands. We present another theorem stating the fact. 

 \[thm4\ ] think A1 and A6 hold and $ \mathcal 
 { G}_{\sigma(t)}$ is uniformly jointly strongly connect. presuppose also $ \
(t))|}\rihhtarrow \mathds{R}^l$ is now piecewise defiuwd. As e resulf, assumpgion A2 is transformed to the fillowung piecewise version.

[**A7.**]{} $\hbar\in \mwthscr{R}_\awt \direq \Big\{  h_1 \otimes \dots \oflmes k_N$: $h_i$ maps $ \mathcs{R}^{m(1+|\mathcan{N}_i(\sigma(t))|)}$ to $\mdtfdd{R}^{l}$ on each time interval when $\sigmw(t)$ is cpndtant, and $h_i\eqoiv0$ wptrin fhe time-varying local consensus mahifold $\uig\{x_i=x_{j}: j \in
\matncal{N}_i (\sigma(t))\big\}$ for all $i\ln\mahhcal{V}\Big\}$.

For optimwl consensuw wiey time-varyine graphs, wt 'resent the following result.

\[thm3\] Suppose A1 xnd A6 hold and $\narhcwn
{G}_{\sigma(t)}$ is unifjrmly jointln stroncly conmected. Suppose $\bijcap_{u=1}^N \arg \min  f_i\neq \empvyset$ contains at lewst one ittzrior point. Then therw wxist a naighcirivg jnhorjation rume $\hbar \in \mathscr{R}_\asr$ and a control law $\mwnncal{J}\in \mathacr{C}$ stcr that global optimal consensus is achitved znd $$\begin{aligned}
\label{17}
 \lum_{t\rightarrow\infty}x_i(t)=d_\ast.
 \end{ajigned}$$ for some $x_\ast\in \bigcap_{i=1}^N \arg \min  f_i$.

Note tvat (\[17\]) ms inbccd a wtgonger conclusion than our definition of optiizl cpnsensus as Thcorem \[thm3\] guaranters tnwt all the noae stacss converge to a comlon poigt in the globwl splution set of $F(z)$. We will swe from the irood of Theorem \[thm3\] tkat this stace confergemce highly relies on thz exisfence of an interior ooint of $\bigcap_{i=1}^V \agg \mhn  f_i$. In the absence of stch an inveriox point zondotion, yt turns okt that optimal consensud stipl stands. We present another theorem statinj the fact.

\[thm4\] Sgppmse A1 anb A6 hokd and $\mathcaj
{G}_{\sigma(t)}$ is unnformly lointlh strongly connecved. Suppose wlso $\
(t))|}\rightarrow \mathds{R}^l$ is now piecewise defined. As assumption is transformed the following piecewise \Big\{ \otimes \dots \otimes $h_i$ maps $ to $\mathds{R}^{l}$ on each time interval $\sigma(t)$ is constant, and $h_i\equiv0$ within the time-varying local consensus manifold $\big\{x_i=x_{j}: j \mathcal{N}_i (\sigma(t))\big\}$ for all $i\in\mathcal{V}\Big\}$. For optimal consensus with time-varying graphs, we present following \[thm3\] A1 A6 hold and $\mathcal {G}_{\sigma(t)}$ is uniformly jointly strongly connected. Suppose $\bigcap_{i=1}^N \arg \min f_i\neq \emptyset$ at least one interior point. Then there exist neighboring information rule $\hbar \mathscr{R}_\ast$ and a control law \mathscr{C}$ that global consensus achieved $$\begin{aligned} \label{17} \lim_{t\rightarrow\infty}x_i(t)=x_\ast. for some $x_\ast\in \bigcap_{i=1}^N \arg \min f_i$. Note that (\[17\]) is indeed a stronger conclusion than our of optimal Theorem \[thm3\] that the states converge to point in the global solution set will see from the proof of Theorem \[thm3\] this state highly relies on the existence of interior point of $\bigcap_{i=1}^N \arg \min f_i$. In absence of such an interior point condition, it turns out that optimal consensus still stands. another theorem stating the \[thm4\] Suppose A1 A6 and {G}_{\sigma(t)}$ uniformly jointly connected. Suppose also $\
(t))|}\rightarrow \mathds{R}^l$ is now pIecewise deFined. as a ResUlT, assUmptIon A2 is transforMEd to The following piecewise vErsioN.

[**A7.**]{} $\HBar\iN \MaThscr{r}_\ast \dotEQ \BIG\{  H_1 \otImEs \DotS \oTImEs h_N$: $h_I$ maPs $ \mathdS{R}^{m(1+|\mathcal{n}_i(\sIgMa(t))|)}$ to $\mathds{R}^{L}$ On Each time inTerVal when $\sigma(T)$ is ConstaNt, And $H_I\equiV0$ wiThin tHe time-VArying Local consEnSUs maniFOld $\big\{x_I=X_{J}: j \In
\maThcal{N}_i (\sigma(t))\big\}$ fOR aLL $i\in\mathcal{V}\BiG\}$.

For opTiMAl CONseNsuS with time-vArYing gRAphs, we pREsENT The FOllowing resulT.

\[thm3\] Suppose a1 And a6 hold aNd $\MatHCal
{G}_{\siGma(t)}$ iS uNIfoRmly jointly StroNgly conneCted. SuPPose $\bigCAp_{i=1}^N \arg \Min  f_i\nEq \eMptYset$ COnTaIns At LEasT OnE inTEriOr point. THeN tHere eXist A NEIGhboRinG infOrmatIon rule $\hbar \in \MatHscr{r}_\Ast$ And a cOntroL law $\MaThcal{j}\in \matHscr{C}$ SuCh that global optImal Consensus Is aChIevEd And $$\beGIn{aligNed}
\LabEl{17}
 \lim_{t\rIghtarrOW\inFtY}X_I(T)=x_\Ast.
 \end{aligned}$$ for soMe $X_\ASt\In \bigcap_{I=1}^N \arg \mIN  f_I$.

NOTe that (\[17\]) is InDeeD a stRONger cOnclUSiOn than ouR definITiOn Of optimAl ConsenSuS as theOrem \[tHM3\] guaRanteeS that all The noDE states convergE To a common poinT In THE gLObal SolUtion set of $F(Z)$. We wILl seE froM ThE prOOf of THeoreM \[tHM3\] tHAt this state convergeNcE highlY reliEs on the existeNce of an intERIOr point oF $\bigCAp_{I=1}^n \arg \min  f_i$. In the AbsenCe of such an INterior pOint cOndition, It turns ouT THat optimAl cOnsEnsUs sTILl Stands. We preseNT AnotHeR theoreM stAting thE faCt.

\[tHm4\] SUppOsE A1 and A6 holD and $\mathCaL
{G}_{\SiGmA(t)}$ iS unifORmly joinTlY stRoNglY connECted. SuPpose Also $\
(t))|}\rightarrow \mathds{ R}^l$ is n ow pi ece wis edefi ned.  As a result,a ssum ption A2 is transforme d toth e  fol l ow ing p iecewis e  v e r sio n. 
[** A7 . ** ]{} $ \hb ar\in \ mathscr{R} _\a st  \doteq \Big \ { h_1 \otim es\dots \otime s h _N$: $ h_ i$m aps $  \m athds {R}^{m ( 1+|\ma thcal{N}_ i( \ sigma( t ))|)}$t o  $ \mat hds{R}^{l}$ on ea c ht ime interval w hen $\ si g ma ( t )$isconstant,an d $h_ i \equiv0 $  w i t h int he time-varyi ng local co n sen sus ma ni fol d  $\big \{x_i =x _ {j} : j \in
\ma thca l{N}_i (\ sigma( t ))\big\ } $ for a ll $i\ in\ mat hcal { V} \B ig\ }$ . 

F o ropt i mal  consens us  w ith t ime- v a r y inggra phs,  we p resent the fo llo wing res ult.
\[th m3\]  S uppos e A1 a nd A6  h old and $\mathc al
{ G}_{\sigm a(t )} $ i sunifo r mly jo int lystrongl y conne c ted .S u p po se $\bigcap_{i=1}^ N\ a rg  \min  f _i\neq \e mp t yset$ co nt ain s at l eastonei nt erior po int. T h en  t here ex is t a ne ig hbo rin g inf o rmat ion ru le $\hba r \in \mathscr{R}_\a s t$ and a cont r ol l aw $\ma thc al{J}\in \m aths c r{C} $ su c htha t  glob al op ti m al consensus is achiev ed  and $ $\beg in{aligned}
\ label{17}\ l im_{t\ri ghta r ro w \infty}x_i(t)= x_\as t.
 \end{a l igned}$$  forsome $x_ \ast\in \ b i gcap_{i= 1}^ N \ arg  \m i n  f_i$.

Note t h a t (\ [1 7\]) is  in deed astr ong ercon cl usion tha n our de fi ni ti on  of  opti m al conse ns usas  Th eorem \[thm3 \] gu aran te es tha t all t h en o de s ta te s co nve rg e toa co m mon  pointin the gl oba l  sol ut io n set o f $F(z)$. Wewi ll see fro mthe  proof o f Theore m \[thm3\] that this st a te conv erg encehigh ly relies  on  the e xis t ence o f an i nteri or  po i n t of$ \ bi gca p_ {i=1}^N \a r g  \m in  f _i $. I n the a bsence of such ani nte rior point co ndi tion , it  tu r ns out  t h ato p timal consensus  still sta nd s .We present ano th er theo rem sta tingt he fact .

\[thm4 \] Suppos eA1 a n d  A6  hold and$\mathca l
{G}_{\s i gma(t ) }$  is u nif ormlyjo int ly st rongly con necte d. Sup po se als o $\
(t))|}\rightarrow \mathds{R}^l$_is now_piecewise defined. As a_result, assumption_A2_is transformed_to_the following piecewise_version.

[**A7.**]{} $\hbar\in \mathscr{R}_\ast_\doteq \Big\{  h_1_\otimes \dots \otimes_h_N$:_$h_i$ maps $ \mathds{R}^{m(1+|\mathcal{N}_i(\sigma(t))|)}$ to $\mathds{R}^{l}$ on each time interval when $\sigma(t)$ is constant,_and_$h_i\equiv0$ within_the_time-varying_local consensus manifold $\big\{x_i=x_{j}: j_\in
\mathcal{N}_i (\sigma(t))\big\}$ for all $i\in\mathcal{V}\Big\}$.

For_optimal consensus_with time-varying graphs, we present the following result.

\[thm3\]_Suppose_A1 and A6_hold and $\mathcal
{G}_{\sigma(t)}$ is uniformly jointly strongly connected. Suppose_$\bigcap_{i=1}^N \arg \min  f_i\neq \emptyset$_contains at least_one_interior_point. Then there exist_a neighboring information rule $\hbar \in_\mathscr{R}_\ast$ and a control law $\mathcal{J}\in_\mathscr{C}$ such that global optimal consensus is_achieved and $$\begin{aligned}
\label{17}
 \lim_{t\rightarrow\infty}x_i(t)=x_\ast.
 \end{aligned}$$ for_some $x_\ast\in \bigcap_{i=1}^N \arg \min_ f_i$.

Note_that (\[17\]) is indeed a_stronger conclusion than_our definition_of optimal consensus_as Theorem \[thm3\] guarantees that all_the node states_converge to a common point in_the_global solution set_of_$F(z)$._We will_see from the_proof_of Theorem_\[thm3\]_that this state convergence highly relies_on_the existence of an interior point of_$\bigcap_{i=1}^N \arg \min _f_i$._In the absence of_such an interior point condition,_it turns out that optimal consensus_still stands._We present_another theorem stating the fact.

\[thm4\] Suppose A1 and A6 hold and_$\mathcal
{G}_{\sigma(t)}$ is uniformly jointly strongly connected._Suppose also $\