56,742 research outputs found
DOMAIN THEORY AND INTEGRATION
We present a domain-theoretic framework for measure theory and integration of bounded real-valued functions with respect to bounded Borel measures on compact metric spaces. The set of normalised Borel measures of the metric space can be embedded into the maximal elements of the normalised probabilistic power domain of its upper space. Any bounded Borel measure on the compact metric space can then be obtained as the least upper bound of an !-chain of linear combinations of point valuations (simple valuations) on the upper space, thus providing a constructive setup for these measures. We use this setting to define a new notion of integral of a bounded real-valued function with respect to a bounded Borel measure on a compact metric space. By using an !-chain of simple valuations, whose lub is the given Borel measure, we can then obtain increasingly better approximations to the value of the integral, similar to the way the Riemann integral is obtained in calculus by using step functions. ..
Recognising the small Ree groups in their natural representations
We present Las Vegas algorithms for constructive recognition and constructive
membership testing of the Ree groups 2G_2(q) = Ree(q), where q = 3^{2m + 1} for
some m > 0, in their natural representations of degree 7. The input is a
generating set X.
The constructive recognition algorithm is polynomial time given a discrete
logarithm oracle. The constructive membership testing consists of a
pre-processing step, that only needs to be executed once for a given X, and a
main step. The latter is polynomial time, and the former is polynomial time
given a discrete logarithm oracle.
Implementations of the algorithms are available for the computer algebra
system MAGMA
An algorithm for lifting points in a tropical variety
The aim of this paper is to give a constructive proof of one of the basic
theorems of tropical geometry: given a point on a tropical variety (defined
using initial ideals), there exists a Puiseux-valued ``lift'' of this point in
the algebraic variety. This theorem is so fundamental because it justifies why
a tropical variety (defined combinatorially using initial ideals) carries
information about algebraic varieties: it is the image of an algebraic variety
over the Puiseux series under the valuation map. We have implemented the
``lifting algorithm'' using Singular and Gfan if the base field are the
rational numbers. As a byproduct we get an algorithm to compute the Puiseux
expansion of a space curve singularity in (K^{n+1},0).Comment: 33 page
A constructive method for decomposing real representations
A constructive method for decomposing finite dimensional representations of
semisimple real Lie algebras is developed. The method is illustrated by an
example. We also discuss an implementation of the algorithm in the language of
the computer algebra system {\sf GAP}4.Comment: Final version; to appear in "Journal of Symbolic Computation
An additive subfamily of enlargements of a maximally monotone operator
We introduce a subfamily of additive enlargements of a maximally monotone
operator. Our definition is inspired by the early work of Simon Fitzpatrick.
These enlargements constitute a subfamily of the family of enlargements
introduced by Svaiter. When the operator under consideration is the
subdifferential of a convex lower semicontinuous proper function, we prove that
some members of the subfamily are smaller than the classical
-subdifferential enlargement widely used in convex analysis. We also
recover the epsilon-subdifferential within the subfamily. Since they are all
additive, the enlargements in our subfamily can be seen as structurally closer
to the -subdifferential enlargement
- …