Stationary vectors of stochastic matrices subject to combinatorial constraints

2015 ◽  
Vol 28 ◽  
Author(s):  
Jane Breen ◽  
Steve Kirkland
Keyword(s):  
Bipartite Graph ◽  
Directed Graph ◽  
Convex Polytopes ◽  
Probability Vector ◽  
Positive Probability ◽  
Stochastic Matrices ◽  
Spanning Subgraph ◽  
Admissible Vector ◽  
Strongly Connected ◽  
Stationary Vector

Given a strongly connected directed graph D, let S_D denote the set of all stochastic matrices whose directed graph is a spanning subgraph of D. We consider the problem of completely describing the set of stationary vectors of irreducible members of S_D. Results from the area of convex polytopes and an association of each matrix with an undirected bipartite graph are used to derive conditions which must be satisfied by a positive probability vector x in order for it to be admissible as a stationary vector of some matrix in S_D. Given some admissible vector x, the set of matrices in S_D that possess x as a stationary vector is also characterised.

Strongly Connected Spanning Subgraph for Almost Symmetric Networks

2017 ◽  
Vol 27 (03) ◽  
pp. 207-219
Author(s):  
A. Karim Abu-Affash ◽  
Paz Carmi ◽  
Anat Parush Tzur
Keyword(s):  
Directed Graph ◽  
Euclidean Distance ◽  
Directed Graphs ◽  
Minimum Weight ◽  
Shortest Paths ◽  
Strong Connectivity ◽  
Spanning Subgraph ◽  
Strongly Connected ◽  
Set Of Points ◽  
Symmetric Networks

In the strongly connected spanning subgraph ([Formula: see text]) problem, the goal is to find a minimum weight spanning subgraph of a strongly connected directed graph that maintains the strong connectivity. In this paper, we consider the [Formula: see text] problem for two families of geometric directed graphs; [Formula: see text]-spanners and symmetric disk graphs. Given a constant [Formula: see text], a directed graph [Formula: see text] is a [Formula: see text]-spanner of a set of points [Formula: see text] if, for every two points [Formula: see text] and [Formula: see text] in [Formula: see text], there exists a directed path from [Formula: see text] to [Formula: see text] in [Formula: see text] of length at most [Formula: see text], where [Formula: see text] is the Euclidean distance between [Formula: see text] and [Formula: see text]. Given a set [Formula: see text] of points in the plane such that each point [Formula: see text] has a radius [Formula: see text], the symmetric disk graph of [Formula: see text] is a directed graph [Formula: see text], such that [Formula: see text]. Thus, if there exists a directed edge [Formula: see text], then [Formula: see text] exists as well. We present [Formula: see text] and [Formula: see text] approximation algorithms for the [Formula: see text] problem for [Formula: see text]-spanners and for symmetric disk graphs, respectively. Actually, our approach achieves a [Formula: see text]-approximation algorithm for all directed graphs satisfying the property that, for every two nodes [Formula: see text] and [Formula: see text], the ratio between the shortest paths, from [Formula: see text] to [Formula: see text] and from [Formula: see text] to [Formula: see text] in the graph, is at most [Formula: see text].

scholarly journals A short note on extreme points of certain polytopes

2020 ◽  
Vol 8 (1) ◽  
pp. 36-39
Author(s):  
Lei Cao ◽  
Ariana Hall ◽  
Selcuk Koyuncu
Keyword(s):  
Short Proof ◽  
Convex Polytopes ◽  
Short Note ◽  
Convex Polytope ◽  
Extreme Points ◽  
Alternative Proof ◽  
Stochastic Matrices ◽  
Doubly Stochastic ◽  
Birkhoff's Theorem ◽  
Birkhoff’S Theorem

AbstractWe give a short proof of Mirsky’s result regarding the extreme points of the convex polytope of doubly substochastic matrices via Birkhoff’s Theorem and the doubly stochastic completion of doubly sub-stochastic matrices. In addition, we give an alternative proof of the extreme points of the convex polytopes of symmetric doubly substochastic matrices via its corresponding loopy graphs.

scholarly journals Convert a Strongly Connected Directed Graph to a Black-and-White 3-SAT Problem by the Balatonboglár Model

2020 ◽  
Author(s):  
Gábor Kusper ◽  
Csaba Biró
Keyword(s):  
Directed Graph ◽  
Directed Graphs ◽  
Deep Insight ◽  
Communication Graph ◽  
Sat Problem ◽  
Weak Model ◽  
Know How ◽  
Black And White ◽  
Communication Graphs ◽  
Strongly Connected

In a previous paper we defined the Black-and-White SAT problem which has exactly two solutions, where each variable is either true or false. We showed that Black-and-White $2$-SAT problems represent strongly connected directed graphs. We presented also the strong model of communication graphs. In this work we introduce two new models, the weak model, and the Balatonbogl\'{a}r model of communication graphs. A communication graph is a directed graph, where no self loops are allowed. In this work we show that the weak model of a strongly connected communication graph is a Black-and-White SAT problem. We prove a powerful theorem, the so called Transitions Theorem. This theorem states that for any model which is between the strong and the weak model, we have that this model represents strongly connected communication graphs as Blask-and-White SAT problems. We show that the Balatonbogl\'{a}r model is between the strong and the weak model, and it generates $3$-SAT problems, so the Balatonbogl\'{a}r model represents strongly connected communication graphs as Black-and-White $3$-SAT problems. Our motivation to study these models is the following: The strong model generates a $2$-SAT problem from the input directed graph, so it does not give us a deep insight how to convert a general SAT problem into a directed graph. The weak model generates huge models, because it represents all cycles, even non-simple cycles, of the input directed graph. We need something between them to gain more experience. From the Balatonbogl\'{a}r model we learned that it is enough to have a subset of a clause, which represents a cycle in the weak model, to make the Balatonbogl\'{a}r model more compact. We still do not know how to represent a SAT problem as a directed graph, but this work gives a strong link between two prominent fields of formal methods: SAT problem and directed graphs.

scholarly journals Parameterized Complexity of Directed Spanner Problems

Algorithmica ◽  
2021 ◽  
Author(s):  
Fedor V. Fomin ◽  
Petr A. Golovach ◽  
William Lochet ◽  
Pranabendu Misra ◽  
Saket Saurabh ◽  
...  
Keyword(s):  
Directed Graph ◽  
Parameterized Complexity ◽  
Directed Graphs ◽  
Directed Acyclic Graphs ◽  
Polynomial Kernel ◽  
Distortion Parameter ◽  
Spanning Subgraph ◽  
Acyclic Graphs ◽  
Positive Integers ◽  
Additive Distortion

AbstractWe initiate the parameterized complexity study of minimum t-spanner problems on directed graphs. For a positive integer t, a multiplicative t-spanner of a (directed) graph G is a spanning subgraph H such that the distance between any two vertices in H is at most t times the distance between these vertices in G, that is, H keeps the distances in G up to the distortion (or stretch) factor t. An additive t-spanner is defined as a spanning subgraph that keeps the distances up to the additive distortion parameter t, that is, the distances in H and G differ by at most t. The task of Directed Multiplicative Spanner is, given a directed graph G with m arcs and positive integers t and k, decide whether G has a multiplicative t-spanner with at most $$m-k$$ m - k arcs. Similarly, Directed Additive Spanner asks whether G has an additive t-spanner with at most $$m-k$$ m - k arcs. We show that (i) Directed Multiplicative Spanner admits a polynomial kernel of size $$\mathcal {O}(k^4t^5)$$ O ( k 4 t 5 ) and can be solved in randomized $$(4t)^k\cdot n^{\mathcal {O}(1)}$$ ( 4 t ) k · n O ( 1 ) time, (ii) the weighted variant of Directed Multiplicative Spanner can be solved in $$k^{2k}\cdot n^{\mathcal {O}(1)}$$ k 2 k · n O ( 1 ) time on directed acyclic graphs, (iii) Directed Additive Spanner is $${{\,\mathrm{\mathsf{W}}\,}}[1]$$ W [ 1 ] -hard when parameterized by k for every fixed $$t\ge 1$$ t ≥ 1 even when the input graphs are restricted to be directed acyclic graphs. The latter claim contrasts with the recent result of Kobayashi from STACS 2020 that the problem for undirected graphs is $${{\,\mathrm{\mathsf{FPT}}\,}}$$ FPT when parameterized by t and k.

scholarly journals A Note on Hamiltonian Bypasses in Digraphs with Large Degrees

2020 ◽  
pp. 7-17
Author(s):  
Samvel Darbinyan
Keyword(s):  
Directed Graph ◽  
Hamiltonian Path ◽  
Terminal Vertex ◽  
Initial Vertex ◽  
Strongly Connected

Let D be a 2-strongly connected directed graph of order p ≥ 3. Suppose that d(x) ≥ p for every vertex x ∈ V (D) \ {x0}, where x0 is a vertex of D. In this paper, we show that if D is Hamiltonian or d(x0) > 2(p − 1)/5, then D contains a Hamiltonian path, in which the initial vertex dominates the terminal vertex.

scholarly journals An optimal rounding for half-integral weighted minimum strongly connected spanning subgraph

2021 ◽  
Vol 167 ◽  
pp. 106067
Author(s):  
D. Ellis Hershkowitz ◽  
Gregory Kehne ◽  
R. Ravi
Keyword(s):  
Spanning Subgraph ◽  
Strongly Connected

scholarly journals Approximating the smallest 2-vertex connected spanning subgraph of a directed graph

2020 ◽  
Vol 807 ◽  
pp. 185-200
Author(s):  
Loukas Georgiadis ◽  
Giuseppe F. Italiano ◽  
Aikaterini Karanasiou
Keyword(s):  
Directed Graph ◽  
Spanning Subgraph

EXPONENT MATRICES AND TILED ORDERS OVER DISCRETE VALUATION RINGS

2005 ◽  
Vol 15 (05n06) ◽  
pp. 997-1012 ◽  
Author(s):  
V. V. KIRICHENKO ◽  
A. V. ZELENSKY ◽  
V. N. ZHURAVLEV
Keyword(s):  
Markov Chains ◽  
Valuation Ring ◽  
Discrete Valuation Ring ◽  
Stochastic Matrices ◽  
Doubly Stochastic ◽  
Discrete Valuation Rings ◽  
Valuation Rings ◽  
Strongly Connected ◽  
Exponent Matrix ◽  
Finite Posets

Exponent matrices appear in the theory of tiled orders over a discrete valuation ring. Many properties of such an order and its quiver are fully determined by its exponent matrix. We prove that an arbitrary strongly connected simply laced quiver with a loop in every vertex is realized as the quiver of a reduced exponent matrix. The relations between exponent matrices and finite posets, Markov chains, and doubly stochastic matrices are discussed.

scholarly journals COMBINATORIAL TECHNIQUES FOR DETERMINING RANK AND IDEMPOTENT RANK OF CERTAIN FINITE SEMIGROUPS

2002 ◽  
Vol 45 (3) ◽  
pp. 617-630 ◽  
Author(s):  
Inessa Levi ◽  
Steve Seif
Keyword(s):  
Positive Integer ◽  
Directed Graph ◽  
Subject Classification ◽  
Generating Set ◽  
Finite Semigroups ◽  
Idempotent Rank ◽  
Strongly Connected ◽  
Primary 20M20

AbstractLet $\tau$ be a partition of the positive integer $n$. A partition of the set $\{1,2,\dots,n\}$ is said to be of type $\tau$ if the sizes of its classes form the partition $\tau$ of $n$. It is known that the semigroup $S(\tau)$, generated by all the transformations with kernels of type $\tau$, is idempotent generated. When $\tau$ has a unique non-singleton class of size $d$, the difficult Middle Levels Conjecture of combinatorics obstructs the application of known techniques for determining the rank and idempotent rank of $S(\tau)$. We further develop existing techniques, associating with a subset $U$ of the set of all idempotents of $S(\tau)$ with kernels of type $\tau$ a directed graph $D(U)$; the directed graph $D(U)$ is strongly connected if and only if $U$ is a generating set for $S(\tau)$, a result which leads to a proof if the fact that the rank and the idempotent rank of $S(\tau)$ are both equal to$$ \max\biggl\{\binom{n}{d},\binom{n}{d+1}\biggr\}. $$AMS 2000 Mathematics subject classification: Primary 20M20; 05A18; 05A17; 05C20

Sign in / Sign up

Export Citation Format

Share Document