-
Mixed-Integer Approaches to Constrained Optimum Communication Spanning Tree Problem
Authors:
Alexander Veremyev,
Mikhail Goubko
Abstract:
Several novel mixed-integer linear and bilinear formulations are proposed for the optimum communication spanning tree problem. They implement the distance-based approach: graph distances are directly modeled by continuous, integral, or binary variables, and interconnection between distance variables is established using the recursive Bellman-type conditions or using matrix equations from algebraic…
▽ More
Several novel mixed-integer linear and bilinear formulations are proposed for the optimum communication spanning tree problem. They implement the distance-based approach: graph distances are directly modeled by continuous, integral, or binary variables, and interconnection between distance variables is established using the recursive Bellman-type conditions or using matrix equations from algebraic graph theory. These non-linear relations are used either directly giving rise to the bilinear formulations, or, through the big-M reformulation, resulting in the linear programs. A branch-and-bound framework of Gurobi 9.0 optimization software is employed to compare performance of the novel formulations on the example of an optimum requirement spanning tree problem with additional vertex degree constraints. Several real-world requirements matrices from transportation industry are used to generate a number of examples of different size, and computational experiments show the superiority of the two novel linear distance-based formulations over the the traditional multicommodity flow model.
△ Less
Submitted 11 January, 2021;
originally announced January 2021.
-
Bilinear matrix equation characterizes Laplacian and distance matrices of weighted trees
Authors:
Mikhail Goubko,
Alexander Veremyev
Abstract:
It is known from the algebraic graph theory that if $L$ is the Laplacian matrix of some tree $G$ with a vertex degree sequence $\mathbf{d}=(d_1, ..., d_n)^\top$ and $D$ is its distance matrix, then $LD+2I=(2\cdot\mathbf{1}-\mathbf{d})\mathbf{1}^\top$, where $\mathbf{1}$ is an all-ones column vector. We prove that if this matrix identity holds for the Laplacian matrix of some graph $G$ with a degre…
▽ More
It is known from the algebraic graph theory that if $L$ is the Laplacian matrix of some tree $G$ with a vertex degree sequence $\mathbf{d}=(d_1, ..., d_n)^\top$ and $D$ is its distance matrix, then $LD+2I=(2\cdot\mathbf{1}-\mathbf{d})\mathbf{1}^\top$, where $\mathbf{1}$ is an all-ones column vector. We prove that if this matrix identity holds for the Laplacian matrix of some graph $G$ with a degree sequence $\mathbf{d}$ and for some matrix $D$, then $G$ is essentially a tree, and $D$ is its distance matrix. This result immediately generalizes to weighted graphs. If the matrix $D$ is symmetric, the lower triangular part of this matrix identity is redundant and can be omitted. Therefore, the above bilinear matrix equation in $L$, $D$, and $\mathbf{d}$ characterizes trees in terms of their Laplacian and distance matrices. Applications to the extremal graph theory (especially, to topological index optimization and to optimal tree problems) and to road topology design are discussed.
△ Less
Submitted 22 January, 2021; v1 submitted 13 August, 2020;
originally announced August 2020.
-
Dense Subgraphs in Random Graphs
Authors:
Paul Balister,
Béla Bollobás,
Julian Sahasrabudhe,
Alexander Veremyev
Abstract:
For a constant $γ\in[0,1]$ and a graph $G$, let $ω_γ(G)$ be the largest integer $k$ for which there exists a $k$-vertex subgraph of $G$ with at least $γ\binom{k}{2}$ edges. We show that if $0<p<γ<1$ then $ω_γ(G_{n,p})$ is concentrated on a set of two integers. More precisely, with $α(γ,p)=γ\log\fracγ{p}+(1-γ)\log\frac{1-γ}{1-p}$, we show that $ω_γ(G_{n,p})$ is one of the two integers closest to…
▽ More
For a constant $γ\in[0,1]$ and a graph $G$, let $ω_γ(G)$ be the largest integer $k$ for which there exists a $k$-vertex subgraph of $G$ with at least $γ\binom{k}{2}$ edges. We show that if $0<p<γ<1$ then $ω_γ(G_{n,p})$ is concentrated on a set of two integers. More precisely, with $α(γ,p)=γ\log\fracγ{p}+(1-γ)\log\frac{1-γ}{1-p}$, we show that $ω_γ(G_{n,p})$ is one of the two integers closest to $\frac{2}{α(γ,p)}\big(\log n-\log\log n+\log\frac{eα(γ,p)}{2}\big)+\frac{1}{2}$, with high probability. While this situation parallels that of cliques in random graphs, a new technique is required to handle the more complicated ways in which these "quasi-cliques" may overlap.
△ Less
Submitted 27 March, 2018;
originally announced March 2018.
-
The Minimum Edge Compact Spanner Network Design Problem
Authors:
Tathagata Mukherjee,
Alexander Veremyev,
Piyush Kumar,
Eduardo Pasiliao Jr
Abstract:
In this paper we introduce and study the Minimum Edge Compact Spanner~(MECS) problem. We prove hardness results related to the problem, design exact and greedy algorithms for solving the problem, and show related experimental results. The MECS problem looks for sparse subgraphs of an input graph, such that the average shortest path distance is preserved to a constant factor. Average distance is a…
▽ More
In this paper we introduce and study the Minimum Edge Compact Spanner~(MECS) problem. We prove hardness results related to the problem, design exact and greedy algorithms for solving the problem, and show related experimental results. The MECS problem looks for sparse subgraphs of an input graph, such that the average shortest path distance is preserved to a constant factor. Average distance is a measure of the ease of communication over the network. As a result such problems have applications in areas where one wants to substitute a dense graph with a sparse subgraph while maintaining a low cost of communication.
△ Less
Submitted 11 December, 2017;
originally announced December 2017.
-
On the hierarchical risk-averse control problems for diffusion processes
Authors:
Getachew K. Befekadu,
Alexander Veremyev,
Eduardo L. Pasiliao
Abstract:
In this paper, we consider a risk-averse control problem for diffusion processes, in which there is a partition of the admissible control strategy into two decision-making groups (namely, the {\it leader} and {\it follower}) with different cost functionals and risk-averse satisfactions. Our approach, based on a hierarchical optimization framework, requires that a certain level of risk-averse satis…
▽ More
In this paper, we consider a risk-averse control problem for diffusion processes, in which there is a partition of the admissible control strategy into two decision-making groups (namely, the {\it leader} and {\it follower}) with different cost functionals and risk-averse satisfactions. Our approach, based on a hierarchical optimization framework, requires that a certain level of risk-averse satisfaction be achieved for the {\it leader} as a priority over that of the {\it follower's} risk-averseness. In particular, we formulate such a risk-averse control problem involving a family of time-consistent dynamic convex risk measures induced by conditional $g$-expectations (i.e., filtration-consistent nonlinear expectations associated with the generators of certain backward stochastic differential equations). Moreover, under suitable conditions, we establish the existence of optimal risk-averse solutions, in the sense of viscosity solutions, for the corresponding risk-averse dynamic programming equations. Finally, we briefly comment on the implication of our results.
△ Less
Submitted 2 January, 2018; v1 submitted 10 March, 2016;
originally announced March 2016.
-
Two-dimensional tunnel bifurcations with dissipation
Authors:
A. K. Aringazin,
Yu. Dahnovsky,
V. D. Krevchik,
M. B. Semenov,
V. A. Veremyev,
A. A. Ovchinnikov,
K. Yamamoto
Abstract:
Two-particle tunneling in synchronous and asynchronous regimes is studied in the framework of dissipative quantum tunneling. We show that the use of the proposed model is justified by a comparison with realistic potential energy surfaces of porphyrin and experimental dependence of the reaction rate on temperature. The critical temperature T_c corresponding to a bifurcation of the underbarrier tr…
▽ More
Two-particle tunneling in synchronous and asynchronous regimes is studied in the framework of dissipative quantum tunneling. We show that the use of the proposed model is justified by a comparison with realistic potential energy surfaces of porphyrin and experimental dependence of the reaction rate on temperature. The critical temperature T_c corresponding to a bifurcation of the underbarrier trajectory is determined. The effect of a heat bath local mode on the probability of two-dimensional tunneling transfer is also investigated. At certain values of the parameters, the degeneracy of antiparallel tunneling trajectories is important. Thus, four, six, twelve, etc., pairs of the trajectories should be taken into account (a cascade of bifurcations). For the parallel particle tunneling the bifurcation resembles phase transition of a first kind, while for the antiparallel transfer it behaves as second order phase transition. The proposed theory allows for the explanation of experimental data on quantum fluctuations in two-proton tunneling in porphyrins near the critical temperature.
△ Less
Submitted 25 August, 2003;
originally announced August 2003.