Related papers: *-Continuous Kleene $\omega$-Algebras for Energy P…
Within the C*-algebraic framework of the resolvent algebra for canonical quantum systems, the structure of oscillating lattice systems with bounded nearest neighbor interactions is studied in any number of dimensions. The global dynamics of…
Recent results by Harrow et. al. and by Ta-Shma, suggest that quantum computers may have an exponential advantage in solving a wealth of linear algebraic problems, over classical algorithms. Building on the quantum intuition of these…
We introduce new methods for the numerical solution of general Hamiltonian boundary value problems. The main feature of the new formulae is to produce numerical solutions along which the energy is precisely conserved, as is the case with…
An algebraic technique adapted to the problems of the fundamental theoretical physics is presented. The exposition is an elaboration and an extension of the methods proposed in previous works by the aut
We study vertex algebras and their modules associated with possibly degenerate even lattices, using an approach somewhat different from others. Several known results are recovered and a number of new results are obtained. We also study…
Analytical tools to $K$-theory; namely, self-stabilization of rapidly decreasing matrices, linearization of cyclic loops, and the contractibility of the pointed stable Toeplitz algebra are discussed in terms of concrete formulas. Adaptation…
Kleene algebras with tests (KATs) offer sound, complete, and decidable equational reasoning about regularly structured programs. Interest in KATs has increased greatly since NetKAT demonstrated how well extensions of KATs with…
A linear algebraic method named the shifted conjugate-orthogonal-conjugate-gradient method is introduced for large-scale electronic structure calculation. The method gives an iterative solver algorithm of the Green's function and the…
A novel algebra underlying integrable systems is shown to generate and unify a large class of quantum integrable models with given $R$-matrix, through reductions of an ancestor Lax operator and its different realizations. Along with known…
Kleene algebra (KA) is an important tool for reasoning about general program equivalences, with a decidable and complete equational theory. However, KA cannot always prove equivalences between specific programs. For this purpose, one adds…
We prove new well-posedness results for energy-critical nonlinear Schr\"odinger equations in modulation spaces. This covers initial data with infinite mass and energy. The proof is carried out via bilinear refinements and adapted function…
Certain completely logarithmic formula for a set of reversely iterated integrals (energies) is proved in this paper. Namely, in this case we have that integral powers of $\ln T$ are contained on input as well as on output of corresponding…
We formulate the notion of continuous evolution algebra in terms of differentiable matrix-valued functions, to then study those such algebras arising as solutions of ODE problems. Given their dependence on natural bases, matrix Lie groups…
In this paper, using the theory developed in [8], we obtain some results of a totally new type about a class of non-local problems. Here is a sample: Let $\Omega\subset {\bf R}^n$ be a smooth bounded domain, with $n\geq 4$, let $a, b,…
Effect algebras are a generalization of many structures which arise in quantum physics and in mathematical economics. We show that, in every modular Archimedean atomic lattice effect algebra $E$ that is not an orthomodular lattice there…
We study an elliptic system coupled by Monge-Amp\`{e}re equations: \begin{center} $\left\{ \begin{array}{ll} det~D^{2}u_{1}={(-u_{2})}^\alpha, & \hbox{in $\Omega,$} det~D^{2}u_{2}={(-u_{1})}^\beta, & \hbox{in $\Omega,$} u_{1}<0, u_{2}<0,&…
We develop K$\omega$, an open-source linear algebra library for the shifted Krylov subspace methods. The methods solve a set of shifted linear equations $(z_k I-H)x^{(k)}=b\, (k=0,1,2,...)$ for a given matrix $H$ and a vector $b$,…
In this letter, we derive minimum-energy controls for a broad class of control-affine systems using a Lagrange multiplier fixed-point equation and a generally non-symmetric Gramian-like matrix. In feasible coercivity classes, this fixed…
We study a class of overdetermined algebraic systems of equations. We prove that the number of distinct solutions equals to the maximal possible if and only if certain matrices are commuting and semisimple. This gives a characterization of…
Effective matrix methods for solving standard linear algebra problems in a commutative domains are discussed. Two of them are new. There are a methods for computing adjoined matrices and solving system of linear equations in a commutative…