Finding Optimal Minors of Valuated Bimatroids

Similar documents
MATHEMATICAL ENGINEERING TECHNICAL REPORTS

MATHEMATICAL ENGINEERING TECHNICAL REPORTS. Induction of M-convex Functions by Linking Systems

M-convex Function on Generalized Polymatroid

MATHEMATICAL ENGINEERING TECHNICAL REPORTS. Combinatorial Analysis of Generic Matrix Pencils

1 date: April 2, 2015 file: murota1. (B-EXC) For x, y B and for u supp + (x y), there exists v supp (x y) such that x χ u +

Minimization and Maximization Algorithms in Discrete Convex Analysis

A Grassmann Algebra for Matroids

Gross Substitutes Tutorial

Lecture Notes Introduction to Cluster Algebra

On Steepest Descent Algorithms for Discrete Convex Functions

QUALITATIVE CONTROLLABILITY AND UNCONTROLLABILITY BY A SINGLE ENTRY

MATHEMATICAL ENGINEERING TECHNICAL REPORTS. Index Characterization of Differential-Algebraic Equations in Hybrid Analysis for Circuit Simulation

LOWER BOUNDS FOR THE MAXIMUM NUMBER OF SOLUTIONS GENERATED BY THE SIMPLEX METHOD

Measurement partitioning and observational. equivalence in state estimation

Discrete Convex Analysis

A Faster Strongly Polynomial Time Algorithm for Submodular Function Minimization

On the adjacency matrix of a block graph

ACI-matrices all of whose completions have the same rank

Research Article Minor Prime Factorization for n-d Polynomial Matrices over Arbitrary Coefficient Field

MATHEMATICAL ENGINEERING TECHNICAL REPORTS. On the Pipage Rounding Algorithm for Submodular Function Maximization A View from Discrete Convex Analysis

Four new upper bounds for the stability number of a graph

MATHEMATICAL ENGINEERING TECHNICAL REPORTS. On the Kronecker Canonical Form of Singular Mixed Matrix Pencils

Rank-one LMIs and Lyapunov's Inequality. Gjerrit Meinsma 4. Abstract. We describe a new proof of the well-known Lyapunov's matrix inequality about

A notion of Total Dual Integrality for Convex, Semidefinite and Extended Formulations

Some Remarks on the Discrete Uncertainty Principle

A quantitative version of the commutator theorem for zero trace matrices

Notes on Plücker s Relations in Geometric Algebra

A Necessary and Sufficient Condition for High-Frequency Robustness of Non-Strictly-Proper Feedback Systems

EECS 495: Combinatorial Optimization Lecture Manolis, Nima Mechanism Design with Rounding

Linear Algebra and its Applications

M. VAN BAREL Department of Computing Science, K.U.Leuven, Celestijnenlaan 200A, B-3001 Heverlee, Belgium

Jurgen Garlo. the inequality sign in all components having odd index sum. For these intervals in

The Maximum Dimension of a Subspace of Nilpotent Matrices of Index 2

8 The Gelfond-Schneider Theorem and Some Related Results

arxiv: v1 [cs.sy] 2 Apr 2019

A Generalized Uncertainty Principle and Sparse Representation in Pairs of Bases

Primitive sets in a lattice

TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS

Notes taken by Graham Taylor. January 22, 2005

Tropical aspects of algebraic matroids. Jan Draisma Universität Bern and TU Eindhoven (w/ Rudi Pendavingh and Guus Bollen TU/e)

A Note on Discrete Convexity and Local Optimality

Zero controllability in discrete-time structured systems

Introduction to optimization

Mustapha Ç. Pinar 1. Communicated by Jean Abadie

arxiv:math/ v5 [math.ac] 17 Sep 2009

Dual Consistent Systems of Linear Inequalities and Cardinality Constrained Polytopes. Satoru FUJISHIGE and Jens MASSBERG.

Infinite elementary divisor structure-preserving transformations for polynomial matrices

Linear Algebra Notes. Lecture Notes, University of Toronto, Fall 2016

THE DIRECT SUM, UNION AND INTERSECTION OF POSET MATROIDS

On Multivariate Newton Interpolation at Discrete Leja Points

FRACTIONAL PACKING OF T-JOINS. 1. Introduction

SOR- and Jacobi-type Iterative Methods for Solving l 1 -l 2 Problems by Way of Fenchel Duality 1

Relationships between the Completion Problems for Various Classes of Matrices

DESCRIPTOR FRACTIONAL LINEAR SYSTEMS WITH REGULAR PENCILS

Possible numbers of ones in 0 1 matrices with a given rank

Uniform Boundedness of a Preconditioned Normal Matrix Used in Interior Point Methods

0.1 Rational Canonical Forms

Approximating Submodular Functions. Nick Harvey University of British Columbia

Unless otherwise specified, V denotes an arbitrary finite-dimensional vector space.

Mathematical Olympiad Training Polynomials

Discrete Convex Analysis

8. Limit Laws. lim(f g)(x) = lim f(x) lim g(x), (x) = lim x a f(x) g lim x a g(x)

Observations on the Stability Properties of Cooperative Systems

University of Colorado Denver Department of Mathematical and Statistical Sciences Applied Linear Algebra Ph.D. Preliminary Exam June 10, 2011

Contraction Methods for Convex Optimization and Monotone Variational Inequalities No.16

The doubly negative matrix completion problem

AN ASYMPTOTIC BEHAVIOR OF QR DECOMPOSITION

Buyback Problem with Discrete Concave Valuation Functions

Support Vector Machine Classification via Parameterless Robust Linear Programming

1 Introduction Semidenite programming (SDP) has been an active research area following the seminal work of Nesterov and Nemirovski [9] see also Alizad

Cutting Plane Methods I

ON ORTHOGONAL REDUCTION TO HESSENBERG FORM WITH SMALL BANDWIDTH

1 Maximizing a Submodular Function

ABSOLUTE VALUES AND VALUATIONS

Representations of All Solutions of Boolean Programming Problems

Graph coloring, perfect graphs

Optimization of Submodular Functions Tutorial - lecture I

Comments and Corrections

Semidefinite and Second Order Cone Programming Seminar Fall 2001 Lecture 5

- Well-characterized problems, min-max relations, approximate certificates. - LP problems in the standard form, primal and dual linear programs

The Cayley Hamilton Theorem

A Strongly Polynomial Simplex Method for Totally Unimodular LP

The Closed Form Reproducing Polynomial Particle Shape Functions for Meshfree Particle Methods

A combinatorial algorithm minimizing submodular functions in strongly polynomial time

Applications of the Inverse Theta Number in Stable Set Problems

A determinant characterization of moment sequences with finitely many mass-points

Classification of root systems

Lecture 5 January 16, 2013

MATHEMATICAL ENGINEERING TECHNICAL REPORTS. Discrete Hessian Matrix for L-convex Functions

Research Division. Computer and Automation Institute, Hungarian Academy of Sciences. H-1518 Budapest, P.O.Box 63. Ujvári, M. WP August, 2007

MATHEMATICAL ENGINEERING TECHNICAL REPORTS. Dijkstra s Algorithm and L-concave Function Maximization

Lebesgue Measure on R n

Sufficiency of Signed Principal Minors for Semidefiniteness: A Relatively Easy Proof

MATH 5720: Unconstrained Optimization Hung Phan, UMass Lowell September 13, 2018

Applications of Controlled Invariance to the l 1 Optimal Control Problem

On the closures of orbits of fourth order matrix pencils

Constraint Solving for Program Verification: Theory and Practice by Example

1 Simplex and Matrices

Symmetric Matrices and Eigendecomposition

M-convex Functions on Jump Systems A Survey

Transcription:

Finding Optimal Minors of Valuated Bimatroids Kazuo Murota Research Institute of Discrete Mathematics University of Bonn, Nassestrasse 2, 53113 Bonn, Germany September 1994; Revised: Nov. 1994, Jan. 1995 Abstract As a variant of valuated matroid of Dress and Wenzel, we define the concept of a valuated bimatroid to investigate the combinatorial properties of the degree of subdeterminants of a rational function matrix. Two algorithms are developed for computing the maximum degree of a minor of specified order; the algorithms are valid also for valuated bimatroids in general. Key Words: valuated matroid, concavity, degree of subdeterminant, Smith- McMillan form of a rational function matrix. Abbreviated title: Valuated Bimatroid 1 INTRODUCTION Let A(x) = (A ij (x)) be an m n matrix with A ij (x) being a rational function in x with coefficients from a field F, and denote by δ k the highest degree of a minor of order k of A(x). That is, with δ k = max{w(i, J) I = J = k} (1) w(i, J) = deg det A[I, J], (2) where A[I, J] denotes the submatrix of A with row-set I and column-set J, and the degree of a rational function f(x) = p(x)/q(x) (with p(x), q(x) F [x]) is defined by deg f = deg p deg q. We assume det A[, ] = 1 and w(, ) = 0. Published in Applied Mathematics Letters, Vol. 8, No.4, 37 42, 1995. On leave from Research Institute for Mathematical Sciences, Kyoto University, Kyoto 606-01, Japan; Fax: +81-75-753-7272; Email: murota@kurims.kyoto-u.ac.jp. 1

The present paper develops two algorithms for computing δ k by exploiting the combinatorial properties of the function w(i, J). To be specific, we first define the concept of a valuated bimatroid as a variant of valuated matroid introduced by Dress and Wenzel [1], [2]; a valuated bimatroid is nothing but a valuated matroid in a disguise, just as a bimatroid [3] (or a linking system [4]) can be identified with a matroid with a fixed base. Then, we derive two theorems; the first (Theorem 1) stating the concavity of δ k as a function of k, and the second (Theorem 2) revealing the nesting structure of the maximizers (I, J) of w(i, J). Finally we develop, based on those theorems, two different algorithms for computing δ k that work for valuated bimatroids in general, and we mention their applications to rational function matrices. The results of this paper not only contribute to the theory of valuated matroid but also have fundamental engineering significance. For example, when δ k is defined for a rational function matrix A(x) as above, we can obtain the Smith- McMillan form at infinity (known also as the structure at infinity in the literature of control theory [5]) of A(x) by computing δ k (k = 1, 2, ). When A(x) is a regular pencil, on the other hand, the δ k (k = 1, 2, ) determine the structural indices of its Kronecker form [6] (and hence the index of nilpotency) which plays an important role in the analysis of differential-algebraic equations (DAEs). See [7] for details. 2 VALUATED BIMATROID We introduce the concept of a valuated bimatroid as a variant of valuated matroids as follows. Let R and C be disjoint finite sets and let w be a map from 2 R 2 C into R { }. With w, we associate the map v : 2 R C R { }, defined by v(i J) := w(r I, J), I R, J C. (3) We define (R, C, w) to be a valuated bimatroid if (R C, v) is a valuated matroid (as defined in [1], [2]) with v(r). This means in particular that and where w(, ) (4) w(i, J) = for (I, J) S, (5) S = {(I, J) I = J, I R, J C}. By translating the exchange axiom for valuated matroids v into conditions on w, we see that (R, C, w) is a valuated bimatroid if and only if w satisfies (4), (5), and the exchange properites (E1) and (E2) below for any (I, J) S and (I, J ) S: (E1) For any i I I, at least one of the following two assertions holds: (a1) j J J : w(i, J)+w(I, J ) w(i+i, J+j )+w(i i, J j ), (b1) i I I : w(i, J)+w(I, J ) w(i i+i, J)+w(I i +i, J ). 2

(E2) For any j J J, at least one of the following two assertions holds: (a2) i I I : w(i, J)+w(I, J ) w(i i, J j)+w(i +i, J +j), (b2) j J J : w(i, J)+w(I, J ) w(i, J j+j )+w(i, J j +j). We define the rank r of (R, C, w) by r = max{ I (I, J) S : w(i, J) }. Remark 1 (E1) and (E2) together can be put in a more compact form as (E12) For any X I I and Y J J with X + Y = 1 there exist X I I and Y J J with X + Y = 1 such that w(i, J) + w(i, J ) w(i X + X, J Y + Y ) + w(i X + X, J Y + Y ). Remark 2 The Grassmann Plücker relations (or the Laplace expansions) imply that w(i, J) := deg det A[I, J] defines a valuated bimatroid (R, C, w) with w(, ) = 0. As is obvious from [2], a valuated bimatroid can be defined more generally from any matrix over a field with non-archimedian valuation. Remark 3 The family {(I, J) w(i, J) } constitutes the family of linked pairs of a bimatroid (or a linking system) in the sense of [4]. This follows from the correspondence between matroids and bimatroids as well as the fact ([2, Remark (i) of 1]) that the family of bases of a valuated matroid constitutes the family of bases of a matroid. To state our results we introduce notations: S k = {(I, J) I = J = k, I R, J C}, δ k = max{w(i, J) (I, J) S k }, 0 k r, M k = {(I, J) S k w(i, J) = δ k }, 0 k r. Theorem 1 The following inequality holds δ k 1 + δ k+1 2δ k, for 1 k r 1. (6) Proof. Let (I, J ) M k 1, (I +, J + ) M k+1 and i I + I. From (E1) it follows that or j J + J : δ k 1 + δ k+1 w(i + i, J + j) + w(i + i, J + j) i I I + : δ k 1 + δ k+1 w(i i + i, J ) + w(i + i + i, J + ). In the first case, the right-hand side is bounded by 2δ k since (I + i, J + j) S k and (I + i, J + j) S k ; thus (6) is established. In the second case, the righthand side is bounded by δ k 1 + δ k+1, and therefore (I i + i, J ) M k 1 and (I + i + i, J + ) M k+1. Putting (Ĩ, J ) = (I, J ), (Ĩ+, J + ) = (I + i + i, J + ), we have (Ĩ, J ) M k 1, (Ĩ+, J + ) M k+1 and Ĩ Ĩ+ = I I + 1. By applying the above argument repeatedly, we will end up with the first case since I I + decreases while the second case applies. Next we look at the families M k (k = 0, 1,, r) of the maximizers of w. 3

Lemma 1 Let (I k, J k ) M k and (I, J ) M k 1, where 1 k r. (1) For any i I k I, either (a 1) or (b 1) (or both) holds, where (a 1) j J k J : (I + i, J + j) M k, (I k i, J k j) M k 1, (b 1) i I I k : (I i + i, J ) M k 1, (I k i + i, J k ) M k. (2) For any j J k J, either (a 2) or (b 2) (or both) holds, where (a 2) i I k I : (I k i, J k j) M k 1, (I + i, J + j) M k, (b 2) j J J k : (I k, J k j + j ) M k, (I, J j + j) M k 1. Proof. This follows from inequalities like those in the proof of Theorem 1. Theorem 2 For any (I k, J k ) M k with 1 k r 1 there exist (I l, J l ) M l (0 l r, l k) such that ( =)I 0 I 1 I k 1 I k I k+1 I r and ( =)J 0 J 1 J k 1 J k J k+1 J r. Proof. We show the existence of such (I k 1, J k 1 ). The existence of (I k+1, J k+1 ) can be shown in a similar manner, and the existence of the other (I l, J l ) (with l k 2) follows by induction. Let (I, J ) M k 1. If I I k, we apply Lemma 1 (1) to obtain (a 1) or (b 1). In case of (a 1) we are done with (I k 1, J k 1 ) = (I k i, J k j). In case of (b 1) we put Ĩ = I i + i, J = J to get (Ĩ, J ) M k 1 with Ĩ I k = I I k 1. Applying the above argument repeatedly, we will arrive at the case (a 1) or otherwise obtain (I, J ) M k 1 with I I k. Note that J remains unchanged in the latter case. Then, we apply Lemma 1 (2) repeatedly in a similar way as long as J J k, eventually arriving at (I, J ) M k 1 with I I k and J J k. 3 ALGORITHMS Obviously, Theorem 2 suggests the following incremental (or greedy) algorithm for computing δ k for k = 0, 1,, r. This algorithm involves O(r R C ) evaluations of w to compute the whole sequence (δ 0, δ 1,, δ r ). Algorithm I I 0 := ; J 0 := ; for k := 1, 2, do Find i R I k 1, j C J k 1 that maximizes w(i k 1 + i, J k 1 + j) and put I k := I k 1 + i, J k := J k 1 + j and δ k := w(i k, J k ). The iteration stops when w(i k, J k ) =, and then the rank r is given by k 1. The second algorithm is based on Theorem 1 and relies on the greedy algorithm defined in [1] for valuated matroids. The concavity of δ k implies that for α satisfying δ k δ k 1 α δ k+1 δ k (7) 4

the maximum of δ l αl over 0 l r is attained by l = k. From this, it follows that δ k = kα + max{w α (I, J) (I, J) S}, (8) where since w α (I, J) = w(i, J) α I, max w α(i, J) = max max w α (I, J) = max(δ l αl) = δ k αk. (I,J) S l (I,J) S l l It should be noted here that (R, C, w α ) is again a valuated bimatroid and, hence, max (I,J) S w α (I, J) can be computed efficiently by applying the greedy algorithm of [1] to the valuated matroid associated with w α as indicated in (3). We can find k + (α) max{k max(δ l αl) = δ k αk}, l k (α) min{k max(δ l αl) = δ k αk} l by maximizing (resp. minimizing) I among the maximizers of w α (I, J) by means of a slightly modified version of the greedy algorithm of [1]. The following algorithm computes the rank r and δ k (k = 0, 1,, r) by searching for appropriate values of α. It requires O(r R C ) evaluations of w. Algorithm II δ 0 := w(, ); Let α be sufficiently small (α < 0, α : large); Maximize w α to find r = k + (α) = k (α) and δ r ; if r 2 then search(0, r). Here, the procedure search(k 1, k 2 ) is defined when k 1 + 2 k 2 as follows. procedure search(k 1, k 2 ) α := (δ k2 δ k1 )/(k 2 k 1 ); Maximize w α to find k + = k + (α), k = k (α), δ + = δ k+ and δ = δ k ; for k < k < k + do δ k := ((k k )δ + + (k + k)δ )/(k + k ); if k 1 + 2 k then search(k 1, k ); if k + + 2 k 2 then search(k +, k 2 ). Remark 4 The above algorithms, when applied to w of (2), yield new algorithms for computing the Smith-McMillan form at infinity (see [7], [8] for other algorithms). In this case, w(i, J) can be evaluated either by interpolation (see [9] for rational function interpolation) or by combinatorial relaxation [10]. The former is superior in theoretical complexity whereas the latter in practical efficiency. The author is grateful to Andreas Dress for a stimulating comment on [7], which motivated the present work, as well as for detailed comments on the manuscript of this paper, and to Werner Terhalle for careful reading of the manuscript. 5

References [1] A. W. M. Dress and W. Wenzel, Valuated matroid: A new look at the greedy algorithm, Applied Mathematics Letters 3 (2), 33 35 (1990). [2] A. W. M. Dress and W. Wenzel, Valuated matroids, Advances in Mathematics 93, 214 250 (1992). [3] J. P. S. Kung, Bimatroids and invariants, Advances in Mathematics 30, 238 249 (1978). [4] A. Schrijver, Matroids and linking systems, Journal of Combinatorial Theory B26, 349 369 (1979). [5] G. C. Verghese and T. Kailath, Rational matrix structure, IEEE Transactions on Automatic Control AC 26, 434 439 (1981). [6] F. R. Gantmacher, The Theory of Matrices, Chelsea, New York (1959). [7] K. Murota, Combinatorial relaxation algorithm for the maximum degree of subdeterminants: Computing Smith-McMillan form at infinity and structural indices in Kronecker form, Applicable Algebra in Engineering, Communication and Computing, 1995, to appear. [8] S. Iwata, K. Murota and I. Sakuta, Primal-dual combinatorial relaxation algorithms for computing the maximum degree of subdeterminants, SIAM Journal on Scientific Computing, to appear. [9] D. Braess: Nonlinear Approximation Theory, Springer-Verlag, Berlin, 1986. [10] K. Murota, Computing the degree of determinants via combinatorial relaxation, SIAM Journal on Computing 24 (4) (1995), to appear. 6