### Abstract

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=q_{QL}+ρ, where q_{QL} is quasilinear in the sense that q_{QL}(x+y)=q_{QL}(x)+q_{QL}(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=q_{QL}+ρ and of all companions b of q, and see how this relates to the tropicalization procedure.

Original language | English |
---|---|

Pages (from-to) | 61-93 |

Number of pages | 33 |

Journal | Journal of Pure and Applied Algebra |

Volume | 220 |

Issue number | 1 |

Early online date | 12 Jun 2015 |

DOIs | |

Publication status | Published - 1 Jan 2016 |

### Fingerprint

### ASJC Scopus subject areas

- Algebra and Number Theory

### Cite this

*Journal of Pure and Applied Algebra*,

*220*(1), 61-93. https://doi.org/10.1016/j.jpaa.2015.05.043

**Supertropical quadratic forms I.** / Izhakian, Zur; Knebusch, Manfred; Rowen, Louis.

Research output: Contribution to journal › Article

*Journal of Pure and Applied Algebra*, vol. 220, no. 1, pp. 61-93. https://doi.org/10.1016/j.jpaa.2015.05.043

}

TY - JOUR

T1 - Supertropical quadratic forms I

AU - Izhakian, Zur

AU - Knebusch, Manfred

AU - Rowen, Louis

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 - Article

AN - SCOPUS:84940899716

VL - 220

SP - 61

EP - 93

JO - Journal of Pure and Applied Algebra

JF - Journal of Pure and Applied Algebra

SN - 0022-4049

IS - 1

ER -