English
Related papers

Related papers: Solving Linear Systems over Idempotent Semifields …

200 papers

Following the works by Lin et al. (Circuits Syst. Signal Process. 20(6): 601-618, 2001) and Liu et al. (Circuits Syst. Signal Process. 30(3): 553-566, 2011), we investigate how to factorize a class of multivariate polynomial matrices. The…

Symbolic Computation · Computer Science 2019-05-29 Dong Lu , Dingkang Wang , Fanghui Xiao

New algorithm for finding longest increasing subsequence is discussed. This algorithm is based on the ideas of idempotent mathematics and uses Max-Plus idempotent semiring. Problem of finding longest increasing sub- sequence is reformulated…

Data Structures and Algorithms · Computer Science 2014-09-11 Anatoly Rodionov

In [2] a new factorization for infinite Hessenberg banded matrices was introduced. In this note we prove that this kind of factorization can also be used for finite matrices. In addition, a new method for solving banded linear systems is…

Numerical Analysis · Mathematics 2021-11-05 D. Barrios Rolanía , J. C. García-Ardila

It is well known that any nonsingular M-matrix admits an LU factorization into M-matrices (with L and U lower and upper triangular respectively) and any singular M-matrix is permutation similar to an M-matrix which admits an LU…

Rings and Algebras · Mathematics 2007-05-23 Judith J. McDonald , Hans Schneider

In this paper we study the semilinear partial differential equations in the plane the linear part of which is written in a divergence form. The main result is given as a factorization theorem. This theorem states that every weak solution of…

Complex Variables · Mathematics 2017-11-02 Vladimir Gutlyanskii , Olga Nesmelova , Vladimir Ryazanov

We develop several notions of multiplicity for linear factors of multivariable polynomials over different arithmetics (hyperfields). The key example is multiplicities over the hyperfield of signs, which encapsulates the arithmetic of…

Algebraic Geometry · Mathematics 2023-07-19 Andreas Gross , Trevor Gunn

In this note we discuss a variant of linear logic with idempotent exponential modalities. We propose a sequent calculus system and discuss its semantics. We also give a concrete relational model for this calculus.

Logic in Computer Science · Computer Science 2014-07-23 Sergey Slavnov

We discuss how matrix factorizations offer a practical method of computing the quiver and associated superpotential for a hypersurface singularity. This method also yields explicit geometrical interpretations of D-branes (i.e., quiver…

High Energy Physics - Theory · Physics 2015-05-18 Paul S. Aspinwall , David R. Morrison

In this paper, we present methods for solving a system of linear equations, $ AX=b $, over tropical semirings. To this end, if possible, we first reduce the order of the system through some row-column analysis, and obtain a new system with…

Commutative Algebra · Mathematics 2019-06-26 Sedighe Jamshidvand , Shaban Ghalandarzadeh , Amirhossein Amiraslani , Fateme Olia

This article generalizes a recently introduced procedure to solve nonlinear systems of equations, radically departing from the conventional Newton-Raphson scheme. The original nonlinear system is first unfolded into three simpler…

Numerical Analysis · Mathematics 2014-07-24 Antonio Gómez-Expósito

Motivated by some recent developments in abstract theories of quadratic forms, we start to develop in this work an expansion of Linear Algebra to multivalued structures (a multialgebraic structure is essentially an algebraic structure but…

We define a formal framework for the study of algebras of type Max-plus, Min-Plus, tropical algebras, and more generally algebras over a commutative idempotent semi-field. This work is motivated by the increasingly diversified use of these…

Commutative Algebra · Mathematics 2008-07-22 Dominique Castella

We obtain closed-form solutions of several inhomogeneous Lienard equations by the factorization method. The two factorization conditions involved in the method are turned into a system of first-order differential equations containing the…

Exactly Solvable and Integrable Systems · Physics 2021-05-13 O. Cornejo-Perez , S. C. Mancas , H. C. Rosu , C. A. Rico-Olvera

Branes and defects in topological Landau-Ginzburg models are described by matrix factorisations. We revisit the problem of deforming them and discuss various deformation methods as well as their relations. We have implemented these…

High Energy Physics - Theory · Physics 2012-06-28 Nils Carqueville , Laura Dowdy , Andreas Recknagel

Hierarchical matrices (usually abbreviated ${\mathcal H}$-matrices) are frequently used to construct preconditioners for systems of linear equations. Since it is possible to compute approximate inverses or $LU$ factorizations in ${\mathcal…

Numerical Analysis · Mathematics 2014-02-24 Steffen Börm , Jessica Gördes

Preconditioning for overdetermined least-squares problems has received comparatively little attention, and designing methods that are both effective and memory-efficient remains challenging. We propose a class of ILU-based preconditioners…

Numerical Analysis · Mathematics 2026-03-31 Jennifer Scott , Miroslav Tůma

In this article, we establish a class of new accelerated modulus-based iteration methods for solving the linear complementarity problem. When the system matrix is an $H_+$-matrix, we present appropriate criteria for the convergence…

Optimization and Control · Mathematics 2023-05-05 Bharat Kumar , Deepmala , A. K. Das

This paper is concerned with factor left prime factorization problems for multivariate polynomial matrices without full row rank. We propose a necessary and sufficient condition for the existence of factor left prime factorizations of a…

Symbolic Computation · Computer Science 2020-10-15 Dong Lu , Dingkang Wang , Fanghui Xiao

An algebraic approach for factorizing nonlinear partial differential equations (PDEs) and systems of PDEs is provided. In the particular case of second order linear and nonlinear PDEs and systems of PDEs, necessary and sufficient conditions…

Analysis of PDEs · Mathematics 2011-07-26 Mahouton Norbert Hounkonnou , Pascal Dkengne Sielenou

Non-linear polynomial systems over finite fields are used to model functional behavior of cryptosystems, with applications in system security, computer cryptography, and post-quantum cryptography. Solving polynomial systems is also one of…

Logic in Computer Science · Computer Science 2023-10-20 Thomas Hader , Daniela Kaufmann , Laura Kovács