No abstract

No abstract

Let A be a commutative ring with 1≠0 and R=A×A. The unit dot product graph of R is defined to be the undirected graph UD(R) with the multiplicative group of units in R, denoted by U(R), as its vertex set. Two distinct vertices x and y are adjacent if and only if x·y=0∈A, where x·y denotes the normal dot product of x and y. In 2016, Abdulla studied this graph when $A=\mathbb {Z}_{n}$ A = ℤ n , $n \in \mathbb {N}$ n ∈ ℕ , n≥2. Inspired by this idea, we study this graph when A has a finite multiplicative group of units. We define the congruence unit dot product graph of R to be the undirected graph CUD(R) with the congruent classes of the relation $\thicksim $ ∽ defined on R as its vertices. Also, we study the domination number of the total dot product graph of the ring $R=\mathbb {Z}_{n}\times... \times \mathbb {Z}_{n}$ R = ℤ n × ... × ℤ n , k times and k<∞, where all elements of the ring are vertices and adjacency of two distinct vertices is the same as in UD(R). We find an upper bound of the domination number of this graph improving that found by Abdulla.

No abstract

Acquiring reliable knowledge amidst uncertainty is a topical issue of modern science. Interval mathematics has proved to be of central importance in coping with uncertainty and imprecision. Algorithmic differentiation, being superior to both numeric and symbolic differentiation, is nowadays one of the most celebrated techniques in the field of computational mathematics. In this connexion, laying out a concrete theory of interval differentiation arithmetic, combining subtlety of ordinary algorithmic differentiation with power and reliability of interval mathematics, can extend real differentiation arithmetic so markedly both in method and objective, and can so far surpass it in power as well as applicability. This article is intended to lay out a systematic theory of dyadic interval differentiation numbers that wholly addresses first and higher order automatic derivatives under uncertainty. We begin by axiomatizing a differential interval algebra and then we present the notion of an interval extension of a family of real functions, together with some analytic notions of interval functions. Next, we put forward an axiomatic theory of interval differentiation arithmetic, as a two-sorted extension of the theory of a differential interval algebra, and provide the proofs for its categoricity and consistency. Thereupon, we investigate the ensuing structure and show that it constitutes a multiplicatively non-associative S-semiring in which multiplication is subalternative and flexible. Finally, we show how to computationally realize interval automatic differentiation. Many examples are given, illustrating automatic differentiation of interval functions and families of real functions.