Showing 1–50 of 61 results for author: Chebotarev, P

Majority voting is not good for heaven or hell, with mirrored performance

Authors: Vadim Afonkin, Pavel Chebotarev

Abstract: Within the ViSE (Voting in Stochastic Environment) model, we study the effectiveness of majority voting in various environments. By the pit of losses paradox, majority decisions in apparently hostile environments systematically reduce the capital of society. In such cases, the basic action of ``rejecting all proposals without voting'' outperforms simple majority. We reveal another pit of losses ap… ▽ More Within the ViSE (Voting in Stochastic Environment) model, we study the effectiveness of majority voting in various environments. By the pit of losses paradox, majority decisions in apparently hostile environments systematically reduce the capital of society. In such cases, the basic action of ``rejecting all proposals without voting'' outperforms simple majority. We reveal another pit of losses appearing in favorable environments. Here, the simple action of ``accepting all proposals without voting'' is superior to simple majority, which thus causes a loss compared to total acceptance. We show that the second pit of losses is a mirror image of the pit of losses in hostile environments and explain this phenomenon. Technically, we consider a voting society consisting of individual agents whose strategy is supporting all proposals that increase their capital and a group whose members vote for the increase of the total group capital. According to the main result, the expected capital gain of each agent in the environment whose proposal generator $ξ$ has mean $μ>0$ exceeds by $μ$ their expected capital gain with generator $-ξ$. This result extends to the shift-based families of generators with symmetric distributions. The difference by $μ$ causes symmetry relative to the basic action that rejects/accepts all proposals in unfavorable/favorable environments. △ Less

Submitted 16 January, 2024; v1 submitted 31 December, 2023; originally announced January 2024.

Comments: 11 pages, 2 figures. Submitted to a Springer journal

MSC Class: 91B70; 91B12; 91B14; 91B15; 90C40

Selection of Centrality Measures Using Self-Consistency and Bridge Axioms

Authors: Pavel Chebotarev

Abstract: We consider several families of network centrality measures induced by graph kernels, which include some well-known measures and many new ones. The Self-consistency and Bridge axioms, which appeared earlier in the literature, are closely related to certain kernels and one of the families. We obtain a necessary and sufficient condition for Self-consistency, a sufficient condition for the Bridge axi… ▽ More We consider several families of network centrality measures induced by graph kernels, which include some well-known measures and many new ones. The Self-consistency and Bridge axioms, which appeared earlier in the literature, are closely related to certain kernels and one of the families. We obtain a necessary and sufficient condition for Self-consistency, a sufficient condition for the Bridge axiom, indicate specific measures that satisfy these axioms, and show that under some additional conditions they are incompatible. PageRank centrality applied to undirected networks violates most conditions under study and has a property that according to some authors is ``hard to imagine'' for a centrality measure. We explain this phenomenon. Adopting the Self-consistency or Bridge axiom leads to a drastic reduction in survey time in the culling method designed to select the most appropriate centrality measures. △ Less

Submitted 25 August, 2023; v1 submitted 30 December, 2022; originally announced January 2023.

Comments: 23 pages, 5 figures. A reworked version. Accepted for publication in Journal of Complex Networks

MSC Class: 05C50; 05C82; 15A16; 15A51; 65F60; 91D30; 94C15

Journal ref: Journal of Complex Networks, Volume 11, Issue 5, October 2023, cnad035,

Extending Utility Functions on Arbitrary Sets

Authors: Pavel Chebotarev

Abstract: We consider the problem of extending a function $f^{}_P$ defined on a subset $P$ of an arbitrary set $X$ to $X$ strictly monotonically with respect to a preorder $\succcurlyeq$ defined on $X$, without imposing continuity constraints. We show that whenever $\succcurlyeq$ has a utility representation, $f^{}_P$ is extendable if and only if it is gap-safe increasing. A class of extensions involving an… ▽ More We consider the problem of extending a function $f^{}_P$ defined on a subset $P$ of an arbitrary set $X$ to $X$ strictly monotonically with respect to a preorder $\succcurlyeq$ defined on $X$, without imposing continuity constraints. We show that whenever $\succcurlyeq$ has a utility representation, $f^{}_P$ is extendable if and only if it is gap-safe increasing. A class of extensions involving an arbitrary utility representation of $\succcurlyeq$ is proposed and investigated. Connections to related topological results are discussed. The condition of extendability and the form of the extension are simplified when $P$ is a Pareto set. △ Less

Submitted 22 September, 2023; v1 submitted 6 December, 2022; originally announced December 2022.

Comments: 21 pages, 1 figure. A revised version

MSC Class: 91B16; 26B40; 51M04

The Power of Small Coalitions under Two-Tier Majority on Regular Graphs

Authors: Pavel Chebotarev, David Peleg

Abstract: In this paper, we study the following problem. Consider a setting where a proposal is offered to the vertices of a given network $G$, and the vertices must conduct a vote and decide whether to accept the proposal or reject it. Each vertex $v$ has its own valuation of the proposal; we say that $v$ is ``happy'' if its valuation is positive (i.e., it expects to gain from adopting the proposal) and ``… ▽ More In this paper, we study the following problem. Consider a setting where a proposal is offered to the vertices of a given network $G$, and the vertices must conduct a vote and decide whether to accept the proposal or reject it. Each vertex $v$ has its own valuation of the proposal; we say that $v$ is ``happy'' if its valuation is positive (i.e., it expects to gain from adopting the proposal) and ``sad'' if its valuation is negative. However, vertices do not base their vote merely on their own valuation. Rather, a vertex $v$ is a \emph{proponent} of the proposal if the majority of its neighbors are happy with it and an \emph{opponent} in the opposite case. At the end of the vote, the network collectively accepts the proposal whenever the majority of its vertices are proponents. We study this problem for regular graphs with loops. Specifically, we consider the class $\mathcal{G}_{n|d|h}$ of $d$-regular graphs of odd order $n$ with all $n$ loops and $h$ happy vertices. We are interested in establishing necessary and sufficient conditions for the class $\mathcal{G}_{n|d|h}$ to contain a labeled graph accepting the proposal, as well as conditions to contain a graph rejecting the proposal. We also discuss connections to the existing literature, including that on majority domination, and investigate the properties of the obtained conditions. △ Less

Submitted 17 July, 2023; v1 submitted 7 October, 2022; originally announced October 2022.

Comments: 28 pages, 8 figures, accepted for publication in Discrete Applied Mathematics

MSC Class: 05C69; 05C22; 68R10; 91B14; 94C15

Journal ref: Discrete Applied Mathematics 340 (2023) 239--258

Hierarchical Cyclic Pursuit: Algebraic Curves Containing the Laplacian Spectra

Authors: Sergei E. Parsegov, Pavel Yu. Chebotarev, Pavel S. Shcherbakov, Federico M. Ibáñez

Abstract: The paper addresses the problem of multi-agent communication in networks with regular directed ring structure. These can be viewed as hierarchical extensions of the classical cyclic pursuit topology. We show that the spectra of the corresponding Laplacian matrices allow exact localization on the complex plane. Furthermore, we derive a general form of the characteristic polynomial of such matrices,… ▽ More The paper addresses the problem of multi-agent communication in networks with regular directed ring structure. These can be viewed as hierarchical extensions of the classical cyclic pursuit topology. We show that the spectra of the corresponding Laplacian matrices allow exact localization on the complex plane. Furthermore, we derive a general form of the characteristic polynomial of such matrices, analyze the algebraic curves its roots belong to, and propose a way to obtain their closed-form equations. In combination with frequency domain consensus criteria for high-order SISO linear agents, these curves enable one to analyze the feasibility of consensus in networks with varying number of agents. △ Less

Submitted 25 September, 2022; originally announced September 2022.

Comments: 12 pages, 20 figures. Submitted to the IEEE for possible publication

MSC Class: 93B70 93C95 37N35

Dissecting graph measure performance for node clustering in LFR parameter space

Authors: Vladimir Ivashkin, Pavel Chebotarev

Abstract: Graph measures that express closeness or distance between nodes can be employed for graph nodes clustering using metric clustering algorithms. There are numerous measures applicable to this task, and which one performs better is an open question. We study the performance of 25 graph measures on generated graphs with different parameters. While usually measure comparisons are limited to general mea… ▽ More Graph measures that express closeness or distance between nodes can be employed for graph nodes clustering using metric clustering algorithms. There are numerous measures applicable to this task, and which one performs better is an open question. We study the performance of 25 graph measures on generated graphs with different parameters. While usually measure comparisons are limited to general measure ranking on a particular dataset, we aim to explore the performance of various measures depending on graph features. Using an LFR graph generator, we create a dataset of 11780 graphs covering the whole LFR parameter space. For each graph, we assess the quality of clustering with k-means algorithm for each considered measure. Based on this, we determine the best measure for each area of the parameter space. We find that the parameter space consists of distinct zones where one particular measure is the best. We analyze the geometry of the resulting zones and describe it with simple criteria. Given particular graph parameters, this allows us to recommend a particular measure to use for clustering. △ Less

Submitted 20 February, 2022; originally announced February 2022.

Comments: Preprint Complex Networks and their Applications 2021 | CNA 2021

Journal ref: International Conference on Complex Networks and Their Applications, pp. 328-341. Springer, Cham, 2021

Measuring Proximity in Attributed Networks for Community Detection

Authors: Rinat Aynulin, Pavel Chebotarev

Abstract: Proximity measures on graphs have a variety of applications in network analysis, including community detection. Previously they have been mainly studied in the context of networks without attributes. If node attributes are taken into account, however, this can provide more insight into the network structure. In this paper, we extend the definition of some well-studied proximity measures to attribu… ▽ More Proximity measures on graphs have a variety of applications in network analysis, including community detection. Previously they have been mainly studied in the context of networks without attributes. If node attributes are taken into account, however, this can provide more insight into the network structure. In this paper, we extend the definition of some well-studied proximity measures to attributed networks. To account for attributes, several attribute similarity measures are used. Finally, the obtained proximity measures are applied to detect the community structure in some real-world networks using the spectral clustering algorithm. △ Less

Submitted 4 November, 2021; originally announced November 2021.

Journal ref: Studies in Computational Intelligence 943 (2021) 27-37

How to choose the most appropriate centrality measure? A decision tree approach

Authors: Pavel Chebotarev, Dmitry Gubanov

Abstract: Centrality metrics play a crucial role in network analysis, while the choice of specific measures significantly influences the accuracy of conclusions as each measure represents a unique concept of node importance. Among over 400 proposed indices, selecting the most suitable ones for specific applications remains a challenge. Existing approaches -- model-based, data-driven, and axiomatic -- have l… ▽ More Centrality metrics play a crucial role in network analysis, while the choice of specific measures significantly influences the accuracy of conclusions as each measure represents a unique concept of node importance. Among over 400 proposed indices, selecting the most suitable ones for specific applications remains a challenge. Existing approaches -- model-based, data-driven, and axiomatic -- have limitations, requiring association with models, training datasets, or restrictive axioms for each specific application. To address this, we introduce the culling method, which relies on the expert concept of centrality behavior on simple graphs. The culling method involves forming a set of candidate measures, generating a list of as small graphs as possible needed to distinguish the measures from each other, constructing a decision-tree survey, and identifying the measure consistent with the expert's concept. We apply this approach to a diverse set of 40 centralities, including novel kernel-based indices, and combine it with the axiomatic approach. Remarkably, only 13 small 1-trees are sufficient to separate all 40 measures, even for pairs of closely related ones. By adopting simple ordinal axioms like Self-consistency or Bridge axiom, the set of measures can be drastically reduced making the culling survey short. Applying the culling method provides insightful findings on some centrality indices, such as PageRank, Bridging, and dissimilarity-based Eigencentrality measures, among others. The proposed approach offers a cost-effective solution in terms of labor and time, complementing existing methods for measure selection, and providing deeper insights into the underlying mechanisms of centrality measures. △ Less

Submitted 19 June, 2024; v1 submitted 2 March, 2020; originally announced March 2020.

Comments: 12 pages, 2 tables, 1 algorithm, 8 figures. Presentation has been improved

MSC Class: 05C50; 05C05; 15A51

Clustering as a means of leader selection in consensus networks

Authors: Natalia Basimova, Pavel Chebotarev

Abstract: In the leader-follower approach, one or more agents are selected as leaders who do not change their states or have autonomous dynamics and can influence other agents, while the other agents, called followers, perform a simple protocol based on the states of their neighbors. This approach provides a natural link between control theory and networked agents with their input data. Despite the fact tha… ▽ More In the leader-follower approach, one or more agents are selected as leaders who do not change their states or have autonomous dynamics and can influence other agents, while the other agents, called followers, perform a simple protocol based on the states of their neighbors. This approach provides a natural link between control theory and networked agents with their input data. Despite the fact that the leader-follower approach is widely used, the fundamental question still remains: how to choose leaders from a set of agent. This question is called the problem of choosing leaders. There is still no selection algorithm that is both optimal under a natural criterion and fast. In this paper, for agents that obey a linear consensus protocol, we propose to choose leaders using graph nodes' clustering algorithms and show that this method is the most accurate among the fast existing algorithms of choosing leaders. △ Less

Submitted 1 December, 2019; originally announced December 2019.

Comments: 5 pages, 3 figures

MSC Class: 93A14; 68T42; 15B51; 05C50; 60J22

Modeling Responsible Elite

Authors: Yana Tsodikova, Pavel Chebotarev, Anton Loginov, Zoya Lezina

Abstract: Within the ViSE (Voting in Stochastic Environment) model, we study social dynamics determined by collective decisions in a society with an elite. The model allows the analysis of the influence of participants' social attitudes, such as the effects of selfishness, collectivism, lobbying, altruism, etc., on the welfare of the society and its strata. Social dynamics is determined by the change in cap… ▽ More Within the ViSE (Voting in Stochastic Environment) model, we study social dynamics determined by collective decisions in a society with an elite. The model allows the analysis of the influence of participants' social attitudes, such as the effects of selfishness, collectivism, lobbying, altruism, etc., on the welfare of the society and its strata. Social dynamics is determined by the change in capital over time, as well as the formation and dissociation of groups. We show that the presence of a responsible elite, which partially cares for its own benefit, stabilizes society and removes the `pit of damage' paradox. Society's gain from having a responsible elite is comparable to that from an altruistic group of the same size. If the responsible elite succumbs to the temptation to dramatically increase the weight of the group component in its combined voting strategy, then its income rises sharply, while the income of the society decreases. The rest of the participants benefit from joining the elite, while for the elite it is beneficial to maintain a moderate size. If, in response to insufficient responsibility of the elite, an altruistic group emerges that outnumbers the elite and becomes a new responsible elite, then society again stabilizes, and monopoly of the previous elite (a `clique') ends. If the responsible elite competing with the clique becomes a second clique, then tough competition between the cliques is still preferable for society over having a unique clique. △ Less

Submitted 1 November, 2019; v1 submitted 5 June, 2019; originally announced June 2019.

Comments: 12 pages, 16 figures. Minor corrections made

MSC Class: 91B12; 91B70

Two Models of Latent Consensus in Multi-Agent Systems

Authors: Rafig Agaev, Pavel Chebotarev

Abstract: In this paper, we propose several consensus protocols of the first and second order for networked multi-agent systems and provide explicit representations for their asymptotic states. These representations involve the eigenprojection of the Laplacian matrix of the dependency digraph. In particular, we study regularization models for the problem of coordination when the dependency digraph does not… ▽ More In this paper, we propose several consensus protocols of the first and second order for networked multi-agent systems and provide explicit representations for their asymptotic states. These representations involve the eigenprojection of the Laplacian matrix of the dependency digraph. In particular, we study regularization models for the problem of coordination when the dependency digraph does not contain a converging tree. In such models of the first kind, the system is supplemented by a dummy agent, a "hub" that uniformly, but very weakly influences the agents and, in turn, depends on them. In the models of the second kind, we assume the presence of very weak background links between the agents. Besides that, we present a description of the asymptotics of the classical second-order consensus protocol. △ Less

Submitted 23 November, 2018; originally announced November 2018.

Comments: arXiv admin note: substantial text overlap with arXiv:1612.05201

MSC Class: 93A14; 68T42; 15B51; 05C50; 05C05; 60J22

Journal ref: Proceedings of The 6th International Conference on Control and Optimization with Industrial Applications (Baku, Azerbaijan, 2018). Baku: Malumat Hesablama Markazi, 2018. V.1. P.26-28

Second-Order Agents on Ring Digraphs

Authors: Sergei Parsegov, Pavel Chebotarev

Abstract: The paper addresses the problem of consensus seeking among second-order linear agents interconnected in a specific ring topology. Unlike the existing results in the field dealing with one-directional digraphs arising in various cyclic pursuit algorithms or two-directional graphs, we focus on the case where some arcs in a two-directional ring graph are dropped in a regular fashion. The derived cond… ▽ More The paper addresses the problem of consensus seeking among second-order linear agents interconnected in a specific ring topology. Unlike the existing results in the field dealing with one-directional digraphs arising in various cyclic pursuit algorithms or two-directional graphs, we focus on the case where some arcs in a two-directional ring graph are dropped in a regular fashion. The derived condition for achieving consensus turns out to be independent of the number of agents in a network. △ Less

Submitted 22 November, 2018; originally announced November 2018.

Comments: 6 pages, 10 figures

Journal ref: Proceedings of the 22nd International Conference on System Theory, Control, and Computing (ICSTCC 2018, Sinaia, Romania). Sinaia, Romania: IEEE, 2018. P. 609-614

IAU MDC Meteor Orbits Database -- A Sample of Radio-Meteor Data from the Hissar Observatory

Authors: M. Narziev, R. P. Chebotarev, T. J. Jopek, L. Neslušan, V. Porubčan, J. Svoreň, H. F. Khujanazarov, R. Sh. Bibarsov, Sh. N. Irkaeva, Sh. O. Isomutdinov, V. N. Kolmakov, G. A. Polushkin, V. N. Sidorin

Abstract: We announce an upgrade of the IAU MDC photographic and video meteor orbits database. A sample of 8916 radio-meteor data determined by the radar observations at the Hissar (Gissar) Astronomical Observatory, Dushanbe, Tajikistan, are added to the database. Along with the radiant coordinates, velocities, and orbital elements the Hissar radio-meteor sample contains the heights, linear electron densiti… ▽ More We announce an upgrade of the IAU MDC photographic and video meteor orbits database. A sample of 8916 radio-meteor data determined by the radar observations at the Hissar (Gissar) Astronomical Observatory, Dushanbe, Tajikistan, are added to the database. Along with the radiant coordinates, velocities, and orbital elements the Hissar radio-meteor sample contains the heights, linear electron densities, stellar magnitudes, and masses of the meteoroids. The new 2018 version of the IAU MDC database contains 4873 photographic, 110521 video, and 8916 radio meteor records. The data are freely available on the website at the address https://www.astro.sk/~ne/IAUMDC/PhVR2018/ . △ Less

Submitted 4 October, 2019; v1 submitted 13 November, 2018; originally announced November 2018.

Comments: 11, pages, 2 figures

Comparative Efficiency of Altruism and Egoism as Voting Strategies in Stochastic Environment

Authors: Pavel Chebotarev, Yana Tsodikova, Anton Loginov, Zoya Lezina, Vadim Afonkin, Vitaly Malyshev

Abstract: In this paper, we study the efficiency of egoistic and altruistic strategies within the model of social dynamics determined by voting in a stochastic environment (the ViSE model) using two criteria: maximizing the average capital increment and minimizing the number of bankrupt participants. The proposals are generated stochastically; three families of the corresponding distributions are considered… ▽ More In this paper, we study the efficiency of egoistic and altruistic strategies within the model of social dynamics determined by voting in a stochastic environment (the ViSE model) using two criteria: maximizing the average capital increment and minimizing the number of bankrupt participants. The proposals are generated stochastically; three families of the corresponding distributions are considered: normal distributions, symmetrized Pareto distributions, and Student's $t$-distributions. It is found that the "pit of losses" paradox described earlier does not occur in the case of heavy-tailed distributions. The egoistic strategy better protects agents from extinction in aggressive environments than the altruistic ones, however, the efficiency of altruism is higher in more favorable environments. A comparison of altruistic strategies with each other shows that in aggressive environments, everyone should be supported to minimize extinction, while under more favorable conditions, it is more efficient to support the weakest participants. Studying the dynamics of participants' capitals we identify situations where the two considered criteria contradict each other. At the next stage of the study, combined voting strategies and societies involving participants with selfish and altruistic strategies will be explored. △ Less

Submitted 27 September, 2018; originally announced September 2018.

Comments: 20 pages, 10 figures, Accepted for publication in Automation & Remote Control

MSC Class: 91B12; 91B70

Journal ref: Automation and Remote Control. 2018. V. 79. No. 11. P. 2052-2072

Similarities on Graphs: Kernels versus Proximity Measures

Authors: Konstantin Avrachenkov, Pavel Chebotarev, Dmytro Rubanov

Abstract: We analytically study proximity and distance properties of various kernels and similarity measures on graphs. This helps to understand the mathematical nature of such measures and can potentially be useful for recommending the adoption of specific similarity measures in data analysis. We analytically study proximity and distance properties of various kernels and similarity measures on graphs. This helps to understand the mathematical nature of such measures and can potentially be useful for recommending the adoption of specific similarity measures in data analysis. △ Less

Submitted 17 February, 2018; originally announced February 2018.

Comments: 16 pages

MSC Class: 91C20; 05C12; 05C50

Journal ref: European Journal of Combinatorics. Available online 23 February 2018

The Optimal Majority Threshold as a Function of the Variation Coefficient of the Environment

Authors: P. Yu. Chebotarev, V. A. Malyshev, Ya. Yu. Tsodikova, A. K. Loginov, Z. M. Lezina, V. A. Afonkin

Abstract: Within the model of social dynamics determined by collective decisions in a stochastic environment (ViSE model), we consider the case of a homogeneous society consisting of classically rational economic agents (or homines economici, or egoists). We present expressions for the optimal majority threshold and the maximum expected capital increment as functions of the parameters of the environment. An… ▽ More Within the model of social dynamics determined by collective decisions in a stochastic environment (ViSE model), we consider the case of a homogeneous society consisting of classically rational economic agents (or homines economici, or egoists). We present expressions for the optimal majority threshold and the maximum expected capital increment as functions of the parameters of the environment. An estimate of the rate of change of the optimal threshold at zero is given, which is an absolute constant: $(\sqrt{2/π}-\sqrt{π/2})/2$. △ Less

Submitted 21 January, 2018; originally announced January 2018.

Comments: 10 pages, 7 figures

MSC Class: 91B12; 91B70

Journal ref: Automation and Remote Control April 2018, Volume 79, Issue 4, pp 725-736

Hitting Time Quasi-metric and Its Forest Representation

Authors: Pavel Chebotarev, Elena Deza

Abstract: Let $\hat m_{ij}$ be the hitting (mean first passage) time from state $i$ to state $j$ in an $n$-state ergodic homogeneous Markov chain with transition matrix $T$. Let $Γ$ be the weighted digraph whose vertex set coincides with the set of states of the Markov chain and arc weights are equal to the corresponding transition probabilities. It holds that… ▽ More Let $\hat m_{ij}$ be the hitting (mean first passage) time from state $i$ to state $j$ in an $n$-state ergodic homogeneous Markov chain with transition matrix $T$. Let $Γ$ be the weighted digraph whose vertex set coincides with the set of states of the Markov chain and arc weights are equal to the corresponding transition probabilities. It holds that $$ \hat m_{ij}= q_j^{-1}\cdot \begin{cases} f_{ij},&\text{if }\;\; i\ne j,\\ q, &\text{if }\;\; i=j, \end{cases} $$ where $f_{ij}$ is the total weight of 2-tree spanning converging forests in $Γ$ that have one tree containing $i$ and the other tree converging to $j$, $q_j$ is the total weight of spanning trees converging to $j$ in $Γ,$ and $q=\sum_{j=1}^nq_j$ is the total weight of all spanning trees in $Γ.$ Moreover, $f_{ij}$ and $q_j$ can be calculated by an algebraic recurrent procedure. A forest expression for Kemeny's constant is an immediate consequence of this result. Further, we discuss the properties of the hitting time quasi-metric $m$ on the set of vertices of $Γ$: $m(i,j)=\hat m_{ij}$, $i\neq j$, and $m(i,i)=0$. We also consider a number of other metric structures on the set of graph vertices related to the hitting time quasi-metric $m$---along with various connections between them. The notions and relationships under study are illustrated by two examples. △ Less

Submitted 29 July, 2018; v1 submitted 1 January, 2018; originally announced January 2018.

Comments: 16 pages, 4 figures

MSC Class: 05C12; 60J10; 60J22; 05C50; 05C05; 15A09; 46B85

Journal ref: Optimization Letters (2018). https://doi.org/10.1007/s11590-018-1314-2

On Optimal Group Claims at Voting in a Stochastic Environment

Authors: V. A. Malyshev, P. Yu. Chebotarev

Abstract: There is a paradox in the model of social dynamics determined by voting in a stochastic environment (the ViSE model) called "pit of losses." It consists in the fact that a series of democratic decisions may systematically lead the society to the states unacceptable for all the voters. The paper examines how this paradox can be neutralized by the presence in society of a group that votes for its be… ▽ More There is a paradox in the model of social dynamics determined by voting in a stochastic environment (the ViSE model) called "pit of losses." It consists in the fact that a series of democratic decisions may systematically lead the society to the states unacceptable for all the voters. The paper examines how this paradox can be neutralized by the presence in society of a group that votes for its benefit and can regulate the threshold of its claims. We obtain and analyze analytical results characterizing the welfare of the whole society, the group, and the other participants as functions of the said claims threshold. △ Less

Submitted 19 June, 2017; originally announced June 2017.

Comments: 13 pages, 9 figures

MSC Class: 91B12 91B70

Journal ref: Automation and Remote Control, June 2017, Vol. 78, Issue 6, pp. 1087-1100

Models of latent consensus

Authors: Rafig Agaev, Pavel Chebotarev

Abstract: The paper studies the problem of achieving consensus in multi-agent systems in the case where the dependency digraph $Γ$ has no spanning in-tree. We consider the regularization protocol that amounts to the addition of a dummy agent (hub) uniformly connected to the agents. The presence of such a hub guarantees the achievement of an asymptotic consensus. For the "evaporation" of the dummy agent, the… ▽ More The paper studies the problem of achieving consensus in multi-agent systems in the case where the dependency digraph $Γ$ has no spanning in-tree. We consider the regularization protocol that amounts to the addition of a dummy agent (hub) uniformly connected to the agents. The presence of such a hub guarantees the achievement of an asymptotic consensus. For the "evaporation" of the dummy agent, the strength of its influences on the other agents vanishes, which leads to the concept of latent consensus. We obtain a closed-form expression for the consensus when the connections of the hub are symmetric, in this case, the impact of the hub upon the consensus remains fixed. On the other hand, if the hub is essentially influenced by the agents, whereas its influence on them tends to zero, then the consensus is expressed by the scalar product of the vector of column means of the Laplacian eigenprojection of $Γ$ and the initial state vector of the system. Another protocol, which assumes the presence of vanishingly weak uniform background links between the agents, leads to the same latent consensus. △ Less

Submitted 15 December, 2016; originally announced December 2016.

Comments: 12 pages. To appear in Automation and Remote Control (January, 2017)

MSC Class: 93A14; 68T42; 15B51; 05C50; 05C05; 60J22

Journal ref: Automation and Remote Control, 2018. Vol. 78, No. 1, pp 88-99

Do logarithmic proximity measures outperform plain ones in graph clustering?

Authors: Vladimir Ivashkin, Pavel Chebotarev

Abstract: We consider a number of graph kernels and proximity measures including commute time kernel, regularized Laplacian kernel, heat kernel, exponential diffusion kernel (also called "communicability"), etc., and the corresponding distances as applied to clustering nodes in random graphs and several well-known datasets. The model of generating random graphs involves edge probabilities for the pairs of n… ▽ More We consider a number of graph kernels and proximity measures including commute time kernel, regularized Laplacian kernel, heat kernel, exponential diffusion kernel (also called "communicability"), etc., and the corresponding distances as applied to clustering nodes in random graphs and several well-known datasets. The model of generating random graphs involves edge probabilities for the pairs of nodes that belong to the same class or different predefined classes of nodes. It turns out that in most cases, logarithmic measures (i.e., measures resulting after taking logarithm of the proximities) perform better while distinguishing underlying classes than the "plain" measures. A comparison in terms of reject curves of inter-class and intra-class distances confirms this conclusion. A similar conclusion can be made for several well-known datasets. A possible origin of this effect is that most kernels have a multiplicative nature, while the nature of distances used in cluster algorithms is an additive one (cf. the triangle inequality). The logarithmic transformation is a tool to transform the first nature to the second one. Moreover, some distances corresponding to the logarithmic measures possess a meaningful cutpoint additivity property. In our experiments, the leader is usually the logarithmic Communicability measure. However, we indicate some more complicated cases in which other measures, typically, Communicability and plain Walk, can be the winners. △ Less

Submitted 18 February, 2017; v1 submitted 3 May, 2016; originally announced May 2016.

Comments: 11 pages, 5 tables, 9 figures. Accepted for publication in the Proceedings of 6th International Conference on Network Analysis, May 26-28, 2016, Nizhny Novgorod, Russia

MSC Class: 62H30; 91C20; 05C12; 05C50

Semi-supervised Learning with Regularized Laplacian

Authors: Konstantin Avrachenkov, Pavel Chebotarev, Alexey Mishenin

Abstract: We study a semi-supervised learning method based on the similarity graph and RegularizedLaplacian. We give convenient optimization formulation of the Regularized Laplacian method and establishits various properties. In particular, we show that the kernel of the methodcan be interpreted in terms of discrete and continuous time random walks and possesses several importantproperties of proximity meas… ▽ More We study a semi-supervised learning method based on the similarity graph and RegularizedLaplacian. We give convenient optimization formulation of the Regularized Laplacian method and establishits various properties. In particular, we show that the kernel of the methodcan be interpreted in terms of discrete and continuous time random walks and possesses several importantproperties of proximity measures. Both optimization and linear algebra methods can be used for efficientcomputation of the classification functions. We demonstrate on numerical examples that theRegularized Laplacian method is competitive with respect to the other state of the art semi-supervisedlearning methods. △ Less

Submitted 20 August, 2015; originally announced August 2015.

The projection method for continuous-time consensus seeking

Authors: Rafig Agaev, Pavel Chebotarev

Abstract: For the case where the dependency digraph has no spanning in-tree, we characterize the region of convergence of the basic continuous-time distributed consensus algorithm and show that consensus can be achieved by employing the method of orthogonal projection, which has been proposed for the discrete-time coordination problem. For the case where the dependency digraph has no spanning in-tree, we characterize the region of convergence of the basic continuous-time distributed consensus algorithm and show that consensus can be achieved by employing the method of orthogonal projection, which has been proposed for the discrete-time coordination problem. △ Less

Submitted 15 July, 2015; originally announced July 2015.

Comments: 10 pages, to appear in Automation and Remote Control, 2015, No.8

MSC Class: 93A14; 68T42; 15B51; 05C50; 05C05; 60J22

Journal ref: Automation and Remote Control. 2015. No. 8. P. 1436-1445

The effectiveness of altruistic lobbying: A model study

Authors: Pavel Chebotarev, Zoya Lezina, Anton Loginov, Yana Tsodikova

Abstract: Altruistic lobbying is lobbying in the public interest or in the interest of the least protected part of the society. In fact, an altruist has a wide range of strategies, from behaving in the interest of the society as a whole to the support of the most disadvantaged ones. How can we compare the effectiveness of such strategies? Another question is: "Given a strategy, is it possible to estimate th… ▽ More Altruistic lobbying is lobbying in the public interest or in the interest of the least protected part of the society. In fact, an altruist has a wide range of strategies, from behaving in the interest of the society as a whole to the support of the most disadvantaged ones. How can we compare the effectiveness of such strategies? Another question is: "Given a strategy, is it possible to estimate the optimal number of participants choosing it?" Finally, do the answers to these questions depend on the level of well-being in the society? Can we say that the poorer the society, the more important is to focus on the support of the poorest? We answer these questions within the framework of the model of social dynamics determined by voting in a stochastic environment. △ Less

Submitted 3 July, 2013; v1 submitted 1 July, 2013; originally announced July 2013.

Comments: 2 pages, 1 figure. In: Proceedings of the The Seventh International Conference "Game Theory and Management" (GTM2013), ed. by L.A. Petrosyan and N.A. Zenkevich, St. Petersburg University, St. Petersburg, 2013. P.50-53

MSC Class: 91B12 91B70

Studying new classes of graph metrics

Authors: Pavel Chebotarev

Abstract: In data analysis, there is a strong demand for graph metrics that differ from the classical shortest path and resistance distances. Recently, several new classes of graph metrics have been proposed. This paper presents some of them featuring the cutpoint additive distances. These include the path distances, the reliability distance, the walk distances, and the logarithmic forest distances among ot… ▽ More In data analysis, there is a strong demand for graph metrics that differ from the classical shortest path and resistance distances. Recently, several new classes of graph metrics have been proposed. This paper presents some of them featuring the cutpoint additive distances. These include the path distances, the reliability distance, the walk distances, and the logarithmic forest distances among others. We discuss a number of connections between these and other distances. △ Less

Submitted 31 May, 2013; originally announced May 2013.

Comments: Prepared for the Proceedings of GSI2013 - Geometric Science of Information (August 28-30, 2013, Paris). 9 pages, 1 figure

MSC Class: 05C12 05C50 05C05 51K05 15A48 15A51

Journal ref: F. Nielsen and F. Barbaresco (eds.), Proceedings of the SEE Conference "Geometric Science of Information" (GSI 2013). Lecture Notes in Computer Science, LNCS 8085. Springer, Berlin, 2013. P. 207-214

Matrices of forests, analysis of networks, and ranking problems

Authors: Pavel Chebotarev, Rafig Agaev

Abstract: The matrices of spanning rooted forests are studied as a tool for analysing the structure of networks and measuring their properties. The problems of revealing the basic bicomponents, measuring vertex proximity, and ranking from preference relations / sports competitions are considered. It is shown that the vertex accessibility measure based on spanning forests has a number of desirable properties… ▽ More The matrices of spanning rooted forests are studied as a tool for analysing the structure of networks and measuring their properties. The problems of revealing the basic bicomponents, measuring vertex proximity, and ranking from preference relations / sports competitions are considered. It is shown that the vertex accessibility measure based on spanning forests has a number of desirable properties. An interpretation for the stochastic matrix of out-forests in terms of information dissemination is given. △ Less

Submitted 28 May, 2013; originally announced May 2013.

Comments: 8 pages. This article draws heavily from arXiv:math/0508171. Published in Proceedings of the First International Conference on Information Technology and Quantitative Management (ITQM 2013). This version contains some corrections and additions

MSC Class: 05C50 05C05 91B10 62J15 90B15 60J10

The forest consensus theorem

Authors: Pavel Chebotarev, Rafig Agaev

Abstract: We show that the limiting state vector in the differential model of consensus seeking with an arbitrary communication digraph is obtained by multiplying the eigenprojection of the Laplacian matrix of the model by the vector of initial states. Furthermore, the eigenprojection coincides with the stochastic matrix of maximum out-forests of the weighted communication digraph. These statements make the… ▽ More We show that the limiting state vector in the differential model of consensus seeking with an arbitrary communication digraph is obtained by multiplying the eigenprojection of the Laplacian matrix of the model by the vector of initial states. Furthermore, the eigenprojection coincides with the stochastic matrix of maximum out-forests of the weighted communication digraph. These statements make the forests consensus theorem. A similar result for DeGroot's iterative pooling model requires the Cesaro (time-average) limit in the general case. The forests consensus theorem is useful for the analysis of consensus protocols. △ Less

Submitted 15 January, 2013; v1 submitted 9 January, 2013; originally announced January 2013.

Comments: 11 pages, 2 figures, 27 references; presentation improved

MSC Class: 93A14; 68T42; 15B51; 05C50; 05C05; 60J22

Protometrics

Authors: Michel Deza, Pavel Chebotarev

Abstract: We introduce the concept of protometric and present some properties of protometrics. We introduce the concept of protometric and present some properties of protometrics. △ Less

Submitted 25 March, 2016; v1 submitted 20 December, 2011; originally announced December 2011.

Comments: 4 pages. Submitted to the Special ISMVL Session in honour of Prof. Ivo G. Rosenberg. In this version, a minor correction made

MSC Class: 54E35; 51Fxx; 31E05; 15B48

Journal ref: European Journal of Combinatorics. Available online 26 February 2018

A Cyclic Representation of Discrete Coordination Procedures

Authors: Rafig Agaev, Pavel Chebotarev

Abstract: We show that any discrete opinion pooling procedure with positive weights can be asymptotically approximated by DeGroot's procedure whose communication digraph is a Hamiltonian cycle with loops. In this cycle, the weight of each arc (which is not a loop) is inversely proportional to the influence of the agent the arc leads to. We show that any discrete opinion pooling procedure with positive weights can be asymptotically approximated by DeGroot's procedure whose communication digraph is a Hamiltonian cycle with loops. In this cycle, the weight of each arc (which is not a loop) is inversely proportional to the influence of the agent the arc leads to. △ Less

Submitted 6 February, 2012; v1 submitted 2 December, 2011; originally announced December 2011.

Comments: 6 pages, 1 figure

MSC Class: 93A14; 15B51; 05C50; 05C05

Journal ref: Automation and Remote Control, 2012, vol.73, No.1, p.161-166

Simple expressions for the long walk distance

Authors: Pavel Chebotarev, R. B. Bapat, R. Balaji

Abstract: The walk distances in graphs are defined as the result of appropriate transformations of the $\sum_{k=0}^\infty(tA)^k$ proximity measures, where $A$ is the weighted adjacency matrix of a connected weighted graph and $t$ is a sufficiently small positive parameter. The walk distances are graph-geodetic, moreover, they converge to the shortest path distance and to the so-called long walk distance as… ▽ More The walk distances in graphs are defined as the result of appropriate transformations of the $\sum_{k=0}^\infty(tA)^k$ proximity measures, where $A$ is the weighted adjacency matrix of a connected weighted graph and $t$ is a sufficiently small positive parameter. The walk distances are graph-geodetic, moreover, they converge to the shortest path distance and to the so-called long walk distance as the parameter $t$ approaches its limiting values. In this paper, simple expressions for the long walk distance are obtained. They involve the generalized inverse, minors, and inverses of submatrices of the symmetric irreducible singular M-matrix ${\cal L}=ρI-A,$ where $ρ$ is the Perron root of $A.$ △ Less

Submitted 23 July, 2012; v1 submitted 1 December, 2011; originally announced December 2011.

Comments: 7 pages. Accepted for publication in Linear Algebra and Its Applications

MSC Class: 05C12; 15B48; 05C50

A topological interpretation of the walk distances

Authors: Pavel Chebotarev, Michel Deza

Abstract: The walk distances in graphs have no direct interpretation in terms of walk weights, since they are introduced via the \emph{logarithms} of walk weights. Only in the limiting cases where the logarithms vanish such representations follow straightforwardly. The interpretation proposed in this paper rests on the identity $\ln\det B=\tr\ln B$ applied to the cofactors of the matrix $I-tA,$ where $A$ is… ▽ More The walk distances in graphs have no direct interpretation in terms of walk weights, since they are introduced via the \emph{logarithms} of walk weights. Only in the limiting cases where the logarithms vanish such representations follow straightforwardly. The interpretation proposed in this paper rests on the identity $\ln\det B=\tr\ln B$ applied to the cofactors of the matrix $I-tA,$ where $A$ is the weighted adjacency matrix of a weighted multigraph and $t$ is a sufficiently small positive parameter. In addition, this interpretation is based on the power series expansion of the logarithm of a matrix. Kasteleyn (1967) was probably the first to apply the foregoing approach to expanding the determinant of $I-A$. We show that using a certain linear transformation the same approach can be extended to the cofactors of $I-tA,$ which provides a topological interpretation of the walk distances. △ Less

Submitted 16 April, 2012; v1 submitted 1 November, 2011; originally announced November 2011.

Comments: 13 pages, 1 figure. Version #3

MSC Class: 05C12; 05C50; 51K05; 15A09; 15A15

Journal ref: Distance Geometry: Theory, Methods, and Applications, ed. by A. Mucherino, C. Lavor, L. Liberti, and N. Maculan. - Berlin: Springer, 2013, Chapter 7. P. 121-135. ISBN 978-1-4614-5127-3 (Print), 978-1-4614-5128-0 (Online)

The Projection Method for Reaching Consensus and the Regularized Power Limit of a Stochastic Matrix

Authors: R. P. Agaev, P. Yu. Chebotarev

Abstract: In the coordination/consensus problem for multi-agent systems, a well-known condition of achieving consensus is the presence of a spanning arborescence in the communication digraph. The paper deals with the discrete consensus problem in the case where this condition is not satisfied. A characterization of the subspace $T_P$ of initial opinions (where $P$ is the influence matrix) that \emph{ensure}… ▽ More In the coordination/consensus problem for multi-agent systems, a well-known condition of achieving consensus is the presence of a spanning arborescence in the communication digraph. The paper deals with the discrete consensus problem in the case where this condition is not satisfied. A characterization of the subspace $T_P$ of initial opinions (where $P$ is the influence matrix) that \emph{ensure} consensus in the DeGroot model is given. We propose a method of coordination that consists of: (1) the transformation of the vector of initial opinions into a vector belonging to $T_P$ by orthogonal projection and (2) subsequent iterations of the transformation $P.$ The properties of this method are studied. It is shown that for any non-periodic stochastic matrix $P,$ the resulting matrix of the orthogonal projection method can be treated as a regularized power limit of $P.$ △ Less

Submitted 6 February, 2012; v1 submitted 19 September, 2011; originally announced September 2011.

Comments: 19 pages, 2 figures

MSC Class: 93A14; 15B51; 05C50; 05C05

Journal ref: Automation and Remote Control, 2011, vol.72, No.12, P.2458-2476

Voting in a Stochastic Environment: The Case of Two Groups

Authors: P. Yu. Chebotarev, A. K. Loginov, Ya. Yu. Tsodikova, Z. M. Lezina, V. I. Borzenko

Abstract: Social dynamics determined by voting in a stochastic environment is analyzed for a society composed of two cohesive groups of similar size. Within the model of random walks determined by voting, explicit formulas are derived for the capital increments of the groups against the parameters of the environment and "claim thresholds" of the groups. The "unanimous acceptance" and "unanimous rejection" g… ▽ More Social dynamics determined by voting in a stochastic environment is analyzed for a society composed of two cohesive groups of similar size. Within the model of random walks determined by voting, explicit formulas are derived for the capital increments of the groups against the parameters of the environment and "claim thresholds" of the groups. The "unanimous acceptance" and "unanimous rejection" group rules are considered as the voting procedures. Claim thresholds are evaluated that are most beneficial to the participants of the groups and to the society as a whole. △ Less

Submitted 3 May, 2011; originally announced May 2011.

Comments: 11 pages, 4 figures. A preliminary version of a journal paper

MSC Class: 91B12; 91B70

Journal ref: Automation and Remote Control 72 (2011), No. 7, 1537-1547

Addendum to the paper "On determining the eigenprojection and components of a matrix" [arXiv:math/0508197]

Authors: Pavel Chebotarev, Rafig Agaev

Abstract: The purpose of this note is to correct an inaccuracy in the paper: R.P. Agaev and P.Yu. Chebotarev, "On Determining the Eigenprojection and Components of a Matrix," Autom. Remote Control, 2002, vol. 63, pp. 1537-1545 [arXiv:math/0508197], and to present one of its results (namely, closed formulas for the eigenprojections and components of a matrix) in a simplified form. The purpose of this note is to correct an inaccuracy in the paper: R.P. Agaev and P.Yu. Chebotarev, "On Determining the Eigenprojection and Components of a Matrix," Autom. Remote Control, 2002, vol. 63, pp. 1537-1545 [arXiv:math/0508197], and to present one of its results (namely, closed formulas for the eigenprojections and components of a matrix) in a simplified form. △ Less

Submitted 1 April, 2011; originally announced April 2011.

Comments: 1 page

MSC Class: 15A18; 15A09

Journal ref: Automation and Remote Control 72 (2011), No. 3, P. 626

The Walk Distances in Graphs

Authors: Pavel Chebotarev

Abstract: The walk distances in graphs are defined as the result of appropriate transformations of the $\sum_{k=0}^\infty(tA)^k$ proximity measures, where $A$ is the weighted adjacency matrix of a graph and $t$ is a sufficiently small positive parameter. The walk distances are graph-geodetic; moreover, they converge to the shortest path distance and to the so-called long walk distance as the parameter $t$ a… ▽ More The walk distances in graphs are defined as the result of appropriate transformations of the $\sum_{k=0}^\infty(tA)^k$ proximity measures, where $A$ is the weighted adjacency matrix of a graph and $t$ is a sufficiently small positive parameter. The walk distances are graph-geodetic; moreover, they converge to the shortest path distance and to the so-called long walk distance as the parameter $t$ approaches its limiting values. We also show that the logarithmic forest distances which are known to generalize the resistance distance and the shortest path distance are a subclass of walk distances. On the other hand, the long walk distance is equal to the resistance distance in a transformed graph. △ Less

Submitted 5 March, 2012; v1 submitted 10 March, 2011; originally announced March 2011.

Comments: Accepted for publication in Discrete Applied Mathematics. 26 pages, 3 figures

MSC Class: 05C12; 05C50; 15B48

Comments on "Consensus and Cooperation in Networked Multi-Agent Systems"

Authors: Pavel Chebotarev

Abstract: This note corrects a pretty serious mistake and some inaccuracies in "Consensus and cooperation in networked multi-agent systems" by R. Olfati-Saber, J.A. Fax, and R.M. Murray, published in Vol. 95 of the Proceedings of the IEEE (2007, No. 1, P. 215-233). It also mentions several stronger results applicable to the class of problems under consideration and addresses the issue of priority whose inte… ▽ More This note corrects a pretty serious mistake and some inaccuracies in "Consensus and cooperation in networked multi-agent systems" by R. Olfati-Saber, J.A. Fax, and R.M. Murray, published in Vol. 95 of the Proceedings of the IEEE (2007, No. 1, P. 215-233). It also mentions several stronger results applicable to the class of problems under consideration and addresses the issue of priority whose interpretation in the above-mentioned paper is not exact. △ Less

Submitted 30 September, 2010; originally announced September 2010.

Comments: 3 pages, 11 references

MSC Class: 93A14; 05C50

Journal ref: Proceedings of the IEEE, Vol. 98, No. 7 (July 2010) 1353-1354

Analysis of Collectivism and Egoism Phenomena within the Context of Social Welfare

Authors: P. Yu. Chebotarev, A. K. Loginov, Ya. Yu. Tsodikova, Z. M. Lezina, V. I. Borzenko

Abstract: Comparative benefits provided by the basic social strategies including collectivism and egoism are investigated within the framework of democratic decision-making. In particular, we study the mechanism of growing "snowball" of cooperation. Comparative benefits provided by the basic social strategies including collectivism and egoism are investigated within the framework of democratic decision-making. In particular, we study the mechanism of growing "snowball" of cooperation. △ Less

Submitted 3 June, 2010; originally announced June 2010.

Comments: 12 pages, 5 figures. Translated from Russian. Original Russian Text published in Problemy Upravleniya, 2008, No. 4, pp. 30-37

MSC Class: 91B12; 91B70

Journal ref: Automation and Remote Control 71(2010) No.6 1196-1207

The graph bottleneck identity

Authors: Pavel Chebotarev

Abstract: A matrix $S=(s_{ij})\in{\mathbb R}^{n\times n}$ is said to determine a \emph{transitional measure} for a digraph $G$ on $n$ vertices if for all $i,j,k\in\{1,\...,n\},$ the \emph{transition inequality} $s_{ij} s_{jk}\le s_{ik} s_{jj}$ holds and reduces to the equality (called the \emph{graph bottleneck identity}) if and only if every path in $G$ from $i$ to $k$ contains $j$. We show that every posi… ▽ More A matrix $S=(s_{ij})\in{\mathbb R}^{n\times n}$ is said to determine a \emph{transitional measure} for a digraph $G$ on $n$ vertices if for all $i,j,k\in\{1,\...,n\},$ the \emph{transition inequality} $s_{ij} s_{jk}\le s_{ik} s_{jj}$ holds and reduces to the equality (called the \emph{graph bottleneck identity}) if and only if every path in $G$ from $i$ to $k$ contains $j$. We show that every positive transitional measure produces a distance by means of a logarithmic transformation. Moreover, the resulting distance $d(\cdot,\cdot)$ is \emph{graph-geodetic}, that is, $d(i,j)+d(j,k)=d(i,k)$ holds if and only if every path in $G$ connecting $i$ and $k$ contains $j$. Five types of matrices that determine transitional measures for a digraph are considered, namely, the matrices of path weights, connection reliabilities, route weights, and the weights of in-forests and out-forests. The results obtained have undirected counterparts. In [P. Chebotarev, A class of graph-geodetic distances generalizing the shortest-path and the resistance distances, Discrete Appl. Math., URL http://dx.doi.org/10.1016/j.dam.2010.11.017] the present approach is used to fill the gap between the shortest path distance and the resistance distance. △ Less

Submitted 18 January, 2011; v1 submitted 19 March, 2010; originally announced March 2010.

Comments: 12 pages, 18 references. Advances in Applied Mathematics

MSC Class: 05C12 05C50 05C05 15A48 15A51

Journal ref: Advances in Applied Mathematics. 47 (2011), No.3, P.403-413

Which Digraphs with Ring Structure are Essentially Cyclic?

Authors: Rafig Agaev, Pavel Chebotarev

Abstract: We say that a digraph is essentially cyclic if its Laplacian spectrum is not completely real. The essential cyclicity implies the presence of directed cycles, but not vice versa. The problem of characterizing essential cyclicity in terms of graph topology is difficult and yet unsolved. Its solution is important for some applications of graph theory, including that in decentralized control. In th… ▽ More We say that a digraph is essentially cyclic if its Laplacian spectrum is not completely real. The essential cyclicity implies the presence of directed cycles, but not vice versa. The problem of characterizing essential cyclicity in terms of graph topology is difficult and yet unsolved. Its solution is important for some applications of graph theory, including that in decentralized control. In the present paper, this problem is solved with respect to the class of digraphs with ring structure, which models some typical communication networks. It is shown that the digraphs in this class are essentially cyclic, except for certain specified digraphs. The main technical tool we employ is the Chebyshev polynomials of the second kind. A by-product of this study is a theorem on the zeros of polynomials that differ by one from the products of Chebyshev polynomials of the second kind. We also consider the problem of essential cyclicity for weighted digraphs and enumerate the spanning trees in some digraphs with ring structure. △ Less

Submitted 23 February, 2010; v1 submitted 16 October, 2009; originally announced October 2009.

Comments: 19 pages, 8 figures, Advances in Applied Mathematics: accepted for publication (2010) http://dx.doi.org/10.1016/j.aam.2010.01.005

MSC Class: 05C50; 05C05; 05C20; 15A18; 15B51; 93C15

Journal ref: Advances in Applied Mathematics 45 (2010), pp. 232-251

Analytical Expression of the Expected Values of Capital at Voting in the Stochastic Environment

Authors: Pavel Chebotarev

Abstract: In the simplest version of the model of group decision making in the stochastic environment, the participants are segregated into egoists and a group of collectivists. A "proposal of the environment" is a stochastically generated vector of algebraic increments of participants' capitals. The social dynamics is determined by the sequence of proposals accepted by a majority voting (with a threshold… ▽ More In the simplest version of the model of group decision making in the stochastic environment, the participants are segregated into egoists and a group of collectivists. A "proposal of the environment" is a stochastically generated vector of algebraic increments of participants' capitals. The social dynamics is determined by the sequence of proposals accepted by a majority voting (with a threshold) of the participants. In this paper, we obtain analytical expressions for the expected values of capitals for all the participants, including collectivists and egoists. In addition, distinctions between some principles of group voting are discussed. △ Less

Submitted 26 February, 2009; v1 submitted 26 February, 2009; originally announced February 2009.

Comments: 13 pages, 5 figures, translated from Russian by M.A. Kasner

MSC Class: 91B12; 91B70

Journal ref: Automation and Remote Control, 2006, Vol. 67, No. 2, pp. 480-492. Original Russian text published in Avtomatika i Telemekhanika, 2006, No. 3, pp. 152-165

Strategies of Voting in Stochastic Environment: Egoism and Collectivism

Authors: V. I. Borzenko, Z. M. Lezina, A. K. Loginov, Ya. Yu. Tsodikova, P. Yu. Chebotarev

Abstract: Consideration was given to a model of social dynamics controlled by successive collective decisions based on the threshold majority procedures. The current system state is characterized by the vector of participants' capitals (utilities). At each step, the voters can either retain their status quo or accept the proposal which is a vector of the algebraic increments in the capitals of the partici… ▽ More Consideration was given to a model of social dynamics controlled by successive collective decisions based on the threshold majority procedures. The current system state is characterized by the vector of participants' capitals (utilities). At each step, the voters can either retain their status quo or accept the proposal which is a vector of the algebraic increments in the capitals of the participants. In this version of the model, the vector is generated stochastically. Comparative utility of two social attitudes--egoism and collectivism--was analyzed. It was established that, except for some special cases, the collectivists have advantages, which makes realizable the following scenario: on the conditions of protecting the corporate interests, a group is created which is joined then by the egoists attracted by its achievements. At that, group egoism approaches altruism. Additionally, one of the considered variants of collectivism handicaps manipulation of voting by the organizers. △ Less

Submitted 25 February, 2009; originally announced February 2009.

Comments: 18 pages, 7 figures, translated from Russian by M.A. Kasner

MSC Class: 91B12; 91B70

Journal ref: Automation and Remote Control, 2006, Vol. 67, No. 2, pp. 311-328. Original Russian text published in Avtomatika i Telemekhanika, 2006, No. 2, pp. 154-173

On graph theoretic results underlying the analysis of consensus in multi-agent systems

Authors: Pavel Chebotarev

Abstract: This note corrects a pretty serious mistake and some inaccuracies in "Consensus and cooperation in networked multi-agent systems" by R. Olfati-Saber, J.A. Fax, and R.M. Murray, published in Vol. 95 of the Proceedings of the IEEE (2007, No. 1, P. 215-233). It also mentions several stronger results applicable to the class of problems under consideration and addresses the issue of priority whose in… ▽ More This note corrects a pretty serious mistake and some inaccuracies in "Consensus and cooperation in networked multi-agent systems" by R. Olfati-Saber, J.A. Fax, and R.M. Murray, published in Vol. 95 of the Proceedings of the IEEE (2007, No. 1, P. 215-233). It also mentions several stronger results applicable to the class of problems under consideration and addresses the issue of priority whose interpretation in the above-mentioned paper is not exact. △ Less

Submitted 24 February, 2009; originally announced February 2009.

Comments: 3 pages, 13 references. Submitted

Journal ref: Proceedings of the IEEE, Vol. 98, No. 7, July 2010

Coordination in multiagent systems and Laplacian spectra of digraphs

Authors: Pavel Chebotarev, Rafig Agaev

Abstract: Constructing and studying distributed control systems requires the analysis of the Laplacian spectra and the forest structure of directed graphs. In this paper, we present some basic results of this analysis partially obtained by the present authors. We also discuss the application of these results to decentralized control and touch upon some problems of spectral graph theory. Constructing and studying distributed control systems requires the analysis of the Laplacian spectra and the forest structure of directed graphs. In this paper, we present some basic results of this analysis partially obtained by the present authors. We also discuss the application of these results to decentralized control and touch upon some problems of spectral graph theory. △ Less

Submitted 24 February, 2009; originally announced February 2009.

Comments: 15 pages, 2 figures, 40 references. To appear in Automation and Remote Control, Vol.70, No.3, 2009

Journal ref: Automation and Remote Control, Vol.70 (2009), No.3, P. 469-483

A Graph Bottleneck Inequality

Authors: Pavel Chebotarev

Abstract: For a weighted directed multigraph, let $f_{ij}$ be the total weight of spanning converging forests that have vertex $i$ in a tree converging to $j$. We prove that $f_{ij} f_{jk} = f_{ik} f_{jj}$ if and only if every directed path from $i$ to $k$ contains $j$ (a graph bottleneck equality). Otherwise, $f_{ij} f_{jk} < f_{ik} f_{jj}$ (a graph bottleneck inequality). In a companion paper (P. Chebot… ▽ More For a weighted directed multigraph, let $f_{ij}$ be the total weight of spanning converging forests that have vertex $i$ in a tree converging to $j$. We prove that $f_{ij} f_{jk} = f_{ik} f_{jj}$ if and only if every directed path from $i$ to $k$ contains $j$ (a graph bottleneck equality). Otherwise, $f_{ij} f_{jk} < f_{ik} f_{jj}$ (a graph bottleneck inequality). In a companion paper (P. Chebotarev, A new family of graph distances, arXiv preprint arXiv:0810.2717}. Submitted), this inequality underlies, by ensuring the triangle inequality, the construction of a new family of graph distances. This stems from the fact that the graph bottleneck inequality is a multiplicative counterpart of the triangle inequality for proximities. △ Less

Submitted 20 May, 2009; v1 submitted 15 October, 2008; originally announced October 2008.

Comments: 6 pages. A revised version

MSC Class: 05C50; 05C05; 15A51

A Class of Graph-Geodetic Distances Generalizing the Shortest-Path and the Resistance Distances

Authors: Pavel Chebotarev

Abstract: A new class of distances for graph vertices is proposed. This class contains parametric families of distances which reduce to the shortest-path, weighted shortest-path, and the resistance distances at the limiting values of the family parameters. The main property of the class is that all distances it comprises are graph-geodetic: $d(i,j)+d(j,k)=d(i,k)$ if and only if every path from $i$ to $k$ pa… ▽ More A new class of distances for graph vertices is proposed. This class contains parametric families of distances which reduce to the shortest-path, weighted shortest-path, and the resistance distances at the limiting values of the family parameters. The main property of the class is that all distances it comprises are graph-geodetic: $d(i,j)+d(j,k)=d(i,k)$ if and only if every path from $i$ to $k$ passes through $j$. The construction of the class is based on the matrix forest theorem and the transition inequality. △ Less

Submitted 18 January, 2011; v1 submitted 15 October, 2008; originally announced October 2008.

Comments: 14 pages. Discrete Applied Mathematics

MSC Class: 05C12; 05C50; 05C05; 15A48

Journal ref: Discrete Applied Mathematics 159(2011) No. 5. 295-302

A graph theoretic interpretation of the mean first passage times

Authors: Pavel Chebotarev

Abstract: Let $m_{ij}$ be the mean first passage time from state $i$ to state $j$ in an $n$-state ergodic homogeneous Markov chain with transition matrix $T$. Let $G$ be the weighted digraph without loops whose vertex set coincides with the set of states of the Markov chain and arc weights are equal to the corresponding transition probabilities. We give a graph-theoretic interpretation to $m_{ij}$. Namely,… ▽ More Let $m_{ij}$ be the mean first passage time from state $i$ to state $j$ in an $n$-state ergodic homogeneous Markov chain with transition matrix $T$. Let $G$ be the weighted digraph without loops whose vertex set coincides with the set of states of the Markov chain and arc weights are equal to the corresponding transition probabilities. We give a graph-theoretic interpretation to $m_{ij}$. Namely, We show that $m_{ij}=f_{ij}/q_j$ if $i\ne j$ and $m_{ij}=1/\tilde q_j$ if $i=j$, where $f_{ij}$ is the total weight of 2-tree spanning converging forests in $G$ that have one tree containing $i$ and the other tree converging to $j$, $q_j$ is the total weight of spanning trees converging to $j$ in $G$, and $\tilde q_j=q_j/\sum_{k=1}^nq_k$. The result is illustrated by an example. Keywords: Markov chain; Mean first passage time; Spanning rooted forest; Matrix forest theorem; Laplacian matrix △ Less

Submitted 25 December, 2017; v1 submitted 12 January, 2007; originally announced January 2007.

Comments: 8 pages, 3 figures, 8 references. A typo has been fixed in the example. An advanced version follows

MSC Class: 60J10; 60J22; 05C50; 05C05; 15A51; 15A09

Spanning Forests and the Golden Ratio

Authors: Pavel Chebotarev

Abstract: For a graph G, let f_{ij} be the number of spanning rooted forests in which vertex j belongs to a tree rooted at i. In this paper, we show that for a path, the f_{ij}'s can be expressed as the products of Fibonacci numbers; for a cycle, they are products of Fibonacci and Lucas numbers. The {\em doubly stochastic graph matrix} is the matrix F=(f_{ij})/f, where f is the total number of spanning ro… ▽ More For a graph G, let f_{ij} be the number of spanning rooted forests in which vertex j belongs to a tree rooted at i. In this paper, we show that for a path, the f_{ij}'s can be expressed as the products of Fibonacci numbers; for a cycle, they are products of Fibonacci and Lucas numbers. The {\em doubly stochastic graph matrix} is the matrix F=(f_{ij})/f, where f is the total number of spanning rooted forests of G and n is the number of vertices in G. F provides a proximity measure for graph vertices. By the matrix forest theorem, F^{-1}=I+L, where L is the Laplacian matrix of G. We show that for the paths and the so-called T-caterpillars, some diagonal entries of F (which provides a measure of the self-connectivity of vertices) converge to φ^{-1} or to 1-φ^{-1}, where φis the golden ratio, as the number of vertices goes to infinity. Thereby, in the asymptotic, the corresponding vertices can be metaphorically considered as "golden introverts" and "golden extroverts," respectively. This metaphor is reinforced by a Markov chain interpretation of the doubly stochastic graph matrix, according to which F equals the overall transition matrix of a random walk with a random number of steps on G. △ Less

Submitted 9 September, 2007; v1 submitted 27 December, 2006; originally announced December 2006.

Comments: 12 pages, 2 figures, 25 references. As accepted by Disc. Appl. Math. (2007)

MSC Class: 05C50; 05C05; 05C12; 15A51; 11B39; 60J10

Journal ref: Discrete Applied Mathematics 156 (2008) 813-821

Matrix-Forest Theorems

Authors: Pavel Chebotarev, Elena Shamis

Abstract: The Laplacian matrix of a graph $G$ is $L(G)=D(G)-A(G)$, where $A(G)$ is the adjacency matrix and $D(G)$ is the diagonal matrix of vertex degrees. According to the Matrix-Tree Theorem, the number of spanning trees in $G$ is equal to any cofactor of an entry of $L(G)$. A rooted forest is a union of disjoint rooted trees. We consider the matrix $W(G)=I+L(G)$ and prove that the $(i,j)$-cofactor of… ▽ More The Laplacian matrix of a graph $G$ is $L(G)=D(G)-A(G)$, where $A(G)$ is the adjacency matrix and $D(G)$ is the diagonal matrix of vertex degrees. According to the Matrix-Tree Theorem, the number of spanning trees in $G$ is equal to any cofactor of an entry of $L(G)$. A rooted forest is a union of disjoint rooted trees. We consider the matrix $W(G)=I+L(G)$ and prove that the $(i,j)$-cofactor of $W(G)$ is equal to the number of spanning rooted forests of $G$, in which the vertices $i$ and $j$ belong to the same tree rooted at $i$. The determinant of $W(G)$ equals the total number of spanning rooted forests, therefore the $(i,j)$-entry of the matrix $W^{-1}(G)$ can be considered as a measure of relative ''forest-accessibility'' of vertex $i$ from $j$ (or $j$ from $i$). These results follow from somewhat more general theorems we prove, which concern weighted multigraphs. The analogous theorems for (multi)digraphs are also established. These results provide a graph-theoretic interpretation for the adjugate to the Laplacian characteristic matrix. △ Less

Submitted 2 November, 2023; v1 submitted 25 February, 2006; originally announced February 2006.

Comments: Unpublished manuscript (1994-1997); 11 pages

MSC Class: 05C50; 05C05; 15A51

The Forest Metrics for Graph Vertices

Authors: Pavel Chebotarev, Elena Shamis

Abstract: We propose a new graph metric and study its properties. In contrast to the standard distance in connected graphs, it takes into account all paths between vertices. Formally, it is defined as d(i,j)=q_{ii}+q_{jj}-q_{ij}-q_{ji}, where q_{ij} is the (i,j)-entry of the {\em relative forest accessibility matrix} Q(ε)=(I+εL)^{-1}, L is the Laplacian matrix of the (weighted) (multi)graph, and εis a posit… ▽ More We propose a new graph metric and study its properties. In contrast to the standard distance in connected graphs, it takes into account all paths between vertices. Formally, it is defined as d(i,j)=q_{ii}+q_{jj}-q_{ij}-q_{ji}, where q_{ij} is the (i,j)-entry of the {\em relative forest accessibility matrix} Q(ε)=(I+εL)^{-1}, L is the Laplacian matrix of the (weighted) (multi)graph, and εis a positive parameter. By the matrix-forest theorem, the (i,j)-entry of the relative forest accessibility matrix of a graph provides the specific number of spanning rooted forests such that i and j belong to the same tree rooted at i. Extremely simple formulas express the modification of the proposed distance under the basic graph transformations. We give a topological interpretation of d(i,j) in terms of the probability of unsuccessful linking i and j in a model of random links. The properties of this metric are compared with those of some other graph metrics. An application of this metric is related to clustering procedures such as "centered partition." In another procedure, the relative forest accessibility and the corresponding distance serve to choose the centers of the clusters and to assign a cluster to each non-central vertex. The notion of cumulative weight of connections between two vertices is proposed. The reasoning involves a reciprocity principle for weighted multigraphs. Connections between the resistance distance and the forest distance are established. △ Less

Submitted 28 April, 2011; v1 submitted 25 February, 2006; originally announced February 2006.

Comments: 14 pages, 19 ref

MSC Class: 05C50; 05C05; 05C12; 15A51

Journal ref: Electronic Notes in Discrete Mathematics 11 (July 2002) 98-107

From Incomplete Preferences to Ranking via Optimization

Authors: Pavel Chebotarev, Elena Shamis

Abstract: We consider methods for aggregating preferences that are based on the resolution of discrete optimization problems. The preferences are represented by arbitrary binary relations (possibly weighted) or incomplete paired comparison matrices. This incomplete case remains practically unexplored so far. We examine the properties of several known methods and propose one new method. In particular, we t… ▽ More We consider methods for aggregating preferences that are based on the resolution of discrete optimization problems. The preferences are represented by arbitrary binary relations (possibly weighted) or incomplete paired comparison matrices. This incomplete case remains practically unexplored so far. We examine the properties of several known methods and propose one new method. In particular, we test whether these methods obey a new axiom referred to as {\it Self-Consistent Monotonicity}. Some results are established that characterize solutions of the related optimization problems. △ Less

Submitted 24 February, 2006; originally announced February 2006.

Comments: 25 pages, 6 figures

MSC Class: 91B10; 90C35; 90C27; 91B08; 90B80

Journal ref: A version of this paper was published as: P.Yu.Chebotarev, E.V.Shamis. Constructing an objective function for aggregating incomplete preferences, In: A.Tangian and J.Gruber, eds. Econometric Decision Models: Constructing Scalar-Valued Objective Functions. Lecture Notes in Economics and Mathematical Systems, Springer-Verlag, 1997, P.100-124

Characterizations of scoring methods for preference aggregation

Authors: Pavel Chebotarev, Elena Shamis

Abstract: The paper surveys more than forty characterizations of scoring methods for preference aggregation and contains one new result. A general scoring operator is {\it self-consistent} if alternative $i$ is assigned a greater score than $j$ whenever $i$ gets no worse (better) results of comparisons and its `opponents' are assigned respectively greater (no smaller) scores than those of $j$. We prove th… ▽ More The paper surveys more than forty characterizations of scoring methods for preference aggregation and contains one new result. A general scoring operator is {\it self-consistent} if alternative $i$ is assigned a greater score than $j$ whenever $i$ gets no worse (better) results of comparisons and its `opponents' are assigned respectively greater (no smaller) scores than those of $j$. We prove that self-consistency is satisfied if and only if the application of a scoring operator reduces to the solution of a homogeneous system of algebraic equations with a monotone function on the left-hand side. △ Less

Submitted 23 February, 2006; originally announced February 2006.

Comments: 33 pages; with tables and figures

MSC Class: 91B08; 91B10; 91B12; 91B16

Journal ref: Annals of Operations Research, 1998. V. 80. P.299-332