Further cardinal arithmetic

We continue the investigations in the author’s book on cardinal arithmetic, assuming some knowledge of it. We deal with the cofinality of (S _{≤ℵ 0}(κ), ⊆) for κ real valued measurable (Section 3), densities of box products (Section 5,3), prove the equality cov(λ,λ,θ⁺,2) in more cases even when cf(λ)=ℵ₀ (Section 1), deal with bounds of pp(λ) for λ limit of inaccessible (Section 4) and give proofs to various claims I was sure I had already written but did not find (Section 6). Done mainly 1–4/1991. I thank Alice Leonhardt for typing and retyping so beautifully and accurately. Partially supported by the Basic Research Fund, Israel Academy of Sciences. Publication number 430.     

Untypical methods of convergence acceleration

Iterated Aitken’s method is one of classical procedures which permit to accelerate series or sequences convergence. It may be a starting point of constructing better methods in some classes of series whose important parameters are known. Such untypical modifications are here proposed and investigated. They based on a common idea and refer to two kinds of series; cf. Section 2 (series with rational coefficients, hypergeometric series and many others) and Section 3 (so-called quasi-geometric series). The second kind of series is associated with a class of infinite products whose convergence may be also accelerated. Behaviour of Levin’s and Weniger’s methods depends on a parameter β. In Section 4 its role is investigated and possibility of an improvement of their initial steps is showed.     

Gap series constructions for the <Emphasis Type="Italic">p</Emphasis>-Laplacian

Highly oscillatory bounded solutions of div(∇u|∇u| ^p−2) = 0 are constructed when p > 2. Fatou’s theorem is shown to fail for this equation. Tom Wolff wrote this paper in 1984, but he never published it. With his family’s permission, we have edited it for publication here. Except for the shorter proof of Lemma 2.1 and the citations of [1] and [12], our alterations to the paper have mostly been typographical. We thank Juan Manfredi for help on Section 3.     

Graph factors

This exposition is concerned with the main theorems of graph-factor theory, Hall’s and Ore’s Theorems in the bipartite case, and in the general case Petersen’s Theorem, the 1-Factor Theorem and thef-Factor Theorem. Some published extensions of these theorems are discussed and are shown to be consequences rather than generalizations of thef-Factor Theorem. The bipartite case is dealt with in Section 2. For the proper presentation of the general case a preliminary theory of “G-triples” and “f-barriers” is needed, and this is set out in the next three Sections. Thef-Factor Theorem is then proved by an argument of T. Gallai in a generalized form. Gallai’s original proof derives the 1-Factor Theorem from Hall’s Theorem. The generalization proceeds analogously from Ore’s Theorem to thef-Factor Theorem.     

Convergence acceleration of orthogonal series

The aim of this paper is to verify efficiency of two acceleration methods for orthogonal series (more strictly, for series defined at the beginning of Section 1). These methods are quite different although they use the same transform of such a series given there. The first method (Section 3) has some features common with Levin’s and Weniger’s methods. It may be profitably used in numerical calculations for a vast class of series. The second one (Sections 4 and 5) is somewhat similar to the Euler–Knopp transform of power series. Also this method is numerically realizable but more important is that for a narrower class of series, including some ones having applications in physics, it gives explicit analytic formulae of their transform.      

The Social Virtues: Two Accounts

Social (epistemic) virtues are the virtues bound up with those forms of inquiry involved in social routes to knowledge. A thoroughly individualistic account of the social virtues endorses two claims: (1) we can fully characterize the nature of the social virtues independent of the social factors that are typically in play when these virtues are exemplified, and (2) even when a subject’s route to knowledge is social, the only epistemic virtues that are relevant to her acquisition of knowledge are those she herself possesses. A social (or anti-individualistic) account of the social virtues, by contrast, denies one or both of these claims. I will offer some reasons for thinking that the individualistic account is not acceptable, and that one or the other social account provides a better understanding of the social virtues. The argument is not decisive, but it does suggest that the social dimension of social epistemic virtues is not fully characterizable in individualistic terms.     

Vojta’s conjecture on blowups of \mathbbPn{\mathbb{P}^n}, greatest common divisors, and the abc conjecture

We will prove some cases of Vojta’s conjecture on blowups of \mathbbPⁿ{\mathbb{P}^n}, using Schmidt’s subspace theorem. The results can be stated as inequalities of greatest common divisors. Moreover, from Vojta’s conjecture on one further blowup at an infinitely near point, we derive a still-open special case of the abc-conjecture.     

Existence and Uniqueness of Solutions of Predator-Prey Type Model with Mixed Boundary Conditions

In this work we consider the predator-prey model in ℝ³ with mixed boundary conditions on the Lipschitz boundary and prove the existence of solutions by Schauder’s fixed point theorem and uniqueness of solutions by Gronwall’s lemma.     

Addenda to “The entropy formula for linear heat equation”

We add two sections to [8] and answer some questions asked there. In the first section we give another derivation of Theorem 1.1 of [8], which reveals the relation between the entropy formula, (1.4) of [8], and the well-known Li-Yau ’s gradient estimate. As a by-product we obtain the sharp estimates on ‘Nash’s entropy’ for manifolds with nonnegative Ricci curvature. We also show that the equality holds in Li-Yau’s gradient estimate, for some positive solution to the heat equation, at some positive time, implies that the complete Riemannian manifold with nonnegative Ricci curvature is isometric to ℝ ⁿ .In the second section we derive a dual entropy formula which, to some degree, connects Hamilton’s entropy with Perelman ’s entropy in the case of Riemann surfaces.     

On the applicability conditions of the strong law of large numbers for sequences of independent random variables

We investigate relationship between Kolmogorov–s condition and Petrov–s condition in theorems on the strong law of large numbers for a sequence of independent random variables X ₁, X ₂, … with finite variances. The convergence (S _n − ES _n )/n → 0 holds a.s. (here, S _n = Σ _k=1 ⁿ X _k ), provided that Σ _n=1^∞ DX _n /n ² < ∞ (Kolmogorov’s condition) or DS _n = O(n ²/ψ(n)) for some positive non-decreasing function ψ(n) such that Σ1/(nψ(n)) < ∞ (Petrov’s condition). Kolmogorov’s condition is shown to follow from Petrov’s condition. Besides, under some additional restrictions, Petrov’s condition, in turn, follows from Kolmogorov’s condition.     

Interior-compact subspaces and differentiation in model subspaces

We discuss relations between Koosis’ theorem on interior-compact subspaces of the space L²(0, ∞) and recent Dyakonov’s results on differentiation in model subspaces of the Hardy class H² in the upper half-plane. Bibliography: 10 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 327, 2005, pp. 17–24.     

Half-factorial-domains

LetR be a commutative domain with 1. We termR an HFD (Half-Factorial-Domain) provided the equality Π _i=1 ⁿ χ_i=Π{_f=1/^m}y _f impliesm=n, whenever thex’s and they’s are non-zero, non-unit and irreducible elements ofR. The purpose of this note is to study HFD’s, in particular, Krull domains that are HFD’s, and to provide examples of HFD’s, that contradict a conjecture of Narkiewicz.     

Enumerating Constrained Non-crossing Minimally Rigid Frameworks

In this paper we present an algorithm for enumerating without repetitions all the non-crossing generically minimally rigid bar-and-joint frameworks under edge constraints, which we call constrained non-crossing Laman frameworks, on a given set of n points in the plane. Our algorithm is based on the reverse search paradigm of Avis and Fukuda. It generates each output graph in O(n ⁴) time and O(n) space, or, with a slightly different implementation, in O(n ³) time and O(n ²) space. In particular, we obtain that the set of all the constrained non-crossing Laman frameworks on a given point set is connected by flips which preserve the Laman property. D. Avis’s research was supported by NSERC and FQRNT grants. N. Katoh’s, M. Ohsaki’s and S.-i. Tanigawa’s research was supported by NEXT Grant-in-Aid for Scientific Research on priority areas of New Horizons in Computing. I. Streinu’s research was supported by NSF grant CCF-0430990 and NSF-DARPA CARGO CCR-0310661.     

Algebraic properties of Hamel functions

We say that f: ℝ → ℝ is LIF if it is linearly independent over ℚ as a subset of ℝ² and that it is a Hamel function (HF) if it is a Hamel basis of ℝ². We construct an example of HF bijection and use a similar method to prove that any function can be represented as the composition of three HF’s as well as the limit of uniformly convergent sequence of HF’s. Finally we consider products of HF’s, maximal invariant classes (with respect to several algebraic operations) and pose some open problems concerning sets of continuity points of HF’s.     

The geometry of the Wilks’s Λ random field

The statistical problem addressed in this paper is to approximate the P value of the maximum of a smooth random field of Wilks’s Λ statistics. So far results are only available for the usual univariate statistics (Z, t, χ², F) and a few multivariate statistics (Hotelling’s T ², maximum canonical correlation, Roy’s maximum root). We derive results for any differentiable scalar function of two independent Wishart random fields, such as Wilks’s Λ random field. We apply our results to a problem in brain shape analysis.     

Weyl’s Theorem and Perturbations

In the present paper we examine the stability of Weyl’s theorem under perturbations. We show that if T is an isoloid operator on a Banach space, that satisfies Weyl’s theorem, and F is a bounded operator that commutes with T and for which there exists a positive integer n such that Fⁿ is finite rank, then T + F obeys Weyl’s theorem. Further, we establish that if T is finite-isoloid, then Weyl’s theorem is transmitted from T to T + R, for every Riesz operator R commuting with T. Also, we consider an important class of operators that satisfy Weyl’s theorem, and we give a more general perturbation results for this class.     

New dynamical variables in Einstein’s theory of gravity

We describe an alternative formalism for Einstein’s theory of gravity. The role of dynamical variables is played by a collection of ten vector fields f _μ ^A , A = 1,..., 10. The metric is a composite variable, g _μν = f _μ ^A f _ν ^A . The proposed scheme may lead to further progress in a theory of gravity where Einstein’s theory is to play the role of an effective theory, with Newton’s constant appearing by introducing an anomalous Green’s function.     

Oriented matroids and Ky Fan’s theorem

L. Lovász (Matroids and Sperner’s Lemma, Europ. J. Comb. 1 (1980), 65–66) has shown that Sperner’s combinatorial lemma admits a generalization involving a matroid defined on the set of vertices of the associated triangulation. We prove that Ky Fan’s theorem admits an oriented matroid generalization of similar nature. Classical Ky Fan’s theorem is obtained as a corollary if the underlying oriented matroid is chosen to be the alternating matroid C ^m,r .     

Double integrals and infinite products for some classical constants via analytic continuations of Lerch’s transcendent

The two-fold aim of the paper is to unify and generalize on the one hand the double integrals of Beukers for ζ(2) and ζ(3), and of the second author for Euler’s constant γ and its alternating analog ln (4/π), and on the other hand the infinite products of the first author for e, of the second author for π, and of Ser for e ^γ . We obtain new double integral and infinite product representations of many classical constants, as well as a generalization to Lerch’s transcendent of Hadjicostas’s double integral formula for the Riemann zeta function, and logarithmic series for the digamma and Euler beta functions. The main tools are analytic continuations of Lerch’s function, including Hasse’s series. We also use Ramanujan’s polylogarithm formula for the sum of a particular series involving harmonic numbers, and his relations between certain dilogarithm values.