TY - JOUR
T1 - A Theorem of the Alternative for Multihomogeneous Functions and Its Relationship to Diagonal Scaling of Matrices
AU - Kalantari, Bahman
N1 - Funding Information:
Gordan's theorem of the alternative, proved in 1873 (see Dantzig \[7\]),is the following intuitively simple, yet profound result: Given a set of points in *This research was supported in part by the National Science Foundation under grants CCR-88-07518 and CCR-9208371.
PY - 1996/3/15
Y1 - 1996/3/15
N2 - We prove that, given a multihomogeneous function satisfying some initial conditions, either it has a certain nonnegative zero over a given subspace, or an associated logarithmic barrier function has a constrained stationary point. Under convexity precisely one of these conditions is satisfied. The main ingredients of the proof are the derivation of significant properties of the constrained stationary points of the logarithmic barrier function, and their relationship to corresponding points of an associated Karmarkar potential function. Corollaries of the theorem include a duality for Karmarkar's canonical linear program, which happens to be a stronger version of Gordan's theorem; a more general duality than an existing one concerning the diagonal scaling of symmetric matrices, also shown to be a stronger version of Gordan's theorem; and a diagonal scalability result for a class of multihomogeneous polynomials which is more general than a previously known result on the scalability of positive multidimensional matrices. We also give an algorithmic proof of the theorem of the alternative through a projective algorithm which is a generalization of a modified Karmarkar linear programming algorithm, and in the context of nonnegative matrix scaling becomes a variant of the well-known RAS algorithm.
AB - We prove that, given a multihomogeneous function satisfying some initial conditions, either it has a certain nonnegative zero over a given subspace, or an associated logarithmic barrier function has a constrained stationary point. Under convexity precisely one of these conditions is satisfied. The main ingredients of the proof are the derivation of significant properties of the constrained stationary points of the logarithmic barrier function, and their relationship to corresponding points of an associated Karmarkar potential function. Corollaries of the theorem include a duality for Karmarkar's canonical linear program, which happens to be a stronger version of Gordan's theorem; a more general duality than an existing one concerning the diagonal scaling of symmetric matrices, also shown to be a stronger version of Gordan's theorem; and a diagonal scalability result for a class of multihomogeneous polynomials which is more general than a previously known result on the scalability of positive multidimensional matrices. We also give an algorithmic proof of the theorem of the alternative through a projective algorithm which is a generalization of a modified Karmarkar linear programming algorithm, and in the context of nonnegative matrix scaling becomes a variant of the well-known RAS algorithm.
UR - http://www.scopus.com/inward/record.url?scp=0347304804&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0347304804&partnerID=8YFLogxK
U2 - 10.1016/0024-3795(94)00162-6
DO - 10.1016/0024-3795(94)00162-6
M3 - Article
AN - SCOPUS:0347304804
SN - 0024-3795
VL - 236
SP - 1
EP - 24
JO - Linear Algebra and Its Applications
JF - Linear Algebra and Its Applications
ER -