Related papers: An Example of a Right Loop Admitting Only Discrete…
A joint characterisation of the controllability and observability of a particular kind of discrete system has been developed. The key idea of the procedure can be reduced to a correct choice of the sampling sequence. This freedom, owing to…
We consider left shift transform S on the space $X=\Sigma^{\mathbb Z}$ of two-sided sequences over a compact alphabet $\Sigma$. We give an important and sufficient condition on $x \in X$ which guarantees the restriction of S onto orbit…
Although little can be gleaned about a loop with the property that its squares are, say, left nuclear ($xx\cdot yz = (xx\cdot y)z$), if its squares are also, say, middle nuclear ($(x\cdot yy)z = x(yy\cdot z)$), then the loop exhibits more…
Given an affine Poisson algebra, that is singular one may ask whether there is an associated symplectic form. In the smooth case the answer is obvious: for the symplectic form to exist the Poisson tensor has to be invertible. In the…
We present precision Monte Carlo data and analytic arguments for an asymmetric exclusion process, involving two species of particles driven in opposite directions on a $2 \times L$ lattice. We propose a scenario which resolves a stark…
We introduce a method to construct conservation laws for a large class of linear partial differential equations. In contrast to the classical result of Noether, the conserved currents are generated by any symmetry of the operator, including…
Plausible reasoning concerns situations whose inherent lack of precision is not quantified; that is, there are no degrees or levels of precision, and hence no use of numbers like probabilities. A hopefully comprehensive set of principles…
Smooth projective $\mathbb{G}_m$-varieties with isolated rational fixed points admit Tate Milnor-Witt motives. Over Euclidean fields, we give a splitting formula of such motives, which reduces the computation of their Chow-Witt groups to…
We introduce a type and effect system, for an imperative object calculus, which infers "sharing" possibly introduced by the evaluation of an expression, represented as an equivalence relation among its free variables. This direct…
Computability logic (CL) (see http://www.cis.upenn.edu/~giorgi/cl.html ) is a research program for redeveloping logic as a formal theory of computability, as opposed to the formal theory of truth which it has more traditionally been.…
We discuss a new approach to describe mesoscopic systems, based on the ideas of quantum electrical circuits with charge discreteness. This approach has allowed us to propose a simple alternative descriptions of some mesoscopic systems, with…
In this work we propose a new, arbitrary order space-time finite element discretisation for Hamiltonian PDEs in multisymplectic formulation. We show that the new method which is obtained by using both continuous and discontinuous…
We introduce a notion of entropy for automorphisms of discrete groups which admit amenable actions on a compact space. This entropy is dual to classical topological entropy in the sense that if G is discrete and abelian then our notion of…
It is shown that the factorization relation on simple Lie groups with standard Poisson Lie structure restricted to Coxeter symplectic leaves gives an integrable dynamical system. This system can be regarded as a discretization of the Toda…
We revisit an algorithm by Skeel et al. for computing the modified, or shadow, energy associated with the symplectic discretization of Hamiltonian systems. By rephrasing the algorithm as a Richardson extrapolation scheme arbitrary high…
We treat interpolation for various logics.
Reasoning about exceptions in ontologies is nowadays one of the challenges the description logics community is facing. The paper describes a preferential approach for dealing with exceptions in Description Logics, based on the rational…
A variation on the splitting principle
We present the proof of the one loop renormalizability in the strict field theoretic sense of the Poisson-Lie sigma models. The result is valid for any Drinfeld double and it relies solely on the Poisson-Lie structure encoded in the target…
Let (M,\omega) be a four dimensional compact connected symplectic manifold. We prove that (M,\omega) admits only finitely many inequivalent Hamiltonian effective 2-torus actions. Consequently, if M is simply connected, the number of…