# Hend Dawood

## Senior Lecturer of Computational Mathematics

Department of Mathematics, Faculty of Science, Cairo University, Giza 12613, Egypt. (email)

Department of Mathematics, Faculty of Science, Cairo University, Giza 12613, Egypt. (email)

Showing results in 'Publications'. Show all posts

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.

Interval arithmetic is a fundamental and reliable mathematical machinery for scientific computing and for addressing uncertainty in general. In order to apply interval mathematics to real life uncertainty problems, one needs a computerized (machine) version thereof, and so, this article is devoted to some mathematical notions concerning the algebraic system of machine interval arithmetic. After formalizing some purely mathematical ingredients of particular importance for the purpose at hand, we give formal characterizations of the algebras of real intervals and machine intervals along with describing the need for interval computations to cope with uncertainty problems. Thereupon, we prove some algebraic and order-theoretic results concerning the structure of machine intervals.

keywords: Interval mathematics, Machine interval arithmetic, Outward rounding, Floating-point arithmetic, Machine monotonicity, Dense orders, Orderability of intervals, Symmetricity, Singletonicity, Subdistributive semiring, S-semiring.

Progress in scientific knowledge discloses an increasingly paramount use of quantifiable properties in the description of states and processes of the real-world physical systems. Through our encounters with the physical world, it reveals itself to us as systems of uncertain quantifiable properties. One approach proved to be most fundamental and reliable in coping with quantifiable uncertainties is interval mathematics. A main drawback of interval mathematics, though, is the persisting problem known as the "interval dependency problem". This, naturally, confronts us with the question: Formally, what is interval dependency? Is it a meta-concept or an object-ingredient of interval and fuzzy computations? In other words, what is the fundamental defining properties that characterize the notion of interval dependency as a formal mathematical object? Since the early works on interval mathematics by John Charles Burkill and Rosalind Cecily Young in the dawning of the twentieth century, this question has never been touched upon and remained a question still today unanswered. Although the notion of interval dependency is widely used in the interval and fuzzy literature, it is only illustrated by example, without explicit formalization, and no attempt has been made to put on a systematic basis its meaning, that is, to indicate formally the criteria by which it is to be characterized. Here, we attempt to answer this long-standing question. This article, therefore, is devoted to presenting a complete systematic formalization of the notion of interval dependency, by means of the notions of Skolemization and quantification dependence. A novelty of this formalization is the expression of interval dependency as a logical predicate (or relation) and thereby gaining the advantage of deducing its fundamental properties in a merely logical manner. Moreover, on the strength of the generality of the logical apparatus we adopt, the results of this article are not only about classical intervals, but they are meant to apply also to any possible theory of interval arithmetic. That being so, our concern is to shed new light on some fundamental problems of interval mathematics and to take one small step towards paving the way for developing alternate dependency-aware interval theories and computational methods.

Keywords: Interval mathematics; Interval dependency; Functional dependence; Skolemization; Guaranteed bounds; Interval enclosures; Interval functions; Quantifiable uncertainty; Scientific knowledge; Reliability; Fuzzy mathematics; InCLosure.

Interval arithmetic has been proved to be very subtle, reliable, and most fundamental in addressing uncertainty and imprecision. However, the theory of classical interval arithmetic and all its alternates suffer from algebraic anomalies, and all have difficulties with interval dependency. A theory of interval arithmetic that seems promising is the theory of parametric intervals. The theory of parametric intervals is presented in the literature with the zealous claim that it provides a radical solution to the long-standing dependency problem in the classical interval theory, along with the claim that parametric interval arithmetic, unlike Moore's classical interval arithmetic, has additive and multiplicative inverse elements, and satisfies the distributive law. So, does the theory of parametric intervals accomplish these very desirable objectives? Here it is argued that it does not.

Keywords: Interval mathematics, Classical interval arithmetic, Parametric interval arithmetic, Constrained interval arithmetic, Overestimation-free interval arithmetic, Interval dependency, Functional dependence, Dependency predicate, Interval enclosures, S-semiring, Uncertainty, Reliability.

- Abstract algebra (2)
- Algebra (2)
- Axiomatics (9)
- Book (2)
- Bounding Error (2)
- Cardinality (3)
- Categoricity (4)
- Chapter (1)
- CLisp (2)
- Common Lisp (2)
- Complex analysis (1)
- Computer Algebra (3)
- Computer Science (11)
- Consistency (4)
- Dense Orders (1)
- Dependence logic (2)
- Dissertation (1)
- Errors (1)
- Formal logic (9)
- Hend Dawood (6)
- InCL (5)
- InCLosure (7)
- InCLosure v1.0 (1)
- Interval Analysis (16)
- Interval arithmetic (13)
- Interval lattice (1)
- Interval Mathematics (14)
- Lisp (2)
- Mathematics (11)
- Metalogic (9)
- Metamathematics (11)
- Modal intervals (3)
- Model theory (7)
- Order theory (8)
- Ordinal power (2)
- Outward Rounding (1)
- PDF (3)
- Proof theory (7)
- Publication (3)
- Ray tracing (1)
- Real Analysis (9)
- Real Functions (4)
- Reliability (6)
- Rounding Error (2)
- S-Field (1)
- S-field algebra (3)
- S-Semiring (4)
- Semantics (9)
- Set theory (2)
- Singletonicity (1)
- Skolemization (4)
- Software (2)
- Subdistributive Semiring (4)
- Symmetricity (1)
- Thesis (1)
- Total order (3)
- Uncertainty (8)
- Well order (2)