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

Back to manuscript

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

Nearby in this section