242,768 research outputs found
The Use of Proof Plans to Sum Series
We describe a program for finding closed form solutions to finite sums. The program was built to test the applicability of the proof planning search control technique in a domain of mathematics outwith induction. This experiment was successful. The series summing program extends previous work in this area and was built in a short time just by providing new series summing methods to our existing inductive theorem proving system CLAM.
One surprising discovery was the usefulness of the ripple tactic in summing series. Rippling is the key tactic for controlling inductive proofs, and was previously thought to be specialised to such proofs. However, it turns out to be the key sub-tactic used by all the main tactics for summing series. The only change required was that it had to be supplemented by a difference matching algorithm to set up some initial meta-level annotations to guide the rippling process. In inductive proofs these annotations are provided by the application of mathematical induction. This evidence suggests that rippling, supplemented by difference matching, will find wide application in controlling mathematical proofs.
The research reported in this paper was supported by SERC grant GR/F/71799, a SERC PostDoctoral Fellowship to the first author and a SERC Senior Fellowship to the third author. We would like to thank the other members of the mathematical reasoning group for their feedback on this project
Compound Poisson and signed compound Poisson approximations to the Markov binomial law
Compound Poisson distributions and signed compound Poisson measures are used
for approximation of the Markov binomial distribution. The upper and lower
bound estimates are obtained for the total variation, local and Wasserstein
norms. In a special case, asymptotically sharp constants are calculated. For
the upper bounds, the smoothing properties of compound Poisson distributions
are applied. For the lower bound estimates, the characteristic function method
is used.Comment: Published in at http://dx.doi.org/10.3150/09-BEJ246 the Bernoulli
(http://isi.cbs.nl/bernoulli/) by the International Statistical
Institute/Bernoulli Society (http://isi.cbs.nl/BS/bshome.htm
On the minimal ramification problem for -groups
Let p be a prime number. It is not known if every finite p-group of rank n>1
can be realized as a Galois group over Q with no more than n ramified primes.
We prove that this can be done for the family of finite p-groups which contains
all the cyclic groups of p-power order, and is closed under direct products,
wreath products, and rank preserving homomorphic images. This family contains
the Sylow p-subgroups of the symmetric groups and of the classical groups over
finite fields of characteristic not p. On the other hand, it does not contain
all finite p-groups.Comment: 8 pages. Note added at the en
- …