Orthogonal tropical linear prevarieties

Nicolai Vorobjov; Dima Grigoriev

doi:10.1007/978-3-319-99639-4_13

Orthogonal tropical linear prevarieties

Université de Lille

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

2 Citations (SciVal)

Abstract

We study the operation A of tropical orthogonalization, applied to a subset A of a vector space (R U) ⁿ, and iterations of this operation. Main results include a criterion and an algorithm, deciding whether a tropical linear prevariety is a tropical linear variety formulated in terms of a duality between A and A. We give an example of a countable family of tropical hyperplanes such that their intersection is not a tropical prevariety.

Original language	English
Title of host publication	Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Proceedings
Editors	Wolfram Koepf, Werner M. Seiler, Vladimir P. Gerdt, Evgenii V. Vorozhtsov
Publisher	Springer
Pages	187-196
Number of pages	10
Volume	11077
ISBN (Electronic)	9783319996394
ISBN (Print)	9783319996387
DOIs	https://doi.org/10.1007/978-3-319-99639-4_13
Publication status	Published - 2018

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11077 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

Orthogonalization
Tropical linear prevarieties
Tropical linear varieties

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-99639-4_13

Cite this

Vorobjov, N., & Grigoriev, D. (2018). Orthogonal tropical linear prevarieties. In W. Koepf, W. M. Seiler, V. P. Gerdt, & E. V. Vorozhtsov (Eds.), Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Proceedings (Vol. 11077, pp. 187-196). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11077 LNCS). Springer. https://doi.org/10.1007/978-3-319-99639-4_13

Orthogonal tropical linear prevarieties. / Vorobjov, Nicolai; Grigoriev, Dima.
Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Proceedings. ed. / Wolfram Koepf; Werner M. Seiler; Vladimir P. Gerdt; Evgenii V. Vorozhtsov. Vol. 11077 Springer, 2018. p. 187-196 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11077 LNCS).

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Vorobjov, N & Grigoriev, D 2018, Orthogonal tropical linear prevarieties. in W Koepf, WM Seiler, VP Gerdt & EV Vorozhtsov (eds), Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Proceedings. vol. 11077, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11077 LNCS, Springer, pp. 187-196. https://doi.org/10.1007/978-3-319-99639-4_13

Vorobjov N, Grigoriev D. Orthogonal tropical linear prevarieties. In Koepf W, Seiler WM, Gerdt VP, Vorozhtsov EV, editors, Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Proceedings. Vol. 11077. Springer. 2018. p. 187-196. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Epub 2018 Aug 23. doi: 10.1007/978-3-319-99639-4_13

Vorobjov, Nicolai ; Grigoriev, Dima. / Orthogonal tropical linear prevarieties. Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Proceedings. editor / Wolfram Koepf ; Werner M. Seiler ; Vladimir P. Gerdt ; Evgenii V. Vorozhtsov. Vol. 11077 Springer, 2018. pp. 187-196 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{520ed9a758354fbfbb0260d18243b7fb,

title = "Orthogonal tropical linear prevarieties",

abstract = "We study the operation A of tropical orthogonalization, applied to a subset A of a vector space (R U) n, and iterations of this operation. Main results include a criterion and an algorithm, deciding whether a tropical linear prevariety is a tropical linear variety formulated in terms of a duality between A and A. We give an example of a countable family of tropical hyperplanes such that their intersection is not a tropical prevariety. ",

keywords = "Orthogonalization, Tropical linear prevarieties, Tropical linear varieties",

author = "Nicolai Vorobjov and Dima Grigoriev",

year = "2018",

doi = "10.1007/978-3-319-99639-4\_13",

language = "English",

isbn = "9783319996387",

volume = "11077",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "187--196",

editor = "Wolfram Koepf and Seiler, \{Werner M.\} and Gerdt, \{Vladimir P.\} and Vorozhtsov, \{Evgenii V.\}",

booktitle = "Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Proceedings",

}

TY - GEN

T1 - Orthogonal tropical linear prevarieties

AU - Vorobjov, Nicolai

AU - Grigoriev, Dima

PY - 2018

Y1 - 2018

N2 - We study the operation A of tropical orthogonalization, applied to a subset A of a vector space (R U) n, and iterations of this operation. Main results include a criterion and an algorithm, deciding whether a tropical linear prevariety is a tropical linear variety formulated in terms of a duality between A and A. We give an example of a countable family of tropical hyperplanes such that their intersection is not a tropical prevariety.

AB - We study the operation A of tropical orthogonalization, applied to a subset A of a vector space (R U) n, and iterations of this operation. Main results include a criterion and an algorithm, deciding whether a tropical linear prevariety is a tropical linear variety formulated in terms of a duality between A and A. We give an example of a countable family of tropical hyperplanes such that their intersection is not a tropical prevariety.

KW - Orthogonalization

KW - Tropical linear prevarieties

KW - Tropical linear varieties

UR - https://www.scopus.com/pages/publications/85053995028

U2 - 10.1007/978-3-319-99639-4_13

DO - 10.1007/978-3-319-99639-4_13

M3 - Chapter in a published conference proceeding

SN - 9783319996387

VL - 11077

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 187

EP - 196

BT - Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Proceedings

A2 - Koepf, Wolfram

A2 - Seiler, Werner M.

A2 - Gerdt, Vladimir P.

A2 - Vorozhtsov, Evgenii V.

PB - Springer

ER -

Orthogonal tropical linear prevarieties

Abstract

Publication series

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Nicolai Vorobjov

Cite this

Orthogonal tropical linear prevarieties

Abstract

Publication series

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Profiles

Nicolai Vorobjov

Cite this