arXiv++ Combinatorics

Reciprocal matrices are a fundamental tool in the Analytic Hierarchy Process (AHP), where priority vectors are typically derived from pairwise comparisons. The efficiency of a positive vector, in the sense of Pareto optimality, can be characterized through the strong connectivity of a directed graph $G_{A,w}$ associated with a reciprocal matrix $A$ and a vector $w$. In this paper, we investigate the structure of the condensation digraph of $G_{A,w}$ in the case where $w$ is inefficient, with particular emphasis on the Perron vector. We provide a characterization of this structure and derive several constructive results. In particular, we show how efficiency can be achieved by modifying a single pair of reciprocal entries, and we construct an augmented reciprocal matrix whose efficient vector extends $w$. Finally, we propose a procedure to transform $w$ into an efficient vector for $A$.

Let $A$ be a reciprocal matrix of order $n$ and $w$ be its Perron eigenvector. To infer the efficiency of $w$ for $A$, based on the principle of Pareto optimal decisions, we study the strong connectivity of a certain digraph associated with $A$ and $w$. A reciprocal matrix $B$ of order $n+1$ is an extension of $A$ if the matrix $A$ is obtained from $B$ by removing its last row and column. We prove that there is no extension of a reciprocal matrix whose digraph associated with the extension and its Perron eigenvector has a source, as conjectured by Furtado and Johnson in ``Efficiency analysis for the Perron vector of a reciprocal matrix". As an application, considering $n\geq 5$ and $A$ a matrix obtained from a consistent one by perturbing four entries above the main diagonal, $x,y,z,a$, and the corresponding reciprocal entries, in a way that there is a submatrix of size $2$ containing the four perturbed entries and not containing a diagonal entry, we describe the relations among $x,y,z,a$ with which $A$ always has efficient Perron eigenvector.

Let $R$ and $S$ be two sequences of nonnegative integers in nonincreasing order and with the same sum, and let ${\cal A}(R,S)$ be the class of all $(0,1)$-matrices having row sum $R$ and column sum $S$. For a positive integer $t$, the $t$-term rank of a $(0,1)$-matrix $A$ is defined as the maximum number of $1$'s in $A$ with at most one $1$ in each column, and at most $t$ $1$'s in each row. In this paper, we address conditions for the existence of a matrix in a class ${\cal A}(R,S)$ that realizes all the minimum $t$-term ranks, for $t\geq 1$.