J. William Helton

  1. The matricial relaxation of a linear matrix inequality.

    Authors: J. William Helton, Scott McCullough, Igor Klep
    Subjects: Operator Algebras
    Abstract

    Given linear matrix inequalities (LMIs) L_1 and L_2, it is natural to ask:
    (Q1) when does one dominate the other, that is, does L_1(X) PsD imply L_2(X)
    PsD? (Q2) when do they have the same solution set? Such questions can be
    NP-hard. This paper describes a natural relaxation of an LMI, based on
    substituting matrices for the variables x_j. With this relaxation, the
    domination questions (Q1) and (Q2) have elegant answers, indeed reduce to
    constructible semidefinite programs. Assume there is an X such that L_1(X) and
    L_2(X) are both PD, and suppose the positivity domain of L_1 is bounded.

  2. Non-Commutative Harmonic and Subharmonic Polynomials.

    Authors: J. William Helton, Daniel P. McAllaster, Joshua A. Hernandez
    Subjects: Functional Analysis
    Abstract

    The paper introduces a notion of the Laplace operator of a polynomial p in
    noncommutative variables x=(x_1,...,x_g). The Laplacian Lap[p,h] of p is a
    polynomial in x and in a noncommuting variable h. When all variables commute we
    have Lap[p,h]=h^2\Delta_x p where \Delta_x p is the usual Laplacian. A
    symmetric polynomial in symmetric variables will be called harmonic if
    Lap[p,h]=0 and subharmonic if the polynomial q(x,h):=Lap[p,h] takes positive
    semidefinite matrix values whenever matrices X_1,..., X_g, H are substituted
    for the variables x_1,...,x_g, h.

  3. Non-Commutative Harmonic and Subharmonic Polynomials.

    Authors: J. William Helton, Daniel P. McAllaster, Joshua A. Hernandez
    Subjects: Functional Analysis
    Abstract

    The paper introduces a notion of the Laplace operator of a polynomial p in
    noncommutative variables x=(x_1,...,x_g). The Laplacian Lap[p,h] of p is a
    polynomial in x and in a noncommuting variable h. When all variables commute we
    have Lap[p,h]=h^2\Delta_x p where \Delta_x p is the usual Laplacian. A
    symmetric polynomial in symmetric variables will be called harmonic if
    Lap[p,h]=0 and subharmonic if the polynomial q(x,h):=Lap[p,h] takes positive
    semidefinite matrix values whenever matrices X_1,..., X_g, H are substituted
    for the variables x_1,...,x_g, h.

  4. Every free basic semi-algebraic set has an LMI representation.

    Authors: J. William Helton, Scott McCullough
    Subjects: Functional Analysis
    Abstract

    The (matrical) solution set of a Linear Matrix Inequality (LMI) is a convex
    basic non-commutative semi-algebraic set. The main theorem of this paper is a
    converse, a result which has implications for both semidefinite programming and
    systems engineering. For p(x) a non-commutative polynomial in free variables x=
    (x1, ... xg) we can substitute a tuple of symmetric matrices X= (X1, ... Xg)
    for x and obtain a matrix p(X). Assume p is symmetric with p(0) invertible, let
    Ip denote the set {X: p(X) is an invertible matrix}, and let Dp denote the
    component of Ip containing 0.

Syndicate content