Lifts of convex sets and cone factorizations

In this paper we address the basic geometric question of when a given convex set is the image under a linear map of an affine slice of a given closed convex cone. Such a representation or 'lift' of the convex set is especially useful if the cone admits an efficient algorithm for linear optimization over its affine slices. We show that the existence of a lift of a convex set to a cone is equivalent to the existence of a factorization of an operator associated to the set and its polar via elements in the cone and its dual. This generalizes a theorem of Yannakakis that established a connection between polyhedral lifts of a polytope and nonnegative factorizations of its slack matrix. Symmetric lifts of convex sets can also be characterized similarly. When the cones live in a family, our results lead to the definition of the rank of a convex set with respect to this family. We present results about this rank in the context of cones of positive semidefinite matrices. Our methods provide new tools for understanding cone lifts of convex sets.Comment: 20 pages, 2 figure

Non-Abelian Tensor Multiplet Equations from Twistor Space

We establish a Penrose-Ward transform yielding a bijection between holomorphic principal 2-bundles over a twistor space and non-Abelian self-dual tensor fields on six-dimensional flat space-time. Extending the twistor space to supertwistor space, we derive sets of manifestly N=(1,0) and N=(2,0) supersymmetric non-Abelian constraint equations containing the tensor multiplet. We also demonstrate how this construction leads to constraint equations for non-Abelian supersymmetric self-dual strings.Comment: v3: 23 pages, revised version published in Commun. Math. Phy

Therapeutic Considerations Related to Finasteride Administration in Male Androgenic Alopecia and Benign Prostatic Hyperplasia

Finasteride has been used extensively until now as a relative efficient therapeutic option for male androgenic alopecia and benign prostatic hyperplasia. Unfortunately, over time several concerns appeared regarding the frequency and magnitude of adverse effects, which in some cases have been even irreversible. Herein we review the recent literature on this topic, trying to clarify the current safety profile of Finasteride for these two therapeutic indications. We concluded that Finasteride could be retained as a therapeutic approach for male androgenic alopecia, based on two important reasons. First, a synergistic action between a partial inhibitor of 5α-reductase (Finasteride) and another compound (like Minoxidil) are preferable to a complete suppression of 5α-reductase (see Dutasteride), in order to preserve the important physiological roles of dihydrotestosterone. Second, Finasteride side effects can currently be addressed in part prior to the onset of the therapy, by using information about the patient such as hand preference and sexual orientation to predict the risk of adverse effects

Prolongations of Geometric Overdetermined Systems

We show that a wide class of geometrically defined overdetermined semilinear partial differential equations may be explicitly prolonged to obtain closed systems. As a consequence, in the case of linear equations we extract sharp bounds on the dimension of the solution space.Comment: 22 pages. In the second version, a comparison with the classical theory of prolongations was added. In this third version more details were added concerning our construction and especially the use of Kostant's computation of Lie algebra cohomolog

Harmonic Superspaces in Low Dimensions

Harmonic superspaces for spacetimes of dimension $d\leq 3$ are constructed. Some applications are given.Comment: 16, kcl-th-94-15. Two further references have been added (12 and 13) and a few typographical errors have been correcte

Conformal Einstein equations and Cartan conformal connection

Necessary and sufficient conditions for a space-time to be conformal to an Einstein space-time are interpreted in terms of curvature restrictions for the corresponding Cartan conformal connection

Rendezvous of Distance-aware Mobile Agents in Unknown Graphs

We study the problem of rendezvous of two mobile agents starting at distinct locations in an unknown graph. The agents have distinct labels and walk in synchronous steps. However the graph is unlabelled and the agents have no means of marking the nodes of the graph and cannot communicate with or see each other until they meet at a node. When the graph is very large we want the time to rendezvous to be independent of the graph size and to depend only on the initial distance between the agents and some local parameters such as the degree of the vertices, and the size of the agent's label. It is well known that even for simple graphs of degree $\Delta$, the rendezvous time can be exponential in $\Delta$ in the worst case. In this paper, we introduce a new version of the rendezvous problem where the agents are equipped with a device that measures its distance to the other agent after every step. We show that these \emph{distance-aware} agents are able to rendezvous in any unknown graph, in time polynomial in all the local parameters such the degree of the nodes, the initial distance $D$ and the size of the smaller of the two agent labels $l = \min(l_1, l_2)$. Our algorithm has a time complexity of $O(\Delta(D+\log{l}))$ and we show an almost matching lower bound of $\Omega(\Delta(D+\log{l}/\log{\Delta}))$ on the time complexity of any rendezvous algorithm in our scenario. Further, this lower bound extends existing lower bounds for the general rendezvous problem without distance awareness

Two dimensional Sen connections and quasi-local energy-momentum

The recently constructed two dimensional Sen connection is applied in the problem of quasi-local energy-momentum in general relativity. First it is shown that, because of one of the two 2 dimensional Sen--Witten identities, Penrose's quasi-local charge integral can be expressed as a Nester--Witten integral.Then, to find the appropriate spinor propagation laws to the Nester--Witten integral, all the possible first order linear differential operators that can be constructed only from the irreducible chiral parts of the Sen operator alone are determined and examined. It is only the holomorphy or anti-holomorphy operator that can define acceptable propagation laws. The 2 dimensional Sen connection thus naturally defines a quasi-local energy-momentum, which is precisely that of Dougan and Mason. Then provided the dominant energy condition holds and the 2-sphere S is convex we show that the next statements are equivalent: i. the quasi-local mass (energy-momentum) associated with S is zero; ii.the Cauchy development $D(\Sigma)$ is a pp-wave geometry with pure radiation ($D(\Sigma)$ is flat), where $\Sigma$ is a spacelike hypersurface whose boundary is S; iii. there exist a Sen--constant spinor field (two spinor fields) on S. Thus the pp-wave Cauchy developments can be characterized by the geometry of a two rather than a three dimensional submanifold.Comment: 20 pages, Plain Tex, I

Differential Calculi on Some Quantum Prehomogeneous Vector Spaces

This paper is devoted to study of differential calculi over quadratic algebras, which arise in the theory of quantum bounded symmetric domains. We prove that in the quantum case dimensions of the homogeneous components of the graded vector spaces of k-forms are the same as in the classical case. This result is well-known for quantum matrices. The quadratic algebras, which we consider in the present paper, are q-analogues of the polynomial algebras on prehomogeneous vector spaces of commutative parabolic type. This enables us to prove that the de Rham complex is isomorphic to the dual of a quantum analogue of the generalized Bernstein-Gelfand-Gelfand resolution.Comment: LaTeX2e, 51 pages; changed conten

L∞L_\infty-Algebras, the BV Formalism, and Classical Fields

We summarise some of our recent works on $L_\infty$-algebras and quasi-groups with regard to higher principal bundles and their applications in twistor theory and gauge theory. In particular, after a lightning review of $L_\infty$-algebras, we discuss their Maurer-Cartan theory and explain that any classical field theory admitting an action can be reformulated in this context with the help of the Batalin-Vilkovisky formalism. As examples, we explore higher Chern-Simons theory and Yang-Mills theory. We also explain how these ideas can be combined with those of twistor theory to formulate maximally superconformal gauge theories in four and six dimensions by means of $L_\infty$-quasi-isomorphisms, and we propose a twistor space action.Comment: 19 pages, Contribution to Proceedings of LMS/EPSRC Durham Symposium Higher Structures in M-Theory, August 201