Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userHyperbolicity cones are amenable
102
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Amenability is a notion of facial exposedness for convex cones that is stronger than being facially dual complete (or nice) which is, in turn, stronger than merely being facially exposed. Hyperbolicity cones are a family of algebraically structured closed convex cones that contain all spectrahedra (linear sections of positive semidefinite cones) as special cases. It is known that all spectrahedra are amenable. We establish that all hyperbolicity cones are amenable. As part of the argument, we show that any face of a hyperbolicity cone is a hyperbolicity cone. As a corollary, we show that the intersection of two hyperbolicity cones, not necessarily sharing a common relative interior point, is a hyperbolicity cone.
rate research
Read More
The Generalized Lax Conjecture asks whether every hyperbolicity cone is a section of a semidefinite cone of sufficiently high dimension. We prove that the space of hyperbolicity cones of hyperbolic polynomials of degree $d$ in $n$ variables contains $(n/d)^{Omega(d)}$ pairwise distant cones in a certain metric, and therefore that any semidefinite representation of such cones must have dimension at least $(n/d)^{Omega(d)}$ (even if a small approximation is allowed). The proof contains several ingredients of independent interest, including the identification of a large subspace in which the elementary symmetric polynomials lie in the relative interior of the set of hyperbolic polynomials, and quantitati
We present a generalization of the notion of neighborliness to non-polyhedral convex cones. Although a definition of neighborliness is available in the non-polyhedral case in the literature, it is fairly restrictive as it requires all the low-dimensional faces to be polyhedral. Our approach is more flexible and includes, for example, the cone of positive-semidefinite matrices as a special case (this cone is not neighborly in general). We term our generalization Terracini convexity due to its conceptual similarity with the conclusion of Terracinis lemma from algebraic geometry. Polyhedral cones are Terracini convex if and only if they are neighborly. More broadly, we derive many families of non-polyhedral Terracini convex cones based on neighborly cones, linear images of cones of positive semidefinite matrices, and derivative relaxations of Terracini convex hyperbolicity cones. As a demonstration of the utility of our framework in the non-polyhedral case, we give a characterization based on Terracini convexity of the tightness of semidefinite relaxations for certain inverse problems.
The purpose of this note is to discuss how various Sobolev spaces defined on multiple cones behave with respect to density of smooth functions, interpolation and extension/restriction to/from $RR^n$. The analysis interestingly combines use of Poincare inequalities and of some Hardy type inequalities.
We study the closed convex hull of various collections of Hilbert functions. Working over a standard graded polynomial ring with modules that are generated in degree zero, we describe the supporting hyperplanes and extreme rays for the cones generated by the Hilbert functions of all modules, all modules with bounded a-invariant, and all modules with bounded Castelnuovo-Mumford regularity. The first of these cones is infinite-dimensional and simplicial, the second is finite-dimensional but neither simplicial nor polyhedral, and the third is finite-dimensional and simplicial.
Let $R$ be the homogeneous coordinate ring of a smooth projective variety $X$ over a field $k$ of characteristic~0. We calculate the $K$-theory of $R$ in terms of the geometry of the projective embedding of $X$. In particular, if $X$ is a curve then we calculate $K_0(R)$ and $K_1(R)$, and prove that $K_{-1}(R)=oplus H^1(C,cO(n))$. The formula for $K_0(R)$ involves the Zariski cohomology of twisted Kahler differentials on the variety.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
