Recurrence interval statistics of cellular automaton seismicity models

The recurrence interval statistics for regional seismicity follows a universal distribution function, independent of the tectonic setting or average rate of activity (Corral, 2004). The universal function is a modified gamma distribution with power-law scaling of recurrence intervals shorter than the average rate of activity and exponential decay for larger intervals. We employ the method of Corral (2004) to examine the recurrence statistics of a range of cellular automaton earthquake models. The majority of models has an exponential distribution of recurrence intervals, the same as that of a Poisson process. One model, the Olami-Feder-Christensen automaton, has recurrence statistics consistent with regional seismicity for a certain range of the conservation parameter of that model. For conservation parameters in this range, the event size statistics are also consistent with regional seismicity. Models whose dynamics are dominated by characteristic earthquakes do not appear to display universality of recurrence statistics.

Axiomatisation of an Interval Calculus for Theorem Proving

We provide an axiomatisation of the Timed Interval Calculus, a set-theoretic notation for expressing properties of time intervals. We implement the axiomatisation in the Ergo theorem prover in order to allow the machine-checked proof of laws for reasoning about predicates expressed using interval operators. These laws can be then used in the machine-assisted verification of real-time applications.

Does cardiovascular therapy affect the onset and recurrence of preretinal and vitreous haemorrhage in diabetic eye disease?

Aims To review the role of cardiovascular disease and therapy in the onset and recurrence of preretinal/vitreous haemorrhage in diabetic patients. Methods Retrospective case note analysis of diabetic patients with vitreous haemorrhage from the Diabetic Eye Clinic at Birmingham Heartlands Hospital. Results In total, 54 patients (mean age 57.1, 37 males, 20 type I vs34 type II diabetic patients) were included. The mean (SD) duration of diagnosed diabetes at first vitreous haemorrhage was significantly longer, 21.9 (7.6) years for type I and 14.8 (9.3) years for type II diabetic patients (P<0.01, unpaired t-test, two-tailed). Aspirin administration was not associated with a significantly later onset of vitreous haemorrhage. Four episodes were associated with ACE-inhibitor cough. There was a trend towards HMGCoA reductase inhibitor (statin) use being associated with a delayed onset of vitreous haemorrhage: 21.4 years until vitreous haemorrhage (treatment group) vs 16.2 years (nontreatment group) (P=0.09, two-tailed, unpaired t-test, not statistically significant). During follow-up 56 recurrences occurred, making a total of 110 episodes of vitreous haemorrhage in 79 eyes of 54 patients. The mean (range) follow-up post haemorrhage was 1067 (77–3842) days, with an average of 1.02 recurrences. Age, gender, diabetes type (I or II) or control, presence of hypertension or hypercholesterolaemia, and macrovascular complications were not associated with a significant effect on the 1-year recurrence rate. Aspirin (and other antiplatelet or anticoagulant agents) and ACE- inhibitors appeared to neither increase nor decrease the 1-year recurrence rate. However, statin use was significantly associated with a reduction in recurrence (Fisher exact P<0.05; two-tailed) with an odds ratio (95% CI) of 0.25 (0.1–0.95). Conclusion In this retrospective analysis, the onset of preretinal/vitreous haemorrhage was not found to be accelerated by gender, hypertension, hypercholesterolaemia, evidence of macrovascular disease, or HbA1c. Neither aspirin nor ACE-inhibitor administration accelerated the onset or recurrence of first vitreous haemorrhage. Statins may have a protective role, both delaying and reducing the recurrence of haemorrhage.

Improvements on the Juxtaposing Theorem

A new class of binary constant weight codes is presented. We establish new lower bound and exact values on A(n1 +n2; 2(a1 +a2); n2) ≥ min {M1;M2}+1, if A(n1; 2a1; a1 +b1) = M1 and A(n2; 2b2; a2 +b2) = M2, in particular, A(30; 16; 15) = 16 and A(33; 18; 15) = 11.

On the Various Bisection Methods Derived from Vincent’s Theorem

In 2000 A. Alesina and M. Galuzzi presented Vincent’s theorem “from a modern point of view” along with two new bisection methods derived from it, B and C. Their profound understanding of Vincent’s theorem is responsible for simplicity — the characteristic property of these two methods. In this paper we compare the performance of these two new bisection methods — i.e. the time they take, as well as the number of intervals they examine in order to isolate the real roots of polynomials — against that of the well-known Vincent-Collins-Akritas method, which is the first bisection method derived from Vincent’s theorem back in 1976. Experimental results indicate that REL, the fastest implementation of the Vincent-Collins-Akritas method, is still the fastest of the three bisection methods, but the number of intervals it examines is almost the same as that of B. Therefore, further research on speeding up B while preserving its simplicity looks promising.

On a New Approach to Williamson's Generalization of Pólya's Enumeration Theorem

Pólya’s fundamental enumeration theorem and some results from Williamson’s generalized setup of it are proved in terms of Schur- Macdonald’s theory (S-MT) of “invariant matrices”. Given a permutation group W ≤ Sd and a one-dimensional character χ of W , the polynomial functor Fχ corresponding via S-MT to the induced monomial representation Uχ = ind|Sdv/W (χ) of Sd , is studied. It turns out that the characteristic ch(Fχ ) is the weighted inventory of some set J(χ) of W -orbits in the integer-valued hypercube [0, ∞)d . The elements of J(χ) can be distinguished among all W -orbits by a maximum property. The identity ch(Fχ ) = ch(Uχ ) of both characteristics is a consequence of S-MT, and is equivalent to a result of Williamson. Pólya’s theorem can be obtained from the above identity by the specialization χ = 1W , where 1W is the unit character of W.

A Remark On S.M. Bates' Theorem

In his paper [1], Bates investigates the existence of nonlinear, but highly smooth, surjective operators between various classes of Banach spaces. Modifying his basic method, he obtains the following striking results.

Analog of Favard's Theorem for Polynomials Connected with Difference Equation of 4-th Order

Orthonormal polynomials on the real line {pn (λ)} n=0 ... ∞ satisfy the recurrent relation of the form: λn−1 pn−1 (λ) + αn pn (λ) + λn pn+1 (λ) = λpn (λ), n = 0, 1, 2, . . . , where λn > 0, αn ∈ R, n = 0, 1, . . . ; λ−1 = p−1 = 0, λ ∈ C. In this paper we study systems of polynomials {pn (λ)} n=0 ... ∞ which satisfy the equation: αn−2 pn−2 (λ) + βn−1 pn−1 (λ) + γn pn (λ) + βn pn+1 (λ) + αn pn+2 (λ) = λ2 pn (λ), n = 0, 1, 2, . . . , where αn > 0, βn ∈ C, γn ∈ R, n = 0, 1, 2, . . ., α−1 = α−2 = β−1 = 0, p−1 = p−2 = 0, p0 (λ) = 1, p1 (λ) = cλ + b, c > 0, b ∈ C, λ ∈ C. It is shown that they are orthonormal on the real and the imaginary axes in the complex plane ...

Cerami (C) Condition and Mountain Pass Theorem for Multivalued Mappings

Partially supported by Sapientia Foundation.

Projectively Solid Sets and an N-dimensional Piccard's Theorem

We discuss functions f : X × Y → Z such that sets of the form f (A × B) have non-empty interiors provided that A and B are non-empty sets of second category and have the Baire property.

Three Spaces Problem for Lyapunov Theorem on Vector Measure

It is proved that a Banach space X has the Lyapunov property if its subspace Y and the quotient space X/Y have it.