Related papers: *-Continuous Kleene $\omega$-Algebras for Energy P…
Algebraic multigrid (AMG) methods are powerful solvers with linear or near-linear computational complexity for certain classes of linear systems, Ax=b. Broadening the scope of problems that AMG can effectively solve requires the development…
We investigate the cosmological dynamics of interacting dark energy within the framework of $\alpha$-attractor models. Specifically, we analyze the associated autonomous system, focusing on its fixed points that represent dark energy and…
In the present paper, we introduce a multi-type calculus for the logic of measurable Kleene algebras, for which we prove soundness, completeness, conservativity, cut elimination and subformula property. Our proposal imports ideas and…
We define a deformed kinetic energy operator for a discrete position space with a finite number of points. The structure may be either periodic or nonperiodic with well-defined end points. It is shown that for the nonperiodic case the…
A method is given to obtain closed form formulas for the energy and forces for an aggregate of charges interacting via a logarithmic interaction under periodic boundary conditions. The work done here is a generalization of Glasser's results…
The modeling and control of networks over finite lattices are studied via the algebraic state space approach. Using the semi-tensor product of matrices, we obtain the algebraic state space representation of the dynamics of (control)…
We consider the problem of matrix completion on an $n \times m$ matrix. We introduce the problem of Interpretable Matrix Completion that aims to provide meaningful insights for the low-rank matrix using side information. We show that the…
We introduce an abstract setting that allows to discuss wave equations with time-dependent boundary conditions by means of operator matrices. We show that such problems are well-posed if and only if certain perturbations of the same…
This paper is devoted to study the following degenerate Monge-Amp\`ere equation: \begin{eqnarray}\label{ab1} \begin{cases} \det D^2 u=\Lambda_q (-u)^q \quad \text{in}\quad \Omega,\\ u=0 \quad\text{on}\quad \partial\Omega \end{cases}…
Constrained mechanical multibody systems arise in many important applications like robotics, vehicle and machinery dynamics and biomechanics of locomotion of humans. These systems are described by the Euler-Lagrange equations which are…
New iterative methods for solving linear equations are presented that are easy to use, generalize good existing methods, and appear to be faster. The new algorithms mix two kinds of linear recurrence formulas. Older methods have either high…
In this paper, we first introduce a lower bound technique for the state complexity of transformations of automata. Namely we suggest first considering the class of full automata in lower bound analysis, and later reducing the size of the…
It is argued that cosmological models that feature a flow of energy from dark energy to dark matter may solve the coincidence problem of late acceleration (i.e., "why the energy densities of both components are of the same order precisely…
Astronomical measurements of the Omegas for mass density, cosmological constant lambda and curvature k are shown to be sufficient to produce a unique and detailed cosmological model describing dark energy influences based on the Friedman…
Maxmin-$\omega$ dynamical systems were previously introduced as a generalization of dynamical systems expressed by tropical linear algebra. To describe steady states of such systems one has to study an eigenproblem of the form…
A novel general framework for the study of $\Gamma$-convergence of functionals defined over pairs of measures and energy-measures is introduced. This theory allows us to identify the $\Gamma$-limit of these kind of functionals by knowing…
We give some experimental observations on the growth of the norm of certain matrices related to the Mertens function. The results obtained in these experiments convince us that linear algebra may help in the study of Mertens function and…
A multidimensional extremal problem in the idempotent algebra setting is considered which consists in minimizing a nonlinear functional defined on a finite-dimensional semimodule over an idempotent semifield. The problem integrates two…
The paper describes two iterative algorithms for solving general systems of M simultaneous linear algebraic equations (SLAE) with real matrices of coefficients. The system can be determined, underdetermined, and overdetermined. Linearly…
The solution of systems of non-autonomous linear ordinary differential equations is crucial in a variety of applications, such us nuclear magnetic resonance spectroscopy. A new method with spectral accuracy has been recently introduced in…