Showing 1–4 of 4 results for author: Girard, M

Convex cones in mapping spaces between matrix algebras

Authors: Mark Girard, Seung-Hyeok Kye, Erling Størmer

Abstract: We introduce the notion of one-sided mapping cones of positive linear maps between matrix algebras. These are convex cones of maps that are invariant under compositions by completely positive maps from either the left or right side. The duals of such convex cones can be characterized in terms of ampliation maps, which can also be used to characterize many notions from quantum information theory---… ▽ More We introduce the notion of one-sided mapping cones of positive linear maps between matrix algebras. These are convex cones of maps that are invariant under compositions by completely positive maps from either the left or right side. The duals of such convex cones can be characterized in terms of ampliation maps, which can also be used to characterize many notions from quantum information theory---such as separability, entanglement-breaking maps, Schmidt numbers, as well as decomposable maps and $k$-positive maps in functional analysis. In fact, such characterizations hold if and only if the involved cone is a one-sided mapping cone. Through this analysis, we obtain mapping properties for compositions of cones from which we also obtain several equivalent statements of the PPT (positive partial transpose) square conjecture. △ Less

Submitted 19 May, 2020; v1 submitted 21 February, 2020; originally announced February 2020.

Comments: An earlier version of this paper due to second and third authors originally appeared as arXiv:2002.09614v1. After the first author joined as a co-author, the authors changed the title, rewrote and extended the results of the earlier version

MSC Class: 15A30; 81P15; 46L05; 46L07

Journal ref: Linear Algebra Appl. 608 (2021), 248-269

On directional derivatives of trace functionals of the form $A\mapsto\Tr(Pf(A))$

Authors: Mark W. Girard

Abstract: Given a function $f:(0,\infty)\rightarrow\RR$ and a positive semidefinite $n\times n$ matrix $P$, one may define a trace functional on positive definite $n\times n$ matrices as $A\mapsto \Tr(Pf(A))$. For differentiable functions $f$, the function $A\mapsto \Tr(Pf(A))$ is differentiable at all positive definite matrices $A$. Under certain continuity conditions on~$f$, this function may be extended… ▽ More Given a function $f:(0,\infty)\rightarrow\RR$ and a positive semidefinite $n\times n$ matrix $P$, one may define a trace functional on positive definite $n\times n$ matrices as $A\mapsto \Tr(Pf(A))$. For differentiable functions $f$, the function $A\mapsto \Tr(Pf(A))$ is differentiable at all positive definite matrices $A$. Under certain continuity conditions on~$f$, this function may be extended to certain non-positive-definite matrices $A$, and the \emph{directional} derivatives of $\Tr(Pf(A)$ may be computed there. This note presents conditions for these directional derivatives to exist and computes them. These conditions hold for the function $f(x)=\log(x)$ and for the functions $f_p(x)=x^p$ for all $p>-1$. The derivatives of the corresponding trace functionals are computed here. △ Less

Submitted 11 October, 2018; originally announced October 2018.

Classification of genus 3 curves in special strata of the moduli space

Authors: Martine Girard, David R. Kohel

Abstract: We describe the invariants of plane quartic curves -- nonhyperelliptic genus 3 curves in their canonical model -- as determined by Dixmier and Ohno, with application to the classification of curves with given structure. In particular, we determine modular equations for the strata in the moduli space $\Me_3$ of plane quartics which have at least seven hyperflexes, and obtain an computational char… ▽ More We describe the invariants of plane quartic curves -- nonhyperelliptic genus 3 curves in their canonical model -- as determined by Dixmier and Ohno, with application to the classification of curves with given structure. In particular, we determine modular equations for the strata in the moduli space $\Me_3$ of plane quartics which have at least seven hyperflexes, and obtain an computational characterization of curves in these strata. △ Less

Submitted 23 March, 2006; originally announced March 2006.

The Weierstrass subgroup of a curve has maximal rank

Authors: Martine Girard, David R. Kohel, Christophe Ritzenthaler

Abstract: We show that the Weierstrass points of the generic curve of genus $g$ over an algebraically closed field of characteristic 0 generate a group of maximal rank in the Jacobian. We show that the Weierstrass points of the generic curve of genus $g$ over an algebraically closed field of characteristic 0 generate a group of maximal rank in the Jacobian. △ Less

Submitted 7 November, 2005; v1 submitted 7 April, 2005; originally announced April 2005.

MSC Class: 11G30; 14H40; 14H10; 14H55; 14Q05