Related papers: Some notes on the abstraction operation for Multi-…
One-body multipole operators are defined as irreducible representations of rotational symmetry together with spatial-inversion and time-reversal symmetries, providing a systematic framework for classifying electronic internal degrees of…
We present a new approach for performing predicate abstraction based on symbolic decision procedures. Intuitively, a symbolic decision procedure for a theory takes a set of predicates in the theory and symbolically executes a decision…
We consider blind, deterministic, finite automata equipped with a register which stores an element of a given monoid, and which is modified by right multiplication by monoid elements. We show that, for monoids M drawn from a large class…
The success of software model checking depends on finding an appropriate abstraction of the subject program. The choice of the abstract domain and the analysis configuration is currently left to the user, who may not be familiar with the…
This paper studies value iteration for infinite horizon contracting Markov decision processes under convexity assumptions and when the state space is uncountable. The original value iteration is replaced with a more tractable form and the…
The criterion of differentiability of functions of quaternion variable is used as the basis of some algebraic field theory. Its necessary consequences are free Maxwell and Yang-Mills equations. The differentiability equations may be…
We claim that $M$(atroid) theory may provide a mathematical framework for an underlying description of $M$-theory. Duality is the key symmetry which motivates our proposal. The definition of an oriented matroid in terms of the Farkas…
Many results on the convex order in the literature were stated for random variables with finite mean. For instance, a fundamental result in dependence modeling is that the sum of a pair of random random variables is upper bounded in convex…
We develop a calculable analytic approach to marginal deformations in open string field theory using wedge states with operator insertions. For marginal operators with regular operator products, we construct analytic solutions to all orders…
In proving large deviation estimates, the lower bound for open sets and upper bound for compact sets are essentially local estimates. On the other hand, the upper bound for closed sets is global and compactness of space or an exponential…
We introduce a formalism based on a combinatorial notion of cell complex subject to an inclusion-reversing duality operation. Our main goal is to open the way for a functorial definition of field theories in a context where no manifold or…
We study the detail derivation of the multiple D2-brane effective action from multiple M2-branes in the Bagger-Lambert-Gustavsson (BLG) theory and the Aharony-Bergman-Jafferis-Maldacena (ABJM) theory by employing the novel Higgs mechanism.…
Motivated by recent appearance of multivalued structures in categorification, tropical geometry and other areas, we study basic properties of abstract multisemigroups. We give many new and old examples and general constructions for…
The growing interest in explainable artificial intelligence (XAI) for critical decision making motivates the need for interpretable machine learning (ML) models. In fact, due to their structure (especially with small sizes), these models…
We develop a general theory of multilinear singular integrals with operator-valued kernels, acting on tuples of UMD Banach spaces. This, in particular, involves investigating multilinear variants of the $\mathcal R$-boundedness condition…
A planning domain, as any model, is never complete and inevitably makes assumptions on the environment's dynamic. By allowing the specification of just one domain model, the knowledge engineer is only able to make one set of assumptions,…
In the paper a new sufficient condition for the Aubin property to a class of parameterized variational systems is derived. In these systems the constraints depend both on the parameter as well as on the decision variable itself and they…
We study a generalized motion planning problem involving multiple autonomous robots navigating in a $d$-dimensional Euclidean space in the presence of a set of obstacles whose positions are unknown a priori. Each robot is required to visit…
We are searching for the action principle for multiple M0-brane (multiple M-wave or mM0) system starting from the mM0 equations of motion obtained in the frame of superembedding approach. Surprisingly, the way from these equations to the…
In a previous paper, a tableau calculus has been presented, which constitute a decision procedure for hybrid logic with the converse and global modalities and a restricted use of the binder. This work extends such a calculus to multi-modal…