We consider a symmetric random walk on a connected graph, where each edge is labeled with the probability of transition between the two adjacent vertices. The associated Markov chain has a uniform equilibrium distribu...
详细信息
We consider a symmetric random walk on a connected graph, where each edge is labeled with the probability of transition between the two adjacent vertices. The associated Markov chain has a uniform equilibrium distribution;the rate of convergence to this distribution, i.e., the mixing rate of the Markov chain, is determined by the second largest eigenvalue modulus (SLEM) of the transition probability matrix. In this paper we address the problem of assigning probabilities to the edges of the graph in such a way as to minimize the SLEM, i.e., the problem of finding the fastest mixing Markov chain on the graph. We show that this problem can be formulated as a convex optimization problem, which can in turn be expressed as a semidefinite program (SDP). This allows us to easily compute the (globally) fastest mixing Markov chain for any graph with a modest number of edges (say, 1000) using standard numerical methods for SDPs. Larger problems can be solved by exploiting various types of symmetry and structure in the problem, and far larger problems (say, 100,000 edges) can be solved using a subgradient method we describe. We compare the fastest mixing Markov chain to those obtained using two commonly used heuristics: the maximum-degree method, and the Metropolis-Hastings algorithm. For many of the examples considered, the fastest mixing Markov chain is substantially faster than those obtained using these heuristic methods. We derive the Lagrange dual of the fastest mixing Markov chain problem, which gives a sophisticated method for obtaining (arbitrarily good) bounds on the optimal mixing rate, as well as the optimality conditions. Finally, we describe various extensions of the method, including a solution of the problem of finding the fastest mixing reversible Markov chain, on a fixed graph, with a given equilibrium distribution.
We show in this paper that any system of linear matrix inequalities depending continuously upon scalar parameters and solvable for any value of the latter in a fixed compact set, admits a branch of solutions polynomia...
详细信息
We show in this paper that any system of linear matrix inequalities depending continuously upon scalar parameters and solvable for any value of the latter in a fixed compact set, admits a branch of solutions polynomial with respect to the parameters. This result is useful for studying, e.g. parametric robustness or gain-scheduling issues. (C) 2003 Elsevier B.V. All rights reserved.
作者:
Eldar, YCMegretski, AVerghese, GCMIT
Res Lab Elect Cambridge MA 02139 USA MIT
Lab Informat & Decis Syst Cambridge MA 02139 USA MIT
Lab Electromagnet & Elect Syst Cambridge MA 02139 USA
We develop a sufficient condition for the least-squares measurement (LSM), or the square-root measurement, to minimize the probability of a detection error when distinguishing between a collection of mixed quantum sta...
详细信息
We develop a sufficient condition for the least-squares measurement (LSM), or the square-root measurement, to minimize the probability of a detection error when distinguishing between a collection of mixed quantum states. Using this condition we derive the optimal measurement for state sets with a broad class of symmetries. We first consider geometrically uniform (GU) state sets with a possibly non-Abelian generating group, and show that if the generator satisfies a weighted norm constraint, then the LSM is optimal. In particular, for pure-state GU ensembles, the LSM is shown to be optimal. For arbitrary GU state sets we show that the optimal measurement operators are GU with generator that can be computed very efficiently in polynomial time, within any desired accuracy. We then consider compound GU (CGU) state sets which consist of subsets that are GU. When the generators satisfy a certain constraint, the LSM is again optimal. For arbitrary CGU state sets, the optimal measurement operators are shown to be CGU with generators that can be computed efficiently in polynomial time.
We present a new ellipsoidal relaxation of 0-1 quadratic optimization problems. The relaxation and the dual problem are derived. Both these problems are strictly feasible;so strong duality holds, and they can be solve...
详细信息
We present a new ellipsoidal relaxation of 0-1 quadratic optimization problems. The relaxation and the dual problem are derived. Both these problems are strictly feasible;so strong duality holds, and they can be solved numerically using primal-dual interior-point methods. Numerical results are presented which indicate that the described relaxation is efficient. (C) 2003 Published by Elsevier B.V.
In several applications the solutions of combinatorial optimization problems (COP) are required to satisfy an additional cardinality constraint, that is to contain a fixed number of elements. So far the family of (COP...
详细信息
In several applications the solutions of combinatorial optimization problems (COP) are required to satisfy an additional cardinality constraint, that is to contain a fixed number of elements. So far the family of (COP) with cardinality constraints has been little investigated. The present work tackles a new problem of this class: the k-cardinality minimum cut problem (k-card cut). For a number of variants of this problem we show complexity results in the most significant graph classes. Moreover, we develop several heuristic algorithms for the k-card cut problem for complete, complete bipartite, and general graphs. Lower bounds are obtained through an SDP formulation, and used to show the quality of the heuristics. Finally, we present a randomized SDP heuristic and numerical results. (C) 2003 Elsevier B.V. All rights reserved.
Because of the powerful symbol error performance of multiuser maximum-likelihood (ML) detection, recently, there has been much interest in seeking effective ways of approximating multiuser ML detection (MLD) with affo...
详细信息
Because of the powerful symbol error performance of multiuser maximum-likelihood (ML) detection, recently, there has been much interest in seeking effective ways of approximating multiuser ML detection (MLD) with affordable computational costs. It has been illustrated that for the synchronous code division multiple access (CDMA) scenario, the so-called semidefinite relaxation (SDR) algorithm can accurately and efficiently approximate multiuser MLD. This SDR-MLD algorithm, however, can only handle binary and quadratic phase shift keying (PSK) symbol constellations. In this sequel, we propose an extended SDR algorithm for MLD with M-ary PSK (MPSK) constellations. For the synchronous CDMA scenario, the proposed SDR algorithm provides an attractive polynomial-time complexity order of K-3.5, where K is the number of users. Simulation results indicate that the proposed detector provides improved symbol error performance compared with several commonly used multiuser detectors.
We study a smoothing Newton method for solving a nonsmooth matrix equation that includes semidefinite programming and the semidefinite complementarity problem as special cases. This method, if specialized for solving ...
详细信息
We study a smoothing Newton method for solving a nonsmooth matrix equation that includes semidefinite programming and the semidefinite complementarity problem as special cases. This method, if specialized for solving semidefinite programs, needs to solve only one linear system per iteration and achieves quadratic convergence under strict complementarity and nondegeneracy. We also establish quadratic convergence of this method applied to the semidefinite complementarity problem under the assumption that the Jacobian of the problem is positive definite on the affine hull of the critical cone at the solution. These results are based on the strong semismoothness and complete characterization of the B-subdifferential of a corresponding squared smoothing matrix function, which are of general theoretical interest.
Jaeckel and Rebonato [1] develop two different methods of creating valid correlation matrices: construction by hypersphere decomposition and by singular value (i.e. spectral) decomposition. Although both methods yield...
详细信息
ISBN:
(纸本)1853127361
Jaeckel and Rebonato [1] develop two different methods of creating valid correlation matrices: construction by hypersphere decomposition and by singular value (i.e. spectral) decomposition. Although both methods yield satisfactory results in practice, from a mathematical point of view they both share some theoretical drawbacks. Using results from semidefinite programming (SDP) we give the most general problem formulation to compute valid correlation matrices. We present numerical results which prove that these SDPs are rather easily solvable with efficient solvers for SDP problems (e.g. PENNON, see [3]). In contrast to Higham [2] we do not find numerical difficulties in solving the stated SDP problems. We close the article with two more very important features which have been neglected in literature so far. First, regularity and second, control of the condition number of the resulting correlation matrix are easily guaranteed by linear SDP-constraints. Numerical experiments show that these additional constraints do not harm the efficient numerical solution.
The use of the sum of squares decomposition and semidefinite programming have provided an efficient methodology for analysis of nonlinear systems described by ODES by algorithmically constructing Lyapunov functions. B...
详细信息
ISBN:
(纸本)0780383354
The use of the sum of squares decomposition and semidefinite programming have provided an efficient methodology for analysis of nonlinear systems described by ODES by algorithmically constructing Lyapunov functions. Based on the same methodology we present an algorithmic procedure for constructing Lyapunov-Krasovskii functionals for nonlinear time delay systems described by Functional Differential Equations (FDEs) both for delay-dependent and delay-independent stability analysis. Robust stability analysis of these systems under parametric uncertainty can be treated in a unified way. We illustrate the results with an example from population dynamics.
In this paper we present a method for synthesis of decentralized controllers for multiple identical systems interconnected on a graph. We develop a synthesis procedure for controllers which will stabilize the system f...
详细信息
ISBN:
(纸本)0780383354
In this paper we present a method for synthesis of decentralized controllers for multiple identical systems interconnected on a graph. We develop a synthesis procedure for controllers which will stabilize the system for any graph topology satisfying given degree bounds, independent of the size of the graph. The methods reduce to computation via semidefinite programming, and the size of the resulting optimization problem does not grow with the size of the graph. We also show how these results may be extended to construct partially decentralized controllers which receive measurements from their neighbors. We illustrate the results via an example of a power distribution network.
暂无评论