Showing 1–41 of 41 results for author: Grigoriev, D

Minimal solutions of tropical linear differential systems

Authors: Dima Grigoriev, Cristhian Garay López

Abstract: We introduce and study minimal (with respect to inclusion) solutions of systems of tropical linear differential equations. We describe the set of all minimal solutions for a single equation. It is shown that any tropical linear differential equation in a single unknown has either a solution or a solution at infinity. For a generic system of $n$ tropical linear differential equations in $n$ unknown… ▽ More We introduce and study minimal (with respect to inclusion) solutions of systems of tropical linear differential equations. We describe the set of all minimal solutions for a single equation. It is shown that any tropical linear differential equation in a single unknown has either a solution or a solution at infinity. For a generic system of $n$ tropical linear differential equations in $n$ unknowns, upper and lower bounds on the number of minimal solutions are established. The upper bound involves inversions of a family of permutations which generalize inversions of a single permutation. For $n=1, 2$, we show that the bounds are sharp. △ Less

Submitted 31 March, 2025; originally announced March 2025.

MSC Class: 14T10

Valuations, bijections, and bases

Authors: Arkady Berenstein, Dima Grigoriev

Abstract: The aim of this paper is to build a theory of commutative and noncommutative injective valuations of various algebras. The targets of our valuations are (well-)ordered commutative and noncommutative (partial or entire) semigroups including any sub-semigroups of the free monoid $F_n$ on $n$ generators and various quotients. In the case when the (partial) valuation semigroup is finitely generated, w… ▽ More The aim of this paper is to build a theory of commutative and noncommutative injective valuations of various algebras. The targets of our valuations are (well-)ordered commutative and noncommutative (partial or entire) semigroups including any sub-semigroups of the free monoid $F_n$ on $n$ generators and various quotients. In the case when the (partial) valuation semigroup is finitely generated, we construct a generalization of the standard monomial bases for the so-valued algebra, which seems to be new in noncommutative case. Quite remarkably, for any pair of well-ordered valuations one has canonical bijections between the valuation semigroups, which serve as analogs of the celebrated Jordan-Hölder correspondences and these bijections are "almost" homomorphisms of the involved (partial and entire) semigroups. △ Less

Submitted 1 May, 2024; originally announced May 2024.

Comments: Ams LaTeX 72 pages

MSC Class: 16W60; 16Z10; 13F30

A tropical version of Hilbert function

Authors: Dima Grigoriev

Abstract: For a tropical prevariety $V\subset \RR^n$ (being a finite union of rational polyhedra) two tropical polynomials belong to the same congruence class iff they coincide on $V$. We define a tropical Hilbert function $TH_V(k)$ as the dimension of the family of congruence classes of tropical polynomials with tropical degree at most $k$. It is shown that $TH_V(k)$ coincides with a polynomial of degree… ▽ More For a tropical prevariety $V\subset \RR^n$ (being a finite union of rational polyhedra) two tropical polynomials belong to the same congruence class iff they coincide on $V$. We define a tropical Hilbert function $TH_V(k)$ as the dimension of the family of congruence classes of tropical polynomials with tropical degree at most $k$. It is shown that $TH_V(k)$ coincides with a polynomial of degree $\dim V$ for sufficiently big $k$ when $V$ is a polyhedron. For an arbitrary tropical prevariety we formulate it as a conjecture. The conjecture is justified in case $\dim V =0$. △ Less

Submitted 9 April, 2024; originally announced April 2024.

MSC Class: 14T05

A criterion of containment for tropical hypersurfaces

Authors: Dima Grigoriev

Abstract: For tropical $n$-variable polynomials $f, g$ a criterion of containment for tropical hypersurfaces $Trop(f)\subset Trop(g)$ is provided in terms of their Newton polyhedra $N(f), N(g)\subset \mathbb{R}^{n+1}$. Namely, $Trop(f)\subset Trop(g)$ iff for every vertex $v$ of $N(g)$ there exist a homothety $t\cdot N(f), t>0$ and a parallel shift $s:\mathbb{R}^{n+1} \to \mathbb{R}^{n+1}$ such that… ▽ More For tropical $n$-variable polynomials $f, g$ a criterion of containment for tropical hypersurfaces $Trop(f)\subset Trop(g)$ is provided in terms of their Newton polyhedra $N(f), N(g)\subset \mathbb{R}^{n+1}$. Namely, $Trop(f)\subset Trop(g)$ iff for every vertex $v$ of $N(g)$ there exist a homothety $t\cdot N(f), t>0$ and a parallel shift $s:\mathbb{R}^{n+1} \to \mathbb{R}^{n+1}$ such that $v\in s(t\cdot N(f))\subset N(g)$. △ Less

Submitted 1 March, 2024; v1 submitted 28 February, 2024; originally announced February 2024.

MSC Class: 14T05

Identifying Markov chain models from time-to-event data: an algebraic approach

Authors: Ovidiu Radulescu, Dima Grigoriev, Matthias Seiss, Maria Douaihy, Mounia Lagha, Edouard Bertrand

Abstract: Many biological and medical questions can be modeled using time-to-event data in finite-state Markov chains, with the phase-type distribution describing intervals between events. We solve the inverse problem: given a phase-type distribution, can we identify the transition rate parameters of the underlying Markov chain? For a specific class of solvable Markov models, we show this problem has a uniq… ▽ More Many biological and medical questions can be modeled using time-to-event data in finite-state Markov chains, with the phase-type distribution describing intervals between events. We solve the inverse problem: given a phase-type distribution, can we identify the transition rate parameters of the underlying Markov chain? For a specific class of solvable Markov models, we show this problem has a unique solution up to finite symmetry transformations, and we outline a recursive method for computing symbolic solutions for these models across any number of states. Using the Thomas decomposition technique from computer algebra, we further provide symbolic solutions for any model. Interestingly, different models with the same state count but distinct transition graphs can yield identical phase-type distributions. To distinguish among these, we propose additional properties beyond just the time to the next event. We demonstrate the method's applicability by inferring transcriptional regulation models from single-cell transcription imaging data. △ Less

Submitted 15 November, 2024; v1 submitted 6 November, 2023; originally announced November 2023.

MSC Class: 60J28

Tropical cryptography III: digital signatures

Authors: Jiale Chen, Dima Grigoriev, Vladimir Shpilrain

Abstract: We use tropical algebras as platforms for a very efficient digital signature protocol. Security relies on computational hardness of factoring one-variable tropical polynomials; this problem is known to be NP-hard. We use tropical algebras as platforms for a very efficient digital signature protocol. Security relies on computational hardness of factoring one-variable tropical polynomials; this problem is known to be NP-hard. △ Less

Submitted 17 January, 2024; v1 submitted 20 September, 2023; originally announced September 2023.

Comments: 10 pages

BASS: Boolean Automorphisms Signature Scheme

Authors: Dima Grigoriev, Ilia Ilmer, Alexey Ovchinnikov, Vladimir Shpilrain

Abstract: We offer a digital signature scheme using Boolean automorphisms of a multivariate polynomial algebra over integers. Verification part of this scheme is based on the approximation of the number of zeros of a multivariate Boolean function. We offer a digital signature scheme using Boolean automorphisms of a multivariate polynomial algebra over integers. Verification part of this scheme is based on the approximation of the number of zeros of a multivariate Boolean function. △ Less

Submitted 7 September, 2023; v1 submitted 20 June, 2023; originally announced June 2023.

Comments: 10 pages

ACM Class: E.3

Digital signature schemes using non-square matrices or scrap automorphisms

Authors: Jiale Chen, Dima Grigoriev, Vladimir Shpilrain

Abstract: We offer two very transparent digital signature schemes: one using non-square matrices and the other using scrap automorphisms. The former can be easily converted to a public key encryption scheme. We offer two very transparent digital signature schemes: one using non-square matrices and the other using scrap automorphisms. The former can be easily converted to a public key encryption scheme. △ Less

Submitted 20 December, 2023; v1 submitted 15 June, 2023; originally announced June 2023.

Comments: 10 pages

ACM Class: E.3

A tropical version of Hilbert polynomial (in dimension one)

Authors: Nikita Elizarov, Dima Grigoriev

Abstract: For a tropical univariate polynomial $f$ we define its tropical Hilbert function as the dimension of a tropical linear prevariety of solutions of the tropical Macauley matrix of the polynomial up to a (growing) degree. We show that the tropical Hilbert function equals (for sufficiently large degrees) a sum of a linear function and a periodic function with an integer period. The leading coefficient… ▽ More For a tropical univariate polynomial $f$ we define its tropical Hilbert function as the dimension of a tropical linear prevariety of solutions of the tropical Macauley matrix of the polynomial up to a (growing) degree. We show that the tropical Hilbert function equals (for sufficiently large degrees) a sum of a linear function and a periodic function with an integer period. The leading coefficient of the linear function coincides with the tropical entropy of $f$. Also we establish sharp bounds on the tropical entropy. △ Less

Submitted 10 June, 2024; v1 submitted 29 November, 2021; originally announced November 2021.

MSC Class: 14T05

Tropical Newton-Puiseux polynomials II

Authors: Dima Grigoriev

Abstract: Tropical Newton-Puiseux polynomials defined as piece-wise linear functions with rational coefficients at the variables, play a role of tropical algebraic functions. We provide explicit formulas for tropical Newton-Puiseux polynomials being the tropical zeroes of a univariate tropical polynomial with parametric coefficients. Tropical Newton-Puiseux polynomials defined as piece-wise linear functions with rational coefficients at the variables, play a role of tropical algebraic functions. We provide explicit formulas for tropical Newton-Puiseux polynomials being the tropical zeroes of a univariate tropical polynomial with parametric coefficients. △ Less

Submitted 20 October, 2021; originally announced October 2021.

MSC Class: 14T05

Entropy of radical ideal of a tropical prevariety

Authors: Dima Grigoriev

Abstract: The entropy of a tropical ideal is introduced. The radical of a tropical ideal consists of all tropical polynomials vanishing on the tropical prevariety determined by the ideal. We prove that the entropy of the radical of a tropical bivariate polynomial with vanishing coefficients equals zero. Also we prove that the entropy of a zero-dimensional tropical prevariety vanishes. An example of a non-ra… ▽ More The entropy of a tropical ideal is introduced. The radical of a tropical ideal consists of all tropical polynomials vanishing on the tropical prevariety determined by the ideal. We prove that the entropy of the radical of a tropical bivariate polynomial with vanishing coefficients equals zero. Also we prove that the entropy of a zero-dimensional tropical prevariety vanishes. An example of a non-radical tropical ideal having a positive entropy is exhibited. △ Less

Submitted 29 November, 2020; v1 submitted 13 July, 2020; originally announced July 2020.

MSC Class: 14T05 ACM Class: G.2.1

Entropy of tropical holonomic sequences

Authors: Dima Grigoriev

Abstract: We introduce tropical holonomic sequences of a given order and calculate their entropy in case of the second order. We introduce tropical holonomic sequences of a given order and calculate their entropy in case of the second order. △ Less

Submitted 24 April, 2020; v1 submitted 11 March, 2020; originally announced March 2020.

MSC Class: 14T05

Efficiently and Effectively Recognizing Toricity of Steady State Varieties

Authors: Dima Grigoriev, Alexandru Iosif, Hamid Rahkooy, Thomas Sturm, Andreas Weber

Abstract: We consider the problem of testing whether the points in a complex or real variety with non-zero coordinates form a multiplicative group or, more generally, a coset of a multiplicative group. For the coset case, we study the notion of shifted toric varieties which generalizes the notion of toric varieties. This requires a geometric view on the varieties rather than an algebraic view on the ideals.… ▽ More We consider the problem of testing whether the points in a complex or real variety with non-zero coordinates form a multiplicative group or, more generally, a coset of a multiplicative group. For the coset case, we study the notion of shifted toric varieties which generalizes the notion of toric varieties. This requires a geometric view on the varieties rather than an algebraic view on the ideals. We present algorithms and computations on 129 models from the BioModels repository testing for group and coset structures over both the complex numbers and the real numbers. Our methods over the complex numbers are based on Gröbner basis techniques and binomiality tests. Over the real numbers we use first-order characterizations and employ real quantifier elimination. In combination with suitable prime decompositions and restrictions to subspaces it turns out that almost all models show coset structure. Beyond our practical computations, we give upper bounds on the asymptotic worst-case complexity of the corresponding problems by proposing single exponential algorithms that test complex or real varieties for toricity or shifted toricity. In the positive case, these algorithms produce generating binomials. In addition, we propose an asymptotically fast algorithm for testing membership in a binomial variety over the algebraic closure of the rational numbers. △ Less

Submitted 15 April, 2020; v1 submitted 9 October, 2019; originally announced October 2019.

Comments: We made the presentation clearer and fixed many small flaws and typos. A database with our computations is now available as ancillary file

MSC Class: 14Q20 (Primary); 14P05; 92C42 (Secondary)

Journal ref: Math. Comput. Sci., 15(2):199-232, Jun 2021

Key-agreement based on automaton groups

Authors: Rostislav Grigorchuk, Dima Grigoriev

Abstract: We suggest several automaton groups as key-agreement platforms for Anshl-Anshel-Goldfeld metascheme, they include Grigorchuk and universal Grigorchuk groups, Hanoi 3-Towers group, Basilica group and a subgroup of the affine group with the unsolvable conjugacy problem We suggest several automaton groups as key-agreement platforms for Anshl-Anshel-Goldfeld metascheme, they include Grigorchuk and universal Grigorchuk groups, Hanoi 3-Towers group, Basilica group and a subgroup of the affine group with the unsolvable conjugacy problem △ Less

Submitted 8 May, 2019; originally announced May 2019.

MSC Class: 20B27 ACM Class: F.2.2; E.3

On a tropical version of the Jacobian conjecture

Authors: Dima Grigoriev, Danylo Radchenko

Abstract: We prove for a tropical rational map that if for any point the convex hull of Jacobian matrices at smooth points in a neighborhood of the point does not contain singular matrices then the map is an isomorphism. We also show that a tropical polynomial map on the plane is an isomorphism if all the Jacobians have the same sign (positive or negative). In addition, for a tropical rational map we prove… ▽ More We prove for a tropical rational map that if for any point the convex hull of Jacobian matrices at smooth points in a neighborhood of the point does not contain singular matrices then the map is an isomorphism. We also show that a tropical polynomial map on the plane is an isomorphism if all the Jacobians have the same sign (positive or negative). In addition, for a tropical rational map we prove that if the Jacobians have the same sign and if its preimage is a singleton at least at one regular point then the map is an isomorphism. △ Less

Submitted 20 February, 2019; originally announced February 2019.

MSC Class: 14T05

Decomposing tropical rational functions

Authors: Dima Grigoriev

Abstract: An algorithm is designed which decomposes a tropical univariate rational function into a composition of tropical binomials and trinomials. When a function is monotone, the composition consists just of binomials. Similar algorithms are designed for decomposing tropical algebraic rational functions being (in the classical language) piece-wise linear functions with rational slopes of their linear pie… ▽ More An algorithm is designed which decomposes a tropical univariate rational function into a composition of tropical binomials and trinomials. When a function is monotone, the composition consists just of binomials. Similar algorithms are designed for decomposing tropical algebraic rational functions being (in the classical language) piece-wise linear functions with rational slopes of their linear pieces. In addition, we provide a criterion when the composition of two tropical polynomials commutes (for classical polynomials a similar question was answered by J.~Ritt). △ Less

Submitted 1 March, 2019; v1 submitted 4 January, 2019; originally announced January 2019.

MSC Class: 14T05

Tropical recurrent sequences

Authors: Dima Grigoriev

Abstract: Tropical recurrent sequences are introduced satisfying a given vector (being a tropical counterpart of classical linear recurrent sequences). We consider the case when Newton polygon of the vector has a single (bounded) edge. In this case there are periodic tropical recurrent sequences which are similar to classical linear recurrent sequences. A question is studied when there exists a non-periodic… ▽ More Tropical recurrent sequences are introduced satisfying a given vector (being a tropical counterpart of classical linear recurrent sequences). We consider the case when Newton polygon of the vector has a single (bounded) edge. In this case there are periodic tropical recurrent sequences which are similar to classical linear recurrent sequences. A question is studied when there exists a non-periodic tropical recurrent sequence satisfying a given vector, and partial answers are provided to this question. Also an algorithm is designed which tests existence of non-periodic tropical recurrent sequences satisfying a given vector with integer coordinates. Finally, we introduce a tropical entropy of a vector and provide some bounds on it. △ Less

Submitted 4 February, 2020; v1 submitted 27 July, 2018; originally announced July 2018.

Comments: it is described when the entropy is positive

MSC Class: 14T05

Complexity of deciding whether a tropical linear prevariety is a tropical variety

Authors: Dima Grigoriev, Nicolai Vorobjov

Abstract: We give an algorithm, with a singly exponential complexity, deciding whether a tropical linear prevariety is a tropical linear variety. The algorithm relies on a criterion to be a tropical linear variety in terms of a duality between the tropical orthogonalization $A^\perp$ and the double tropical orthogonalization $A^{\perp \perp}$ of a subset $A$ of the vector space… ▽ More We give an algorithm, with a singly exponential complexity, deciding whether a tropical linear prevariety is a tropical linear variety. The algorithm relies on a criterion to be a tropical linear variety in terms of a duality between the tropical orthogonalization $A^\perp$ and the double tropical orthogonalization $A^{\perp \perp}$ of a subset $A$ of the vector space $({\mathbb R} \cup \{ \infty \})^n$. We also give an example of a countable family of tropical hyperplanes such that their intersection is not a tropical prevariety. △ Less

Submitted 26 September, 2019; v1 submitted 2 March, 2018; originally announced March 2018.

Comments: 15 pages

MSC Class: 14T05

Probabilistic solution of Yao's millionaires' problem

Authors: Mariya Bessonov, Dima Grigoriev, Vladimir Shpilrain

Abstract: We offer a probabilistic solution of Yao's millionaires' problem that gives correct answer with probability (slightly) less than 1 but on the positive side, this solution does not use any one-way functions. We offer a probabilistic solution of Yao's millionaires' problem that gives correct answer with probability (slightly) less than 1 but on the positive side, this solution does not use any one-way functions. △ Less

Submitted 27 November, 2017; originally announced November 2017.

Comments: 10 pages

MSC Class: 60J20; 94A60

Upper bounds on Betti numbers of tropical prevarieties

Authors: Dima Grigoriev, Nicolai Vorobjov

Abstract: We prove upper bounds on the sum of Betti numbers of tropical prevarieties in dense and sparse settings. In the dense setting the bound is in terms of the volume of Minkowski sum of Newton polytopes of defining tropical polynomials, or, alternatively, via the maximal degree of these polynomials. In sparse setting, the bound involves the number of the monomials. We prove upper bounds on the sum of Betti numbers of tropical prevarieties in dense and sparse settings. In the dense setting the bound is in terms of the volume of Minkowski sum of Newton polytopes of defining tropical polynomials, or, alternatively, via the maximal degree of these polynomials. In sparse setting, the bound involves the number of the monomials. △ Less

Submitted 9 March, 2018; v1 submitted 25 September, 2017; originally announced September 2017.

Comments: 9 pages. Upper bounds are slightly improved

MSC Class: 14T05

Tropical Combinatorial Nullstellensatz and Sparse Polynomials

Authors: Dima Grigoriev, Vladimir V. Podolskii

Abstract: Tropical algebra emerges in many fields of mathematics such as algebraic geometry, mathematical physics and combinatorial optimization. In part, its importance is related to the fact that it makes various parameters of mathematical objects computationally accessible. Tropical polynomials play a fundamental role in this, especially for the case of algebraic geometry. On the other hand, many algebra… ▽ More Tropical algebra emerges in many fields of mathematics such as algebraic geometry, mathematical physics and combinatorial optimization. In part, its importance is related to the fact that it makes various parameters of mathematical objects computationally accessible. Tropical polynomials play a fundamental role in this, especially for the case of algebraic geometry. On the other hand, many algebraic questions behind tropical polynomials remain open. In this paper we address four basic questions on tropical polynomials closely related to their computational properties: 1. Given a polynomial with a certain support (set of monomials) and a (finite) set of inputs, when is it possible for the polynomial to vanish on all these inputs? 2. A more precise question, given a polynomial with a certain support and a (finite) set of inputs, how many roots can this polynomial have on this set of inputs? 3. Given an integer $k$, for which $s$ there is a set of $s$ inputs such that any non-zero polynomial with at most $k$ monomials has a non-root among these inputs? 4. How many integer roots can have a one variable polynomial given by a tropical algebraic circuit? In the classical algebra well-known results in the direction of these questions are Combinatorial Nullstellensatz due to N. Alon, J. Schwartz - R. Zippel Lemma and Universal Testing Set for sparse polynomials respectively. The classical analog of the last question is known as $τ$-conjecture due to M. Shub - S. Smale. In this paper we provide results on these four questions for tropical polynomials. △ Less

Submitted 25 April, 2019; v1 submitted 31 May, 2017; originally announced June 2017.

Tropical Newton-Puiseux polynomials

Authors: Dima Grigoriev

Abstract: We introduce tropical Newton-Puiseux polynomials admitting rational exponents. A resolution of a tropical hypersurface is defined by means of a tropical Newton-Puiseux polynomial. A polynomial complexity algorithm for resolubility of a tropical curve is designed. The complexity of resolubility of tropical prevarieties of arbitrary codimensions is studied. Tropical Newton-Puiseux rational functions… ▽ More We introduce tropical Newton-Puiseux polynomials admitting rational exponents. A resolution of a tropical hypersurface is defined by means of a tropical Newton-Puiseux polynomial. A polynomial complexity algorithm for resolubility of a tropical curve is designed. The complexity of resolubility of tropical prevarieties of arbitrary codimensions is studied. Tropical Newton-Puiseux rational functions are introduced, and we prove that any tropical polynomial has a resolution in tropical Newton-Puiseux rational functions (this can be treated as a tropical analog of the algebraic closedness of the field of Newton-Puiseux series). △ Less

Submitted 27 August, 2018; v1 submitted 12 April, 2017; originally announced April 2017.

Comments: Conference Computer Algebra in Scientific Computing, Lille. 2018, Lect. Notes Comput. Sci. vol. 11077

MSC Class: 14T05 14M25

Journal ref: Lect. Notes Comput. Sci, 2018, vol. 11077, p. 177-186

On semiring complexity of Schur polynomials

Authors: Sergey Fomin, Dima Grigoriev, Dorian Nogneng, Eric Schost

Abstract: Semiring complexity is the version of arithmetic circuit complexity that allows only two operations: addition and multiplication. We show that when the number of variables is fixed, the semiring complexity of a Schur polynomial $s_λ$ is $O(log(λ_1))$; here $λ_1$ is the largest part of the partition $λ$. Semiring complexity is the version of arithmetic circuit complexity that allows only two operations: addition and multiplication. We show that when the number of variables is fixed, the semiring complexity of a Schur polynomial $s_λ$ is $O(log(λ_1))$; here $λ_1$ is the largest part of the partition $λ$. △ Less

Submitted 19 May, 2018; v1 submitted 17 August, 2016; originally announced August 2016.

Comments: 22 pages, final version, to appear in Computational Complexity. Section 4 rewritten per referee's suggestion, to make the argument more explicit

MSC Class: 68Q25; 05E05

Bounds on the number of connected components for tropical prevarieties

Authors: Alex Davydow, Dima Grigoriev

Abstract: For a tropical prevariety in ${R}^n$ given by a system of $k$ tropical polynomials in $n$ variables with degrees at most $d$, we prove that its number of connected components is less than ${k+7n-1 \choose 3n} \cdot \frac{d^{3n}}{k+n+1}$. On a number of $0$-dimensional connected components a better bound ${k+4n \choose 3n} \cdot \frac{d^n}{k+n+1}$ is obtained, which extends the Bezout bound due to… ▽ More For a tropical prevariety in ${R}^n$ given by a system of $k$ tropical polynomials in $n$ variables with degrees at most $d$, we prove that its number of connected components is less than ${k+7n-1 \choose 3n} \cdot \frac{d^{3n}}{k+n+1}$. On a number of $0$-dimensional connected components a better bound ${k+4n \choose 3n} \cdot \frac{d^n}{k+n+1}$ is obtained, which extends the Bezout bound due to B.~Sturmfels from the the case $k=n$ to an arbitrary $k\ge n$. Also we show that the latter bound is close to sharp, in particular, the number of connected components can depend on $k$. △ Less

Submitted 20 November, 2015; originally announced November 2015.

MSC Class: 14T05

Journal ref: Discr. Comput. Geom., 2017, vol. 57, p. 470-493

Polynomial complexity recognizing a tropical linear variety

Authors: Dima Grigoriev

Abstract: A polynomial complexity algorithm is designed which tests whether a point belongs to a given tropical linear variety. A polynomial complexity algorithm is designed which tests whether a point belongs to a given tropical linear variety. △ Less

Submitted 20 March, 2015; originally announced March 2015.

MSC Class: 15T05 ACM Class: I.1.2

Journal ref: Lect. Notes Comput. Sci., 2015, vol. 9301, p. 152-157

Model reduction of biochemical reactions networks by tropical analysis methods

Authors: Ovidiu Radulescu, Sergei Vakulenko, Dima Grigoriev

Abstract: We discuss a method of approximate model reduction for networks of biochemical reactions. This method can be applied to networks with polynomial or rational reaction rates and whose parameters are given by their orders of magnitude. In order to obtain reduced models we solve the problem of tropical equilibration that is a system of equations in max-plus algebra. In the case of networks with nonlin… ▽ More We discuss a method of approximate model reduction for networks of biochemical reactions. This method can be applied to networks with polynomial or rational reaction rates and whose parameters are given by their orders of magnitude. In order to obtain reduced models we solve the problem of tropical equilibration that is a system of equations in max-plus algebra. In the case of networks with nonlinear fast cycles we have to solve the problem of tropical equilibration at least twice, once for the initial system and a second time for an extended system obtained by adding to the initial system the differential equations satisfied by the conservation laws of the fast subsystem. The two steps can be reiterated until the fast subsystem has no conservation laws different from the ones of the full model. Our method can be used for formal model reduction in computational systems biology. △ Less

Submitted 26 May, 2015; v1 submitted 4 March, 2015; originally announced March 2015.

Tropical differential equations

Authors: Dima Grigoriev

Abstract: Tropical differential equations are introduced and an algorithm is designed which tests solvability of a system of tropical linear differential equations within the complexity polynomial in the size of the system and in its coefficients. Moreover, we show that there exists a minimal solution, and the algorithm constructs it (in case of solvability). This extends a similar complexity bound establis… ▽ More Tropical differential equations are introduced and an algorithm is designed which tests solvability of a system of tropical linear differential equations within the complexity polynomial in the size of the system and in its coefficients. Moreover, we show that there exists a minimal solution, and the algorithm constructs it (in case of solvability). This extends a similar complexity bound established for tropical linear systems. In case of tropical linear differential systems in one variable a polynomial complexity algorithm for testing its solvability is designed. We prove also that the problem of solvability of a system of tropical non-linear differential equations in one variable is $NP$-hard, and this problem for arbitrary number of variables belongs to $NP$. Similar to tropical algebraic equations, a tropical differential equation expresses the (necessary) condition on the dominant term in the issue of solvability of a differential equation in power series. △ Less

Submitted 27 February, 2015; originally announced February 2015.

MSC Class: 14T05 ACM Class: I.1.2

Journal ref: Adv. Appl. Math., 2017, vol. 82, p. 120-128

Tropical Effective Primary and Dual Nullstellensätze

Authors: Dima Grigoriev, Vladimir V. Podolskii

Abstract: Tropical algebra is an emerging field with a number of applications in various areas of mathematics. In many of these applications appeal to tropical polynomials allows to study properties of mathematical objects such as algebraic varieties and algebraic curves from the computational point of view. This makes it important to study both mathematical and computational aspects of tropical polynomials… ▽ More Tropical algebra is an emerging field with a number of applications in various areas of mathematics. In many of these applications appeal to tropical polynomials allows to study properties of mathematical objects such as algebraic varieties and algebraic curves from the computational point of view. This makes it important to study both mathematical and computational aspects of tropical polynomials. In this paper we prove a tropical Nullstellensatz and moreover we show an effective formulation of this theorem. Nullstellensatz is a natural step in building algebraic theory of tropical polynomials and its effective version is relevant for computational aspects of this field. On our way we establish a simple formulation of min-plus and tropical linear dualities. We also observe a close connection between tropical and min-plus polynomial systems. △ Less

Submitted 4 June, 2015; v1 submitted 22 September, 2014; originally announced September 2014.

Subtraction-free complexity, cluster transformations, and spanning trees

Authors: Sergey Fomin, Dima Grigoriev, Gleb Koshevoy

Abstract: Subtraction-free computational complexity is the version of arithmetic circuit complexity that allows only three operations: addition, multiplication, and division. We use cluster transformations to design efficient subtraction-free algorithms for computing Schur functions and their skew, double, and supersymmetric analogues, thereby generalizing earlier results by P. Koev. We develop such alg… ▽ More Subtraction-free computational complexity is the version of arithmetic circuit complexity that allows only three operations: addition, multiplication, and division. We use cluster transformations to design efficient subtraction-free algorithms for computing Schur functions and their skew, double, and supersymmetric analogues, thereby generalizing earlier results by P. Koev. We develop such algorithms for computing generating functions of spanning trees, both directed and undirected. A comparison to the lower bound due to M. Jerrum and M. Snir shows that in subtraction-free computations, "division can be exponentially powerful." Finally, we give a simple example where the gap between ordinary and subtraction-free complexity is exponential. △ Less

Submitted 28 September, 2014; v1 submitted 31 July, 2013; originally announced July 2013.

Comments: 30 pages. Version 4: Section 8 edited. Version 3: Section 8 is new. Version 2: title changed; Section 7 is new; comparison with the Jerrum-Snir lower bound added

MSC Class: 68Q25; 05E05; 13F60

Tropicalization and tropical equilibration of chemical reactions

Authors: Vincent Noel, Dima Grigoriev, Sergei Vakulenko, Ovidiu Radulescu

Abstract: Systems biology uses large networks of biochemical reactions to model the functioning of biological cells from the molecular to the cellular scale. The dynamics of dissipative reaction networks with many well separated time scales can be described as a sequence of successive equilibrations of different subsets of variables of the system. Polynomial systems with separation are equilibrated when at… ▽ More Systems biology uses large networks of biochemical reactions to model the functioning of biological cells from the molecular to the cellular scale. The dynamics of dissipative reaction networks with many well separated time scales can be described as a sequence of successive equilibrations of different subsets of variables of the system. Polynomial systems with separation are equilibrated when at least two monomials, of opposite signs, have the same order of magnitude and dominate the others. These equilibrations and the corresponding truncated dynamics, obtained by eliminating the dominated terms, find a natural formulation in tropical analysis and can be used for model reduction. △ Less

Submitted 27 May, 2013; v1 submitted 16 March, 2013; originally announced March 2013.

Comments: 13 pages, 1 figure, workshop Tropical-12, Moskow, August 26-31, 2012; in press Contemporary Mathematics

Tropical cryptography

Authors: Dima Grigoriev, Vladimir Shpilrain

Abstract: We employ tropical algebras as platforms for several cryptographic schemes that would be vulnerable to linear algebra attacks were they based on "usual" algebras as platforms. We employ tropical algebras as platforms for several cryptographic schemes that would be vulnerable to linear algebra attacks were they based on "usual" algebras as platforms. △ Less

Submitted 7 January, 2013; originally announced January 2013.

Comments: 9 pages

MSC Class: 15A80; 94A60

Effective Hironaka resolution and its Complexity (with appendix on applications in positive characteristic)

Authors: Edward Bierstone, Dima Grigoriev, Pierre Milman, Jaroslaw Wlodarczyk

Abstract: Building upon works of Hironaka, Bierstone-Milman, Villamayor and Wlodarczyk, we give an a priori estimate for the complexity of the simplified Hironaka algorithm. As a consequence of this result, we show that there exists canonical Hironaka embedded desingularization and principalization over fields of large characteristic (relative to the degrees of generating polynomials). Building upon works of Hironaka, Bierstone-Milman, Villamayor and Wlodarczyk, we give an a priori estimate for the complexity of the simplified Hironaka algorithm. As a consequence of this result, we show that there exists canonical Hironaka embedded desingularization and principalization over fields of large characteristic (relative to the degrees of generating polynomials). △ Less

Submitted 14 June, 2012; originally announced June 2012.

Comments: 1 figure. arXiv admin note: substantial text overlap with arXiv:math/0401401

Complexity of tropical and min-plus linear prevarieties

Authors: Dima Grigoriev, Vladimir V. Podolskii

Abstract: A tropical (or min-plus) semiring is a set $\mathbb{Z}$ (or $\mathbb{Z \cup \{\infty\}}$) endowed with two operations: $\oplus$, which is just usual minimum, and $\odot$, which is usual addition. In tropical algebra the vector $x$ is a solution to a polynomial $g_1(x) \oplus g_2(x) \oplus...\oplus g_k(x)$, where $g_i(x)$'s are tropical monomials, if the minimum in $\min_i(g_{i}(x))$ is attained at… ▽ More A tropical (or min-plus) semiring is a set $\mathbb{Z}$ (or $\mathbb{Z \cup \{\infty\}}$) endowed with two operations: $\oplus$, which is just usual minimum, and $\odot$, which is usual addition. In tropical algebra the vector $x$ is a solution to a polynomial $g_1(x) \oplus g_2(x) \oplus...\oplus g_k(x)$, where $g_i(x)$'s are tropical monomials, if the minimum in $\min_i(g_{i}(x))$ is attained at least twice. In min-plus algebra solutions of systems of equations of the form $g_1(x)\oplus...\oplus g_k(x) = h_1(x)\oplus...\oplus h_l(x)$ are studied. In this paper we consider computational problems related to tropical linear system. We show that the solvability problem (both over $\mathbb{Z}$ and $\mathbb{Z} \cup \{\infty\}$) and the problem of deciding the equivalence of two linear systems (both over $\mathbb{Z}$ and $\mathbb{Z} \cup \{\infty\}$) are equivalent under polynomial-time reduction to mean payoff games and are also equivalent to analogous problems in min-plus algebra. In particular, all these problems belong to $\mathsf{NP} \cap \mathsf{coNP}$. Thus we provide a tight connection of computational aspects of tropical linear algebra with mean payoff games and min-plus linear algebra. On the other hand we show that computing the dimension of the solution space of a tropical linear system and of a min-plus linear system are $\mathsf{NP}$-complete. We also extend some of our results to the systems of min-plus linear inequalities. △ Less

Submitted 20 April, 2012; originally announced April 2012.

Comments: 36 pages

Tropical geometries and dynamics of biochemical networks. Application to hybrid cell cycle models

Authors: Vincent Noel, Dima Grigoriev, Sergei Vakulenko, Ovidiu Radulescu

Abstract: We use the Litvinov-Maslov correspondence principle to reduce and hybridize networks of biochemical reactions. We apply this method to a cell cycle oscillator model. The reduced and hybridized model can be used as a hybrid model for the cell cycle. We also propose a practical recipe for detecting quasi-equilibrium QE reactions and quasi-steady state QSS species in biochemical models with rational… ▽ More We use the Litvinov-Maslov correspondence principle to reduce and hybridize networks of biochemical reactions. We apply this method to a cell cycle oscillator model. The reduced and hybridized model can be used as a hybrid model for the cell cycle. We also propose a practical recipe for detecting quasi-equilibrium QE reactions and quasi-steady state QSS species in biochemical models with rational rate functions and use this recipe for model reduction. Interestingly, the QE/QSS invariant manifold of the smooth model and the reduced dynamics along this manifold can be put into correspondence to the tropical variety of the hybridization and to sliding modes along this variety, respectively △ Less

Submitted 20 September, 2011; v1 submitted 19 September, 2011; originally announced September 2011.

Comments: conference SASB 2011, to be published in Electronic Notes in Theoretical Computer Science

On a tropical dual Nullstellensatz

Authors: Dima Grigoriev

Abstract: Since a tropical Nullstellensatz fails even for tropical univariate polynomials we study a conjecture on a tropical {\it dual} Nullstellensatz for tropical polynomial systems in terms of solvability of a tropical linear system with the Cayley matrix associated to the tropical polynomial system. The conjecture on a tropical effective dual Nullstellensatz is proved for tropical univariate polynomial… ▽ More Since a tropical Nullstellensatz fails even for tropical univariate polynomials we study a conjecture on a tropical {\it dual} Nullstellensatz for tropical polynomial systems in terms of solvability of a tropical linear system with the Cayley matrix associated to the tropical polynomial system. The conjecture on a tropical effective dual Nullstellensatz is proved for tropical univariate polynomials. △ Less

Submitted 2 August, 2011; originally announced August 2011.

Construction of universal Thom-Whitney-a stratifications, their functoriality and Sard-type Theorem for singular varieties

Authors: D. Grigoriev, P. Milman

Abstract: {\bf Construction.} For a dominating polynomial mapping {$F: K^n\to K^l$} with an isolated critical value at 0 ($K$ an algebraically closed field of characteristic zero) we construct a closed {\it bundle} $G_F \subset T^{*}K^n $. We restrict $ G_F $ over the critical points $Sing(F)$ of $ F$ in $ F^{-1}(0)$ and partition $Sing(F)$ into {\it 'quasistrata'} of points with the fibers of $G_F$ of co… ▽ More {\bf Construction.} For a dominating polynomial mapping {$F: K^n\to K^l$} with an isolated critical value at 0 ($K$ an algebraically closed field of characteristic zero) we construct a closed {\it bundle} $G_F \subset T^{*}K^n $. We restrict $ G_F $ over the critical points $Sing(F)$ of $ F$ in $ F^{-1}(0)$ and partition $Sing(F)$ into {\it 'quasistrata'} of points with the fibers of $G_F$ of constant dimension. It turns out that T-W-a (Thom and Whitney-a) stratifications 'near' $F^{-1}(0)$ exist iff the fibers of bundle $G_F$ are orthogonal to the tangent spaces at the smooth points of the quasistrata (e. g. when $ l=1$). Also, the latter are the orthogonal complements over an irreducible component $ S $ of a quasistratum only if $S $ is {\bf universal} for the class of {T-W-a} stratifications, meaning that for any $\{S_j'\}_j $ in the class, $ \Sing (F) = \cup_j S'_j $, there is a component $S' $ of an $ S_j' $ with $S\cap S'$ being open and dense in both $S $ and $ S' $. {\bf Results.} We prove that T-W-a stratifications with only universal strata exist iff all fibers of $G_F$ are the orthogonal complements to the respective tangent spaces to the quasistrata, and then the partition of $\Sing(F)$ by the latter yields the coarsest {\it universal T-W-a stratification}. The key ingredient is our version of {\bf Sard-type Theorem for singular spaces} in which a singular point is considered to be noncritical iff nonsingular points nearby are 'uniformly noncritical' (e. g. for a dominating map $ F: X \to Z $ meaning that the sum of the absolute values of the $l\times l$ minors of the Jacobian matrix of $ F $, where $ l = \dim (Z) $, not only does not vanish but, moreover, is separated from zero by a positive constant). △ Less

Submitted 9 July, 2009; v1 submitted 9 November, 2008; originally announced November 2008.

MSC Class: 14J17; 14J60; 14Q20

Non-holonomic Ideals in the Plane and Absolute Factoring

Authors: D. Grigoriev, F. Schwarz

Abstract: We study {\it non-holonomic} overideals of a left differential ideal $J\subset F[\partial_x, \partial_y]$ in two variables where $F$ is a differentially closed field of characteristic zero. The main result states that a principal ideal $J=< P>$ generated by an operator $P$ with a separable {\it symbol} $symb(P)$, which is a homogeneous polynomial in two variables, has a finite number of maximal… ▽ More We study {\it non-holonomic} overideals of a left differential ideal $J\subset F[\partial_x, \partial_y]$ in two variables where $F$ is a differentially closed field of characteristic zero. The main result states that a principal ideal $J=< P>$ generated by an operator $P$ with a separable {\it symbol} $symb(P)$, which is a homogeneous polynomial in two variables, has a finite number of maximal non-holonomic overideals. This statement is extended to non-holonomic ideals $J$ with a separable symbol. As an application we show that in case of a second-order operator $P$ the ideal $<P>$ has an infinite number of maximal non-holonomic overideals iff $P$ is essentially ordinary. In case of a third-order operator $P$ we give few sufficient conditions on $<P>$ to have a finite number of maximal non-holonomic overideals. △ Less

Submitted 9 November, 2008; originally announced November 2008.

MSC Class: 35A25; 35C05; 35G05

Analogue of Newton-Puiseux series for non-holonomic D-modules and factoring

Authors: D. Grigoriev

Abstract: We introduce a concept of a fractional-derivatives series and prove that any linear partial differential equation in two independent variables has a fractional-derivatives series solution with coefficients from a differentially closed field of zero characteristic. The obtained results are extended from a single equation to $D$-modules having infinite-dimensional space of solutions (i. e. non-hol… ▽ More We introduce a concept of a fractional-derivatives series and prove that any linear partial differential equation in two independent variables has a fractional-derivatives series solution with coefficients from a differentially closed field of zero characteristic. The obtained results are extended from a single equation to $D$-modules having infinite-dimensional space of solutions (i. e. non-holonomic $D$-modules). As applications we design algorithms for treating first-order factors of a linear partial differential operator, in particular for finding all (right or left) first-order factors. △ Less

Submitted 9 November, 2008; originally announced November 2008.

MSC Class: 35C10; 35D05; 68W30

Complexity of Janet basis of a D-module

Authors: Alexander Chistov, Dima Grigoriev

Abstract: We prove a double-exponential upper bound on the degree and on the complexity of constructing a Janet basis of a $D$-module. This generalizes a well known bound on the complexity of a Gröbner basis of a module over the algebra of polynomials. We would like to emphasize that the obtained bound can not be immediately deduced from the commutative case. We prove a double-exponential upper bound on the degree and on the complexity of constructing a Janet basis of a $D$-module. This generalizes a well known bound on the complexity of a Gröbner basis of a module over the algebra of polynomials. We would like to emphasize that the obtained bound can not be immediately deduced from the commutative case. △ Less

Submitted 10 April, 2007; originally announced April 2007.

MSC Class: 68W40

Constructions in public-key cryptography over matrix groups

Authors: Dimitri Grigoriev, Ilia Ponomarenko

Abstract: The purpose of the paper is to give new key agreement protocols (a multi-party extension of the protocol due to Anshel-Anshel-Goldfeld and a generalization of the Diffie-Hellman protocol from abelian to solvable groups) and a new homomorphic public-key cryptosystem. They rely on difficulty of the conjugacy and membership problems for subgroups of a given group. To support these and other known c… ▽ More The purpose of the paper is to give new key agreement protocols (a multi-party extension of the protocol due to Anshel-Anshel-Goldfeld and a generalization of the Diffie-Hellman protocol from abelian to solvable groups) and a new homomorphic public-key cryptosystem. They rely on difficulty of the conjugacy and membership problems for subgroups of a given group. To support these and other known cryptographic schemes we present a general technique to produce a family of instances being matrix groups (over finite commutative rings) which play a role for these schemes similar to the groups $Z\_n^*$ in the existing cryptographic constructions like RSA or discrete logarithm. △ Less

Submitted 10 June, 2005; originally announced June 2005.

Report number: 2005-19

Polynomial-time computing over quadratic maps I: sampling in real algebraic sets

Authors: Dima Grigoriev, Dmitrii V. Pasechnik

Abstract: Given a quadratic map Q : K^n -> K^k defined over a computable subring D of a real closed field K, and a polynomial p(Y_1,...,Y_k) of degree d, we consider the zero set Z=Z(p(Q(X)),K^n) of the polynomial p(Q(X_1,...,X_n)). We present a procedure that computes, in (dn)^O(k) arithmetic operations in D, a set S of (real univariate representations of) sampling points in K^n that intersects nontrivia… ▽ More Given a quadratic map Q : K^n -> K^k defined over a computable subring D of a real closed field K, and a polynomial p(Y_1,...,Y_k) of degree d, we consider the zero set Z=Z(p(Q(X)),K^n) of the polynomial p(Q(X_1,...,X_n)). We present a procedure that computes, in (dn)^O(k) arithmetic operations in D, a set S of (real univariate representations of) sampling points in K^n that intersects nontrivially each connected component of Z. As soon as k=o(n), this is faster than the standard methods that all have exponential dependence on n in the complexity. In particular, our procedure is polynomial-time for constant k. In contrast, the best previously known procedure (due to A.Barvinok) is only capable of deciding in n^O(k^2) operations the nonemptiness (rather than constructing sampling points) of the set Z in the case of p(Y)=sum_i Y_i^2 and homogeneous Q. A by-product of our procedure is a bound (dn)^O(k) on the number of connected components of Z. The procedure consists of exact symbolic computations in D and outputs vectors of algebraic numbers. It involves extending K by infinitesimals and subsequent limit computation by a novel procedure that utilizes knowledge of an explicit isomorphism between real algebraic sets. △ Less

Submitted 31 December, 2004; v1 submitted 6 March, 2004; originally announced March 2004.

Comments: 34 pages, LaTeX (Computational Complexity (cc.cls) class used); updated version, to appear in Comp. Complexity

ACM Class: I.1.2; G.1.5

Journal ref: Computational Complexity 14(2005) 20-52