Related papers: *-Continuous Kleene $\omega$-Algebras for Energy P…
We obtain new omega results for the error terms in two classical lattice point problems. These results are likely to be the best possible.
The Kirchberg Embedding Problem (KEP) asks if every C*-algebra embeds into an ultrapower of the Cuntz algebra $\mathcal{O}_2$. In an effort to provide a negative solution to the KEP and motivated by the recent refutation of the Connes…
This article presents a new approach to the real-time solution of inverse problems on embedded systems. The class of problems addressed corresponds to ordinary differential equations (ODEs) with generalized linear constraints, whereby the…
We give a construction which produces a positive energy representation of the affine Lie algebra of type A_n from the Stokes data of a solution of the tt*-Toda equations of type A_n. The construction appears to play a role in conformal…
We propose Kleene algebra with domain (KAD), an extension of Kleene algebra with two equational axioms for a domain and a codomain operation, respectively. KAD considerably augments the expressiveness of Kleene algebra, in particular for…
Methods from learning theory are used in the state space of linear dynamical and control systems in order to estimate the system matrices. An application to stabilization via algebraic Riccati equations is included. The approach is…
Upper bound limit analysis allows one to evaluate directly the ultimate load of structures without performing a cumbersome incremental analysis. In order to numerically apply this method to thin plates in bending, several authors have…
We consider operator-algebraic dynamical systems given by actions of the real line on unital $C^*$-algebras, and especially the equilibrium states (or KMS states) of such systems. We are particularly interested in systems built from the…
The finite element method is a well-established method for the numerical solution of partial differential equations (PDEs), both linear and nonlinear. However, the repeated reassemblage of finite element matrices for nonlinear PDEs is…
Given a discrete set $\Lambda$ in the plane (we will also say a {\em lattice}) and a real number $m\ge 0$, the renormalized energy introduced in \cite{ss1} heuristically describes the interaction energy of unit charges placed at the points…
We extend a previously studied lattice model of particles with infinite repulsions to the case of finite energy interactions. The phase diagram is studied using grand canonical Monte Carlo simulation. Simulations of dynamical phenomena are…
We consider integrable open chain models formulated in terms of generators of affine Hecke algebras. The hierarchy of commutative elements (which are analogs of the commutative transfer-matrices) are constructed by using the fusion…
We introduce a relaxation of the notion of tensor rank, called s-rank, and show that upper bounds on the s-rank of the matrix multiplication tensor imply upper bounds on the ordinary rank. In particular, if the "s-rank exponent of matrix…
A new convenient method of describing flat convex compact sets is proposed. It generalizes classical trigonometric functions $\sin$ and $\cos$. Apparently, this method may be very useful for explicit description of solutions of optimal…
We consider the non-linear thermoelastic plate equation in rectangular domains $\Omega$. More precisely, $\Omega$ is considered to be given as the Cartesian product of whole or half spaces and a cube. First the linearized equation is…
In this paper we investigate overdetermined systems of scalar PDEs on the plane with one common characteristic, whose general solution depends on 1 function of 1 variable. We describe linearization of such systems and their integration via…
An exactly solvable position-dependent mass Schr\"odinger equation in two dimensions, depicting a particle moving in a semi-infinite layer, is re-examined in the light of recent theories describing superintegrable two-dimensional systems…
This paper gives a concise introduction into the basic theory of {\omega}-automata (as of March 2014). The starting point are the different types of recurrence conditions, modes of operation (deterministic, nondeterministic, alternating…
We exhibit a uniform method for obtaining (wellfounded and non-wellfounded) cut-free sequent-style proof systems that are sound and complete for various classes of action algebras, i.e., Kleene algebras enriched with meets and residuals.…
Finding optimal solutions to combinatorial optimization problems is pivotal in both scientific and technological domains, within academic research and industrial applications. A considerable amount of effort has been invested in the…