Manuscript En08-A@1 · En08-A.tex · proposition · c688d76d
Proposition: A homogeneous non-Lorentzian cone
Countermodels to cone selection › Orthant reachability · lines 685–737 · proof included or linked
En08-A@1#prop:orthant, En08-A@1#fig:orthantnetwork
For each , there is an admissible record network whose reachability is coordinatewise order on . Its standard generated cone is
which is not linearly isomorphic to a Lorentz cone.
Proof. Take edges
The coordinate sum increases along each edge, every principal past lies in a finite coordinate box (Figure fig:orthantnetwork), and the degree is bounded. Theorem thm:network applies.
A path only increases coordinates, and any prescribed nonnegative integer coordinate increments can be taken successively. Hence exactly when . The generated real cone is the positive orthant.
It has exactly extreme rays. In contrast, each , , generates an extreme ray of . Equality in the Euclidean triangle inequality proves extremality. For there are infinitely many such rays, and an invertible linear map preserves extreme rays.
Displayed formulas in this passage
unlabeled · line 690
unlabeled · line 698