Generalized competition index of a primitive digraph

For positive integers k and m, and a digraph D, the k-step m-competition graph of D has the same set of vertices as D and an edge between vertices x and y if and only if there are distinct m vertices v₁,v₂,…,v_m in D such that there are directed walks of length k from x to v_i and from y to v_i for 1?i?m. In this paper, we present the definition of m-competition index for a primitive digraph. The m-competition index of a primitive digraph D is the smallest positive integer k such that is a complete graph. We study m-competition indices of primitive digraphs and provide an upper bound for the m-competition index of a primitive digraph.     

A bound on the generalized competition index of a primitive matrix using Boolean rank

For a positive integer m where 1?m?n, the m-competition index (generalized competition index) of a primitive digraph is the smallest positive integer k such that for every pair of vertices x and y, there exist m distinct vertices v₁,v₂,…,v_m such that there are directed walks of length k from x to v_i and from y to v_i for 1?i?m. The m-competition index is a generalization of the scrambling index and the exponent of a primitive digraph. In this study, we determine an upper bound on the m-competition index of a primitive digraph using Boolean rank and give examples of primitive Boolean matrices that attain the bound.     

Generalized competition index of primitive digraphs

For any positive integers k and m, the k-step m-competition graph C _m ^k (D) of a digraph D has the same set of vertices as D and there is an edge between vertices x and y if and only if there are distinct m vertices v₁, v₂, · · ·, v _m in D such that there are directed walks of length k from x to v _i and from y to v _i for all 1 ≤ i ≤ m. The m-competition index of a primitive digraph D is the smallest positive integer k such that C _m ^k (D) is a complete graph. In this paper, we obtained some sharp upper bounds for the m-competition indices of various classes of primitive digraphs.     

On the exponent of a primitive digraph

We characterize the equality case of the upper bound $\text{γ(D) ? n + s(n ? 2)}$ for the exponent of a primitive digraph in the case s ? 2, where n is the number of the vertices of the digraph D and s is the length of the shortest elementary circuit of D. We also answer a question about the equality case when s = 1. The exponent of an n × n primitive nonnegative matrix A is the same as the exponent of the associated digraph D(A) of A. So every theorem in this paper can be translated into a theorem about nonnegative matrices.     

A bound on the scrambling index of a primitive matrix using Boolean rank

The scrambling index of an n×n primitive matrix A is the smallest positive integer k such that A^k(A^t)^k=J, where A^t denotes the transpose of A and J denotes the n×n all ones matrix. For an m×n Boolean matrix M, its Boolean rank b(M) is the smallest positive integer b such that M=AB for some m×b Boolean matrix A and b×n Boolean matrix B. In this paper, we give an upper bound on the scrambling index of an n×n primitive matrix M in terms of its Boolean rank b(M). Furthermore we characterize all primitive matrices that achieve the upper bound.     

A lower bound for the spectral radius of a digraph

We show that the spectral radius ρ(D) of a digraph D with n vertices and c₂ closed walks of length 2 satisfies Moreover, equality occurs if and only if D is the symmetric digraph associated to a -regular graph, plus some arcs that do not belong to cycles. As an application of this result, we construct new sharp upper bounds for the low energy of a digraph, which extends Koolen and Moulton bounds of the energy to digraphs.     

A lower bound for the recognition of digraph properties

The complexity of a digraph property is the number of entries of the adjacency matrix which must be examined by a decision tree algorithm to recognize the property in the worst case, Aanderaa and Rosenberg conjectured that there is a constant such that every digraph property which is monotone (not destroyed by the deletion of edges) and nontrivial (holds for some but not all digraphs) has complexity at leastv ² wherev is the number of nodes in the digraph. This conjecture was proved by Rivest and Vuillemin and a lower bound ofv ²/4–o(v ²) was subsequently found by Kahn, Saks, and Sturtevant. Here we show a lower bound ofv ²/2–o(v ²). We also prove that a certain class of monotone, nontrivial bipartite digraph properties is evasive (requires that every entry in the adjacency matrix be examined in the worst case).     

A bound connected with primitive matrices

Numerische Mathematik - LetA be a primitiven-square matrix, and letq 0(A) be the smallestq such thatA q ,A q +1 have a common nonzero entry. The following general bound forq 0(A) is proved: $$q_0...     

An upper bound on the path number of a digraph

A proof is presented of the conjecture of Alspach and Pullman that for any digraph G on n ≥ 4 vertices, the path number of G is at most [$\text{n}{}^2\text{4}$].     

A modular absolute bound condition for primitive association schemes

The well-known absolute bound condition for a primitive symmetric association scheme (X,S) gives an upper bound for |X| in terms of |S| and the minimal non-principal multiplicity of the scheme. In this paper we prove another upper bounds for |X| for an arbitrary primitive scheme (X,S). They do not depend on |S| but depend on some invariants of its adjacency algebra KS where K is an algebraic number field or a finite field. Partially supported by RFBR grants 07-01-00485, 08-01-00379 and 08-01-00640. The paper was done during the stay of the author at the Faculty of Science of Shinshu University.     

具有g个零强分支的有向图的传递指数

研究了传递矩阵的图论,及布尔矩阵幂的若干图论性质,给出了有向图(布尔矩阵)传递指数的上、下界估计,从而改进了已有的结果.     

A parity digraph has a kernel

We show that every digraph has a kernel (i.e. an absorbing and independent set) under the following parity condition: For every pair of verticesx, y x ≠ y all minimal directed paths betweenx andy have the same length parity.     

A property of a-fragments of a digraph

We prove in this note a property of a-fragments of a digraph. As corollary we deduce a short proof of a Jolivet Theorem on the arc-connectivity of digraphs of diameter 2.     

A generalized Malmquist productivity index

In 1953 Sten Malmquist, a Swedish economist and statistician, published inTrabajos de Estadística the foundations of a productivity index which now bears his name. In this paper we generalize the Malmquist productivity index. We show that (i) the generalized Malmquist productivity index can be expressed as the product of a Malmquist productivity index and a Malmquist scale index; (ii) the generalized Malmquist productivity index can also be expressed as the ratio of a Malmquist output quantity index to a Malmquist input quantity index; (iii) the geometric mean of a pair of Malmquist scale indexes is equal to the reciprocal of the Törnqvist scale index, which implies that (iv) the geometric mean of a pair of generalized Malmquist productivity indexes is equal to a Törnqvist productivity index.     

On a generalized Cournot oligopolistic competition game

We consider a model whereby players compete for a set of shared resources to produce and sell substitute products in the same market, which can be viewed as a generalization of the classical Cournot oligopolistic competition model, or, from a different angle, the Wardrop type routing model. In particular, we suppose that there are K players, who compete for the usage of resources as well as the sales of the end-products. Moreover, the unit costs of the shared resources and the selling prices of the products are assumed to be affine linear functions in the consumption/production quantities. We show that the price of anarchy in this case is lower bounded by 1/K, and this bound is essentially tight, which manifests the harsh nature of the competitive market for the producers.     

A perturbation bound for the generalized polar decomposition

LetA be anm×n complex matrix. A decompositionA=QH is termed ageneralized polar decomposition ofA ifQ is anm×n subunitary matrix (sometimes also called a partial isometry) andH a positive semidefinite Hermitian matrix. It was proved that a nonzero matrixA ^m×n has a unique generalized polar decompositionA=QH with the property (Q ^H )=(H), whereQ ^H denotes the conjugate transpose ofQ and (H) the column space ofH. The main result of this note is a perturbation bound forQ whenA is perturbed.