Related papers: Tropical linear algebra with the Lukasiewicz T-nor…

A matrix $A$ is said to have $X$-simple image eigenspace if any eigenvector $x$ belonging to the interval $X=\{x\colon \underline{x}\leq x\leq\overline{x}\}$ is the unique solution of the system $A\otimes y=x$ in $X$. The main result of…

This paper aims at connecting the various classes that provide an algebraic semantics for three different conservative expansions of Lukasiewicz logic, using algebraic and category-theoretical techniques. We connect such classes of algebras…

This paper proposes a tropical geometry-based edge detection framework that reformulates convolution and gradient computations using min-plus and max-plus algebra. The tropical formulation emphasizes dominant intensity variations,…

We introduce the class of split regular Hom-Leibniz algebras as the natural generalization of split Leibniz algebras and split regular Hom-Lie algebras. By developing techniques of connections of roots for this kind of algebras, we show…

We establish sharp Trudinger-Moser inequalities with logarithmic weights for the $k$-Hessian equation and investigate the existence of maximizers. Our analysis extends the classical results of Tian and Wang to $k$-admissible function spaces…

Maximal abelian subalgebras of one of the classical real inhomogeneous Lie algebras are constructed, namely those of the pseudoeuclidean Lie algebra e(p,q). Use is made of the semidirect sum structure of e(p,q) with the translations T(p+q)…

Linear typed $\lambda$-calculi are more delicate than their simply typed siblings when it comes to metatheoretic results like preservation of typing under renaming and substitution. Tracking the usage of variables in contexts places more…

We establish new results concerning projectors on max-plus spaces, as well as separating half-spaces, and derive an explicit formula for the distance in Hilbert's projective metric between a point and a half-space over the max-plus…

The objective of this paper is to develop a general algebraic theory of supertropical matrix algebra, extending [11]. Our main results are as follows: * The tropical determinant (i.e., permanent) is multiplicative when all the determinants…

We introduce and study the notion of maximal tracial algebras. We prove several results in a general setting based on dual pairs and multiplier pairs. In a special case that X is a Banach space we determine the abelian subalgebras of B(X)…

We study the theory of equations in one variable over polyhedral semirings. The article revolves around a notion of solution to a polynomial equation over a polyhedral semiring. Our main results are a characterisation of local solutions in…

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…

The entropic barrier, studied by Bubeck and Eldan (Proc. Mach. Learn. Research, 2015), is a self-concordant barrier with asymptotically optimal self-concordance parameter. In this paper, we study the tropicalization of the central path…

Thrall's problem asks for the Schur decomposition of the higher Lie modules $\mathcal{L}_\lambda$, which are defined using the free Lie algebra and decompose the tensor algebra as a general linear group module. Although special cases have…

Corrected trapezoidal rules are proved for $\int_a^b f(x)\,dx$ under the assumption that $f"\in L^p([a,b])$ for some $1\leq p\leq\infty$. Such quadrature rules involve the trapezoidal rule modified by the addition of a term…

A tropical version of Nevanlinna theory is described in which the role of meromorphic functions is played by continuous piecewise linear functions of a real variable whose one-sided derivatives are integers at every point. These functions…

We study the subgroup structure of the semigroup of finitary tropical matrices under multiplication. We show that every maximal subgroup is isomorphic to the full linear automorphism group of a related tropical polytope, and that each of…

This paper is a survey on universal algorithms for solving the matrix Bellman equations over semirings and especially tropical and idempotent semirings. However, original algorithms are also presented. Some applications and software…

This book has seven chapters. In chapter one we give the basics needed to make this book a self contained one. Chapter two introduces the notion of interval semigroups and interval semifields and are algebraically analysed. Chapter three…

The paper has a form of a talk on the given topic. It consists of three parts. The first part of the paper contains main notions, the second one is devoted to logical geometry, the third part describes types and isotypeness. The problems…