# Questions tagged [cones]

The tag has no usage guidance.

63 questions
Filter by
Sorted by
Tagged with
102 views

### Order bounded version of monotone complete $C^*$-algebras

Let $A$ be a $C^*$-algebra with self-adjoint part $A_{\operatorname{sa}}$. Then $A$ is called monotone complete if every increasing norm bounded net in $A_{\operatorname{sa}}$ has a supremum (with ...
149 views

### Subdifferential of a convex function admits a continuous selection

Let $F$ be a continuous convex function on $\mathbb{R}^n$. If the subdifferential $\partial F(x)$ of $F(x)$ admits a continuous selection, for every $x \in \mathbb{R}^n$, does it mean that $F$ is ...
1 vote
76 views

### Symmetric cones and symmetric spaces

I start by stating what I think I understood on symmetric cones (https://en.wikipedia.org/wiki/Symmetric_cone). Let $\mathcal{C}$ be a symmetric cone in a vector space $V$. There are Riemannian ...
1 vote
100 views

1 vote
555 views

1k views

### How many cones with angle theta can I pack into the unit sphere?

Given a unit sphere (radius 1), I would like to know how many cones I can pack into this unit sphere. Restrictions: The top of the cone needs to be in the center of origin. The bottom of the cone ...
136 views

### Name for facet of a cone containing all but one edge

Let $C \subseteq \mathbb R^n$ be a polyhedral cone, so generated by its edges ($1$-dimensional faces) and $F \subseteq C$ a facet (codimension $1$ face) of it containing every edge except $e$. In ...
125 views

94 views

1 vote
81 views

### Showing that $Df_x H_x^\gamma \subset H_{f(x)}^{\lambda \mu^{-1} \gamma}$, where $H_x^\gamma$ is a family of horizontal cones

Let $M$ be a smooth manifold, $U \subset M$ an open set, $f : U \to M$ a $C^1$ diffeomorphism onto its image and $\Lambda \in U$ a hyperbolic set for $f$. Fix a sufficiently small $\gamma > 0$ ...
1 vote
194 views

### nonnegative solution of nonhomogeneous under-determined linear system of equations

For a set of under-determined linear equations, I was wondering if there is any closed form for all non-negative solutions? Is there a way to analytically characterize the feasibility set of such ...
293 views

### Are "vector spaces" over a smooth scheme with constant fiber dimension locally free?

I've got the follow question which drives me almost crazy as the answer seems to be simple. Given a morphism $p:V\to S$ of schemes of finite type over some base field. Assume that $p$ has all the ...
499 views

### Maximal cones and lexicographic orderings

Let $V$ be a real vector space. It is well known that, given a totally ordered basis of $V$ (say $(b_i)_{i\in I}$ where $I,<$ is totally ordered), $V$ is totally ordered by the lexicographic ...
1 vote
188 views

### Finding generators of symmetric cones

I have a bunch of vectors $\mathbf v_i$ in $\mathbb R^n$. I would like to consider the cone $C$ spanned by these vectors, together with all the other vectors that can be obtained by permuting the ... 1k views

### Positive Elements of a $\ast$-Algebra

In a $C^*$-algebra ${\cal A}$, a positive element is a one of the form $aa^*$, for some $a \in {\cal A}$. It is known that the set of positive elements is a cone, and that for $a,b$ two non-zero ...
94 views

### Under which conditions is the union of conic hulls of sets in a cartesian product equal to $\mathbb{R}^N$?

Question: Under which conditions on $A, B\in\mathbb{R}^{N\times N}$ is the function $f: \mathbb{R}^N\mapsto \mathbb{R}^N$, $$f(v) = A[v]_+ + B[-v]_+$$ surjective? Here $[.]_+$ is an elementwise ...
1 vote
68 views

### How does the singular surfaces obtained when the border of a Euclidean set becomes a point look like?

I'm curious to understand in several manner, what is the metric geometry of the metric space homeomorphic to a sphere, obtained from a compact convex set $K\subset R^2$ with the Euclidean distance, ...