1: %%mc1002s 2006/10/02
2: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3: %\documentclass[13pt,german]{article}
4: %\usepackage{a4wide}
5: %\documentstyle[fullpage,epsf]{article}
6: \documentclass[14pt]{article}
7: \usepackage{amssymb}
8: \usepackage{amsmath}
9: \usepackage{latexsym}
10: %\usepackage{showkeys}
11: %\usepackage{graphicx}
12: %\usepackage{fullpage}
13: %\usepackage{epsf}
14: \usepackage{epsfig}
15: % ===== User Defined Commands =====
16: %
17: \newcommand {\mpar}[1]{\marginpar{\fussy\tiny #1}}
18: %%%%% In-line formulae %%%%%
19: \newcommand{\ebox}[1]{\mbox{\( #1 )}}
20: \newcommand{\eqbox} {\ebox}
21: \newcommand{\eqnbox} {\ebox}
22: %%%%% numbered equations %%%%%
23: \newcommand {\eq}[1]{\begin{equation}\label{#1}}
24: \newcommand {\en} {\end{equation}}
25: %
26: %%%%% Script Letters %%%%%
27: \newcommand {\cA} {{\cal A}}
28: \newcommand {\cB} {{\cal B}}
29: \newcommand {\cC} {{\cal C}}
30: \newcommand {\cD} {{\cal D}}
31: \newcommand {\cE} {{\cal E}}
32: \newcommand {\cF} {{\cal F}}
33: \newcommand {\cG} {{\cal G}}
34: \newcommand {\cH} {{\cal H}}
35: \newcommand {\cI} {{\cal I}}
36: \newcommand {\cJ} {{\cal J}}
37: \newcommand {\cK} {{\cal K}}
38: \newcommand {\cL} {{\cal L}}
39: \newcommand {\cM} {{\cal M}}
40: \newcommand {\cN} {{\cal N}}
41: \newcommand {\cO} {{\cal O}}
42: \newcommand {\cP} {{\cal P}}
43: \newcommand {\cQ} {{\cal Q}}
44: \newcommand {\cR} {{\cal R}}
45: \newcommand {\cS} {{\cal S}}
46: \newcommand {\cT} {{\cal T}}
47: \newcommand {\cU} {{\cal U}}
48: \newcommand {\cV} {{\cal V}}
49: \newcommand {\cW} {{\cal W}}
50: \newcommand {\cX} {{\cal X}}
51: \newcommand {\cY} {{\cal Y}}
52: \newcommand {\cZ} {{\cal Z}}
53: %
54: %%%%% frequently required constructions %%%%%
55: \newcommand {\Pn} {\cP_{n}}
56: \newcommand {\Pm} {\cP_{m}}
57: %
58: \newcommand {\Cmn} {\cC_{m,n}^1}
59: \newcommand {\Cnn} {\cC_{n,n}^1}
60: \newcommand {\Cmm} {\cC_{m,m}^1}
61: %
62: \newcommand {\Dmn} {\cD_{m,n}}
63: \newcommand {\Dmm} {\cD_{m,m}}
64: \newcommand {\Dnn} {\cD_{n,n}}
65: \newcommand {\Dmpn} {\cD_{m+n,m+n}}
66: %
67: \newcommand {\Amn} {\cA_{m,n}}
68: \newcommand {\Amm} {\cA_{m,m}}
69: \newcommand {\Ann} {\cA_{n,n}}
70: \newcommand {\Ampn} {\cA_{m+n,m+n}}
71: %
72: \newcommand {\Umn} {\cU_{m,n}}
73: \newcommand {\Unn} {\cU_{n,n}}
74: \newcommand {\Umm} {\cU_{m,m}}
75: \newcommand{\fln}[2]{$#1 \times 10^{-#2}$}
76: %
77: \newcommand {\rn} {{\rm Vrn}}
78: \newcommand {\ar} {\Vrn}
79: %
80: \newcommand {\kbyk}[1]{\ebox{#1{\rm -by-}#1}}
81: \newcommand {\mbyn}[2]{\ebox{#1{\rm -by-}#2}}
82: %
83: \newcommand {\proof} {\noindent{\it Proof}. \ignorespaces}
84: \newcommand {\eproof}{\space{\ \vbox{\hrule\hbox{\vrule height1.3ex\hskip0.8ex\vrule}\hrule}}\vskip 0.3cm \par}
85: %
86: %%%%% common sets of numbers, vectors and matrices %%%%%
87: \newcommand {\R} {{\mathbb R}}
88: %\newcommand {\re} {{\mathbb R}}
89: \newcommand {\Z} {{\mathbb Z}}
90: \newcommand {\Rn} {\R^n}
91: \newcommand {\Rps} {^*\R_*}
92: \newcommand {\Rm} {\R^m}
93: \newcommand {\Rp} {\R_+}
94: \newcommand {\Rpn} {\R^n_+}
95: \newcommand {\Rpk} {\R^k_+}
96: \newcommand {\Rpsk} {\R^k_*}
97: \newcommand {\Rpnn} {\R^{nn}_+}
98: \newcommand {\Rpnk} {\R^{nk}_+}
99: %\newcommand {\Rp} {\R^p}
100: \newcommand {\Rnn} {\R^{n \times n}}
101: \newcommand {\Rtnn} {\R^{2n \times 2n}}
102: \newcommand {\Rmm} {\R^{m \times m}}
103: \newcommand {\Rmn} {\R^{m \times n}}
104: \newcommand {\Rnp} {\R^{n \times p}}
105: \newcommand {\cn} {\cC^n}
106: \newcommand {\cnn} {\cC^{n \times n}}
107: %
108: %%%%% common double bar norms %%%%%
109: \newcommand {\nrm}[1]{\left|\!\left| #1 \right|\!\right|}
110: \newcommand {\nnrm}[1]{|\!| #1 |\!|}
111: \newcommand {\nrmF}[1]{\nrm{#1}_F}
112: \newcommand {\nnrmF}[1]{\nnrm{#1}_F}
113: \newcommand {\nrmone}[1]{\nrm{#1}_1}
114: \newcommand {\nrmtwo}[1]{\nrm{#1}_2}
115: \newcommand {\nnrmtwo}[1]{\nnrm{#1}_2}
116: \newcommand {\nrminf}[1]{\nrm{#1}_\infty}
117: \newcommand {\twonrm}[1]{\nrmtwo{#1}}
118: %
119: %%%%% matrix construction %%%%%
120: \newcommand {\mat}[1]{\left[\begin{array}{#1}}
121: \newcommand {\rix} {\end{array}\right]}
122: \newcommand{\smallermatrix}[4]{\left[
123: {\scriptstyle #1 \atop \scriptstyle #3 }\,\,
124: {\scriptstyle}]}
125: \newcommand{\smallvector}[2]{\left[
126: {\scriptstyle #1 \atop \scriptstyle #2 }
127: \right
128: ]}
129: %
130: %%%%% theorems, lemmas, corollaries, etc... %%%%%
131: \newtheorem{theorem} {Theorem}
132: \newtheorem{lemma} [theorem]{Lemma}
133: \newtheorem{definition} [theorem]{Definition}
134: \newtheorem{corollary} [theorem]{Corollary}
135: \newtheorem{proposition} [theorem]{Proposition}
136: \newtheorem{key} [theorem]{Key Proposition}
137: \newtheorem{assumption} [theorem]{Assumption}
138: \newtheorem{example} [theorem] {Example}
139: \newtheorem{remark} [theorem] {Remark}
140: \newtheorem{problem} [theorem] {Problem}
141: \newtheorem{algorithm} [theorem] {Algorithm}
142: \newtheorem{conjecture} [theorem] {Conjecture}
143: \newtheorem{question} [theorem] {Question}
144: %
145: %
146: %%%%% miscellaneous mathematical operations %%%%%
147: \newcommand {\diag} {\mathop{\rm diag}\nolimits}
148: \newcommand {\rank} {\mathop{\rm rank}\nolimits}
149: \newcommand {\trace} {\mathop{\rm trace}\nolimits}
150: \newcommand {\range} {\mathop{\rm span}\nolimits}
151: \newcommand {\corange} {\mathop{\rm corange}\nolimits}
152: \newcommand {\kernel} {\mathop{\rm kernel}\nolimits}
153: \newcommand {\cokernel} {\mathop{\rm cokernel}\nolimits}
154: \newcommand {\basis} {\mathop{\rm basis}\nolimits}
155: \newcommand {\sigmin} {\mathop{\sigma_{\rm min}}\nolimits}
156: \newcommand {\ind} {\mathop{\rm ind}\nolimits}
157: \newcommand {\inv} {\mathop{\rm Inv}\nolimits}
158: \newcommand {\tran}[1]{{#1}^T}
159: \newcommand {\conj} [1]{{#1}^H}
160: %
161: %%%%% miscellaneous bits of notation %%%%%
162: \newcommand{\grad} {\nabla}
163: \newcommand{\bigo} {\ebox{\bf O}}
164: \newcommand{\inter} {\cap}
165: \newcommand{\intersection} {\inter}
166: \newcommand{\ali} {A-\lambda_{i}I}
167: \newcommand{\ab} {A-bf^T}
168: \newcommand{\lam} {\{ \lambda_{1},\ldots,\lambda_{n}\}}
169: \newcommand{\lamb} {\lambda_1,\ldots,\lambda_n}
170: \newcommand{\gam} {\gamma_1,\ldots,\gamma_n}
171: \newcommand{\Gam} {\Gamma:=\diag (\gam)}
172: \newcommand{\la} {\Lambda(A)}
173: \newcommand{\cne} {\cC^{-}}
174: \newcommand{\cnr}[1]{\cC^{-}_{-#1}}
175: \newcommand{\cp} {\cC^{+}_0}
176: \newcommand{\cond} {\kappa}
177: \newcommand{\nf} {\nrm{f}}
178: \newcommand{\re}[1]{\mathop{\rm Re}{#1}}
179: \newcommand{\im}[1]{\mathop{\rm Im}{#1}}
180: %%%%% Added by Olga
181: \def\eqbd{\mathop{{:}{=}}}
182: \def\bdeq{\mathop{{=}{:}}}
183: \def\C{{\rm C\kern-.48em\vrule width.06em height.6em depth-.02em
184: \kern.48em}}
185: %%%%% Added by Hans
186: \def\go{\omega}
187: \def\gl{\lambda}
188: \def\ga{\alpha}
189: \def\gb{\beta}
190: \def\gg{\gamma}
191: \def\ge{\varepsilon}
192: \def\PS{Potter-Sch\"utzenberger}
193: \def\msn{\medskip\noindent}
194: \def\bsn{\bigskip\noindent}
195: \def\Zbar{\overline{Z}}
196: \def\hu{\Hat{u}}
197: \def\hv{\Hat{v}}
198: \def\hw{\Hat{w}}
199: \def\hw{\Hat{w}}
200: \def\hx{\Hat{x}}
201: \def\nn{\{1,\ldots,n\}}
202: %\def\supp{\rm supp}
203: \newcommand {\supp} {\mathop{\rm supp}\nolimits}
204: \newcommand {\spn} {\mathop{\rm span}\nolimits}
205: %\def\version{file mc0929h \hfill Version 29 Sep 2006 17:15}
206:
207:
208: %\def\prnt{print; \today}
209: %%%%% End of additions
210: \sloppy
211: %\def\baselinestretch{1.3}
212: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
213: % ===== Author, Title, Date =====
214: \begin{document}
215: \title{Generators, Extremals and Bases of Max Cones\thanks{%
216: Supported by the EPSRC grant T06414 and the RFBR grant 05-01-00824}}
217: \author{Peter Butkovi\v{c}\thanks{Corresponding author.}\;\thanks{%
218: School of Mathematics, University of Birmingham, Edgbaston,
219: Birmingham B15 2TT, UK.} \and {Hans Schneider\thanks%
220: {Department of
221: Mathematics, University of Wisconsin--Madison, Madison, WI 53706,
222: USA}}\and {Serge\u{\i} Sergeev\thanks%
223: {Department of Physics, Sub-Department of Quantum Statistics and
224: Field Theory, Moscow State University, Moscow,
225: 119992 Vorobyevy Gory, Russia}}}%
226: \maketitle
227: %{\small\version}
228: %\date{}
229: \begin{abstract}
230: \msn
231: Max cones are max-algebraic analogs of convex cones. In the present
232: paper we develop a theory of generating sets and extremals of max
233: cones in $\Rpn$. This theory is based on
234: the observation that extremals are minimal elements of max cones
235: under suitable scalings of vectors. We give new proofs of existing
236: results suitably generalizing, restating and refining them. Of
237: these, it is important that any set of generators may be partitioned
238: into the set of extremals and the set of redundant elements. We
239: include results on properties of open and closed cones, on
240: properties of totally dependent sets and on computational bounds for
241: the problem of finding the (essentially unique) basis of a finitely
242: generated cone.
243:
244:
245: \msn AMS classification: 15A48, 15A03.
246:
247: \msn Keywords: Max algebra, cone, basis, scaling, extremal, algorithm.
248: \end{abstract}
249: \section{Introduction}%
250: By {\em max algebra} we understand the analog of linear algebra
251: obtained by considering $\R_+$ (the nonnegative reals)
252: with max times operations:
253: $$a\oplus b := \max(a,b),$$
254: $$a\otimes b := ab$$
255: extended to matrices and vectors. That is, if
256: $A=(a_{ij}),~B=(b_{ij})$ and $C=(c_{ij})$ are matrices of
257: compatible sizes with entries from $\R_+$ and $\alpha\in\R_+$, we
258: write $C=A\oplus B$ if $c_{ij}=a_{ij}\oplus b_{ij}$ for all $i,j$,
259: $C=A\otimes B$ if $c_{ij}=\bigoplus_{k} a_{ik}\otimes
260: b_{kj}=\max_{k}(a_{ik}b_{kj})$ for all $i,j$ and $C=\alpha \otimes
261: A$ if $c_{ij}=\alpha \otimes a_{ij} $ for all $i,j$. There are
262: several essentially equivalent \footnote{that is, algebraically
263: isomorphic} definitions of max algebra. An early paper presenting
264: the above version is \cite{Vor}, another early paper presenting an
265: equivalent version is \cite{CG0}.
266: %The algebraic structures appearing in tropical geometry, for instance in
267: %\cite{DS} and \cite{Jos}, are also to some extent
268: %another form of max algebra.
269: For more information on max algebra, its generalizations and applications
270: the reader is referred e.g. to \cite{BCOQ}, \cite{But}, \cite{CG1,CG2,CG3},
271: \cite{GM} and \cite{UZ}.
272: %Other forms
273: %of max algebra may be found e.g. in \cite{CG0,CG1,CG2,CG3} and in \cite{But}.
274: See also \cite{LM} for recent developments in the area and for
275: further references.
276:
277: \msn
278: %As observed in the abstract, our aim is to develop a theory of
279: %general max cones in max algebra and here
280: We give a summary of the
281: contents of this paper. In Section 2 we begin by defining (max)
282: cones, extremals, generating sets, independent sets and totally
283: dependent sets. The key observation is Proposition \ref{spanit}
284: which extends \cite[Proposition 2.9]{Jos}. We deduce in Theorem
285: \ref{morextr} that extremals are minimal elements of max cones under
286: suitable scalings of vectors. This leads us to a reformulation and
287: new proof of the basic result Theorem \ref{mainres} which is also
288: easily derived from \cite[Proposition 2.5.3]{Wag1}: Every generating
289: set of a max cone can be partitioned into the set of the extremals
290: of a cone and a set of redundant elements. It follows that if a cone
291: has a basis then (under a scaling condition) it consists of the
292: extremals of the cone and hence the cone has a basis unique up to
293: scalar multiples, see Theorem \ref{nextres} and its corollaries for
294: more detail. In Corollary \ref{totdep} we then turn to the case when
295: the set of extremals of the cone is empty, in which case every
296: generating set is totally dependent. Discussion of totally dependent
297: sets specifically may be new. Towards the end of this section we
298: consider topological notions. In Corollary \ref{open} we show that
299: (under a natural restriction) every open cone has totally
300: dependent generators and in Proposition \ref{c:cc} we prove an
301: analogue of Minkowski's theorem for closed cones. This result
302: extends a result due to \cite{Hel} and it also appears as
303: \cite[Theorem 3.1]{GK1} where a different proof is given.
304: %We give proofs of known results found in \cite{Wag1} and \cite{Jos}
305: %suitably restating and refining them. Further results include
306: %Minkowski's theorem, which extends the results of \cite{Hel}, and
307: %some properties of totally dependent sets.
308:
309: \msn In Section 3 we give two simple versions of an algorithm, based
310: on \cite[Theorem 16.2]{CG2} for finding the (essentially unique)
311: basis of a finitely generated max cone and a MATLAB program which
312: implements one version. We also relate our problem to the classical
313: problem of finding maxima of a set of vectors which is described in
314: \cite{KLP} and in \cite[Section 3]{PS}, and give the bounds for
315: computational complexity.
316:
317: \msn We now relate the concepts and techniques of our proofs to
318: those in other publications. Most of our concepts appear in \cite{Hel},
319: \cite{Wag0} and \cite{Wag1}, sometimes under different
320: names. For instance, extremals are called irreducible
321: elements in \cite{Wag0} and \cite{Wag1}, and minimal elements
322: are called efficient points in \cite{Hel}.
323: Our key Proposition \ref{spanit} may also be derived
324: from (possibly slightly extended) results found in some of our
325: references. Examples are results in \cite{Vor} Section 2 in terms
326: of set coverings, see also \cite{CG0}, \cite[Theorem 15.6]{CG2}
327: and \cite{But} Section 2, or the fundamental results of \cite{CG2}
328: and \cite[Section 3]{CG3} concerning max linear systems. The
329: latter are also found in \cite{CG1} and \cite{DS} in terms of a
330: projection operator.
331: Further, such results on max linear
332: systems as Proposition \ref{spanit} and Proposition \ref{extension}
333: can be extended to the case of
334: functional Galois connections, as it is shown in \cite{AGK}.
335: The generalizations considered
336: in \cite{AGK} are useful in many areas including abstract convex
337: analysis, the theory of Hamilton-Jacobi equation and the Monge-Kantorovitch
338: mass transportation problem.
339:
340: \msn Our topic is also related to (and partially stimulated by) the
341: emerging field of tropical geometry which develops basic concepts of
342: max algebra in a different form and with different terminology and
343: applies these to finitely generated structures, see
344: \cite{DS},\cite{Jos} and \cite{BYu}. In particular, Proposition
345: \ref{spanit} can also be seen as a minor extension of
346: \cite[Proposition 2.9]{Jos} which is important in the theory of
347: tropical halfspaces. The emphasis of these papers is on geometry,
348: while in this paper it is on algebraic and order theoretic results.
349: \msn Max cones are also studied in \cite{GK0} and \cite{GK1}. The
350: main effort of these papers is to develop the theory of max-plus
351: convex sets and their recession cones. This theory is not present in
352: our paper. In turn, we deal with more general cones and we emphasize
353: the link to set maxima and give a more detailed description of bases
354: and generating sets.
355:
356: \msn In max algebra as in linear algebra a basis is normally
357: defined as an {\em indexed set}, that is a {\em sequence} if the
358: basis is finite or countable, see \cite{Wag1} for a definition in
359: max algebra or \cite[p.10]{Bou} in linear algebra. Since we wish
360: to show the inclusion of the set of extremals (which do not have a
361: natural order) in every generating set or basis for a cone we
362: define the latter in term of {\em sets} in Section 2. We thereby
363: exclude the possibility of a repetition of elements in generating
364: sets. But we change our point of view in Section 3 on algorithms for
365: finitely generated cones since we wish to consider the generators
366: as columns of a matrix.
367:
368: \msn Max cones have much in common with convex cones, see \cite{Roc}
369: for a general reference. This has been exploited (and
370: generalized) in many papers including those just quoted and e.g.
371: \cite{CGQS} and \cite{KZ}. To this end, the basic concepts of this
372: paper and such results as Theorem \ref{mainres}, Proposition
373: \ref{c:cc} and Proposition \ref{p:clcl} have their direct analogs
374: in terms of positive linear combinations and
375: in convex analysis. We do not provide details, as convex geometry
376: is also beyond our scope here.
377: %\end{document} TEMP 55555
378: \section{Generating sets, bases and extremals}
379: \label{gsb&e}
380: \msn We begin with two standard definitions of max algebra.
381: \begin{definition}{\rm A subset $K$ of $\Rpn$ is a {\em max cone} in
382: $\Rpn$ if it
383: is closed under $\oplus$ and $\otimes$ by nonnegative reals.}
384: \end{definition}
385: \begin{definition} {\rm Let $S \subseteq \Rn_+$. Then $u$ is a
386: {\em max combination} of $S$ if
387: \begin{equation}\label{maxcomb}
388: u = \bigoplus_{x \in S} \gl_x x, \quad \gl_x \in \Rp,
389: \end{equation}
390: where only finite number of
391: %Sergei%
392: %nonnegative scalars
393: %%%%%%%
394: $\gl_x \neq 0$. The set of all max
395: combinations will be denoted by span($S$). We put span$(\emptyset)=\{0\}$.}
396: \end{definition}
397: Evidently, span($S$) is a cone. If span($S) = K $, we call $S$ a
398: {\em set of generators} for $K$.
399: \begin{definition}\label{extr} An element $u \in K$ is
400: an {\em extremal} in $K$ if
401: \begin{equation}
402: u = v \oplus w,\ v,w \in K \Longrightarrow u = v\ {\rm or}\ u= w.
403: \end{equation}
404: \end{definition}
405: If $u$ is an extremal in $K$ and $\gl > 0$ then $\gl u$ is also an
406: extremal in $K$.
407: %%%%%%%%
408: %Extremals are defined in \cite{Wag1} under the name "irreducible
409: %elements".
410: %Sergei%
411: \begin{definition}{\rm
412: An element $x \in \Rn_+$ is {\em scaled} if $||x||=1$.}
413: \end{definition}
414: For most of this section, $||x||$ may be any norm in $\Rn$ (they are all
415: equivalent). However, in the end we specialize to the max norm,
416: $\|x\|=\max x_i$, in order to exploit the property that it is max
417: linear on $\Rpn$.
418: If $S \subseteq \Rpn$ we may call $S$ scaled to indicate that it
419: consists of scaled elements.
420: \begin{definition} {\rm Let $S$ be a set of vectors in $\Rpn$.
421: \begin{enumerate}
422: \item
423: The set $S$ is {\em dependent} if, for some $x \in S$, $x$ is a max combination
424: of $S\setminus\{x\}$. Otherwise,
425: $S$ is {\em independent}.
426: \item
427: The set $S$ is {\em totally dependent} if every $x \in S$ is a
428: max combination of $S\setminus\{x\}$.
429: \end{enumerate}}
430: \end{definition}
431: Thus the empty set of vectors is both independent and totally
432: dependent. Since span$(\emptyset) = \{0\}$, the set $\{0\}$ is
433: totally dependent.
434: \begin{definition} \rm Let $K$ be a cone in $\Rpn$.
435: A set $S$ of vectors in $\Rpn$ is
436: a {\em basis} for $K$ if it is an independent set of generators
437: for $K$.
438: \end{definition}
439: The set of all unit vectors $\{e^p,\ p=1,\ldots,n\}$
440: defined, as usual, by
441: \begin{equation}
442: \label{unit}
443: e_j^p=
444: \begin{cases}
445: 1,& j=p\\
446: 0,& j\ne p
447: \end{cases},
448: \end{equation}
449: is a basis of $\Rpn$, which is called {\em standard}.
450: \begin{lemma} \label{extr1} Let $S$ be a set of scaled generators
451: for the cone $K$ in $\Rpn$ and let $u$ be a scaled extremal in
452: $K$. Then $u \in S$.
453: \end{lemma}
454: \proof Suppose $u$ is given by the max combination
455: (\ref{maxcomb}). Since the number of nonzero $\gl_x$ is finite, we
456: may use Definition \ref{extr} and induction to show that $u=\gl_x x$ for
457: some $x$. But $u$ and $x$ are both scaled, hence $u=x$ and $u \in S$.
458: \eproof
459: \begin{lemma}\label{extr2} The set of scaled extremals of a cone is
460: independent. \end{lemma}
461: \proof If the set $E$ of scaled extremals is nonempty let $u$ be a
462: scaled extremal in $K$ and apply Lemma \ref{extr1} to the cone
463: $K_1 :=$ span$(E\backslash \{u\})$. This shows $u \not \in K_1$
464: and the result is proved. \eproof
465: Below we use subscripts for elements of vectors in $\Rpn$ and
466: superscripts to label vectors.
467: \begin{definition} {\rm
468: Let $v \in \Rpn$. Then the {\em support} of $v$ is defined by
469: $$ {\rm supp}(v) = \{j \in \nn: v_j > 0\}.$$
470: The cardinality of
471: $\supp(u)$ will be written as $|\supp(u)|$.}
472: \end{definition}
473: In order to relate the natural partial order on $\Rpn$ to results
474: on extremals of cones we introduce a scaling of vectors in $\Rpn$
475: for each $j \in \nn$ such that for each scaled vector $v_j = 1$.
476: \begin{definition}{\rm
477: \begin{enumerate}
478: \item
479: Let $u \in \Rpn$ and suppose $j \in \supp(u)$. Then we define $
480: u(j) = u/u_j.$
481: \item
482: Let $S \subseteq \Rpn$. We define $S(j) = \{u(j) : u \in S\ {\rm
483: and}\ j \in \supp(u)\}$ for all $j=1,\ldots,n$.
484: \item
485: Let $S \subseteq \Rpn$. An element $u \in S$ is called {\em
486: minimal} in $S$, if $v \leq u$ and $v \in S$ implies that $v = u$.
487: \item
488: Let $K$ be a cone in $\Rpn$, let $u \in K$,
489: %Sergei%
490: and let
491: $j \in \supp(u)$.
492: %%%%%%%%
493: We define
494: $$D_j(u) = \{v \in K(j): v \leq u(j)\}.$$
495: \end{enumerate}}
496: \end{definition}
497: Our key observation is the following Proposition. It can be viewed
498: as a minor but needed extension of \cite[Proposition 2.9]{Jos},
499: see also the remarks concerning it in our Introduction.
500: \begin{key} \label{spanit}
501: Let $S \subseteq \Rpn$. Then the following are equivalent:
502: \begin{enumerate}
503: \item
504: $u \in {\rm span}(S)$.
505: \item
506: For each $j \in \supp(u)$ there is an $x^j \in S$ such that $j \in
507: \supp(x^j)$ and $x^j(j) \in D_j(u)$.
508: \end{enumerate}
509: \end{key}
510: \begin{proof}
511: 2. $\Longrightarrow$ 1: If 2. holds, then $u =\bigoplus_{j
512: \in \supp(u)} \gl_j x^j$ where $\gl_j = u_j/x^j_j$.\\
513: 1. $\Longrightarrow$ 2.
514: Conversely if 1. holds, then it follows immediately from (\ref{maxcomb}) that for
515: each $j \in \supp(u)$ there is an $x^j \in S$ with $\gl_j x^j \leq
516: u$ and $(\gl_j x^j)_j = u_j$. Clearly, $\gl_j = u_j/x^j_j$ which
517: yields 2.
518: \end{proof} \eproof
519: The following immediate corollary to Proposition \ref{spanit} is
520: essentially found as \cite[Theorem II.1]{Hel} and as
521: \cite[Proposition 5]{DS}. It is analogous to Carath\'{e}odory's Theorem.
522: \begin{corollary}\label{cara}
523: Let $S \subseteq \Rpn$. Then $u \in \spn(S)$ if and only if there
524: are k vectors $x^1,\ldots, x^k \in S,$ where $k \leq |supp(u)|$,
525: such that $u \in \spn\{x^1,...,x^k$\}. \eproof
526: \end{corollary}
527: \begin{corollary}\label{remove} Let $K$ be a cone in $\Rpn$ and let $T$ be a set
528: of generators for $K$. Let $U \subseteq T$ and let $S =
529: T\backslash U$. Then $S$ generates $K$ if and only if each $u \in
530: T$ satisfies condition 2. of Proposition \ref{spanit}. \eproof
531: \end{corollary}
532: \begin{theorem} \label{morextr}
533: Let $K$ be a cone in $\Rpn$
534: generated by $S$ and let $u \in S,\
535: u \neq 0$. Then the following are equivalent:
536: \begin{enumerate}
537: \item
538: $u$ is an extremal in $K$.
539: \item
540: For some $j \in \supp (u)$,
541: $u(j)$ is minimal in $K(j)$.
542: \item \label{minS}
543: For some $j \in \supp (u)$, $u(j)$ is minimal in $S(j)$.
544: \end{enumerate}
545: \end{theorem}
546: \begin{proof}
547: 1. $\Longrightarrow$ 3. If $|\supp(u)| = 1$ then $u(j)$ is minimal
548: in $S(j)$. So suppose that $|\supp(u)| > 1$ and that $u(j)$ is not
549: minimal in $S(j)$ for any $j \in \supp(u)$. Then for each
550: $j\in \supp(u)$ there exists $x^j \in S(j)$ such that $x^j \leq
551: u(j),\ x^j \neq u(j)$. Therefore $u=\bigoplus_{j \in \supp(u)} u_j
552: x^j$, and $u$ is proportional with none of $x^j$. Hence $u$ is not
553: an extremal in
554: $K$.\\
555: 3. $\Longrightarrow$ 2. Let $v \in K$ and assume that $ j \in
556: \supp(v)$ and $v(j) \leq u(j)$. We need to show that $v(j) =
557: u(j)$. By Proposition \ref{spanit}, there is a $w \in S$ such that
558: $w(j) \leq v(j)$. Thus $w(j) \leq v(j) \leq u(j)$ and by
559: 3. it follows that $w(j) = v(j) = u(j)$.\\
560: 2. $\Longrightarrow$ 1.
561: Let $u(j)$ be minimal in $K(j)$ for some $j \in \supp(u)$
562: and suppose that $u = v \oplus w,\ v, w \in K$. Then both $v
563: \leq u$ and $w \leq u$ and either $v_j = u_j $ or $w_j = u_j$,
564: say (without loss of generality) that $v_j = u_j$. Hence $v(j)\leq u(j)$
565: and it follows from 2. that $v(j) = u(j)$. Hence also $v =
566: u$
567: which proves 1.\\
568: \end{proof}
569: \eproof
570: Note that in Theorem \ref{morextr} we can of course have
571: $S = K$. Also note that
572: Corollary \ref{remove} may be combined with Theorem
573: \ref{morextr} to yield conditions for a set of
574: generators to be redundant.
575: \begin{corollary} \label{genextr}
576: Let $K$ be a cone in $\Rpn$.
577: If $D_j(u)$ has a minimal element for each $u \in K$ and each $j
578: \in \supp(u)$, then $K$ is generated by its extremals.
579: \end{corollary}
580: \begin{proof} Suppose that $x^j$ is a minimal element of $D_j(u)$.
581: Since, for $v \in K(j),\ v \leq x^j$ implies that $v \in D_j(u)$,
582: $x^j$ is also a minimal element of $K(j)$. We now obtain the
583: Corollary by combining Proposition \ref{spanit} and Theorem
584: \ref{morextr}. \end{proof} \eproof
585: Essentially, the following fundamental result was proved in
586: \cite[Proposition 2.5.3]{Wag1}. We suitably restate it: every set of
587: generators $S$ for a cone $K$
588: can be partitioned as $E\cup F$, where $E$ is a set of
589: extremals for $K$ and the remainder $F$ is redundant.
590: Our proof is a combination of
591: Proposition \ref{spanit} and Theorem \ref{morextr}.
592: \begin{theorem} \label{mainres}
593: Let $S$ be a set of scaled generators for a cone $K$ in
594: $\Rpn$ and let $E$ be the set of scaled extremals in $K$. Then
595: \begin{enumerate}
596: \item \label{repeat}$E\subseteq S.$
597: \item \label{omit}
598: Let $F = S\backslash E$. Then for any $u \in F$, the set
599: $S\backslash\{u\}$ is a set of generators for $K$.
600: \end{enumerate}
601: \end{theorem}
602: \proof
603: Assertion \ref{repeat} repeats Lemma \ref{extr1}.\\
604: \msn To prove Assertion \ref{omit}, let $u \in F$. Since $u$ is not an
605: extremal, by Theorem \ref{morextr} for each $j\in\supp(u)$ there is
606: $z^j\in K$ such that $z^j(j)<u(j)$. Since $K=\spn(S)$, by
607: Proposition \ref{spanit} we also have $y^j\in S$ such that
608: $y^j(j)\le z^j(j)<u(j)$. Evidently $y^j\ne u$, and applying
609: Proposition \ref{spanit} again, we get that $u$ is a max combination
610: of $\{y^j : j\in\supp(u)\}$, where $y^j\in S$ are different from $u$.
611: Thus in any max combination involving $u$, this vector can be replaced
612: by a max combination of vectors in $S\backslash\{u\}$, and the theorem
613: is proved.\eproof
614: The following example shows
615: that the set $F$ of Theorem \ref{mainres} need not be totally
616: dependent.
617: \begin{example} \label{ex1} {\rm Let $K$ be the cone in $R^2_+$
618: generated by
619: $u^r = [1,\ 1/r]^T,\ r = 1, \ldots $. The elements
620: of $K$ scaled with respect to the max norm are $[1,\ a]^T$ with $0<a\le 1$.
621: Thus $u^1$ is the unique
622: scaled extremal in $K$. But the set $F = \{u^r:\ r= 2,\ldots\}$ is
623: not totally dependent since $u^2$ is an extremal in $\spn(F)$
624: whose scaled elements are $[1,\ a]^T$ with $0<a\le 1/2$.}
625: \end{example}
626: The following is a refinement of Theorem \ref{mainres}, and also of
627: \cite[Theorem 5]{Wag1}.
628: \begin{theorem} \label{nextres}
629: Let $E$ be the set of scaled extremals in a max cone $K$. Let $S
630: \subseteq K$ consist of scaled elements.
631: Then the following are
632: equivalent:
633: \begin{enumerate}
634: \item
635: The set $S$ is a minimal set of generators for $K$.
636: \item
637: $S = E$ and $S$ generates $K$.
638: \item
639: The set $S$ is a basis for $K$.
640: \end{enumerate}
641: \end{theorem}
642: \begin{proof}
643: 1. $\Longrightarrow$ 2. By Theorem \ref{mainres} we have $S = E
644: \cup F$ where every element of $F$ is redundant in $S$. But since
645: $S$ is a minimal set of generators, we must have $F = \emptyset$.
646: Hence $S
647: =E$.\\
648: 2. $\Longrightarrow$ 3. The set $E$ is independent and a generating set.\\
649: 3. $\Longrightarrow$ 1. By independence of $S$ the span of a
650: proper subset of $S$ is strictly contained in span($S$).
651: \end{proof} \eproof
652: Theorem \ref{nextres} shows that if a cone has a (scaled) basis
653: then it must be its set of (scaled) extremals, hence the basis is
654: essentially unique. We note that a maximal independent set in a cone
655: $K$ need not be a basis for $K$ as is shown by the following
656: example.
657: \begin{example}\label{ex2} {\rm Let $K \subseteq \R^2_+$ consist of
658: all $[x_1,\ x_2]^T$ with $ x_1 \geq x_2 > 0$. If $1 > a >b > 0$,
659: then $\{[1,\ a]^T,\ [1,\ b]^T\}$ is a maximal independent set in $K$
660: which does not generate $K$.}
661: \end{example}
662: The following corollary is found e.g. as \cite[Proposition 21]{DS},
663: \cite[Proposition 2.5]{Jos} and also in \cite[Proposition 1]{Ser},
664: where it is used to obtain uniqueness results for definite max-plus
665: matrices. As a special case of this corollary, the standard basis of
666: $\Rpn$ is essentially unique.
667: \begin{corollary} \label{finite} If $K$ is a finitely generated cone, then its set
668: of scaled extremals is the unique scaled basis for $K$.
669: \end{corollary}
670: \begin{proof} Since $K$ is finitely generated,
671: there exists a minimal set of generators
672: $S$. By Theorem \ref{nextres} $S = E$ and $S$ is a basis.
673: \end{proof} \eproof
674: Note that in the tropical geometry \cite{DS} and \cite{Jos} {\em
675: vertices} of a polytope are defined to be the essentially unique
676: generators determined in Corollary \ref{finite} and hence vertices
677: correspond to our extremals (and to Wagneur's irreducible elements).
678: Next we obtain some corollaries concerning totally dependent sets.
679: \begin{corollary}\label{totdepinf}
680: If $S$ is a nonempty scaled totally dependent set in $\Rpn$ then
681: $S$ is infinite.
682: \end{corollary}
683: \begin{proof}
684: Suppose that $S$ is finite and let $K =$ span($S$). By Corollary
685: \ref{finite} $K$ contains scaled extremals which, by Theorem
686: \ref{mainres}, must be contained in $S$ given that $K =$
687: span($S$). But then $S$ is not totally dependent. This
688: contradiction proves the result.
689: \end{proof} \eproof
690: \begin{corollary}\label{totdep}
691: Let $K$ be a cone in $\Rpn$. The following are equivalent:
692: \begin{enumerate}
693: \item
694: There is no extremal in $K$.
695: \item
696: There exists a totally dependent set of generators for $K$.
697: \item
698: Every set of generators for $K$ is totally dependent.
699: \end{enumerate}
700: \end{corollary}
701: \begin{proof}
702: Since there always exists a set of generators for $K$ (e.g. $K$
703: itself), each of the Conditions 2. and 3. is equivalent to Condition
704: 1. by Theorem \ref{mainres}.
705: \end{proof} \eproof
706: We now consider $\Rpn$ in the topology induced by the Euclidean
707: topology of $\Rn$. That is, a set in $\Rpn$ will be called {\em
708: open} if and only if it is the intersection of an open subset of $\Rn$
709: with $\Rpn$.
710: A cone $K$ is called open if
711: $K\backslash \{0\}$ is open,
712: %Sergei%
713: and it is called
714: closed if it is closed as a subset of $\Rpn$, or
715: equivalently of $\Rn$.
716: %Sergei%
717: \begin{corollary} \label{open} If $K$ is an
718: open cone in $\Rpn$ that does not contain
719: unit vectors, then every generating set for $K$ is
720: totally dependent.
721: \end{corollary}
722: \begin{proof} It is enough to show that
723: there is no extremal in $K$,
724: for then the result follows
725: by Theorem \ref{mainres}.
726: Let $u\in K$. Since $u$ is not a unit vector, there
727: are at least two indices $k,l\in\supp(u)$.
728: Since $K$ is open, we have
729: $w^p=u- \ge e^p \in K,\ p=k,l$ for sufficiently
730: small $\ge$ and $u=w^k \oplus w^l$.
731: None of $w^p,\ p=k,l$ is equal to $u$,
732: hence $u$ is not an extremal,
733: and the corollary follows.
734: \end{proof} \eproof
735: An example of an open cone in $\Rpn$ is furnished by the cone $K$
736: of all positive vectors in $\Rpn$. We note that, for this
737: particular case, Corollary \ref{open} was shown in \cite{CGB}.
738: Another example of an open cone consists of all vectors
739: $[a,\ b]^T$ in $\R^2_+$ with $a > b > 0$.
740: \msn We acknowledge the following Proposition, which is analogous to
741: Minkowski's Theorem, to \cite[Theorem 3.1]{GK1}. There the result is
742: proved directly by a minimality argument; here we deduce it from a
743: corollary to Theorem \ref{morextr} which characterizes extremals of
744: cones that may not be closed.
745: It extends
746: earlier results of \cite{Hel}.
747: \begin{proposition} \label{c:cc}
748: Let $K$ be a closed cone in $\Rpn$. Then $K$ is generated
749: by its set of extremals, and any point in $K$
750: is a max combination of not more than $n$ extremals.
751: \end{proposition}
752: \begin{proof}
753: Let $u \in K$ and let $j \in \supp(u)$. It is easily shown that
754: $D_j(u)$ is compact since $K$ is closed. Hence $D_j(u)$ contains a
755: minimal element $x^j$. The result now follows
756: by Corollary \ref{genextr} and Corollary \ref{cara}.
757: \end{proof} \eproof
758: %Sergei%
759: The max norm is max linear on $\Rpn$:
760: %%%%%%%%%
761: %Old%
762: %We observe that max norm $||u||=\max\{u_i\colon i=1,\ldots,n\}$
763: %on $\Rpn$ is max-linear:%
764: \begin{equation}
765: \label{e:linorm} ||\lambda u\oplus\mu v||=\lambda ||u||\oplus\mu
766: ||v||.
767: \end{equation}
768: This is exploited in the following proposition.
769: \begin{proposition}
770: \label{p:clcl} If $S\subset\Rpn$ is compact and $0\notin S$, then the cone
771: $K=\spn(S)$ is closed.
772: \end{proposition}
773: \begin{proof}
774: Consider a sequence $u^i\in K$ converging to $v$. Then, by
775: Corollary \ref{cara} we have
776: %\begin{equation}
777: %\label{e:wis}
778: $$ u^i=\bigoplus_{s=1}^n \lambda_{is} w^{is},$$
779: %\end{equation}
780: where $w^{is}\in S$ and $\lambda_{is}\in\R_+$. By~(\ref{e:linorm})
781: \begin{equation}
782: \label{e:wisnorm}
783: ||u^i||=\bigoplus_{s=1}^n \lambda_{is}||w^{is}||.
784: \end{equation}
785: Since the sequence $u^i$ converges (to $v$), the norms $||u^i||$
786: are bounded from above by some $M_1>0$. On the other hand,
787: we have $||w^{is}||\geq M_2$ for some $M_2>0$, since $S$ is closed and does
788: not contain $0$. Then by~(\ref{e:wisnorm})
789: $\lambda_{is}||w^{is}||\leq M_1$ for all $i$ and $s$,
790: and $\lambda_{is}\leq M_1 M_2^{-1}$ for
791: all $i$ and $s$. Thus $\lambda_{is}$ are bounded from above. But
792: $||w^{is}||$ are also bounded from above, since $S$ is compact.
793: This implies that there is a subsequence $u^{j(i)}$ such that for
794: all $s=1,\ldots,n$ the sequences $w^{j(i)s}$ and $\lambda_{j(i)s}$
795: converge. Denote their limits by $\Bar{w}^s$ and
796: $\Bar{\lambda}_s$, respectively, then $\Bar{w}^s\in S$ and
797: $\Bar{\lambda}_s\leq M_1 M_2^{-1}$. By continuity of $\oplus$ and
798: $\otimes$ we obtain that
799: \begin{equation}
800: \label{e:barws}
801: v=\bigoplus_{s=1}^n \Bar{\lambda}_s \Bar{w}^s.
802: \end{equation}
803: \end{proof}
804: Thus $v\in K$.\eproof
805: \begin{corollary}
806: \label{c:extr} If the set of scaled extremals of a max cone $K$ is
807: closed and generates $K$, then $K$ is closed.
808: \end{corollary}
809: \begin{corollary}
810: \label{c:fincl}
811: Any finitely generated max cone $K$ is closed.
812: \end{corollary}
813: We now give a counterexample to the converses of Corollary~\ref{genextr}
814: and Proposition~\ref{c:cc} (part 1), and to the converse of
815: Corollary~\ref{c:extr} (part 2).
816: \begin{example}\label{counterex} {\rm
817: \begin{enumerate}
818: \item
819: In $\R^3_+$ let $S$ consist of all vectors $[x_1,\ x_2,\ 1]^T,\
820: 0\leq x_1 < 1/2$ such that $x_1 + x_2 =1 $ and let $K = \spn(S)$.
821: Then the section of $K$ given by $x_3=1$
822: consists of all vectors
823: $[x_1,\ x_2,\ 1]^T,\ 0\leq x_1 < 1/2,\ 0 \leq x_2 \leq 1 $ such that
824: $x_1 + x_2 \geq 1 $. Note that $S$ is the set of extremals of $K$
825: scaled with respect to the max norm, but $K=\spn(S)$ is not closed
826: and for any $u\in K$ there are no minimal elements in $D_1(u)$ and
827: $D_2(u)$.
828: \item
829: Now let $S' = S \cup \{u\}$, where $u = [1/2,\ 0,\ 1]^T$ and let $K'
830: = \spn(S')$. Then the section of $K'$ given by $x_3 = 1$ consists
831: of $K$ together with the line segment whose end points are $u$ and
832: $[1/2,\ 1,\ 1]^T$. Thus $K'$ is closed. The set of scaled extremals
833: of $K'$ is $S'$ which is not closed.
834: \end{enumerate} }
835: \end{example}
836: The cross sections of $K$ and $K'$ by $x_3=1$ are shown on Figure 1, together
837: with the generating sets $S$ and $S'=S\cup\{u\}$.
838:
839: %\begin{figure}[h]
840: %\centering
841: %\vskip-1cm
842: %\includegraphics[width=10cm]{counterex}
843: %\vskip-7cm
844: %\caption{Max cones of Example \ref{counterex}}
845: %\end{figure}
846:
847: \begin{figure}[htbp]
848: %\vskip0.5cm
849: \hskip1cm
850: \epsfysize=5cm
851: \epsffile{counterex.eps}
852: \vskip -0.5cm
853: \caption{Max cones of Example \ref{counterex}}
854: \end{figure}
855:
856: \section{Algorithmic considerations}
857: As explained in the introduction we redefine our basic concepts for
858: this section which is concerned with finitely generated cones. We
859: also restate a suitable adaptation of Corollary \ref{finite}.
860: \begin{definition}{\rm
861: Let $V \in \Rpnk$ and let $V_{\widehat{i}}$ be the matrix obtained
862: from $V$ by deleting column $i,\ i = 1,\ldots,k$. Then the cone
863: $K$ {\em generated} by the columns $v^1,\ldots,v^k$ of $V$
864: consists of all vectors of form $V\otimes x,\ x \in \R_+^k$.
865: Further, the columns of $V$ form a {\em basis} for $K$ if, for
866: $i,\ i = 1,\ldots,k$, there is no $x \in \R_+^{k-1}$ such that
867: $V_{\widehat{i}} \otimes x = v^i$.}
868: \end{definition}
869: \begin{proposition}
870: Let $V \in \Rpnk$. Then there exists a submatrix $U \in
871: \R^{np}_+, 0 \leq p \leq k$ whose columns form a basis for the
872: cone generated by the columns of $V$ (and every other basis is of
873: form $UPD$, where $P$ is a permutation matrix and $D$ is a
874: diagonal matrix with nonzero diagonal elements). \eproof
875: \end{proposition}
876: We shall apply the following proposition. Note that all statements
877: in this proposition have been proved in a more general setting in
878: \cite{CG1}. See also \cite{But}, \cite[Chapter III]{CG3} and
879: \cite{Vor}.
880: \begin{proposition} \label{extension} Let $U \in \Rpnk$ with all columns nonzero
881: and let $v \in \Rpn$. Let $x \in \Rpk$ be defined by
882: \begin{equation} \label{critical}
883: x_i = \min\{v_j/u^i_j :\ u^i_j \neq 0, j = 1, \ldots, n\}
884: \end{equation}
885: for $i = 1,\ldots,k$. Then
886: \begin{eqnarray}
887: \label{e1} U \otimes x & \leq & v, \\
888: \label{e2} x & =& \max\{z \in \Rpk : U \otimes z \leq v\},\\
889: \label{e3} U \otimes x & = & \max\{U \otimes z: z \in \Rpk, U
890: \otimes z \leq v\}.
891: %\label{e4} \exists z \in \Rpk\quad, U \otimes
892: %z = v & \Longleftrightarrow & U \otimes x = v.
893: \end{eqnarray}
894: Further, there exists $z \in \Rpk$ such that $U \otimes z = v$ if
895: and only if $U \otimes x = v$.
896: %\end{enumerate}
897: \end{proposition}
898: \proof Assertion (\ref{e1}) follows from the observation that $U
899: \otimes z \leq v$ if and only if $z_i \leq v_j/u^i_j$ if $j \in
900: \supp(u^i),\ i = 1,\ldots,k$. Note that $x \in \Rpk$ since no
901: column of $U$ is zero. Since $\otimes $ is isotone (that is,
902: $x\leq y$ implies $A\otimes x\leq A\otimes y$), assertions
903: (\ref{e2}) and (\ref{e3}) follow immediately. For the final
904: statement assume that $U\otimes z=v$ for some $z$. By (\ref{e1})
905: and (\ref{e3}) we have $ v=U\otimes z\leq U\otimes x\leq v$, and
906: the statement follows. The converse is trivial. \eproof
907: %Sergei%
908: \begin{algorithm} \label{algo} {\rm
909: {\em Input:} $V \in \Rpnk$.\\
910: {\em Output:} An $n \times p$ submatrix $U$ of $V$ whose columns
911: form the essentially unique basis for the cone generated by the
912: columns of $V$.
913: \medskip\noindent\\
914: {\em Step 1}. Initialize $U = V$.\\
915: {\em Step 2}. For each $j = 1,\ldots,k$ if
916: $u^j\neq 0$ set
917: $v = u^j$, and for each $i\neq j$ compute $x_i$ by
918: (\ref{critical}), if $u^i\neq 0$, and set $x_i=0$
919: otherwise. If $U_{\widehat{j}}x=v$, set $u^j=0$.\\
920: {\em Step 3}. Delete the zero columns of $U$. The remaining
921: columns of $U$ are the basis we seek.}
922: \end{algorithm}
923: \begin{remark}{\rm
924: The restriction in Proposition \ref{extension} that each column $U
925: \in \Rpnk$ must have a positive element was imposed to avoid
926: definitions for $a/0, a > 0$, or $0/0$. The restriction is
927: inessential in the sense that for general $U \in \Rpnk$ we may
928: define $x_i$ by (\ref{critical}) whenever $u^i \neq 0$ and choose
929: $x_i$ arbitrarily in $\Rpk$ whenever $u^i = 0$. Then all
930: assertions of the Proposition still hold, with exception of
931: (\ref{e2}). It is possible to extend $\Rpn$ by adding a maximal
932: element $\infty$ so that (\ref{e2}) still holds.}
933: \end{remark}
934: We omit details and present the MATLAB program maxbas that
935: implements Algorithm \ref{algo} but employs such an extension. We
936: also give an example with some
937: elements equal to $0$. Note that in \cite[Theorem 16.2]{CG2} a
938: related algorithm called {\em A-test} has been presented. It
939: enables us to identify columns that are dependent on other columns
940: of an $n\times k$ matrix in $O(nk^2)$ time. However, there is no
941: discussion of bases in connection with this method in \cite{CG2}.
942: \begin{verbatim}
943: %the unique max times basis for the max col space of A
944: %function [B,f] = maxbas(A),
945: %B = the unique max times basis for the max col space of A
946: %f = indices of columns of B in A
947: %calls maxpr, max multiplication of matrices
948: function [B,f] = maxbas(A)
949: [m,n] = size(A); B = A; t = max(max(A));
950: for j = 1:n
951: v = compl(j,n);
952: c = B(:,j); BB = B(:,v); warning('off'),
953: e = ones(1,n-1); C = c*e; x = min(C./BB)';
954: z= maxpr(BB,x);
955: if abs(c-z) < t*eps, B(:,j) = 0; end,
956: end u = max(B); f = find(u >t*eps); B = B(:,f);
957: A =
958: Columns 1 through 5
959: 1 9 10 5 9
960: 2 10 10 0 10
961: 3 15 14 7 0
962: 4 20 16 8 12
963: >> [B,f] = maxbas(A)
964: B =
965: 1 5 9
966: 2 0 10
967: 3 7 0
968: 4 8 12
969: f =
970: 1 4 5
971: \end{verbatim}
972: We note that a second form of the algorithm may be based on
973: \emph{set covering} condition~(\ref{setcov}) below,
974: which appears in~\cite[Theorem 15.6]{CG2}. It can also
975: be found in \cite{Vor} Section 2 and in
976: \cite{But} Section 2 but
977: only in the case when all vectors are positive. See also
978: \cite[Theorem 3.5]{AGK}
979: for an interesting functional generalization of this condition (and more).
980: %It may also be easily derived from Proposition
981: %\ref{spanit}.
982: With $v$ and $U$ as in Step 2, denote by $N_i$ the
983: set $\{j\colon v(j)\geq u^i(j)\}$.
984: By Proposition \ref{spanit},
985: $v\in\spn(u^1,\ldots,u^m)$ if and only if
986: \begin{equation}
987: \label{setcov} \bigcup_{i=1}^m N_i=\supp(v).
988: \end{equation}
989: With $x$ given by
990: (\ref{critical}), we note that
991: \begin{equation}
992: \label{nidef}
993: N_i=
994: \begin{cases}
995: %\text{arg}\min_\{v_j(u^i_j)^{-1}\colon j\in\supp(u^i)\},&\text{if $\Bar{x}_i\ne 0$};\\
996: \{j\in \supp(u^i): v_j/u^i_j = x_i\} & {\rm if}\ x_i \neq 0,\\
997: \emptyset,&\text{if $x_i=0$.}
998: \end{cases}
999: \end{equation}
1000: Thus Step 2 in Algorithm \ref{algo} may be replaced by
1001:
1002: \msn {\em Step 2'}: For each $j=1,\ldots,k$ such that $u^j\ne 0$:
1003: set $v=u^j$ and for each $i\ne j$ compute $N_i=\{j\colon v(j)\geq
1004: u^i(j)\}$ according to~(\ref{nidef}), if $u^i\ne 0$, and set
1005: $N_i=\emptyset$ otherwise. If $\bigcup_{i\neq j} N_i=\supp(v)$,
1006: set $u^j=0$.
1007:
1008: \msn The version with Step 2' is also well-known. It is implemented
1009: in the max-plus toolbox of Scilab, a freely distributed software. See
1010: \cite[Sect.III-B]{GS} for the documentation.
1011:
1012: \msn Our algorithms are of complexity $O(nk^2)$.
1013:
1014: \msn If $S$ is the set of columns of the matrix $U$, then it
1015: follows from Theorem \ref{morextr} that a basis for the cone
1016: generated by $S$ consists of the union of the $n$ sets $M(j), \ j
1017: = 1,\ldots,n$, where $M(j)$ consist of the vectors minimal in
1018: $S(j)$. The problem of finding all maxima (or minima) of $k$ vectors in
1019: $\Rn$ is considered in \cite{KLP}, and also in
1020: \cite[Section 4.1.3]{PS}, where it is dubbed the
1021: problem of Erehwon Kings. The computational
1022: complexity of methods developed in \cite{KLP}
1023: and \cite{PS} is bounded from above by $O(n^2 k(\log_2 k)^{n-2})+
1024: O(k\log_2 k),\,n\geq 2$, see
1025: \cite[Theorem 4.9]{PS} and \cite[Theorem 5.2]{KLP}.
1026: \footnote{That is, the complexity is not greater than
1027: $O(k\log_2 k)$ if $n=2$
1028: and not greater than $O(n^2 k(\log_2 k)^{n-2})$ if $n\geq 3$.}
1029: To solve our problem
1030: we can apply these methods
1031: to each $S(j),j=1,\ldots,n$ separately.
1032: Taking into account that for
1033: each $j$ we need $O(nk)$ operations to find the coordinates of essentially
1034: $(n-1)$-dimensional vectors in $S(j)$, this yields an alternative method with
1035: complexity not smaller than $O(n^2 k)$ and not greater than
1036: $O(n^3 k(\log_2 k)^{n-3})+O(k\log_2 k),\, n\geq 3$.
1037: This method may be preferred if $\log_2 k$ is substantially larger than $n$.
1038: %Its instance for $n=3$ is the Triple Sorting Algorithm described in
1039: %\cite[Section 5]{Jos}.
1040:
1041: \msn \textbf{Acknowledgment.} We thank G.M. Engel and an unknown
1042: referee for valuable comments. We thank S.~Gaubert and R.~Katz for
1043: informing us of their papers \cite{GK0} and \cite{GK1} and for very
1044: useful discussion. All have helped to improve this paper.
1045:
1046: \begin{thebibliography}{9999}
1047: \bibitem[AGK]{AGK}
1048: M. Akian, S. Gaubert, and V. Kolokoltsov,
1049: Set coverings and invertibility of the functional Galois connections,
1050: in \cite{LM}, pp. 19--51. Also arXiv:math.FA/0403441.
1051: \bibitem[BCOQ]{BCOQ} F.L. Baccelli, G. Cohen, G.J. Olsder and J.P. Quadrat,
1052: Synchronization and Linearity, J. Wiley and Sons, Chichester, New York, 1992.
1053: \bibitem[BYu]{BYu}
1054: F. Block and J. Yu,
1055: Tropical convexity via cellular resolutions,
1056: arXiv:math.MG/0503279.
1057: \bibitem[Bou]{Bou} N. Bourbaki, Les structures fundamentales
1058: de l'analyse, Livre II, Chap.II, Herman, Paris, 1947.
1059: \bibitem[But]{But} P. Butkovi\v{c}, Max-algebra: the linear algebra of
1060: combinatorics? Linear Algebra and Its Applications {\bf 367},
1061: 313--335, 2003.
1062: \bibitem[CGQS]{CGQS} G. Cohen, S. Gaubert, J.P. Quadrat and I. Singer,
1063: Max-plus convex sets and functions, in \cite{LM}, pp. 105--129.
1064: Also arXiv:math.FA/0308166.
1065: \bibitem[CG0]{CG0} R.A. Cuninghame-Green, Process of synchronization
1066: in steelworks -- a problem of feasibility, in Banbury and Maitland (Eds.),
1067: Proc. of the 2nd Internat. Conf. on Operational Research, pp. 323--328.
1068: English Univ. Press, 1960.
1069: \bibitem[CG1]{CG1} R.A. Cuninghame-Green, Projections in minimax algebra,
1070: Mathematical Programming {\bf 10}:1, 111--123, 1976.
1071: \bibitem[CG2]{CG2} R.A. Cuninghame-Green, Minimax Algebra. Lecture Notes
1072: in Economics and Mathematical Systems {\bf166}, Springer, Berlin,
1073: 1979.
1074: \bibitem[CG3]{CG3} R.A. Cuninghame-Green, Minimax algebra and applications,
1075: Advances in Imaging and Electron Physics, {\bf 90}, pp. 1--121,
1076: Academic Press, New York, 1995.
1077: \bibitem[CGB]{CGB}
1078: R.A. Cuninghame-Green and P. Butkovi\v{c}, Bases in max-algebra,
1079: Linear Algebra and Its Applications {\bf 389}, 107--120, 2004.
1080: \bibitem[DS]{DS}
1081: M. Develin and B. Sturmfels, Tropical convexity, Documenta
1082: Math. {\bf 9}, 1--27, 2004. Also arXiv:math.MG/0308254.
1083: \bibitem[GK0]{GK0}
1084: S. Gaubert and R. Katz, Max-plus convex geometry, in R.A. Schmidt (Ed.),
1085: Proc. 9th Internat. Conf. on Relational Methods in Computer Science and
1086: 4th Internat. Worksh. on Applic. of Kleene Algebra (RelMiCS/AKA 2006),
1087: Springer, Lecture Notes in Comp. Sci. {\bf 4136}, pp.192-206, 2006.
1088: \bibitem[GK1]{GK1}
1089: S. Gaubert and R. Katz, The Minkowski theorem for max-plus convex sets,
1090: Linear Algebra and Its Applications (this issue). Also arXiv:math.GM/0605078.
1091: \bibitem[GS]{GS}
1092: S. Gaubert and M.P. Scilab, Max-plus linear algebra with Scilab, ALAPEDES
1093: Max-plus Software Workshop, INRIA, June 1998. Available on
1094: http://www.scilab.org as file mxpcourse.ps in the MAXPLUS2.3.3 toolbox
1095: (via path Contributions$-$$>$Download$-$$>$Modeling and Control Tools$-$$>$
1096: MAXPLUS2.3.3 for Scilab 3.1.1).
1097: %% or simply http://www.scilab.org/contrib/displayContribution.php?fileID=321
1098: \bibitem[GM]{GM}
1099: M. Gondran and M. Minoux, Linear algebra of dio\"{\i}ds : a survey
1100: of recent results, Annals of Discr. Math. {\bf 19}, 147--164, 1984.
1101: \bibitem[Hel]{Hel}
1102: S. Helbig, Carath\'{e}odory's and Kre\u{\i}n-Milman's theorems in fully
1103: ordered groups, Comment. Univ. Carolin. {\bf 29}, 157--167, 1988.
1104: \bibitem[Jos]{Jos} M. Joswig, Tropical halfspaces,
1105: arXiv:math.CO/0312068.
1106: \bibitem[KLP]{KLP}
1107: H.T. Kung, F. Luccio and F.P. Preparata,
1108: On finding the maxima of a set of vectors,
1109: Journal of the Association for Computing Machinery \textbf{22} : 4, 469--476,
1110: Oct. 1975.
1111: \bibitem[LM]{LM}
1112: G. Litvinov and V. Maslov (Eds.),
1113: \emph{Idempotent Mathematics and Mathematical Physics,}
1114: Contemporary Mathematics {\bf 377}, AMS, 2005.
1115: \bibitem[PS]{PS} F.P. Preparata and M. Shamos,
1116: Computational Geometry. An Introduction, Springer, New York, 1985.
1117: \bibitem[Roc]{Roc} R.T. Rockafellar, Convex Analysis,
1118: Princeton Univ. Press, 1970.
1119: \bibitem[Ser]{Ser} S. Sergeev, Max-plus definite matrix closures and
1120: their eigenspaces, this issue. Also arXiv:math.MG/0506177.
1121: \bibitem[Vor]{Vor} N.N. Vorob'yev, Extremal algebra of positive matrices,
1122: Elektron. Informationsverarb. und Kybernetik {\bf 3}, 39--71, 1967
1123: (in Russian).
1124: \bibitem[Wag0]{Wag0} E. Wagneur, Finitely generated modulo\"{\i}ds: The
1125: existence and unicity problem for bases, in
1126: J.L. Lions and A. Bensoussan (Eds.), Analysis and Optimization
1127: of Systems, Springer, Lecture Notes in Contr.
1128: and Inform. Sci. {\bf 111}, pp. 966-976, 1988.
1129: \bibitem[Wag1]{Wag1} E. Wagneur, Modulo\"{\i}ds and pseudomodules.
1130: 1. Dimension theory, Discrete Mathematics {\bf 98}, 57--73, 1991.
1131: \bibitem[KZ]{KZ} K. Zimmermann, A general separation theorem in extremal algebras,
1132: Ekonom.-Mat. Obzor, {\bf 13} : 2, 179--201, 1977
1133: \bibitem[UZ]{UZ} U. Zimmermann, Linear and Combinatorial Optimization in
1134: Ordered Algebraic Structures, Annals of Discrete Mathematics {\bf 10},
1135: North Holland, Amsterdam, 1981.
1136: \end{thebibliography}
1137: \end{document}
1138:
1139:
1140:
1141:
1142:
1143:
1144:
1145:
1146:
1147:
1148:
1149:
1150:
1151:
1152:
1153:
1154:
1155:
1156:
1157:
1158:
1159:
1160:
1161:
1162:
1163:
1164:
1165:
1166:
1167:
1168:
1169:
1170:
1171:
1172:
1173:
1174:
1175:
1176:
1177:
1178:
1179:
1180:
1181:
1182:
1183:
1184:
1185:
1186:
1187:
1188:
1189:
1190:
1191:
1192:
1193:
1194:
1195:
1196:
1197:
1198:
1199:
1200:
1201:
1202:
1203:
1204:
1205:
1206:
1207:
1208:
1209:
1210:
1211:
1212:
1213:
1214:
1215: