DOCSLIB.ORG

A Method for Construction of Lie Group Invariants Arxiv:1206.4395V1

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Method for Construction of Lie Group Invariants Arxiv:1206.4395V1 A method for construction of Lie group invariants Yu. Palii Laboratory of Information Technologies, Joint Institute for Nuclear Research, Dubna, Russia and Institute of Applied Physics, Chisinau, Moldova, e-mail: [email protected] Abstract For an adjoint action of a Lie group G (or its subgroup) on Lie algebra Lie(G) we suggest a method for construction of invariants. The method is easy in implementation and may shed the light on algebraical independence of invariants. The main idea is to extent automorphisms of the Cartan subalgebra to automorphisms of the whole Lie algebra Lie(G). Corresponding matrices in a linear space V =∼ Lie(G) define a Reynolds operator \gathering" invariants of torus T ⊂ G into special polynomials. A condition for a linear combination of polynomials to be G-invariant is equivalent to the existence of a solution for a certain system of linear equations on the coefficients in the combination. As an example we consider the adjoint action of the Lie group arXiv:1206.4395v1 [math.RT] 20 Jun 2012 SL(3) (and its subgroup SL(2)) on the Lie algebra sl(3). 1 1 Introduction Algorithms in invariant theory [1, 2] become inefficient for Lie groups inter- esting for physics. To overcome this problem, we try to use the following well known fact. Every automorphism of a Lie algebra root system (in par- ticular, an element of the Weyl group W) defines an automorphism of the Cartan subalgebra h and, subsequently, can be extended to the automor- phism of the whole Lie algebra g [3]. For example, let us consider sl(2) algebra with the standard basis X; Y; H = [X; Y ] and define the adjoint action adAB := [A; B]. The operator S = (exp adX ) (exp −adY ) (exp adX ) induces a second order inner automorphism of sl(2): S(X) = −Y; S(Y ) = −X; S(H) = −H: The action of S on to the Cartan subalgebra h = fHg corresponds to a Weyl group W = Z=2 reflection of the 1-dimensional sl(2)-root system: σα(α) = −α: This paper is organized as follows. Section 2 illustrates a method on the construction of two Casimir invariants of the Lie group SL(3). An adjoint representation for the Lie algebra sl(3) is done in the subsection 2.1. In 2.2, using a simple algorithm ([2], x4.3), we construct a Hilbert basis of invariants for a maximal torus T ⊂ SL(3). Subsections 2.3 and 2.4 describe two main steps of our method. In 2.3, we construct a set of the S-operators extending the action of the Weyl group for the sl(3) root system and apply corresponding Reynolds operator to the torus invariants. Derived invariants we call Weyl blocks. In 2.4, we join them into linear combinations which are invariant relative to the adjoint action of SL(3). In section 3, SL(2)- invariants in the algebra sl(3) are found. In 3.1, an embedding of SL(2) into SL(3) is used to construct all elements necessary for our method. In 3.2, we list a set of invariants and prove that it is a fundamental system of SL(2)-invariants in the adjoint representation of the algebra sl(3). 2 2 SL(3) Invariants 2.1 Linear representation of SL(3)-adjoint action on sl(3) The dimension of sl(3) is equal to 8 and the rank is 2 and, correspondingly, two sl(2)-triples generate the algebra: X1 = E12;Y1 = E21;H1 = E11 − E22; (2.1) X2 = E23;Y2 = E32;H2 = E22 − E33; (2.2) where (Eij)kl = δikδjl are unit matrices. These operators with two additional X3 := [X1;X2];Y3 := [Y2;Y1] (2.3) form the Cartan-Weyl basis of sl(3). Below we use the following notations for the basis elements: Y1 X1 Y2 X2 Y3 X3 H1 H2 (2.4) e1 e2 e3 e4 e5 e6 e7 e8 8 Consider sl(3) as a vector space V with the basis feigi=1 corresponding to the generators ei. The adjoint representation of sl(3) k adei : ej 7! [ei; ej] = cij ek (2.5) k k induces a linear transformation Ai in V by the matrix (Ai)j = −cij : ~ k ~ −1 Ai (ej) := ek (Ai) j; Ai = χ Ai χ, (2.6) ~ k where k numerates rows, j numerates columns of the matrix (Ai) j and χ is the matrix of the Cartan metric on sl(3): q p χij := Tr(Ai · Aj) = cip cjq : (2.7) The adjoint action of the Lie group SL(3) on its algebra sl(3) exp(t ei) ej exp(−t ei) = exp(t adei ) ej ei; ej 2 sl(3); (2.8) can be represented as a linear transformation of V by one-parameter groups: ~ k Ci (ej) := ek(exp[t Ai]) j : (2.9) In this section we construct polynomial SL(3)-invariants in variables e1 e2 e3 e4 e5 e6 e7 e8 (2.10) y1 x1 y2 x2 y3 x3 h1 h2 3 2.2 Torus Invariants ∼ ∗ d A d-dimensional torus T = (C ) acting on the ring C[V ] = C[x1; : : : ; xn] is isomorphic to a group of the diagonal matrices d d Y a1i Y ani T = diag( ti ;:::; ti ); (2.11) i=1 i=1 ∗ where t1; : : : ; td 2 C are torus variables and xi have the weights !i = (ai;1; : : : ; ai;d); aij 2 Z: T maps monomials into monomials and its invariant ring C[V ]T is monomial. Suppose T ⊂ G; for the Lie group G. Then the algebra of G-invariants is a subalgebra of torus invariants G T C[V ] ⊂ C[V ] ; i.e. a G-invariant polynomial is a linear combination of T -invariant mono- mials. By definition a weight !i of an element Xi is the set of values of the corresponding root αi on the elements Hj of the Cartan subalgebra h. The values αi(Hj) can be directly read from the commutation relations in the Cartan-Weyl basis: [Hj;Xi] = αi(Hj)Xi: (2.12) Weights of the variables (2.10) are ones of the generators (2.4) y1 x1 y2 x2 y3 x3 h1 h2 (2.13) (−2; 1) (2; −1) (1; −2) (−1; 2) (−1; −1) (1; 1) (0; 0) (0; 0) An efficient algorithm 4.3.1 from [2] allows to find the Hilbert basis [1], i.e. a minimal generating set, for the torus invariants. We realize it in the following way. Let us construct the d-dimensional set Ω of boxes marked by weights of the variables xi and ’filled in' with the corresponding xi considered as initial monomials. After that we produce new monomials degree by degree multiplying on xi monomials derived at the previous step. If a new monomial n1 nk m = x1 : : : xk with the weight k k X X !m = ( ai;1ni;:::; ai;dni) (2.14) i=1 i=1 4 is not divisible on derived early monomials with the same weight !m we put m into the corresponding box. We discard a new monomial if its weight is not in Ω. An output of the algorithm is the set of T -invariant monomials with the weight (0;:::; 0). | {z } d For T ⊂ SL(3) the two dimensional torus T (2.11) is the following: −2 1 2 −1 1 −2 −1 2 −1 −1 1 1 0 0 0 0 T = diag (t1 t2; t1t2 ; t1t2 t1 t2; t1 t2 ; t1t2; t1t2; t1t2); (2.15) and the Hilbert basis consists from the monomials: h1; h2; x1y1; x2y2; x3y3; x1x2y3; x3y1y2: (2.16) 2.3 Weyl blocks The root system Φsl(3) of sl(3) algebra lies in the Euclidean plane and has six roots ±αi; i = 1; 2; 3 (see figure 1). A group of the reflections σi relative to hyperplanes orthogonal to the roots αi, i.e. the Weyl group Wsl(3), is the permutation group S3 [3] S3 = fI; (12); (23); (13); (123); (132)g (2.17) The permutations (12) and (23) correspond to the reflections σ1 and σ2 (rel- ative to hyperplanes shown by dashed lines in the figure 1) respectively and generate S3 according to formulas: (123) = (12) ◦ (23); (2.18) (132) = (23) ◦ (12); (2.19) (13) = (12) ◦ (23) ◦ (12): (2.20) Suppose we treat sl(3) algebra as a linear space V according to the sub- section 2.1. The reflections σ1 and σ2 can be extended to linear operators in V analogously to sl(2) case (see Introduction) ~ ~ ~ S1 = exp[AX1 ] exp[−AY1 ] exp[AX1 ] (2.21) ~ ~ ~ S2 = exp[AX2 ] exp[−AY2 ] exp[AX2 ] (2.22) as we have two sl(2)-triples (2.1), (2.2) in sl(3). Transformations by S1;S2 of basis elements of sl(3) k Si (ej) := ek(Si) j ; (2.23) 5 Figure 1: sl(3) root system are shown in the following tables: y1 x1 y2 x2 y3 x3 h1 h2 S1 : (2.24) −x1 −y1 y3 x3 −y2 −x2 −h1 h3 y1 x1 y2 x2 y3 x3 h1 h2 S2 : (2.25) −y3 −x3 −x2 −y2 y1 x1 h3 −h2 where h3 := h1 + h2. As a proof of correctness of extension we compare the action of S1; S2 on the Cartan subalgebra h = fh1; h2; h3g and Weyl group reflections of the dual roots αi $ Hi; i = 1; 2; 3 in the sl(3) root space Φsl(3): σ1(α1) = −α1 S1(h1) = −h1 σ1(α2) = α3 S1(h2) = h3 σ1(α3) = α2 S1(h3) = h2 σ2(α1) = α3 S2(h1) = h3 σ2(α2) = −α2 S2(h2) = −h2 σ2(α3) = α1 S2(h3) = h1 6 Taking a Cartan decomposition a sl(3) = fh1; h2g ⊕ Lα (2.26) α2Φsl(3) we see from the tables (2.24),(2.25) that every one-dimensional subspace Lα is transformed according to the reflection σi: Si : Lα ! Lσi(α).
Load more

Recommended publications
  • Arxiv:1810.05857V3 [Math.AG] 11 Jun 2020
    HYPERDETERMINANTS FROM THE E8 DISCRIMINANT FRED´ ERIC´ HOLWECK AND LUKE OEDING Abstract. We find expressions of the polynomials defining the dual varieties of Grass- mannians Gr(3, 9) and Gr(4, 8) both in terms of the fundamental invariants and in terms of a generic semi-simple element. We restrict the polynomial defining the dual of the ad- joint orbit of E8 and obtain the polynomials of interest as factors. To find an expression of the Gr(4, 8) discriminant in terms of fundamental invariants, which has 15, 942 terms, we perform interpolation with mod-p reductions and rational reconstruction. From these expressions for the discriminants of Gr(3, 9) and Gr(4, 8) we also obtain expressions for well-known hyperdeterminants of formats 3 × 3 × 3 and 2 × 2 × 2 × 2. 1. Introduction Cayley’s 2 × 2 × 2 hyperdeterminant is the well-known polynomial 2 2 2 2 2 2 2 2 ∆222 = x000x111 + x001x110 + x010x101 + x100x011 + 4(x000x011x101x110 + x001x010x100x111) − 2(x000x001x110x111 + x000x010x101x111 + x000x100x011x111+ x001x010x101x110 + x001x100x011x110 + x010x100x011x101). ×3 It generates the ring of invariants for the group SL(2) ⋉S3 acting on the tensor space C2×2×2. It is well-studied in Algebraic Geometry. Its vanishing defines the projective dual of the Segre embedding of three copies of the projective line (a toric variety) [13], and also coincides with the tangential variety of the same Segre product [24, 28, 33]. On real tensors it separates real ranks 2 and 3 [9]. It is the unique relation among the principal minors of a general 3 × 3 symmetric matrix [18].
    [Show full text]
  • Search Problems in Algebraic Complexity, GCT, and Hardness Of
    Search Problems in Algebraic Complexity, GCT, and Hardness of Generators for Invariant Rings Ankit Garg Microsoft Research, Bangalore, India [email protected] Christian Ikenmeyer University of Liverpool, UK [email protected] Visu Makam Institute for Advanced Study, Princeton, NJ, USA [email protected] Rafael Oliveira University of Waterloo, Canada [email protected] Michael Walter Korteweg-de Vries Institute for Mathematics, Institute for Theoretical Physics, Institute for Logic, Language & Computation, University of Amsterdam, The Netherlands [email protected] Avi Wigderson Institute for Advanced Study, Princeton, NJ, US [email protected] Abstract We consider the problem of computing succinct encodings of lists of generators for invariant rings for group actions. Mulmuley conjectured that there are always polynomial sized such encodings for invariant rings of SLn(C)-representations. We provide simple examples that disprove this conjecture (under standard complexity assumptions). We develop a general framework, denoted algebraic circuit search problems, that captures many important problems in algebraic complexity and computational invariant theory. This framework encompasses various proof systems in proof complexity and some of the central problems in invariant theory as exposed by the Geometric Complexity Theory (GCT) program, including the aforementioned problem of computing succinct encodings for generators for invariant rings. 2012 ACM Subject Classification Theory of computation → Algebraic complexity theory Keywords and phrases generators for invariant rings, succinct encodings Digital Object Identifier 10.4230/LIPIcs.CCC.2020.12 Related Version https://arxiv.org/abs/1910.01251v1 Funding Christian Ikenmeyer: DFG grant IK 116/2-1. Visu Makam: NSF grant No. DMS -1638352 and NSF grant No. CCF-1412958.
    [Show full text]
  • Invariant Polynomials and Molien Functions
    JOURNAL OF MATHEMATICAL PHYSICS VOLUME 39, NUMBER 2 FEBRUARY 1998 Invariant polynomials and Molien functions Michael Forger Departamento de Matema´tica Aplicada, Instituto de Matema´tica e Estatı´stica, Universidade de Sa˜o Paulo, Caixa Postal 66281, BR-05315-970 Sa˜o Paulo, Brazil ~Received 12 February 1997; accepted for publication 9 June 1997! The Molien function associated with a finite-dimensional representation of a com- pact Lie group is a useful tool in representation theory because it acts as a gener- ating function for counting the number of invariant polynomials on the representa- tion space. The main purpose of this paper is to introduce a more general ~and apparently new! generating function which, in the same sense, counts not only the number of invariant real polynomials in a real representation or the number of invariant complex polynomials in a complex representation, as a function of their degree, but encodes the number of invariant real polynomials in a complex repre- sentation, as a function of their bidegree ~the first and second component of this bidegree being the number of variables in which the polynomial is holomorphic and antiholomorphic, respectively!. This is obviously an additional and non-trivial piece of information for representations which are truly complex ~i.e., not self- conjugate! or are pseudo-real, but it provides additional insight even for real rep- resentations. In addition, we collect a number of general formulas for these func- tions and for their coefficients and calculate them in various irreducible representations of various classical groups, using the software package MAPLE. © 1998 American Institute of Physics.
    [Show full text]
  • Linear Algebraic Groups
    Appendix A Linear Algebraic Groups A.1 Linear Algebraic Groups Let us fix an algebraically closed field K. We work in the category of affine varieties over K. The purpose of this section is to give a brief exposition on the basic facts of algebraic groups. Definition A.1.1 A linear algebraic group is an affine algebraic variety G together with a unit element e 2 G and morphisms m W G G ! G and i W G ! G satisfying the group axioms (a) m.; e/ D m.e;/D for all 2 G; (b) m.; i.// D m.i./; / D e for all 2 G; (c) m.; m.; // D m.m.; /; / (associativity) for all ; ; 2 G. Often we will just write and 1 instead of m.; / and i./, respectively. Example A.1.2 The group GLn, the set of invertible nn matrices over K, is a linear algebraic group. Any Zariski closed subgroup G GLn is a linear algebraic group. In fact, every linear algebraic group is isomorphic to a Zariski closed subgroup of GLn (see Borel [1, Proposition I.1.10]). This justifies calling it a linear algebraic group. G The axioms for a linear algebraic group can also be stated in terms of the coordinate ring. The maps m W G G ! G and i W G ! G correspond to ring homomorphisms m W KŒG ! KŒG ˝ KŒG and i W KŒG ! KŒG. The unit element e 2 G corresponds to a ring homomorphism W KŒG ! K defined by f 7! f .e/. The axioms for a linear algebraic group translate to (a) .id ˝/ ı m D .
    [Show full text]
  • Invariant Theory for Wreath Product Groups
    Journal of Pure and Applied Algebra 150 (2000) 61–84 www.elsevier.com/locate/jpaa Invariant theory for wreath product groups Ana Paula S. Dias a;1, Ian Stewartb;∗ a Departamento de Matematicaà Pura, Centro de Matematicaà Aplicada, Faculdade de Ciencias,ˆ Universidade do Porto, Praca Gomes Teixeira, 4 050 Porto, Portugal b Mathematics Institute, University of Warwick, Conventry CV4 7AL, UK Received 9 October 1998 Communicated by P.J. Freyd Abstract Invariant theory is an important issue in equivariant bifurcation theory. Dynamical systems with wreath product symmetry arise in many areas of applied science. In this paper we develop the invariant theory of wreath product L o G where L is a compact Lie group (in some cases, a ÿnite group) and G is a ÿnite permutation group. For compact L we ÿnd the quadratic and cubic equivariants of L o G in terms of those of L and G. These results are sucient for the classiÿcation of generic steady-state branches, whenever the appropriate representation of L o G is 3-determined. When L is compact we also prove that the Molien series of L and G determine the Molien series of L o G. Finally we obtain ‘homogeneous systems of parameters’ for rings of invariants and modules of equivariants of wreath products when L is ÿnite. c 2000 Elsevier Science B.V. All rights reserved. MSC: 13A50, 34A47, 58F14, 20C40, 20C35 1. Introduction Equivariant bifurcation theory studies the existence and stability of bifurcating branches of steady or periodic solutions of nonlinear dynamical systems with sym- metry group .
    [Show full text]
  • Simple Lie Algebras and Singularities
    Master thesis Simple Lie algebras and singularities Nicolas Hemelsoet supervised by Prof. Donna Testerman and Prof. Paul Levy January 19, 2018 Contents 1 Introduction 1 2 Finite subgroups of SL2(C) and invariant theory 3 3 Du Val singularities 10 3.1 Algebraic surfaces . 10 3.2 The resolution graph of simple singularities . 16 4 The McKay graphs 21 4.1 Computations of the graphs . 21 4.2 A proof of the McKay theorem . 26 5 Brieskorn's theorem 29 5.1 Preliminaries . 29 5.2 Quasi-homogenous polynomials . 36 5.3 End of the proof of Brieskorn's theorem . 38 6 The Springer resolution 41 6.1 Grothendieck's theorem . 42 6.2 The Springer fiber for g of type An ............................ 45 7 Conclusion 46 8 Appendix 48 1 Introduction Let Γ be a binary polyhedral group, that is a finite subgroup of SL2(C). We can obtain two natural 2 graphs from Γ: the resolution graph of the surface C =Γ, and the McKay graph of the representation Γ ⊂ SL2(C). The McKay correspondance states that such graphs are the same, more precisely the 2 resolution graphs of C =Γ will give all the simply-laced Dynkin diagrams, and the McKay graphs will give all the affine Dynkin diagrams, where the additional vertex is the vertex corresponding to the trivial representation. 2 Γ For computing the equations of C =Γ := Spec(C[x; y] ) we need to compute the generators and Γ −1 relations for the ring C[x; y] . As an example, if Γ = Z=nZ generated by g = diag(ζ; ζ ) with −1 ζ a primitive n-th root of unity, the action on C[x; y] is g · x = ζ x and g · y = ζy (this is the contragredient representation).
    [Show full text]
  • Invariant Theory to Study Symmetry Breakings in the Adjoint Representation of E8
    GROUP 28: Physical and Mathematical Aspects of Symmetry IOP Publishing Journal of Physics: Conference Series 284 (2011) 012057 doi:10.1088/1742-6596/284/1/012057 Invariant theory to study symmetry breakings in the adjoint representation of E8 Vittorino Talamini Dipartimento di Fisica, Universit`adi Udine, via delle Scienze 208, 33100 Udine, Italy and INFN, Sezione di Trieste, Trieste, Italy E-mail: [email protected] Abstract. To study analytically the possible symmetry breakings that may take place in the adjoint representation of the compact Lie group E8 one may take advantage of the knowledge of the basic polynomials of its Weyl group, that is of the ¯nite reflection group E8, and of the (polynomial) equations and inequalities de¯ning its orbit space. This orbit space is strati¯ed and each of its strata represents a possible symmetry breaking, both for the adjoint representation of the Lie group E8 and for the de¯ning representation of the ¯nite reflection group E8. The concrete determination of the equations and inequalities de¯ning the strata is not yet done but it is possible in principle using rank and positive semi-de¯niteness conditions on a symmetric 8 £ 8 matrix whose matrix elements are real polynomials in 8 variables. This matrix, called the Pb-matrix, has already been determined completely. In this article it will be reviewed how one may determine the equations and inequalities de¯ning the strata of the orbit space and how these equations and inequalities may help to study spontaneous symmetry breakings. Here the focus is on E8, because some of the results for E8 are new, but all what it is here said for E8 may be repeated for any other compact simple Lie group.
    [Show full text]
  • Invariant Theory, Old and New
    Invariant Theory, Old and New JEAN A. DIEUDONNC Faculty of Science, Mathematics, University of Nice, Part Valrose, Nice, France AND JAMES B. CARRELL Department of Mathematics, Purdue University, Lafayette, Indiana Table of Contents Introduction .......................... 1 Chapter 1. Elements of the Theory of Invariants .......... 3 1. The Notion of An Invariant ................ 3 2. Rational Concomitants. .................. 5 Chapter 2. Rational Representations of the General Linear Group ... 10 1. Representations of Linear Groups ............. 10 2. Representations of the Full Linear Group .......... 14 3. Young’s Diagrams .................... 16 4. The Characters of GL (n; 9) ................ 20 5. Multilinear Invariants of GL (n; Q) ............. 22 6. Invariants of Antisymmetric Tensors ............ 26 7. Invariants of Mixed Tensors ................ 28 8. Gram’s Theorem ..................... 31 9. Invariants of n-ary Forms: The Symbolic Method ...... 32 10. Invariants of subgroups of GL (n; Q) ............ 37 Chapter 3. Post-Hilbert Invariant Theory ............. 41 1. The Finiteness Theorem. ................. 41 2. The Nagata Counterexample ................ 45 Chapter 4. Introduction to the Hilbert-Mumford Theory ...... 51 1. The Affine Case. ..................... 51 2. The Projective Case. ................... 54 3. Nullforms and Semi-Stable Points .............. 55 4. The Hilbert-Mumford Criterion .............. 56 5. Examples ........................ 60 6. Applications of Nullforms to Problems of Explicit Determination of Invariants
    [Show full text]
  • Introduction to Polynomial Invariants of Screw Systems
    Introduction to Polynomial Invariants of Screw Systems Peter Donelan Victoria University of Wellington, New Zealand. [email protected] Jon Selig London South Bank University, U. K. [email protected] Abstract Screw systems describe the infinitesimal motion of multi–degree-of-freedom rigid bodies, such as end-effectors of robot manipulators. While there exists an exhaustive classification of screw systems, it is based largely on geometrical considerations rather than algebraic ones. Knowledge of the polynomial invariants of the adjoint action of the Euclidean group induced on the Grassmannians of screw systems would provide new insight to the classification, along with a reliable identification procedure. However many standard results of invariant theory break down because the Euclidean group is not reductive. We describe three possible approaches to a full listing of polynomial invariants for 2–screw systems. Two use the fact that in its adjoint action, the compact sub- 3 group SO(3) acts as a direct sum of two copies of its standard action on R . The Molien–Weyl Theorem then provides information on the primary and secondary invariants for this action and specific invariants are calculated by analyzing the de- composition of the alternating 2–tensors. The resulting polynomials can be filtered to find those that are SE(3) invariants and invariants for screw systems are de- termined by considering the impact of the Pl¨ucker relations. A related approach is to calculate directly the decomposition of the symmetric products of alternating tensors. Finally, these approaches are compared with the listing of invariants by Selig based on the existence of two invariant quadratic forms for the adjoint action.
    [Show full text]
  • Symmetry Groups, Semidefinite Programs, and Sums of Squares
    Symmetry groups, semidefinite programs, and sums of squares Karin Gatermann a Pablo A. Parrilo b aKonrad-Zuse-Zentrum f¨ur Informationstechnik, Takustr. 7, D-14195 Berlin, Germany or Institut I, Fachbereich Mathematik und Informatik, FU Berlin, Arnimallee 2-6, D-14195 Berlin, Germany bAutomatic Control Laboratory, Physikstrasse 3 / ETL, ETH-Zentrum, CH-8092 Z¨urich, Switzerland Abstract We investigate the representation of symmetric polynomials as a sum of squares. Since this task is solved using semidefinite programming tools we explore the geo- metric, algebraic, and computational implications of the presence of discrete sym- metries in semidefinite programs. It is shown that symmetry exploitation allows a significant reduction in both matrix size and number of decision variables. This result is applied to semidefinite programs arising from the computation of sum of squares decompositions for multivariate polynomials. The results, reinterpreted from an invariant-theoretic viewpoint, provide a novel representation of a class of nonnegative symmetric polynomials. The main theorem states that an invariant sum of squares polynomial is a sum of inner products of pairs of matrices, whose entries are invariant polynomials. In these pairs, one of the matrices is computed based on the real irreducible representations of the group, and the other is a sum of squares matrix. The reduction techniques enable the numerical solution of large- arXiv:math/0211450v1 [math.AC] 28 Nov 2002 scale instances, otherwise computationally infeasible to solve. AMS Subject Classification: 14P99, 26C05, 13A50, 68W30, 90C22 Key words: real algebraic geometry, convex optimization, finite groups, symmetry Email addresses: [email protected], [email protected] (Pablo A.
    [Show full text]
  • Invariant Theory and Reversible-Equivariant Vector Fields
    Invariant Theory and Reversible-Equivariant Vector Fields Fernando Antoneli a,d,∗, Patr´ıcia H. Baptistelli c, Ana Paula S. Dias a,b, Miriam Manoel c aCentro de Matem´atica da Universidade do Porto (CMUP), Rua do Campo Alegre, 687, 4169-007 Porto, Portugal 1 bDepartamento de Matem´atica Pura, Faculdade de Ciˆencias da Universidade do Porto, Rua do Campo Alegre, 687, 4169-007 Porto, Portugal cDepartamento de Matem´atica, Instituto de Ciˆencias Matem´aticas e de Computa¸c˜ao, Universidade de S˜ao Paulo – Campus de S˜ao Carlos, Caixa Postal 668, 13560-970 S˜ao Carlos SP, Brazil dDepartamento de Matem´atica Aplicada, Instituto de Matemtica e Estat´ıstica, Universidade de S˜ao Paulo – Campus S˜ao Paulo, 05315-970 S˜ao Paulo SP, Brazil Abstract In this paper we obtain results for the systematic study of reversible-equivariant vector fields – namely, in the simultaneous presence of symmetries and reversing symmetries – by employing algebraic techniques from invariant theory for compact Lie groups. We introduce the Hilbert-Poincar´eseries and their associated Molien formula and we prove the character formulas for the computation of dimensions of spaces of homogeneous anti-invariant polynomial functions and reversible- equivariant polynomial mappings. Two symbolic algorithms are also obtained, Key words: Symmetry, Reversing Symmetry, Invariant Theory, Representation Theory, Characters 1991 MSC: 35B32; 37G40 ∗ Corresponding author. Email addresses: [email protected] (Fernando Antoneli), [email protected] (Patr´ıcia H. Baptistelli), [email protected] (Ana Paula S. Dias), [email protected] (Miriam Manoel). URLs: http://www.fc.up.pt/cmup/apdias (Ana Paula S.
    [Show full text]
  • Singularity of Type $ D 4 $ Arising from Four Qubit Systems
    Singularity of type D4 arising from four qubit systems Frédéric Holwecka), Jean-Gabriel Luqueb) Michel Planatc) An intriguing correspondence between four-qubit systems and simple singularity of type D4 is established. We first consider the algebraic variety X of separable states within the projective Hilbert space P(H) = P15. Then, cutting X with a specific hyperplane H, we prove that the X-hypersurface, defined from the section X ∩ H ⊂ X, has an isolated singularity of type D4; it is also shown that this is the “worst- possible” isolated singularity one can obtain by this construction. Moreover, it is demonstrated that this correspondence admits a dual version by proving that the equation of the dual variety of X, which is nothing but the Cayley hyperdeterminant of type 2 × 2 × 2 × 2, can be expressed in terms of the SLOCC invariant polynomials as the discriminant of the miniversal deformation of the D4-singularity. Keywords: Quantum Information Theory, Entangled states, Simple singularities of hypersurfaces, Dynkin diagrams, Hyperdeterminant. PACS:02.10.Xm, 02.40.-k, 03.65.Aa , 03.65.Fd, 03.65.Ud Msc: 32S25,32S30,15A69,14M17,15A72 arXiv:1312.0639v1 [math-ph] 2 Dec 2013 a) [email protected], Laboratoire IRTES-M3M, Université de Technologie de Belfort-Montbéliard, 90010 Belfort Cedex, FR b) [email protected], Université de Rouen, Laboratoire d’Informatique, du Traitement de l’Information et des Systèmes (LITIS), Avenue de l’Université - BP 8 6801 Saint-étienne-du-Rouvray Cedex, FR c) [email protected], Institut FEMTO-ST, CNRS, 32 Avenue de l’Observatoire, 25044 Besançon, FR 1 I.
    [Show full text]