TY - JOUR

T1 - Supertropical quadratic forms I

AU - Izhakian, Zur

AU - Knebusch, Manfred

AU - Rowen, Louis

N1 - Publisher Copyright:
© 2015 Elsevier B.V.

PY - 2016/1/1

Y1 - 2016/1/1

N2 - We initiate the theory of a quadratic form q over a semiring R, with a view to study tropical linear algebra. As customary, one can writeq(x+y)=q(x)+q(y)+b(x,y), where b is a companion bilinear form. In contrast to the classical theory of quadratic forms over a field, the companion bilinear form need not be uniquely defined. Nevertheless, q can always be written as a sum of quadratic forms q=qQL+ρ, where qQL is quasilinear in the sense that qQL(x+y)=qQL(x)+qQL(y), and ρ is rigid in the sense that it has a unique companion. In case that R is supertropical, we obtain an explicit classification of these decompositions q=qQL+ρ and of all companions b of q, and see how this relates to the tropicalization procedure.

AB - We initiate the theory of a quadratic form q over a semiring R, with a view to study tropical linear algebra. As customary, one can writeq(x+y)=q(x)+q(y)+b(x,y), where b is a companion bilinear form. In contrast to the classical theory of quadratic forms over a field, the companion bilinear form need not be uniquely defined. Nevertheless, q can always be written as a sum of quadratic forms q=qQL+ρ, where qQL is quasilinear in the sense that qQL(x+y)=qQL(x)+qQL(y), and ρ is rigid in the sense that it has a unique companion. In case that R is supertropical, we obtain an explicit classification of these decompositions q=qQL+ρ and of all companions b of q, and see how this relates to the tropicalization procedure.

UR - http://www.scopus.com/inward/record.url?scp=84940899716&partnerID=8YFLogxK

U2 - 10.1016/j.jpaa.2015.05.043

DO - 10.1016/j.jpaa.2015.05.043

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84940899716

SN - 0022-4049

VL - 220

SP - 61

EP - 93

JO - Journal of Pure and Applied Algebra

JF - Journal of Pure and Applied Algebra

IS - 1

ER -