Manuscript En08-A@1 · En08-A.tex · section · c688d76d
Orthant reachability
Countermodels to cone selection › Orthant reachability · lines 789–818
En08-A@1#tab:diagnostic
| Property | Lattice-ball model | Orthant model |
|---|---|---|
| Acyclic, finite support, finite shapes | Yes | Yes |
| Exact diamonds and schedule independence | Yes | Yes |
| Sensitivity equals strict reachability | Yes | Yes |
| Constant discrete increment rule | Yes | Yes |
| Same arity away from initial boundaries | Yes | Yes |
| Standard generated cone | ||
| Number of extreme rays | ||
| Interior-transitive cone automorphism group | No | Yes |
| Boundary-transitive cone automorphism group | No | No |
| Self-dual for the standard Euclidean pairing | No | Yes |
| Irreducible cone | Yes | No |
| Strictly convex cone | No | No |
| Nondegenerate quadratic boundary | No | No |
uniformity does not select a Lorentz cone. “Constant increment rule” is not a transitive translation group on a network with an initial boundary.